- Table View
- List View
Foundations of Software Science and Computation Structures
by Bart Jacobs Christof LödingThis book constitutes the proceedings of the 19thInternational Conference on Foundations of Software Science and ComputationStructures, FOSSACS 2016, which took place in Eindhoven, The Netherlands, inApril 2016, held as Part of the European Joint Conferences on Theory andPractice of Software, ETAPS 2016. The 31 full papers presented in this volume werecarefully reviewed and selected from 85 submissions. They were organized intopical sections named: types; recursion and fixed-points; verification andprogram analysis; automata, logic, games; probabilistic and timed systems;proof theory and lambda calculus; algorithms for infinite systems; and monads.
Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings (Lecture Notes in Computer Science #10803)
by Ugo Dal Lago Christel BaierThis book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.
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 (Lecture Notes in Computer Science #11425)
by Mikołaj Bojańczyk Alex SimpsonThis open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings (Lecture Notes in Computer Science #13992)
by Orna Kupferman Pawel SobocinskiThis open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14574)
by James Worrell Naoki KobayashiThe two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14575)
by James Worrell Naoki KobayashiThe two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024.The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.
Foundations of Software Science and Computation Structures: 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings (Lecture Notes in Computer Science #15691)
by Parosh Aziz Abdulla Delia KesnerThis open access book constitutes the proceedings of the 28th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2025, which took place in Hamilton, Canada, during May 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025. The 19 papers included in these proceedings were carefully reviewed and selected from 58 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Foundations of Statistical Natural Language Processing
by Christopher D. Manning Hinrich SchutzeAs a comprehensive introduction to statistical natural language processing it contains all the theory and algorithms needed for building NLP tools and covers collocation finding, word sense disambiguation, probabilistic parsing, information retrieval, and other applications.
Foundations of Wavelet Networks and Applications
by S. Sitharama Iyengar V.V. PhohaTraditionally, neural networks and wavelet theory have been two separate disciplines, taught separately and practiced separately. In recent years the offspring of wavelet theory and neural networks-wavelet networks-have emerged and grown vigorously both in research and applications. Yet the material needed to learn or teach wavelet networks has remained scattered in various research monographs.Foundations of Wavelet Networks and Applications unites these two fields in a comprehensive, integrated presentation of wavelets and neural networks. It begins by building a foundation, including the necessary mathematics. A transitional chapter on recurrent learning then leads to an in-depth look at wavelet networks in practice, examining important applications that include using wavelets as stock market trading advisors, as classifiers in electroencephalographic drug detection, and as predictors of chaotic time series. The final chapter explores concept learning and approximation by wavelet networks.The potential of wavelet networks in engineering, economics, and social science applications is rich and still growing. Foundations of Wavelet Networks and Applications prepares and inspires its readers not only to help ensure that potential is achieved, but also to open new frontiers in research and applications.
Founders at Work: Stories of Startups' Early Days
by Jessica LivingstonFounders at Work: Stories of Startups' Early Days is a collection of interviews with founders of famous technology companies about what happened in the very earliest days. These people are celebrities now.
Four Battlegrounds: Power In The Age Of Artificial Intelligence
by Paul ScharreAn NPR 2023 "Books We Love" Pick One of the Next Big Idea Club's Must-Read Books "An invaluable primer to arguably the most important driver of change for our future." —P. W. Singer, author of Burn-In An award-winning defense expert tells the story of today’s great power rivalry—the struggle to control artificial intelligence. A new industrial revolution has begun. Like mechanization or electricity before it, artificial intelligence will touch every aspect of our lives—and cause profound disruptions in the balance of global power, especially among the AI superpowers: China, the United States, and Europe. Autonomous weapons expert Paul Scharre takes readers inside the fierce competition to develop and implement this game-changing technology and dominate the future. Four Battlegrounds argues that four key elements define this struggle: data, computing power, talent, and institutions. Data is a vital resource like coal or oil, but it must be collected and refined. Advanced computer chips are the essence of computing power—control over chip supply chains grants leverage over rivals. Talent is about people: which country attracts the best researchers and most advanced technology companies? The fourth “battlefield” is maybe the most critical: the ultimate global leader in AI will have institutions that effectively incorporate AI into their economy, society, and especially their military. Scharre’s account surges with futuristic technology. He explores the ways AI systems are already discovering new strategies via millions of war-game simulations, developing combat tactics better than any human, tracking billions of people using biometrics, and subtly controlling information with secret algorithms. He visits China’s “National Team” of leading AI companies to show the chilling synergy between China’s government, private sector, and surveillance state. He interviews Pentagon leadership and tours U.S. Defense Department offices in Silicon Valley, revealing deep tensions between the military and tech giants who control data, chips, and talent. Yet he concludes that those tensions, inherent to our democratic system, create resilience and resistance to autocracy in the face of overwhelmingly powerful technology. Engaging and direct, Four Battlegrounds offers a vivid picture of how AI is transforming warfare, global security, and the future of human freedom—and what it will take for democracies to remain at the forefront of the world order.
Four Theories of the Press: 60 Years and Counting
by Maira T. Vaca-BaqueiroThe links between distinctive political regimes and media systems are undeniable. As Siebert, Peterson and Schramm wrote (1956: 1) 60 years ago: ‘the press always takes on the form and coloration of the social and political structures within which it operates’. Nevertheless, today’s world and politics are completely different from the bipolar era that inspired the ground breaking Four Theories of the Press. What are the main changes and continuities that have driven the study of politics and the media in the last decades? How to approach this interaction in the light of the challenges that democracy is facing or the continuing technological revolution that at times hampers the media?This provocative book explores the main premises that have guided the study of politics and the media in the last decades. In so doing, it gives the reader key analytical tools to question the sustainability of past categorizations that no longer match up with current developments of both, political regimes and the media. In searching for clarification about current discrepancies between democracies and media’s distinctive structures or purposes, Four Theories of the Press: 60 Years and Counting puts forward an alternative premise: the political-media complex.
Fourier Analysis—A Signal Processing Approach
by D. SundararajanThis book sheds new light on Transform methods, which dominate the study of linear time-invariant systems in all areas of science and engineering, such as circuit theory, signal/image processing, communications, controls, vibration analysis, remote sensing, biomedical systems, optics and acoustics. It presents Fourier analysis primarily using physical explanations with waveforms and/or examples, only using mathematical formulations to the extent necessary for its practical use. Intended as a textbook for senior undergraduates and graduate level Fourier analysis courses in engineering and science departments, and as a supplementary textbook for a variety of application courses in science and engineering, the book is also a valuable reference for anyone – student or professional – specializing in practical applications of Fourier analysis. The prerequisite for reading this book is a sound understanding of calculus, linear algebra, signals and systems, and programming at the undergraduate level.
Fourier Analysis—A Signal Processing Approach
by D. SundararajanThis book sheds new light on Transform methods, which dominate the study of linear time-invariant systems in all areas of science and engineering, such as circuit theory, signal/image processing, communications, controls, vibration analysis, remote sensing, biomedical systems, optics, and acoustics. It presents Fourier analysis primarily using physical explanations with waveforms and/or examples, only using mathematical formulations to the extent necessary for its practical use. Intended as a textbook for senior undergraduates and graduate-level Fourier analysis courses in engineering and science departments, and as a supplementary textbook for a variety of application courses in science and engineering, the book is also a valuable reference for anyone – student or professional – specializing in practical applications of Fourier analysis. The prerequisite for reading this book is a sound understanding of calculus, linear algebra, signals and systems, and programming at the undergraduate level. Review of last version “The Fourier analysis is mainly presented from a practical point of view, where the mathematical theory is very simplified. This book is mainly written for broad readership of graduate students and researchers in physics, computer science, and engineering with special interest in signal processing. … Doubtless, this textbook will stimulate the practical education in the Fourier analysis and its applications in signal processing.” (Manfred Tasche, zbMATH 1407.94002, 2019)
Fourth Congress on Intelligent Systems: CIS 2023, Volume 1 (Lecture Notes in Networks and Systems #868)
by Sandeep Kumar Jagdish Chand Bansal Joong Hoon Kim Balachandran K.This book is a collection of selected papers presented at the Fourth Congress on Intelligent Systems (CIS 2023), organized by CHRIST (Deemed to be University), Bangalore, India, under the technical sponsorship of the Soft Computing Research Society, India, during September 4–5, 2023. It includes novel and innovative work from experts, practitioners, scientists, and decision-makers from academia and industry. It covers topics such as the Internet of Things, information security, embedded systems, real-time systems, cloud computing, big data analysis, quantum computing, automation systems, bio-inspired intelligence, cognitive systems, cyber-physical systems, data analytics, data/web mining, data science, intelligence for security, intelligent decision-making systems, intelligent information processing, intelligent transportation, artificial intelligence for machine vision, imaging sensors technology, image segmentation, convolutional neural network, image/video classification, soft computing for machine vision, pattern recognition, human-computer interaction, robotic devices and systems, autonomous vehicles, intelligent control systems, human motor control, game playing, evolutionary algorithms, swarm optimization, neural network, deep learning, supervised learning, unsupervised learning, fuzzy logic, rough sets, computational optimization, and neuro-fuzzy systems.
Fourth Congress on Intelligent Systems: CIS 2023, Volume 2 (Lecture Notes in Networks and Systems #869)
by K. Balachandran Sandeep Kumar Jagdish Chand Bansal Joong Hoon KimThis book is a collection of selected papers presented at the Fourth Congress on Intelligent Systems (CIS 2023), organized by CHRIST (Deemed to be University), Bangalore, India, under the technical sponsorship of the Soft Computing Research Society, India, during September 4–5, 2023. It includes novel and innovative work from experts, practitioners, scientists, and decision-makers from academia and industry. It covers topics such as the Internet of Things, information security, embedded systems, real-time systems, cloud computing, big data analysis, quantum computing, automation systems, bio-inspired intelligence, cognitive systems, cyber-physical systems, data analytics, data/web mining, data science, intelligence for security, intelligent decision-making systems, intelligent information processing, intelligent transportation, artificial intelligence for machine vision, imaging sensors technology, image segmentation, convolutional neural network, image/video classification, soft computing for machine vision, pattern recognition, human-computer interaction, robotic devices and systems, autonomous vehicles, intelligent control systems, human motor control, game playing, evolutionary algorithms, swarm optimization, neural network, deep learning, supervised learning, unsupervised learning, fuzzy logic, rough sets, computational optimization, and neuro-fuzzy systems.
Fourth Congress on Intelligent Systems: CIS 2023, Volume 3 (Lecture Notes in Networks and Systems #865)
by Sandeep Kumar Jagdish Chand Bansal Joong Hoon Kim Balachandran K.This book is a collection of selected papers presented at the Fourth Congress on Intelligent Systems (CIS 2023), organized by CHRIST (Deemed to be University), Bangalore, India, under the technical sponsorship of the Soft Computing Research Society, India, during September 4–5, 2023. It includes novel and innovative work from experts, practitioners, scientists, and decision-makers from academia and industry. It covers topics such as the Internet of Things, information security, embedded systems, real-time systems, cloud computing, big data analysis, quantum computing, automation systems, bio-inspired intelligence, cognitive systems, cyber-physical systems, data analytics, data/web mining, data science, intelligence for security, intelligent decision-making systems, intelligent information processing, intelligent transportation, artificial intelligence for machine vision, imaging sensors technology, image segmentation, convolutional neural network, image/video classification, soft computing for machine vision, pattern recognition, human-computer interaction, robotic devices and systems, autonomous vehicles, intelligent control systems, human motor control, game playing, evolutionary algorithms, swarm optimization, neural network, deep learning, supervised learning, unsupervised learning, fuzzy logic, rough sets, computational optimization, and neuro-fuzzy systems.
Fourth Industrial Revolution and Business Dynamics: Issues and Implications
by Nasser Rashad Al Mawali Anis Moosa Al Lawati Ananda SThe book explains strategic issues, trends, challenges, and future scenario of global economy in the light of Fourth Industrial Revolution. It consists of insightful scientific essays authored by scholars and practitioners from business, technology, and economics area. The book contributes to business education by means of research, critical and theoretical reviews of issues in Fourth Industrial Revolution.
Fourth International Conference on Image Processing and Capsule Networks: ICIPCN 2023 (Lecture Notes in Networks and Systems #798)
by Antonio Fernández-Caballero João Manuel R. S. Tavares Subarna Shakya George PapakostasThis book includes high-quality research papers presented at the Fourth International Conference on Image Processing and Capsule Networks (ICIPCN 2023), which is held in Bangkok, Thailand, during 10–11 August 2023. This book provides a collection of the state-of-the-art research attempts to tackle the challenges in image and signal processing from various novel and potential research perspectives. The book investigates feature extraction techniques, image enhancement methods, reconstruction models, object detection methods, recommendation models, deep and temporal feature analysis, intelligent decision support systems, and autonomous image detection models. In addition to this, the book also looks into the potential opportunities to monitor and control the global pandemic situations.
Fourth International Congress on Information and Communication Technology: ICICT 2019, London, Volume 1 (Advances in Intelligent Systems and Computing #1041)
by Xin-She Yang Nilanjan Dey Amit Joshi Simon SherrattThis book gathers selected high-quality research papers presented at the Fourth International Congress on Information and Communication Technology, held at Brunel University, London, on February 27–28, 2019. It discusses emerging topics pertaining to information and communication technology (ICT) for managerial applications, e-governance, e-agriculture, e-education and computing technologies, the Internet of things (IoT), and e-mining. Written by respected experts and researchers working on ICT, the book offers a valuable asset for young researchers involved in advanced studies.
Fourth International Congress on Information and Communication Technology: ICICT 2019, London, Volume 2 (Advances in Intelligent Systems and Computing #1027)
by Xin-She Yang Nilanjan Dey Amit Joshi Simon SherrattThe second volume of this book includes selected high-quality research papers presented at the Fourth International Congress on Information and Communication Technology, which was held at Brunel University, London, on February 27–28, 2019. It discusses emerging topics pertaining to information and communication technology (ICT) for managerial applications, e-governance, e-agriculture, e-education and computing technologies, the Internet of Things (IoT), and e-mining. Written by respected experts and researchers actively working in ICT, the book offers a valuable resource, especially for researchers who are newcomers to the field.
Fractal Dimension for Fractal Structures: With Applications to Finance (SEMA SIMAI Springer Series #19)
by Manuel Fernández-Martínez Juan Luis García Guirao Miguel Ángel Sánchez-Granero Juan Evangelista Trinidad SegoviaThis book provides a generalised approach to fractal dimension theory from the standpoint of asymmetric topology by employing the concept of a fractal structure. The fractal dimension is the main invariant of a fractal set, and provides useful information regarding the irregularities it presents when examined at a suitable level of detail. New theoretical models for calculating the fractal dimension of any subset with respect to a fractal structure are posed to generalise both the Hausdorff and box-counting dimensions. Some specific results for self-similar sets are also proved. Unlike classical fractal dimensions, these new models can be used with empirical applications of fractal dimension including non-Euclidean contexts. In addition, the book applies these fractal dimensions to explore long-memory in financial markets. In particular, novel results linking both fractal dimension and the Hurst exponent are provided. As such, the book provides a number of algorithms for properly calculating the self-similarity exponent of a wide range of processes, including (fractional) Brownian motion and Lévy stable processes. The algorithms also make it possible to analyse long-memory in real stocks and international indexes.This book is addressed to those researchers interested in fractal geometry, self-similarity patterns, and computational applications involving fractal dimension and Hurst exponent.
Fractal Dimensions of Networks (Springerbriefs In Computer Science Ser.)
by Eric RosenbergCurrent interest in fractal dimensions of networks is the result of more than a century of previous research on dimensions. Fractal Dimensions of Networks ties the theory and methods for computing fractal dimensions of networks to the “classic” theory of dimensions of geometric objects.The goal of the book is to provide a unified treatment of fractal dimensions of sets and networks. Since almost all of the major concepts in fractal dimensions originated in the study of sets, the book achieves this goal by first clearly presenting, with an abundance of examples and illustrations, the theory and algorithms for sets, and then showing how the theory and algorithms have been applied to networks. Thus, the book presents the classical theory and algorithms for the box counting dimension for sets, and then presents the box counting dimension for networks. All the major fractal dimensions are studied, e.g., the correlation dimension, the information dimension, the Hausdorff dimension, the multifractal spectrum, as well as many lesser known dimensions. Algorithm descriptions are accompanied by worked examples, many applications of the methods are presented, and many exercises, ranging in difficulty from easy to research level, are included.
Fractal Teletraffic Modeling and Delay Bounds in Computer Communications
by Ming LiBy deploying time series analysis, Fourier transform, functional analysis, min-plus convolution, and fractional order systems and noise, this book proposes fractal traffic modeling and computations of delay bounds, aiming to improve the quality of service in computer communication networks. As opposed to traditional studies of teletraffic delay bounds, the author proposes a novel fractional noise, the generalized fractional Gaussian noise (gfGn) approach, and introduces a new fractional noise, generalized Cauchy (GC) process for traffic modeling. Researchers and graduates in computer science, applied statistics, and applied mathematics will find this book beneficial. Ming Li, PhD, is a professor at Ocean College, Zhejiang University, and the East China Normal University. He has been an active contributor for many years to the fields of computer communications, applied mathematics and statistics, particularly network traffic modeling, fractal time series, and fractional oscillations. He has authored more than 200 articles and 5 monographs on the subjects. He was identified as the Most Cited Chinese Researcher by Elsevier in 2014–2020. Professor Li was recognized as a top 100,000 scholar in all fields in 2019–2020 and a top 2% scholar in the field of Numerical and Computational Mathematics in 2021 by Prof. John P. A. Ioannidis, Stanford University.
Fractales De Dios
by Phd Kathy J. Forti Natalia Mora ToledoA partir de la experiencia cercana a la muerte de una mujer, se desarrolla una sorprendente historia que explora las profundidades de la creación del hombre y el proyecto mismo de su creación. La sicóloga clínica, la Dra. Kathy Forti, nos comparte su experiencia en el año 2003, cuando su corazón se detuvo y fue ayudada por seres de luz multidimensionales para que volviese a la Tierra. La meta de estos seres es traer la sanación a nuestro mundo. Con sus nuevos Guías, ella investigó el mundo de las físicas y la geometría sagrada, con ello aprendió cómo cierta información matemática clave puede afectar nuestra consciencia y nuestras células. Las experiencias místicas de la Dra. Forti cambiarán para siempre sus conceptos sobre la vida, la sanación y el verdadero potencial del hombre para llegar a un cambio evolutivo. Esta profunda y reveladora historia narra el propósito de la esencia de nuestras almas, para que podamos encontrar una mayor conexión con la Fuente Divina que se encuentra en todos los seres vivos.