Search Results - "Annotation"
Suggested Topics within your search.
Suggested Topics within your search.
- Literature: history & criticism 34
- Literature & literary studies 24
- linguistics 22
- History 16
- Humanities 16
- Sociology & anthropology 14
- European history 13
- Medicine 12
- History of science 11
- Religion & beliefs 11
- Historical & comparative linguistics 10
- Research & information: general 10
- Asian history 9
- Classical texts 9
- Middle Eastern history 9
- Cultural studies 8
- Film, TV & radio 8
- Literary studies: general 8
- Literary studies: poetry & poets 8
- Poetry by individual poets 8
- Regional studies 8
- Rhetoric 8
- Society & social sciences 8
- Technology: general issues 8
- Artificial intelligence 7
- Philosophy 7
- Poetry 7
- Social & political philosophy 7
- Academic achievement 6
- Artificial Intelligence 6
-
961
-
962
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 o...
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 -
963
Digital Writing Technologies in Higher Education Theory, Research, and Practice /
Published 2023Table of Contents: “…Introduction -- Section1: Word processing software -- Name of chapter -- The Beginnings of Word Processing: A Historical Account -- Establishing the Standard: The Rise of Microsoft Word -- Expansions and Alternatives: Beyond Microsoft Word -- Section2: Web applications and platform technology -- Name of chapter -- Hypertext, Hyperlinks, and the World Wide Web -- Creativity Software and Idea Mapping Technology -- Digital tools for Written Argumentation -- Digital Note-taking for Writing -- Synchronous and Asynchronous Collaborative Writing -- Social Annotation: Promising Technologies and Practices in Writing -- Multimodal chat-based apps: enhancing copresence when writing -- Learning Management Systems (LMSs) -- Digital Teacher Feedback Tools -- Digital Student Peer Review Systems -- Reference Management Systems -- Plagiarism Detection and Intertextuality Software -- The Electronic Portfolio: self-regulation and reflective practice -- CMS 3.0: The All-in-One Digital Writing Workspace -- Section3: Writing analytics and language technologies -- Name of chapter -- Automated Text Generation and Summarization -- Information Retrieval and Knowledge Extraction for Academic Writing -- Analytic Techniques for Automated Analysis of Writing -- Automated Scoring of Writing -- Automated Feedback on Writing -- Intelligent Tutoring for Writing -- On Corpora and Writing -- Investigating Writing Processes with Keystroke Logging -- Section4: Implications -- Writing and Learning: What Changed with Digitalization? …”
Link to Metadata
Electronic eBook -
964
-
965
-
966
-
967
-
968
-
969
-
970
-
971
-
972
The Process of Research Writing
Published 2007Table of Contents: “…Introduction -- Chapter One: Thinking Critically About Research -- Chapter Two: Understanding and Using the Library and the Internet for Research -- Chapter Three: Quoting, Paraphrasing, and Avoiding Plagiarism -- Chapter Four: How to Collaborate and Write With Others -- Chapter Five: The Working Thesis Exercise -- Chapter Six: The Annotated Bibliography Exercise -- Chapter Seven: The Critique Exercise -- Chapter Eight: The Antithesis Exercise -- Chapter Nine: The Categorization and Evaluation Exercise -- Chapter Ten: The Research Essay -- Chapter Eleven: Alternative Ways to Present Your Research -- Chapter Twelve: Citing Your Research Using MLA or APA Style…”
Access online version
Electronic eBook -
973
-
974
-
975
Animals and the Shaping of Modern Medicine One Health and its Histories /
Published 2018Table of Contents: “…Schwabe and the Echinococcus tapeworm, 1956-1975; Rachel Mason Dentinger -- Chapter 6: Humans, other animals and 'One Health' in the early twenty-first century; Angela Cassidy -- Chapter 7: Conclusion -- Appendix: Annotated bibliography.…”
Link to Metadata
Electronic eBook -
976
-
977
Building Information Modeling using Revit for Architects and Engineers
Published 2022Table of Contents: “…About the Publisher -- Accessibility Statement -- About This Project -- Acknowledgments -- Chapter 1: Revit Interface -- Chapter 2: Walls, Curtain Walls, Windows and Doors -- Chapter 3: Floors, Roofs and Ceilings -- Chapter 4: Stairs, Railings and Ramps -- Chapter 5: Adding- Modifying Families -- Chapter 6: Massing- Conceptual Mass -- Chapter 7: Model In-Place -- Chapter 8: Schematic Design and Room & Color Fill Plans -- Chapter 9: Materials, Visualization and Rendering -- Chapter 10: Details and Annotations -- Chapter 11: Workflow -- Worksharing -- Chapter 12: Schedules and Project Phasing -- Chapter 13: Drawing Sets and Construction Documents -- Chapter 14: Site Modelings -- Chapter 15: MEP- Fire Protection and Fabrication Parts -- Chapter 16: Structural Systems -- Links by Chapter -- Errata and Versioning History -- Accessibility Rubric…”
Access online version
Electronic eBook -
978
-
979
-
980