Search Results - "Execution"

Development and implementation of ISAR, a new synthesis platform for radiopharmaceutical production by Christopher Frank, Georg Winter, Fredrik Rensei, Victor Samper, Allen F. Brooks, Brian G. Hockley, Bradford D. Henderson, Christian Rensch, Peter J. H. Scott

Connect to this object online.

Household exposure to violence and human rights violations in western Bangladesh (I): prevalence, risk factors and consequences by Montgomery Edith, Modvig Jens, Wang Shr-Jie

Connect to this object online.

A Lexicon of Medieval Nordic Law by Love, Jeffrey

OAPEN Library: download the publication
OAPEN Library: description of the publication

PENGELOLAAN PEMBELAJARAN ILMU PENGETAHUAN ALAM PADA SEKOLAH UNGGULAN DI SMP NEGERI 1 PURWODADI by DUMININGSIH , DUMININGSIH

Connect to this object online

TINJAUAN YURIDIS TERHADAP PELAKSANAAN PENGANGKATAN ANAK PASCA BERLAKUNYA UNDANG-UNDANG NOMOR 3 TAHUN 2006 by Bastoni, Mohammad

Connect to this object online

PERSEPSI GURU MATA PELAJARAN BAHASA INDONESIA DI SMP DAN MTS BOYOLALI TERHADAP PENILAIAN DALAM KURIKULUM 2013 by LISNAWATI, LISNAWATI

Connect to this object online

Peningkatan Minat Dan Hasil Belajar MatematikaMelalui Strategi Talking Stick Pada Siswa Kelas V SDN 02 Puntukrejo Kecamatan Ngargoyoso Tahun Ajaran 2015/2016 by Hartono, Daisy Putriasih, , Dra. Risminawati, M.Pd

Connect to this object online

Pengelolaan Karakter Kerja Keras Dalam Ekstrakurikuler Pramuka Di SD N 1 Plosorejo by Kusumaningtyas, Wahyu, , Prof. Dr. Sutama, M.Pd, , Dr. Sabar Narimo, MM, M.Pd

Connect to this object online

UPAYA MENINGKATKAN KEPERCAYAAN DIRI MELALUI PENERAPAN MODIFIKASI PEMBELAJARAN DALAM LOMPAT TINGGI by Tanti Triyana, -

Link Metadata

PENERAPAN PENDEKATAN TAKTIS UNTUK MENINGKATKAN JUMLAH WAKTU AKTIF BELAJAR SISWA PADA PEMBELAJARAN PERMAINAN SEPAKBOLA:Penelitian Tindakan Kelas Pada Siswa Kelas X di SMAN 1 Lembang by Asep Jaka Umbara, -

Link Metadata

TANGGUNG JAWAB DEBITUR ATAS PENGALIHAN OBYEK JAMINAN FIDUSIA PERJANJIAN PEMBIAYAAN MULTIGUNA KEPADA PIHAK KETIGA by Liva Wadillah,

Link Metadata

ANALISIS KERENTANAN INSECURE DESIGN DAN SERVER SIDE REQUEST FORGERY (SSRF) DENGAN METODE PTES (Studi Kasus Objek Buggy Web Application) by Muhammad Ridwan Fazli,

Link Metadata

MODÉL DÉMONSTRASI PIKEUN NGARONJATKEUN KAMAMPUH NGAREGEPKEUN CARITA PONDOK: Panalungtikan Tindakan Kelas ka Siswa Kelas IX D SMP Negeri 17 Bandung Taun Ajaran 2011-2012 by Silmi Millatina Hermawan, -

Link Metadata

PENGARUH PEMBELAJARAN PENDIDIKAN KEWARGANEGARAAN SEBAGAI PENDIDIKAN POLITIK TERHADAP VOTING BEHAVIOR PEMILIH PEMULA PADA PELAKSANAAN PEMILUKADA KABUPATEN ACEH TIMUR TAHUN 2012 by Juanda, None

Link Metadata

State and Local Government and Politics Prospects for Sustainability by Simon, Christopher A., Steel, Brent S., Lovrich, Nicholas P.

Table of Contents: “…Chapter 1: Introduction and Themes -- Chapter 2: Federalism -- Chapter 3: The New Margins: Sustainability -- Chapter 4: Key Actors and the Policy Process in State and Local Governments -- Chapter 5: State Constitutions -- Chapter 6: Legislatures -- Chapter 7: Executives -- Chapter 8: Courts -- Chapter 9: State and Local Bureaucracy and Administration -- Chapter 10: Budgeting and Sustainability -- Chapter 11: Entitlements -- Chapter 12: Traditional and Visible Services: Criminal Justice, Education, Transportation and Emergency Management…”
Access online version

Modern World History by Allosso, Dan, Williford, Tom

Table of Contents: “…Appendix A: Choosing a Chief Executive and Voting15. Appendix B: Finance and Taxes…”
Access online version

Preparing for Life in a Digital Age The IEA International Computer and Information Literacy Study International Report / by Fraillon, Julian, Ainley, John, Schulz, Wolfram, Friedman, Tim, Gebhardt, Eveline

Table of Contents: “…Foreword -- List of Tables and Figures -- Executive Summary -- 1. Introduction -- 2. The Contexts for Education on Computer and Information Literacy -- 3. …”
Link to Metadata

Dependable Embedded Systems

Table of Contents: “…Introduction -- Design of efficient, dependable SoCs based on cross-layer-reliability approach with emphasis on wireless communication as application and DRAM memories -- CRAU: Compositional System-Level Reliability Analysis in the Presence of Uncertainties -- Semantics-aware Soft Error Handling for Embedded Systems using Compiler-OS Interaction -- ARES: Self-Adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems -- Cross-Layer Techniques for Dependable Software Execution on Embedded Systems -- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems -- Cross-Layer Dependability for Embedded Hardware/Software Systems -- Fault-Tolerant Computing with Heterogeneous Hardware/Software Hardening Modes -- Robust Computing for Machine Learning-Based Systems -- Hardening embedded system software -- LIFT: Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach -- VirTherm-3D: Communication Virtualization Enabling System Management for Dependable 3D MPSoCs -- OTERA: Online Test Strategies for Reliable Reconfigurable Architectures -- Variability-Aware Software: Recent Results and Contributions -- EM Lifetime Constrained Optimization for Multi-Segment Power Grid Networks -- Lightweight Software-Assisted Memory Error Correction -- Reliability-Driven Resource Management for Multi-Core Systems-on-Chip -- Monitor Circuits for Device-Circuit Interaction -- PERCIES: Providing Efficient Reliability in Critical Embedded Systems.…”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Les Pays-Bas espagnols et les États du Saint Empire (1559-1579) priorités et enjeux de la diplomatie en temps de troubles by Weis, Monique

DOAB: download the publication
DOAB: description of the publication