Search Results - "syntax"

World Class University: Quality Parameter Higher Education in the Era Revolusi Industri 4.0 and Society 5.0 by Rochmawati Rochmawati

Connect to this object online.

The question of the syntactic status of substantives in Russian identity sentences by Natalia V. Knyazeva

Connect to this object online.

Functional Structure(s), Form and Interpretation by Simpson, Andrew

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

On a law of Indo-European word order Über ein Gesetz der indogermanischen Wortstellung by Wackernagel, Jacob

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

Percorsi, flussi e persone nella progettazione ospedaliera L'analisi configurazionale, teoria e applicazione by Setola, Nicoletta

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

A Grammar of the Kabardian Language

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

Evaluation of Head Position in Static and Dynamic Three-Dimensional Imaging: a review of the Literature by Marie Kjærgaard Larsen, Torben H. Thygesen

Connect to this object online.

Interactive assistance for teaching C++ array topic to novice learners / Naemah Abdul Wahab, Jamal Othman and Saiful Nizam Warris by Abdul Wahab, Naemah, Othman, Jamal, Warris, Saiful Nizam

Link Metadata

Errors in paraphrasing and strategies in overcoming them / Yoke Len Loh by Loh, Yoke Len

Link Metadata

Decoding semanticity of Chinese vocabulary via google translate use / Paramaswari Jaganathan and Lee Pin Ling by Jaganathan, Paramaswari, Lee, Pin Ling

Link 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

PENGARUH PEMBELAJARAN DISCOVERY LEARNING TERHADAP PENINGKATAN KEMAMPUAN LITERASI SAINS DAN SIKAP ILMIAH SISWA SMP PADA MATERI EKOSISTEM by Dahlia, Fitri

Link Metadata

HUBUNGAN ANTARA PERSEPSI PESERTA PELATIHAN TERHADAP ICE BREAKING GAMES DENGAN MINAT BELAJAR: Studi Deskriptif Korelatif pada Materi Pelatihan Back to IM (Insan Mulia) di PT. Shafut... by M. Naufal Fauzan, -

Link Metadata

PENGARUH PENERAPAN COMMUNITY OF INQUIRY TERHADAP PENGUASAAN KONSEP DAN KUALITAS ARGUMENTASI SISWA by Farah Saniya, -

Link Metadata

Poesie - Musik - Übersetzung Varietäten in der Translation von Liedtexten by Kvam, Sigmund

DOAB: download the publication
DOAB: download the publication
DOAB: description of the publication

Germania Semitica

DOAB: download the publication
DOAB: description of the publication

African linguistics on the prairie Selected papers from the 45th Annual Conference on African Linguistics

DOAB: download the publication
DOAB: description of the publication

Approaches to Hungarian: Vol. 16 Papers from the 2017 Budapest Conference by Irene Vogel

DOAB: download the publication
DOAB: description of the publication

Germanic Heritage Languages in North America: Acquisition, attrition and change by Janne Bondi Johannessen

DOAB: download the publication
DOAB: description of the publication

Quantification and scales in change

DOAB: download the publication
DOAB: description of the publication