Abstraction - PDFSEARCH.IO - Document Search Engine

Abstraction
Results: 2720

#	Item
721	SMT and POR beat Counter Abstraction: Parameterized Model Checking of Threshold-Based Distributed Algorithms? Igor Konnov, Helmut Veith, and Josef Widder * Consi Add to Reading List Source URL: forsyte.at Language: English - Date: 2015-05-23 04:55:09 Probability theory Metalogic Model theory Automata theory
722	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: www.yorku.ca Language: English - Date: 2012-02-27 16:51:14 Imagination Psychology Daydream Intrapersonal communication Personal life Fantasy Maladaptive daydreaming Dream Hypnosis Mental health Mind Abstraction
723	Robert Garskamp Founder IDentity.Next IDnext association is an open and independent platform to support and facilitate innovative approaches in the world of the Digital identity, create awareness about the Digital Identi Add to Reading List Source URL: www.trustindigitallife.eu Language: English - Date: 2015-03-19 08:38:22 Federated identity Abstraction Identity Digital identity Digital technology
724	Multi-Core Emptiness Checking of Timed B¨ uchi ∗ Automata using Inclusion Abstraction Alfons Laarman1 , Mads Chr. Olesen2 , Andreas Dalsgaard2 , Kim G. Larsen2 , and Jaco van de Pol1 Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2013-06-13 05:44:50 Models of computation Deduction Entailment Logical consequence Metalogic S0 Cyan Advanced Configuration and Power Interface Finite-state machine Color Logic Automata theory
725	[Pell, 1993] Barney Pell. Strategy Generation and Evaluation for Meta GamePlaying. PhD thesis, Computer Laboratory, University of Cambridge, 1993. Forthcoming. [Russell and Wefald, 1992] Stuart Russell and Eric Wefald. D Add to Reading List Source URL: www.barneypell.com Language: English - Date: 2009-12-15 09:27:32 Computing Abstract interpretation Prolog Model theory Patrick Cousot Logic programming Interpretation Abstract object Game theory Software engineering Programming language theory Abstraction
726	Physica D–108 Stability of solitary waves for nonlinear Schrödinger equations with inhomogeneous nonlinearities Gadi Fibich a , Xiao-Ping Wang b,∗ a Add to Reading List Source URL: www.math.ust.hk Language: English - Date: 2003-09-16 09:22:38 Sobolev spaces Linear temporal logic Abstraction Partial differential equations Equations Schrödinger equation
727	GREGORY CHAITIN1 CONCEPTUAL COMPLEXITY AND ALGORITHMIC INFORMATION2 1. Introduction Add to Reading List Source URL: www.cs.umaine.edu Language: English - Date: 2015-05-21 14:47:00 Evolutionary biology Complex systems theory Abstraction Complexity Holism Transdisciplinarity Algorithmic information theory Gregory Chaitin Ray Solomonoff Science Mathematics Applied mathematics
728	Keeping a Crowd Safe: On the Complexity of Parameterized Verification Monday, March 2nd, :00am Auditorium 106 at New IIS Building Add to Reading List Source URL: www.iis.sinica.edu.tw Language: English - Date: 2015-01-08 03:33:45 Complex systems theory Complexity Holism Systems Transdisciplinarity Computer science Communications protocol Science Data Information Abstraction
729	A Non-Blocking Reference Listing Algorithm for Mobile Active Object Garbage Collection Wei-Jen Wang and Carlos A. Varela Department of Computer Science, RPI Automatic garbage collection (GC) gives abstraction to distribu Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:32:43 Inter-process communication Data transmission Distributed computing architecture Message passing Actor model Garbage collection Reference counting Transmission Control Protocol Communications protocol Computing Memory management Concurrent computing
730	Refining abstraction heuristics with mutexes Bachelor thesis Natural Science Faculty of the University of Basel Department of Computer Science Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Heuristics Theoretical computer science Operations research Abstraction Search algorithm Shortest path problem Algorithm Lambda calculus Mathematical optimization Mathematics Applied mathematics Problem solving

UPDATE