Search Results - "Formal"
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
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 -
242
Environmental Sustainability in Maritime Infrastructures
Published 2021Subjects: “…formal planning…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
243
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 -
244
Artificial Intelligence for Multisource Geospatial Information
Published 2023Subjects: “…formal semantics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
245
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 -
246
Race Characters Ethnic Literature and the Figure of the American Dream
Published 2020Subjects: “…literary formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
247
Quantum Foundations. 90 Years of Uncertainty
Published 2019Subjects: “…Quantum Hamilton-Jacobi Formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
248
Race Characters Ethnic Literature and the Figure of the American Dream
Published 2020Subjects: “…literary formalism…”
OAPEN Library: download the publication
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
249
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 -
250
Cyber Security of Critical Infrastructures
Published 2021Subjects: “…formal verification…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
251
Cooperative/Collaborative Learning
Published 2022Subjects: “…semi-formal learning…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
252
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 -
253
Sustainability in International Business Talent Management, Market Entry Strategies, Competitiveness
Published 2022Subjects: “…women in formal workforce…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
254
Knowledge Engineering and Data Mining
Published 2023Subjects: “…formal ontologies…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
255
Geometry of Submanifolds and Homogeneous Spaces
Published 2020Subjects: “…formality…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
256
Big Data Computing for Geospatial Applications
Published 2020Subjects: “…formalization…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
257
Quantum Cosmology
Published 2022Subjects: “…ADM formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
258
Deductive Systems in Traditional and Modern Logic
Published 2020Subjects: “…formal theory of law…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
259
Quantum Nonlocality
Published 2019Subjects: “…density-matrix formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
260
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