الصفحة 19
الصفحة 19
Spatial Data on the Web : Modeling and Management
Spatial data is essential in a wide range of application domains today. While geographical applications remain the key target area, spatial properties are required in other contexts such as computer-aided design, robotics and image processing. Associated with these is the constantly growing number of distributed processing architectures, based on, for example, grid systems, sensor data networks, and personalized smart devices.
Space in Languages of China : Cross-linguistic, Synchronic and Diachronic Perspectives
Present different points of view on the expression of space in language and related theoretical issues. As the contributing scholars argue, Chinese shares many common features with other languages, but also presents some particular properties. Space is a topic that is both classical and modern, of enduring interest. These studies of space give insight into not only general linguistics but also other domains such as anthropology and psychology.
Somatic Embryogenesis
This volume expands our view of a subject that is important for plant biotechnology, genetics, cell biology, development, and agricultural applications. All chapters present the latest research progress, including functional genomic, genetic, and proteomic approaches. A special focus is placed on the effects of stress, environment, and plant growth regulators on embryogenesis. The role of genes such as Leafy Cotyledons and Baby Boom in defining and maintaining cell competence is discussed.
Solving Algebraic Computational Problems in Geodesy and Geoinformatics : The Answer to Modern Challenges
Algebraic c- putational algorithms useful for solving problems which require exact solutions to nonlinear systems of equations are presented and tested on various problems. Though the present book focuses mainly on the two?elds, theconceptsand techniquespresented hereinarenonetheless- plicable to other?elds where algebraic computational problems might be encountered. In Engineering for example, network densi?cation and robotics apply resection and intersection techniques which require - gebraic solutions. Solution of nonlinear systems of equations is an indispensable task in almost all geosciences such as geodesy, geoinformatics, geophysics (just to mention but a few) as well as robotics. These equations which require exact solutions underpin the operations of ranging, resection, intersection and other techniques that are normally used.
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 System Update
Consists of topical and timely reviews of a number of carefully selected topics in solar systemn science. Contributions, in form of up-to-date reviews, are mainly aimed at professional astronomers and planetary scientists wishing to inform themselves about progress in fields closely related to their own field of expertise.
Solar Energy Fundamentals and Modeling Techniques : Atmosphere, Environment, Climate Change and Renewable Energy
Collects together material from the current literature in atmospheric environmental sciences, climate change research, meteorology, engineering and renewable energy, liberally illustrated by diagrams and worked examples.the book includes an innovative exposition of expert system methodologies used in the domain of solar irradiation and energy. In addition to methodologies such as statistics and geo-statistics (regionalized variables), new modeling approaches such as fuzzy logic inference, artificial neural network (ANN) and genetic algorithm techniques are introduced, along with both classical Kriging and newly developed techniques for spatial solar irradiation modeling.
Solar Energy : Technologies and Project Delivery for Buildings
Authoritative reference on the design of solar energy systems in building projects, with applications, operating principles, and simple tools for the construction, engineering, and design professional. The book simplifies the solar design and engineering process, providing sample documentation and special tools that provide all the information needed for the complete design of a solar energy system for buildings to enable mainstream MEP and design firms, and not just solar energy specialists, to meet the growing demand for solar energy systems in building projects.
Solar energetic particles : A modern primer on understanding sources, acceleration and propagation
This book serves as a concise primer introducing the non-specialist reader to the physics of solar energetic particles (SEP). It systematically reviews the evidence for the two main mechanisms which lead to the so-called impulsive and gradual SEP events.
Soil Chemical Pollution, Risk Assessment, Remediation and Security
The book contains the contributions at the NATO Advanced Research Workshop on Soil Chemical Pollution, Risk Assessment, Remediation and Security, which took place in Sofia, Bulgaria, May 23–26, 2007. The main objective of the ARW was to contribute to the existing knowledge on soil pollution and remediation.
Software-Implemented Hardware Fault Tolerance
Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance (SIHFT), i.e., how to deal with faults affecting the hardware by only (or mainly) acting on the software.
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 Product Line Engineering : Foundations, Principles and Techniques
Software Product Line Engineering Are you interested in producing software products or software-intensive systems at lower costs, in shorter time, and with higher quality? If so, you are holding the right book in your hands. Software product line engineering has proven to be the methodology for Higher quality, lower developing a diversity of software products and software-intensive systems cost, and shorter at lower costs, in shorter time, and with higher quality. Numerous reports development times document the significant achievements and experience gained by introducing software product lines in the software industry. Chapter 21 of this book summarises several cases. Concerning the terminology, there is an almost synonymous use of the terms Software product line “software product family” and “software product line”. Whereas in Europe vs. software product the term software product family is used more often, in North America the family term software product line is used more frequently.
Software Process and Product Measurement ; International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers
Deals with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, industrial experiences in software measurement, planning and implementing measurement, measurement-based software process improvement, best practices in software measurement, usability and user interaction measurement, measurement of open source projects, teaching and learning software measurement as well as new trends and ontologies for software measurement.
Software Engineering Techniques : Design for Quality
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Software Engineering for Experimental Robotics
Collects contributions that describe the state of the art in software development for the Robotics domain. It reports on innovative ideas that are progressively introduced in the software development process, in order to promote the reuse of robotic software artifacts: domain engineering, components, frameworks and architectural styles. It illustrates the results of the most successful and well-known research projects which aim to develop reusable robotic software systems. Most of the chapters report on concepts and ideas discussed at the well attended ICRA2005 Workshop on "Principles and Practice of Software Development in Robotics", Barcelona, Spain, April 18 2005.
Software engineering and data science
Data-driven software solutions are different from “traditional” software development projects, as the focus of the main development core is on managing the data (e.g., data store and data quality) and designing behavioral models with the aid of artificial intelligence and machine learning techniques. To this end, new life cycles, algorithms, methods, processes, and tools are required. This reprint is centered on the recent trends and advancements in the field of engineering data-intensive software solutions to address the challenges in developing, testing, and maintaining such data-driven systems, with a focus on the application of data-driven solutions to real-life problems and techniques and algorithms addressing the different challenges of data-driven software engineering.
Software Engineering 3 : Domains, Requirements, and Software Design
Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." This book covers the process from the development of domain descriptions, via the derivation of requirements prescriptions from domain models, to the refinement of requirements into software designs, i.e., architectures and component design. Emphasis is placed on what goes into proper domain descriptions and requirements prescriptions, how one acquires and analyses the domain knowledge and requirements expectations, and how one validates and verifies domain and requirements models.
Software Composition ; Vol. 4089 ; 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers
This LNCS volume contains the proceedings of the 5th International S- posium on Software Composition, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Vienna, Austria, 2006. The main program consisted of pres- tations of research papers on software compositions. These proceedings contain the revised versions of the papers presented at SC 2006.
