Search Results - 平成~

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! …”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

Female Genital Mutilation/Cutting in Children and Adolescents Illustrated Guide to Diagnose, Assess, Inform and Report /

Table of Contents: “…Conclusion -- 9. Appendix 1: Consent and photography -- 10. Appendix 2: Informed Consent -- 11. …”
Link to Metadata

Land Tenure Security and Sustainable Development

Table of Contents: “…People-Land Relationships on the Path to Sustainable Food Security -- Chapter 7. A Complex Relationship: Large-Scale Land Acquisitions and Land Tenure Security -- Chapter 8. …”
Link to Metadata

Towards Resilient Organizations and Societies A Cross-Sectoral and Multi-Disciplinary Perspective /

Table of Contents: “…Building resilience in temporary organizations: Lessons from a shipyard -- 5. A practical perspective on resilience in organizations: The interplay between structure and action -- 6. …”
Link to Metadata

Environmental Knowledge, Race, and African American Literature by Klestil, Matthias

Table of Contents: “…1. Introduction: African American Environmental Knowledge at Niagara -- Part I Foundations: Antebellum African American Environmental Knowledge -- 2. …”
Link to Metadata

University and School Collaborations during a Pandemic Sustaining Educational Opportunity and Reinventing Education /

Table of Contents: “…Academic Continuity during the Covid-19 Global Health Emergency: Education 4.0 and the Flexible-Digital Model of Tecnologico de Monterrey University in Mexico Supporting Secondary Education -- Chapter 11. …”
Link to Metadata

Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers /

Table of Contents: “…Machine Learning and Deep learning approaches in human brain mapping -- A high-resolution model of the human entorhinal cortex in the 'BigBrain'- use case for machine learning and 3D analyses -- Deep learning-supported cytoarchitectonic mapping of the human lateral geniculate body in the BigBrain -- Brain modelling and simulation -- Computational modelling of cerebellar magnetic stimulation: the effect of washout? …”
Link to Metadata

Feminist Methodologies Experiments, Collaborations and Reflections /

Table of Contents: “…Chapter 1: Feminism as method: Navigating theory and practice -- Chapter 2: Senses of discomfort: Negotiating feminist methods, theory and identity -- Chapter 3: Feminist ethics amid Covid-19: Unpacking assumptions and reflections on risk in research -- Chapter 4: Of apps and the menstrual cycle: A journey into self-tracking -- Chapter 5: Embodying cyberspace: Making the personal political in digital places -- Chapter 6: Mulai leave - datang arrive - pulang return. …”
Link to Metadata

Modes of Esports Engagement in Overwatch

Table of Contents: “…- Positioning Nationality in the Spectatorship of Competitive Overwatch Play; Marko Siitonen & Maria Ruotsalainen -- 7. A Region of Contenders: Overwatch in Brazil; Mayara Caetano -- 8. …”
Link to Metadata

Modern Socio-Technical Perspectives on Privacy

Table of Contents: “…The Ethics of Privacy in Research and Design: Principles, Practices, and Potential -- 18. EU GDPR: Toward a Regulatory Initiative for Deploying a Private Digital Era -- 19. …”
Link to Metadata

Towards Bayesian Model-Based Demography Agency, Complexity and Uncertainty in Migration Studies / by Bijak, Jakub

Table of Contents: “…Part I: Preliminaries: Chapter 1. Introduction -- Chapter 2. …”
Link to Metadata

Academic Integrity in Canada An Enduring and Essential Challenge /

Table of Contents: “…Section I: Understanding the big picture of academic integrity in Canada: An Enduring Challenge -- Section introduction: Understanding the big picture of academic integrity in Canada -- Academic integrity in Canada: A historical perspective and current trends -- Integrity violations in the academy: A decade of growing complexity and concern (2010-2020) -- Confronting COVID-19: What the pandemic taught us about academic integrity -- Academic integrity through a SoTL Lens and 4M Framework: An institutional self-study -- An administrator's perspectives of the academic misconduct ecosystem: recommendations for resolving multi-stakeholder differences -- Re-defining academic Integrity with Indigenous truths -- Accountability, relationality and Indigenous epistemology: Advancing an Indigenous perspective on academic integrity -- Understanding provincial and territorial academic integrity policies for elementary and secondary education in Canada -- Section II: Understanding academic integrity in specific contexts -- Section introduction: Understanding academic integrity in specific contexts -- Academic integrity in Canadian engineering schools -- Teaching the teachers: Do preservice teachers plagiarise? …”
Link to Metadata

No Truth Without Beauty God, the Qur'an, and Women's Rights / by El-Ali, Leena

Table of Contents: “…Hadith Corpus -- 3. Hadith Content -- 4. Women and the Development of hadith Literature -- AT A GLANCE: First the Qur'an, then Islam -- Part II The Nature of Women -- 5. …”
Link to Metadata

Principles and Pedagogies in Jewish Education by Chazan, Barry

Table of Contents: “…Chapter 1. The Journey Begins -- Chapter 2. Philosophy of Education -- Chapter 3. …”
Link to Metadata

Co-Creativity and Engaged Scholarship Transformative Methods in Social Sustainability Research /

Table of Contents: “…Insights and inspiration from explorative research into the impacts of a community arts project -- 8. How to nurture ground for arts-based co-creative practice in an invited space: reflections on a community in North Netherlands -- 9. …”
Link to Metadata

Cold War Civil Defence in Western Europe Sociotechnical Imaginaries of Survival and Preparedness /

Table of Contents: “…1. Introduction: New paths in civil defence history- Marie Cronqvist, Rosanna Farbøl and Casper Sylvest -- 2. …”
Link to Metadata

Anthropologies of Global Maternal and Reproductive Health From Policy Spaces to Sites of Practice /

Table of Contents: “…Chapter 1. Introduction Lauren J. Wallace, Margaret E. …”
Link to Metadata

Monitoring State Compliance with the UN Convention on the Rights of the Child An Analysis of Attributes /

“…Children's Well-Being: Indicators and Research,…”
Link to Metadata

Relational Anthropology for Contemporary Economics A Multidisciplinary Approach /

Table of Contents: “…Chapter 1. Introduction -- Chapter 2. Towards a Relational Anthropology Fostering an Economics of Human Flourishing -- Chapter 3. …”
Link to Metadata