Index of Conference Proceedings


Book Description




Modular Programming Languages


Book Description

Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH Zuric ̈ h as a successor of Pascal. For more than a decade, the conference has wandered through Europe, passing Bled,Slovenia,in1987,Loughborough,UK,in1990,Ulm,Germany,in1994,and Linz, Austria, in 1997. Now, at the beginning of the new millennium, it is back at its roots in Zuric ̈ h, Switzerland. While traveling through space and time, the conference has mutated. It has widened its scope and changed its name to Joint Modular Languages Conference (JMLC). With an invariant focus, though, on modularsoftwareconstructioninteaching,research,and“outthere”inindustry. This topic has never been more important than today, ironically not because of insu?cient language support but, quite on the contrary, due to a truly c- fusing variety of modular concepts o?ered by modern languages: modules, pa- ages, classes, and components, the newest and still controversial trend. “The recent notion of component is still very vaguely de?ned, so vaguely, in fact, that it almost seems advisable to ignore it.” (Wirth in his article “Records, Modules, Objects, Classes, Components” in honor of Hoare’s retirement in 1999). Clar- cation is needed.




Safety and Reliability of Complex Engineered Systems


Book Description

Safety and Reliability of Complex Engineered Systems contains the Proceedings of the 25th European Safety and Reliability Conference, ESREL 2015, held 7-10 September 2015 in Zurich, Switzerland. Including 570 papers on theories and methods in the area of risk, safety and reliability, and their applications to a wide range of industrial, civil and social sectors, this book will be of interest to academics and professionals involved or interested in aspect of risk, safety and reliability in various engineering areas.




5th International Conference on Biomedical Engineering in Vietnam


Book Description

This volume presents the proceedings of the Fifth International Conference on the Development of Biomedical Engineering in Vietnam which was held from June 16-18, 2014 in Ho Chi Minh City. The volume reflects the progress of Biomedical Engineering and discusses problems and solutions. I aims identifying new challenges, and shaping future directions for research in biomedical engineering fields including medical instrumentation, bioinformatics, biomechanics, medical imaging, drug delivery therapy, regenerative medicine and entrepreneurship in medical devices.







Microsystems Mechanical Design


Book Description

This book introduces the basic tools used in the mechanical design of microsystems, the fabrication methods for these systems, and several applications of this technology. The links between micro- and nanotechnologies are also discussed and light is shed on the potential applications of microsystems to nano-scale manipulation of matter. The book is a systematic, updated and quite complete treatise of its subject.




Probabilistic Inductive Logic Programming


Book Description

This book provides an introduction to probabilistic inductive logic programming. It places emphasis on the methods based on logic programming principles and covers formalisms and systems, implementations and applications, as well as theory.