Résultats de la recherche - "semantics"

Invocation of the Sun in the Gayatri Mantra and in Latvian Folksongs par Agita Baltgalve

Connect to this object online.

Deep learning based automated epidermal growth factor receptor and anaplastic lymphoma kinase status prediction of brain metastasis in non-small cell lung cancer par Abhishek Mahajan, Gurukrishna B, Shweta Wadhwa, Ujjwal Agarwal, Ujjwal Baid, Sanjay Talbar, Amit Kumar Janu, Vijay Patil, Vanita Noronha, Naveen Mummudi, Anil Tibdewal, JP Agarwal, Subash Yadav, Rajiv Kumar Kaushal, Ameya Puranik, Nilendu Purandare, Kumar Prabhash

Connect to this object online.

Mysterious Minds The Making of Private and Collective Consciousness in Marja-Liisa Vartio's Novels par Nykänen, Elise

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

ANALISIS MAKNA KONJUNGSI ~NAGARA, ~NONI, DAN ~KUSENI PADA KALIMAT YANG MENYATAKAN PERTENTANGAN DALAM BAHASA JEPANG par Putri, Siti Rahmah Nur Wahidah

Link Metadata

PENGGUNAAN LEKSIKON ANAK DALAM IDIOM BAHASA INDONESIA KAJIAN SEMANTIK LEKSIKAL par Fatimah, Rizki Aulia

Link Metadata

POLISEMI PADA WEBTOON SPIRIT FINGERS KARYA KYOUNGCHAL HAN (Kajian Semantik) par Yasqi Nadhira Azkarina, -

Link Metadata

Cohesion, Coherence and Temporal Reference from an Experimental Corpus Pragmatics Perspective par Grisot, Cristina

Table des matières: “…Acknowledgements -- Introduction -- Formal Semantic-discursive and Pragmatic Assessment of Time -- Corpus-based Contrastive Study of Verbal Tenses -- Experimental Study Using Annotation Experiments -- A Pragmatic Model of Temporal Cohesive Ties -- Temporal Coherence -- Application to Natural Language Processing and Machine Translation -- Conclusion.…”
Link to Metadata

Dynamics in Logistics Twenty-Five Years of Interdisciplinary Logistics Research in Bremen, Germany /

Table des matières: “…Part I: Models and Methods for Planning in Logistics -- Autonomous Control of Logistics Processes - A Retrospective -- Explorable Uncertainty meets Decision-Making in Logistics -- Complex Networks in Manufacturing and Logistics: A Retrospect -- Recent Developments in Mathematical Traffic Models -- Part II: Digitalization and Logistics -- Intelligent Agents for Social and Learning Logistics Systems -- Semantic Interoperability for Logistics and Beyond -- Semantic Digital Twins for Retail Logistics -- A Demand-Response System for Sustainable Manufacturing Using Linked Data and Machine Learning -- The Influence of Cognitive Biases in Production Logistics -- Part III: Fields of Application in Logistics -- Automobile Logistics 4.0 - Advances through Digitalization -- 15 Years of Intelligent Container Research -- The Rise of Ultra Large Container Vessels: Implications for Seaport Systems and Environmental Considerations -- Modeling individualized sustainable last mile logistics -- Logistics Challenges along the New Silk Roads -- Observations and Perceptions on a Doctoral Research Seminar in Engineering and Logistics.…”
Link to Metadata

Linked Democracy Foundations, Tools, and Applications / par Poblet, Marta, Casanovas, Pompeu, Rodríguez-Doncel, Víctor

Table des matières: “…Technical tools and models to develop epistemic democracy -- 4. Smart Regulations. Semantic Web Regulatory Models and a Table of Ethical Principles -- 5. …”
Link to Metadata

Subject-Oriented Business Process Management par Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Link to Metadata

Filme hören. Auditive Dimensionen der Filmrezeption, am Beispiel ausgewählter Szenen aus Don't Come Knocking (2005) und The Lone Ranger (2013, TV 1949) par Dieter Merlin

Connect to this object online.

Aplicação de estruturas conceituais na consulta de enfermagem à família Aplicación de estructuras conceptuales en la consulta de enfermería a la familia Application of concep... par Lígia Barros Costa, Alane Andréa Souza Costa, Maria Roselise Bezerra Saraiva, Maria Grasiela Teixeira Barroso

Connect to this object online.

Uncovering the Complexity of Perinatal Polysubstance Use Disclosure Patterns on X: Mixed Methods Study par Dezhi Wu, Hannah Shead, Yang Ren, Phyllis Raynor, Youyou Tao, Harvey Villanueva, Peiyin Hung, Xiaoming Li, Robert G Brookshire, Kacey Eichelberger, Constance Guille, Alain H Litwin, Bankole Olatosi

Connect to this object online.

SINTREN DI KOTA BANJAR par Sugara, Hendry

Link Metadata

KANYOUKU YANG MENGANDUNG KATA "NEKO" BERDASARKAN KAJIAN SEMANTIK par Hartatik, Yuni Atmi

Link Metadata

PEMADANAN ONOMATOPE BAHASA JEPANG KE DALAM BAHASA JAWA : Kajian Semantik yang Menyatakan Bunyi Tiruan par Wulandari, -

Link Metadata

KOMPARASI MAKNA DAN NILAI BUDAYA DARI LEKSEM HARIMAU (호랑이) PADA PERIBAHASA KOREA DAN INDONESIA (kajian semantik kognitif) par Hima Ragillia Dwinanda Putri Mahendra, -

Link Metadata

Entity-Oriented Search par Balog, Krisztian

Table des matières: “…1 Introduction -- 2 Meet the Data -- 3 Term-Based Models for Entity Ranking -- 4 Semantically Enriched Models for Entity Ranking -- 5 Entity Linking -- 6 Populating Knowledge Bases -- 7 Understanding Information Needs -- 8 Leveraging Entities in Document Retrieval -- 9 Utilizing Entities for an Enhanced Search Experience -- 10 Conclusions and Future Directions.…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table des matières: “…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

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table des matières: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata