![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
1st YSIP 2014: Stavropol, Russian Federation
- Steffen Hölldobler, Andrey Malikov, Christoph Wernhard:
Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6), Stavropol, Russian Federation, April 22-25, 2014. CEUR Workshop Proceedings 1145, CEUR-WS.org 2014
Research Papers
- Sergey Cherevko, Andrey Malikov:
Review of Modern Techniques of Qualitative Data Clustering. 7-13 - Steffen Hölldobler, Ferdian Jovan:
Advanced Petri Nets and the Fluent Calculus. 15-24 - Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke:
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. 25-34 - Roman Nemkov:
Dynamical Change of the Perceiving Properties of Neural Networks as Training with Noise and Its Impact on Pattern Recognition. 35-40 - Alina Petrova:
A Pipeline for Supervised Formal Definition Generation. 41-51 - Elena Stepanova, Alexey Liagin, Alla Pletukhina:
Properties of Majority Transformations under Random Processes Parameters Measurement. 53-56 - Denis Tananaev, Galina Shagrova, Victor Kozhevnikov:
Identification of Exploitation Conditions of the Automobile Tire while Car Driving by Means of Hidden Markov Models. 57-66 - Vladimir Volonkin:
DBMS Index for Hierarchical Data Using Nested Intervals and Residue Classes. 67-76
Tutorial
- Steffen Hölldobler, Lukas Schweizer:
Answer Set Programming and CLASP - A Tutorial. 77-95
![](https://dblp.dagstuhl.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.