Es wurden 3829 Produkte zu dem Suchbegriff applications in 5 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.

- Proven--based on field experience- Authoritative--offers the best advice available- Accurate--technically validated and tested- Actionable--provides the steps to success- Relevant--addresses real-world problems based on customer scenarios

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.

Kampf gegen das Bünzlitum ist ein bitterböses Schweizer Kult-Kartenspiel für bis zu 10 Fieslinge ohne Schamgefühl. Der Kickstarter-Erfolg von Angela Vögtli besteht aus 150 roten Karten (Fragekarten), 450 weissen Karten (Antwortkarten) und einer unglaublich tollen und robusten Kartonbox. Mit einem Kampfgewicht von sagenhaften 1.65 Kilogramm eignet es sich zudem als Mordwaffe, Sportgerät oder in grosser Anzahl als Möbelstück. Jeder Fiesling zieht acht Karten vom weissen Stapel. Der Rundenboss zieht eine Karte vom roten Fragestapel und liest diese laut vor. Nun wählt jeder Spieler aus seiner Hand die lustigste/amoralischste Antwort und übergibt diese verdeckt dem Rundenboss. Der Rundenboss liest alle erhaltenen Antworten vor und wählt seinen Favoriten aus. Der Gewinner erhält die rote Karte als Trophäe zum Rumprollen. Nun füllen alle Spieler ihre Hand wieder auf acht Karten auf und der Rundenboss geht im Uhrzeigersinn weiter - der bitterböse Spass beginnt von vorne. Muahaha!

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.

Caught Up in the Gears of Application - CD album - Musique CD, Vinyl : tous les albums pop, rock, variété, rap, R'n'B, classique, jazz, metal, electro ...

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.

3 feuilles A4, compatible imprimante jet d'encre.

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.

3ds Max 5 - Guide. Découvrez des nouveautés, des coups de cœur, des avis d'internautes, …

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.

In recent years Social Network Analysis (SNA) has become an established research approach in almost every scientific discipline, thereby attracting a remarkable degree of public attention. On the one hand this can be seen as a reflection of a shift in the theoretical and methodological approach in research. On the other hand the prominence of SNA in a variety of fields such as academia, politics, business and our daily lives also points towards a change of the objects under investigation. Many elements of our society are now increasingly embedded into network structures in which actors depend on each other and the structural context of their actions. This volume provides an excellent overview of the broad range of research in which SNA can be fruitfully applied.

This book focuses on radiation applications in various fields such as industry, environmental conservation, analytical sciences, agriculture, medical diagnosis and therapy, and other areas, from laboratory or research scale to practical or commercial scale. The book targets rather beginning or young professionals in radiation chemistry, processing, biology, and medicine, among others, but also introduces the state of the art of the relevant fields. This volume also helps readers to understand the fundamentals of radiation chemistry, physics, and biology that underlie the miscellaneous applications. Readers will understand, for example, that industry utilizes radiation to fabricate water-absorbent materials or semiconductors and also that cancer patients can be cured through radiation without surgery. These and more facts about radiation applications are made available in this valuable book.

100 feuilles de papier couché haute définition, format A4

This book describes methodologies for developing semantic applications. Semantic applications are software applications which explicitly or implicitly use the semantics, i.e. the meaning of a domain terminology, in order to improve usability, correctness, and completeness. An example is semantic search, where synonyms and related terms are used for enriching the results of a simple text-based search. Ontologies, thesauri or controlled vocabularies are the centerpiece of semantic applications. The book includes technological and architectural best practices for corporate use. The authors are experts from industry and academia with experience in developing semantic applications.

Organisation et applications des SMA - Etude. Découvrez des nouveautés, des coups de cœur, des avis d'internautes, …

This book reviews the latest surface treatments for biomedical applications, including orthopedic and dental implants, dressings for wounds and skin diseases, surfaces for the prevention of bio-film formation of corrosion inhibition in biological media.

Applications et implications en sciences du langage - Etude. Découvrez des nouveautés, des coups de cœur, des avis d'internautes, …

The two-volume set CCIS 1959 and 1960 constitutes the refereed post-conference proceedings of the 38th CCF National Conference on Computer Applications, CCF NCCA 2023, held in Suzhou, China, during July 16-20, 2023. The 39 revised full papers presented in these proceedings were carefully reviewed and selected from 197 submissions. The papers are organized in the following topical sections: Volume I: Artificial intelligence and application. Volume II: Data science and technology; pattern recognition and machine learning; network communication and security; frontier and comprehensive applications.

Beruhigt und spendet Feuchtigkeit