Search Results - "executed"

PERBANDINGAN PEMBELAJARAN BERBASIS LIFE SKILL DENGAN PEMBELAJARAN SUBJECT MATTER UNTUK MENINGKATKAN PRESTASI BELAJAR SISWA DARI ASPEK PSIKOMOTOR PADA MATA PELAJARAN RANGKAIAN LISTR... by Azukni, -

Link Metadata

PENERAPAN METODE MULTISTAGE RANDOM SAMPLING PADA ANALISIS QUICK COUNT: studi kasus pemilu gubernur jawa barat 2013 by Silvia, Shinta

Link Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

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

Application of implementation mapping to develop strategies for integrating the National Diabetes Prevention Program into primary care clinics by William B. Perkison, William B. Perkison, William B. Perkison, Serena A. Rodriguez, Serena A. Rodriguez, Fernanda Velasco-Huerta, Patenne D. Mathews, Catherine Pulicken, Sidra S. Beg, Natalia I. Heredia, Natalia I. Heredia, Pierre Fwelo, Pierre Fwelo, Grace E. White, Grace E. White, Belinda M. Reininger, John W. McWhorter, Roshanda Chenier, Maria E. Fernandez, Maria E. Fernandez, Maria E. Fernandez

Connect to this object online.

Gaze behavior is influenced by task demands rather than football players creativity by Christian Vater, Svitlana Pinchuk, Stephan Zahno

Connect to this object online.

The effect of single and dual task training on the intracortical inhibition in healthy young adults by Michael Wälchli, Craig Tokuno, Benedikt Lauber, Wolfgang Taube

Connect to this object online.

Convulsionar: simulación de epilepsia neuronal debida a la mutación génica del canal de potasio-m by María Eugenia Pérez Bonilla, Marleni Reyes Monreal, Jessica Quintero Pérez, Arturo Reyes Lazalde

Connect to this object online.

Patterns of civilian and child deaths due to war-related violence in Syria: a comparative analysis from the Violation Documentation Center dataset, 2011-16 by Debarati Guha-Sapir, PhD, Benjamin Schlüter, MSc, Jose Manuel Rodriguez-Llanes, DrPH, Louis Lillywhite, MFOM, Madelyn Hsiao-Rei Hicks, MD

Connect to this object online.

Los programas una computadora por niño en Brasil y Uruguay: estudio de casos / The one laptop per child programs in Brazil and Uruguay: case study by Verónica Gabriela Silva Piovani, Giovani De Lorenzi Pires

Connect to this object online.

Effects of β-alanine supplementation during a 5-week strength training program: a randomized, controlled study by José Luis Maté-Muñoz, Juan H. Lougedo, Manuel V. Garnacho-Castaño, Pablo Veiga-Herreros, María del Carmen Lozano-Estevan, Pablo García-Fernández, Fernando de Jesús, Jesús Guodemar-Pérez, Alejandro F. San Juan, Raúl Domínguez

Connect to this object online.

Evaluación independiente de la crisis de la COVID-19. Lecciones por aprender by Beatriz González López-Valcárcel, Ildefonso Hernández Aguado

Connect to this object online.

Processo de cuidar nas instituições de longa permanência: visão dos cuidadores formais de idosos Proceso de atención en hogares para ancianos: la visión de los cuidadores Car... by Marco Túlio de Freitas Ribeiro, Raquel Conceição Ferreira, Cláudia Silami de Magalhães, Allyson Nogueira Moreira, Efigênia Ferreira e Ferreira

Connect to this object online.

The complete digital workflow in fixed prosthodontics: a systematic review by Tim Joda, Fernando Zarone, Marco Ferrari

Connect to this object online.

Formação do enfermeiro: características do professor e o sucesso escolar Formación de enfermería: características del professsor y su éxito escolar Nurse's training: profess... by Maria Romana Friedlander, Maria Teresa de Arbués Moreira

Connect to this object online.

MITIGASI BENCANA ALAM BERBASIS PEMBELAJARAN BERVISI SCIENCE ENVIRONMENT TECHNOLOGY AND SOCIETY by A. Rusilowati, Supriyadi -, A. Binadja, S. E. S. Mulyani

Connect to this object online.

THE PATHOGENIC SIGNIFICANCE OF IMMUNOLOGICAL DISORDERS IN COMBINED TRAUMATIC BRAIN INJURY AND TOURNIQUET TOXEMIA by S. V. Ziablitsev, Yu. Ya. Kruk, S. E. Zolotukhin, A. V. Necheporchuk

Connect to this object online.

Effectiveness of a mixed lifestyle program in couples undergoing assisted reproductive technology: a study protocol by Padideh Malekpour, Robab hasanzadeh, Mojgan Javedani Masroor, Reza Chaman, Zahra Motaghi

Connect to this object online.

Proposition end validation of regressive mathematical models to estimate maximum dynamic force from predictive neuromuscular variables by Ney Marcos da Luz Pedroso, João Augusto Reis de Moura, João Luiz Zinn

Connect to this object online.

Efficacy of multicomponent interventions on injury risk among ice and snow sports participants-a systematic review and meta-analysis by Zhanjiang Fan, Lanbin Min, Wenbin He, Yaorong Yang, Wen Ma, Jiayi Yao

Connect to this object online.