Search results for "groups"

Hits ?▲	Authors	Title	Venue	Year	Link
25	Alexander Würstlein	A memory-centric run-time executive for heterogeneous many-core systems.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Steve Funke	Motor Learning in Immersive Virtual Environments.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Michael Zollhöfer	Mobile Scanning.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Jessica Magaraggia	Development of Image Guided Surgical Procedures.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Linda Leuschner	Compositionality in Probabilistic Model Checking.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Shiguang Feng	Weighted Temporal Logic.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Karl K. Kopiske	Spatial number representation depends on both semantic and visual properties of numbers.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Heinrich Ody	Robust Spatio-Temporal Logic for Mobile Agents.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Lukas Klodt	Coordination of Multi-Robot Systems.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Christopher Soell	Integrated Circuits for Analog Signalprocessing in Heterogeneous Image Systems.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Iliya Gurov	A Holistic Framework for Realistic, Reproducible, Real-world Sensor Network Experimentation.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Rene Romann	Sec-Home: A Security-Enhanced Framework for Smart Home Environments.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Michael Teichmann	Modeling Vision.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Johannes Dyck	Graph Transformation Systems and Verification with k-Inductive Invariants.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Daniel Pietschmann	Spatial Mapping of Input, Content and Output Spaces in VE and Effects on Spatial Presence Experiences.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Andreas Ecke	Quantitative methods for similarity and generalization in Description Logics.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Martin Schmidt	Coupled Evolution in Model-based Domain-specific Language Development.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Christian Herglotz	Energy Consumption of Video Decoding Systems.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Steffen Huber	Role-based Excecution Execution of Ubiquitous Interactive Processes.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Christian Eichner	Information presentation in multi-presenter scenarios.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Evgeny Erofeev	Formalisms for concurrency and distribution.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Katrin Hölldobler	Model Synthesis through Transformations.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Maximilian Jenders	Modeling Interestingness and Serendipity in Relevance Search.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Dilshod Rahmatov	Design and Analysis of Highly Available Region-Adherent Distributed Algorithms in Faulty Environments.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Hendrik Radke	Graph Conditions with Variables and their Application in Metamodel Instance Generation.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Benny Liebold	Authentic Facial Expressions of Emotion and their Impact on User Evaluation.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Stefan Schulze Frielinghaus	Inter-procedural Herbrand Equalities.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Daniel Richter	High-Availability Through Software Fault Tolerance.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Benjamin Keinert	Scalable Global Illumination.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Kai Selgrad	Efficient Visibility Estimation.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Panagiotis Bouros	Management of Complex Data.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Sascha Wunderlich	Model Checking with Accumulated Weights.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Sebastian Unger	Secure Web Services for ambient embedded Systems.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Michael Frey	Towards Adaptive Wireless Multi-Hop Networks Optimizing Network Lifetime.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Michael Heidt	Potentialities for Intertwinements of Interactive Systems and Cultural Spaces.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Simon Leßenich	Counting Logics and Games with Counters.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Yang Gao	Decision Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Marcin Hewelt	Process Architectures in Healthcare.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Oswald Berthold	Robotic Self-Exploration and Acquisition of Sensorimotor Primitives.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Bruno Cadonna	Event Pattern Matching.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Holger Steiner	Robust Skin Detection with an Active Near-Infrared Camera System.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Matthias Prellwitz	Programming Abstractions for Ubiquitous Applications.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Julian Bader	Efficient, Robust, and Scale-Invariant Decomposition of Raman Spectra.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Pedro Lopes 0001	Talking directly to the body: the user's muscles ELS wearable input & output devices through computer-controlled electrical muscle stimulation.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Michael Rethfeldt	Dynamic Optimization of Communication Resources and Communication Strategies in Wireless Mesh Networks.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Daniel Krähmann	Interface Theory for Stochastic Hybrid Systems.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Sebastian Pasewaldt	Design, Implementation and Application of Multi-Perspective 3D Panoramas for 3D Geovisualization.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Andre Moelle	Classifying Partners of Services with Temporal Logic.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Mircea Stoica	Neurofeedback training on interhemispheric parietal gamma coherence.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Özge Alaçam	Verbally Assisted Haptic Graph Comprehension.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Stefan Kurowski	Design and Setup of Mechanical and Electronical Control for Elastically Actuated Robots.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Redwan Abdo A. Mohammed	Predictive User Models in Smart Environment.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Christian Meirich	Capacity of a railway network.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Enrico Seib	Automatic Deployment and Adaptive Placement of Ubiquitous Applications.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Jörgen Brandt	A Language-Based Approach to Specification, Execution, and Optimization of Scientific Workflows.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Robin Nicolay	Enhancing Multi-Display Environments using Private Mobile Devices.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Lars Döhling	Information Extraction for Disaster Management.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Madlen Wuttke	Supporting Learners with Pro-Active Pedagogical Agents.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Vitaly Perevoshchikov	Multi-weighted automata models and quantitative logics.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Deni Raco	Specification and Verification of Distributed Systems.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Anja Jentzsch	Comparing and Describing Datasets on the Web of Data.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Damien Lefloch	3D Sensor Data Fusion.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Heinrich Mellmann	Spatial Active World Modeling for Autonomous Mobile Robots.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Helena Gruhn	A Design Framework for Mobile Service-Oriented Sensor-Actuator Networks.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Anna Yupatova, Vitali Schneider	Model Support in Design, Test and Monitoring of Image System Architectures.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Markus Teichmann	Grammar-based statistical machine translation.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Matthias Kerzel	Event Recognition during Exploration of Line-Based Graphics in Virtual Haptic Environments.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Martin Berger	Motion Correction for Weight-Bearing C-arm CT of Knees.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Javier López	Flight control for tilt-rotor UAV.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Christian Scheel	Telepresence in high resolution multi display environments.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Marcel Piotraschke	High-Resolution Texture Transfer.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Eyad Saleh	Securing Multi-Tenant SaaS Environments.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Thomas Weidner	Probabilistic Logic and Probabilistic Automata.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Marc Reinhardt	Decentralized Estimation in Sensor Networks.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Jorge Dávila-Chacón	Neural Sound Source Localisation for Speech Processing Based on the Inferior Colliculus.	Joint Workshop of the German Research Training Groups in Computer Science	2014	DBLP BibTeX RDF
25	Mikhail Anokhin	Constructing a pseudo-free family of finite computational groups under the general integer factoring intractability assumption.	Groups Complex. Cryptol.	2013	DBLP DOI BibTeX RDF
25	Maggie E. Habeeb, Delaram Kahrobaei	On the dimension of matrix representations of finitely generated torsion free nilpotent groups.	Groups Complex. Cryptol.	2013	DBLP DOI BibTeX RDF
25	Benjamin Fine, Gerhard Rosenberger	Faithful representations of limit groups II.	Groups Complex. Cryptol.	2013	DBLP DOI BibTeX RDF
25	Amnon Rosenmann	On the intersection of subgroups in free groups: Echelon subgroups are inert.	Groups Complex. Cryptol.	2013	DBLP DOI BibTeX RDF
25	Derek F. Holt, Sarah Rees	Shortlex automaticity and geodesic regularity in Artin groups.	Groups Complex. Cryptol.	2013	DBLP DOI BibTeX RDF
25	Vitalii Roman'kov	Equations over groups.	Groups Complex. Cryptol.	2012	DBLP DOI BibTeX RDF
25	Mark L. Lewis, James B. Wilson	Isomorphism in expanding families of indistinguishable groups.	Groups Complex. Cryptol.	2012	DBLP DOI BibTeX RDF
25	Matthew J. Craven, Henri C. Jimbo	Evolutionary algorithm solution of the multiple conjugacy search problem in groups, and its applications to cryptography.	Groups Complex. Cryptol.	2012	DBLP DOI BibTeX RDF
25	Yago Antolín	On Cayley graphs of virtually free groups.	Groups Complex. Cryptol.	2011	DBLP DOI BibTeX RDF
25	Svetla Vassileva	Polynomial time conjugacy in wreath products and free solvable groups.	Groups Complex. Cryptol.	2011	DBLP DOI BibTeX RDF
25	Alexei G. Myasnikov, Alexander Ushakov	Random van Kampen diagrams and algorithmic problems in groups.	Groups Complex. Cryptol.	2011	DBLP DOI BibTeX RDF
25	Benjamin Fine, Gerhard Rosenberger	A note on faithful representations of limit groups.	Groups Complex. Cryptol.	2011	DBLP DOI BibTeX RDF
25	Robert H. Gilman 0001, Alexei G. Myasnikov, Vitalii Roman'kov	Random equations in free groups.	Groups Complex. Cryptol.	2011	DBLP DOI BibTeX RDF
25	Natalia Mosina, Alexander Ushakov	Strong law of large numbers on graphs and groups.	Groups Complex. Cryptol.	2011	DBLP DOI BibTeX RDF
25	Russell Miller 0001	An introduction to computable model theory on groups and fields.	Groups Complex. Cryptol.	2011	DBLP DOI BibTeX RDF
25	Lluís Bacardit, Warren Dicks	The Zieschang-McCool method for generating algebraic mapping-class groups.	Groups Complex. Cryptol.	2011	DBLP DOI BibTeX RDF
25	Murray Elder, Andrew Rechnitzer	Some geodesic problems in groups.	Groups Complex. Cryptol.	2010	DBLP DOI BibTeX RDF
25	Uri Weiss	On Shephard groups with large triangles.	Groups Complex. Cryptol.	2010	DBLP DOI BibTeX RDF
25	Marston D. E. Conder	An update on Hurwitz groups.	Groups Complex. Cryptol.	2010	DBLP DOI BibTeX RDF
25	Celine Carstensen, Benjamin Fine, Gerhard Rosenberger	On asymptotic densities and generic properties in finitely generated groups.	Groups Complex. Cryptol.	2010	DBLP DOI BibTeX RDF
25	Arkadius G. Kalka, Eran Liberman, Mina Teicher	Subgroup conjugacy problem for Garside subgroups of Garside groups.	Groups Complex. Cryptol.	2010	DBLP DOI BibTeX RDF
25	Tetsuya Ito	On finite Thurston-type orderings of braid groups.	Groups Complex. Cryptol.	2010	DBLP DOI BibTeX RDF
25	Matthias Neumann-Brosig, Gerhard Rosenberger	A note on the homology of hyperbolic groups.	Groups Complex. Cryptol.	2010	DBLP DOI BibTeX RDF
25	Arkadius G. Kalka, Eran Liberman, Mina Teicher	A Note on the Shifted Conjugacy Problem in Braid Groups.	Groups Complex. Cryptol.	2009	DBLP DOI BibTeX RDF
25	Fabienne Chouraqui	Rewriting Systems and Embedding of Monoids in Groups.	Groups Complex. Cryptol.	2009	DBLP DOI BibTeX RDF