Following FLINS '94, the 1st International workshop on fuzzy logic and intelligent technologies in nuclear science, FLINS '96 aimed to introduce the principles of intelligent systems and soft computing, such as fuzzy logic, neural networks, genetic algorithms (and any combination of these three), knowledge-based expert systems and complex problem-solving techniques, in nuclear science and industry and in related fields. This volume presents carefully selected papers drawn from more than 20 countries. It covers theoretical aspects of intelligent systems and soft computing, together with their applications in nuclear science and industry. Contents:Fuzzy Algorithmic and Knowledge-Based Decision Support in Nuclear Engineering(H-J Zimmermann)Problem-Solving with Multiple Interdependent Criteria: Better Solutions to Complex Problems (C Carlsson & R Fullér)Functional Modelling for Integration of Human–Software–Hardware in Complex Physical Systems (M Modarres)Applying the Transferable Belief Model to Diagnostic Problems (P Smets)Application of Fuzzy Decision Making to Countermeasure Strategies After a Nuclear Accident (X Liu & D Ruan)A Fuzzy Control Algorithm for a Mobile Robot to Move Pass Obstacles (B-S Moon & J Lee)Experiments of Fuzzy Logic Control on a Nuclear Research Reactor (Z Liu & D Ruan)Intelligent Engineering and Technology for Nuclear Power Plant Operation (P P Wang & X L Gu)Improved Method for Incipient Multiple Fault Diagnosis with Application to Nuclear Power Plant (H-Y Chung et al)A Fuzzy Controller for NPPs (G H Schildt)Expert Environment for the Development of Nuclear Power Plants Failure Diagnosis Systems (P N Guido et al)Integrating Information in a Real-Time Data Visualization System on Nuclear Power Plant (E G Galdoz et al)and other papers Readership: Scientists and researchers in artificial intelligence, neural networks, fuzzy logic, robotics, software engineering, nuclear engineering, industrial chemistry, nuclear physics, mathematical physics, and applied mathematics. keywords:

Science, engineering, and technology permeate nearly every facet of modern life and hold the key to solving many of humanity's most pressing current and future challenges. The United States' position in the global economy is declining, in part because U.S. workers lack fundamental knowledge in these fields. To address the critical issues of U.S. competitiveness and to better prepare the workforce, A Framework for K-12 Science Education proposes a new approach to K-12 science education that will capture students' interest and provide them with the necessary foundational knowledge in the field. A Framework for K-12 Science Education outlines a broad set of expectations for students in science and engineering in grades K-12. These expectations will inform the development of new standards for K-12 science education and, subsequently, revisions to curriculum, instruction, assessment, and professional development for educators. This book identifies three dimensions that convey the core ideas and practices around which science and engineering education in these grades should be built. These three dimensions are: crosscutting concepts that unify the study of science through their common application across science and engineering; scientific and engineering practices; and disciplinary core ideas in the physical sciences, life sciences, and earth and space sciences and for engineering, technology, and the applications of science. The overarching goal is for all high school graduates to have sufficient knowledge of science and engineering to engage in public discussions on science-related issues, be careful consumers of scientific and technical information, and enter the careers of their choice. A Framework for K-12 Science Education is the first step in a process that can inform state-level decisions and achieve a research-grounded basis for improving science instruction and learning across the country. The book will guide standards developers, teachers, curriculum designers, assessment developers, state and district science administrators, and educators who teach science in informal environments.

Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

The 6th FTRA International Conference on Computer Science and its Applications (CSA-14) will be held in Guam, USA, Dec. 17 - 19, 2014. CSA-14 presents a comprehensive conference focused on the various aspects of advances in engineering systems in computer science, and applications, including ubiquitous computing, U-Health care system, Big Data, UI/UX for human-centric computing, Computing Service, Bioinformatics and Bio-Inspired Computing and will show recent advances on various aspects of computing technology, Ubiquitous Computing Services and its application.