Dagstuhl's Impact : Druckversion

Legende

 Buch    Special Issue    Technischer Bericht    Artikel   


Dagstuhl Seminar 15512, 13.12.15-18.12.15

Computational Argumentation Quality Assessment in Natural Language : article in : Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics (EACL 17)

Wachsmuth, Henning; Naderi, Nona; Hou, Yufang; Prabhakaran, Vinodkumar; Thijm, Tim Alberdingk; Stein, Benno M.; Hirst, Graeme; Bilu, Yonatan. - ICAL, 2017. - 24 pp.. - (15th Conference of the European Chapter of the Association for Computational Linguistics : article)
Link
 

Dagstuhl Seminar 15512, 13.12.15-18.12.15

Debating Technology for Dialogical Argument : Sensemaking, Engagement, and Analytics : article

Lawrence, John; Snaith, Mark; Konat, Barbara; Budzynska, Katarzyna; Reed, Chris. - New York : ACM, 2017. - (ACM transactions on internet technology ; 17. 2017, 3)
Link
 

Dagstuhl Seminar 15511, 13.12.15-18.12.15

Solution-Graphs of Boolean Formulas and Isomorphism : article in SAT 2016: Theory and Applications of Satisfiability Testing : pp. 29-44

. - Berlin : Springer, 2016. - (Lecture notes in computer science ; 9710 : article)
Link
 

Dagstuhl Seminar 15511, 13.12.15-18.12.15

Report on The Graph Isomorphism Problem : Dagstuhl Seminar 15511 on the Graph Isomorphism Problem : 13 - 18 December, 2015 ; article

Dawar, Anuj. - Bratislava : EATCS, 2016. - (Bulletin of the European Association for Theoretical Computer Science : 118. 2016)
Link
 

Dagstuhl Seminar 15511, 13.12.15-18.12.15

The threshold for subgroup profiles to agree is Ω (logn) : 14 pp.

Wilson, James B.. - Cornell University : arXiv.org, 2016.
Link
 

Dagstuhl Seminar 15511, 13.12.15-18.12.15

Cartan coherent configurations : article : pp. 525-552

Ponomarenko, Ilia; Vasil’ev, Andrey. - Berlin : Springer, 2017. - (Journal of Algebraic Combinatorics : article ; 45. 2017, 2)
Link
 

Dagstuhl Seminar 15511, 13.12.15-18.12.15

A family of permutation groups with exponentially many non-conjugated regular elementary abelian subgroups : 6 pp.

Evdokimov, Sergei; Muzychuk, Mikhail; Ponomarenko, Ilia. - Cornell University : arXiv.org, 2016.
Link
 

Dagstuhl Seminar 15511, 13.12.15-18.12.15

Parameterized Complexity of Small Weight Automorphisms : 14 pp.

Arvind, Vikraman; Köbler, Johannes; Kuhnert, Sebastian; Toran, Jacobo. - Potsdam : Electronic Colloquium on Computational Complexity, 2016.. - (Electronic colloquium on computational complexity ; TR16-157)
Link
 

Dagstuhl Seminar 15482, 22.11.15-27.11.15

The Next Generation of Socio-Technical Systems : Realizing the Potential, Protecting the Value : special section : pp. 46-80

Steghöfer, Jan-Philipp; Diaconescu, Ada; Marsh, Stephen; Pitt, Jeremy V.. - Los Alamitos : IEEE, 2017. - (IEEE Technology and Society Magazine ; 36. 2017, 3)
Link
 

Dagstuhl Seminar 15481, 22.11.15-27.11.15

Report on the Dagstuhl Seminar 15481 "Evaluation in the Crowd: Crowdsourcing and Human-Centred Experiments" (November 2015) : article in KuVS Newsletter PP. 13-14

Hoßfeld, Tobias; Archambault, Daniel; Purchase, Helen C.. - GI Fachgruppe KuVS, 2015. - pp. 13-14
Link
 

Dagstuhl Seminar 15481, 22.11.15-27.11.15

Evaluation in the Crowd : Crowdsourcing and Human-Centered Experiments : Dagstuhl Seminar 15481, Dagstuhl Castle, Germany, November 22 - 27, 2015, Revised Contributions

Archambault, Daniel; Purchase, Helen C.; Hoßfeld, Tobias. - Springer, 2017. - VI, 190 S.. - (Lecture notes in computer science : State-of-the-Art Survey ; 10264)
ISBN: 978-3-319-66434-7 / 3-319-66434-4
Link
 

Dagstuhl Seminar 15471, 15.11.15-20.11.15

Solving Nonlinear Integer Arithmetic with MCSAT : article in LNCS 10145 "Model Checking, and Abstract Interpretation : VMCAI 2017" : pp. 330-346

Jovanovic, Dejan. - Berlin : Springer, 2014. - (Lecture notes in computer science ; 10145 : article)
Link
 

Dagstuhl Seminar 15471, 15.11.15-20.11.15

SC2 : Satisfiability Checking Meets Symbolic Computation : article in LNAI 9791 "Intelligent Computer Mathematics : CICM 2016" : pp. 28-43

Abraham, Erika; Abbott, John; Bigatti, Anna M.; England, Matthew; Forrest, Stephen; Sturm, Thomas; Seiler, Werner M. ; Kroening, Daniel; Griggio, Alberto; Fontaine, Pascal; Davenport, James Harold; Cimatti, Alessandro; Buchberger, Bruno; Brain, Martin; Becker, Bernd. - Berlin : Springer, 2016. - (Lecture notes in artificial intelligence ; 9791 : article)
Link
 

Dagstuhl Seminar 15451, 01.11.15-06.11.15

The complexity of regular abstractions of one-counter languages : article in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science : pp. 207-216

tig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Narayan Kumar, K.; Saivasan, Prakash; Zetzsche, Georg. - New York : ACM, 2016. - (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science : LICS 2016 ; pp. 207-216)
Link
 

Dagstuhl Seminar 15451, 01.11.15-06.11.15

Model Checking Spatial Logics for Closure Spaces : article : pp. 1- 51

Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke. - Braunschweig : Universität, 2016. - (Logical Methods in Computer Science ; 12. 2016, 4)
Link
 

Dagstuhl Seminar 15442, 25.10.15-30.10.15

Historical account of computer models solving IQ test : accepted paper : "EGPAI 2016 : 1st International Workshop on Evaluating General-Purpose AI", pp. 20-21

Martinez-Plumed, Fernando; Hernandez-Orallo, Jose; Schmid, Ute; Siebers, Michael; Dowe, David L.. - EGPAI, 2016. - (International Workshop on Evaluating General-Purpose AI ; 1. 2016 : accepted paper)
Link
 

Dagstuhl Seminar 15442, 25.10.15-30.10.15

How does Predicate Invention affect Human Comprehensibility? : article in 26th International Conference on Inductive Logic Programming (ILP), 2016

Besold, Tarek R.; Muggleton, Stephen H.; Schmid, Ute; Tamaddoni-Nezhad, Alireza; Zeller, Christina
Link
 

Dagstuhl Seminar 15442, 25.10.15-30.10.15

General-Purpose Inductive Programming for Data Wrangling Automation : presentation at NIPS 2016 Workshop Artificial Intelligence for Data Science, AI4DataSci 2016 : 4 pp.

Contreras-Ochando, Lidia; Martinez-Plumed, Fernando; Ferri, Cesar; Hernandez-Orallo, Jose; Ramirez-Quintana, Maria Jose. - NIPS, 2016
Link
 

Dagstuhl Seminar 15442, 25.10.15-30.10.15

Logging Data Scientists : Collecting Evidence for Data Science Automation : presentation at NIPS 2016 Workshop Artificial Intelligence for Data Science, AI4DataSci 2016 : 3 pp.

Contreras-Ochando, Lidia; Martinez-Plumed, Fernando; Ferri, Cesar; Hernandez-Orallo, Jose; Ramirez-Quintana, Maria Jose. - NIPS, 2016
Link
 

Dagstuhl Seminar 15442, 25.10.15-30.10.15

Computer models solving intelligence test problems : Progress and implications : article, pp. 74-107

Hernandez-Orallo, Jose; Martinez-Plumed, Fernando; Schmid, Ute; Siebers, Michael; Dowe, David L.. - Amsterdam : Elsevier, 2016. - (Artificial intelligence : 230. 2016, pp.74-107)
Link
 

Dagstuhl Seminar 15412, 04.10.15-09.10.15

Protection of flows under targeted attacks

Matuschke, Jannik; MacCormick, S. Thomas; Oriolo, Gianpaolo; Peis, Britta; Skutella, Martin. - Cornell University : arXiv.org, 2016. - 13 pp.
Link
 

Dagstuhl Seminar 15412, 04.10.15-09.10.15

Competitive Packet Routing with Priority Lists : article in 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016 : pp. 1-14

Harks, Tobias; Peis, Britta; Schmand, Daniel; Vargas Koch, Laura. - Wadern : LZI, 2016. - Leibniz International Proceedings in Informatics ; 58 : article)
Link
 

Dagstuhl Seminar 15412, 04.10.15-09.10.15

Long Term Behavior of Dynamic Equilibria in Fluid Queuing Networks : article in LNCS 10328 : IPCO 2017 - Berlin : Springer, 2017. - pp. 161-172

Cominetti, Roberto; Correa, Jose R.; Olver, Neil. - Berlin : Springer, 2017. - pp. 161-172. - (Lecture notes in computer science ; 10328 : article)
Link
 

Dagstuhl Seminar 15411, 04.10.15-09.10.15

Grasp Quality Evaluation in Underactuated Robotic Hands : article in 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) : pp. 1946-1953

Pozzi, Maria; Sundaram, Ashok M.; Malvezzi, Monica; Prattichizzo, Domenico; Roa, Maximo A.. - Los Alamitos : IEEE, 2016. - (IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2016 ; article)
Link
 

Dagstuhl Seminar 15401, 27.09.15-02.10.15

Descriptive Complexity of #AC0 Functions : article in Computer Science Logic 2016, CSL 2016

Durand, Arnaud; Haak, Anselm; Kontinen, Juha; Vollmer, Heribert. - Wadern : LZI, 2016. - pp. 1-16. - (Leibniz International Proceedings in Informatics ; 62 : article)
Link
 

Dagstuhl Seminar 15401, 27.09.15-02.10.15

A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits: article in "Logic, Language, Information, and Computation" : pp 234-248

Haak, Anselm; Vollmer, Heribert. - Berlin : Springer, 2016. - Lecture notes in computer science ; 9803 : article)
Link
 

Dagstuhl Seminar 15401, 27.09.15-02.10.15

Two-variable Logic with a Between Relation : article in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science : pp. 106-115

Krebs, Andreas; Lodaya, Kamal; Pandya, Paritosh K.; Straubing, Howard. - New York : ACM, 2016. - (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science ; article)
Link
 

Dagstuhl Seminar 15392, 20.09.15-25.09.15

Reverse Mathematics of Matroids : article in LNCS 10010: Computability and Complexity : pp. 143-159

Hirst, Jeffry L.; Mummert, Carl. - Berlin : Springer, 2017. - (Lecture notes in computer science ; 10010 : article)
Link
 

Dagstuhl Seminar 15392, 20.09.15-25.09.15

Dividing by Zero - How Bad Is It, Really? : article in 41st International Symposium on Mathematical Foundations of Computer Science : pp. 1-14

Kihara, Takayuki; Pauly, Arno. - Wadern : LZI, 2016. - (Leibniz International Proceedings in Informatics ; 58 : article)
Link
 

Dagstuhl Seminar 15392, 20.09.15-25.09.15

Using Ramsey's Theorem Once

Hirst, Jeffry L.; Mummert, Carl. - Cornell University : arXiv.org, 2016. - 10 pp.
Link
 

Dagstuhl Seminar 15391, 20.09.15-25.09.15

A linear functional strategy for regularized ranking : article pp. 26-35

Kriukova, Galina; Panasiuk, Oleksandra; Pereverzyev, Sergei V.; Tkachenko, Pavlo. - Amsterdam : Elsevier, 2016. - (Neural Networks : 73. 2016)
Link
 

Dagstuhl Seminar 15391, 20.09.15-25.09.15

Prediction of nocturnal hypoglycemia by an aggregation of previously known prediction approaches : proof of concept for clinical application : article : pp. 179-186

Tkachenko, Pavlo; Kriukova, Galina; Aleksandrova, Marharyta; Chertov, Oleg; Renard, Eric; Pereverzyev, Sergei V.. - Amsterdam : Elsevier, 2016. - (Computer Methods and Programs in Biomedicine ; 134. 2016)
Link
 

Dagstuhl Seminar 15391, 20.09.15-25.09.15

Glycemic Control Indices and Their Aggregation in the Prediction of Nocturnal Hypoglycemia From Intermittent Blood Glucose Measurements : article : pp. 1245-1250

Sampath, Sivananthan; Tkachenko, Pavlo; Renard, Eric; Pereverzev, Sergei V.. - (Journal of Diabetes Science and Technology ; 10. 2016, 6). - (Journal of Diabetes Science and Technology ; 10. 2016, 6 : article)
Link
 

Dagstuhl Seminar 15391, 20.09.15-25.09.15

Complexity of linear ill-posed problems in Hilbert space

Mathe, Peter; Pereverzyev, Sergei V.. - Linz : Johann Radon Institute, 2016. - 23 pp.. - (RICAM-Report ; 2016-09)
Link
 

Dagstuhl Seminar 15391, 20.09.15-25.09.15

Embeddings of Weighted Hilbert Spaces and Applications to Multivariate and Infinite-Dimensional Integration : article

Gnewuch, Michael; Hefter, Mario; Hinrichs, Aicke; Ritter, Klaus. - ArXiv, 2016. - 35 pp.
Link
 

Dagstuhl Seminar 15391, 20.09.15-25.09.15

Embeddings of weighted Hilbert spaces and applications to multivariate and infinite-dimensional integration . article : pp. 8-39

Gnewuch, Michael; Hefter, Mario; Hinrichs, Aicke; Ritter, Klaus. - Amsterdam : Elsevier, 2017. - (Journal of Approximation Theory ; 222. 2017)
Link
 

Dagstuhl Seminar 15381, 13.09.15-18.09.15

Property-Directed k-Induction : article in Formal Methods in Computer-Aided Design, FMCAD 2016 : pp. 85-92

Jovanovic, Dejan; Dutertre, Bruno. - Austin : University of Texas, 2016
Link
 

Dagstuhl Seminar 15381, 13.09.15-18.09.15

Computing a Complete Basis for Equalities Implied by a System of LRA Constraints

. - CEUR-WS.org, 2016.. - (CEUR workshop series ; 1617)
Link
 

Dagstuhl Seminar 15381, 13.09.15-18.09.15

Fast Cube Tests for LIA Constraint Solving : article in LNAI 9706: International Joint Conference on Automated Reasoning, IJCAR 2016, Automated Reasoning : pp.116-132

Bromberger, Martin; Weidenbach, Christoph. - Berlin : Springer, 2016. - (Lecture notes in artificial intelligence ; 9706 : article)
Link
 

Dagstuhl Seminar 15381, 13.09.15-18.09.15

Linear Arithmetic Satisfiability Via Strategy Improvement : article in Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16) : pp. 735-743

Farzan, Azadeh; Kincaid, Zachary. - Princeton : University, 2016. - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16) : article
Link
 

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3

Amy, Matthew; Matteo, Olivia Di; Gheorghiu, Vlad; Mosca, Michele; Parent, Alex; Schanck, John M.. - Cornell University : arXiv.org, 2016. - 21 pp.
Link
 

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Report on Post-Quantum Cryptography

Chen, Lily; Liu, Yi-Kai; Moody, Dustin; Perlner, Ray; Smith-Tone, Daniel; Peralta, Rene; Jordan, Stephen. - NIST National Institute of Standards and Technology, 2016. - (NISTIR ; 8105)
Link
 

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Applying Grover’s Algorithm to AES : Quantum Resource Estimates : article in LNCS 9606 : pp. 29-43

Grassl, Markus; Langenberg, Brandon; Rötteler, Martin; Steinwandt, Rainer. - Berlin : Springer, 2016. - (Lecture notes in computer science ; 9606 : article)
Link
 

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Quantum algorithms for abelian difference sets and applications to dihedral hidden subgroups

Rötteler, Martin. - Cornell University : arXiv.org, 2016. - 18 pp.
Link
 

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Circuit-extension handshakes for Tor achieving forward secrecy in a quantum world : article in Proceedings on Privacy Enhancing Technologies 2016 : pp. 219–236

Schanck, John M.; Whyte, William; Zhang, Zhenfei. - Berlin : de Gruyter, 2016. - (Proceedings on Privacy Enhancing Technologies 2016 ; article)
Link
 

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Semantic Security and Indistinguishability in the Quantum World

Gagliardoni, Tommaso; Hülsing, Andreas; Schaffner, Christian. - Cryptology ePrint Archive, 2016. - 37 pp.
Link
 

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Computational Security of Quantum Encryption

Alagic, Gorjan; Broadbent, Anne; Fefferman, Bill; Gagliardoni, Tommaso; Schaffner, Christian; St. Jules, Michael. - Cryptology ePrint Archive, 2016. - 30 pp.
Link
 

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Jetzt wappnen für den Quantenangriff : Artikel : 4 S.

Cesare, Chris. - Spektrum der Wissenschaft Verlagsgesellschaft, 2015. - (Spektrum der Wissenschaft ; 2015)
Link
 

Dagstuhl Seminar 15371, 06.09.15-11.09.15

Encryption faces quantum foe : Researchers urge readiness against attacks from future-generation computers : Online security braces for quantum revolution : article pp. 167-168

Cesare, Chris. - Indianapolis : Macmillan Publ., 2015.. - (Nature ; Vol. 525)
Link
 

Dagstuhl Seminar 15362, 30.08.15-04.09.15

Abstract Dialectical Argumentation Among Close Relatives : article in Computational Models of Argument, ISBN 978-1-61499-685-9 : pp. 127-138

Bochman, Alexander. - Amsterdam : IOS Press, 2016. - (Computational Models of Argument ; pp. 127-138)
Link
 

Dagstuhl Seminar 15362, 30.08.15-04.09.15

Dagstuhl Manifesto : Perspectives Workshop : Present and Future of Formal Argumentation : pp. 84-86 : article

Gabbay, Dov M.; Giacomin, Massimiliano; Liao, Beishui; Torre, Leendert van der. - Berlin : Springer, 2016. - (Informatik Spektrum : 39. 2016, 1)
Link
 

Dagstuhl Seminar 15361, 30.08.15-04.09.15

Pattern Coding Meets Censoring : (almost) Adaptive Coding on Countable Alphabets

Ben-Hamou, Anna; Boucheron, Stephane; Gassiat, Elisabeth. - Cornell University : arXiv.org, 2016. - 24 pp.
Link
 

Dagstuhl Seminar 15361, 30.08.15-04.09.15

On the measure of Voronoi cells : article : pp. 394-408

Devroye, Luc; Györfi, Laszlo; Lugosi, Gabor; Walk, Harro. - Cambridge : Cambridge University Press, 2017. - (Journal of Applied Probability ; 54. 2017, 2)
Link
 

Dagstuhl Seminar 15352, 23.08.15-26.08.15

Control-Fluidic CoDesign for Paper-Based Digital Microfluidic Biochips : article in ICCAD '16 Proceedings of the 35th International Conference on Computer-Aided Design : 8 pp.

Wang, Qin; Li, Zeyan; Cheong, Haena; Yao, Hailong; Shin, Kwanwoo; Li, Bing; Schlichtmann, Ulf; Cai, Yici; Ho, Tsung-Yi; Kwon, Oh-Sun. - New York : ACM, 2016. - (Proceedings of the 35th International Conference on Computer-Aided Design 2016 ; article)
Link
 

Dagstuhl Seminar 15351, 23.08.15-28.08.15

Testing and Validation of Computational Methods for Mass Spectrometry : article : pp.809-814

Gatto, Laurent; Hansen, Kasper D.; Hoopmann, Michael R.; Hermjakob, Henning; Kohlbacher, Oliver; Beyer, Andreas. - Washington : ACS Publications, 2016. - (Journal of Proteome Research ; 15. 2016)
Link
 

Dagstuhl Seminar 15342, 16.08.15-21.08.15

Power Tuning HPC Jobs on Power-Constrained Systems : article in Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, PACT '16 : pp. 179-191

Gholkar, Neha; Mueller, Frank; Rountree, Barry. - New York : ACM, 2016. - (International Conference on Parallel Architectures and Compilation, PACT '16 : article)
Link
 

Dagstuhl Seminar 15342, 16.08.15-21.08.15

A Power-Aware Cost Model for HPC Procurement : article in 2016 IEEE International Parallel and Distributed Processing Symposium Workshops : pp. 1110-1113

Gholkar, Neha; Mueller, Frank; Rountree, Barry. - Los Alamitos : IEEE, 2016. - (International Parallel and Distributed Processing Symposium Workshops : article)
Link
 

Dagstuhl Seminar 15342, 16.08.15-21.08.15

Power Tuning for HPC Jobs under Manufacturing Variations

Gholkar, Neha; Mueller, Frank; Rountree, Barry. - Raleigh : University, 2016. - 11 pp. - (Technical Report, Dept. of Computer Science, North Carolina State University ; 2016-2)
Link
 

Dagstuhl Seminar 15342, 16.08.15-21.08.15

Dagstuhl Manifesto : Power-Bounded HPC Performance Optimization : pp. 171-174 : article

Rountree, Barry; Kranzlmüller, Dieter. - Berlin : Springer, 2016. - (Informatik Spektrum : 39. 2016, 2 : article)
Link
 

Dagstuhl Seminar 15302, 19.07.15-24.07.15

Dagstuhl Manifesto : Digital Scholarship and Open Science in Psychology and the Behavioral Sciences : pp. 572-573 : article

Castro, Alexander Garcia; Hastings, Janna; Lange, Christoph; Stevens, Robert; Weichselgartner, Erich. - Berlin : Springer, 2015. - (Informatik Spektrum : 38. 2015, 6)
Link
 

Dagstuhl Seminar 15301, 19.07.15-24.07.15

Even Delta-Matroids and the Complexity of Planar Boolean CSPs

Kazda, Alexandr; Kolmogorov, Vladimir; Rolinek, Michal. - Cornell University : arXiv.org, 2016. - 32 pp.
Link
 

Dagstuhl Seminar 15301, 19.07.15-24.07.15

Testing Assignments to Constraint Satisfaction Problems : article in 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS) : pp. 525-534

Chen, Hubie; Valeriote, Matthew A.; Yoshida, Yuichi. - Los Alamitos : IEEE, 2016
Link
 

Dagstuhl Event 15283, 05.07.15-10.07.15

Entertainment Computing and Serious Games : International GI-Dagstuhl Seminar 15283, Dagstuhl Castle, Germany, July 5 - 10, 2015, Revised Selected Papers - Heidelberg : Springer, 2016. - (Lecture notes in computer science : Tutorial ; 9970)

Dörner, Ralf; Göbel, Stefan; Kickmeier-Rust, Michael; Masuch, Maic; Zweig, Katharina A.. - Heidelberg : Springer, 2016. - (Lecture notes in computer science : Tutorial ; 9970)
ISBN: 978-3-319-46151-9 / 3-319-46151-6
Link
 

Dagstuhl Event 15253, 14.06.15-17.06.15

Corporate Semantic Web : Applications, Technology, Methodology : Summary of the Dagstuhl Workshop 2015 : article : pp. 57-63

Hoppe, Thomas; Humm, Bernhard; Schade, Ulrich; Heuss, Timm; Hemmje, Matthias; Vogel, Tobias; Gernhardt, Benjamin. - Berlin : Springer, 2016. - (Informatik Spektrum : 39. 2016, 1)
Link
 

Dagstuhl Seminar 15241, 07.06.15-12.06.15

Dagstuhl Manifesto : Computational Social Choice : Theory and Applications : pp. 423-426 : article

Boutilier, Craig; Dorn, Britta; Maudet, Nicolas; Merlin, Vincent. - Berlin : Springer, 2015. - (Informatik Spektrum : 38. 2015, 5)
Link
 

Dagstuhl Seminar 15222, 25.05.15-28.05.15

What does it mean to use a method? : Towards a practice theory for software engineering : article pp. 220-231

Dittrich, Yvonne. - Amsterdam : Elsevier, 2016.. - (Information and Software Technology ; 70. 2016 : article)
Link
 

Dagstuhl Seminar 15221, 25.05.15-29.05.15

Skeptical Inference Based on C-Representations and Its Characterization as a Constraint Satisfaction Problem : article in LNCS 9616 : pp. 65-82

Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele. - Berlin : Springer, 2016. - (Lecture notes in computer science ; 9616 : article)
Link
 

Dagstuhl Seminar 15221, 25.05.15-29.05.15

Reasoning with Imperfect Information and Knowledge : Special Issue : pp. 1-257

Kern-Isberner, Gabriele; Douven, Igor; Knauff, Markus; Prade, Henri. - Berlin : Springer, 2017. - (Minds and Machines : 27. 2017, 1)
Link
 

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Example Landscapes to Support Analysis : article in LNCS 9921

Jansen, Thomas; Zarges, Christine. - Berlin : Springer, 2016. - 792-802 pp.
Link
 

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Artificial Immune Systems can Beat Evolutionary Algorithms in Combinatorial Optimisation : article : 8 pp

Doerr, Benjamin; Jansen, Thomas; Zarges, Christine. - New York : ACM, 2016.. - (Proceedings of the 18th Genetic and Evolutionary Computation Conference (GECCO 2016), AIS-BIO : article)
Link
 

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Update Strength in EDAs and ACO : How to Avoid Genetic Drift : article : 32 pp.

Sudholt, Dirk; Witt, Carsten. - Cornell University : arXiv.org, 2016.
Link
 

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Update Strength in EDAs and ACO : How to Avoid Genetic Drift : article pp. 61-68

Sudholt, Dirk; Witt, Carsten. - New York : ACM, 2016. - (GECCO '16 Proceedings of the Genetic and Evolutionary Computation Conference 2016 ; pp. 61-68)
Link
 

Dagstuhl Seminar 15211, 17.05.15-22.05.15

How Crossover Speeds Up Building-Block Assembly in Genetic Algorithms : article : pp. 237-274

Sudholt, Dirk. - Cambridge : MIT Press, 2017. - (Evolutionary computation : 25. 2017, 2
Link
 

Dagstuhl Seminar 15211, 17.05.15-22.05.15

First Steps Towards a Runtime Comparison of Natural and Artificial Evolution : article in GECCO '15 Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation : pp. 1455-1462

Paixao, Tiago; Perez Heredia, Jorge; Sudholt, Dirk; Trubenova, Barbora. - New York : ACM, 2015.. - (GECCO '15 Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation : article)
Link
 

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Toward a unifying framework for evolutionary processes : article : pp. 28-43

Paixao, Tiago; Badkobeh, Golnaz; Barton, Nicholas H.; Corus, Dogan; Dang, Duc-Cuong; Trubenova, Barbora; Sutton, Andrew M.; Sudholt, Dirk; Lehre, Per Kristian; Friedrich, Tobias. - Amsterdam : Elsevier, 2015. - (Journal of Theoretical Biology ; 383. 2015)
Link
 

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Projection-Based Restricted Covariance Matrix Adaptation for High Dimension : article in GECCO 2016, Genetic and Evolutionary Computation Conference 2016, Jul 2016, Denver, United States

Akimoto, Youhei; Jansen, Nikolaus. - HAL Inria, 2016. - 9 pp.. - (GECCO 2016, Genetic and Evolutionary Computation Conference 2016 : article
Link
 

Dagstuhl Seminar 15211, 17.05.15-22.05.15

Upper bounds on expected hitting time of target subsets by genetic algorithm : article in Proceedings of the 6th International Conference "Optimization Problems and their Economical Applications" : pp.84-88

Dang, Duc-Cuong; Eremeev, Anton V.; Lehre, Per Kristian. - Omsk, 2015.. - (Proceedings of the 6th International Conference Optimization Problems and their Economical Applications : article)
Link
 

Dagstuhl Event 15202, 10.05.15-13.05.15

Ausgezeichnete Informatikdissertationen 2014

Hölldobler, Steffen. - Bonn : Gesellschaft für Informatik e.V., 2015. - 310 S.. - (Lecture notes in informatics / D ; 15)
Link
 

Dagstuhl Seminar 15191, 03.05.15-08.05.15

Possible values : Exploring a concept for concurrency : article

Jones, Cliff B.; Hayes, Ian J.. - Amsterdam : Elsevier, 2016. - pp. 972-984. - Journal of Logical and Algebraic Methods in Programming ; 85. 2016
Link
 

Dagstuhl Seminar 15182, 26.04.15-29.04.15

Formal Methods Tool Qualification

Wagner, Lucas G.; Cofer, Darren; Slind, Konrad; Tinelli, Cesare; Mebsout, Alain. - Hampton : National Aeronautics and Space Administration, 2017. - (NASA/CR ; 2017-219371)
Link
 

Dagstuhl Seminar 15171, 19.04.15-24.04.15

Total space in Resolution is at least width squared

Bonacina, Ilario. - Potsdam : Electronic Colloquium on Computational Complexity, 2016. - 14 pp.. - (Electronic Colloquium on Computational Complexity Report ; 57)
Link
 

Dagstuhl Seminar 15161, 12.04.15-17.04.15

Advanced stencil-code engineering : special issue

Lengauer, Christian; Bolten, Matthias; Falgout, Robert D.; Schenk, Olaf. - Chichester : Wiley, 2017. - Concurrency and computation : 29. 2017, 17)
Link
 

Dagstuhl Event 15133, 22.03.15-25.03.15

Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme XI : MBEES 2015

Riebisch, Matthias; Huhn, Michaela; Philipps, Jan; Schätz, Bernhard. - München : Fortiss GmbH, 2015. - 119 S.
Link
 

Dagstuhl Seminar 15102, 01.03.15-04.03.15

Toward a Taxonomy and Attacker Model for Secure Routing Protocols : article, pp. 43-48

. - New York : ACM, 2017. - (Computer communication review ; 47. 2017, 1)
Link
 

Dagstuhl Seminar 15101, 01.03.15-06.03.15

The State of the Art in Integrating Machine Learning into Visual Analytics . early view article, 28 pp

Endert, Alex; Ribarsky, William; Turkay, Cagatay; William Wong, B. L.; Diaz Blanco, Ignacio, Rossi, Fabrice; Nabney, Ian T.. - Chichester : Wiley, 2017. - (Computer graphics forum ; early view article)
Link
 

Dagstuhl Seminar 15082, 15.02.15-20.02.15

On the Linear Extension Complexity of Regular n-gons : also published in "Linear Algebra and its Applications" : article

Vandaele, Arnaud; Gillis, Nicolas; Glineur, Francois. - Cornell University : arXiv.org, 2015. - 15 pp.
Link
 

Dagstuhl Seminar 15082, 15.02.15-20.02.15

On the Linear Extension Complexity of Regular n-gons : article

Vandaele, Arnaud; Gillis, Nicolas; Glineur, Francois. - Elsevier, 2017. - pp. 217-239. - (Linear Algebra and its Applications ; 521. 2017 : article)
Link
 

Dagstuhl Seminar 15072, 08.02.15-11.02.15

Distributed Cloud Computing : Applications, Status Quo, and Challenges : article : pp. 38-43

Coady, Yvonne; Hohlfeld, Oliver; Kempf, James; McGeer, Patrick C.; Schmid, Stefan. - New York : ACM, 2015. - (Computer communication review : 45. 2015, 2)
Link
 

Dagstuhl Seminar 15062, 01.02.15-06.02.15

Evaluating and comparing language workbenches : Existing results and benchmarks for the future : article pp. 24-47

Erdweg, Sebastian ; Wachsmuth, Guido; Visser, Eelco; Vergu, Vlad; Kelly, Steven; Cook William R.; Tratt, Laurence; Voelter, Markus; Storm, Tijs van der; Molina, Pedro J.; Palatnik, Martin; Pohjonen, Risto; Schindler, Eugen; Schindler, Klemens; Solmi, Riccardo; Vlist, Kevin van der; Woning, Jimi van der; Bosman, Remi; Gerritsen, Albert; Hulshout, Angelo; Loh, Alex; Konat, Gabriel. - Amsterdam : Elsevier, 2105. - (Computer languages systems and structures : 44. 2015, Part A)
Link
 

Dagstuhl Seminar 15061, 01.02.15-06.02.15

What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead : article : pp. 519-533

Klein, Felix; Zimmermann, Martin. - Wadern : LZI, 2015. - pp. 519-533. - (Leibniz International Proceedings in Informatics ; 41)
Link
 

Dagstuhl Seminar 15052, 25.01.15-30.01.15

Placing Arrows in Directed Graph Drawings

Binucci, Carla; Chimani, Markus; Didimo, Walter; Liotta, Giuseppe; Montecchiani, Fabrizio. - arXiv, 2016. - 19 pp.
Link
 

Dagstuhl Seminar 15041, 18.01.15-23.01.15

Self-Aware Computing Systems : Heidelberg : Springer, 2017. - xviii, 722 Seiten

Kounev, Samuel; Kephart, Jeffrey O.; Milenkoski, Aleksandar; Zhu, Xiaoyun. - Heidelberg : Springer, 2017. - xviii, 722 Seiten
ISBN: 978-3-319-47472-4 / 3-319-47472-3
Link
 

Dagstuhl Seminar 15022, 04.01.15-07.01.15

Dagstuhl Manifesto : Quality of Experience : from Assessment to Application : pp.315-318 : article

Moor, Katrien De; Fiedler, Markus; Reichl, Peter; Varela, Martin. - Berlin : Springer, 2015. - (Informatik Spektrum : 38. 2015, 4)
Link
 

Dagstuhl Seminar 15022, 04.01.15-07.01.15

QoE beyond the MOS : an in-depth look at QoE via better metrics and their relation to MOS : article, 23 pp.

Hoßfeld, Tobias; Heegaard, Poul E.; Varela, Martin; Möller, Sebastian. - Berlin : Springer, 2016. - (Quality and User Experience ; 1. 2016 : article)
Link
 

Dagstuhl Seminar 15022, 04.01.15-07.01.15

Impact of Perceived Quality and other Influencing Factors on Emotional Video Experience : article in QoMEX

Antons, Jan-Niklas; Arndt, Sebastian; Moor, Katrien De; Zander, Steffen. - Los Alamitos : IEEE, 2015. - 6 pp.. - (Proceedings of the 7th International Workshop on Quality of Multimedia Experience (QoMEX) 2015) Link
 

Dagstuhl Seminar 15022, 04.01.15-07.01.15

Towards a comprehensive framework for QOE and user behavior modelling : article in QoMEX 2015

Reichl, Peter; Egger, Sebastian; Möller, Sebastian; Kilkki, Kalevi; Fiedler, Markus; Hossfeld, Tobias; Tsiara, Christos; Asrese, Alemnew. - Los Alamitos : IEEE, 2015. - 6 pp.. - (Proceedings of the 7th International Workshop on Quality of Multimedia Experience (QoMEX) 2015)
Link
 

Dagstuhl Seminar 15022, 04.01.15-07.01.15

QoE beyond the MOS : Added Value Using Quantiles and Distributions : article in QoMEX 2015

Hoßfeld, Tobias; Heegaard, Poul E.; Varela, Martin. - Los Alamitos : IEEE, 2015. - 6 pp.. - (Proceedings of the 7th International Workshop on Quality of Multimedia Experience (QoMEX) 2015) : article
Link
 

Dagstuhl Seminar 15022, 04.01.15-07.01.15

From Service Level Agreements (SLA) to Experience Level Agreements (ELA) : The challenges of selling QoE to the user : article in ICC'15 : IEEE ICC 2015 - Workshop on Quality of Experience-based Management for Future Internet Applications and Services (QoE-FI)

Varela, Martin; Zwickl, Patrick; Reichl, Peter; Xie, Min; Schulzrinne, Henning. - Los Alamitos : IEEE, 2015. - pp. 1741-1746
Link
 

Dagstuhl Seminar 15021, 04.01.15-09.01.15

A simple deterministic algorithm for guaranteeing the forward progress of transactions : article : pp. 69-74

Leiserson, Charles E.. - Amsterdam : Elsevier, 2016. - (Information Systems ; 57. 2016)
Link
 


Dagstuhl's Impact

Häufig kommt es vor, dass ein Dagstuhl-Seminar [1]  oder eine Dagstuhl-Veranstaltung [2]  so inspirierend war, dass die Teilnehmer nach dem Seminar gemeinsam eine Publikation herausbringen. Diese Arbeiten sind im Folgenden aufgelistet und werden separat im Erdgeschoss der Bibliothek präsentiert. Bitte informieren Sie uns [3] über solche Publikationen.

Übersicht der Hyperlinks

[1]http://www.dagstuhl.de/de/bibliothek/dagstuhls-impact/
[2]http://www.dagstuhl.de/de/programm/
[3]petra.meyer(at)dagstuhl.de

Dagstuhl's Impact : Letzte Änderung 17.12.2017, 07:12 Uhr