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
-
221
Re-Reading Hanslick's Aesthetics Die Rezeption Eduard Hanslicks im englischen Sprachraum und ihre diskursiven Grundlagen
Published 2019Subjects: “…Eduard Hanslick, formalism, aesthetics of music, music and emotion, theory of emotion, analytical philosophy, New Musicology, Immanuel Kant, Peter Kivy, Stephen Davies, Edmund Gurney, Adam Smith, Heinrich Schenker, John Sullivan Dwight, Clive Bell…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
222
Re-Reading Hanslick's Aesthetics Die Rezeption Eduard Hanslicks im englischen Sprachraum und ihre diskursiven Grundlagen
Published 2019Subjects: “…Eduard Hanslick, formalism, aesthetics of music, music and emotion, theory of emotion, analytical philosophy, New Musicology, Immanuel Kant, Peter Kivy, Stephen Davies, Edmund Gurney, Adam Smith, Heinrich Schenker, John Sullivan Dwight, Clive Bell…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
223
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Published 2023Subjects: “…formalized proof…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
224
Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14
Published 2017Subjects: “…formal semantics…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
225
Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14
Published 2017Subjects: “…formal semantics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
226
Quantum Information and Symmetry
Published 2020Subjects: “…s-wave symmetry Eliashberg formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
227
10th Anniversary of <em>Axioms</em>: Logic
Published 2023Subjects: “…formal concept analysis…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
228
AI for Cybersecurity: Robust models for Authentication, Threat and Anomaly Detection
Published 2023Subjects: “…formal ontology…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
229
Trustworthiness in Mobile Cyber Physical Systems
Published 2021Subjects: “…formal verification…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
230
Creating Age-friendly Communities Housing and Technology
Published 2022Subjects: “…formal caregivers…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
231
Dissipative, Entropy-Production Systems across Condensed Matter and Interdisciplinary Classical VS. Quantum Physics
Published 2022Subjects: “…formal implication…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
232
A Comparative Study of the Formation of Contracts in Japanese, English, and German Law
Published 2022Subjects: “…Angebot und Annahme, BGB, BGB Allgemeiner Teil, Bindungswille, Bürgerliches Gesetzbuch, Contracts in English Law, Contracts in German Law, Contracts in Japanese Law, Contracts in the Digital Economy, Japanese Law of Obligations, Law of Contract, Online Transactions, Real Estates, Schuldrecht, Types of Contract, Vertragsschluss, Willenserklärung, legal practice, contract formalities, contract form, signing, sealing, legal consciousness, legal history, German contract law, English contract law, Japanese contract law, comparative contract law, Contract formation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
233
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 -
234
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 -
235
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 -
236
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 -
237
Symmetry in Quantum Theory of Gravity
Published 2022Subjects: “…Hamiltonian formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
238
Prosodic Theory and Practice
Published 2022Subjects: “…formal representation…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
239
Modeling and Simulation in Engineering
Published 2022Subjects: “…formal approaches…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
240
Nonequilibrium Phenomena in Strongly Correlated Systems
Published 2020Subjects: “…finite-time-path formalism…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter