الصفحة 4
الصفحة 4
Solar-Type Activity in Main-Sequence Stars
In this monograph observational results are summarized in a systematic and comprehensive fashion. The analysis of the various manifestations of such stellar activity leads to the identification of these phenomena with macroscopic non-linear processes in a magnetized plasma. Comparative study of flare stars and the Sun has become increasingly fruitful and is presently an active field of research involving stellar and solar physicists, experts in plasma physics and high-energy astrophysicists. This book will provide them with both an introduction and overview of observational results from the first optical photometry and spectroscopy, from the satellite telescopes International Ultraviolet Explorer to Hubble Space Telescope, XMM-Newton and Chandra, as well as with the present physical interpretation of solar-type activity in main sequence stars. Gershberg's 40-year career studying UV Cet type stars and related objects enables him to provide readers with expert insight into the characteristics of such stars in both the quiescent state and during flares and the reliability of the data over the electromagnetic spectrum and wide temporal scales.
Solar Cooling Handbook : A Guide to Solar Assisted Cooling and Dehumidification Processes
Provides an overview on the various solutions to convert solar heat into useful cooling, reports about experiences made with realized installations and gives support in the design process. Its use will strongly contribute to achieve high quality solar cooling systems which provide significant energy savings and fulfil the user’s requirements in a safe and reliable way. Handbook for the design of solar assisted air-conditioning systems. With detailed specifications for practitioners
Software Verification and Validation : An Engineering and Scientific Approach
Software Verification and Validation: An Engineering and Scientific Approach, a professional book, fills the critical need for an in-depth technical reference providing the methods and techniques for building and maintaining confidence in many varieties of system software. The intent of this volume is to help develop reliable answers to such critical questions as: 1) Are we building the right software for the need? / 2) Are we building the software right?
Software Verification ; 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers
Constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, held in Los Angeles, CA, USA, in July 2020. Due to COVID-19 pandemic the conference was held virtually. The 13 papers presented in this volume were carefully reviewed and selected from 21 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. The conference was co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020).
Software Quality — ECSQ 2002 ; Quality Connection - 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002. Proceedings
We have selected two themes for this conference . Our ?rst theme, “production of attractive and reliable software at Internet speed” sums up the dilemma many software organisations face. In order to be competitive, software should contain advanced features and run reliably – yet it should be developed quickly and cost e?ectively for the right market window. Finding the right balance between these objectives is a critical question that will determine business success in the years to come. Our second theme, “production of software with a dynamic partnership n- work” highlights the current trend of using partnerships and subcontractors as integral players in the software development process. Partnerships sometimes need to be created quickly to respond to a market opportunity, yet the costs and speed of cooperation must be competitive.
Software Process Improvement ; 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings
This book constitutes the refereed proceeding of the 14th European Software Process Improvement Conference, EuroSPI 2007, held in Potsdam, Germany, in September 2007. There is focus on SME issues, improvement analysis and empirical studies, new avenues of SPI, SPI methodologies, as well as testing and reliability.
Software for Exascale Computing - SPPEXA 2016-2019
This book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019.
Software Design for Resilient Computer Systems
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. With this second edition of Software Design for Resilient Computer Systems the book is thoroughly updated to contain the newest advice regarding software resilience. With additional chapters on computer system performance and system resilience, as well as online resources, the new edition is ideal for researchers and industry professionals.
Software and Data Technologies ; 1st International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, information systems and data management, as well as knowledge engineering.
Simulation, Modeling, and Programming for Autonomous Robots ; 1st International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings
The book address all current issues of robotics applications and simulation environments thereof, such as 3D robot simulation, reliability, scalability and validation of robot simulation, simulated sensors and actuators, offline simulation of robot design, online simulation with realtime constraints, simulation with software/hardware-in-the-loop, middleware for robotics, modeling framework for robots and environments, testing and validation of robot control software, standardization for robotic services, communication infrastructures in distributed robotics, interaction between sensor networks and robots, human robot interaction, and multirobot. The papers are organized in topical sections on simulation, programming, and applications.
Silverlight 2 Visual Essentials
Silverlight is a lightweight browser plug–in that frees your code from the traditional confines of the browser. It is a rules–changing, groundbreaking technology that allows you to run rich client applications right inside the browser. Even more impressively, it is able to host true .NET applications in non–Microsoft browsers (like Firefox) and on non–Microsoft platforms (like Mac OS X). Silverlight is evolving fast, and you need a reliable guidebook to make sense of it.
Silver Metallization : Stability and Reliability
Silver Metallization: Stability and Reliability provides detailed information on a wide range of experimental, characterization and analysis techniques. It also presents the novel approaches used to overcome the thermal and electrical stability issues associated with silver metallization.
Shock and Damage Models in Reliability Theory
Describes the reliability properties and maintenance policies associated with shock and damage models. The author is a leading researcher in this field with over thirty years’ experience. The book introduces stochastic processes before surveying current developments in shock and damage models. The reliability quantities of each model are explained and their optimization problems are discussed analytically. The maintenance policies of these models are explored in terms of maintenance theory and reliability theory and practical applications of all of these models are revealed with case studies.
Service-Oriented Computing ICSOC 2006 ; 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings
This book constitutes the workshops of the 4th International Conference on Service-Oriented Computing, ICSOC 2006, held in Chicago, IL, USA. Both ICSOC'06 workshops were held as one-day-workshops the day before the major conference program of ICSOC'06 started.
Service Availability ; 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings
Program Chairs’ Message th The 4 International Service Availability Symposium (ISAS 2007) continued with the tradition of its predecessors by bringing together researchers and practitioners from both academia and industry to address the problems of service availability. The unique characteristic of a strong academic and industrial partnership was vividly - flected in this year’s event, from the Organizing Committee to the contributions and the participants. Recognizing the value of broadening the scope of ISAS 2007, we included new topic areas that cover model-driven design and human factors. We received a total of 25 submissions, each of which was thoroughly reviewed by at least three members of the Program Committee. Due to the limited time allocated for the symposium, many worthwhile manuscripts unfortunately did not make it into the final program.
Semi-Markov Risk Models for Finance, Insurance and Reliability
This book presents applications of semi-Markov processes in finance, insurance and reliability, using real-life problems as examples. After a presentation of the main probabilistic tools necessary for understanding of the book, the authors show how to apply semi-Markov processes in finance, starting from the axiomatic definition and continuing eventually to the most advanced financial tools, particularly in insurance and in risk-and-ruin theories. Also considered are reliability problems that interact with credit risk theory in finance.
Semi-Markov Chains and Hidden Semi-Markov Models toward Applications : Their use in Reliability and DNA Analysis
This book is concerned with the estimation of discrete-time semi-Markov and hidden semi-Markov processes. Semi-Markov processes are much more general and better adapted to applications than the Markov ones because sojourn times in any state can be arbitrarily distributed, as opposed to the geometrically distributed sojourn time in the Markov case. Another unique feature of the book is the use of discrete time, especially useful in some specific applications where the time scale is intrinsically discrete. The models presented in the book are specifically adapted to reliability studies and DNA analysis.
Scientific engineering of distributed Java applications ; 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
The scope of the workshop included the following topics: – design of distributed applications – development methodologies for software and system engineering – UML-based development methodologies – development of reliable and secure distributed systems – component-based development methodologies – dependability support during system life cycle – fault tolerance re?nement, evolution and decomposition – atomicity and exception handling in system development – software architectures, frameworks and design patterns for developing d- tributed systems – integration of formal techniques in the development process – formal analysis and grounding of modelling notation and techniques (e. g. , UML, metamodelling) – supporting the security and dependability requirements of distributed app- cations in the development process – distributed software inspection – refactoring methods – industrial and academic case studies – development and analysis tools The organization of such a workshop represents an important amount of work.
Science of Societal Safety : Living at Times of Risks and Disasters
This book covers comprehensive but fundamental principles and concepts of disaster and accident prevention and mitigation, countermeasures, and recovery from disasters or accidents including treatment and care of the victims. Safety and security problems in our society involve not only engineering but also social, legal, economic, cultural, and psychological issues. The enhancement needed for societal safety includes comprehensive activities of all aspects from precaution to recovery, not only of people but also of governments. In the first part the fundamental concepts of safety are discussed. The second part deals with risks in the societal and natural environment. Then follows, in the third part, a description of the quantitative estimation of risk and its assessment and management. The fourth part is devoted to disaster prevention, mitigation, and recovery systems. The final, fifth part presents a future perspective of societal safety science.
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
In this volume the methodological aspects of the scenario logic and probabilistic (LP) non-success risk management are considered. The theoretical bases of scenario non-success risk LP-management in business and engineering are also stated. Methods and algorithms for the scenario risk LP-management in problems of classification, investment and effectiveness are described. Risk LP- models and results of numerical investigations for credit risks, risk of frauds, security portfolio risk, risk of quality, accuracy, and risk in multi-stage systems reliability are given. In addition, a rather large number of new problems of estimation, analysis and management of risk are considered. Software for risk problems based on LP-methods, LP-theory, and GIE are described too.
