Search Results - "semantics"

FORMATION AND DEVELOPMENT OF SOFTWARE ENGINEERING AS A KNOWLEDGE AREA by Andrii Striuk

Connect to this object online.

Behavior of adolescents in the digital educational environment: Definition of concepts and formulation of the problem by Viktor I. Panov, Natalya A. Borisenko, Ksenia V. Mironova, Svetlana V. Shishkova

Connect to this object online.

Historical milestones of the invention and use of placebo by A. N. Koterov

Connect to this object online.

Behavioral Activation and Depression Symptomatology: Longitudinal Assessment of Linguistic Indicators in Text-Based Therapy Sessions by Hannah A Burkhardt, George S Alexopoulos, Michael D Pullmann, Thomas D Hull, Patricia A Areán, Trevor Cohen

Connect to this object online.

Text Dialogue Analysis for Primary Screening of Mild Cognitive Impairment: Development and Validation Study by Changyu Wang, Siru Liu, Aiqing Li, Jialin Liu

Connect to this object online.

Visuelle Dimensionen des Antiziganismus

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

Quand le syntagme nominal prend ses marques Du prédicat à l'argument

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

A Comparative Study Between English And Indonesian Translation Shift In Cell Phone Gsm And Ruim Card Manual Books by Yuwana, Nia

Connect to this object online

Figurative Language Used In The Cold Play Album by Amri, Ikhvan Assafa

Connect to this object online

REDUPLICATION IN SUNDANESE LANGUAGE by Rezqi, Reynaldo Yodia

Link Metadata

GAYA BASA NGUPAMAKEUN DINA BABASAN JEUNG PARIBASA SUNDA: (Tilikan Stilistika jeung Semantik) by Khotimah, Novi Nurul

Link Metadata

Digital Transformation in Semiconductor Manufacturing Proceedings of the 1st and 2nd European Advances in Digital Transformation Conference, EADTC 2018, Zittau, Germany and EADTC 2...

Table of Contents: “…A holistic digital twin based on Semantic Web technologies to accelerate digitalization -- Framework for Simulation-based Decision Making in Semiconductor Value Chains -- Digital Twin for Plan and Make Using Semantic Web Technologies - Extending the JESSI/SEMATECH MIMAC Standard to the Digital Reference -- Enhancing Prediction Quality of Fab Simulation by advanced Cycle Time modelling -- Visualization of Automated Material Handling System Components in Semiconductor Industry over the Lifecycle .…”
Link to Metadata

Data and Text Processing for Health and Life Sciences by Couto, Francisco M.

Table of Contents: “…Preface -- Introduction -- Resources -- Data Retrieval -- Text Processing -- Semantic processing -- Index.…”
Link to Metadata

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Table of Contents: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata

Compositionality and Concepts in Linguistics and Psychology

Table of Contents: “…Barsalou -- Compositionality and Concepts - A Perspective from Formal Semantics and Philosophy of Language by Francis Jeffry Pelletier -- Compositionality and Concepts by James A. …”
Link to Metadata

Narrative and Narrativity in Ancient Egypt Case Studies on Narrative Difference in Various Media

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

Körperspuren Zur Semantik und Paradoxie moderner Körperlichkeit by Bette, Karl-Heinrich

DOAB: download the publication
DOAB: description of the publication

Reconsidering Constitutional Formation I National Sovereignty: A Comparative Analysis of the Juridification by Constitution

DOAB: download the publication
DOAB: description of the publication

Religion, Medien und die Corona-Pandemie Paradoxien einer Krise by Pezzoli-Olgiati, Daria

DOAB: download the publication
DOAB: description of the publication