- Table View
- List View
Advances in Proof Theory (Progress in Computer Science and Applied Logic #28)
by Thomas Studer Thomas Strahm Reinhard KahleThe aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium "Advances in Proof Theory", which was held in Bern in December 2013. Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Gödel's famous incompleteness theorems of 1930 and Gentzen's new consistency proof for the axiom system of first order number theory in 1936. Today, proof theory is a well-established branch of mathematical and philosophical logic and one of the pillars of the foundations of mathematics. Proof theory explores constructive and computational aspects of mathematical reasoning; it is particularly suitable for dealing with various questions in computer science.
Advances in Questionnaire Design, Development, Evaluation and Testing
by Paul C. Beatty Debbie Collins Lyn Kaye Jose-Luis Padilla Gordon B. Willis AmandaWilmotA new and updated definitive resource for survey questionnaire testing and evaluation Building on the success of the first Questionnaire Development, Evaluation, and Testing (QDET) conference in 2002, this book brings together leading papers from the Second International Conference on Questionnaire Design, Development, Evaluation, and Testing (QDET2) held in 2016. The volume assesses the current state of the art and science of QDET; examines the importance of methodological attention to the questionnaire in the present world of information collection; and ponders how the QDET field can anticipate new trends and directions as information needs and data collection methods continue to evolve. Featuring contributions from international experts in survey methodology, Advances in Questionnaire Design, Development, Evaluation and Testing includes latest insights on question characteristics, usability testing, web probing, and other pretesting approaches, as well as: Recent developments in the design and evaluation of digital and self-administered surveys Strategies for comparing and combining questionnaire evaluation methods Approaches for cross-cultural and cross-national questionnaire development New data sources and methodological innovations during the last 15 years Case studies and practical applications Advances in Questionnaire Design, Development, Evaluation and Testing serves as a forum to prepare researchers to meet the next generation of challenges, making it an excellent resource for researchers and practitioners in government, academia, and the private sector.
Advances in Queueing Theory and Network Applications (Lecture Notes In Mathematics #Vol. 755)
by Yutaka Takahashi Hideaki Takagi Wuyi YueAdvances in Queueing Theory and Network Applications presents several useful mathematical analyses in queueing theory and mathematical models of key technologies in wired and wireless communication networks such as channel access controls, Internet applications, topology construction, energy saving schemes, and transmission scheduling. In sixteen high quality chapters, this work provides novel ideas, new analytical models, and simulation and experimental results by experts in the field of queueing theory and network applications. The text serves as a state-of-the-art reference for a wide range of researchers and engineers engaged in the fields of queueing theory and network applications, and can also serve as supplemental material for advanced courses in operations research, queueing theory, performance analysis, traffic theory, as well as theoretical design and management of communication networks.
Advances in Queueing Theory, Methods, and Open Problems
by Jewgeni H. DshalalowThe progress of science and technology has placed Queueing Theory among the most popular disciplines in applied mathematics, operations research, and engineering. Although queueing has been on the scientific market since the beginning of this century, it is still rapidly expanding by capturing new areas in technology. Advances in Queueing provides a comprehensive overview of problems in this enormous area of science and focuses on the most significant methods recently developed.Written by a team of 24 eminent scientists, the book examines stochastic, analytic, and generic methods such as approximations, estimates and bounds, and simulation. The first chapter presents an overview of classical queueing methods from the birth of queues to the seventies. It also contains the most comprehensive bibliography of books on queueing and telecommunications to date. Each of the following chapters surveys recent methods applied to classes of queueing systems and networks followed by a discussion of open problems and future research directions.Advances in Queueing is a practical reference that allows the reader quick access to the latest methods.
Advances in Rasch Analyses in the Human Sciences
by William J. Boone John R. StaverThis volume follows the publication of Rasch Analysis in the Human Sciences. This new book presents additional topics not discussed in the previous volume. It examines key topics such as partial credit analysis of data, common person linking, computing equating constants, investigating discrimination, evaluating dimensionality, how to better utilize Wright Maps, how to design tests and surveys using Rasch theory, and many more. The book includes activities which can be used to practice the theme of each chapter and to test the reader’s understanding of Rasch techniques. Beginning and ending with a conversation between two students, each chapter provides clear step-by-step instructions as to how to conduct an analysis using the chapter theme. The chapters emphasize applications for the beginner learning Rasch and provide guidance for composing a write-up of an analysis for a presentation, paper, thesis or report.This book explores in detail many important yet often rarely discussed topics in Rasch. With its easy-to-read language and engaging format it reaches a wide audience of scientists, clinicians, students, researchers and psychometricians, providing a valuable toolkit for practical users of Rasch analysis. – Dr. Eva Fenwick, Clinical Research Fellow, Singapore Eye Research Institute (SERI) Assistant Professor, Duke-NUS Medical School, Singapore It is an easy to read book and provides immediate guidance for those wishing to conduct a Rasch analysis. The “conversations” between students in each chapter provides a welcome introduction to each topic. – Prof. Maik Walpuski, University Duisburg-Essen, GermanyThe lessons learned in their first book are extended by providing insightful demonstrations of some of the more complex concepts and techniques used in applying Rasch models. – Dr. Michael R. Peabody, National Association of Boards of Pharmacy, Illinois, USAI am amazed with the ability of these authors to communicate complicated knowledge, and the ability to make this highly complicated knowledge accessible to new learners guiding every step of the way. Through this book we get important knowledge about techniques and the different areas of use for Rasch methods in the human sciences This is truly an important book for students and researchers. – Prof. Charlotte Ringsmose, Aalborg University, Denmark
Advances in Real and Complex Analysis with Applications (Trends in Mathematics)
by Michael Ruzhansky Yeol Je Cho Praveen Agarwal Iván AreaThis book discusses a variety of topics in mathematics and engineering as well as their applications, clearly explaining the mathematical concepts in the simplest possible way and illustrating them with a number of solved examples. The topics include real and complex analysis, special functions and analytic number theory, q-series, Ramanujan's mathematics, fractional calculus, Clifford and harmonic analysis, graph theory, complex analysis, complex dynamical systems, complex function spaces and operator theory, geometric analysis of complex manifolds, geometric function theory, Riemannian surfaces, Teichm#65533;ller spaces and Kleinian groups, engineering applications of complex analytic methods, nonlinear analysis, inequality theory, potential theory, partial differential equations, numerical analysis , fixed-point theory, variational inequality, equilibrium problems, optimization problems, stability of functional equations, and mathematical physics. It includes papers presented at the 24th International Conference on Finite or Infinite Dimensional Complex Analysis and Applications (24ICFIDCAA), held at the Anand International College of Engineering, Jaipur, 22-26 August 2016. The book is a valuable resource for researchers in real and complex analysis.
Advances in Regression, Survival Analysis, Extreme Values, Markov Processes and Other Statistical Applications (Studies in Theoretical and Applied Statistics)
by Isabel Natário Manuel L. Esquível Frederico Caeiro João João Mexia João Lita da Silva Carlos A. BraumannThis volume of the Selected Papers from Portugal is a product of the Seventeenth Congress of the Portuguese Statistical Society, held at the beautiful resort seaside city of Sesimbra, Portugal, from September 30 to October 3, 2009. It covers a broad scope of theoretical, methodological as well as application-oriented articles in domains such as: Linear Models and Regression, Survival Analysis, Extreme Value Theory, Statistics of Diffusions, Markov Processes and other Statistical Applications.
Advances in Reliability Analysis and its Applications (Springer Series in Reliability Engineering)
by Mangey Ram Hoang PhamThis book presents the latest research in the fields of reliability theory and its applications, providing a comprehensive overview of reliability engineering and discussing various tools, techniques, strategies and methods within these areas. Reliability analysis is one of the most multidimensional topics in the field of systems reliability engineering, and while its rapid development creates opportunities for industrialists and academics, it is also means that it is hard to keep up to date with the research taking place. By gathering findings from institutions around the globe, the book offers insights into the international developments in the field. As well as discussing the current areas of research, it also identifies knowledge gaps in reliability theory and its applications and highlights fruitful avenues for future research. Covering topics from life cycle sustainability to performance analysis of cloud computing, this book is ideal for upper undergraduate and postgraduate researchers studying reliability engineering.
Advances in Reliability and Safety Assessment for Critical Systems: Proceedings of the 5th National Conference on Reliability and Safety (NCRS 2022) (Lecture Notes in Mechanical Engineering)
by C. Senthil Kumar R. Sujatha R. Muthukumar K. Balaji Rao Raghu V. Prakash Prabhakar V. VardeThis book comprises select proceedings of the 5th National Conference on Reliability and Safety (NCRS 2022). It provides comprehensive state-of-the-art research and development in diverse areas like reliability prediction, precursor event analysis, fuzzy reliability, structural reliability, passive system reliability, digital system reliability, risk informed approach to decision making, dynamic PSA, uncertainty and sensitivity modeling, among others. The book is a valuable resource for researchers and professionals working in both academia and industry in the areas of complex systems, safety critical systems and risk-based engineering.
Advances in Reliability, Failure and Risk Analysis (Industrial and Applied Mathematics)
by Harish GargThis book collects select chapters on modern industrial problems related to uncertainties and vagueness in the expert domain of knowledge. The book further provides the knowledge related to application of various mathematical and statistical tools in these areas. The results presented in the book help the researchers and scientists in handling complicated projects in their domains. Useful to industrialists, academicians, researchers and students alike, the book aims to help managers and technical specialists in designing and implementation of reliability and risk programs as below: Ensure the system safety and risk informed asset management Follow a proper strategy to maintain the mechanical components of the system Schedule the proper actions throughout the product life cycle Understand the structure and cost of a complex system Plan the proper schedule to improve the reliability and life of the system Identify unwanted failures and set up preventive and correction action
Advances in Ring Theory and Applications: WARA22, Messina, Italy, July 18–20, 2022 (Springer Proceedings in Mathematics & Statistics #443)
by Mohammad Ashraf Vincenzo De Filippis Shakir Ali Nadeem Ur RehmanThe book intends to be a collection of research papers on algebra and related topics, most of which were presented at the international "Workshop on Associative Rings and Algebras with additional structures (WARA22)". The purpose of the workshop WARA22 was to present the current state of the art both in the Theory of Lie structures of associative rings and algebras and in the Theory of functional identities in rings. The conference has emerged as a powerful forum offering researchers the opportunity to meet, get to know each other and discuss advances in ring theory, inspiring further research directions. The main topics covered refer to rings with involution, Lie and Jordan structures, rings and algebras arising under various constructions, modules, bimodules and ideals in associative algebras, behavior of derivations, automorphisms and other kinds of additive maps in rings and algebras. All the contributing authors are leading international academicians and researchers in their respective fields. The papers cover a wide range of topics in ring theory, group theory, matrix algebra and graph theory. The book will serve both the specialist looking for the latest results and the novice looking for the appropriate references to access the study and understanding of the results presented here.
Advances in Rings, Modules and Factorizations: Graz, Austria, February 19-23, 2018 (Springer Proceedings in Mathematics & Statistics #321)
by Alberto Facchini Marco Fontana Alfred Geroldinger Bruce OlberdingOccasioned by the international conference "Rings and Factorizations" held in February 2018 at University of Graz, Austria, this volume represents a wide range of research trends in the theory of commutative and non-commutative rings and their modules, including multiplicative ideal theory, Dedekind and Krull rings and their generalizations, rings of integer valued-polynomials, topological aspects of ring theory, factorization theory in rings and semigroups and direct-sum decompositions of modules. The volume will be of interest to researchers seeking to extend or utilize work in these areas as well as graduate students wishing to find entryways into active areas of current research in algebra. A novel aspect of the volume is an emphasis on how diverse types of algebraic structures and contexts (rings, modules, semigroups, categories) may be treated with overlapping and reinforcing approaches.
Advances in Risk and Reliability Modelling and Assessment: Proceedings of 5th International Conference on Reliability Safety and Hazard (ICRESH 2024) (Lecture Notes in Mechanical Engineering)
by Prabhakar V. Varde Gopika Vinod N. S. JoshiThis book presents the proceedings of the 5th International Conference on Reliability Safety & Hazard-2024, held in Mumbai during February 21–24, 2024. It covers the latest advances in artificial intelligence and machine learning in development of risk-conscious culture. Various topics covered in this volume are reliability prediction, precursor event analysis, fuzzy reliability, structural reliability, passive system reliability, digital system reliability, risk-informed approach to decision making, dynamic PSA, uncertainty and sensitivity modeling, among others. The book is a valuable resource for researchers and professionals working in both academia and industry in the areas of complex systems, safety-critical systems, and risk-based engineering.
Advances in Robot Kinematics 2024 (Springer Proceedings in Advanced Robotics #31)
by Manfred Husty Jadran LenarčičThis book is aimed at researchers specializing in the kinematics of robot mechanisms as well as at doctoral students in guiding their research work. A spectrum of the latest achievements in kinematics analysis, modelling, simulation, design and control is covered. New theories and methods are applied to serial, parallel and cable-driven mechanisms for use in industrial or service robotics. The systems range from being less than fully mobile to kinematically redundant and over-constrained. Forty-nine papers are included, arranged in seven chapters, as presented at the 19th Symposium on Advances in Robot Kinematics 2024. The symposium, which has been held since 1988, was organized this time in Ljubljana (Slovenia), where it began thirty-six years ago. The papers have been rigorously selected based on peer review and are arranged in chapters randomly, as is the prevailing tradition of these symposia. In doing so, we aim to give equal emphasis to each of these achievements.
Advances in Robust Control and Applications (Studies in Systems, Decision and Control #474)
by Nabil Derbel Ahmed Said Nouri Quanmin ZhuThe book presents recent applications and developments in the field of control of industrial systems, covering a wide range of modeling and feedback control using various robust approaches such as fuzzy systems, sliding mode control, and H-infinity. This book provides insights into theory, applications, and perspectives relevant to the field of robotic systems, exoskeletons, power systems, photovoltaic systems, etc., as well as general methodologies and paradigms around them. Each chapter provides an enriched understanding of a research topic along with a balanced treatment of the relevant theories, methods, or applications. It reports on the latest advances in the field. This book is a good reference for graduate students, researchers, educators, engineers, and scientists and contains a total of 15 chapters divided into five parts as follows. The first part of this book focuses on the application of fuzzy control to robotic systems and consists of three chapters. The second part of this book proposes the control of lower and upper limb exoskeletons and includes two chapters. The third part is dedicated to the control of power systems and comprises three chapters. The fourth part deals with various approaches to the modeling and control of industrial processes and comprises four chapters. The fifth and final part describes observers and fault-tolerant control systems and comprises five chapters.
Advances in Robust Fractional Control
by Antonio Visioli Fabrizio PadulaThis monograph presents design methodologies for (robust) fractional control systems. It shows the reader how to take advantage of the superior flexibility of fractional control systems compared with integer-order systems in achieving more challenging control requirements. There is a high degree of current interest in fractional systems and fractional control arising from both academia and industry and readers from both milieux are catered to in the text. Different design approaches having in common a trade-off between robustness and performance of the control system are considered explicitly. The text generalizes methodologies, techniques and theoretical results that have been successfully applied in classical (integer) control to the fractional case. The first part of Advances in Robust Fractional Control is the more industrially oriented. It focuses on the design of fractional controllers for integer processes. In particular, it considers fractional-order proportional-integral-derivative controllers, because integer-order PID regulators are, undoubtedly, the controllers most frequently adopted in industry. The second part of the book deals with a more general approach to fractional control systems, extending techniques (such as H-infinity optimal control and optimal inputoutput inversion based control) originally devised for classical integer-order control. Advances in Robust Fractional Control will be a useful reference for the large number of academic researchers in fractional control, for their industrial counterparts and for graduate students who want to learn more about this subject.
Advances in Service Science: Proceedings of the 2018 INFORMS International Conference on Service Science (Springer Proceedings in Business and Economics)
by Hui Yang Robin QiuThis volume offers the state-of-the-art research and developments in service science and related research, education and practice areas. It showcases emerging technology and applications in fields including healthcare, information technology, transportation, sports, logistics, and public services. Regardless of size and service, a service organization is a service system. Because of the socio-technical nature of a service system, a systems approach must be adopted to design, develop, and deliver services, aimed at meeting end users' both utilitarian and socio-psychological needs. Effective understanding of service and service systems often requires combining multiple methods to consider how interactions of people, technology, organizations, and information create value under various conditions. The papers in this volume highlight ways to approach such technical challenges in service science and are based on submissions from the 2018 INFORMS International Conference on Service Science.
Advances in Shannon's Sampling Theory
by AhmedI. ZayedAdvances in Shannon's Sampling Theory provides an up-to-date discussion of sampling theory, emphasizing the interaction between sampling theory and other branches of mathematical analysis, including the theory of boundary-value problems, frames, wavelets, multiresolution analysis, special functions, and functional analysis. The author not only traces the history and development of the theory, but also presents original research and results that have never before appeared in book form. Recent techniques covered include the Feichtinger-Gröchenig sampling theory; frames, wavelets, multiresolution analysis and sampling; boundary-value problems and sampling theorems; and special functions and sampling theorems. The book will interest graduate students and professionals in electrical engineering, communications, and applied mathematics.
Advances in Social Simulation: Proceedings of the 15th Social Simulation Conference: 23–27 September 2019 (Springer Proceedings in Complexity)
by Petra Ahrweiler Martin NeumannThis book presents the state of the art in social simulation as presented at the Social Simulation Conference 2019 in Mainz, Germany. It covers the developments in applications and methods of social simulation, addressing societal issues such as socio-ecological systems and policymaking. Methodological issues discussed include large-scale empirical calibration, model sharing and interdisciplinary research, as well as decision-making models, validation and the use of qualitative data in simulation modeling. Research areas covered include archaeology, cognitive science, economics, organization science and social simulation education.This book gives readers insight into the increasing use of social simulation in both its theoretical development and in practical applications such as policymaking whereby modeling and the behavior of complex systems is key. The book appeals to students, researchers and professionals in the various fields.
Advances in Social Simulation: Proceedings of the 16th Social Simulation Conference, 20–24 September 2021 (Springer Proceedings in Complexity)
by Marcin Czupryna Bogumił KamińskiThis book covers the latest advances in applying agent-based modelling in social sciences. The Social Simulation Conference is the major global conference devoted to this topic. It is aimed at promoting social simulation and computational social science. This year’s special theme is “Social Simulation geared towards Post-Pandemic times”, focused not only on questions raised by the current pandemic but also on future challenges related to economic recovery, such as localization, globalization, inequality, sustainable growth and social changes induced by progressive digitalization, data availability and artificial intelligence. The primary audience of this book are scholars and practitioners in computational social sciences including economics, business, sociology, politics, psychology and urban studies.
Advances in Social Simulation: Proceedings of the 18th Social Simulation Conference, Glasgow, UK, 4–8 September 2023 (Springer Proceedings in Complexity)
by Corinna Elsenbroich Harko VerhagenThis book contains the proceedings of the 18th Social Simulation Conference (SSC) and covers the state of the art of social simulation modeling. The SSC is the annual conference of the European Social Simulation Association (ESSA) and the major global conference devoted to this topic. It is aimed at promoting social simulation and computational social science. The book is the biggest collection of agent-based modeling research. It covers all aspects of modeling, from theory and philosophy of modeling to question of model design, purpose, and structure, using data, visualization, model interrelation, and open modeling. This book is targeted at researchers in social simulation regardless of disciplinary backgrounds, across career stages and different sectors, such as academia, industry, and policy
Advances in Social Simulation: Proceedings of the 17th Social Simulation Conference, European Social Simulation Association (Springer Proceedings in Complexity)
by Flaminio SquazzoniThis book highlights recent developments in the field of computer simulation and its application to social dynamics and behaviour. It covers latest advancements in the use of agent-based modelling by focusing on thematic issues, methodological progress and applications, including policy, industry and business. It aims to promote this interdisciplinary type of research by showing synergies, complementary and integration especially between computer sciences, social sciences, economics and organization, often bridging qualitative and quantitative research. The primary audience of this book are academics, practitioners and professionals using computer simulation for business counselling or industry.
Advances in Social Simulation: Looking in the Mirror (Springer Proceedings in Complexity)
by Harko Verhagen Melania Borit Giangiacomo Bravo Nanda WijermansThis book presents the state-of-the-art in social simulation as presented at the Social Simulation Conference 2018 in Stockholm, Sweden. It covers the developments in applications and methods of social simulation, addressing societal issues such as socio-ecological systems and policy making. Methodological issues discussed include large-scale empirical calibration, model sharing and interdisciplinary research, as well as decision making models, validation and the use of qualitative data in simulation modeling. Research areas covered include archaeology, cognitive science, economics, organization science, and social simulation education.This collection gives readers insight into the increasing use of social simulation in both its theoretical development and in practical applications such as policy making whereby modelling and the behavior of complex systems is key. The book will appeal to students, researchers and professionals in the various fields.
Advances in Soft Computing: 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I (Lecture Notes in Computer Science #10632)
by Félix Castro Sabino Miranda-Jiménez Miguel González-MendozaThe two-volume set LNAI 10632 and 10633 constitutes the proceedings of the 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, held in Enseneda, Mexico, in October 2017. The total of 60 papers presented in these two volumes was carefully reviewed and selected from 203 submissions. The contributions were organized in the following topical sections: Part I: neural networks; evolutionary algorithms and optimization; hybrid intelligent systems and fuzzy logic; and machine learning and data mining. Part II: natural language processing and social networks; intelligent tutoring systems and educational applications; and image processing and pattern recognition.
Advances in Soft Computing: 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings (Lecture Notes in Computer Science #11835)
by Lourdes Martínez-Villaseñor Ildar Batyrshin Antonio Marín-HernándezThis volume constitutes the proceedings of the 18th Mexican Conference on Artificial Intelligence, MICAI 2019, held in Xalapa, Mexico, in October/November 2019. The 59 full papers presented in this volume were carefully reviewed and selected from 148 submissions. They cover topics such as: machine learning; optimization and planning; fuzzy systems, reasoning and intelligent applications; and vision and robotics.