Search Results - "decision making"

HUBUNGAN ANTARA KEPEMIMPINAN KEPALA PERPUSTAKAAN DENGAN KINERJA TENAGA PERPUSTAKAAN (Studi Deskriptif Kuantitatif pada UPT Perpustakaan ITB Bandung) by Dida Anggara Dwipraja, -

Link Metadata

EVALUASI PENILAIAN AUTENTIK DALAM KURIKULUM 2013 DI SD NEGERI TOTAL PERSADA KOTA TANGERANG by Dea Afinna, -

Link Metadata

PENDAPAT MAHASISWA TENTANG HASIL BELAJAR PENDIDIKAN KONSUMEN PADA PERILAKU MAHASISWA DALAM PEMENUHAN KEBUTUHAN DASAR by Purwadi, Muhlis

Link Metadata

MOTIVASI VOLUNTOURISTS INDONESIA MENGIKUTI KEGIATAN VOLUNTOURISM DENGAN PENDEKATAN PUSH AND PULL FACTORS (Studi Kasus Voluntourists Indonesia Mengikuti Sawasdee Projek Thailand) by Muhamad Fauzi, -

Link Metadata

RANCANG BANGUN GAME EDUKASI UNTUK PENGENALAN KEBUDAYAAN KAMPUNG NAGA MENGGUNAKAN METODE FINITE STATE MACHINE (FSM) by Muhammad Ikhsan Nurulfalaah, -

Link Metadata

PENGARUH POWER TUNGKAI TERHADAP KECEPATAN LARI SERTA KOORDINASI MATA DAN KAKI TERHADAP AKURASI TENDANGAN PADA ATLET SEPAKBOLA by Muhammad Irsyad Abdul Fattah, -

Link Metadata

PENERAPAN MODEL NAÏVE BAYES DALAM KLASIFIKASI RISIKO KREDIT by Putri Beliani, -

Link Metadata

IMPLEMENTASI METODE DESIGN THINKING PADA ANIMASI ALESTRIA: MEDUSA'S GAUNTLET DI POHACI ANIMATION by Saddam Wildhan Aulia Arshandya, -

Link Metadata

PENGARUH PENGUMUMAN SAHAM BONUS TERHADAP VOLUME PERDAGANGAN SAHAM DAN RETURN SAHAM by Meilani, Lala

Link Metadata

設計思考人生課程的發展與實施： 以技職校院師資生為例 Career Development and Improvements of Preservice Teachers Through Design Your Life Course at Science and Technology Universities... by 王佳琪 Chia-Chi Wang, 宋世祥 Shih-Hsiang Sung

Connect to this object online.

Partnership for European Research in Occupational Safety and Health (PEROSH) - Celebrating 20 years of collaboration by Steffen Bohni Nielsen, Margrethe Schøning, Louis Laurent, Jan Michiel Meeuwsen

Connect to this object online.

Regenerative Territories Dimensions of Circularity for Healthy Metabolisms /

Table of Contents: “…The role of Living Labs in regenerative decision-making processes(Maria Cerreta) -- Part IV: New definitions: a shared glossary -- Chapter 13. …”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Table of Contents: “…Verifying Probabilistic Programs via Generating Functions -- Abstraction-Renement for Hierarchical Probabilistic Models -- Formal Methods for Neural Networks Shared Certificates for Neural Network Verification -- Example Guided Synthesis of Linear Approximations for Neural Network Verification -- Verifying Neural Networks Against Backdoor Attacks -- Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning -- Neural Network Robustness as a Verication Property: A Principled Case Study -- Software Verication and Model Checking The Lattice-Theoretic Essence of Property Directed Reachability Analysis -- A‑ne Loop Invariant Generation via Matrix Algebra -- Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes -- Proof-guided Underapproximation Widening for Bounded Model Checking -- SolCMC: Solidity Compiler's Model Checker -- Sharygina Hyperproperties and Security Software Verication of Hyperproperties Beyond k-Safety -- Abstraction Modulo Stability for Reverse Engineering -- A Modular and Highly Extensible API Fuzzer for SMT Solvers -- Automata and Logic FORQ-based Language Inclusion Formal Testing -- Sound Automation of Magic Wands -- Divide-and-Conquer Determinization of Büchi Automata based on SCC Decomposition -- Complementing Büchi Automata with Ranker -- Deductive Verication and Decision Procedures Even Faster Conicts and Lazier Reductions for String Solvers -- Local Search For SMT on Linear Integer Arithmetic -- Reasoning about Data Trees using CHCs -- Veried Erasure Correction in Coq with MathComp and VST -- Appel End-to-end Mechanised Proof of an eBPF Virtual Machine for Microcontrollers -- A DSL and Verication Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols -- Machine Learning Specication-Guided Learning of Nash Equilibria with High Social Welfare -- Synthesizing Fair Decision Trees via Iterative Constraint Solving -- SMT-based Translation Validation for Machine Learning Compiler -- Lee Verifying Fairness in Quantum Machine Learning -- MoGym: Using Formal Models for Training and Verifying Decision-making Agents -- Synthesis and Concurrency Synthesis and Analysis of Petri Nets from Causal Specications -- Verifying generalised and structural soundness of workow netsvia relaxations -- Capture, Analyze, Diagnose: Realizability Checking of Requirements in FRET -- Information Flow Guided Synthesis -- Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation.…”
Link to Metadata

The Impact of Covid-19 on the Institutional Fabric of Higher Education Old Patterns, New Dynamics, and Changing Rules? /

Table of Contents: “…Section 1: Setting the Stage -- Chapter 1: Assessing the impact of COVID-19 on the institutional fabric of Higher Education -- Section 2: The System's Responses to COVID-19 -- Chapter 2: Evidence, stakeholders and decision making: managing COVID-19 in Irish Higher education -- Chapter 3: New actors, administrative measures and conflicting agendas: The impact of the pandemic on internationalisation of higher education in Poland and Russia -- Chapter 4: Highlighting systemic inequalities: The impact of the COVID-19 pandemic on French Higher Education -- Chapter 5: Higher education institutions responses to COVID-19 in Uganda: Regulatory tools and adaptive institutions -- Section 3: Higher Education Institutions' Responses to COVID-19 -- Chapter 6: Higher Education in Brazil: Institutional actions for the retention of students in public and private sectors -- Chapter 7: Higher Education in Brazil: Institutional actions for the retention of students in public and private sectors -- Chapter 8: Internationalization of higher education in Argentina upon the arrival of Covid-19: Reactions and lessons from the perspective of International Relations Office -- Chapter 9: University-civic engagement in the time of the pandemic -- Chapter 10: Public Service Resilience in a post-COVID-19 world: The Case of Digital Transformation in Higher Education -- Chapter 11: Entrepreneurial universities: From research groups to spin-off companies in a time of COVID-19 -- Section 4: Actors' Responses to COVID-19 -- Chapter 12: Challenges, Opportunities, and Coping Strategies when Faced with the COVID-19 Pandemic: A Qualitative Study of Academics in Mainland China and Hong Kong -- Chapter 13: "We shouldn't let academia exhaust ourselves anymore!"…”
Link to Metadata

Evaluating Climate Change Action for Sustainable Development

Link to Metadata

Communicative Figurations Transforming Communications in Times of Deep Mediatization /

Table of Contents: “…Communicative practices and political decision-making in a changing media environment; Tanja Pritzlaff-Scheele & Frank Nullmeier -- 13. …”
Link to Metadata

Earth Observation (EO), Remote Sensing (RS), and Geoinformation (GI) Applications in Svalbard

DOAB: download the publication
DOAB: description of the publication

La Ética y la Responsabilidad Social Empresarial, un reto para las Empresas en preservar los recursos naturales del Ecuador by López-Pérez, Patricio Javier

DOAB: download the publication
DOAB: description of the publication

20 år med fysikkprestasjoner i fritt fall Analyser fra TIMSS Advanced og andre internasjonale studier by Hole, Arne

DOAB: download the publication
DOAB: description of the publication