Page 2
Page 2
Trends and challenges in robotic applications
Research performed on robotic applications has significantly expanded in the last decade, and currently, robotic systems are being utilized for many purposes. To achieve this generalized application of robots, researchers have endeavoured to study a wide variety of methods and algorithms in order to properly employ robotic systems in many real-life scenarios. At present, many types of robotic platforms are being employed in various applications, e.g., dual-arm robots, parallel robots, mobile robots, humanoid robots, aerial robots, underwater robots, and micro/nano robots. Moreover, some theoretical tools are specially being used to obtain correct robot performance, e.g., machine learning, artificial intelligence, multi-agent systems, and control and planning theory. The purpose of this reprint is to exhibit the current state of robotic applications. In particular, in addition to introducing novel theories and methods, this reprint is particularly focused on the application of robotic systems in real-life situations.
Transactions on Computational Science XXXVII : Special Issue on Computer Graphics
This, the 37th issue of the Transactions on Computational Science, is devoted to the area of Computer Graphics. The 9 papers included in the volume constitute extended versions of selected papers presented at the 36th Computer Graphics International Conference, CGI 2019. Topics covered include virtual reality, augmented reality, image retrieval, animation of elastoplastic material, and visualization of 360°HDR images.
Tools and Algorithms for the Construction and Analysis of Systems ; 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Tools and algorithms for the construction and analysis of systems ; 28th International Conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, part I
This book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Tools and Algorithms for the Construction and Analysis of Systems ; 25th International Conference, TACAS 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, Part I
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.
Tools and Algorithms for the Construction and Analysis of Systems ; 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.
Tools and algorithms for the construction and analysis of systems ; 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.
Threat Hunting in the Cloud : Defending AWS, Azure and Other Cloud Platforms Against Cyberattacks
You'll learn : Key business and technical drivers of cybersecurity threat hunting frameworks in today's technological environment / Metrics available to assess threat hunting effectiveness regardless of an organization's size / How threat hunting works with vendor-specific single cloud security offerings and on multi-cloud implementations / A detailed analysis of key threat vectors such as email phishing, ransomware and nation state attacks / Comprehensive AWS and Azure "how to" solutions through the lens of MITRE Threat / Hunting Framework Tactics, Techniques and Procedures (TTPs) / Azure and AWS risk mitigation strategies to combat key TTPs such as privilege escalation, credential theft, lateral movement, defend against command & control systems, and prevent data exfiltration / Tools available on both the Azure and AWS cloud platforms which provide automated responses to attacks, and orchestrate preventative measures and recovery strategies / Many critical components for successful adoption of multi-cloud threat hunting framework such as Threat Hunting Maturity Model, Zero Trust Computing, Human Elements of Threat Hunting, Integration of Threat Hunting with Security Operation Centers (SOCs) and Cyber Fusion Centers / The Future of Threat Hunting with the advances in Artificial Intelligence, Machine Learning, Quantum Computing and the proliferation of IoT devices.
Theory and Applications of Models of Computation ; 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings
This book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, TAMC 2020, held in Changsha, China, in October 2020. The 37 full papers were carefully reviewed and selected from 83 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory and their extensions to machine learning theory and foundations of artificial intelligence.
Theoretical and Practical Advances in Computer-based Educational Measurement
Presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical possibilities. The book not only addresses several improvements in the quality of educational measurement and innovations in (inter)national large scale assessments, but also several advances in psychometrics and improvements in computerized adaptive testing. Moreover, it also offers examples on the impact of new technology in assessment. By bringing together expertise from this variety of fields, advances in assessment are fostered and stimulated. It discussed, among which are review systems tailored for the evaluation of the quality of computer-based educational tests, the Curie-Weiss model as a paradigm for the analysis of educational data, Bayesian techniques to decide on mastery in formative educational measurement and the comparison of Elo chess ratings as strategies for on-the-fly item calibration in computerized adaptive tests.
The Variational Bayes Method in Signal Processing
This is the first book-length treatment of the Variational Bayes (VB) approximation in signal processing. It has been written as a self-contained, self-learning guide for academic and industrial research groups in signal processing, data analysis, machine learning, identification and control.
The Semantic Web ; 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings.
Address the latest results in the research and applications of Semantic Web technologies and cover topics including: scalable reasoning and logic, ontology mapping, ontology modelling and management, ontologies and tags, human language technologies and machine learning, querying, semantic Web services and semantic Web applications.
The Semantic Web ; 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings
Carefully reviewed and selected from 166 submissions. The papers were submitted to three tracks: the research track, the resource track and the in-use track. These tracks showcase research and development activities, services and applications, and innovative research outcomes making their way into industry. The research track caters for both long standing and emerging research topics in the form of the following subtracks: ontologies and reasoning; natural language processing and information retrieval; semantic data management and data infrastructures; social and human aspects of the Semantic Web; machine learning; distribution and decentralization; science of science; security, privacy, licensing and trust; knowledge graphs; and integration, services and APIs.
The Semantic Web : Semantics for Data and Services on the Web
The Semantic Web is a vision – the idea of having data on the Web defined and linked in such a way that it can be used by machines not just for display purposes but for automation, integration and reuse of data across various applications. Technically, however, there is a widespread misconception that the Semantic Web is primarily a rehash of existing AI and database work focused on encoding knowledge representation formalisms in markup languages such as RDF(S), DAML+OIL or OWL.Throughout the book, the use-case of a clinical vignette will serve to motivate and explain solutions based on Semantic Web technologies, emphasizing the application aspects related to data integration, knowledge acquisition, change management, semantic web services, and workflow management.
The semantic web : Research and applications ; Vol. 3532 ; 2nd European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29--June 1, 2005, Proceedings
The vision of the Semantic Web is to enhance today’s Web via the exploi- tion of machine-processable metadata. The explicit representation of the sem- tics of data, accompanied with domain theories (ontologies), will enable a web that provides a qualitatively new level of service. It will weave together an - crediblylargenetworkofhumanknowledgeandwillcomplementitwithmachine processability. Various automated services will help the user to achieve goals by accessing and providing information in a machine-understandable form. This process may ultimately create extremely knowledgeable systems with various specialized reasoning services systems. Many technologies and methodologies are being developed within arti?cial intelligence, human language technology, machine learning, databases, software engineering and information systems that can contribute to the realization of this vision.
The Semantic Web – ISWC 2020 ; 19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part I
The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC 2020, which was planned to take place in Athens, Greece, during November 2-6, 2020. The conference changed to a virtual format due to the COVID-19 pandemic. The papers included in this volume deal with the latest advances in fundamental research, innovative technology, and applications of the Semantic Web, linked data, knowledge graphs, and knowledge processing on the Web.
The role of artificial intelligence in improving financial performance and predicting risk : An empirical study on jpmorgan chase
Aims to investigate the effects of AI applications on the banking sector through a case study of JPMorgan Chase. The research studies how AI technology affects increases of financial performance, operational efficiency, and risk reduction and customers satisfaction. with jpmorgan as a point of reference, the research takes a close look at how tools such as the coin for contract review, fraud detection systems, chatbots, and algorithmic trading have proved revolutionary in modern banking.
The Road To General Intelligence
"The recent notable successes of Machine Learning has lead to conjecture that it might be the appropriate technology for delivering General Intelligence. This book argues that the framework of machine learning is fundamentally at odds with any reasonable notion of intelligence and that essential insights from previous decades of AI research are being forgotten. Details the pragmatic requirements for real-world General Intelligence / Describes how machine learning fails to meet these requirements / Provides a philosophical basis for the proposed approach / Provides mathematical detail for a reference architecture / Describes a research program intended to address issues of concern in contemporary AI."
The NeurIPS '18 Competition : From Machine Learning to Intelligent Conversations
This volume presents the results of the Neural Information Processing Systems Competition track at the 2018 NeurIPS conference. The competition follows the same format as the 2017 competition track for NIPS. Out of 21 submitted proposals, eight competition proposals were selected, spanning the area of Robotics, Health, Computer Vision, Natural Language Processing, Systems and Physics. Competitions have become an integral part of advancing state-of-the-art in artificial intelligence (AI). They exhibit one important difference to benchmarks: Competitions test a system end-to-end rather than evaluating only a single component; they assess the practicability of an algorithmic solution in addition to assessing feasibility.
The Impact of Digital Technologies on Public Health in Developed and Developing Countries ; 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings
The objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional densenet-121 architecture.
