Search results for "practice"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Yasmin B. Kafai, Quinn Burke 0001	Computational Participation: Teaching Kids to Create and Connect Through Code.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Jan Delcker, Dirk Ifenthaler	Computational Thinking as an Interdisciplinary Approach to Computer Science School Curricula: A German Perspective.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Adriana D'Alba, Kim C. Huett	Learning Computational Skills in uCode@UWG: Challenges and Recommendations.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Oshani Seneviratne	Making Computer Science Attractive to High School Girls with Computational Thinking Approaches: A Case Study.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Sarah Brasiel, Kevin Close, Soojeong Jeong, Kevin Lawanto, Philip Janisiewicz, Taylor Martin	Measuring Computational Thinking Development with the FUN! Tool.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Hong P. Liu, Sirani M. Perera, Jerry W. Klein	Using Model-Based Learning to Promote Computational Thinking Education.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Kadir Yucel Kaya, Kursat Cagiltay	Creating and Evaluating a Visual Programming Course Based on Student Experience.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Aman Yadav, Sarah Gretter, Jon Good, Tamika McLean	Computational Thinking in Teacher Education.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Julie Mueller, Danielle Beckett, Eden Hennessey, Hasan Shodiev	Assessing Computational Thinking Across the Curriculum.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Peter Musaeus, Deborah G. Tatar, Michael Rosen	Medical Computational Thinking: Computer Scientific Reasoning in the Medical Curriculum.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Miran Lee	Computational Thinking: Efforts in Korea.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Alan Buss, Ruben Gamboa	Teacher Transformations in Developing Computational Thinking: Gaming and Robotics Use in After-School Settings.	Emerging Research, Practice, and Policy on Computational Thinking	2017	DBLP DOI BibTeX RDF
20	Erika Ábrahám, Marcello M. Bonsangue, Einar Broch Johnsen (eds.)	Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Stijn de Gouw, Jurriaan Rot	Effectively Eliminating Auxiliaries.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Marjan Sirjani, Ehsan Khamespanah	On Time Actors.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Willem-Paul de Roever	Warmest Congratulations, Frank!	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Philipp Chrszon, Clemens Dubslaff, Christel Baier, Joachim Klein 0001, Sascha Klüppelholz	Modeling Role-Based Systems with Exogenous Coordination.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Farhad Arbab	Proper Protocol.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga	A Compositional Approach to the Verification of Hybrid Systems.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Björn Engelmann 0001, Ernst-Rüdiger Olderog	A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Jozef Hooman	Industrial Application of Formal Models Generated from Domain Specific Languages.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Maurizio Gabbrielli, Saverio Giallorenzo, Claudio Guidi, Jacopo Mauro, Fabrizio Montesi	Self-Reconfiguring Microservices.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Müller, K. Rustan M. Leino, Sinduran Sivarajan, Mark J. Wheelhouse	Quicksort Revisited - Verifying Alternative Versions of Quicksort.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Dorel Lucanu, Traian-Florin Serbanuta, Grigore Rosu	Towards a \mathbb K K ool Future.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Elena Giachino, Stijn de Gouw, Cosimo Laneve, Behrooz Nobakht	Statically and Dynamically Verifiable SLA Metrics.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Martin Steffen	A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Michiel Helvensteijn, Farhad Arbab	Toward a Formal Foundation for Time Travel in Stories and Games.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer	Formal Frameworks for Verifying Normative Multi-agent Systems.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Reiner Hähnle, Nathan Wasser, Richard Bubel	Array Abstraction with Symbolic Pivots.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida	Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Elvira Albert, Jesús Correas, Guillermo Román-Díez	Resource Analysis of Distributed Systems.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Dave Clarke 0001, Tobias Wrigstad	Vats: A Safe, Reactive Storage Abstraction.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Krzysztof R. Apt	Program Verification: To Err is Human.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	L. P. J. Groenewegen, Ruurd Kuiper 0001, Erik P. de Vink	Towards a Proof Method for Paradigm.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Bernhard K. Aichernig, Florian Lorber, Martin Tappler	Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Philipp Rümmer, Wang Yi 0001	Characterization of Simulation by Probabilistic Testing.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Jacopo Mauro, Gianluigi Zavattaro	On the Expressiveness of Synchronization in Component Deployment.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Davide Ancona, Angelo Ferrando 0001, Viviana Mascardi	Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Prakash Panangaden	Fond (and Frank) Memories of Frank.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Robbert Krebbers, Louis Parlant, Alexandra Silva 0001	Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
20	Vytautas Cyras, Friedrich Lachmayer	Logic Oriented Methods for Structuring in the Context of Lawmaking.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Giovanni Battista Ratti	Negation in Legislation.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Vern R. Walker, Bernadette C. Lopez, Matthew T. Rutchik, Julie L. Agris	Representing the Logic of Statutory Rules in the United States.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Linda D. Jellum	The Theories of Statutory Construction and Legislative Process in American Jurisprudence.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Layman E. Allen, Leon J. Lysaght	Modern Logic as a Tool for Remedying Ambiguities in Legal Documents and Analyzing the Structure of Legal Documents' Contained Definitions.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Ermo Täks, Addi Rull, Anni Säär, Burkhard Schäfer 0001	Creating CoReO, the Computer Assisted Copyright Reform Observatory.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Enrico Francesconi	Legal Knowledge Modeling for Managing Legislation in the Semantic Web.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Fabrizio Macagno, Giovanni Damele	The Hidden Acts of Definition in Law: Statutory Definitions and Burden of Persuasion.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Adam Z. Wyner	From the Language of Legislation to Executable Logic Programs.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Michal Araszkiewicz, Krzysztof Pleszka	The Concept of Normative Consequence and Legislative Discourse.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Tomasz Pelech-Pilichowski, Wojciech Cyrul	Computer-Aided Legislation Based on Immune-Like Processing of Legal Texts.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Jaap Hage	The (Onto)logical Structure of Law: A Conceptual Toolkit for Legislators.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Nitin B. Bilgi	A Rule-Based Graphical Decision Charting Approach to Legal Knowledge Based System.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Henry Prakken	Formalising Debates About Law-Making Proposals as Practical Reasoning.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Urszula Kosielinska-Grabowska, Andrzej Grabowski	Logic and the Directives of Legislative Technique: Some Logical Remarks on the Polish "Principles of Legislative Technique".	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Guido Governatori, Antonino Rotolo	Logics for Legal Dynamics.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Pablo E. Navarro, Jorge L. Rodríguez	Entailed Norms and the Systematization of Law.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Lars Lindahl, David Reidhav	Conflict of Legal Norms: Definition and Varieties.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Juliano S. A. Maranhão	Conservative Coherentist Closure of Legal Systems.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Jaromír Savelka, Jakub Harasta	Open Texture in Law, Legal Certainty and Logical Analysis of Natural Language.	Logic in the Theory and Practice of Lawmaking	2015	DBLP DOI BibTeX RDF
20	Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael P. Fourman (eds.)	In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Grigoris Karvounarakis, Irini Fundulaki, Vassilis Christophides	Provenance for Linked Data.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Martin Grohe	Bounds and Algorithms for Joins via Fractional Edge Covers.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Wenfei Fan, Floris Geerts, Shuai Ma 0001, Nan Tang 0001, Wenyuan Yu	Data Quality Problems beyond Consistency and Deduplication.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Boris Glavic, Renée J. Miller, Gustavo Alonso	Using SQL for Efficient Generation and Querying of Provenance Information.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Val Tannen	Provenance Propagation in Complex Queries.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Daniel N. Osherson, Scott Weinstein	Modal Logic for Preference Based on Reasons.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Magdalena Balazinska, Bill Howe, Paraschos Koutris, Dan Suciu, Prasang Upadhyaya	A Discussion on Pricing Relational Data.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Bogdan Alexe, Douglas Burdick, Mauricio A. Hernández, Georgia Koutrika, Rajasekar Krishnamurthy, Lucian Popa 0001, Ioana Stanoi, Ryan Wisnesky	High-Level Rules for Integration and Analysis of Data: New Challenges.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Hassan Aït-Kaci	An Abstract, Reusable, and Extensible Programming Language Design Architecture.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Amélie Gheerbrant, Leonid Libkin, Juan L. Reutter	Static Analysis and Query Answering for Incomplete Data Trees with Constraints.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Jan Van den Bussche, Stijn Vansummeren	Well-Defined NRC Queries Can Be Typed - (Extended Abstract).	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	David W. Archer, Lois M. L. Delcambre, David Maier 0001	User Trust and Judgments in a Curated Database with Explicit Provenance.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Limsoon Wong	The Dichotomous Intensional Expressive Power of the Nested Relational Calculus with Powerset.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Sven Köhler 0003, Bertram Ludäscher, Daniel Zinn	First-Order Provenance Games.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Keishi Tajima	Schemaless Semistructured Data Revisited - - Reinventing Peter Buneman's Deterministic Semistructured Data Model -.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Carmem Satie Hara, Cristina Dutra de Aguiar Ciferri, Ricardo Rodrigues Ciferri	Incremental Data Fusion Based on Provenance Information.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Andrea Calì, Georg Gottlob, Andreas Pieris	Tractable Reasoning in Description Logics with Functionality Constraints.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Atsushi Ohori	Record Polymorphism: Its Development and Applications.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Bogdan Alexe, Wang-Chiew Tan	A New Framework for Designing Schema Mappings.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Jing Zhang 0087, H. V. Jagadish	Provenance in a Modifiable Data Set.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Stratis Viglas	Nine Years with Peter Buneman.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Michael P. Fourman	Hitting Buneman Circles.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Serge Abiteboul, Victor Vianu	Models for Data-Centric Workflows.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Gordon D. Plotkin	A Calculus of Chemical Systems.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Susan B. Davidson, Sanjeev Khanna, Tova Milo	To Show or Not to Show in Workflow Provenance.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Rishiyur S. Nikhil	Types, Functional Programming and Atomic Transactions in Hardware Design.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	James Cheney, Umut A. Acar, Roly Perera	Toward a Theory of Self-explaining Computation.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Alin Deutsch, Richard Hull 0001	Provenance-Directed Chase&Backchase.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Samson Abramsky	Relational Databases and Bell's Theorem.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Natalia Kwasnikowska, Jan Van den Bussche	Querying an Integrated Complex-Object Dataflow Database.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Floris Geerts, Anastasios Kementsietsidis, Heiko Müller 0001	Looking at the World Thru Colored Glasses.	In Search of Elegance in the Theory and Practice of Computation	2013	DBLP DOI BibTeX RDF
20	Scott A. Lathrop, Jim Costa, William Kramer 0001 (eds.)	Conference on High Performance Computing Networking, Storage and Analysis - State of the Practice Reports, SC 2011, Seattle, Washington, USA, November 12-18, 2011	SC State of the Practice Reports	2011	DBLP DOI BibTeX RDF
20	Hongbo Li 0012, Lixian Zhang	Line Geometry in Terms of the Null Geometric Algebra over ℝ3, 3, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
20	Leo Dorst	Tutorial Appendix: Structure Preserving Representation of Euclidean Motions Through Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
20	Robert Valkenburg, Leo Dorst	Estimating Motors from a Variety of Geometric Data in 3D Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
20	Ron Goldman 0002	A Homogeneous Model for Three-Dimensional Computer Graphics Based on the Clifford Algebra for ℝ3.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
20	José Mennesson, Christophe Saint-Jean, Laurent Mascarilla	Color Object Recognition Based on a Clifford Fourier Transform.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
20	David Hestenes	The Shape of Differential Geometry in Geometric Calculus.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
20	Glen Mullineux, Leon Simpson	Rigid-Body Transforms Using Symbolic Infinitesimals.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF