Search Results - The The~
Suggested Topics within your search.
Suggested Topics within your search.
- 20th century history: c 1900 to c 2000 492
- History 468
- Modern history to 20th century: c 1700 to c 1900 458
- European history 448
- Social & cultural history 373
- English fiction -- 19th century 277
- Asian history 269
- England -- Social life and customs -- 19th century -- Fiction 224
- Literature: history & criticism 221
- Sociology 175
- Technology: general issues 162
- General & world history 159
- Postwar 20th century history, from c 1945 to c 2000 154
- Social & cultural anthropology, ethnography 146
- Literature, Modern -- 19th century -- Periodicals 140
- Humanities 134
- History of the Americas 124
- Gender studies, gender groups 122
- Society & social sciences 115
- Media studies 114
- Philosophy 112
- English poetry -- 19th century 109
- Politics & government 105
- History of medicine 104
- Literature & literary studies 103
- History of engineering & technology 100
- Medicine 94
- Education 92
- Literary studies: general 92
- Anthropology 86
-
146541
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 /
Published 2022Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata
Electronic eBook -
146542
Exceptional Lifespans
Published 2021Table of Contents: “…Validation of 113-year old Israel Kristal as the world's oldest man -- Chapter 21. Age verification of three Japanese supercentenarians who reached age 115 -- Chapter 22. …”
Link to Metadata
Electronic eBook -
146543
Multimedia Forensics
Published 2022Table of Contents: “…What's In This Book and Why? -- Media Forensics in the Age of Disinformation -- Computational Imaging -- Sensor Fingerprints: Camera Identification and Beyond -- Source Camera Attribution from Videos -- Source Camera Model Identification -- GAN Fingerprints in Face Image Synthesis -- Physical Integrity.…”
Link to Metadata
Electronic eBook -
146544
Promoting Social Dialogue in European Organizations Human Resources Management and Constructive Conflict Management /
Published 2015Table of Contents: “…Chapter 1: Employee Representatives in European Organizations; Martin Euwema, Ana García, Lourdes Munduate, Patricia Elgoibar and Erica Pender -- Chapter 2: Belgium: Management Perceptions of Social Dialogue at the Company Level in Belgium; Valeria Pulignano and Nadja Doerflinger -- Chapter 3: Denmark: Employee Representatives in Denmark. How Employers See them and What they Expect; Soren Viemose and Hans Jørgen Limborg -- Chapter 4: Estonia: Employee Representatives in Estonia. …”
Link to Metadata
Electronic eBook -
146545
-
146546
-
146547
-
146548
-
146549
-
146550
Yeditepe Üniversitesi Diş Hekimliği Fakültesi öğrencilerinin, kan ve vücut sıvılarıyla bulaşan enfeksiyonlar, enfeksiyon kontrolü ve hepatit B enfeksiyonu ile ilgili bilgi düzeylerinin, tutumlarının ve hepatit B aşılanma ve serolojik durumlarının değerlen
Published 2011Connect to this object online.
Book -
146551
-
146552
-
146553
-
146554
-
146555
-
146556
-
146557
-
146558
-
146559
-
146560