Es wurden 3647 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.

Das Application Mini Set von RefectoCil ermöglicht ein besonders einfaches Mischen und Auftragen der Farbe für Augenbrauen und Wimpern. Es beinhaltet fünf Schalen, in denen Sie die Farbe mischen können. Weiterhin enthält es fünf praktische Stäbchen zum Auftragen der Farbe. Die Schälchen sind aus Kunststoff gefertigt. Sie sind angenehm leicht und unzerbrechlich. Einzigartig sind die Färbestäbchen, da sie nicht glatt, sondern mit Rillen versehen sind. Dadurch haftet die Farbe perfekt und der Farbauftrag wird besonders intensiv.Praktisches Set für perfekt gefärbte Augenbrauen und ein strahlendes Make-upMit dem Application Mini Set von RefectoCil mischen und verteilen Sie die Wimpern- und Augenbrauenfarbe optimal. Die fünf Schälchen begeistern mit ihrer einzigartigen Form und Größe, die sich ideal zum Mischen der Farbe eignen. Außerdem passen die geriffelten Stäbchen genau auf die Schalen und können sicher auf ihnen abgelegt werden. Dank ihrer glatten Oberfläche lassen sich die Schälchen leicht säubern. Erleben Sie einen strahlenden Augenaufschlag und ein brillantes Make-up mit dem Application Mini Set von RefectoCil!

Program and build Arduino-based ham station utilities, tools, and instruments In addition to a detailed introduction to the exciting world of the Arduino microcontroller and its many variants, this book introduces you to the shields, modules, and components you can connect to the Arduino. Many of these components are discussed in detail and used in the projects included in this book to help you understand how these components can be incorporated into your own Arduino projects. Emphasis has been placed on designing and creating a wide range of amateur radio-related projects that can easily be built in just a few days. This book is written for ham radio operators and Arduino enthusiasts of all skill levels, and includes discussions about the tools, construction methods, and troubleshooting techniques used in creating amateur radio-related Arduino projects. This book teaches you how to create feature-rich Arduino-based projects, with the goal of helping you to advance beyond this book, and design and build your own ham radio Arduino projects. In addition, this book describes in detail the design, construction, programming, and operation of the following projects: CW Beacon and Foxhunt Keyer Mini Weather Station RF Probe with LED Bar Graph DTMF Tone Encoder DTMF Tone Decoder Waveform Generator Auto Power On/Off Bluetooth CW Keyer Station Power Monitor AC Current Monitor This book assumes a basic knowledge of electronics and circuit construction. Basic knowledge of how to program the Arduino using its IDE will also be beneficial.

Das Application Mini Set von RefectoCil ermöglicht ein besonders einfaches Mischen und Auftragen der Farbe für Augenbrauen und Wimpern. Es beinhaltet fünf Schalen, in denen Sie die Farbe mischen können. Weiterhin enthält es fünf praktische Stäbchen zum Auftragen der Farbe. Die Schälchen sind aus Kunststoff gefertigt. Sie sind angenehm leicht und unzerbrechlich. Einzigartig sind die Färbestäbchen, da sie nicht glatt, sondern mit Rillen versehen sind. Dadurch haftet die Farbe perfekt und der Farbauftrag wird besonders intensiv.Praktisches Set für perfekt gefärbte Augenbrauen und ein strahlendes Make-upMit dem Application Mini Set von RefectoCil mischen und verteilen Sie die Wimpern- und Augenbrauenfarbe optimal. Die fünf Schälchen begeistern mit ihrer einzigartigen Form und Größe, die sich ideal zum Mischen der Farbe eignen. Außerdem passen die geriffelten Stäbchen genau auf die Schalen und können sicher auf ihnen abgelegt werden. Dank ihrer glatten Oberfläche lassen sich die Schälchen leicht säubern. Erleben Sie einen strahlenden Augenaufschlag und ein brillantes Make-up mit dem Application Mini Set von RefectoCil!

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.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013.The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from numerous submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic.

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.

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Big Data, Cloud and Applications, BDCA 2018, held in Kenitra, Morocco, in April 2018.The 45 revised full papers presented in this book were carefully selected from 99 submissions with a thorough double-blind review process. They focus on the following topics: big data, cloud computing, machine learning, deep learning, data analysis, neural networks, information system and social media, image processing and applications, and natural language processing.

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.

In three comprehensive volumes, Logic of the Future presents a full panorama of Charles S. Peirce's most important late writings. Among the most influential American thinkers, Peirce took his existential graphs to be a significant contribution to human thought. The manuscripts from 1895-1913, with many of them being published here for the first time, testify to the richness and open-endedness of his theory of logic and its applications. They also invite us to reconsider our ordinary conceptions of reasoning as well as the conventional stories concerning the evolution of modern logic. This first volume of Logic of the Future is on the historical development, theory and application of Peirce's graphical method and diagrammatic reasoning. It also illustrates the abundant further developments and applications Peirce envisaged existential graphs to have on the analysis of mathematics, language, meaning and mind.

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.

This book constitutes the post-conference proceedings of the 12th International Workshop on Fuzzy Logic and Applications, WILF 2018, held in Genoa, Italy, in September 2018.The 17 revised full papers and 9 short papers were carefully reviewed and selected from 26 submissions. The papers are organized in topical sections on fuzzy logic theory, recent applications of fuzzy logic, and fuzzy decision making. Also included are papers from the round table Zadeh and the future of logic and a tutorial.

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.

Größe ; M; Materialzusammensetzung ; 100% Baumwolle; Materialeigenschaften ; pflegeleicht; Pflegehinweise ; Handwäsche; Optik ; unifarben; Stil ; elegant; Farbe ; rot; Ausschnitt ; Rundhals; Ärmel ; Kurzarm; Schnittform Länge ; normal; Verschluss ; ohne Verschluss; Besondere Merkmale ; mit Design Application;

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.

Größe ; XL; Materialzusammensetzung ; 100% Baumwolle; Materialeigenschaften ; pflegeleicht; Pflegehinweise ; Handwäsche; Optik ; unifarben; Stil ; elegant; Farbe ; rot; Ausschnitt ; Rundhals; Ärmel ; Kurzarm; Schnittform Länge ; normal; Verschluss ; ohne Verschluss; Besondere Merkmale ; mit Design Application;

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.

Größe ; S; Materialzusammensetzung ; 100% Baumwolle; Materialeigenschaften ; pflegeleicht; Pflegehinweise ; Handwäsche; Optik ; unifarben; Stil ; elegant; Farbe ; rot; Ausschnitt ; Rundhals; Ärmel ; Kurzarm; Schnittform Länge ; normal; Verschluss ; ohne Verschluss; Besondere Merkmale ; mit Design Application;

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.

This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2015. The volume contains 13 full revised papers along with 3 invited talks presented at the conference. The papers were selected after rigorous review, from 23 submissions. They cover topics related to pure and applied formal logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence, systems of logic in the Indian tradition, and other disciplines which are of direct interest to mathematical and philosophical logic.