Search Results - LKL~

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Peter Schroeder-Heister on Proof-Theoretic Semantics

Table of Contents: “…Eight rules for implication elimination (Michael Arndt) -- Chapter 9. Focusing Gentzen's LK proof system (Chuck Liang and Dale Miller) -- Chapter 10. …”
Link to Metadata

Special issue: Customer empowerment by Geyer-Schulz, AndreasMeyer-Waarden, Lars

“…Customer & Service Systems / Andreas Geyer-Schulz, Lars Meyer-Waarden (Eds.). Karlsruher Institut für Technologie (KIT), Institut für Informationswirtschaft und Marketing…”
DOAB: download the publication
DOAB: description of the publication

Asian Century... on a Knife-edge A 360 Degree Analysis of Asia's Recent Economic Development / by West, John

Table of Contents: “…Making the Most of Urbanisation's Potential -- 5. Giving All Asians a Chance -- 6. Solving Asia's Demographic Dilemmas -- 7. …”
Link to Metadata

Teaching Mathematics at Secondary Level by Gardiner, Tony

Table of Contents: “…A sample curriculum for all-written from a humane mathematical viewpoint -- 1. …”
Access online version

Guide to Ancient Etruscan Art

Table of Contents: “…Bronze Mars of Todi -- 13. Aule Metele (Arringatore)…”
Access online version

Entorno Empresarial y Gestión del Marketing Perspectiva Teórica para el Desarrollo de Proyectos de Titulación by Guerrero-Velástegui, César Andrés, González-Garcés, Liliana Elizabeth

Table of Contents: “…Reseña de Autores -- Índice -- Índice de Tablas -- Índice de Figuras -- Introducción -- Capítulo I: Fundamentos de investigación -- Capítulo II: Problema de investigación -- Capítulo III: Marco teórico -- Capítulo IV: Marco metodológico -- Capítulo V: Análisis e interpretación de resultados -- Capítulo VI: Conclusiones y recomendaciones -- Capítulo VII: Formato para validación del instrumento mediante juicio de expertos -- Capítulo VIII: Validación -- Referencias Bibliográficas…”
Access online version

Elementary New Testament Greek by Ewald, Owen

Table of Contents: “…Chapter 1: Alphabet, words, and names; Nominal Sentences -- Chapter 2: Verbs and basic clauses; Contract Verbs; the Definite Article ("the"; Negation -- Chapter 3: Cases and Gender -- Chapter 4: Prepositions -- Chapter 5: Adjectives; Predicate and Attributive positions -- Chapter 6: Verb tenses -- Chapter 7: Verb moods (including Participles) -- Chapter 8: Other patterns of nouns and verbs, including Middle-Only verbs -- Chapter 9: Pronouns and conjunctions -- Chapter 10: Complex Sentences -- Chapter 11: Special verbs -- Chapter 12: Third declension (consonant stems), Part 1 -- Chapter 13: Third declension, Part 2 -- Chapter 14: Participles, concluded -- Chapter 15: Verb Voices: Active, Middle, and Passive -- Chapter 16: Perfect (Stative) Aspect -- Chapter 17: Subjunctive Mood -- Chapter 18: Other Verb Uses -- Chapter 19: Extra Verbs, Athematic and Contract Verbs -- Chapter 20: Final pieces -- Appendix A: Note to Instructors -- Appendix B: The Fifteen Tenses of English and Their Latin and Greek Equivalents -- Appendix C: Second and Root Aorists -- Appendix D: Principal Parts of Verbs -- Appendix E: all the forms of "be" -- Appendix F: Vocabulary English-Greek (whole course) -- Appendix G: Vocabulary Greek-English (whole course) -- Appendix H: All the Verb Forms -- Appendix I: Conspectus of Noun Endings…”
Access online version

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...

Table of Contents: “…Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of Ʃ-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts.…”
Link to Metadata

Transdisciplinarity in Financial Communication Writing for Target Readers / by Whitehouse, Marlies

Table of Contents: “…Approach three: process perspective -- 7. Integration of all the results -- Part III. Problem solution -- 8. …”
Link to Metadata

Communicating, Networking: Interacting The International Year of Global Understanding - IYGU /

Table of Contents: “…Our natural systems: The basis of all human enterprise -- Technology Trends: Working Life with 'Smart Things' -- Citizenship, Governance and Communication -- Changing cultures: changing lives - mobilising social media during a health crisis -- Bridging the digital divide: everyday use of mobile phones among market sellers in Papua New Guinea -- Business, Commerce and the Global Financial System -- Everyday-ing Health Literacy and the Imperative of Health Communication: A Critical Agenda -- Imaging an e-future: Education as a process towards understanding.…”
Link to Metadata

Das Blaue Buch Chemotherapie-Manual Hämatologie und Onkologie /

Table of Contents: “…-Solide Tumoren: Kopf-Hals Tumoren -- Thorakale Tumoren -- Gastrointestinale Tumoren -- Gynäkologische Tumoren -- Urogenitaltumoren -- Hauttumoren -- Sarkome -- ZNS-Tumoren -- Radio-Chemotherapie -- Unbekannter Primärtumor.- Intrakavitäre Chemotherapie.- Mobilisierungschemotherapien.- Autologe Konditionierungs-Protokolle.- Allogene Konditionierungs-Protokolle.- Protokolle zur GvHD-Prophylaxe.- Supportive Therapieprotokolle.…”
Link to Metadata

Teaching Autoethnography Personal Writing in the Classroom by Tombro, Melissa

Table of Contents: “…Conducting Observations -- 11. Putting It All Together -- 12. Challenges of Personal Writing -- 13. …”
Access online version

Unfolding the Mystery of Life, Biology Lab Manual for Non-Science Majors by Genovesi, Ellen, Blinderman, Laura, Natale, Patrick

Table of Contents: “…Exercise 1: The Metric System of Measurement -- Exercise 2: Microscopy -- Exercise 3: The Scientific Method -- Exercise 4: Cell Membrane Biology -- Exercise 5: Biomolecules -- Exercise 6: Enzymes -- Exercise 7: Photosynthesis -- Exercise 8: Human Genetics & Cytogenetics -- Exercise 9: Using Genetic Crosses to Analyze a Stickleback Trait -- Exercise 10: Protein Gel Electrophoresis -- Exercise 11: Isolation of DNA From Plants -- Exercise 12: Animal Tissues -- Exercise 13: Microbiology, Food Microbiology and Disease Transmission…”
Access online version

Migration and Identity through Creative Writing StOries: Strangers to Ourselves /

Table of Contents: “…Between Critical Inquiry and Creative Writing (Anna Triandafyllidou and Alka Kumar) -- 2. Experiments and Interventions: Re-envisioning Qualitative Research Methods in Migration (Alka Kumar) -- Part 2. …”
Link to Metadata

Improving Interagency Collaboration, Innovation and Learning in Criminal Justice Systems Supporting Offender Rehabilitation /

Table of Contents: “…Implications For Practice, Siv Elin Nord Sæbjørnsen, Sarah Hean, Kristin Røvik, Bjørn Kjetil Larsen And Atle Ødegård -- 16. Reflecting On Researcher/Practice Relationships In Prison Research : A Contact Hypothesis Lens, Sarah Hean, Liv Jorunn Skippervik, Richard Heslop, Caroline Stevens -- 17. …”
Link to Metadata

Micro-, Meso- and Macro-Dynamics of the Brain

Table of Contents: “…Hippocampal mechanisms for the segmentation of space by goals and boundaries -- Cortical Evolution: Introduction to the Reptilian Cortex -- Flow of information underlying a tactile decision in mice -- The Visual Brain: Computing through Multiscale Complexity -- Grid cells and spatial maps in entorhinal cortex and hippocampus -- The striatum and decision-making based on value -- Decoding the dynamics of conscious perception: The temporal generalization method -- Sleep and synaptic down-selection -- Federating and integrating what we know about the brain at all scales - a challenge for the future. Computer science meets the clinical neurosciences.…”
Link to Metadata

A Practical Approach to Understanding Music Theory by Brooks, Charles

Table of Contents: “…Introduction -- Dedication -- Section One -- Section 1.1: Basics -- Section 1.2: Reading Music -- Section 1.3: Form and Structure -- Section Two: Melody -- Section 2.1: Scales -- Section 2.2: Flavor of Music Using Scales -- Section 2.3: Modes -- Section Three: Harmony -- Section 3.1: Circle of Fifths -- Section 4: Rhythm -- Section 4.1: Notation -- Section 5: Putting it all Together -- Section 5.1: Practice, Application, and Performance -- Back Matter -- Acknowledgements…”
Access online version

Supporting English Language Learners in First-Year College Composition by Bayraktar, Breana, George, Elaine, Schetchikova, Nataliya

Table of Contents: “…How Supporting ELLs in FYC is Organized -- I. Learning How to Take Notes -- II. …”
Access online version

The importance of folic acid for the health of the human body by Karolina Jolanta Banyś, Monika Wioletta Knopczyk, Barbara Bobrowska-Korczak

Connect to this object online.