Search Results - "executed"

PENGARUH PELAKSANAAN PRAKTEK KERJA INDUSTRI TERHADAP MINAT BERKARIR MAHASISWA PENDIDIKAN TEKNOLOGI AGROINDUSTRI by Munggaran, Saeful Imam

Link Metadata

AJÉN BUDAYA DINA SENI AJÉNG DI DÉSA CIPELANG KECAMATAN UJUNGJAYA KABUPATÉN SUMEDANG PIKEUN BAHAN PANGAJARAN MACA DI SMA by Lestari, Nindia

Link Metadata

PENERAPAN TEKNIK ALEXANDER UNTUK MENGATASI KEKAKUAN JARI TANGAN PEMULA DEWASA DALAM BIDANG INSTRUMEN PIANO by Annisa, Auliya Ayu

Link Metadata

GERAKAN DONGHAK: SUATU KAJIAN SOSIO-HISTORIS GERAKAN SOSIAL PETANI DI KOREA TAHUN 1894-1895 by Rosinah, Eros

Link Metadata

PENGARUH MODEL PENILAIAN OTENTIK DALAM PEMBELAJARAN SOSIOLOGI TERHADAP KEMAMPUAN ADAPTASI SOSIAL PESERTA DIDIK KELAS XI IPS SMA NEGERI 4 BANDUNG by Iskandar, Carla Monica

Link Metadata

NILAI-NILAI PENDIDIKAN YANG TERKANDUNG DALAM QS. AL-NAḤL AYAT 125 DAN IMPLIKASINYA TERHADAP PENGEMBANGAN METODE PENDIDIKAN ISLAM by Nuraeni, Reni

Link Metadata

PENGGUNAAN MEDIA SLIME UNTUK MENINGKATKAN KEMAMPUAN MENULIS PERMULAAN ANAK CEREBRAL PALSY DI SLB NEGERI BANDUNG BARAT KAMPUS II by Lidiawati, Linda, Linda

Link Metadata

PENGARUH HASIL PELATIHAN BAITUL ARQOM TERHADAP KEMAMPUAN KEPEMIMPINAN KADER AISYIYAH JAWA BARAT by Nurlaeli, Nelly Julianti

Link Metadata

MODEL COOPERATIVE LEARNING PADA PELATIHAN PEMANDU DASAR KOPERASI DI LEMBAGA PENDIDIKAN PERKOPERASIAN NASIONAL (LAPENKOPNAS) by Ipan Sopian, -

Link Metadata

PENGARUH MUTASI PEGAWAI TERHADAP KEPUASAN KERJA KARYAWAN DI BADAN KEPEGAWAIAN DAERAH KOTA BANDUNG by Aminah, Siti

Link Metadata

KAJIAN NILAI-NILAI KESEJARAHAN PADA HIKAYAT PRANG SABI KARYA TEUNGKU CHIK PANTE KULU DAN PEMANFAATANNYA SEBAGAI BUKU PENGAYAAN PENGETAHUAN DI SMA by Mutia Agustisa, -

Link Metadata

Analisis Penanggulangan Pelanggaran Kedisiplinan Terhadap Proses Belajar Siswa by Dian Robiatussa'diyah, -

Link Metadata

RUANG BERMAIN DIGITAL TERHADAP RELATIONSHIP SKILL ANAK DI ERA PANDEMI: Studi Analisis Game Digital terhadap Relationship Skill Anak Usia 4-6 Tahun by Amelinda Syahiba Lestari, -

Link Metadata

PENGEMBANGAN MEDIA PEMBELAJARAN BERBASIS ETNOMATEMATIKA MOTIF BATIK TRUSMI UNTUK PENCAPAIAN LITERASI MATEMATIS SISWA by Diana Ayu Wulandari, -

Link Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata

Rational Cybersecurity for Business The Security Leaders' Guide to Business Alignment / by Blum, Dan

Table of Contents: “…Chapter 1: Executive Overview -- Chapter 2: Identify and Align Security-Related Roles -- Chapter 3: Put the Right Security Governance Model in Place -- Chapter 4: Strengthen Security Culture through Effective Communications and Awareness Programs -- Chapter 5: Manage Risk in the Language of Business -- Chapter 6: Establish a Control Baseline -- Chapter 7: Simplify and Rationalize IT and Security -- Chapter 8: Control Access with Minimal Drag on the Business -- Chapter 9: Institute Resilience Through Detection, Response, and Recovery -- Chapter 10: Create Your Rational Cybersecurity Success Plan -- Glossary of Terms and Acronyms. .…”
Link to Metadata

META-NET Strategic Research Agenda for Multilingual Europe 2020

Table of Contents: “…Key Messages -- Executive Summary -- 1.Introduction -- 2.Multilingual Europe: Facts, Challenges, Opportunities -- 3.Major Trends in Information and Communication Technologies -- 4.Language Technology 2012: Current State and Opportunities -- 5.Language Technology 2020: The META-NET Technology Vision -- 6.Language Technology 2020: Priority Research Themes -- 7.Towards a Shared European Programme for Multilingual Europe 2020: Next Steps -- A.References -- B.List of Key Contributors -- C.Milestones and History of the Strategic Research Agenda -- D.About META-NET -- E.Members of META-NET -- F.Abbreviations and Acroynms.…”
Link to Metadata

Strategic Management by Reed, Kennedy B.

Table of Contents: “…Chapter 9: Competing in International Markets -- X. Chapter 10: Executing Strategy through Organizational Design -- XI. …”
Access online version

Análise comparativa do movimento de extensão de joelho na cadeira extensora, associado à dorsiflexão ou flexão plantar do tornozelo durante treinamento de hipertrofia em mulhe... by Thais Regina Galdino, Peter A. Kneubuehler

Connect to this object online.

Análise comparativa da expansão maxilar com três marcas de parafusos com limitador posterior: ensaio laboratorial em Typodont Comparative analysis of rapid maxillary expansion u... by Ricardo Damo Meneguzzi, Luciane Macedo de Menezes, Susana Maria Deon Rizzatto

Connect to this object online.