- Table View
- List View
Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings (Lecture Notes in Computer Science #12178)
by Martina Seidl Luca PulinaThis book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal with SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes in Computer Science #12831)
by Chu-Min Li Felip ManyàThis book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning.
Theory and Applications of Spherical Microphone Array Processing
by Daniel P. Jarrett Emanuël A.P. Habets Patrick A. NaylorThis book presents the signal processing algorithms that have been developed to process the signals acquired by a spherical microphone array. Spherical microphone arrays can be used to capture the sound field in three dimensions and have received significant interest from researchers and audio engineers. Algorithms for spherical array processing are different to corresponding algorithms already known in the literature of linear and planar arrays because the spherical geometry can be exploited to great beneficial effect. The authors aim to advance the field of spherical array processing by helping those new to the field to study it efficiently and from a single source, as well as by offering a way for more experienced researchers and engineers to consolidate their understanding, adding either or both of breadth and depth. The level of the presentation corresponds to graduate studies at MSc and PhD level. This book begins with a presentation of some of the essential mathematical and physical theory relevant to spherical microphone arrays, and of an acoustic impulse response simulation method, which can be used to comprehensively evaluate spherical array processing algorithms in reverberant environments. The chapter on acoustic parameter estimation describes the way in which useful descriptions of acoustic scenes can be parameterized, and the signal processing algorithms that can be used to estimate the parameter values using spherical microphone arrays. Subsequent chapters exploit these parameters including in particular measures of direction-of-arrival and of diffuseness of a sound field. The array processing algorithms are then classified into two main classes, each described in a separate chapter. These are signal-dependent and signal-independent beamforming algorithms. Although signal-dependent beamforming algorithms are in theory able to provide better performance compared to the signal-independent algorithms, they are currently rarely used in practice. The main reason for this is that the statistical information required by these algorithms is difficult to estimate. In a subsequent chapter it is shown how the estimated acoustic parameters can be used in the design of signal-dependent beamforming algorithms. This final step closes, at least in part, the gap between theory and practice.
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2019 (Contributions to Statistics)
by Olga Valenzuela Fernando Rojas Luis Javier Herrera Héctor Pomares Ignacio RojasThis book presents a selection of peer-reviewed contributions on the latest advances in time series analysis, presented at the International Conference on Time Series and Forecasting (ITISE 2019), held in Granada, Spain, on September 25-27, 2019. The first two parts of the book present theoretical contributions on statistical and advanced mathematical methods, and on econometric models, financial forecasting and risk analysis. The remaining four parts include practical contributions on time series analysis in energy; complex/big data time series and forecasting; time series analysis with computational intelligence; and time series analysis and prediction for other real-world problems. Given this mix of topics, readers will acquire a more comprehensive perspective on the field of time series analysis and forecasting.The ITISE conference series provides a forum for scientists, engineers, educators and students to discuss the latest advances and implementations in the foundations, theory, models and applications of time series analysis and forecasting. It focuses on interdisciplinary research encompassing computer science, mathematics, statistics and econometrics.
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2022 (Contributions to Statistics)
by Olga Valenzuela Fernando Rojas Luis Javier Herrera Héctor Pomares Ignacio RojasThis book presents the latest developments in the theory and applications of time series analysis and forecasting. Comprising a selection of refereed papers, it is divided into several parts that address modern theoretical aspects of time series analysis, forecasting and prediction, with applications to various disciplines, including econometrics and energy research. The broad range of topics discussed, including matters of particular relevance for sustainable development, will give readers a modern perspective on the subject.The included contributions were originally presented at the 8th International Conference on Time Series and Forecasting, ITISE 2022, held in Gran Canaria, Spain, June 27-30, 2022. The ITISE conference series provides a forum for scientists, engineers, educators and students to discuss the latest advances and implementations in the foundations, theory, models and applications of time series analysis and forecasting. It focuses on interdisciplinary research encompassing computer science, mathematics, statistics and econometrics.
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2018 (Contributions to Statistics)
by Olga Valenzuela Fernando Rojas Héctor Pomares Ignacio RojasThis book presents selected peer-reviewed contributions from the International Conference on Time Series and Forecasting, ITISE 2018, held in Granada, Spain, on September 19-21, 2018. The first three parts of the book focus on the theory of time series analysis and forecasting, and discuss statistical methods, modern computational intelligence methodologies, econometric models, financial forecasting, and risk analysis. In turn, the last three parts are dedicated to applied topics and include papers on time series analysis in the earth sciences, energy time series forecasting, and time series analysis and prediction in other real-world problems. The book offers readers valuable insights into the different aspects of time series analysis and forecasting, allowing them to benefit both from its sophisticated and powerful theory, and from its practical applications, which address real-world problems in a range of disciplines. The ITISE conference series provides a valuable forum for scientists, engineers, educators and students to discuss the latest advances and implementations in the field of time series analysis and forecasting. It focuses on interdisciplinary and multidisciplinary research encompassing computer science, mathematics, statistics and econometrics.
Theory and Applications of Time Series Analysis and Forecasting: Selected Contributions from ITISE 2021 (Contributions to Statistics)
by Ignacio Rojas Héctor Pomares Olga Valenzuela Fernando Rojas Luis Javier HerreraThis book presents a selection of peer-reviewed contributions on the latest developments in time series analysis and forecasting, presented at the 7th International Conference on Time Series and Forecasting, ITISE 2021, held in Gran Canaria, Spain, July 19-21, 2021. It is divided into four parts. The first part addresses general modern methods and theoretical aspects of time series analysis and forecasting, while the remaining three parts focus on forecasting methods in econometrics, time series forecasting and prediction, and numerous other real-world applications. Covering a broad range of topics, the book will give readers a modern perspective on the subject.The ITISE conference series provides a forum for scientists, engineers, educators and students to discuss the latest advances and implementations in the foundations, theory, models and applications of time series analysis and forecasting. It focuses on interdisciplinary research encompassing computer science, mathematics, statistics and econometrics.
Theory and Approaches of Unascertained Group Decision-Making (Systems Evaluation, Prediction, And Decision-making Ser.)
by Jianjun ZhuTackling the question of how to effectively aggregate uncertain preference information in multiple structures given by decision-making groups, Theory and Approaches of Unascertained Group Decision-Making focuses on group aggregation methods based on uncertainty preference information. It expresses the complexity existing in each group decision-maki
The Theory and Craft of Digital Preservation
by Trevor OwensA guide to managing data in the digital age.Winner of the ALCTS Outstanding Publication Award by the Association for Library Collections & Technical Services, Winner of the Waldo Gifford Leland Award by the Society of American ArchivistsMany people believe that what is on the Internet will be around forever. At the same time, warnings of an impending "digital dark age"—where records of the recent past become completely lost or inaccessible—appear with regular frequency in the popular press. It's as if we need a system to safeguard our digital records for future scholars and researchers. Digital preservation experts, however, suggest that this is an illusory dream not worth chasing. Ensuring long-term access to digital information is not that straightforward; it is a complex issue with a significant ethical dimension. It is a vocation.In The Theory and Craft of Digital Preservation, librarian Trevor Owens establishes a baseline for practice in this field. In the first section of the book, Owens synthesizes work on the history of preservation in a range of areas (archives, manuscripts, recorded sound, etc.) and sets that history in dialogue with work in new media studies, platform studies, and media archeology. In later chapters, Owens builds from this theoretical framework and maps out a more deliberate and intentional approach to digital preservation. A basic introduction to the issues and practices of digital preservation, the book is anchored in an understanding of the traditions of preservation and the nature of digital objects and media. Based on extensive reading, research, and writing on digital preservation, Owens's work will prove an invaluable reference for archivists, librarians, and museum professionals, as well as scholars and researchers in the digital humanities.
Theory and Engineering of Dependable Computer Systems and Networks: Proceedings of the Sixteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 28 – July 2, 2021, Wrocław, Poland (Advances in Intelligent Systems and Computing #1389)
by Wojciech Zamojski Jacek Mazurkiewicz Jarosław Sugier Tomasz Walkowiak Janusz KacprzykThis book contains papers on selected aspects of dependability analysis in computer systems and networks, which were chosen for discussion during the 16th DepCoS-RELCOMEX conference held in Wrocław, Poland, from June 28 to July 2, 2021. Their collection will be a valuable source material for scientists, researchers, practitioners and students who are dealing with design, analysis and engineering of computer systems and networks and must ensure their dependable operation.Being probably the most complex technical systems ever engineered by man (and also—the most dynamically evolving ones), organization of contemporary computer systems cannot be interpreted only as structures built on the basis of (unreliable) technical resources. Their evaluation must take into account a specific blend of interacting people (their needs and behaviours), networks (together with mobile properties, cloud organization, Internet of Everything, etc.) and a large number of users dispersed geographically and constantly producing an unconceivable number of applications. Ever-growing number of research methods being continuously developed for dependability analyses apply the newest techniques of artificial and computational intelligence. Selection of papers in these proceedings illustrates diversity of multi-disciplinary topics which are considered in present-day dependability explorations.
Theory and Modeling of Polymer Nanocomposites (Springer Series in Materials Science #310)
by Valeriy V. Ginzburg Lisa M. HallThis edited volume brings together the state of the art in polymer nanocomposite theory and modeling, creating a roadmap for scientists and engineers seeking to design new advanced materials. The book opens with a review of molecular and mesoscale models predicting equilibrium and non-equilibrium nanoscale structure of hybrid materials as a function of composition and, especially, filler types. Subsequent chapters cover the methods and analyses used for describing the dynamics of nanocomposites and their mechanical and physical properties. Dedicated chapters present best practices for predicting materials properties of practical interest, including thermal and electrical conductivity, optical properties, barrier properties, and flammability. Each chapter is written by leading academic and industrial scientists working in each respective sub-field. The overview of modeling methodology combined with detailed examples of property predictions for specific systems will make this book useful for academic and industrial practitioners alike.
Theory and Practice of Computation: Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines
by Shin-Ya NishizakiThis book provides a collection of papers from the Ninth Workshop on Computing: Theory and Practice, WCTP 2019 devoted to theoretical and practical approaches to computation, which was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, the University of the Philippines Diliman, and De La Salle University. The proceedings provide a broad overview of recent research trends in computer science research in Asia, particularly in these two countries. The papers included in the proceedings focus on both theoretical and practical aspects of computations, such as programming language theory, modeling of software systems, applications of machine learning, empathic computing, and various applications of information technology.
Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops
by Łukasz Bolikowski Vittore Casarosa Paula Goodale Nikos Houssos Paolo Manghi Jochen SchirrwagenThis book constitutes the refereed proceedings of the selected workshops co-located with the 17th International Conference on Theory and Practice of Digital Libraries, TPDL 2013, held in Valletta, Malta, in September 2013. The volume is organized in three parts, containing the 26 revised full papers of the three workshops: Linking and Contextualizing Publications and Datasets (LCPD 2013); Supporting Users Exploration of Digital Libraries (SUEDL 2013); Moving beyond technology: iSchools and education in data curation. Is Data Curator a new role? (DataCur 2013).
Theory and Practice of Digital Libraries -- TPDL 2013 Selected Workshops: LCPD 2013, SUEDL 2013, DataCur 2013, Held in Valletta, Malta, September 22-26, 2013. Revised Selected Papers (Communications in Computer and Information Science #416)
by Łukasz Bolikowski, Vittore Casarosa, Paula Goodale, Nikos Houssos, Paolo Manghi and Jochen SchirrwagenThis book constitutes the refereed proceedings of the selected workshops co-located with the 17th International Conference on Theory and Practice of Digital Libraries, TPDL 2013, held in Valletta, Malta, in September 2013. The volume is organized in three parts, containing the 26 revised full papers of the three workshops: Linking and Contextualizing Publications and Datasets (LCPD 2013); Supporting Users Exploration of Digital Libraries (SUEDL 2013); Moving beyond technology: iSchools and education in data curation. Is Data Curator a new role? (DataCur 2013).
Theory and Practice of Formal Methods
by Einar Broch Johnsen Marcello Bonsangue Erika ÁbrahámThis Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his lengthypublication list reveals a broad area of interest and a versatile modusoperandi with: logic and constraint programming; deductive proof systems,soundness, and completeness; semantics, compositionality, and full abstraction;process algebra and decidability; multithreading and actor-based concurrency;agent programming, ontologies, and modal logic; real-time systems, timedautomata, and schedulability; enterprise architectures, choreography, andcoordination; testing and runtime monitoring; and cloud computing and service-levelagreements. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures. In fact, Frank has anopportunistic approach to research. Rather than seeing obstacles, he findsopportunities.
Theory and Practice of Model Transformation: 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings (Lecture Notes in Computer Science #10888)
by Arend Rensink Jesús Sánchez CuadradoThis book constitutes the refereed proceedings of the 11th International Conference on Model Transformation, ICMT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 9 full papers were carefully reviewed and selected from 24 submissions. This book also presents 1 invited paper. The papers include research, application, and tool demonstration papers presented in the context of four sessions on verification of model transformations, model transformation tools, transformation reuse and graph transformations.
Theory and Practice of Model Transformations
by Pieter Van Gorp Gregor EngelsThis book constitutes the refereed proceedings of the 9th International Conference on Model Transformation, ICMT 2016, held in Vienna, Austria, in July 2016, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 13 revised papers were carefully selected from 36 submissions. The papers are organized in topical sections on model transformation languages, model transformation tools, developing model transformations, applications of model transformations, and looking ahead.
Theory and Practice of Model Transformations
by Dimitris Kolovos Manuel WimmerThis book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reuse and industrial applications; new paradigms for model transformation; transformation validation and verification; and foundations of model transformation.
Theory and Practice of Natural Computing: 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings (Lecture Notes in Computer Science #13082)
by Claus Aranha Carlos Martín-Vide Miguel A. Vega-RodríguezThis book constitutes the refereed proceedings of the 10th International Conference on Theory and Practice of Natural Computing, TPNC 2021, held virtually, in December 2021. The 9 full papers presented together with 3 invited talks, in this book were carefully reviewed and selected from 14 submissions. The papers are organized in topical sections named Applications of Natural Computing, Deep Learning and Transfer Learning, Evolutionary and Swarm Algorithms.
Theory and Practice of Natural Computing
by Carlos Martín-Vide Luis Magdalena Adrian-Horia DediuThis book constitutes the refereed proceedings of the 4thInternational Conference on Theory and Practice of Natural Computing, TPNC2015, held in Mieres, Spain, in December 2015. The 12 revised full papers presented togetherwith 20 invited talks in this book were carefully reviewed and selected from 30submissions. The scope of TPNC is rather broad, containing topics of eithertheoretical, experimental or applied interest such as soft computing, computingarchitectures, and formal models.
Theory and Practice of Natural Computing: 9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7–9, 2020, Proceedings (Lecture Notes in Computer Science #12494)
by Carlos Martín-Vide Miguel A. Vega-Rodríguez Miin-Shen YangThis book constitutes the refereed proceedings of the 9th International Conference on Theory and Practice of Natural Computing, TPNC 2020, held in Taoyuan, Taiwan, in December 2020. The 12 full papers presented in this book, together with one invited talk, were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections named: applications of natural computing; quantum computing and unconventional computing; and swarm intelligence, evolutionary algorithms, and DNA computing.
Theory and Practice of Natural Computing
by Carlos Martín-Vide Roman Neruda Miguel A. Vega-RodríguezThis book constitutes the refereed proceedings of the 6th International Conference,on Theory and Practice of Natural Computing, TPNC 2017, held in Prague, Czech Republic, December 2017.The 22 full papers presented in this book, together with one invited talk, werecarefully reviewed and selected from 39 submissions. The papers are organized around the following topical sections: applications of natural computing; evolutionary computation; fuzzy logic; Molecular computation; neural networks; quantum computing.
Theory and Practice of Natural Computing: 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings (Lecture Notes in Computer Science #11934)
by Carlos Martín-Vide Geoffrey Pond Miguel A. Vega-RodríguezThis book constitutes the refereed proceedings of the 8th International Conference on Theory and Practice of Natural Computing, TPNC 2019, held in Kingston, ON, Canada, in December 2019. The 15 full papers presented in this book, together with two invited talk, were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections named: Applications of Natural Computing; Evolutionary Computation; Genetic Algorithms, Swarm Intelligence, and Heuristics; Quantum Computing and Information.
Theory and Practice of Natural Computing: 7th International Conference, TPNC 2018, Dublin, Ireland, December 12–14, 2018, Proceedings (Lecture Notes in Computer Science #11324)
by Michael O'Neill Carlos Martín-Vide Miguel A. Vega-Rodríguez David FaganThis book constitutes the refereed proceedings of the 7th International Conference on Theory and Practice of Natural Computing, TPNC 2017, held in Dublin, Ireland, in December 2018. The 35 full papers presented in this book, together with one invited talk, were carefully reviewed and selected from 69 submissions. The papers are organized around the following topical sections: applications of natural computing as algorithms, bioinformatics, control, cryptography, design, economics. The more theoretical contributions handle with artificial chemistry, artificial immune systems, artificial life, cellular automata, cognitive computing, cognitive engineering, cognitive robotics, collective behaviour, complex systems, computational intelligence, computational social science, computing with words, developmental systems, DNA computing, DNA nanotechnology, evolutionary algorithms, evolutionary computing, evolutionary game theory, fractal geometry, fuzzy control, fuzzy logic, fuzzy sets, fuzzy systems, genetic algorithms, genetic programming, granular computing, heuristics, intelligent agents, intelligent systems, machine intelligence, molecular programming, neural computing, neural networks, quantum communication, quantum computing, rough sets, self-assembly.
The Theory and Practice of Online Learning
by Terry AndersonIn this important collection of essays by practitioners and scholars that has been downloaded nearly half a million times is an overview of some of the most pressing issues in online education. By addressing transformations arising from educational technology advances and the new business conditions and modes of delivery of education, the contributors to The Theory and Practice of Online Learning provide insights into this complex, diverse, and rapidly evolving field.