Search Results - "Execution"

O IMPACTO DE UMA ABORDAGEM COMPREENSIVA DE CURTA DURAÇÃO SOBRE O DESEMPENHO DAS AÇÕES OFENSIVAS NO JOGO DE ANDEBOL [The impact of a comprehensive approach on offensive game pl... by António Luis Tulha Duarte Ferreira, Amândio Braga Santos Graça, Maria Luisa Dias Estriga, Edgar Dias da Cruz

Connect to this object online.

PENERAPAN METODE EKSPERIMEN UNTUK MENINGKATKAN HASIL BELAJAR SISWA DALAM PEMBELAJARAN IPA MATERI ENERGI PANAS DAN ENERGI BUNYI by Sari Pratiwi, Hesty

Link Metadata

PENGEMBANGAN MODEL PELATIHAN UPAKARA BERBASIS NILAI PENDIDIKAN AGAMA HINDU UNTUK MENINGKATKAN PERILAKU KEWIRAUSAHAAN : Studi pada Remaja Putus Sekolah di Kelurahan Peguyangan Kota... by Sudarsana, I Ketut

Link Metadata

ANALISIS KEMAMPUAN KOGNITIF DAN KREATIVITAS PESERTA DIDIK MELALUI PROBLEM BASED-LEARNING PADA SUB MATERI PENJERNIHAN AIR by Eli, Rohaeni Nur

Link Metadata

TRADISI SEBA PADA MASYARAKAT ADAT BADUY SEBAGAI PERWUJUDAN WARGA NEGARA YANG BAIK : Studi Kasus terhadap Masyarakat Adat Baduy Desa Kanekes Kecamatan Leuwidamar Kabupaten Lebak by Febrina, Winda

Link Metadata

UJI VALIDITAS DAN RELIABILITAS TES GAME PERFORMANCE ASSESSMENT INSTRUMENT (GPAI) TERHADAP SISWA SMP DI KABUPATEN BANDUNG BARAT by Yayan Gunawan, -

Link Metadata

PENERAPAN PENDEKATAN KONTEKSTUAL UNTUK MENINGKATKAN HASIL BELAJAR SISWA PADA MATA PELAJARAN IPA TENTANG MATERI SIFAT-SIFAT AIR by Nurmaini

Link Metadata

KINERJA KEPALA DESA DALAM MENINGKATKAN PELAYANAN BIROKRASI PEMERINTAHAN DESA CIKAUM TIMUR KECAMATAN CIKAUM KABUPATEN SUBANG. by Anwar, Agasi

Link Metadata

AKUNTABILITAS KEPEMIMPINAN MANAJERIAL KEPALA SEKOLAH DASAR PADA ERA OTONOMI DAERAH by Muhammad Nasir, -

Link Metadata

PERBANDINGAN MODEL PROBLEM BASED LEARNING DENGAN DIRECT LEARNING TERHADAP HASIL BELAJAR PASSING DAN SHOOTING DALAM FUTSAL DI SMP NEGERI 3 GANDRUNGMANGU CILACAP by Den Aji Eko Prasetiyo, -

Link Metadata

The Belt and Road Initiative Green Development Case Studies Report 2020

Table of Contents: “…Congratulation massage -- Executive summary -- Chapter i: Biodiversity and Ecological Systems -- Chapter ii: Clean Energy -- Chapter iii: Clean Water -- Chapter iv: Sustainable Traffic -- Chapter v: Solid Waste Treatment -- Chapter vi: Sustainable Consumption and Production -- Chapter vii: Green Architecture -- Chapter viii: Corporate Social Responsibility -- Conclusion.…”
Link to Metadata

From Bilateral Arbitral Tribunals and Investment Courts to a Multilateral Investment Court Options Regarding the Institutionalization of Investor-State Dispute Settlement / by Bungenberg, Marc, Reinisch, August

Table of Contents: “…FM -- Executive Summary -- Introduction -- Targets for the Reorganization of the Investment Protection Regime -- Design and Implementation of a Two-Tiered MIC -- Applicable Law -- The Pronoucement of Decisions and Its Consequences -- Recognition and Enforcement of Decisions.…”
Link to Metadata

Times of Insight: Conscience, Corporations, and the Common Good by Goodpaster, Kenneth E.

Table of Contents: “…MBA Pedagogy -- Chapter 6. Executive Development -- CONCLUSION: Corporations, Conscience, and the Common Good -- APPENDIX.…”
Link to Metadata

Pro TBB C++ Parallel Programming with Threading Building Blocks / by Voss, Michael, Asenjo, Rafael, Reinders, James

Table of Contents: “…-- Chapter 2: Generic Parallel Algorithms -- Chapter 3: Flow Graphs -- Chapter 4: TBB and the C++ Parallel Standard Template Library -- Chapter 5: Synchronization: why and how to avoid it -- Chapter 6: Data Structures for Concurrency -- Chapter 7: Scalable Memory Allocation -- Chapter 8: Mapping Parallel Patterns to TBB -- Part II -- Chapter 9: The Pillars of Composability -- Chapter 10: Using tasks to create your own algorithms -- Chapter 11: Controlling the Number of Threads Used for Execution -- Chapter 12: Using Work Isolation for Correctness and Performance -- Chapter 13: Creating Thread-to-core and Task-to-thread Affinity -- Chapter 14: Using Task Priorities -- Chapter 15: Cancellation and Exception Handling -- Chapter 16: Tuning TBB Algorithms: Granularity, Locality, Parallelism and Determinism -- Chapter 17: Flow Graphs: Beyond the Basics -- Chapter 18: Beef up Flow Graphs with Async Nodes -- Chapter 19: Flow Graphs on steroids: OpenCL Nodes -- Chapter 20: TBB on NUMA architectures -- Appendix A: History and Inspiration -- Appendix B: TBB Précis -- Glossary. .…”
Link to Metadata

Architecture of Advanced Numerical Analysis Systems Designing a Scientific Computing System using OCaml / by Wang, Liang, Zhao, Jianxin

Link to Metadata

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

One Hundred Years of Chemical Warfare: Research, Deployment, Consequences

Link to Metadata

Le Bouclier de Neptune : La politique de défense des bases françaises en Méditerranée (1912-1931) by Frédéric Saffroy

DOAB: download the publication
DOAB: description of the publication

Le concert et son public : Mutations de la vie musicale en Europe de 1780 by Hans Erich Bödeker

DOAB: download the publication
DOAB: description of the publication

Les maîtres du jeu : Pouvoir et violence politique by Clément Onimus

DOAB: download the publication
DOAB: description of the publication