Search Results - "formality"
Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 60
- Computer science 56
- Software Engineering 55
- Computer networking & communications 32
- Computer programming / software development 28
- Algorithms & data structures 20
- Mathematical theory of computation 20
- Formal Languages and Automata Theory 19
- Machine theory 19
- Research & information: general 15
- Systems analysis & design 14
- Western "classical" music 14
- Computer Science Logic and Foundations of Programming 13
- Software engineering 13
- Artificial Intelligence 12
- linguistics 11
- Technology: general issues 9
- Computer architecture & logic design 8
- Computer modelling & simulation 8
- Development economics & emerging economies 8
- Programming & scripting languages: general 8
- History of engineering & technology 7
- Mathematics & science 7
- Network hardware 6
- Political science & theory 6
- Software testing & verification 6
- Computer Modelling 5
- Computer simulation 5
- Literary studies: general 5
- Literature: history & criticism 5
-
241
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...
Published 2020Subjects: “…formal logic…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
242
Does Commons Grabbing Lead to Resilience Grabbing? The Anti-Politics Machine of Neo-Liberal Development and Local Responses
Published 2021Subjects: “…formal and informal rules and regulations…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
243
Computational Intelligence and Human- Computer Interaction: Modern Methods and Applications
Published 2022Subjects: “…formal concept analysis…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
244
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...
Published 2020Subjects: “…formal logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
245
Quantum Nonlocality
Published 2019Subjects: “…density-matrix formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
246
Optics for AI and AI for Optics
Published 2020Subjects: “…Jaynes-Cummings-Hubbard formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
247
Prosodic Theory and Practice
Published 2022Subjects: “…formal representation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
248
Modeling and Simulation in Engineering
Published 2022Subjects: “…formal approaches…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
249
Data/Knowledge-Driven Behaviour Analysis for Maritime Autonomous Surface Ships
Published 2023Subjects: “…formal expression…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
250
Environmental Sustainability in Maritime Infrastructures
Published 2021Subjects: “…formal planning…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
251
Feasible, Robust and Reliable Automation and Control for Autonomous Systems
Published 2022Subjects: “…formal methods…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
252
Artificial Intelligence for Multisource Geospatial Information
Published 2023Subjects: “…formal semantics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
253
Nanowire Field-Effect Transistor (FET)
Published 2021Subjects: “…Kubo-Greenwood formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
254
Project Risk Assessment and Corporate Behavior: Creating Knowledge for Sustainable Business
Published 2022Subjects: “…formal communication…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
255
Advancements in the Practical Applications of Agents, Multi-Agent Systems and Simulating Complex Systems
Published 2023Subjects: “…practical formal method…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
256
Selected Topics in Gravity, Field Theory and Quantum Mechanics
Published 2022Subjects: “…constraintless formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
257
Symmetry and Complexity 2019
Published 2020Subjects: “…directional multifractal formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
258
Cyber Security of Critical Infrastructures
Published 2021Subjects: “…formal verification…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
259
Cooperative/Collaborative Learning
Published 2022Subjects: “…semi-formal learning…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
260
Approaches and Methods of Science Teaching and Sustainable Development
Published 2022Subjects: “…non-formal education…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter