Search Results - Theory of computation Logic Programming logic

Ewa Orłowska on Relational Methods in Logic and Computer Science

Philosophical and Mathematical Logic by de Swart, Harrie

Great Circle of Mysteries Mathematics, the World, the Mind / by Gromov, Misha

Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language / by Elahi, Ata

Practical Quantum Computing for Developers Programming Quantum Rigs in the Cloud using Python, Quantum Assembly Language and IBM QExperience / by Silva, Vladimir

Soft Computing Applications

Chaos, Complexity and Leadership 2016

Advanced Computing and Communication Technologies Proceedings of the 10th ICACCT, 2016 /

Intelligent Distributed Computing XI

Table of Contents: “…Part I: Distributed Algorithms and Optimization -- A Performance Analysis of Self-* Evolutionary Algorithms on Networks with Correlated Failures -- Spatially Structured Evolutionary Algorithms: Graph Degree, Population Size and Convergence Speed -- Heuristic of Anticipation for Fair Scheduling and Resource Allocation in Grid VOs -- On the Applications of Dijkstra's Shortest Path Algorithm in Software Defined Networks -- Part II: Reasoning and Decision Making in Distributed Environments -- Towards a Paraconsistent Approach to Actions in Distributed Information-Rich Environments -- A Modified Vickrey Auction with Regret Minimization for Uniform Alliance Decisions -- Lightweight Cooperative Self-Localization as Support to Traffic Regulation for Autonomous Car Driving -- A New Approach for Vertical Handover between LTE and WLAN Based on Fuzzy Logic and Graph Theory -- Part III: Multi-agent Systems -- Programming the Interaction Space Effectively with ReSpecTX -- Multi-Agent System to Design Next Generation of Airborne Platform -- A Drone-based Building Inspection System using Software-Agents -- Part IV: Data Analysis, Mining and Integration -- Connecting Social Media Data with Observed Hybrid Data for Environment Monitoring -- EUStress: a Human Behaviour Analysis System for Monitoring and Assessing Stress during Exams -- Post Sharing-based Credibility Network for Social Network -- Ontological Hybrid Storage for Security Data -- Part V: Machine Learning -- Wind Power Production Forecasting using Ant Colony Optimization and Extreme Learning Machines -- Convolutional Neural Networks for Four-Class Motor Imagery Data Classification -- Binary Classification of Images for Applications in Intelligent 3D Scanning -- Part VI: Internet of Things and Cloud Computing -- Context Aware Resource and Service Provisioning Management in Fog Computing Systems -- An Argumentative Approach to Smart Home Office Ambient Lighting -- A Recommender System Based on Hierarchical Clustering for Cloud e-Learning -- A Taxonomy of Anomalies in Distributed Cloud Systems: The CRI-Model -- Modeling and Analysis of IoT Energy Resource Exhaustion Attacks -- Part VII: Service-based Distributed Systems -- Service Discovery in Megascale Distributed Systems -- Context-Aware Access Control Model for Services Provided from Cloud Computing -- Reference Architecture for Self-Adaptive Microservice Systems -- Part VIII: WASA 2017 (7th Workshop on Applications of Software Agents) -- Agent-Based Computing in the Internet of Things: a Survey -- Teaching, Learning and Assessment of Agents and Robotics in a Computer Science Curriculum.…”

Interactions Between Computational Intelligence and Mathematics

Proceedings of the Second International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'17) Volume 1 /

Quality Software Through Reuse and Integration

Practical Artificial Intelligence Machine Learning, Bots, and Agent Solutions Using C# / by Pérez Castaño, Arnaldo

Intelligent Control Design and MATLAB Simulation by Liu, Jinkun

Operations Research and Optimization FOTA 2016, Kolkata, India, November 24-26 /

Table of Contents: “…Mishra, Saddle Point Criteria for Semi-infinite Programming Problems via an h-Approximation Method -- A. …”