Search results for "fundamentals"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Stefan Schneegass, Oliver Amft (eds.)	Smart Textiles - Fundamentals, Design, and Interaction		2017	DBLP DOI BibTeX RDF
13	Eveline T. Feteris	Fundamentals of Legal Argumentation, A Survey of Theories on the Justification of Judicial Decisions - Updated and Revised Edition.		2017	DOI RDF
13	Andreas L. Schulz, Marie L. Woldeit, Frank W. Ohl	Neurobiological Fundamentals of Strategy Change: A Core Competence of Companion-Systems.	Companion Technology	2017	DBLP DOI BibTeX RDF
13	Gerard O'Regan	Concise Guide to Formal Methods - Theory, Fundamentals and Industry Applications		2017	DOI RDF
13	Gerard O'Regan	Concise Guide to Software Engineering - From Fundamentals to Application Methods		2017	DOI RDF
13	John T. Baldwin 0001	Fundamentals of Stability Theory		2017	DOI RDF
13	Gregor Grambow, Roy Oberhauser, Manfred Reichert	On the Fundamentals of Intelligent Process-Aware Information Systems.	Advances in Intelligent Process-Aware Information Systems	2017	DBLP DOI BibTeX RDF
13	Arndt Lüder, Nicole Schmidt, Kristofer Hell, Hannes Röpke, Jacek Zawisza	Fundamentals of Artifact Reuse in CPPS.	Multi-Disciplinary Engineering for Cyber-Physical Production Systems	2017	DBLP DOI BibTeX RDF
13	Miguel Heredia Conde	Compressive Sensing for the Photonic Mixer Device - Fundamentals, Methods and Results		2017	DOI RDF
13	Femke Elise van Beek	Making Sense of Haptics - Fundamentals of Perception and Implications for Device Design		2017	DOI RDF
13	Raimundas Matulevicius	Fundamentals of Secure System Modelling		2017	DOI RDF
13	Daniel Souza Makiyama, Plinio Thomaz Aquino Jr.	Fundamentals of a Components Sharing Network to Accelerate JavaScript Software Development.	FedCSIS	2017	DBLP DOI BibTeX RDF
13	Reneta P. Barneva, Valentin E. Brimkov, João Manuel R. S. Tavares (eds.)	Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications - 5th International Symposium, CompIMAGE 2016, Niagara Falls, NY, USA, September 21-23, 2016, Revised Selected Papers	CompIMAGE	2017	DBLP DOI BibTeX RDF
13	Constantin Wagner, Christian von Trotha, Florian Palm, Ulrich Epple	Fundamentals for the next generation of automation solutions of the fourth industrial revolution.	ASCC	2017	DBLP DOI BibTeX RDF
13	Oksana M. Markova	Засоби хмарних технологій навчання основ математичної інформатики студентів технічних університетів (The tools of cloud technology for learning of fundamentals of mathematical informatics for students of technical universities). (PDF / PS)	CTE	2017	DBLP DOI BibTeX RDF
13	Andrew Luxton-Reilly, Brett A. Becker, Yingjun Cao, Roger McDermott, Claudio Mirolo, Andreas Mühling, Andrew Petersen 0001, Kate Sanders 0001, Simon, Jacqueline L. Whalley	Developing Assessments to Determine Mastery of Programming Fundamentals.	ITiCSE-WGR	2017	DBLP DOI BibTeX RDF
13	Andrew Luxton-Reilly, Brett A. Becker, Yingjun Cao, Roger McDermott, Claudio Mirolo, Andreas Mühling, Andrew Petersen 0001, Kate Sanders 0001, Simon, Jacqueline L. Whalley	Developing Assessments to Determine Mastery of Programming Fundamentals.	ITiCSE	2017	DBLP DOI BibTeX RDF
13	Rafael Pérez Jiménez, José Rabadán, Victor Guerra, Lidia Aguiar, Julio Francisco Rufo Torres	Fundamentals of Indoor Vlp: Providing Autonomous Mobility for Visually Impaired People.	IWOBI	2017	DBLP DOI BibTeX RDF
13	E. McCune	Fundamentals for Energy-Efficient Massive MIMO.	WCNC Workshops	2017	DBLP DOI BibTeX RDF
13	Mehdi Dastani, Marjan Sirjani (eds.)	Fundamentals of Software Engineering - 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers	FSEN	2017	DBLP DOI BibTeX RDF
13	Radu-Daniel Vatavu	Fundamentals of Gesture Production, Recognition, and Analysis.	CHI Extended Abstracts	2017	DBLP DOI BibTeX RDF
13	Andreas L. Schulz, Marie L. Woldeit, Marcel Brosch, Frank W. Ohl	Neurobiological fundamentals of strategy change - A core competence of a companion system.	ICCT	2017	DBLP DOI BibTeX RDF
13	Ralf Klasing, Marc Zeitoun (eds.)	Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings	FCT	2017	DBLP DOI BibTeX RDF
13	Benedict Bender, Norbert Gronau	Coring on Digital Platforms - Fundamentals and Examples from the Mobile Device Sector.	ICIS	2017	DBLP BibTeX RDF
13	Hui Pan 0002	A/D converter fundamentals and trends.	CICC	2017	DBLP DOI BibTeX RDF
13	Antoni Perez-Poch, David López 0001	Just-in-time teaching improves engagement and academic results among students at risk of failure in computer science fundamentals.	FIE	2017	DBLP DOI BibTeX RDF
13	Michael D. Godlevsky, Sergey V. Orekhov, Elena Orekhova	Theoretical Fundamentals of Search Engine Optimization Based on Machine Learning.	ICTERI	2017	DBLP BibTeX RDF
13	Quang Vinh Nguyen, Ulrich Engelke	Big data visual analytics: fundamentals, techniques, and tools.	SIGGRAPH ASIA (Courses)	2017	DBLP DOI BibTeX RDF
13	Masato Kagawa, Nihan Karatas, Michio Okada	Communication Fundamentals within a Triadic Interaction in a Cooperative Play Mediated by INAMO.	HAI	2017	DBLP DOI BibTeX RDF
13	Saffet Vatansever, Ismail Butun	A broad overview of GPS fundamentals: Now and future.	CCWC	2017	DBLP DOI BibTeX RDF
13	Karin Elizabeth Wolff	Throwing the baby out with the bathwater? The role of fundamentals in 21st century engineering education.	EDUCON	2017	DBLP DOI BibTeX RDF
13	Isabela Gasparini, Marcelo Soares Pimenta, José Palazzo M. de Oliveira, Ricardo Miranda	Coupling Cultural Context to a User Model of Adaptive E-Learning: Fundamentals, Approach and Experiment.	HEFA	2017	DBLP DOI BibTeX RDF
13	Hao Chen 0010	Mutual Information Accumulation over Wireless Networks: Fundamentals and Applications.		2017	RDF
13	Shahab Pourtalebi	System-level feature-based modeling of cyber-physical systems: A theoretical framework and methodological fundamentals.		2017	RDF
13	Dongyi Chen, Michael Lawo	Smart Textiles and Smart Personnel Protective Equipment.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Andreas Mehmann	Textile Antennas.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Roshan Lalintha Peiris	Integrated Non-light-Emissive Animatable Textile Displays.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Jonna Häkkilä	Designing for Smart Clothes and Wearables - User Experience Design Perspective.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Stefan Schneegass, Oliver Amft	Introduction to Smart Textiles.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Derman Vatansever Bayramol, Navneet Soin, Tahir Shah, Elias Siores, Dimitroula Matsouka, Savvas Vassiliadis	Energy Harvesting Smart Textiles.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Max Pfeiffer, Michael Rohs	Haptic Feedback for Wearables and Textiles Based on Electrical Muscle Stimulation.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Jingyuan Cheng, Bo Zhou 0005, Paul Lukowicz, Fernando Seoane, Matija Varga, Andreas Mehmann, Peter Chabrecek, Werner Gaschler, Karl Gönner, Hansjürgen Horter, Stefan Schneegass, Mariam Hassib, Albrecht Schmidt 0001, Martin Freund, Rui Zhang 0027, Oliver Amft	Textile Building Blocks: Toward Simple, Modularized, and Standardized Smart Textile.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Matija Varga	Electronics Integration.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Michaela Honauer	Designing (Inter)Active Costumes for Professional Stages.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Karl Gönner, Hansjürgen Horter, Peter Chabrecek, Werner Gaschler	Precision Fabric Production in Industry.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Heike Leutheuser, Nadine R. Lang, Stefan Gradl, Matthias Struck, Andreas Tobola, Christian Hofmann, Lars Anneken, Björn M. Eskofier	Textile Integrated Wearable Technologies for Sports and Medical Applications.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Federico Lorussi, Nicola Carbonaro, Danilo De Rossi, Alessandro Tognetti	Strain- and Angular-Sensing Fabrics for Human Motion Analysis in Daily Life.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Ramyah Gowrishankar, Katharina Bredies, Salu Ylirisku	A Strategy for Material-Specific e-Textile Interaction Design.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Andreas Mehmann, Matija Varga, Gerhard Tröster	Reversible Contacting for Smart Textiles.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Aurora De Acutis, Danilo De Rossi	e-Garments: Future as "Second Skin"?	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Bo Zhou 0005, Paul Lukowicz	Textile Pressure Force Mapping.	Smart Textiles	2017	DBLP DOI BibTeX RDF
13	Ferruccio Damiani, Michael Lienhardt, Luca Paolini	A Formal Model for Multi SPLs.	FSEN	2017	DBLP DOI BibTeX RDF
13	Guillermina Cledou, José Proença, Luís Soares Barbosa	Composing Families of Timed Automata.	FSEN	2017	DBLP DOI BibTeX RDF
13	Ali Parsai, Alessandro Murgia, Serge Demeyer	LittleDarwin: A Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems.	FSEN	2017	DBLP DOI BibTeX RDF
13	Masoumeh Taromirad, Mohammad Reza Mousavi 0001	Gray-Box Conformance Testing for Symbolic Reactive State Machines.	FSEN	2017	DBLP DOI BibTeX RDF
13	Atieh Monemi Bidgoli, Hassan Haghighi, Tahereh Zohdi Nasab, Hamideh Sabouri	Using Swarm Intelligence to Generate Test Data for Covering Prime Paths.	FSEN	2017	DBLP DOI BibTeX RDF
13	Nils Timm, Stefan Gruner, Prince Sibanda	Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving.	FSEN	2017	DBLP DOI BibTeX RDF
13	Filippo Bonchi, Matias David Lee, Jurriaan Rot	Bisimilarity of Open Terms in Stream GSOS.	FSEN	2017	DBLP DOI BibTeX RDF
13	Shahrzad Riahi, Ramtin Khosravi, Fatemeh Ghassemi	Purpose-Based Policy Enforcement in Actor-Based Systems.	FSEN	2017	DBLP DOI BibTeX RDF
13	Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen, Ingrid Chieh Yu	Translating Active Objects into Colored Petri Nets for Communication Analysis.	FSEN	2017	DBLP DOI BibTeX RDF
13	Mahdi Houshmand, Samad Paydar	TCE+: An Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs.	FSEN	2017	DBLP DOI BibTeX RDF
13	Alex P. Klinkhamer, Ali Ebnenasir	Synthesizing Parameterized Self-stabilizing Rings with Constant-Space Processes.	FSEN	2017	DBLP DOI BibTeX RDF
13	Eva Kühn	Flexible Transactional Coordination in the Peer Model.	FSEN	2017	DBLP DOI BibTeX RDF
13	Gianluca Barbon, Vincent Leroy 0001, Gwen Salaün	Debugging of Concurrent Systems Using Counterexample Analysis.	FSEN	2017	DBLP DOI BibTeX RDF
13	Beniamino Accattoli, Giulio Guerrieri	Implementing Open Call-by-Value.	FSEN	2017	DBLP DOI BibTeX RDF
13	José Proença, Carlos Baquero	Quality-Aware Reactive Programming for the Internet of Things.	FSEN	2017	DBLP DOI BibTeX RDF
13	Zeynab Sabahi-Kaviani, Fatemeh Ghassemi, Fateme Bajelan	Automatic Transition System Model Identification for Network Applications from Packet Traces.	FSEN	2017	DBLP DOI BibTeX RDF
13	Indranil Banerjee, Dana Richards	New Results on Routing via Matchings on Graphs.	FCT	2017	DBLP DOI BibTeX RDF
13	Christof Löding, Christopher Spinrath	Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words.	FCT	2017	DBLP DOI BibTeX RDF
13	Albert Atserias, Phokion G. Kolaitis, Simone Severini	Generalized Satisfiability Problems via Operator Assignments.	FCT	2017	DBLP DOI BibTeX RDF
13	Anurag Anshu, Peter Høyer, Mehdi Mhalla, Simon Perdrix	Contextuality in Multipartite Pseudo-Telepathy Graph Games.	FCT	2017	DBLP DOI BibTeX RDF
13	Dariusz Dereniowski, Andrzej Lingas, Mia Persson, Dorota Urbanska, Pawel Zylinski	The Snow Team Problem - (Clearing Directed Subgraphs by Mobile Agents).	FCT	2017	DBLP DOI BibTeX RDF
13	Gianluca De Marco, Tomasz Jurdzinski, Michal Rózanski, Grzegorz Stachowiak	Subquadratic Non-adaptive Threshold Group Testing.	FCT	2017	DBLP DOI BibTeX RDF
13	Till Fluschnik, Marco Morik, Manuel Sorge	The Complexity of Routing with Few Collisions.	FCT	2017	DBLP DOI BibTeX RDF
13	Holger Petersen 0001	Busy Beaver Scores and Alphabet Size.	FCT	2017	DBLP DOI BibTeX RDF
13	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities.	FCT	2017	DBLP DOI BibTeX RDF
13	Endre Boros, Ondrej Cepek, Kazuhisa Makino	Strong Duality in Horn Minimization.	FCT	2017	DBLP DOI BibTeX RDF
13	Thomas Colcombet, Laure Daviaud, Florian Zuleger	Automata and Program Analysis.	FCT	2017	DBLP DOI BibTeX RDF
13	Jérémie Cabessa, Olivier Finkel	Expressive Power of Evolving Neural Networks Working on Infinite Input Streams.	FCT	2017	DBLP DOI BibTeX RDF
13	Dima Grigoriev, Vladimir V. Podolskii	Tropical Combinatorial Nullstellensatz and Fewnomials Testing.	FCT	2017	DBLP DOI BibTeX RDF
13	Tomasz Jurdzinski, Michal Rózanski	Deterministic Oblivious Local Broadcast in the SINR Model.	FCT	2017	DBLP DOI BibTeX RDF
13	Nicolas Bousquet, Arnaud Mary, Aline Parreau	Token Jumping in Minor-Closed Classes.	FCT	2017	DBLP DOI BibTeX RDF
13	Juraj Hromkovic, Peter Rossmanith	What One Has to Know When Attacking P vs. NP (Extended Abstract).	FCT	2017	DBLP DOI BibTeX RDF
13	Andreas Bärtschi, Thomas Tschager	Energy-Efficient Fast Delivery by Mobile Agents.	FCT	2017	DBLP DOI BibTeX RDF
13	Markus Bläser, B. V. Raghavendra Rao, Jayalal Sarma	Testing Polynomial Equivalence by Scaling Matrices.	FCT	2017	DBLP DOI BibTeX RDF
13	Kord Eickmeyer, Ken-ichi Kawarabayashi	FO Model Checking on Map Graphs.	FCT	2017	DBLP DOI BibTeX RDF
13	Matthias Bentert, Till Fluschnik, André Nichterlein, Rolf Niedermeier	Parameterized Aspects of Triangle Enumeration.	FCT	2017	DBLP DOI BibTeX RDF
13	Anca Muscholl	A Tour of Recent Results on Word Transducers.	FCT	2017	DBLP DOI BibTeX RDF
13	George Manoussakis	Listing All Fixed-Length Simple Cycles in Sparse Graphs in Optimal Time.	FCT	2017	DBLP DOI BibTeX RDF
13	Simon Perdrix, Luc Sanselme	Determinism and Computational Power of Real Measurement-Based Quantum Computation.	FCT	2017	DBLP DOI BibTeX RDF
13	Jean-Éric Pin	Some Results of Zoltán Ésik on Regular Languages.	FCT	2017	DBLP DOI BibTeX RDF
13	Pushkar S. Joglekar, B. V. Raghavendra Rao, Siddharth S. Sivakumar	On Weak-Space Complexity over Complex Numbers.	FCT	2017	DBLP DOI BibTeX RDF
13	Maxime Crochemore, Alice Héliou, Gregory Kucherov, Laurent Mouchard, Solon P. Pissis, Yann Ramusat	Minimal Absent Words in a Sliding Window and Applications to On-Line Pattern Matching.	FCT	2017	DBLP DOI BibTeX RDF
13	Aris Pagourtzis, Giorgos Panagiotakos, Dimitris Sakavalas	Reliable Communication via Semilattice Properties of Partial Knowledge.	FCT	2017	DBLP DOI BibTeX RDF
13	Charis Papadopoulos, Spyridon Tzimas	Polynomial-Time Algorithms for the Subset Feedback Vertex Set Problem on Interval Graphs and Permutation Graphs.	FCT	2017	DBLP DOI BibTeX RDF
13	Alexander Shen	Automatic Kolmogorov Complexity and Normality Revisited.	FCT	2017	DBLP DOI BibTeX RDF
13	Christian Engels, B. V. Raghavendra Rao, Karteek Sreenivasaiah	On \varSigma \wedge \varSigma \wedge \varSigma Circuits: The Role of Middle \varSigma Fan-In, Homogeneity and Bottom Degree.	FCT	2017	DBLP DOI BibTeX RDF
13	Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin	Decidable Weighted Expressions with Presburger Combinators.	FCT	2017	DBLP DOI BibTeX RDF
13	Pierre Ganty, Elena Gutiérrez	Parikh Image of Pushdown Automata.	FCT	2017	DBLP DOI BibTeX RDF
13	Joost Engelfriet, Andreas Maletti	Multiple Context-Free Tree Grammars and Multi-component Tree Adjoining Grammars.	FCT	2017	DBLP DOI BibTeX RDF