- Table View
- List View
Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday (Lecture Notes in Computer Science #14560)
by Freek Wiedijk Venanzio Capretta Robbert KrebbersThis Festschrift, dedicated to Herman Geuvers on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Herman Geuvers is a full professor at Radboud University Nijmegen and holds a part-time professorship at Eindhoven University of Technology. He received his PhD from Radboud University in 1993 and he was promoted to full professor in Computer Assisted Reasoning in 2006. Prof. Geuvers is an internationally renowned researcher in the field of proof assistants, logic in computer science, lambda calculus, and type theory. He has been a steering committee chair of the TYPES and FSCD conferences, chair of related EU Cost Action projects, and program chair or editor of related conferences and special issues in the area of computer science logic. He is a successful, generous and inspiring advisor and educator. He has been director of education and director of research of the Computer Science Institute at Radboud University Nijmegen, and he is currently chair of the examination board of computer science and chair of the board of the Institute for Programming Research and Algorithmics, a Dutch national inter-university research school. The contributions in this volume reflect Prof. Geuvers’ main research interests.
Logics for Computer Science: Classical And Non-classical
by Anita WasilewskaProviding an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework. While many logic books are available, they were written by logicians for logicians, not for computer scientists. They usually choose one particular way of presenting the material and use a specialized language. Logics for Computer Science discusses Gentzen as well as Hilbert formalizations, first order theories, the Hilbert Program, Godel's first and second incompleteness theorems and their proofs. It also introduces and discusses some many valued logics, modal logics and introduces algebraic models for classical, intuitionistic, and modal S4 and S5 logics.The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering. In addition to Computer Science, this book may also find an audience in mathematics and philosophy courses, and some of the chapters are also useful for a course in Artificial Intelligence.
Logics for Computer and Data Sciences, and Artificial Intelligence (Studies in Computational Intelligence #992)
by Lech T. PolkowskiThis volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.
Logics in Artificial Intelligence
by Loizos Michael Antonis KakasThis book constitutes the proceedings of the 15th European Conference on Logics in Artificial Intelligence, JELIA 2016, held in Larnaca, Cyprus, in November 2015. The 32 full papers and 10 short papers included in this volume were carefully reviewed and selected from 88 submissions. The accepted papers span a number of areas within Logics in AI, including: belief revision, answer set programming, argumentation, probabilistic reasoning, handling inconsistencies, temporal logics and planning, description logics, and decidability and complexity results.
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings (Lecture Notes in Computer Science #11468)
by Francesco Calimeri Nicola Leone Marco MannaThis book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic.
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings (Lecture Notes in Computer Science #12678)
by Gerhard Friedrich Wolfgang Faber Martin Gebser Michael MorakThis book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science #14281)
by Maria Vanina Martinez Magdalena Ortiz Sarah GagglThis book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, in September 2023.The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics
by Fabio MogaveroIn this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.
Logistic Core Operations with SAP: Inventory Management, Warehousing, Transportation, and Compliance
by Bernd Lauterbach Jens Kappauf Matthias Koch"Logistic Core Operations with SAP" not only provides an overview of core logistics processes and functionality--it also shows how SAP's Business Suite covers logistic core operations, what features are supported, and which systems can be used to implement end-to-end processes in the following logistic core disciplines: Procurement, Distribution, Transportation, Warehouse Logistics and Inventory Management, and Compliance and Reporting. In this context the authors not only explain their integration, the organizational set-up, and master data, but also which solution fits best for a particular business need. This book serves as a solid foundation for understanding SAP software. No matter whether you are a student or a manager involved in an SAP implementation, the authors go far beyond traditional function and feature descriptions, helping you ask the right questions, providing answers, and making recommendations. The book assists you in understanding SAP terminology, concepts and technological components as well as their closed-loop integration. Written in a clear, straight-forward style and using practical examples, it contains valuable tips, illustrative screenshots and flowcharts, as well as best practices--showing how business requirements are mapped into software functionality.
Logistic Core Operations with SAP: Procurement, Production and Distribution Logistics
by Bernd Lauterbach Jens Kappauf Matthias Koch"Logistic Core Operations with SAP" not only provides an overview of core logistics processes and functionality--it also shows how SAP's Business Suite covers logistic core operations, what features are supported, and which systems can be used to implement end-to-end processes in the following logistic core disciplines: Procurement, Distribution, Transportation, Warehouse Logistics and Inventory Management, and Compliance and Reporting. In this context the authors not only explain their integration, the organizational set-up, and master data, but also which solution fits best for a particular business need. This book serves as a solid foundation for understanding SAP software. No matter whether you are a student or a manager involved in an SAP implementation, the authors go far beyond traditional function and feature descriptions, helping you ask the right questions, providing answers, and making recommendations. The book assists you in understanding SAP terminology, concepts and technological components as well as their closed-loop integration. Written in a clear, straight-forward style and using practical examples, it contains valuable tips, illustrative screenshots and flowcharts, as well as best practices--showing how business requirements are mapped into software functionality.
Logistics 4.0 and Future of Supply Chains (Accounting, Finance, Sustainability, Governance & Fraud: Theory and Application)
by İsmail İyigün Ömer Faruk GörçünThis book provides a detailed theoretical background of Logistics 4.0 using real-world examples and case studies and proposes a methodological framework to understand the technological revolutions happening in the present day from the perspective of logistics management. With the fourth industrial revolution, new technologies, such as artificial intelligence, cloud computing, 3D printers and the Internet of Things started to take greater prominence in the world of business. One of the sectors most affected by changes brought on by this Industry 4.0 is logistics, which has given rise to the concept of Logistics 4.0. Covering a wide range of topics on Logistics 4.0, such as warehousing, big data, 3D printing, robotics and cloud computing, this book would be a valuable read for those involved in logistics management, academics and students in the areas of supply chain management, logistics, industry 4, and big data. .
Logistics Information Systems: Digital Transformation and Supply Chain Applications in the 4.0 Era (Springer Texts in Business and Economics)
by Batuhan KocaogluIn today’s era of digital transformation, the logistics sector is one of the most technology-intensive industries. This book provides a comprehensive overview of the IT infrastructure required for company operations, the types of enterprise software used in logistics, and current data collection technologies. It addresses the terminology, information flows, and application contexts of the necessary software, helping readers to see the big picture without being overwhelmed by technical details. It explains principal methodologies for modelling and designing systems and describes the objectives of project management and system analysis, not to mention why they are so essential to developing information systems. It also defines critical terms before turning to sector-specific hardware and software solutions for logistics operations: data collection, data processing, and data analytics solutions. In addition, the book includes sections that introduce readers to programming and the core of the database, piquing their interest and guiding them to a higher level of specialization. Study questions are provided at the end of each chapter to test reader comprehension. This book will be a helpful resource for students in logistics or professionals working in the fields of business administration, foreign trade, industrial engineering, ERP, or MIS who want to advance their knowledge and skills in the logistics industry.
Logistics and Fulfillment for e-business: A Practical Guide to Mastering Back Office Functions for Online Commerce
by Janice ReynoldsLogistics and fulfillment management is unglamorous, complex and expensive, but it is one of the primary factors determining whether an e-business will be profitable. Many enterprises (large and small) rush into the e-business model without adequate consi
Logistics and Supply Chain Management: 7th International Conference, LSCM 2020, Tehran, Iran, December 23-24, 2020, Revised Selected Papers (Communications in Computer and Information Science #1458)
by Gerhard-Wilhelm Weber Zohreh Molamohamadi Erfan Babaee Tirkolaee Abolfazl MirzazadehThis book constitutes selected and revised papers from the 7th International Conference Logistics and Supply Chain Management, held in December 2020 in Tehran, Iran. Due to the COVID-19 pandemic the conference was held online. The 17 full papers and 2 short papers pressented were thoroughly reviewed and selected out of 70 submissions. The papers are organized in the topical sections on information technology in supply chain management; production/scheduling and transportation in supply chain management; sustainable and resilient supply chain management; humanitarian supply chain management.
Logistics, Supply Chain and Financial Predictive Analytics: Theory And Practices (Asset Analytics)
by Kusum Deep Madhu Jain Said SalhiThis book addresses a broad range of problems commonly encountered in the fields of financial analysis, logistics and supply chain management, such as the use of big data analytics in the banking sector. Divided into twenty chapters, some of the contemporary topics discussed in the book are co-operative/non-cooperative supply chain models for imperfect quality items with trade-credit financing; a non-dominated sorting water cycle algorithm for the cardinality constrained portfolio problem; and determining initial, basic and feasible solutions for transportation problems by means of the “supply demand reparation method” and “continuous allocation method.” In addition, the book delves into a comparison study on exponential smoothing and the Arima model for fuel prices; optimal policy for Weibull distributed deteriorating items varying with ramp type demand rate and shortages; an inventory model with shortages and deterioration for three different demand rates; outlier labeling methods for medical data; a garbage disposal plant as a validated model of a fault-tolerant system; and the design of a “least cost ration formulation application for cattle”; a preservation technology model for deteriorating items with advertisement dependent demand and trade credit; a time series model for stock price forecasting in India; and asset pricing using capital market curves. The book offers a valuable asset for all researchers and industry practitioners working in these areas, giving them a feel for the latest developments and encouraging them to pursue further research in this direction.
Logistische Netzwerke
by Wolf-Rüdiger BretzkeDer Autor stellt industriespezifische und branchenübergreifende logistische Designprinzipien für erfolgreiche Netzmodelle in den Bereichen Industrie, Handel und Transportdienstleistung vor. Für die 2. Auflage wurde u. a. die Analyse zum Thema Nachhaltigkeit vertieft, der Autor hat außerdem mit zusätzlichen Fallbeispielen und Schaubildern die Verständlichkeit verbessert und widmet den methodologischen Grundlagen jetzt ein eigenes Kapitel. Dadurch werden Wissenschaft und Praxis noch stärker miteinander verzahnt.
Logistische Netzwerke
by Wolf-Rüdiger BretzkeDie 4. Auflage dieses erfolgreichen Buches wurde vollständig neu bearbeitet. Themen wie Netzwerkmanagement und -konfiguration, Servicedesign, Multi-Channel-Logistik und Outsourcing werden behandelt. Besonders erwähnenswert sind die ausführliche Erörterung des grundlegenden Themas „Komplexität“ und die Neueinführung des Kapitels „Citylogistik“. Insgesamt trägt das Buch der Tatsache Rechnung, dass sich logistische Konzepte jedweder Art mehr denn je in einem komplexen und hochdynamischen Umfeld bewähren müssen. Das Verständnis dieses Umfelds und die Umsetzung der Konzepte und Ideen im Unternehmen, werden dem Leser durch vielfältige Praxisbeispiele erleichtert.
Logo Recognition: Theory and Practice
by Jingying Chen Lizhe Wang Dan ChenUsed by companies, organizations, and even individuals to promote recognition of their brand, logos can also act as a valuable means of identifying the source of a document. E-business applications can retrieve and catalog products according to their logos. Governmental agencies can easily inspect goods using smart mobile devices that use logo recognition techniques. However, because logos are two-dimensional shapes of varying complexity, the recognition process can be challenging. Although promising results have been found for clean logos, they have not been as robust for noisy logos. Logo Recognition: Theory and Practice is the first book to focus on logo recognition, especially under noisy conditions. Beginning with an introduction to fundamental concepts and methods in pattern and shape recognition, it surveys advances in logo recognition. The authors also propose a new logo recognition system that can be used under adverse conditions such as broken lines, added noise, and occlusion. The proposed system introduces a novel polygonal approximation, a robust indexing scheme, and a new line segment Hausdorff distance (LHD) matching method that can handle more distortion and transformation types than previous techniques. In the first stage, raw logos are transformed into normalized line segment maps. In the second stage, effective line pattern features are used to index the database to generate a moderate number of likely models. In the third stage, an improved LHD measure screens and generates the best matches. A comprehensive overview of logo recognition, the book also presents successful applications of the technology and suggests directions for future research.
Logs and Telemetry: Using Fluent Bit, Kubernetes, streaming and more
by Phil WilkinsBuild cloud native observability pipelines with minimal footprints and high-performance throughput—all with Fluent Bit, Kubernetes, and your favorite visualization and analytics tools.Logs and Telemetry is an all-practical guide to monitoring both cloud-native and traditional environments with the Fluent Bit observability tool. It takes you from the basics of collecting app logs, all the way to filtering, routing, enriching and transforming logs, metrics, and traces. Inside Logs and Telemetry you&’ll learn how to: • Deploy Fluent Bit for telemetry (log, metric, and trace) collection • Configure pipelines to filter, route, and transform data • Integrate Fluent Bit with containers and Kubernetes • Configure Fluent Bit to work with OpenTelemetry, Prometheus, and other open source tech • Monitor applications at scale with minimal footprint • Address challenges in Kubernetes-based ecosystems using Fluent Bit • Utilize Fluent Bit for real-time event analytics to derive new metrics and insights • Develop custom filters, inputs, and outputs for unique or reusable use cases Logs and Telemetry draws on both the input and support of key committers and founders of Fluent Bit, and author Phil Wilkins&’ years of experience in DevOps. Inside, you&’ll see how you can integrate Fluent Bit with Prometheus, OpenTelemetry, FluentD deployments, and more. Learn how Fluent Bit can not only meet all the demands of cloud-native use cases, but also more traditional deployments as well. About the technology Fluent Bit is a super-fast lightweight observability tool that&’s perfect for Kubernetes and containers, as well as traditional IT environments. Fluent Bit makes it a snap to extract meaning from the logs, traces, and other performance metrics generated by your applications and infrastructure. It&’s also a great way to route telemetry to analysis tools like Prometheus and Grafana. About the book Logs and Telemetry shows you how to turn systems data into actionable insights using Fluent Bit. You&’ll start by learning the pre-built plugins for common use cases and progress to integration with powerful tools like OpenTelemetry and real-time analytical event processing. You&’ll use plugins to configure routing, filtering and processing, automate your observability with Lua scripts, and configure Fluent Bit to meet the demands of highly scalable environments. What's inside • Deploy Fluent Bit for telemetry collection • Configure pipelines to filter, route, and transform data • Integrate Fluent Bit with containers and Kubernetes • Monitor applications at scale About the reader For developers, DevOps engineers, and SREs working with observability. About the author Phil Wilkins has spent over 25 years in the software industry from multinationals to software startups. He is the author of Logging in Action. The technical editor on this book was Karthik Gaekwad. Table of Contents Part 1 1 Introduction to Fluent Bit 2 From zero to &“Hello, World&” Part 2 3 Capturing inputs 4 Getting inputs from containers and Kubernetes 5 Outputting events 6 Parsing to extract more meaning 7 Filtering and transforming events Part 3 8 Stream processors for time series calculations and filtering 9 Building processors and Fluent Bit extension options 10 Building plugins 11 Putting Fluent Bit into action: An enterprise use case Appendix A Installations Appendix B Useful resources Appendix C Comparing Fluent Bit and Fluentd
Long COVID Fatigue: Clinical Sciences, Artificial Intelligence and the Future of Brain Health
by Thorsten RudroffThis book offers the first comprehensive analysis of long COVID fatigue using advanced neuroimaging and artificial intelligence (AI). It bridges the gap between basic science and patient care in post-viral syndromes. The volume guides readers from fundamental concepts to future innovations, making complex neurobiological mechanisms accessible to researchers and clinicians. Each chapter builds on the previous, connecting molecular mechanisms to clinical manifestations. The integration of AI in diagnosis and treatment is a pioneering approach in long COVID literature. The book provides detailed analysis of brain metabolic patterns in long COVID fatigue, insights into protective mechanisms like metabolic heterogeneity in the basal ganglia, practical guidelines for AI-enhanced diagnostic and treatment approaches, and pathways for translating research into clinical practice. It combines rigorous scientific analysis with practical applications, serving as both a reference and a roadmap for future developments in long COVID research and treatment. The main objectives are to provide a comprehensive understanding of long COVID fatigue mechanisms, present evidence-based approaches for diagnosis and treatment, showcase innovative AI applications in medical imaging, establish a framework for future research, and offer practical clinical management guidelines. This book is tailored for neurologists, neuroscientists, COVID-19 specialists, radiologists, healthcare providers, AI researchers, and graduate students in related fields.
Long Term Evolution: 3GPP LTE Radio and Cellular Technology
by Borko Furht Syed A. AhsonWhile 3G has been an outstanding success, the ever-growing demand for higher data rates and higher quality mobile communication services continues to fuel conflict between the rapidly growing number of users and limited bandwidth resources. In the future, a 100-fold increase in mobile data traffic is expected. That will necessitate further improvem
Long-Term Durability of Polymeric Matrix Composites
by Gyaneshwar P. Tandon Gregory A. Schoeppner Kishore V. PochirajuLong-Term Durability of Polymeric Matrix Composites presents a comprehensive knowledge-set of matrix, fiber and interphase behavior under long-term aging conditions, theoretical modeling and experimental methods. This book covers long-term constituent behavior, predictive methodologies, experimental validation and design practice. Readers will also find a discussion of various applications, including aging air craft structures, aging civil infrastructure, in addition to engines and high temperature applications.
Long-Term Reliability of Nanometer VLSI Systems: Modeling, Analysis and Optimization
by Sheldon Tan Mehdi Tahoori Taeyoung Kim Shengcheng Wang Zeyu Sun Saman KiamehrThis book provides readers with a detailed reference regarding two of the most important long-term reliability and aging effects on nanometer integrated systems, electromigrations (EM) for interconnect and biased temperature instability (BTI) for CMOS devices. The authors discuss in detail recent developments in the modeling, analysis and optimization of the reliability effects from EM and BTI induced failures at the circuit, architecture and system levels of abstraction. Readers will benefit from a focus on topics such as recently developed, physics-based EM modeling, EM modeling for multi-segment wires, new EM-aware power grid analysis, and system level EM-induced reliability optimization and management techniques.Reviews classic Electromigration (EM) models, as well as existing EM failure models and discusses the limitations of those models;Introduces a dynamic EM model to address transient stress evolution, in which wires are stressed under time-varying current flows, and the EM recovery effects. Also includes new, parameterized equivalent DC current based EM models to address the recovery and transient effects;Presents a cross-layer approach to transistor aging modeling, analysis and mitigation, spanning multiple abstraction levels;Equips readers for EM-induced dynamic reliability management and energy or lifetime optimization techniques, for many-core dark silicon microprocessors, embedded systems, lower power many-core processors and datacenters.
Long-Term Structural Health Monitoring by Remote Sensing and Advanced Machine Learning: A Practical Strategy via Structural Displacements from Synthetic Aperture Radar Images (SpringerBriefs in Applied Sciences and Technology)
by Carlo De Michele Alireza Entezami Bahareh BehkamalThis book offers an in-depth investigation into the complexities of long-term structural health monitoring (SHM) in civil structures, specifically focusing on the challenges posed by small data and environmental and operational changes (EOCs). Traditional contact-based sensor networks in SHM produce large amounts of data, complicating big data management. In contrast, synthetic aperture radar (SAR)-aided SHM often faces challenges with small datasets and limited displacement data. Additionally, EOCs can mimic the structural damage, resulting in false errors that can critically affect economic and safety issues. Addressing these challenges, this book introduces seven advanced unsupervised learning methods for SHM, combining AI, data sampling, and statistical analysis. These include techniques for managing datasets and addressing EOCs. Methods range from nearest neighbor searching and Hamiltonian Monte Carlo sampling to innovative offline and online learning frameworks, focusing on data augmentation and normalization. Key approaches involve deep autoencoders for data processing and novel algorithms for damage detection. Validated using simulated data from the I-40 Bridge, USA, and real-world data from the Tadcaster Bridge, UK, these methods show promise in addressing SAR-aided SHM challenges, offering practical tools for real-world applications. The book, thereby, presents a comprehensive suite of innovative strategies to advance the field of SHM.
Longing, Ruin, and Connection in Hideo Kojima’s Death Stranding (Routledge Advances in Game Studies)
by Amy M. GreenThis volume provides an in-depth examination of the video game Death Stranding, focusing on the game’s exploration of ruin, nostalgia, and atonement as its primary symbolic, narrative, and mechanical language. Offering the first close examination of Death Stranding’s narrative, the book also incorporates a strong foundation in game studies, most especially related to the concepts of immersion and embodiment. The focus of the book lies in considering how Death Stranding expands on the themes of ruin, longing, and the need for connection, and whether a reconciliation—on a community level, national level, or even global level—might be possible. This book will appeal to scholars in a variety of disciplines in the Humanities and the Social Sciences, from video game studies and media studies to English, history, philosophy, and popular culture.