Search Results - "proposition"

Formes et figures du goût chinois dans les anciens Pays-Bas

OAPEN Library: download the publication
OAPEN Library: description of the publication

Internalisasi Nilai Kebersamaan Melalui Pembelajaran Seni Gamelan Sunda :Sebagai Upaya Pendidikan Karakter Bagi Mahasiswa Jurusan Karawitan Di Sekolah Tinggi Seni Indonesia Bandung by Afryanto, Suhendi

Link Metadata

Jacques de Rette, l'incarnation d'un passeur culturel en éducation physique et sportive ? = Jacques de Rette, a cultural ferryman in physical education and sport? = Jacques de Ret... by Cyril Polycarpe, Sacha Thiebaud, Jean-Jacques Dupaux

Connect to this object online.

Introduction to Special Thematic Issue, part 2 "Microsaccades: Empirical Research and Methodological Advances" by Rudolf Groner

Connect to this object online.

PEMBUDAYAAN NILAI-NILAI PATRIOTISME DI SEKOLAH by Dianto, Toto

Link Metadata

Information and Communication Technologies in Tourism 2021 Proceedings of the ENTER 2021 eTourism Conference, January 19-22, 2021 /

Table of Contents: “…-- Part III: Social Media & User Generated Content -- Tourist experiences at overcrowded attractions: A text analytics approach -- A Pinterest Netnography -- Contextual Effects of Online Review Recency: Three Research Propositions -- Cultural traits in the consumption of luxury hotel services. …”
Link to Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

支持服務輔導機制促動偏鄉教育變革之 歷程探討：以高雄國民教育幼兒班為例 Exploration on the Process of the Support-Service Counseling Mechanism in Promoting Education Reform in Rural Areas: A Case of Indigenous Area a... by 戰寶華 Pao-Hwa Chan

Connect to this object online.

História do ensino de história no Brasil: uma proposta de periodização - History of the history teaching in Brazil: a proposal of periodization by Maria Auxiliadora Moreira dos Santos Schmidt, Brasil

Connect to this object online.

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
Link to Metadata

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

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Game Poems Videogame Design as Lyric Practice by Magnuson, Jordan

DOAB: download the publication
DOAB: description of the publication

Game Poems Videogame Design as Lyric Practice by Magnuson, Jordan

OAPEN Library: download the publication
OAPEN Library: description of the publication

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /

Table of Contents: “…A case study on Agile teams in a large company -- Investigating Open Innovation Practices to Support Requirements Management in Software Ecosystems -- Requirements tool practices that drive business agility -- Software Procurement -- On Public Procurement of ICT Systems: Stakeholder Views and Emerging Tensions -- Improving Communication and Collaboration in Enterprise Architecture Projects: Three Propositions from Three Public Sector EA Projects -- Navigating ICT In-House Procurement in Finland: Evaluating Legal Frameworks and Practical Challenges -- Artificial Intelligence Procurement Assistant: Enhancing Bid Evaluation -- Platforms, Ecosystems & Data -- Who Does What? …”
Link to Metadata

Progress in Entrepreneurship Education and Training New Methods, Tools, and Lessons Learned from Practice /

Table of Contents: “…Chapter 1 The Future of Entrepreneurship Education and Training: Some Propositions -- Part I: Effects and impact of entrepreneurship education -- Chapter 2 Shaping Great Transformations in Germany - the Role of Youth Entrepreneurship Education (YEE) -- Chapter 3 Shaping Great Transformations in Germany - the Role of Youth Entrepreneurship Education (YEE) Gender Team Diversity in Entrepreneurship Education -- Chapter 4 The "Start-up" Answer: Examining a hidden dramaturgy in entrepreneurial learning beyond the four walls of the classroom -- Chapter 5 Entrepreneurship Education and Political Change: An Exploratory Study -- Chapter 6 Re-evaluating Entrepreneurship Education through a Team-based Approach: Activities and Archetypes within a Scottish University -- Chapter 7 Coaching concept to improve the sustainability impact of students' startup ideas in an early stage -- Chapter 8 competencies in student companies at school: Development of a research instrument -- Chapter 9 Moving the Needle in Entrepreneurship Education and bridging the gaps -- Part II: Context and target groups of entrepreneurship education -- Chapter 10 Entrepreneurial Design Thinking ©in Higher Education: Conceptualizing Cross-Cultural Adaptation of The Western Teaching Methodology to the Eastern Perspective -- Chapter 11 Progressing Context in Entrepreneurship Education-Reflections from a Delphi Study -- Chapter 12 The incorporated approach: From project based learning in entrepreneurship education to project based learning as entrepreneurship education in German schools -- Chapter 13 Best practice considerations for arts educators when developing intensive online courses for creative industries higher education students -- Chapter 14 What can SMEs learn from universities? …”
Link to Metadata

Examination of General Nutritional Habits of Students of Niğde Ömer Halisdemir University, Academy of Pyhsical Education and Sports by İbrahim Ümran Akdağcık, Meryem Altun

Connect to this object online.

Applicability of evidence from randomized controlled trials and systematic reviews to clinical practice: A conceptual review by Antti Malmivaara

Connect to this object online.

Reconciling the theory and reality of shared decision‐making: A "matching" approach to practitioner leadership by Stephen L. Brown, Peter Salmon

Connect to this object online.

Because they're worth it? A discussion paper on the value of 12-h shifts for hospital nursing by Chiara Dall'Ora, Ourega-Zoé Ejebu, Peter Griffiths

Connect to this object online.

Experiencing teaching with babies in supervised practice: organizing spaces, play and interactions by Eloisa Acires Candal Rocha, Lívia Rezende Girardi, Márcia Buss Simão

Connect to this object online.