Warning: file_put_contents(cache/omni_be4682151468e1cec3ca229cb22f5550.json): Failed to open stream: Permission denied in /home/moozonian/public_html/classes/BooksResultsProvider.php on line 304
Advances in Proof-Theoretic Semantics
...
View Book →
Beyond AGI: Intelligence as a Coherence-Regulating, Open-Ended Evolutionary Process
Intelligence is often treated as a computational process, a property of individual minds, or an emergent phenomenon that can be artificially replicated. However, such assumptions fail to account for i...
View Book →
Building a Virtualized Network Solution
Microsoft System Center...
View Book →
Community-Oriented Policing and Technological Innovations
...
View Book →
Fundamental Approaches to Software Engineering
21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings...
View Book →
Twin-Control
A Digital Twin Approach to Improve Machine Tools Lifecycle...
View Book →
IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency
Intelligent Methods for the Factory of the Future...
View Book →
Achieving Viability for Public Service Media in Challenging Settings
A Holistic Approach...
View Book →
A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures
Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences - like Alice knows that Bob does not ...
View Book →
Theorem proving in higher order logics
First published in 2000...
View Book →
Algebraic Approaches to Program Semantics
First published in 1986...
View Book →
CIA Reading Room cia-rdp90-00530r000701730004-5: CREATE YOUR CAREER AT THE DEFENSE INTELLIGENCE AGEN
Declassified in Part - Sanitized Copy Approved for Release 2013/05/14: CIA-RDP90-0053OR000701730004-5 at the Defense Intelligence Agency. P2 Declassified in Part - Sanitized Copy Approved for Release ...
View Book →
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
...
View Book →
Entertainment Science
Data Analytics and Practical Theory for Movies, Games, Books, and Music...
View Book →
Environmental Governance of the Baltic Sea
...
View Book →
CyberParks – The Interface Between People, Places and Technology
New Approaches and Perspectives...
View Book →
Cloud-Based Benchmarking of Medical Image Analysis
...
View Book →
Advances in verification of time petri nets and timed automata
First published in 2006...
View Book →
Algebraic formalization of smart systems : theory and practice
1 online resource...
View Book →
Old and New Perspectives on Mortality Forecasting
...
View Book →
v6i1-4-BML20200225
Artificial Intelligence (AI) is a wide-ranging branch of computer science that deals with the construction of smart machines that typically require human intelligence. Machine learning is a method of ...
View Book →
DTIC ADA266062: Automated Theorem Proving in the Theory of Approximate Reasoning, with Applications
The primary objective of this project is to develop a new model of natural human reasoning with imprecise linguistic information. Key to this model is a collection of abstraction mechanisms based on t...
View Book →
Computer science logic : 19th international Workshop, CSL 2005, 14th Annual Conference of the EACSL,
1 online resource (xi, 565 pages) :...
View Book →
Internet of Things
Information Processing in an Increasingly Connected World...
View Book →
Cyber-Physical Systems: A Model-Based Approach
...
View Book →
Close Reading with Computers
Textual Scholarship, Computational Formalism, and David Mitchell's Cloud Atlas...
View Book →
IEA International Computer and Information Literacy Study 2018 Assessment Framework
...
View Book →
Models, Methods and Tools for Product Service Design
The Manutelligence Project...
View Book →
Wellbeing Economics
The Capabilities Approach to Prosperity...
View Book →
New Frontiers in Social Innovation Research
...
View Book →
Current and Future Perspectives of Ethnomathematics as a Program
...
View Book →
Conclog
First published in 1991...
View Book →
Argumentation Theory: A Pragma-Dialectical Perspective
...
View Book →
Linked Democracy
Foundations, Tools, and Applications...
View Book →
Complexity of Non-Monotonic Logics
Over the past few decades, non-monotonic reasoning has developed to be one of the most important topics in computational logic and artificial intelligence. Different ways to introduce non-monotonic as...
View Book →
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings Author: Robert Nieuwenhuis, Andrei Voronkov Publis...
View Book →
Multiple approaches to intelligent systems
First published in 1999...
View Book →
ERIC ED142973: Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. Te
This paper describes a computational approach to certain problems of anaphora in natural language and argues in favor of formal meaning representation languages (MRLs) for natural language. After pres...
View Book →
Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I...
View Book →
Happiness is the Wrong Metric
A Liberal Communitarian Response to Populism...
View Book →
Diversity and Evolution of Butterfly Wing Patterns
An Integrative Approach...
View Book →
Market Segmentation Analysis
Understanding It, Doing It, and Making It Useful...
View Book →
Dynamic Spectrum Management
From Cognitive Radio to Blockchain and Artificial Intelligence...
View Book →
Computational intelligence
First published in 1997...
View Book →
Cognitive reasoning
First published in 2006...
View Book →
Situation Theory (CSLI)
{This collection is under curation.} Stanford Linguistics Association.; Center for the Study of Language and Information (U.S.) Stanford Child Language Research Forum; SRI; ERIC ---- Huibers,...
View Book →
Efficient Learning Machines
Theories, Concepts, and Applications for Engineers and System Designers...
View Book →
The Logic Programming Paradigm
First published in 1999...
View Book →
Three Approaches to Data Analysis
First published in 2013...
View Book →
Language Technologies for the Challenges of the Digital Age
27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings...
View Book →
The Automated Taxonomic Concept Reasoner
Available on Internet Archive....
View Book →
Software for Exascale Computing - SPPEXA 2016-2019
...
View Book →
Specification and verification of declarative open interaction models
First published in 2010...
View Book →
Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approa
First published in 1998...
View Book →
Enhanced Living Environments
Algorithms, Architectures, Platforms, and Systems...
View Book →
Programming Languages and Systems
27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings...
View Book →
Model-based reasoning in science, technology, and medicine
1 online resource (xiii, 525 pages) :...
View Book →
The metaphoric process : connections between language and life
viii, 196 pages ; 24 cm...
View Book →
Artificial Intelligence in Medical Imaging
Opportunities, Applications and Risks...
View Book →
A Philosophical Examination of Social Justice and Child Poverty
...
View Book →
Machine Learning for Cyber Physical Systems
Selected papers from the International Conference ML4CPS 2018...
View Book →
Robotics, AI, and Humanity
Science, Ethics, and Policy...
View Book →
Computational Conflict Research
...
View Book →
Natural Computing and Beyond
Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings...
View Book →
Societal Implications of Community-Oriented Policing and Technology
...
View Book →
Model-Driven Development and Operation of Multi-Cloud Applications
The MODAClouds Approach...
View Book →
Brain and Human Body Modeling 2020
Computational Human Models Presented at EMBC 2019 and the BRAIN Initiative® 2019 Meeting...
View Book →
Methodological Investigations in Agent-Based Modelling
With Applications for the Social Sciences...
View Book →
Neurovascular Surgery
Surgical Approaches for Neurovascular Diseases...
View Book →
Finding the Limits of the Limes
Modelling Demography, Economy and Transport on the Edge of the Roman Empire...
View Book →
Applied Bioinformatics
An Introduction...
View Book →
Multiple-Aspect Analysis of Semantic Trajectories
First International Workshop, MASTER 2019, Held in Conjunction with ECML-PKDD 2019, Würzburg, Germany, September 16, 2019, Proceedings...
View Book →
Education for Children with Disabilities in Addis Ababa, Ethiopia
Developing a Sense of Belonging...
View Book →
Evolutionary Genomics
Statistical and Computational Methods...
View Book →
The Amazing Journey of Reason
from DNA to Artificial Intelligence...
View Book →
Modeling Excitable Tissue
The EMI Framework...
View Book →
Modern Mainframe Development
COBOL, Databases, and Next-Generation Approaches...
View Book →
Model-Based Demography
Essays on Integrating Data, Technique and Theory...
View Book →
Autonomous Control for a Reliable Internet of Services
Methods, Models, Approaches, Techniques, Algorithms, and Tools...
View Book →
Advances in artificial intelligence : 19th Conference of the Canadian Society for Computational Stud
1 online resource (xiii, 564 pages) :...
View Book →
High-Performance Modelling and Simulation for Big Data Applications
Selected Results of the COST Action IC1406 cHiPSet...
View Book →
Handbook on Craniofacial Superimposition
The MEPROCS Project...
View Book →
Business Ethics - A Philosophical and Behavioral Approach
...
View Book →
Multimedia Big Data Computing for IoT Applications
Concepts, Paradigms and Solutions...
View Book →
Projection-Based Clustering through Self-Organization and Swarm Intelligence
Combining Cluster Analysis with the Visualization of High-Dimensional Data...
View Book →
Intelligence Unleashed
An argument for AI in Education...
View Book →
Optimization of Process Flowsheets through Metaheuristic Techniques
...
View Book →
Crisp and Soft Computing with Hypercubical Calculus
First published in 1999...
View Book →
Clinical Text Mining
Secondary Use of Electronic Patient Records...
View Book →
CIA Reading Room cia-rdp78b05707a001000170001-5: STATUS REPORT ON UTILIZATION OF THE IBM 1401 AND RE
Declassified in Part - Sanitized Copy Approved for Release,2014/03/05 : CIA-RDP78B05707A001000170001-5 R STATUS REPORT ON UTILIZATION OF THE IBM 1401 AND REMINGTON RAND 490 COMPUTERS 4ThI&s contains i...
View Book →
Integrated Groundwater Management
Concepts, Approaches and Challenges...
View Book →
From natural language processing to logic for expert systems
First published in 1991...
View Book →
Entity-relationship approach, ER '93
First published in 1994...
View Book →
DTIC ADA458594: Transportable Natural-Language Interfaces to Databases
Several computer systems have now been constructed that allow users to access databases by posing questions in natural languages, such as English. When used in the restricted domains for which they ha...
View Book →
Foundations of Trusted Autonomy
...
View Book →
Computational Cognitive Modeling and Linguistic Theory
...
View Book →
Theory and Applications of Ordered Fuzzy Numbers
A Tribute to Professor Witold Kosiński...
View Book →
Brain and Human Body Modeling
Computational Human Modeling at EMBC 2018...
View Book →
Intelligent Human Computer Interaction
9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings...
View Book →
Computer and Information Sciences
31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings...
View Book →
Wellbeing, Freedom and Social Justice
The Capability Approach Re-Examined...
View Book →
Cognitive constraints on communication : representations and processes
xix, 428 pages : 23 cm...
View Book →
Traffic control and transport planning
First published in 1998...
View Book →
Open Source Systems
16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12–14, 2020, Proceedings...
View Book →
A Common Good Approach to Development
Collective Dynamics of Development Processes...
View Book →
Bioinformatics for Evolutionary Biologists
A Problems Approach...
View Book →
Computational intelligence and feature selection
First published in 2008...
View Book →
Non-Equilibrium Social Science and Policy
Introduction and Essays on New and Changing Paradigms in Socio-Economic Thinking...
View Book →
Throwing fuel on the embers: Probability or Dichotomy, Cognitive or Linguistic?
Prof. Robert Berwick's abstract for his forthcoming invited talk at the ACL2016 workshop on Cognitive Aspects of Computational Language Learning revives an ancient debate. Entitled "Why take a chance?...
View Book →
From Axioms to Adaptation: A Self-Organizing Model of Mathematical and Logical Coherence
Mathematics and logic have long been framed as static systems, built upon fixed axioms and absolute truths. However, Gödel’s incompleteness theorems revealed that within any sufficiently complex fo...
View Book →
Research on Teaching and Learning Probability
...
View Book →
Foundations of Software Science and Computation Structures
22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings...
View Book →
Compendium for Early Career Researchers in Mathematics Education
...
View Book →