Faculty of Physics and Astronomy University of Heidelberg Diploma thesis in Physics submitted by Stefan Weis born in Heilbronn November 2007 Setup of a Laser System for Ultracold Sodium Towards a Degenerate Gas of Ultracold Fermions This diploma thesis has been carried out by Stefan Weis at the Kirchhoff Institute for Physics under the supervision of Prof Dr M K Oberthaler Aufbau eines Natrium Lasersystems zur Erzeugung ultrakalter entarteter
x x University of Amsterdam Laboratoire Kastler Brossel Laboratoire Kastler Brossel Ecole Normale Sup rieur Master Thesis in Physics Towards Critical Rotation of an atomic Bose gas Author Benno S REM Supervisors Dr Kenneth J GUNTER Prof Dr Jean DALIBARD Dr Robert SPREEUW August 19 2010 ii Abstract This thesis provides a theoretical basis for shaping and rotat ing cold Bose gases with a modulated Time averaged Orbiting Potentia
Static Typing amp JavaScript Libraries Towards a More Considerate Relationship Benjamin Canou LIP6 UMR 7606 Universit Pierre et Marie Curie Sorbonne Universit s 4 place Jussieu 75005 Paris France Benjamin Canou lip6 fr Emmanuel Chailloux LIP6 UMR 7606 Universit Pierre et Marie Curie Sorbonne Universit s 4 place Jussieu 75005 Paris France Emmanuel Chailloux lip6 fr Vincent Botbol Universit Pierre et Marie Curie Sorbonne Universit s 4 place Jussie
Towards Good Web Conferencing System Design for Ubi Media Collaboration Bin Yu Yong Rui Microsoft Research One Microsoft Way Redmond WA 98052 U S A t binyu yongrui microsoft com ABSTRACT Media data and documents are becoming ubiquitous in the past decade across time zones and across organization boundaries Web conferencing systems emerged as effective tools for people to communicate and collaborate These systems combine multiple distributed applications to
Towards formal testing of jet engine Rolls Royce BR725 Greg Holland Temesghen Kahsai Markus Roggenbach Bernd Holger Schlingloff 1 Rolls Royce Plc Derby UK 2 Department of Computer Science Swansea University UK 3 Humboldt University Berlin Fraunhofer FIRST Germany Abstract The Rolls Royce BR725 is a newly designed jet engine for ultra long range and high speed business jets In this paper we apply our theory of formal testing to the starting system of the Ro
chi med making medical devices safer EPSRC Programme Grant EP G059063 1 Public Paper no 19 Towards Dependable Number Entry for Medical Devices Abigail Cauchi Paul Curzon Parisa Eslambolchilar Andy Gimblett Huayi Huang Paul Lee Yungiu Li Paolo Masci Patrick Oladimeji Rimvydas Ruksenas amp Harold Thimbleby Proceedings of EICS4Med First International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care PP release date
CHALMERS Driver s Preference Towards In Vehicle 3D Sound Driving Assistance System Master of Science Thesis in the Programme Interaction Design DONG SUN Department of Applied Information Technology CHALMERS UNIVERSITY OF TECHNOLOGY Gothenburg Sweden 2012 Report No 2012 090 ISSN 1651 4769 CHALMERS UNIVERSITY OF TECHNOLOGY Driver s Preference Towards In Vehicle 3D Sound Driving Assistance System Dong Sun Report No 2012 090 ISSN 1651 4769 DON
Towards Router Specification in Curry The Language ROSE J Guadalupe Ramos Josep Silva and German Vidal 1 Instituto Tecnol gico de La Piedad Av Tecnol gico 2000 Meseta los Laureles La Piedad Mich M xico guadalupe dsic upv es 2 DSIC UPV Camino de Vera s n E 46022 Valencia Spain jsilva gvidal dsic upv es Abstract The development of modern routers require a significant effort to be designed built and verified While hardware routers are faster they a
Replace this file with prentcsmacro sty for your meeting or with entcsmacro sty for your meeting Both can be found at the ENTCS Macro Home Page Towards a unifying CSP approach for hierarchical verification of asynchronous hardware X Wang M Kwiatkowska G Theodoropoulos Q Zhang School of Computer Science University of Birmingham Edgbaston Birmingham B15 2TT UK Abstract Formal verification is increasingly important in asynchronous circuit design since the lack
Towards an Ontology and Metadata Structure for a Distributed Information System for Coastal Zone Management by Pubudu C Wariyapola B A Physics 1994 Franklin and Marshall College Lancaster PA M S Electrical Engineering 1995 University of Rochester Rochester NY Submitted to the Department of Ocean Engineering in partial fulfillment of the requirements for the degree of Master of Science in Ocean Engineering at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY September
Towards Side Channel Resistant Implementations of QC MDPC McEliece Encryption on Constrained Devices Ingo von Maurich and Tim Giineysu Horst G rtz Institute for IT Security Ruhr University Bochum Germany ingo vonmaurich tim gueneysu rub de Abstract Recent advances in code based cryptography paved new ways for efficient asymmetric cryptosystems that combine decent performance with moderate key sizes In this context Misoczki et al recently proposed the use of quasi cy
Towards Acquiring Case Indexing Taxonomies From Text Kalyan Moy Gupta and David W Aha gt ITT Industries AES Division Alexandria VA 22303 Navy Center for Applied Research in Artificial Intelligence Naval Research Laboratory Code 5515 Washington DC 20375 surname aic nrl navy mil Abstract Taxonomic case based reasoning is a conversational case based reasoning methodology that employs feature subsumption taxonomies for incremental case retrieval Although t
Static Typing amp JavaScript Libraries Towards a More Considerate Relationship Benjamin Canou LIP6 UMR 7606 Universit Pierre et Marie Curie Sorbonne Universit s 4 place Jussieu 75005 Paris France Benjamin Canou lip6 fr Emmanuel Chailloux LIP6 UMR 7606 Universit Pierre et Marie Curie Sorbonne Universit s 4 place Jussieu 75005 Paris France Emmanuel Chailloux lip6 fr Vincent Botbol Universit Pierre et Marie Curie Sorbonne Universit s 4 place Jussie
Towards developing secure video surveillance systems over IP Bogdan Groza Ioan Silea Politehnica University of Timisoara Faculty of Automatics and Computers Timisoara Romania bogdan groza aut upt ro 1oan silea aut upt ro Dragos Pop Continental Corporation Infotainment and Interpersonal Department Timisoara Romania dragos pop continental corporation com Victor Valeriu Patriciu Military Technical Academy Department of Computer Engineering Bucharest Romania vip
GUI DP Summary of evaluations of user experience and functionality offered in tranSMART1 1 towards development of a new UI and identification of additional functionality Mansoor Saqi February 26 2014 Abstract This document describes tests and evaluations carried out with transmart1 1 hosted at http public transmart etriks org The two main areas discussed are i the user interface ii functionality We assess the current user interface and categorise the proble
PhD Dissertation International Doctorate School in Information and Communication Technologies DIT University of Trento MOBILE LEARNING WIRELESS AND MOBILE TECHNOLOGIES IN EDUCATION TOWARDS HOARDING CONTENT IN M LEARNING CONTEXT Anna Trifonova Advisor Thesis Committee Prof Marco Ronchetti Prof Marco Ronchetti Universita degli Studi di Trento Universita degli Studi di Trento IT Prof Mike Sharples University of Nottingham UK Prof Kinshuk Massey
ISSN 2239 012X Studia graeco arabica Studia graeco arabica ZETO With the support of the European Research Counci e e Eza Studia graeco arabica The Journal of the Project Greek into Arabic Philosophical Concepts and Linguistic Bridges European Research Council Advanced Grant 249431 2013 e 9 amp E E RRA Published by ERC Greek into Arabic Philosophical Concepts and Linguistic Bridges European Research Council Advanced Grant 249431 Adviso
User Interface Model Discovery Towards a Generic Approach Andy Gimblett Future Interaction Technology Lab Swansea University a m gimblett swansea ac uk ABSTRACT UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system s state space simulating the actions of a user such models are then amenable to automatic analy sis targetting structural usability concerns This paper spec ifies
Towards Hardware Support for Common Sensor Processing Tasks Adwait Gupte Department of Electrical amp Computer Engineering Iowa State University Ames USA adwait 1astate edu Abstract Sensor processing is a common task within many embedded system domains such as in control systems sensor feedback used for actuator control etc In this paper we have surveyed several embedded system domains and extracted kernels of computation that are common across ap plications within