PENGARUH EXPERIENTIAL MARKETING TERHADAP CUSTOMER SATISFACTION DI GALERI IPTEK SABUGA BANDUNG: Survey pada siswa SMA dan SMKyang telah berkunjung ke Galeri Iptek Sabuga Bandung by Rosita, Rosi

Link Metadata

PENGARUH MODEL PEMBELAJARAN KOOPERATIF TERHADAP HASIL BELAJAR DAN KETERAMPILAN SOFTBALL : studi eksperimen terhadap ekstrakulikuler softball di yayasan badan perguruan Indonesia SM... by Mustaqim, Ihsan

Link Metadata

EFEKTIVITAS KOMUNIKASI TERHADAP KERJASAMA TIM DALAM CABANG OLAHRAGA PERMAINAN BOLA BASKET: Studi Deskriptif Tim Bola Basket di SMPN 1 Ciledug. by Saepuloh, Agung

Link Metadata

THE EFFECTIVENESS OF CHAIN OF SHORT MESSAGE SERVICE OF VOCABULARY IN ENHANCING HIGH SCHOOL STUDENTS' VOCABULARY : A research to examine the improvement of high school students' voc... by Purbaya, Reza

Link Metadata

IMPLEMENTASI LATIHAN TERPUSAT (BLOCKED PRACTICE) DENGAN LATIHAN ACAK (RANDOM PRACTICE) UNTUK MENINGKATKAN KETERAMPILAN DASAR PADA PERMAINAN SEPAKBOLA : Studi Eksperimen pada S... by Wahyudi, Rakhmat

Link Metadata

PERBANDINGAN MODEL PEMBELAJARAN KOOPERATIF TIPE JIGSAW DENGAN STUDENT TEAM ACHIEVMENT DIVISION (STAD) TERHADAP KETERAMPILAN BERMAIN DALAM PERMAINAN BOLA BASKET by Ramdhan, Muhammad

Link Metadata

PENGARUH AKTIVITAS FISIK HIGH INTENSITY INTERMITTENT EXERCISE (HIIE) TERHADAP PENURUNAN OBESITAS DAN PENINGKATAN SELF ESTEEM SISWA by Auguntari, Inkeu Tri

Link Metadata

METODE FONIK BERBANTUAN MEDIA SCRABBLE UNTUK PEMBELAJARAN MEMBACA PERMULAAN PADA ANAK BERKESULITAN MEMBACA by Dzahban Jodhie, -

Link Metadata

PENGARUH PENGGUNAAN PROGRAM PEMBELAJARAN KOMPUTER TERHADAP PENGUASAAN KOSA KATA BAHASA SUNDA ANAK USIA DINI by Atiasih

Link Metadata

Tobacco Control Policy in the Netherlands Between Economy, Public Health, and Ideology / by Willemsen, Marc C.

Table of Contents: “…Chapter 1 Introduction -- Chapter 2 Dutch tobacco control policy from the 1950s to the present -- Chapter 3 The tempo of Dutch tobacco control policy -- Chapter 4 The national policy environment -- Chapter 5 Making tobacco control policy work: rules of the game -- Chapter 6 The international context: EU and WHO -- Chapter 7 Scientific evidence and policy learning -- Chapter 8 Tobacco industry influence -- Chapter 9 The tobacco control coalition -- Chapter 10 Problem identification and agenda setting -- Chapter 11 Conclusions.…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

Community-Oriented Policing and Technological Innovations

Table of Contents: “…Introduction -- Synergy of Predictive Policing and Community Policing Paradigms -- Advances in Criminological Research Using Smart Phone Applications to Gather Data -- 1996 Initiatives to Integrate Technology into Community Policing: 20 Years Later -- Serious Games: An Attractive Approach to Improve Crime Awareness -- Statistical Analysis of Suspended Terrorism-Related Content on Social Media -- Next Generation of Community Policing: The Unity IT Toolkit -- Community Outreach and Officer Performance Assessment Using Visual Analytics -- Can Technology Build Trust? …”
Link to Metadata

Learning in the Digital Age by Bayeck, Rebecca, Brown, Wilmon, Francis, Raymond W., Kolski, Tammi, Essmiller, Kathy, Green, Cathy L., Lewis, Sarah L., McCabe, Corrine, Shikongo, Josephine, Wise, Tammy, Fulgencio, Jose

Table of Contents: “…Introduction -- Board Games and Learning: Why Care in the Digital Age? …”
Access online version

Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Pe...

Table of Contents: “…-- Investigating the Role of ChatGPT in Supporting Text-Based Programming Education for Students and Teachers -- All Green: How Different Age Groups Solved the Same Bebras Task -- Effects of the COVID-19 pandemic on the Bebras Computational Thinking Challenge: Comparing numbers, examining reasons and investigating recommendations -- The Function of Note-Taking in Problem Solving in the Computer Science Escape Game Room -- An Exploratory Investigation on High-School Students' Understanding of Threads -- Combining Models to Orchestrate an Instructional Scenario Fostering Computational Thinking in Educational Robotics -- Teachers' Knowledge in Informatics---Exploring Educational Robotics Resources Through the Lens of Textual Data Analysis -- Reshaping Unplugged Computer Science Workshops for Primary School Education -- Evaluating the New Secondary CS Curriculum in the Netherlands - The Teachers' Perspective -- Navigating the Implementation of the Curriculum Digital Education in Austrian Secondary Schools: Challenges and Teacher Perspectives -- Bridging the Gap: Infusing Natural Science Classes with Computer Science Concepts and Skills.…”
Link to Metadata

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

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Groundwater overexploitation in the North China Plain: A path to sustainability by Kinzelbach, Wolfgang, Wang, Haijing, Li, Yu, Wang, Lu, Li, Ning

Link to Metadata

Mathematical Modeling and Intelligent Optimization in Green Manufacturing & Logistics

DOAB: download the publication
DOAB: description of the publication

Open Book in Ways of Water by Wolfond, Adam

DOAB: download the publication
DOAB: description of the publication

Eine Theorie von der Wissenschaft des Recht

DOAB: download the publication
DOAB: description of the publication

Mobile Screens The Visual Regime of Navigation by Verhoeff, Nanna

DOAB: download the publication
DOAB: description of the publication