الصفحة 71
الصفحة 71
Tools and Algorithms for the Construction and Analysis of Systems ; 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Tools and algorithms for the construction and analysis of systems ; 28th International Conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Tools and algorithms for the construction and analysis of systems ; 27th International conference, TACAS 2021, Held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Tools and Algorithms for the Construction and Analysis of Systems ; 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
This two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
Tools and Algorithms for the Construction and Analysis of Systems ; 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Tools and Algorithms for the Construction and Analysis of Systems ; 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Tools and Algorithms for the Construction and Analysis of Systems ; 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
Tools and Algorithms for the Construction and Analysis of Systems ; 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.
Tools and Algorithms for the Construction and Analysis of Systems ; 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems ; 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.
Tools and algorithms for the construction and analysis of systems ; 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.
Tools and Algorithms for the Construction and Analysis of Systems ; 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
The book is organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
Tools and Algorithms for the Construction and Analysis of Systems ; 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings
Coverage includes software verification, probabilistic model checking and markov chains, automata-based model checking, security, software and hardware verification, decision procedures and theorem provers, as well as infinite-state systems
Tooling
The latest instalment in the renowned Pamphlet Architecture series features the technologically progressive young firm Aranda/Lasch, illustrating their use of advanced computational methods and algorithmic code in architectural design. Tooling is broken down into seven sections: blending, cracking, flocking, losing, packing, spiralling, and weaving, each corresponding to a pattern generated by computer codes, which in turn creates an organizational template for putting projects together - from building materials to large-scale populations. Each section is broken down through a simple recipe that describes the organizational template; sketches and geometric diagrams of that recipe; an architectural project that utilizes the algorithms; and finally the computer code of the various algorithms created for the book.
Toolbox Digital Business : Leadership, Business Models, Technologis and Change
Provides important guidelines for the digital transformation process and shows how established companies in particular can use digitization for their strategic further development. It highlights developments in IT and data management, supported by AI, and analyzes how marketing, sales, HR, the corporate organization and controlling must be transformed in the digital age in order to take advantage of these new opportunities as early and comprehensively as possible. The tools offered in this book will support companies in actively shaping the change.
Tool and Object : A History and Philosophy of Category Theory
The book is first of all a history of category theory from the beginnings to A. Grothendieck and F.W. Lawvere. Category theory was an important conceptual tool in 20th century mathematics whose influence on some mathematical subdisciplines (above all algebraic topology and algebraic geometry) is analyzed. Category theory also has an important philosophical aspect: on the one hand its set-theoretical foundation is less obvious than for other mathematical theories, and on the other hand it unifies conceptually a large part of modern mathematics and may therefore be considered as somewhat fundamental itself. The role of this philosophical aspect in the historical development is the second focus of the book.
Tongue lesions : Diagnostic challenges and therapeutic strategies
Offers in a single resource the whole coverage of different diseases and lesions, congenital or acquired, of the tongue, along with a complete spectrum of surgical techniques that can be used to achieve the best functional and aesthetic results.
Tomato yellow leaf curl virus disease : Management, Molecular Biology, Breeding for Resistance
This book will awaken the interest of breeders, phytopathologists, environmentalists, extension services, plant virologists, entomologists and molecular biologists. It deals both with the epidemiological aspects of the disease and with integrated pest management in the field. It discusses the efforts aimed at breeding tomato plants resistant to the virus (using classical breeding, marker-assisted breeding and genetic engineering). It summarizes the techniques used for diagnosis, eradication and certification and emphasizes the problems inherent to the control of the virus insect vector, the use of pesticides and the resistance acquired by the insects, the appearance of new whitefly biotypes with previously unknown characteristics, and the complex relations between virus, vector and plant host.
Toll-like Receptors in Inflammation
Toll-like receptors (TLRs) are critical mediators of the innate immune response in mammals. This family of receptors recognizes a variety of microbial products or motifs and initiates the host response to infection. Examples include TLR4 which recognizes lipopolysaccharide (LPS) from Gram-negative bacteria, TLR3 which recognizes viral double-stranded RNA, and TLR9 which recognizes CpG DNA motifs, found in both viruses and bacteria. All TLRs possess an intracellular region termed the Toll-IL-1 receptor-Resistance (TIR) domain which is essential for signaling from these receptors. The specificity of signaling from individual TLRs arises from differential utilization of adapter proteins. This specificity results in a tailoring of the host defense response depending on the microbe being sensed. TLRs are increasingly being implicated in both infectious and inflammatory diseases, notable examples being sepsis, inflammatory bowel disease, atherosclerosis, and asthma. There is, therefore, great interest in targeting TLRs therapeutically since a disruption of TLR function will result in a decrease in the production of inflammatory mediators.
Toll-Like Receptors (TLRs) and Innate Immunity
Overall recent research on TLRs has led to tremendous increase in our understanding of early steps in pathogen recognition and will presumably lead to potent TLR targeting therapeutics in the future. This book reviews and highlights our recent understanding on the function and ligands of TLRs as well as their role in autoimmunity, dendritic cell activation and target structures for therapeutic intervention.
