StatVerif: Verification of Stateful Processes Myrto Arapinis Joshua Phillips Eike Ritter Mark D. Ryan {m.d.arapinis, e.ritter, j.phillips, m.d.ryan}@cs.bham.ac.uk School of Computer Science, University of Birmingham, UK

Source URL: www.cs.bham.ac.uk

Why Learning Has Aha-Moments and Why We Should Also Reward Effort, Not Just Results Gerardo Uranga1 , Vladik Kreinovich1 , and Olga Kosheleva2 Departments of 1 Computer Science and 2 Teacher Education University of Texa

Source URL: www.cs.utep.edu

PHYSICAL REVIEW E 71, 036150 共2005兲 Cooperative dynamics in a network of stochastic elements with delayed feedback D. Huber and L. S. Tsimring Institute for Nonlinear Science, University of California, San Diego, La

Source URL: biocircuits.ucsd.edu

Autonomous Quadrotor for the 2013 International Aerial Robotics Competition Isaac Olson B.S.E. Aerospace Engineering 2014 Jonathan Bendes B.S.E. Computer Science, 2013

Source URL: www.aerialroboticscompetition.org

RE S EAR CH | R E P O R T S CLIMATE CHANGE Accelerating extinction risk from climate change

Source URL: science.sciencemag.org

The Bible Code – Data Mining for God David E. Thomas New Mexicans for Science and Reason P.O. Box 1017, Peralta, NMUSA

Source URL: www.nmsr.org

DRE-ip: A Verifiable E-Voting Scheme without Tallying Authorities? Siamak F. Shahandashti and Feng Hao School of Computing Science, Newcastle University, UK {siamak.shahandashti,feng.hao}@ncl.ac.uk

Source URL: eprint.iacr.org

• Voting
• Politics
• Electronic voting
• Election technology
• Electoral fraud
• Punchscan
• Scantegrity
• Voting machine
• Ballot
• Bingo voting
• End-to-end auditable voting systems
• Voter-verified paper audit trail

Cognitive Science–498 Copyright  2010 Cognitive Science Society, Inc. All rights reserved. ISSN: printonline DOI: j01158.x Cross-Situational Learning: An E

Source URL: www.lel.ed.ac.uk

Dynamic Distance Minimization Problems for dynamic Multi-objective Optimization Heiner Zille, Andr´e Kottenhahn and Sanaz Mostaghim Faculty of Computer Science, Otto von Guericke University Magdeburg, Germany Email: {he

Source URL: www.is.ovgu.de

Summer C 2014 Life Science for Educators, 1 of 5 ENY 3007c/5160c Life Science for Educators, Summer C 2014 Instructor: Dr. Jennifer Hamel Office: ENY 2007 E-mail: Please email me through Canvas!

Source URL: entomology.ifas.ufl.edu