![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
MEMICS 2015: Telč, Czech Republic
- Jan Kofron
, Tomás Vojnar
:
Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9548, Springer 2016, ISBN 978-3-319-29816-0 - Siegfried Benkner:
Programming Support for Future Parallel Architectures. 1-10 - Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina
:
Flexible Interpolation for Efficient Model Checking. 11-22 - Peter Vojtás
, Michal Kopecky
, Marta Vomlelová
:
Understanding Transparent and Complicated Users as Instances of Preference Learning for Recommender Systems. 23-34 - Agnis Arins:
Span-Program-Based Quantum Algorithms for Graph Bipartiteness and Connectivity. 35-41 - Vojtech Havlena, Dana Hlinená:
Fitting Aggregation Operators. 42-53 - Petr Hlinený
, Ondrej Slámecka:
Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs. 54-66 - Ali Isavudeen, Eva Dokládalová
, Nicolas Ngan, Mohamed Akil
:
Self-Adaptive Architecture for Multi-Sensor Embedded Vision System. 67-78 - Nikolajs Nahimovs, Alexander Rivosh:
Exceptional Configurations of Quantum Walks with Grover's Coin. 79-92 - Filip Nalepa, Michal Batko, Pavel Zezula:
Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets. 93-106 - Thomas Odaker, Dieter Kranzlmüller, Jens Volkert:
GPU-Accelerated Real-Time Mesh Simplification Using Parallel Half Edge Collapses. 107-118 - Sajad Saydali, Hamid Parvin
, Ali A. Safaei:
Classifier Ensemble by Semi-supervised Learning: Local Aggregation Methodology. 119-132 - Vlasta Stavova, Vashek Matyas, Kamil Malinka
:
The Challenge of Increasing Safe Response of Antivirus Software Users. 133-143 - Vladimír Still, Petr Rockai
, Jiri Barnat:
Weak Memory Models as LLVM-to-LLVM Transformations. 144-155
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.