Search Results - "abstraction"

The importance of computational thinking training for primary school teachers by Nataliia V. Morze, Olha V. Barna, Mariia A. Boiko

Connect to this object online.

Conceptual design of collaborative virtual environments for education using a theater-based metaphor by Alberto Bucciero, Anna Lisa Guido, Luca Mainetti

Connect to this object online.

Notes about the construction of the meaning of the number and the transition process for fundamental education in the official mathematical education documents by Amanda Cristine Lopes Marques, Claudia de Oliveira Lozada

Connect to this object online.

A computational method for immune repertoire mining that identifies novel binders from different clonotypes, demonstrated by identifying anti-pertussis toxoid antibodies by Eve Richardson, Jacob D. Galson, Paul Kellam, Dominic F. Kelly, Sarah E. Smith, Anne Palser, Simon Watson, Charlotte M. Deane

Connect to this object online.

Teachers in the Loop: Integrating Computational Thinking and Mathematics to Build Early Place Value Understanding by Mai Dahshan, Terrie Galanti

Connect to this object online.

QUALITY MANAGEMENT OF GROUND TRAINING OF FUTURE PILOTS IN THE CONDITIONS OF MODERN EDUCATIONAL SPACE IN UKRAINE by Roman Nevzorov

Connect to this object online.

Reflections on teaching ratio and proportion using Lesson Study by Christian Domondon, Mark Joseph Corpuz, Mark Carranza, Imriani Moroki, Ferdie Ching, Levi Elipane

Connect to this object online.

Optimizing the Equitable Deployment of Virtual Care for Women: Protocol for a Qualitative Evidence Synthesis Examining Patient and Provider Perspectives Supplemented with Primary Q...

Connect to this object online.

Structural Features Governing the Metabolic Stability of Tetraethyl-Substituted Nitroxides in Rat Liver Microsomes by Aleksandra Rančić, Nikola Babić, Maylis Orio, Fabienne Peyrot

Connect to this object online.

Development and Clinical Validity of a Mild Vascular Cognitive Impairment Assessment Tool for Korean Stroke Patients by Hyun Soo Oh, PhD, RN, Ji Sun Kim, RN, Eun Bi Shim, RN, Wha Sook Seo, PhD, RN

Connect to this object online.

THE REPRESENTATION OF SOCIAL ACTIONS IN OBAMA'S 2010 NATIONAL SECURITY STRATEGY: A CRITICAL DISCOURSE ANALYSIS OF OBAMA'S ACTIONS TOWARD TERRORISM by Yully Yudantari Saputri, -

Link Metadata

VERBAL AND VISUAL REPRESENTATION OF MEN IN NIVEA FOR MEN PRINT ADVERTISEMENTS by Puspadewi, Dinnawaty Annisa

Link Metadata

Multiple-Aspect Analysis of Semantic Trajectories First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceed...

Table of Contents: “…Learning from our Movements - The Mobility Data Analytics Era -- Uncovering hidden concepts from AIS data: A network abstraction of maritime traffic for anomaly detection -- Nowcasting Unemployment Rates with Smartphone GPS data -- Online long-term trajectory prediction based on mined route patterns -- EvolvingClusters: Online Discovery of Group Patterns in Enriched Maritime Data -- Prospective Data Model and Distributed Query Processing for Mobile Sensing Data Streams -- Predicting Fishing Effort and Catch Using Semantic Trajectories and Machine Learning -- A Neighborhood-augmented LSTM Model for Taxi-Passenger Demand Prediction -- Multi-Channel Convolutional Neural Networks for Handling Multi-Dimensional Semantic Trajectories and Predicting Future Semantic Locations.…”
Link to Metadata

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata

Digitisation and Low-Carbon Energy Transitions

Table of Contents: “…1 Digitisation and low-carbon energy transitions -- 2 Just low-carbon mobility transitions : A research-based art exhibition -- 3 A solar off-grid software : The making of infrastructures, markets and consumers 'beyond energy' -- 4 Contested energy futures in Hokkaido : Speculating with European renewable energy models -- 5 Overcoming abstraction: Affectual states in the efforts to decarbonize energy among young climate activists -- 6 A new reflexive turn: Glitches, carbon footprints, and streaming videos -- 7 The hidden energies of work digitization: A view from France through the use of coworking spaces -- 8 Littering the city or freedom of mobility? …”
Link to Metadata

The Funambulist Papers 2

DOAB: download the publication
DOAB: description of the publication

Dependable Embedded Systems by Henkel, Jörg

DOAB: download the publication
DOAB: description of the publication

Beta Exercise: The Theory and Practice of Osamu Kanemura by Kanemura, Osamu

DOAB: download the publication
DOAB: description of the publication

Making up Numbers A History of Invention in Mathematics by Kopp, Ekkehard

DOAB: download the publication
DOAB: description of the publication

Les élites régionales, (xviie-xxe siècle) : Construction de soi-même et service de l'autre by Bernard Vogler

DOAB: download the publication
DOAB: description of the publication