Search Results - "Formalism"

Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14 by Balogh, Kata

Subjects: “…formal semantics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

10th Anniversary of <em>Axioms</em>: Logic

Subjects: “…formal concept analysis…”
DOAB: download the publication
DOAB: description of the publication

AI for Cybersecurity: Robust models for Authentication, Threat and Anomaly Detection

Subjects: “…formal ontology…”
DOAB: download the publication
DOAB: description of the publication

Trustworthiness in Mobile Cyber Physical Systems

Subjects: “…formal verification…”
DOAB: download the publication
DOAB: description of the publication

Creating Age-friendly Communities Housing and Technology

Subjects: “…formal caregivers…”
DOAB: download the publication
DOAB: description of the publication

Dissipative, Entropy-Production Systems across Condensed Matter and Interdisciplinary Classical VS. Quantum Physics

Subjects: “…formal implication…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication

Does Commons Grabbing Lead to Resilience Grabbing? The Anti-Politics Machine of Neo-Liberal Development and Local Responses

Subjects: “…formal and informal rules and regulations…”
DOAB: download the publication
DOAB: description of the publication

Computational Intelligence and Human- Computer Interaction: Modern Methods and Applications

Subjects: “…formal concept analysis…”
DOAB: download the publication
DOAB: description of the publication

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Prosodic Theory and Practice

Subjects: “…formal representation…”
DOAB: download the publication
DOAB: description of the publication

Modeling and Simulation in Engineering

Subjects: “…formal approaches…”
DOAB: download the publication
DOAB: description of the publication

Miniaturized Transistors, Volume II

Subjects: “…Landauer-Büttiker formalism…”
DOAB: download the publication
DOAB: description of the publication

Data/Knowledge-Driven Behaviour Analysis for Maritime Autonomous Surface Ships

Subjects: “…formal expression…”
DOAB: download the publication
DOAB: description of the publication

Environmental Sustainability in Maritime Infrastructures

Subjects: “…formal planning…”
DOAB: download the publication
DOAB: description of the publication

Feasible, Robust and Reliable Automation and Control for Autonomous Systems

Subjects: “…formal methods…”
DOAB: download the publication
DOAB: description of the publication

Artificial Intelligence for Multisource Geospatial Information

Subjects: “…formal semantics…”
DOAB: download the publication
DOAB: description of the publication

Project Risk Assessment and Corporate Behavior: Creating Knowledge for Sustainable Business

Subjects: “…formal communication…”
DOAB: download the publication
DOAB: description of the publication

Advancements in the Practical Applications of Agents, Multi-Agent Systems and Simulating Complex Systems

Subjects: “…practical formal method…”
DOAB: download the publication
DOAB: description of the publication

Cyber Security of Critical Infrastructures

Subjects: “…formal verification…”
DOAB: download the publication
DOAB: description of the publication