46 Genome Informatics 15(1): 46–Collective Phenomena in Intracellular Processes Erwin Frey1

Source URL: www.jsbi.org

• Cytoskeleton
• Motor proteins
• Molecular machines
• Microtubule
• Kinesin
• Tubulin
• Actin
• Spindle apparatus
• Molecular motor
• Dynein
• Intracellular transport
• Chemical kinetics

Sharp C# InnoScan is looking for a Software Engineer or Computer Scientist for the development of software for high tech inspection machines for the pharmaceutical industry. You will be part of a young software team cons

Source URL: www.innoscan.dk

Personal Automation: Living Inside the Robot Typically when we use the word robots we imagine relatively self-contained machines that can move themselves within an environment. This white paper is about another class of

Source URL: 1300wmo0d0jrtq6718e72xnuc.wpengine.netdna-cdn.com

Encouraging reactivity to create robust machines Joel Lehman, Sebastian Risi, David D’Ambrosio, and Kenneth O. Stanley To Appear In: Adaptive Behavior journal. London: SAGE, Abstract

Source URL: eplex.cs.ucf.edu

• Evolutionary algorithms
• Artificial neural networks
• Evolutionary computation
• Artificial intelligence
• Genetic algorithms
• Applied mathematics
• Machine learning
• Neuroevolution
• HyperNEAT
• Compositional pattern-producing network
• Robotics
• Evolutionary robotics

1 Efficient Distribution of Virtual Machines for Cloud Computing Matthias Schmidt, Niels Fallenbeck, Matthew Smith, Bernd Freisleben Department of Mathematics and Computer Science, University of Marburg

Source URL: www.dcsec.uni-hannover.de

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit

Commodifying Replicated State Machines with OpenReplica Deniz Altınb¨uken, Emin G¨un Sirer Computer Science Department, Cornell University {deniz,egs}@cs.cornell.edu Draft: Not for Redistribution Abstract

Source URL: openreplica.org

ACADEMIA ROMÂNĂ ERRARE 2015: Errors by Humans and Machines in multimedia, multimodal and multilingual data processing În perioadaseptembrie, Academia Română, prin Institutul de Cercetări pentru Inteligenţă

Source URL: www.academiaromana.ro

Multi-core Parallelization of Abstracted Abstract Machines ∗ Leif Andersen Matthew Might University of Utah

Source URL: leifandersen.net

Noisy Turing Machines Eugene Asarin1 and Pieter Collins2 1 2

Source URL: www.liafa.jussieu.fr