Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
711	Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗ Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:47:48 Mathematics Formal methods Formal languages Programming language semantics Memory barrier Abstract interpretation Operational semantics Abstraction Formal verification Theoretical computer science Logic in computer science Applied mathematics
712	1 Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-06-04 09:57:06 Software engineering Computing Abstraction Deterministic finite automaton Abstract interpretation Nondeterministic finite automaton Finite-state machine Automata theory Models of computation Computer science
713	ON SIMPLICITY (introduction) Text by Marialaura Ghidini Law 1: Reduce The simplest way to achieve simplicity is through thoughtful reduction. John Maeda, Laws of Simplicity, MIT Press; 2006 Add to Reading List Source URL: www.or-bits.com Language: English - Date: 2012-11-26 18:11:24 Music Simple living Krautrock Simplicity Kraftwerk Minimalism Complexity Reduction John Maeda Abstraction Culture Modern art
714	Manifesto Ibridi A4 (EN Add to Reading List Source URL: manifestoibridi.org Language: English - Date: 2012-10-15 19:50:59 Abstraction Complexity Holism Transdisciplinarity Culture Structure Ethology Systems Science Complex systems theory
715	July 2014 Advanced Placement® Computer Science Principles Pilot Instructional Template Draft Samples Add to Reading List Source URL: apcsprinciples.org Language: English - Date: 2014-09-04 08:57:29 Evaluation Evaluation methods Thought Abstraction Formative assessment Summative assessment E-learning Instructional design Differentiated instruction Education Educational psychology Pedagogy
716	Using a multi-scale model for simulating pedestrian behavior Angelika Kneidl, Dirk Hartmann, André Borrmann {kneidl,andre.borrmann}@ tum.de Technische Universität München, Munich, Germany Sie Add to Reading List Source URL: www.cms.bgu.tum.de Language: English - Date: 2014-12-18 07:58:45 Agent-based model Cellular automaton Graph Mathematics Science Abstraction Scientific modeling Operations research Simulation
717	DISS. ETH NOOPTIMAL CONSUMPTION AND INVESTMENT WITH POWER UTILITY A dissertation submitted to Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2011-07-12 11:26:33 Equations Mathematical optimization Halil Mete Soner Cybernetics Academia Abstraction Dynamic programming Bellman equation Control theory
718	Abstraction-Guided Synthesis of Synchronization Martin Vechev Eran Yahav Greta Yorsh Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-11-12 20:41:49 Function Abstraction Mereology Valuation Mathematics Mathematical logic Abstract interpretation
719	Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder Vienna University of Technology (TU Wien) Abstract—We introduce an Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:55 Abstraction Data management FO Model checking Abstract interpretation Function Interpretation Mathematics Mathematical logic Theoretical computer science
720	Tania Sen 1 Debby Lane, Warren, NJPhone: Email: , , SCHOOL OF VISUAL ARTS, PRINT MAKING DEPT. Relevant Urls: Add to Reading List Source URL: www.agnj.org Language: English - Date: 2014-05-05 10:41:45 Visual arts Abstraction American art Abstract art Tania

UPDATE