How to Make Sense of Quantum Mechanics (and More): Fundamental Physical Theories and Primitive Ontology Valia Allori1 Abstract

Source URL: www.niu.edu

Improved algorithms for solving bivariate systems via Rational Univariate Representations Yacine Bouzidi, Sylvain Lazard, Guillaume Moroz, Marc Pouget, Fabrice Rouillier, Michael Sagraloff To cite this version:

Source URL: people.mpi-inf.mpg.de

• Mathematics
• Algebra
• Polynomials
• Computer algebra
• Resultant
• Polynomial
• Factorization
• Primitive part and content
• Greatest common divisor
• Irreducible polynomial
• Sylvester matrix
• Polynomial greatest common divisor

Primitive Ontology in a Nutshell Valia Allori1 Abstract The aim of this paper is to summarize a particular approach of doing metaphysics through physics - the primitive ontology approach. The idea is that any fundamental

Source URL: www.niu.edu

The Emergence of a Networking Primitive in Wireless Sensor Networks Philip Levis, Eric Brewer, David Culler, David Gay, Sam Madden, Neil Patel, Joe Polastre, Scott Shenker, Robert Szewczyk, and Alec Woo Abstract The wire

Source URL: sing.stanford.edu

Primitive Ontology in a Nutshell Valia Allori1 Abstract The aim of this paper is to summarize a particular approach of doing metaphysics through physics - the primitive ontology approach. The idea is that any fundamental

Source URL: www.niu.edu

Tight Bounds for Active Self-Assembly Using an Insertion Primitive ? Caleb Malchik, Andrew Winslow Tufts University, Medford, MA 02155, USA. ,

Source URL: www.eecs.tufts.edu

Learning Movement Primitive Attractor Goals and Sequential Skills from Kinesthetic Demonstrations Simon Manschitza,b,∗, Jens Koberc , Michael Giengerb , Jan Petersa,d a Institute for Intelligent Autonomous Systems, Tec

Source URL: www.ausy.tu-darmstadt.de

igpp.docgen tool Last update: May 10, 2012; Author: Todd King Introduction The igpp.docgen executable jar is a set of tools to parse structured information (metadata) and merge the information with an Apache Velocity tem

Source URL: release.igpp.ucla.edu

• Computing
• Software engineering
• Computer programming
• Data types
• Cross-platform software
• Object-oriented programming languages
• Java platform
• Primitive types
• Java class file
• Java
• C++ classes
• Pointer

Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f

Source URL: www.cs.princeton.edu

• Software engineering
• Programming language theory
• Theoretical computer science
• C++
• Logic in computer science
• Proof assistants
• Data types
• SHA-2
• Formal verification
• Separation logic
• Coq
• Functional programming

Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Source URL: software.imdea.org

• Data types
• Transaction processing
• Type theory
• Concurrency control
• Consistency model
• Eventual consistency
• Denotational semantics
• Extensible Storage Engine
• Primitive data type
• Parallel computing
• Type system
• Causal consistency