Search Results - With~

e-Science Open, Social and Virtual Technology for Research Collaboration /

Table of Contents: “…-- Organising academia online -- The Fish Model: When Do Researchers Collaborate Online? …”
Link to Metadata

Japan Nutrition by Nakamura, Teiji

Table of Contents: “…Preventing and Treating Disease with Nutrition -- Chapter 2. The Birth of Nutrition and the Systematization of Learning -- Chapter 3. …”
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 of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /

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

Proceedings of the Scientific-Practical Conference "Research and Development - 2016"

Table of Contents: “…Multimodal Control System of Active Lower Limb Exoskeleton with Feedback -- Investigation and Development of Methods for Improving Robustness of Automatic Speech Recognition Algorithms in Complex Acoustic Environments -- Smart Endoscope-Firmware Complex for Real-Time Analysis and Recognition of Endoscopic Videos -- The Development of Constructive-Technological Decisions on Creation of a Family of Microelectronic Elements on the «Silicon on Insulator» (SOI) Structures to Provide the Ability to Create Sensors of External Influences of a Various Functional Purpose -- Thermopile IR Sensor Arrays -- Development Signal Processing Integrated Circuit for Position Sensors with High Resolution -- Brain-Controlled Biometric Signals Employed to Operate External Technical Devices -- Improving Talent Management with Automated Competence Assessment: Research Summary.…”
Link to Metadata

Motivationale Aspekte mathematischer Lernprozesse Eine Untersuchung zu professionellen Kompetenzen der Motivationsförderung im Mathematikunterricht / by Hettmann, Maximilian

Table of Contents: “…1 Einleitung -- 2 Mathematiklernen und Motivation bei Schüler*innen mit Lernschwierigkeiten -- 3 Professionelle Kompetenzen, motiviertes Lernen zu fördern -- 4 Seminarkonzept zur Förderung von Schüler*innen mit mathe-matischen Lernschwierigkeiten -- 5 Fragestellung und Hypothesen -- 6 Studiendesign -- 7 Stichproben -- 8 Erhebungsinstrumente für Studie 1 -- 9 Auswertungsmethode für Studie 1 -- 10 Ergebnisse zu Studie 1 -- 11 Zusammenfassende Diskussion Ergebnisse von Studie 1 -- 12 Methode für Studie 2 -- 13 Ergebnisse zu Studie 2 -- 14 Zusammenfassende Diskussion der Ergebnisse zu Studie 2 -- 15 Zusammenfassung und Ausblick.…”
Link to Metadata

Revitalizing Indian Agriculture and Boosting Farmer Incomes

Table of Contents: “…Chapter 1: Title of the Book: An Introduction -- Chapter 2: Linking Agriculture GDP to farmer's income and poverty alleviation -- Chapter 3: Inter-linkages between agriculture performance, poverty and malnutrition in India -- Chapter 4: Reviving Agri performance in Punjab -- Chapter 5: Understanding the high growth agriculture in Gujarat -- Chapter 6: Making Rapid strides in agriculture in Madhya Pradesh -- Chapter 7: Revitalizing agriculture in Uttar Pradesh -- Chapter 8: Unleashing Agriculture Potential in Bihar -- Chapter 9: Transforming Agriculture in Odisha -- Chapter 10: Going Beyond Agri-GDP to farmer incomes -- Chapter 11: Indian Agriculture under PM Modi 1.0 -- Chapter 12: Way Forward.…”
Link to Metadata

The Future of Financial Systems in the Digital Age Perspectives from Europe and Japan /

Table of Contents: “…Chapter 1 Financial Systems in the Digital Age: Perspectives from Europe and Japan -- Chapter 2 The Future of Japan's Financial Market -- Chapter 3 Financial Digitalization and Regulatory Challenges for Japan -- Chapter 4 Digital Currencies and the Future of Money -- Chapter 5 Central Bank Digital Currencies in a World with Negative Nominal Interest Rates -- Chapter 6 The Future of Payments in a DLT-based European Economy: A Roadmap -- Chapter 7 Digitalization of Payment Instruments: Cashless Payments and Loyalty Points Systems -- Chapter 8 The Changing Landscape of Retail Banking and the Future of Digital Banking -- Chapter 9 High-Frequency Trading in Japan: A Unique Evolution.…”
Link to Metadata

The Transformation of the Liberal International Order Evolutions and Limitations /

Table of Contents: “…Introduction -- American Strategy and the Liberal International Order -- East Asia, Europe and the High Sea: The Geostrategic Trinity of the U.S. led order -- The EU's Connectivity Strategy 2.0: Global Gateway in the Indo-Pacific -- Germany's Indo-Pacific Turn: Evolving Approaches and the Rules-based Order -- France's Indo-Pacific approach: Salvaging the rules-based order and staying relevant -- India, the Quad, and the Liberal International Order -- Countering Chinese Economic Coercion and Corrosive Capital in Southeast Asia -- The Challenge of China in the Liberal International Order -- Northeast Asia's Energy Transition - Challenges for a Rules-based Security and Economic Order -- Post-Covid Liberal International Order -- The Limits of the Liberal International Order?…”
Link to Metadata

Research Thinking for Responsive Teaching Research Skill Development with In-service and Preservice Educators /

Table of Contents: “…Chapter 1: Teachers' Research Thinking -- Chapter 2: Preservice Teachers' Use of Social Media for the Development of Their Research Skills -- Chapter 3: Digital skill mythology and understanding in Preservice Teachers -- Chapter 4: Undergraduate Research for PreserviceTeachers: Navigating its Rich Complexity and Novel Possibilities -- Chapter 5: Open Educational Practices (OEP) for Research Skill Development with In-service School Teachers -- Chapter 6: Exploring In-Service Teacher-Researcher Reflexivity:Education Research as Cultural Work -- Chapter 7: High School Student Experiences of Teacher-facilitated Research Skill Development -- Chapter 8: Research-Oriented University Instruction: Research Skill Development and Communities of Practice.…”
Link to Metadata

Write Here, Right Now An Interactive Introduction to Academic Writing and Research by Tucker, Aaron, Chafe, Paul

Table of Contents: “…Conclusion and Final Assessment -- Chapter 13: Works Cited…”
Access online version

Daya hambat xylitol dan nistation terhadap pertumbuhan Candida albicans (in vitro) (Inhibition effect of xylitol and nistatin combination on Candida albicans growth (in vitro)) by Sarah Kartimah Djajusman, Udijanto Tedjosasongko, Irmawati Irmawati

Connect to this object online.

The benefit of differential moment concept in managing posterior anchorage and avoiding bite deepening by Harryanto Wijaya, Joko Kusnoto

Connect to this object online.

Kadar leptin saliva dan kejadian karies gigi anak obesitas (Salivary leptin levels and caries incidence in obese children) by Elfrida Atzmaryanni, Mochamad Fahlevi Rizal

Connect to this object online.

Pomegranate juice (Punica granatum) as an ideal mouthrinse for fixed orthodontic patients by Haryono Utomo, Kimberly Clarissa Oetomo

Connect to this object online.

Penambahan xylitol dalam glukosa, sukrosa terhadap pertumbuhan Streptococcus mutans (in vitro) (The Additional xylitol in glucose and sucrose on growth of Mutans Streptococci (in v... by Susilowati Susilowati, Udijanto Tedjosasongko, FX Suhariadji

Connect to this object online.

Deoxypyridinoline level in gingival crevicular fluid as alveolar bone loss biomarker in periodontal disease by Agustin Wulan Suci Dharmayanti

Connect to this object online.

Korelasi indeks morfologi wajah dengan sudut interinsisal dan tinggi wajah secara sefalometri (Cephalometric correlation of facial morphology index with interincisal angle and faci... by Pricillia Priska Sianita K, Verenna Verenna

Connect to this object online.

Changes of the sweet taste sensitivity due to aerobic physical exercise by Ni Luh Putu Ayu Wardhani, Anis Irmawati, Jenny Sunariani

Connect to this object online.

Karakterisasi stem cell pulpa gigi sulung dengan modifikasi enzim tripsin (The characterization of stem cells from human exfoliated deciduous teeth using trypsin enzym) by Tri Wijayanti Puspitasari, Tania Saskianti, Udijanto Tedjosasongko

Connect to this object online.

Stimulation of osteoblast activity by induction of Aloe vera and xenograft combination by Utari Kresnoadi, Retno Pudji Rahayu

Connect to this object online.