खोज परिणाम - 印尼~

Remittances as Social Practices and Agents of Change The Future of Transnational Society /

विषय - सूची: “…Chapter 1. Introduction: Remittances as Social Practices and Agents of Change -- Part I: Historical Perspectives: Paving the Platform for Remittance Research -- Chapter 2. …”
Link to Metadata

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

विषय - सूची: “…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 /

विषय - सूची: “…-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 /

विषय - सूची: “…Conclusion -- 9. Appendix 1: Consent and photography -- 10. Appendix 2: Informed Consent -- 11. …”
Link to Metadata

Land Tenure Security and Sustainable Development

विषय - सूची: “…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

The Comprehensive Cancer Center Development, Integration, and Implementation /

विषय - सूची: “…Introduction: The Overall structure of a Comprehensive Cancer Center -- Inpatient Unit -- Outpatient Unit -- Infusion Center -- Staffing Requirement -- Nursing -- Radiation Therapy Facility -- Surgical Unit -- Pharmacy -- Laboratory Support -- Supportive Care -- Palliative Care -- Blood Bank -- Home Care -- Transplantation and Cellular Therapy -- Training -- Quality Management -- Data Unit -- Finance -- Cost of Medication -- Cancer Treatment at Sites with Limited Resources. .…”
Link to Metadata

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

विषय - सूची: “…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 द्वारा Klestil, Matthias

विषय - सूची: “…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 /

विषय - सूची: “…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

Physics of Earth's Radiation Belts Theory and Observations / द्वारा Koskinen, Hannu E. J., Kilpua, Emilia K. J.

Link to Metadata

Neighbourhoods in Transition Brownfield Regeneration in European Metropolitan Areas / द्वारा Rey, Emmanuel, Laprise, Martine, Lufkin, Sophie

विषय - सूची: “…Part 1: Definition and issues -- Introduction -- Urban brownfields: Origin, definition, and diversity -- The multiple potentials of urban brownfields -- Urban brownfield regeneration projects: Complexities and issues -- Sustainability issues at the neighbourhood scale -- Part 2: Project dynamics and support tools -- Key steps of a regeneration process -- Specific skills and adapted support -- Sustainability monitoring: Principles, challenges, and approaches -- An operational monitoring tool -- Application to a case study -- Conclusion -- Appendix.…”
Link to Metadata

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

विषय - सूची: “…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 /

विषय - सूची: “…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

Towards an Emissions Trading System in Mexico: Rationale, Design and Connections with the Global Climate Agenda Outlook on the first ETS in Latin-America and Exploration of the Way Forward /

विषय - सूची: “…Setting the stage -- Introducing markets to fight climate change in Mexico -- Policy Design and Implementation Considerations for the Mexican -- The Emissions Trading System (ETS): an analysis from the public policy instruments perspective: Eduardo Villarreal -- Co-Benefits, Concentrated Interests, and Mitigation Policy Adoption in Mexico: A Proposal for the Mexican Emissions Trading Scheme: Rolando Garcia Miron and Arjuna Dibley -- International Cooperation: Putting the Pieces Together for the Mexican Carbon Market. .…”
Link to Metadata

Modes of Esports Engagement in Overwatch

विषय - सूची: “…- 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

विषय - सूची: “…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 / द्वारा Bijak, Jakub

विषय - सूची: “…Part I: Preliminaries: Chapter 1. Introduction -- Chapter 2. …”
Link to Metadata

Access to Medicines and Vaccines Implementing Flexibilities Under Intellectual Property Law /

विषय - सूची: “…Cooperation and Work Sharing between Patent Offices -- IPRs, Competition Law and excessive pricing of medicines -- The impact of TRIPS plus rules -- Patent Linkages and its Impact on Access to Medicines.…”
Link to Metadata

Ernst Denert Award for Software Engineering 2020 Practice Meets Foundations /

विषय - सूची: “…-- Open Source Software Governance: Distilling and Applying Industry Best Practices -- Dynamically Scalable Fog Architectures -- Crossing Disciplinary Borders to Improve Requirements Communication -- DevOps Use: A Community-Oriented Methodology for Societal Software Engineering -- Hybrid Differential Software Testing -- Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules -- Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems -- Improving the Model-Based Systems Engineering Process -- Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics.…”
Link to Metadata

Academic Integrity in Canada An Enduring and Essential Challenge /

विषय - सूची: “…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