- Table View
- List View
Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding: Third China Conference, CCKS 2018, Tianjin, China, August 14–17, 2018, Revised Selected Papers (Communications in Computer and Information Science #957)
by Jun Zhao Frank Van Harmelen Jie Tang Xianpei Han Quan Wang Xianyong LiThis book constitutes the refereed proceedings of the Third China Conference on Knowledge Graph and Semantic Computing, CCKS 2018, held in Tianjin, China, in August 2018.The 27 revised full papers and 2 revised short papers presented were carefully reviewed and selected from 101 submissions. The papers cover wide research fields including the knowledge graph, information extraction, knowledge representation and reasoning, linked data.
Knowledge Graphs and Semantic Web: 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13–15, 2023, Proceedings (Lecture Notes in Computer Science #14382)
by Fernando Ortiz-Rodriguez Boris Villazón-Terrazas Sanju Tiwari Carlos BobedThis book constitutes the refereed proceedings of the 5th Iberoamerican Conference and 4th Indo-American Conference on Knowledge Graphs and Semantic Web, KGSWC 2023, held jointly in Zaragoza, Spain, during November 13–15, 2023.The 18 full and 2 short papers presented were carefully reviewed and selected from 50 submissions. They focus on the following topics: knowledge representation; natural language processing/text mining; and machine/deep learning research.
Knowledge Guided Machine Learning: Accelerating Discovery using Scientific Knowledge and Data (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series)
by Anuj Karpatne Ramakrishnan Kannan Vipin KumarGiven their tremendous success in commercial applications, machine learning (ML) models are increasingly being considered as alternatives to science-based models in many disciplines. Yet, these "black-box" ML models have found limited success due to their inability to work well in the presence of limited training data and generalize to unseen scenarios. As a result, there is a growing interest in the scientific community on creating a new generation of methods that integrate scientific knowledge in ML frameworks. This emerging field, called scientific knowledge-guided ML (KGML), seeks a distinct departure from existing "data-only" or "scientific knowledge-only" methods to use knowledge and data at an equal footing. Indeed, KGML involves diverse scientific and ML communities, where researchers and practitioners from various backgrounds and application domains are continually adding richness to the problem formulations and research methods in this emerging field. Knowledge Guided Machine Learning: Accelerating Discovery using Scientific Knowledge and Data provides an introduction to this rapidly growing field by discussing some of the common themes of research in KGML using illustrative examples, case studies, and reviews from diverse application domains and research communities as book chapters by leading researchers. KEY FEATURES First-of-its-kind book in an emerging area of research that is gaining widespread attention in the scientific and data science fields Accessible to a broad audience in data science and scientific and engineering fields Provides a coherent organizational structure to the problem formulations and research methods in the emerging field of KGML using illustrative examples from diverse application domains Contains chapters by leading researchers, which illustrate the cutting-edge research trends, opportunities, and challenges in KGML research from multiple perspectives Enables cross-pollination of KGML problem formulations and research methods across disciplines Highlights critical gaps that require further investigation by the broader community of researchers and practitioners to realize the full potential of KGML
Knowledge Management and Acquisition for Intelligent Systems
by Hayato Ohwada Kenichi YoshidaThis book constitutes the proceedings of the 14th International Workshop on Knowledge Management and Acquisition for Intelligent Systems, PKAW 2016, held in Phuket, Thailand, in August 2016. The 16 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 initial submissions. They deal with knowledge acquisition and machine learning; knowledge acquisition and natural language processing; knowledge acquisition from network and big data; and knowledge acquisition and applications.
Knowledge Management in Organizations: 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings (Communications in Computer and Information Science #1027)
by Lorna Uden I-Hsien Ting Juan Manuel CorchadoThis book contains the refereed proceedings of the 14th International Conference on Knowledge Management in Organizations, KMO 2019, held in Zamora, Spain, in July 2019. The 46 papers accepted for KMO 2018 were selected from 109 submissions and are organized in topical sections on: knowledge management models and analysis; knowledge transfer and learning; knowledge and service innovation; knowledge creation; knowledge and organization; information systems and information science; data mining and intelligent science; social networks and social aspects of KM; big data and IoT; and new trends in IT.
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
by Fenrong Liu Hiroakira Ono Junhua YuThis volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosophical foundations of logic. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond.
Knowledge Technology and Systems: Toward Establishing Knowledge Systems Science (Translational Systems Sciences #34)
by Yoshiteru NakamoriThis book discusses technology and systems to create valuable ideas from data through the construction of knowledge. The primary concern is to make better decisions about economic and management issues in today’s information-flooded society. Human creative activity is in the realm of soft technology, with no physical entity to operate. Focusing on the ability of knowledge as judgment power, this definition results: “Knowledge technology is soft technology that underpins the human creative activities of converting data and information into knowledge, creating new ideas based on that knowledge and validating those ideas.” That definition includes a wide range of soft technologies developed in informatics, management studies, and systems science. The knowledge system creates ideas from data and knowledge through knowledge technologies. Based on the proposition that knowledge emerges by the interaction between explicit and tacit knowledge, another definition is possible: “The knowledge system is a system that promotes interaction between codified and personalized knowledge and creates ideas for solving a specific problem.” Codified knowledge includes data and information, while personalized knowledge is empirical knowledge or wisdom that is difficult to put into words. Building a knowledge system requires mathematical or intelligent knowledge technology and participatory knowledge technology to create or manage codified knowledge and personalized knowledge. For example, a company builds cross-sectional knowledge systems by gathering human resources from various departments, according to the purpose, as in new product development or sales promotion. Chapter 1 defines knowledge technology and the knowledge system and organizes the challenges in their development, while Chapters 2 through 9 introduce mathematical or intelligent knowledge technologies by researchers at the forefront of knowledge technology development.
Knowledge Transfer in the Sustainable Rehabilitation and Risk Management of the Built Environment: KNOW-RE-BUILT. Proceedings of the Online International Multiplier Event/Conference, December 15-16, 2021 (Springer Series in Geomechanics and Geoengineering)
by Ancuța RotaruThis book showcases the valuable contributions made during the online event entitled The International Conference on Knowledge Transfer in the Sustainable Rehabilitation and Risk Management of the Built Environment. The conference was held on December 15–16, 2021, and was organized as a multiplier event of the European project Rehabilitation of the Built Environment in the Context of Smart City and Sustainable Development Concepts for Knowledge Transfer and Lifelong Learning (RE-BUILT). This book specifically retains the same main themes explored in the book titled Critical Thinking in the Sustainable Rehabilitation and Risk Management of the Built Environment – CRIT-RE-BUILT. The papers included in this book are mostly authored by partners in the project’s consortium and cover various aspects of civil engineering knowledge transfer in crucial areas, to address different perspectives and significant challenges related to the sustainable built environment. The book seeks to provoke ideas and discussions, particularly in the areas where risk management and sustainable rehabilitation of the built environment intersect, ranging from reducing hazard risks to enhancing sustainable rehabilitation efforts in the field
Knowledge Visualization Currents
by Francis T. Marchese Ebad BanissiThis text reviews the evolution of the field of visualization, providing innovative examples from various disciplines, highlighting the important role that visualization plays in extracting and organizing the concepts found in complex data. Features: presents a thorough introduction to the discipline of knowledge visualization, its current state of affairs and possible future developments; examines how tables have been used for information visualization in historical textual documents; discusses the application of visualization techniques for knowledge transfer in business relationships, and for the linguistic exploration and analysis of sensory descriptions; investigates the use of visualization to understand orchestral music scores, the optical theory behind Renaissance art, and to assist in the reconstruction of an historic church; describes immersive 360 degree stereographic visualization, knowledge-embedded embodied interaction, and a novel methodology for the analysis of architectural forms.
The Kolmogorov-Obukhov Theory of Turbulence
by Bjorn BirnirTurbulence is a major problem facing modern societies. It makes airline passengers return to their seats and fasten their seatbelts but it also creates drag on the aircraft that causes it to use more fuel and create more pollution. The same applies to cars, ships and the space shuttle. The mathematical theory of turbulence has been an unsolved problems for 500 years and the development of the statistical theory of the Navier-Stokes equations describes turbulent flow has been an open problem. The Kolmogorov-Obukhov Theory of Turbulence develops a statistical theory of turbulence from the stochastic Navier-Stokes equation and the physical theory, that was proposed by Kolmogorov and Obukhov in 1941. The statistical theory of turbulence shows that the noise in developed turbulence is a general form which can be used to present a mathematical model for the stochastic Navier-Stokes equation. The statistical theory of the stochastic Navier-Stokes equation is developed in a pedagogical manner and shown to imply the Kolmogorov-Obukhov statistical theory. This book looks at a new mathematical theory in turbulence which may lead to many new developments in vorticity and Lagrangian turbulence. But even more importantly it may produce a systematic way of improving direct Navier-Stokes simulations and lead to a major jump in the technology both preventing and utilizing turbulence.
Kolmogorov Operators and Their Applications (Springer INdAM Series #56)
by Sergio Polidoro Andrea Pascucci Stéphane MenozziKolmogorov equations are a fundamental bridge between the theory of partial differential equations and that of stochastic differential equations that arise in several research fields. This volume collects a selection of the talks given at the Cortona meeting by experts in both fields, who presented the most recent developments of the theory. Particular emphasis has been given to degenerate partial differential equations, Itô processes, applications to kinetic theory and to finance.
Kombinatorische Optimierung
by Bernhard Korte Jens Vygen Rabe Von RandowDas umfassende Lehrbuch zur Kombinatorischen Optimierung beruht auf Vorlesungen, die die Autoren an der Universität Bonn gehalten haben. Sie geben den neuesten Stand des Fachgebiets wieder - mit Schwerpunkt auf theoretischen Resultaten und Algorithmen mit guten Laufzeiten und Ergebnissen. Der Band enthält vollständige Beweise, einige davon wurden bisher nicht in der Lehrbuchliteratur publiziert. Die deutschsprachige Neuauflage enthält alle Ergänzungen und Aktualisierungen der 5. englischsprachigen Auflage, darunter mehr als 60 neue Übungsaufgaben.
Kompaktkurs Kombinatorik: Gezählt, verteilt und wohlgeordnet
by Mario H. KrausDieses Buch ist die erste fachübergreifende Einführung in die Kombinatorik in deutscher Sprache und umfasst Gesetzmäßigkeiten, Rechenregeln, Anwendungen sowie 50 Übungsaufgaben mit Lösungen. Es zeigt, wie dieses oft unterschätzte Fachgebiet zahlreiche Entwicklungen in Linguistik und Lyrik, Mathematik und Informatik, Chemie, Musik, Psychologie, Soziologie und Ökonomie beeinflusste.
Komplexe Mannigfaltigkeiten (essentials)
by Klaus FritzscheNach einer Einführung in die holomorphen Funktionen von mehreren Veränderlichen wird die Welt der komplexen Mannigfaltigkeiten vorgestellt, insbesondere Untermannigfaltigkeiten, analytische Mengen und tangentiale Strukturen. Weitere Themen sind komplexe Vektorbündel, Liegruppen und Quotientenstrukturen. Wichtigste Beispiele sind die Steinschen Mannigfaltigkeiten, sowie die projektiv-algebraischen Mengen mit ihrer Beziehung zur algebraischen Geometrie.
Komplexe Zahlen: Eine Einführung für Studienanfänger*innen (essentials)
by Jörg KortemeyerKomplexe Zahlen sind ein typisches Thema mathematischer Grundlagenveranstaltungen. Dieses Essential liefert eine ausführliche Einführung und Darstellung wesentlicher Aspekte beim Umgang mit komplexen Zahlen, zum einen bezogen auf üblicherweise auftretende Aufgabenstellungen und zum anderen eingebettet in mathematische Grundlageninhalte.
Komplexität
by Frank-Michael DittesAnhand von Alltagsbeispielen untersucht der Autor in dem Buch typische Eigenschaften komplexer Systeme. Behandelt wird insbesondere ein Verhaltensmuster, nämlich die Tendenz dieser Systeme, ihre Komplexität zu erhöhen und einen Zustand am Rande zum Chaos einzunehmen. Die Eigenschaften dieses Zustands werden beschrieben und die Reduktion von Komplexität als Weg zur Stabilisierung abgeleitet. Alle Aussagen werden durch mathematische Modelle physikalischer, biologischer und technischer Systeme illustriert, wobei auf Formeln weitgehend verzichtet wird.
Komplexität: Warum die Bahn nie pünktlich ist (Technik im Fokus)
by Frank-Michael DittesAnhand von Alltagsbeispielen untersucht der Autor in dem Buch typische Eigenschaften komplexer Systeme. Behandelt wird insbesondere ein Verhaltensmuster, nämlich die Tendenz dieser Systeme, ihre Komplexität zu erhöhen und einen Zustand am Rande zum Chaos einzunehmen. Die Eigenschaften dieses Zustands werden beschrieben und die Reduktion von Komplexität als Weg zur Stabilisierung abgeleitet. Alle Aussagen werden durch mathematische Modelle physikalischer, biologischer und technischer Systeme illustriert, wobei auf Formeln weitgehend verzichtet wird.
Konfidenzintervalle und Standardfehler-Balken: Das Konzept verstehen und Ergebnisse angemessen interpretieren (essentials)
by Irasianty FrostDieses essential zeigt die korrekte Anwendung von Konfidenzintervallen und hilft, Fehlinterpretationen derselben zu vermeiden bzw. zu erkennen. Auf die mathematischen Tiefen der Statistik wird bewusst verzichtet. Leser lernen in diesem essential den Begriff und die Bedeutung des Konfidenzintervalls im Kontext der dahinterstehenden Idee von Jerzy Neyman (1894-1981) kennen. Beispiele und Abbildungen erleichtern das Erfassen des Konzepts Konfidenzintervall.
Konstruktion und Akzeptanz von Beweisen: Eine empirische Analyse der Zusammenhänge (Mathematikdidaktik im Fokus)
by Florian FüllgrabeEin Anliegen der mathematikdidaktischen Forschung ist die Beschreibung, Diagnose und Förderung verschiedener mathematischer Kompetenzen, zu denen auch die Beweiskompetenz zählt. Dieses Anliegen wird durch die in diesem Buch vorgestellte empirische Studie adressiert, indem mit einem Mixed-Methods-Ansatz Zusammenhänge zwischen der Konstruktion und Akzeptanz von Beweisen analysiert werden. Genauer wird analysiert, welche Zusammenhänge zwischen der Performanz bei der Konstruktion von Beweisen und der Beurteilung von Beweisprodukten hinsichtlich der Beweisakzeptanz und dazugehörigen Akzeptanzkriterien existieren. Durch die Ergebnisse der Studie wird ein Beitrag dazu geleistet, den Begriff der Beweiskompetenz besser verstehen zu können.
Kontinuumsmechanik
by Holm AltenbachZiel des Buchs ist es, auf möglichst einfache Weise in die Grundlagen dieses anspruchsvollen Fachgebiets einzuführen. Gegliedert in Abschnitte zum historischen Abriss und zur Tensorrechnung, zu materialunabhängigen und zu materialabhängigen Gleichungen liegt der Schwerpunkt des Buchs bei festen deformierbaren Körpern. Viele Beispiele mit vollständigen Lösungen illustrieren den theoretischen Teil. Geeignet für Studierende im Bereich Maschinenbau und Bauingenieurwesens, Physik und Technomathematik sowie für Forscher und Praktiker in der Industrie.
Kontinuumsmechanik fester Körper: Mit mathematischen Grundlagen und Anwendungen in der Strukturmechanik
by Frank IhlenburgDas Lehr- und Übungsbuch ist im Stil der Standardliteratur zur Technischen/Höheren Mechanik geschrieben und schließt inhaltlich an diese an. Theoretische Zusammenhänge werden mit Beispielen und Grafiken illustriert, dazu Übungsaufgaben mit durchgerechneten Lösungen im Anhang. Zielgruppe sind Studierende des Ingenieurwesens und praktisch tätige Ingenieure werden bei nichtlinearen Finite-Elemente-Simulationen unterstützt. In der Verknüpfung FEM-CAD setzt sich die kontinuumsmechanische Modellierung mit Volumenelementen durch, zudem wird Stahl oft durch nichtmetallische Werkstoffe ersetzt. Die Kapitel zur Materialtheorie tragen diesen Trends Rechnung. Weitere Themen sind Kinematik und Kinetik großer Deformationen sowie mathematische und thermodynamische Grundlagen. Für Elastizität und Plastizität wird jeweils auch das viskose Verhalten diskutiert. Das Materialverhalten bei großen Deformationen wird im Kontext mit der linearen Theorie und einfachen FE-Simulationen erläutert.
Konzepte der Funktionentheorie: Reelle und komplexe Analysis einer Variablen
by Jürgen MüllerIn diesem Lehrbuch wird ein direkter Weg von der reellen Analysis einer Variablen in die Funktionentheorie aufgezeigt. Dabei werden schon klassische Themen der eindimensionalen reellen Analysis (wie die Differenzial- und Integralrechnung) weitgehend aus komplexer Sichtweise dargestellt. Das Ziel ist eine in sich geschlossene Darstellung bis hin zu den Rungesätzen und der Dynamik ganzer Funktionen. Den einzelnen Kapiteln angehängte kurze Abschnitte über Konzepte der Funktionentheorie geben Ausblicke auch in die höherdimensionale Analysis sowie einen Eindruck von deren universeller Bedeutung für die Mathematik. Das Buch ist so aufgebaut, dass Teile auch als Grundlage für ein Seminar genutzt werden können. Somit wird dieses faszinierende Gebiet der Mathematik auch Studierenden zugänglich, bei deren Studiengängen die Mathematik nicht im Zentrum steht und für die ein klassischer Einstieg in die Funktionentheorie daher zu zeitaufwändig wäre. Ihnen wird mit diesem Buch der Schritt in die komplexe Analysis ermöglicht, durch den sie eine Vielzahl von Zusammenhängen erkennen können, die in der reellen Analysis verborgen bleiben.
The Koopman Operator in Systems and Control: Concepts, Methodologies, and Applications (Lecture Notes in Control and Information Sciences #484)
by Yoshihiko Susuki Alexandre Mauroy Igor MezićThis book provides a broad overview of state-of-the-art research at the intersection of the Koopman operator theory and control theory. It also reviews novel theoretical results obtained and efficient numerical methods developed within the framework of Koopman operator theory.The contributions discuss the latest findings and techniques in several areas of control theory, including model predictive control, optimal control, observer design, systems identification and structural analysis of controlled systems, addressing both theoretical and numerical aspects and presenting open research directions, as well as detailed numerical schemes and data-driven methods. Each contribution addresses a specific problem. After a brief introduction of the Koopman operator framework, including basic notions and definitions, the book explores numerical methods, such as the dynamic mode decomposition (DMD) algorithm and Arnoldi-based methods, which are used to represent the operator in a finite-dimensional basis and to compute its spectral properties from data. The main body of the book is divided into three parts:theoretical results and numerical techniques for observer design, synthesis analysis, stability analysis, parameter estimation, and identification;data-driven techniques based on DMD, which extract the spectral properties of the Koopman operator from data for the structural analysis of controlled systems; andKoopman operator techniques with specific applications in systems and control, which range from heat transfer analysis to robot control.A useful reference resource on the Koopman operator theory for control theorists and practitioners, the book is also of interest to graduate students, researchers, and engineers looking for an introduction to a novel and comprehensive approach to systems and control, from pure theory to data-driven methods.
Korteweg–de Vries Flows with General Initial Conditions (Mathematical Physics Studies)
by Shinichi KotaniLarge numbers of studies of the KdV equation have appeared since the pioneering paper by Gardner, Greene, Kruskal, and Miura in 1967. Most of those works have employed the inverse spectral method for 1D Schrödinger operators or an advanced Fourier analysis. Although algebraic approaches have been discovered by Hirota–Sato and Marchenko independently, those have not been fully investigated and analyzed. The present book offers a new approach to the study of the KdV equation, which treats decaying initial data and oscillating data in a unified manner. The author’s method is to represent the tau functions introduced by Hirota–Sato and developed by Segal–Wilson later in terms of the Weyl–Titchmarsh functions (WT functions, in short) for the underlying Schrödinger operators. The main result is stated by a class of WT functions satisfying some of the asymptotic behavior along a curve approaching the spectrum of the Schrödinger operators at +∞ in an order of -(n-1/2)for the nth KdV equation. This class contains many oscillating potentials (initial data) as well as decaying ones. Especially bounded smooth ergodic potentials are included, and under certain conditions on the potentials, the associated Schrödinger operators have dense point spectrum. This provides a mathematical foundation for the study of the soliton turbulence problem initiated by Zakharov, which was the author’s motivation for extending the class of initial data in this book. A large class of almost periodic potentials is also included in these ergodic potentials. P. Deift has conjectured that any solutions to the KdV equation starting from nearly periodic initial data are almost periodic in time. Therefore, our result yields a foundation for this conjecture. For the reader’s benefit, the author has included here (1) a basic knowledge of direct and inverse spectral problem for 1D Schrödinger operators, including the notion of the WT functions; (2)Sato’s Grassmann manifold method revised by Segal–Wilson; and (3) basic results of ergodic Schrödinger operators.
The Krasnosel'skiĭ-Mann Iterative Method: Recent Progress and Applications (SpringerBriefs in Optimization)
by Qiao-Li Dong Yeol Je Cho Songnian He Panos M. Pardalos Themistocles M. RassiasThis brief explores the Krasnosel'skiĭ-Man (KM) iterative method, which has been extensively employed to find fixed points of nonlinear methods.