الصفحة 24
الصفحة 24
Information and knowledge : A constructive type-theoretical approach
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framework, the problem of analyticity for logical derivations is faced and a solution is proposed.The text begins with a presentation of the formal structure of CTT, paying particular attention to some topics that have been neglected by current researchers in Type Theory. Information and Knowledge presents a new interesting perspective on the constructive interpretation of knowledge processes, suggesting the reliability of such an approach for the logical modeling of epistemic problems and proposing a unifying frame from one of the more important contemporary philosophical perspectives.
Information and its role in nature
Infromation and Its Role in Nature presents an in-depth interdisciplinary discussion of the concept of information and its role in the control of natural processes. After a brief review of classical and quantum information theory, the author addresses numerous central questions, including: Is information reducible to the laws of physics and chemistry? Does the Universe, in its evolution, constantly generate new information? Or are information and information-processing exclusive attributes of living systems, related to the very definition of life? If so, what is the role of information in classical and quantum physics? In what ways does information-processing in the human brain bring about self-consciousness? Accessible to graduate students and professionals from all scientific disciplines, this stimulating book will help to shed light on many controversial issues at the heart of modern science.
Information and Communications Security ; 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Information and Communications Security, ICICS 2008, held in Birmingham, UK, in October 2008.The 27 revised full papers presented together with one invited paper were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on authentication, side channel analysis, cryptanalysis, access control, software security, system security, applied cryptography, and security protocols.
Information and communication technologies in education, research, and industrial applications ; 16th International Conference, ICTERI 2020, Kharkiv, Ukraine, October 6–10, 2020, Revised Selected Papers
This book contains revised and extended versions of the best papers presented at the 16th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2020, held in Kherson, Ukraine, in October 2020. Due to the COVID-19 pandemic the conference was held online. The 8 revised full papers included in this volume were carefully reviewed and selected from 347 initial submissions. The papers are organized in the following topical sections: ICT in education; ICT in research and industry.
Information and communication technologies and real-life learning : New education for the knowledge society
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Informatics in Control Automation and Robotics : Selected Papers from the International Conference on Informatics in Control Automation and Robotics 2006
The present book includes a set of selected papers from the 3rd “International Conference on Informatics in Control Automation and Robotics” (ICINCO 2006), held in Setúbal, Portugal, 1-5 August 2006.
Influence and Power : Variations on a Messy Theme
This volume contains an extensive overview and critical assessment,explores the conceptual relationship between freedom and power, assesses the distinctions made in existing scholarship between power and influence, presents the author’s own proposal for a definition of influence as opposed to power, combines insights from political theory, legal philosophy and the general theory of norms , is densely argued, yet accessible to all interested readers without any prerequisite of special prior knowledge.
Infinite matrices and their finite sections : An introduction to the limit operator method
In this book we are concerned with the study of a certain class of infinite matrices and two important properties of them: their Fredholmness and the stability of the approximation by their finite truncations. Let us take these two properties as a starting point for the big picture that shall be presented in what follows. Stability Fredholmness We think of our infinite matrices as bounded linear operators on a Banach space E of two-sided infinite sequences.The class of operators we are interested in consists of those bounded and linear operatorson E which can be approximated in the operator norm by b and matrices. We refer to them as band-dominated operators. Of course, these considerations 2 are not limited to the space E = . We will widen the selection of the underlying space E in three directions: p
Infinite groups : geometric, combinatorial and dynamical aspects
This book offers a panorama of recent advances in the theory of infinite groups. It contains survey papers contributed by leading specialists in group theory and other areas of mathematics. Topics addressed in the book include amenable groups, Kaehler groups, automorphism groups of rooted trees, rigidity, C*-algebras, random walks on groups, pro-p groups, Burnside groups, parafree groups, and Fuchsian groups. The accent is put on strong connections between group theory and other areas of mathematics, such as dynamical systems, geometry, operator algebras, probability theory, and others.
Infinite Dimensional Analysis : A Hitchhiker's Guide
This new edition of The Hitchhiker’s Guide has bene?tted from the comments of many individuals, which have resulted in the addition of some new material, and the reorganization of some of the rest. The most obvious change is the creation of a separate Chapter 7 on convex analysis. Parts of this chapter appeared in elsewhere in the second edition, but much of it is new to the third edition. In particular, there is an expanded discussion of support points of convex sets, and a new section on subgradients of convex functions.
Infinite dimensional algebras and quantum integrable systems
This volume presents the invited lectures of the workshop "Infinite Dimensional Algebras and Quantum Integrable Systems'' .ecent developments in the theory of infinite dimensional algebras and their applications to quantum integrable systems are reviewed by some of the leading experts in the field. The volume will be of interest to a broad audience from graduate students to researchers in mathematical physics and related fields.
Inference in Hidden Markov Models
This book is a comprehensive treatment of inference for hidden Markov models, including both algorithms and statistical theory. Topics range from filtering and smoothing of the hidden Markov chain to parameter estimation, Bayesian methods and estimation of the number of states.In a unified way the book covers both models with finite state spaces, which allow for exact algorithms for filtering, estimation etc. and models with continuous state spaces (also called state-space models) requiring approximate simulation-based algorithms that are also described in detail. Simulation in hidden Markov models is addressed in five different chapters that cover both Markov chain Monte Carlo and sequential Monte Carlo approaches. Many examples illustrate the algorithms and theory. The book also carefully treats Gaussian linear state-space models and their extensions and it contains a chapter on general Markov chain theory and probabilistic aspects of hidden Markov models.
Inference Control in Statistical Databases : From Theory to Practice
Inference control in statistical databases, also known as statistical disclosure limitation or statistical confidentiality, is about finding tradeoffs to the tension between the increasing societal need for accurate statistical data and the legal and ethical obligation to protect privacy of individuals and enterprises which are the source of data for producing statistics. Techniques used by intruders to make inferences compromising privacy increasingly draw on data mining, record linkage, knowledge discovery, and data analysis and thus statistical inference control becomes an integral part of computer science. This coherent state-of-the-art survey presents some of the most recent work in the field. The papers presented together with an introduction are organized in topical sections on tabular data protection, microdata protection, and software and user case studies.
Inevitable Aging? : Contributions to Evolutionary-Demographic Theory
Aging is inevitable: this is gerontological dogma. And humans do inevitably grow old, which is probably why it seems so unlikely to us that other forms of life could escape aging. Escaping aging is not escaping death. Death is an inherent part of life, and it can strike any time. But the question is whether death necessarily becomes more likely as life proceeds. And it does not. The theoretical results in this monograph indicate that life provides alternative strategies. While some organisms will deteriorate over adult ages, for others mortality appears to fall or remain constant, at least over an extended period of life after reproductive maturity. This is empirically observed especially for species that keep on growing during adult ages. Perhaps the diversity of aging matches the diversity of life. My thesis, the central insight of this monograph, is: to deeply understand why some species age it is necessary to understand why other species do not.
Industrial applications of semantic web ; Proceedings of the 1st International IFIP/WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25-27, 2005 Jyvaskyla, Finland
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Inductive logic programming ; 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings
“Change is inevitable.” Embracing this quote we have tried to carefully exp- iment with the format of this conference, the 15th International Conference on Inductive Logic Programming, hopefully making it even better than it already was. But it will be up to you, the inquisitive reader of this book, to judge our success. The major changes comprised broadening the scope of the conference to include more diverse forms of non-propositional learning, to once again have tutorials on exciting new areas, and, for the ?rst time, to also have a discovery challenge as a platform for collaborative work. This year the conference was co-located with ICML 2005, the 22nd Inter- tional Conference on Machine Learning, and also in close proximity to IJCAI 2005, the 19th International Joint Conference on Arti?cial Intelligence. - location can be tricky, but we greatly bene?ted from the local support provided by Codrina Lauth, Michael May, and others. We were also able to invite all ILP and ICML participants to shared events including a poster session, an invited talk, and a tutorial about the exciting new area of “statistical relational lea- ing”. Two more invited talks were exclusively given to ILP participants and were presented as a kind of stock-taking—?ttingly so for the 15th event in a series—but also tried to provide a recipe for future endeavours.
Induction, Algorithmic Learning Theory, and Philosophy
This is the first book to collect essays from philosophers, mathematicians and computer scientists working at the exciting interface of algorithmic learning theory and the epistemology of science and inductive inference. Readable, introductory essays provide engaging surveys of different, complementary, and mutually inspiring approaches to the topic, both from a philosophical and a mathematical viewpoint.
Individual differences in sensory and consumer science : Experimentation, analysis and interpretation
Individual differences in sensory and consumer science: Experimentation, Analysis and Interpretation presents easily readable, State-of-the-art coverage on how to plan and execute experiments that give rise to individual differences, Also providing the framework for successful analysis and interpretation of results. The book highlights the different methodologies that can be applied and how to select the correct methodology based on the type of study you are performing, Be it product research and development, Quality control or consumer acceptance studies.Written by an experienced team of statisticians and sensory and consumer scientists, The book provides both academics and industry professionals with the first complete overview of a topic of ever-increasing importance.
Indiscrete Thoughts
Indiscrete Thoughts gives a glimpse into a world that has seldom been described, that of science and technology as seen through the eyes of a mathematician. The era covered by this book, 1950 to 1990, was surely one of the golden ages of science as well as of the American university. Cherished myths are debunked along the way as Gian-Carlo Rota takes pleasure in portraying, warts and all, some of the great scientific personalities of the period —Stanislav Ulam (who, together with Edward Teller, signed the patent application for the hydrogen bomb), Solomon Lefschetz (Chairman in the 1950s of the Princeton mathematics department), William Feller (one of the founders of modern probability theory), Jack Schwartz (one of the founders of computer science), and many others.
Indirect Sampling
This book is the reference on indirect sampling and the generalised weight share method. It contains the different developments done by the author on these subjects. The theory surrounding them is presented, but also different possible applications that drive its interest. The reader will find in this book the answer to questions that come, inevitably, when working in a context of indirect sampling.
