Search Results - BAFTA~

ANALISIS KONTRIBUSI TARIF TIKET KERETA API KELAS EKSEKUTIF JURUSAN BANDUNG-SURABAYA TERHADAP PENDAPATAN OPERASI DI PT. KERETA API INDONESIA DAERAH OPERASI 2 BANDUNG by Titiek Setiawati Yulinar, -

Link Metadata

Peningkatan Kemampuan Berbicara Menyampaikan Pengetahuan Baru dari Teks Non-Fiksi Melalui Metode Kooperatif Jigsaw by Siti Kholijah Pulungan

Connect to this object online.

Pengaruh Globalisasi dan Era Disrupsi terhadap Pendidikan dan Nilai-Nilai Keislaman by Ali Fikri

Connect to this object online.

PENETAPAN KADAR SEDIAAN MULTIKOMPONEN OBAT BATUK DAN FLU MENGGUNAKAN METODE ZERO-CROSSING by Athina Mardatillah, Mira Andam Dewi, Anggi Gumilar

Connect to this object online.

Kesalahan Pemahaman Konsep Peserta Didik dalam Menyelesaikan Soal-Soal Integral Lipat Dua pada Koordinat Polar by Rahma Siska Utari, Liana Septy, Lusinda Hutauruk

Connect to this object online.

Evaluasi Penggunaan Antibiotik Profilaksis Pada Pasien Operasi Apendiktomi Di Rumah Sakit Umum Daerah Dr.Moewardi Tahun 2013 by Sulikhah, Nofiah Mar'atus, , Dra. Nurul Mutmainah, M.Si., Apt

Connect to this object online

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

Ethics and Drug Resistance: Collective Responsibility for Global Public Health

Table of Contents: “…Introduction -- Part 1 Theoretical and conceptual approaches to ethics in antimicrobial resistance -- Chapter 1 The practical ethics of antimicrobial resistance as a collective action problem (Julian Savulescu) -- Chapter 2 Collective responsibility for antimicrobial resistance (Angus Dawson) -- Chapter 3 Moral aspects of antimicrobial stewardship (Marcel Verweij) -- Chapter 4 Ethical frameworks for rational antibiotic use (Annette Rid, Jasper Littmann, Alena Buyx) -- Chapter 5 The virtuous physician as antimicrobial prescriber (Justin Oakley) -- Chapter 6 Solidarity and compliance with antimicrobial policy (Søren Holm, Thomas Ploug) -- Chapter 7 Resistance, inequality, and epidemiological transition (Lynette Reid) -- Chapter 8 The price of precaution (Joakim Larsson, Christian Munthe) -- Part 2 Ethics and antimicrobial resistance in context -- Chapter 9 Hospital acquired infection (Lyn Gilbert & Ian Kerridge) -- Chapter 10 Antibiotic use in childhood (Michael Millar) -- Chapter 11 Ethics, animals, public goods (Jonny Anomaly) -- Chapter 12 Malaria (PY Cheah& Mike Parker) -- Chapter 13 Resistant HIV (Bridget Haire) -- Chapter 14 Access & availability of new TB drugs (Diego Silva, Adrian Viens, Jasper Littmann) -- Chapter 15 TB Resistance and Human rights (Leslie London) -- Chapter 16 TB Resistance in developing countries (Richard Coker, Marco Liverani, Mishal Khan) -- Chapter 17 Animal Epidemiology (Lisa Boden & Dominic Mellor) -- Part 3 Ethical, legal and economic aspects of antimicrobial resistance -- Chapter 18 Privacy and data collection(Leslie Francis) -- Chapter 19 Mandatory treatment interventions (Carl Coleman) -- Chapter 20 Ethics and AMR Regulation (Belinda Bennett) -- Chapter 21 Ethics of Drug Development (Nick King) -- Chapter 22 Economics of resistance (Coast/Smith) -- Conclusion.…”
Link to Metadata

The Science of Citizen Science

Table of Contents: “…The Challenges of Definition -- Chapter 2: Citizen Science in Europe -- Part I: Citizen Science as Science -- Chapter 3: Science as a Commons: Improving the Governance of Knowledge through Citizen Science -- Chapter 4: Citizen Science in the Natural Sciences -- Chapter 5: Citizen Humanities -- Chapter 6: Citizen Social Science: New and Established Approaches to Participation in Social Research -- Chapter 7: Data Quality in Citizen Science -- Chapter 8: A Conceptual Model for Participants and Activities in Citizen Science Projects -- Chapter 9: Machine Learning in Citizen Science: Promises and Implications -- Chapter 10: Participation and Co-creation in Citizen Science -- Chapter 11: Citizen Science, Health, and Environmental Justice -- Part II: Citizen Science in Society -- Chapter 12: Participants in Citizen Science -- Chapter 13: Inclusiveness and Diversity in Citizen Science -- Chapter 14: Learning in Citizen Science Chapter -- Chapter 15: Citizen Science Case Studies and Their Impacts on Social Innovation -- Chapter 16: Science as a Lever: The Roles and Power of Civil Society Organisations in Citizen Science -- Chapter 17: Citizen Science and Policy -- Chapter 18: Creating Positive Environmental Impact through Citizen Science -- Chapter 19: Ethical Challenges and Dynamic Informed Consent -- Part III: Citizen Science in Practice -- Chapter 20: Finding What You Need: A Guide to Citizen Science Guidelines -- Chapter 21: Citizen Science Platforms -- Chapter 22: Citizen Science in the Digital World of Apps -- Chapter 23: Communication and Dissemination in Citizen Science -- Chapter 24: Evaluation in Citizen Science: The Art of Tracing a Moving Target Part IV: Conclusions / Lessons Learnt -- Chapter 25: The Recent Past and Possible Futures of Citizen Science: Final Remarks. .…”
Link to Metadata

Textbook of Patient Safety and Clinical Risk Management

Table of Contents: “…Lessons learned from the Japan Obstetric Compensation System for Cerebral Palsy: A novel system of data aggregation, investigation, amelioration, and no-fault compensation -- 34. …”
Link to Metadata

Student Feedback on Teaching in Schools Using Student Perceptions for the Development of Teaching and Teachers /

Table of Contents: “…A general introduction to data use in schools (Cindy Poortman) -- Chapter 12. …”
Link to Metadata

Cybersecurity in Poland Legal Aspects /

Table of Contents: “…Radoniewicz -- Cybersecurity in the European Union law -- National Cybersecurity System Act -- The New National Security Strategy of the Republic of Poland -- The Cybersecurity Strategy of the Republic of Poland -- The functioning of state power structures and cybersecurity -- Personal data protection in the context of the Act on the National Cybersecurity System -- Space security and cybersecurity in Poland -- Part II Competences, obligations and tasks of entities responsible for ensuring cybersecurity under the national cybersecurity system ("imperious entities") -- Cybersecurity as a public task in administration -- The authorities competent for cybersecurity -- The main tasks of the network of Computer Security Incident Response Teams in the light of the Act on the National Cybersecurity System in Poland -- Tasks of the Minister of National Defence in the field of cybersecurity -- Role of the minister competent for computerisation in the cybersecurity system -- The duties and legal status of the Government Plenipotentiary for Cybersecurity and the College for Cybersecurity -- Part III Obligations of other entities included in the national cybersecurity system ("participants" of the national cybersecurity system) -- Tasks of operators of essential services and digital service providers -- The obligations of public entities -- The system of control and supervision of operators of essential services, digital service providers and entities providing cybersecurity services -- Monetary penalties in the National Cybersecurity System Act -- The liability of entities providing services by electronic means for digital content -- Part IV Combating cybercrime as a special task in the area of cybersecurity -- Cybercrime and cyberterrorism in Polish Law -- Cybercrime in selected European countries -- The entities and institutions in charge of combating cybercrime in Poland -- Operational activities in the field of cybersecurity -- Operational activities and the right to privacy -- Summary -- Biographies -- Bibliography.…”
Link to Metadata

Transformational Change for People and the Planet Evaluating Environment and Development /

Table of Contents: “…Measuring the Impact of Monitoring: How We Know Transparent Near-Real-Time Data Can Help Save the Forests -- 19. Application of Geospatial Methods in Evaluating Environmental Interventions and Related Socioeconomic Benefits.…”
Link to Metadata

5th Symposium on Terrestrial Gravimetry: Static and Mobile Measurements (TG-SMM 2019) Proceedings of the Symposium in Saint Petersburg, Russia, October 1 - 4, 2019 /

Table of Contents: “…Part I: Terrestrial, Shipboard and Airborne Gravimetry -- Measurement of Absolute Gravity and Deflection of the Vertical at Sea -- Multi-scenario Evaluation of the Direct Method in Strapdown Airborne and Shipborne Gravimetry -- Improving Gravity Estimation Accuracy for the GT-2A Airborne Gravimeter Using Spline-Based Gravity Models -- Gravimetric Studies in the Sea of Japan -- About Identification of Instrument Error Parameters for a Gravity Gradiometer -- Numerical Model of Moving-Base Rotating Accelerometer Gravity Gradiometer -- New Algorithm for Gravity Vector Estimation from Airborne Data Using Spherical Scaling Functions -- Results of Astro-measurements of the Deflection of Vertical Using the New Observation Technique -- Observations with gPhone Gravimeter in Moscow -- Part II: Absolute Gravimetry -- On Uncertainties of Laser Interferometric Absolute Ballistic Gravimeters due to Magnetic Effects in the Free-Fall Gravity Measurements -- Evaluation of Systematic Errors in the Compact Absolute Gravimeter TAG-1 for Network Monitoring of Volcanic Activities -- Design of New Launch and Interferometer Systems for the IMGC-02 Absolute Gravimeter -- Twelve Years of High Frequency Absolute Gravity Measurements at the UK's Space Geodesy Facility: Systematic Signals and Comparison with SLR Heights -- Part III: Relative Gravimetry and Applications -- Studying the Evolution of Resolution Capabilities and Approximation Accuracy of Global Models by Spectral Characteristics -- The Role of Non-tidal Atmospheric Loading in the Task of Gravity Field Estimation by Inter-satellite Measurements -- Formation of Self-consistent Navigational Gravity Maps of Local Areas and Joint Assessment of Their Navigation Quality -- Methods of Bistatic GNSS-radio Altimetry for Determining Height Profile of the Ocean and Their Experimental Verification -- Absolute and Relative Gravity Measurements at Volcanoes: Current State and New Developments Under the NEWTON-g Project -- The Effect of Measurement Preprocessing in the Gravity-Aided Navigation -- Sensitivity of Algorithms for Estimating the Gravity Disturbance Vector to Its Model Uncertainty.…”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming 18th International Conference, XP 2017, Cologne, Germany, May 22-26, 2017, Proceedings /

Table of Contents: “…An empirical investigation of twenty software startups -- Key Challenges in Agile Requirements Engineering -- A Multiple Case Study on Selecting a Technique for User-Interaction Data Collecting -- Comparing Requirements Decomposition within the Scrum, Scrum with Kanban, XP, and Banana Development Processes -- Effects of Technical Debt Awareness: A classroom study -- Agile in Organizations -- Don't Forget to Breathe: A Controlled Trial of Mindfulness Practices in Agile Project Teams -- Enhancing Agile Team Collaboration through the use of Large Digital Multi-touch Cardwalls -- Knowledge Sharing in a Large Agile Organisation: A Survey Study -- Teaching Agile Methods to Software Engineering Professionals: 10 Years, 1000 Release Plans -- Are Software Startups Applying Agile? …”
Link to Metadata

Poverty Reduction Policies and Practices in Developing Asia

Table of Contents: “…-- Chapter 6: Housing Poverty and Inequality in Urban India -- Part Four: Rural Poverty Reduction Policies -- Chapter 7: Evaluation of the Policy of Crop Diversification as a Strategy for Reduction of Rural Poverty in India -- Chapter 8: Conflict and Livelihood Decisions in the Chittagong Hill Tracts of Bangladesh -- Part Five: Dimensions of Poverty and its Reductions -- Chapter 9: Decomposing Spatial Inequality in Sri Lanka: A Quantile Regression Approach -- Chapter 10: Non-Income Dimensions, Prevalence, Depth and Severity of Poverty: Spatial Estimation with Household Level Data in India -- Chapter 11: Is Poverty Comparable Across Varying Size of Population Among Indian States? …”
Link to Metadata

Global Perspectives of COVID-19 Pandemic on Health, Education, and Role of Media

Table of Contents: “…COVID-19 and the economy: Constructing roadmaps to an inclusive recovery -- 8. Crafting data-driven strategies to understand the amplification of disease spread due to socio- economic disparities -- 9. …”
Link to Metadata

Editorial: Pattern recognition for healthcare analytics by İnci M. Baytaş, Yifan Peng, Arzucan Özgür

Connect to this object online.

Unveiling the black box: imperative for explainable AI in cardiovascular disease (CVD) prevention-author reply by Mayank Dalakoti, Scott Wong, Roger Foo

Connect to this object online.