Yudkowsky, Eliezer. 2008. Artificial intelligence as a positive and negative factor in global risk.

From March 15th to August 31st 200, I attended a research internship within the Comuter Science and Artificial Intelligence Laboratory at the Massachusetts Institute of Technology under the supervision of Nancy Lynch. Within her group, the Theory of Distributed Systems Group, I worked on the Tempo Toolset develloped by Veromod Inc. and on six examples for the Tempo Toolset User Guide and Refere...

Luis A. Martinez-Vaquero 2 and José A. Cuesta 3 Grupo Interdisciplinar de Sistemas Complejos (GISC), Departamento de Matemáticas, Universidad Carlos III de Madrid, 28911 Leganés, Madrid, Spain Current address: Artificial Intelligence Lab, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium Instituto de Biocomputación y F́ısica de Sistemas Complejos (BIFI), Universidad de Zaragoza, 50...

Implantable cardiac pacemakers restore normal heart rhythm by delivering external electrical pacing to the heart. The pacemaker software is life-critical as the timing of the pulses determine its ability to control the heart rate. Recalls due to software issues have been on the rise with the increasing complexity of pacing algorithms. Open-loop testing remains the primary approach to evaluate t...

Traces ................................................................................................... 170