Search Results - "mathematics"

MENINGKATKAN HASIL BELAJAR PESERTA DIDIK DENGAN MENGGUNAKAN MODEL PEMBELAJARAN KOOPERATIF TIPE JIGSAW PADA OPERASI PENJUMLAHAN BILANGAN BULAT : penelitian tindakan kelas di kelas I... by Nihayah

Link Metadata

KEMAMPUAN PENALARAN STATISTIS, KOMUNIKASI STATISTIS, DAN ACADEMIC HELP-SEEKING MAHASISWA MELALUI PEMBELAJARAN BERBASIS PROYEK BERBANTUAN ICT by Nani, Karman La

Link Metadata

KEMAMPUAN PENYESUAIAN DIRI ANAK CEREBRAL PALSY DI SDN TUNAS HARAPAN :Studi Kasus Pada DV Anak Cerebral Palsy Spastik di Sekolah Penyelenggara Pendidikan Inklusif by Yuliana, Nikki Sarah

Link Metadata

PENINGKATAN KEMAMPUAN BERPIKIR KRITIS DAN KREATIF MATEMATIS SERTA KEMANDIRIAN BELAJAR SISWA SMP MELALUI MODEL LEARNING CYCLE 5E DENGAN TEKNIK METAKOGNITIF by Runisah, Runisah

Link Metadata

KEMAMPUAN BERPIKIR ALJABAR DAN SELF-REGULATED LEARNING SISWA SMP DALAM PEMBELAJARAN CORE : CONNECTING, ORGANIZING, REFLECTING, EXTENDING by Mulkiah, Salma

Link Metadata

KEMAMPUAN BERPIKIR ALJABAR DAN SELF-REGULATED LEARNING SISWA SMP DALAM PEMBELAJARAN CORE (CONNECTING, ORGANIZING, REFLECTING, EXTENDING) by Mulkiah, Saima

Link Metadata

PENINGKATAN KEMAMPUAN REPRESENTASI DAN ABSTRAKSI MATEMATIS SERTA SELF-AWARENESS SISWA SMP MELALUI COGNITIVE APPRENTICESHIP INSTRUCTION by Beni Yusepa Ginanjar Putra, -

Link Metadata

PENINGKATAN LITERASI STATISTIS DAN KEMAMPUAN PENALARAN STATISTIS SERTA SELF-ESTEEM MAHASISWA OLAHRAGA MELALUI PEMBELAJARAN STATISTICAL REASONING LEARNING ENVIRONMENT (SRLE) by Nida'ul Hidayah, -

Link Metadata

PENINGKATAN KEMAMPUAN OPERASI HITUNG BILANGAN BULAT MELALUI PENERAPAN MODEL PEMBELAJARAN KOOPERATIF (NHT) BERBANTUAN MEDIA MANIPULATIF DI SEKOLAH DASAR : Penelitian Tindakan Kelas... by Fitriana, Rina

Link Metadata

KEMAMPUAN BERPIKIR KRITIS DAN KREATIF SISWA DALAM MENYELESAIKAN MASALAH MATEMATIS by Marzuki, -

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: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Multimedia vs concrete model: Review of studies employing the tools in chemistry teaching by Rooserina Kusumaningdyah, Habiddin Habiddin, Yudhi Utomo

Connect to this object online.

Foundations of Robotics A Multidisciplinary Approach with Python and ROS /

Table of Contents: “…-Chapter 4 - Software building blocks: From Python to Version control (Damith Herath, Adam Haskard and Niranjan Shukla) -- Chapter 5 - The Robot Operating System (ROS1&2): programming paradigms and deployment(David St-Onge and Damith Herath) -- Chapter 6 - Mathematical building blocks: From geometry to quaternions to Bayesian(Rebecca Stower, Bruno Belzile and David St-Onge).…”
Link to Metadata

Chemistry of Cooking by Rodriguez-Velazquez, Sorangel

Table of Contents: “…IntroductionEssential Ideas -- Essential Ideas Introduction -- Phases and Classification of Matter -- Physical and Chemical Properties -- Measurements -- Measurement Uncertainty, Accuracy, and Precision -- Mathematical Treatment of Measurement Results -- Energy Basics -- Calorimetry -- Atoms, Molecules, and Ions -- The Periodic Table -- Atoms, Molecules, and Ions -- Atomic Structure and Symbolism -- Chemical Formulas -- Molecular and Ionic Compounds -- Cooking Techniques: Thickening and Concentrating Flavors -- Viscosity -- Thickening Agents -- Types of Thickening Agents -- Coagulation -- Gelatinization -- Crystallization -- Non-traditional thickeners -- Sauces -- Low-temperature and sous-vide -- Understanding Ingredients: Flour -- Introduction -- Understanding Ingredients -- The History of Wheat Flour -- Milling of Wheat -- Flour Streams and Types of Wheat Flour -- Flour Terms and Treatments -- Flour Additives -- Whole Grain and Artisan Milling -- Flour in Baking -- Rye Flour -- Other Grains and Flours -- Understanding Ingredients: Fat -- Understanding Fats and Oils -- Sources of Bakery Fats and Oils -- Major Fats and Oils Used in Bakeries -- Functions of Fat in Baking -- Understanding Ingredients: Sugar -- Sugar Chemistry (ADD US) -- Sugar Refining -- The Application of Sugar -- Agave -- Glucose/Dextrose -- Honey -- Malt -- Maple Syrup (ADD US) -- Sugar Substitutes (ADD US) -- Understanding Ingredients: Leavening Agents -- Catalysis -- Introduction to Leavening Agents -- Yeast -- The Functions of Yeast -- Using Yeast in Baking -- Introduction to Acid- bases -- Brønsted-Lowry Acids and Bases -- pH and pOH -- Baking Powder -- Sodium Bicarbonate -- Ammonium Bicarbonate -- Water Hardness and pH -- Understanding Ingredients: Dairy Products -- Introduction to Dairy Products -- Milk -- Milk Products ADD US -- Milk in bread baking -- Yogurt -- Lactose -- Cheese -- Understanding Ingredients: Eggs -- Eggs Grade (ADD US) -- Composition and Nutrition -- Egg Products -- The Function of Eggs -- Storing Eggs -- Chocolate -- From the Cocoa Bean to the Finished Chocolate -- Chocolate Produced for the Baking Industry -- Couverture -- Definitions and Regulations (ADD US) -- Understanding Ingredients: Spices -- Elements of Taste -- Introduction to Salt -- Types of Salt -- Functions of Salt in Baking -- Using Salt in Fermented Doughs -- Storing Salt -- Introduction to Spices and Other Flavorings -- Seasoning and Flavoring -- Herbs -- Spices -- Flavorings in Baking -- Appendix…”
Access online version

100 albi illustrati fra italiano e matematica: una bibliografia con spunti didattici by Silvia Demartini, Silvia Sbaragli

Connect to this object online.

創造階段特定技巧模式的發展與效果研究 Development and Evaluation of Model of Creative Stage-Specific Techniques by 林耀南 Yao-Nan Lin, 張雨霖 Yu-Lin Chang, 邱發忠 Fa-Chung Chiu, 賴志明 Chih-Ming Lai

Connect to this object online.

METODE SABAIC,SABICI, DAN MANZIL STUDI DESKRIPTIF PADA PROGRAM TAHTIZ AL QUR'AN DI MTS AL'QUR'AN HIDAYATULLAH BANDUNG by Nadri Taja, -

Link Metadata

Progress in Landslide Research and Technology, Volume 2 Issue 1, 2023

Table of Contents: “…Part I: ICL Landslide Lesson -- Sliding-surface liquefaction and undrained steady-state shear strength -- Identification and Mitigation of Reservoir Landslides Cases Studied in the Three Gorges Reservoir Area of China -- Part II: Original articles -- Impact of input data on the quality of the landslide susceptibility large-scale maps: A case study from NW Croatia -- Landslide warning systems in high-income countries: past accomplishments and expected endeavours -- Modelling of Landslide-Structure Interaction (LSI) through Material Point Method (MPM) -- Landslide Research and Technology in International Standards -- Mathematical and numerical modeling of slope stability for the Mong Sen landslide event in the Trung Chai commune, Sapa, Vietnam -- Landslide early warning system based on the empirical approach - Case study in Ha Long City (Vietnam) -- The modern activity of the Buzulgan landslide and its influence on the debris flow hazard for the Tyrnyauz town (Northern Caucasus, Russia) -- A risk evaluation method of unstable slopes using multipoint tilting sensors -- Part III: IPL/WCOE/KLC2020 -- Community Level Slope Disaster Risk Reduction Program through Multi-Scale Mapping by Mountain Ethnic Group in Northern Vietnam - Project Study by JICA / Lao Cai DARD / ITST -- Landslide Risk Assessment in the tropical zone of Vietnam as a contribution to the mitigation of natural disaster vulnerability -- Protection and conservation of Georgian rupestrian cultural heritage sites: a review -- Spatial and temporal characterization of landslide deformation pattern with Sentinel-1 -- Lessons from 2019-2020 landslide risk assessment in an urban area of volcanic soils in Pereira-Colombia -- Part IV: ICL Landslide Teaching Tools -- Zonation of landslide susceptibility in the Gipuzkoa province (Spain): an application of LAND-SUITE -- Landslide and soil erosion inventory mapping based on high-resolution remote sensing data: A case study from Istria (Croatia) -- Part V: Technical Notes and Case Studies -- Landslide monitoring with RADARSAT Constellation Mission InSAR, RPAS-derived point-clouds and RTK GNSS time-series in the Thompson River Valley, British Columbia, Canada -- Digital terrain models derived from unmanned aerial vehicles and landslide susceptibility -- Use of GIS to assess susceptibility per landform unit to gravitational processes and their volume.…”
Link to Metadata

When Children Draw Gods A Multicultural and Interdisciplinary Approach to Children's Representations of Supernatural Agents /

Table of Contents: “…Numerical analyses of children's drawings of god(s): an approach based on computer vision and mathematical methods (Christelle Cocco, Raphaël Ceré) -- Chapter 7. …”
Link to Metadata

體現動態視覺化對中學生學習 代數式基本運算的影響 Effects of Embodied Dynamic Visualization on Middle-school Students' Learning of Algebraic Manipulation by 左台益 Tai-Yih Tso, 呂鳳琳 Feng-Lin Lu, 李健恆 Kin Hang Lei

Connect to this object online.