Es wurden 4077 Produkte zu dem Suchbegriff applications in 7 Shops gefunden:

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods ISoLA 2020 which was planned to take place during October 20-30 2020 on Rhodes Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part I Verification Principles: Modularity and (De-)Composition in Verification; X-by-Construction: Correctness meets Probability; 30 Years of Statistical Model Checking; Verification and Validation of Concurrent and Distributed Systems. Part II Engineering Principles: Automating Software Re-Engineering; Rigorous Engineering of Collective Adaptive Systems. Part III Applications: Reliable Smart Contracts:State-of-the-art Applications Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.

Binding : Taschenbuch, PackageQuantity : 1, medium : Taschenbuch, ISBN : 2902414749

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods Verification and Validation ISoLA 2016 held in Imperial Corfu Greece in October 2016. The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods andsafety certification: challenges in the railways domain; RVE: runtime verification and enforcement the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.

Binding : Taschenbuch, Edition : 1, Label : North Atlantic Books, Publisher : North Atlantic Books, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 160, publicationDate : 2005-03-02, releaseDate : 2005-03-02, authors : Yang Chengfu, translators : Louis Swaim, languages : english, ISBN : 1556435452

Binding : Taschenbuch, PackageQuantity : 1, medium : Taschenbuch, ISBN : 2902414749

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods Verification and Validation ISoLA 2014 held in Imperial Corfu Greece in October 2014.The total of 67 full papers was carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section the papers are organized in topical sections named: evolving critical systems; rigorous engineering of autonomic ensembles; automata learning; formal methods and analysis in software product line engineering; model-based code generators and compilers; engineering virtualized systems; statistical model checking; risk-based testing; medical cyber-physical systems; scientific workflows; evaluation and reproducibility of program analysis; processes and data integration in the networked healthcare; semantic heterogeneity in the formal development of complex systems.In addition part I contains a tutorial on automata learning in practice; as well as the preliminary manifesto to the LNCS Transactions on the Foundations for Mastering Change with several position papers. Part II contains information on the industrial track and the doctoral symposium and poster session.

This standard work applies tensorial methods to subjects within the realm of advanced college mathematics. In its four main divisions, it explains the fundamental ideas and the notation of tensor theory; covers the geometrical treatment of tensor algebra; introduces the theory of the differentiation of tensors; and applies mathematics to dynamics, electricity, elasticity, and hydrodynamics. Partial contents: algebraic preliminaries (notation, definitions, determinants, tensor analysis); algebraic geometry (rectilinear coordinates, the plane, the straight line, the quadric cone and the conic, systems of cones and conics, central quadrics, the general quadric, affine transformations); differential geometry (curvilinear coordinates, covariant differentiation, curves in a space, intrinsic geometry of a surface, fundamental formulae of a surface, curves on a surface); applied mathematics (dynamics of a particles, dynamics of rigid bodies, electricity and magnetism, mechanics of continuous media, special theory of relativity).

This standard work applies tensorial methods to subjects within the realm of advanced college mathematics. In its four main divisions, it explains the fundamental ideas and the notation of tensor theory; covers the geometrical treatment of tensor algebra; introduces the theory of the differentiation of tensors; and applies mathematics to dynamics, electricity, elasticity, and hydrodynamics. Partial contents: algebraic preliminaries (notation, definitions, determinants, tensor analysis); algebraic geometry (rectilinear coordinates, the plane, the straight line, the quadric cone and the conic, systems of cones and conics, central quadrics, the general quadric, affine transformations); differential geometry (curvilinear coordinates, covariant differentiation, curves in a space, intrinsic geometry of a surface, fundamental formulae of a surface, curves on a surface); applied mathematics (dynamics of a particles, dynamics of rigid bodies, electricity and magnetism, mechanics of continuous media, special theory of relativity).

This edited volume focuses on the latest and most impactful advancements of multimedia data globally available for environmental and earth biodiversity. The data reflects the status behavior change as well as human interests and concerns which are increasingly crucial for understanding environmental issues and phenomena. This volume addresses the need for the development of advanced methods techniques and tools for collecting managing analyzing understanding and modeling environmental & biodiversity data including the automated or collaborative species identification the species distribution modeling and their environment such as the air quality or the bio-acoustic monitoring. Researchers and practitioners in multimedia and environmental topics will find the chapters essential to their continued studies.

Binding : Taschenbuch, Label : Dunod, Publisher : Dunod, medium : Taschenbuch, publicationDate : 2004-12-01, authors : Arnaud, languages : french, ISBN : 2100070355

Enhance your tanning ritual with the Coco & Eve Velvet Self Tan Application Mitt, a velvet tanning mitt that helps you achieve a flawless-looking tan. Designed to evenly distribute product, the soft velvet mitt sweeps your favourite self-tan formula onto the skin for a seamless finish that resists patches, streaks or clinging to dry areas of the skin. Made for a snug fit, the mitt’s protective lining minimises the risk of spreading the tan onto your hands so there are no surprises when your tan develops.

This two-volume set LNCS 11581 and 11582 constitutes the thoroughly refereed proceedings of the 10th International Conference on Digital Human Modeling and Applications in Health Safety Ergonomics and Risk Management DHM 2019 which was held as part of the 21st HCI International Conference HCII 2019 in Orlando FL USA in July 2019. The total of 1275 papers and 209 posters included in the 35 HCII 2019 proceedings volumes were carefully reviewed and selected from 5029 submissions. DHM 2019 includes a total of 77 papers; they were organized in topical sections named: Part I Human Body and Motion: Anthropometry and computer aided ergonomics; motion prediction and motion capture; work modelling and industrial applications; risk assessment and safety. Part II Healthcare Applications: Models in healthcare; quality of life technologies; health dialogues; health games and social communities.

Binding : Taschenbuch, Label : Economica, Publisher : Economica, medium : Taschenbuch, publicationDate : 2008-08-26, authors : Fabrice Riva, languages : french, ISBN : 2717855904

Edited in collaboration with FoLLI the Association of Logic Language and Information this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Third Indian Conference on Logic and Its Applications ICLA 2009 held in Chennai India in January 2009. The 12 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from numerous submissions. The papers present current research in all aspects of formal logic. They address in detail: algebraic logic and set theory combinatorics and philosophical logic modal logics with applications to computer science and game theory and connections between ancient logic systems and modern systems.

This book presents the scientific outcomes of the conference 11th Days of Bosnian-Herzegovinian American Academy of Arts and Sciences held in Sarajevo Bosnia and Herzegovina June 20-23 2019. Including innovative applications of advanced technologies it offers a uniquely comprehensive multidisciplinary and interdisciplinary overview of the latest developments in a broad range of technologies and methodologies viewed through the prism of computing networking information technology robotics complex systems communications energy mechanical engineering economics and medicine among others.

Binding : Taschenbuch, Label : Eyrolles, Publisher : Eyrolles, medium : Taschenbuch, publicationDate : 2017-01-03, ISBN : 2212673760

Binding : Gebundene Ausgabe, Label : Addison Wesley Pub Co Inc, Publisher : Addison Wesley Pub Co Inc, NumberOfItems : 1, PackageQuantity : 1, medium : Gebundene Ausgabe, numberOfPages : 844, publicationDate : 1987-02-01, authors : Burnett, David S., Burnett, languages : english, ISBN : 0201108062

This book comprises select proceedings of the annual conference of the Indian Geotechnical Society. The conference brings together research and case histories on various aspects of geotechnical engineering and geoenvironmental engineering. The book presents papers on geotechnical applications and case histories covering topics such as (i) shallow and deep foundations; (ii) stability of earth and earth retaining structures; (iii) rock engineering tunneling and underground constructions; (iv) forensic investigations and case histories; (v) reliability in geotechnical engineering; and (vi) special topics such as offshore geotechnics remote sensing and GIS geotechnical education codes and standards. The contents of this book will be of interest to researchers and practicing engineers alike.

Binding : Taschenbuch, Label : ENI, Publisher : ENI, medium : Taschenbuch, numberOfPages : 400, publicationDate : 2010-09-13, authors : Olivier Dewit, languages : french, ISBN : 2746056615