الصفحة 5
الصفحة 5
Language and Automata Theory and Applications ; 2nd International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008.The 40 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers deal with the various issues related to automata theory and formal languages
L’esprit de l’aiguille : L’apport du Yi Jing à la pratique de l’acupuncture = The Spirit of the Needle: The contribution of the Yi Jing to the practice of acupuncture
Acupuncture deciphers and heals human beings in all their mutations. The symbolism of Yi Jing joins the humanism of this Traditional Medicine for a dynamic reading of the changes and transformations at work in human beings. The double reflection generates a global vision of the human being and the approach to patients is changed. After an approach to the state of mind, encountered in these two fields, the author sets out to find the oldest roots of the notions of Yin and Yang. This allows him to identify the main strengths of the constitution of a human being and to deepen its symbolic construction. Three fields of application of this approach are then studied. The Extraordinary Meridians are viewed from a descriptive and behavioral perspective, which makes them extremely lively and familiar. Luo points, human being's relationship points with Reality, are also considered on a practical level using a symbolic reading of the links of Heaven, Earth and Man. Many examples shed light on these aspects. The last application is a detailed and comprehensive presentation of the fundamental and symbolic functions of the twelve main meridians through the hexagrams which correspond to their ancient Shu points. This original book is intended for any practitioner of traditional Chinese medicine curious to broaden their field of investigation. Dr M. Vinogradoff has been practicing acupuncture for 25 years. He is a member of the French Acupuncture Association, the French Acupuncture College and the Ricci Institute. After having published the complete translation of Yi Jing, in 2006 he published a novel, the action of which is set in Ancient China.
Classification and Modeling with Linguistic Information Granules : Advanced Approaches to Linguistic Data Mining
Many approaches have already been proposed for classification and modeling in the literature. These approaches are usually based on mathematical mod els. Computer systems can easily handle mathematical models even when they are complicated and nonlinear (e.g., neural networks). On the other hand, it is not always easy for human users to intuitively understand mathe matical models even when they are simple and linear. This is because human information processing is based mainly on linguistic knowledge while com puter systems are designed to handle symbolic and numerical information. A large part of our daily communication is based on words. We learn from various media such as books, newspapers, magazines, TV, and the Inter net through words. We also communicate with others through words. While words play a central role in human information processing, linguistic models are not often used in the fields of classification and modeling. If there is no goal other than the maximization of accuracy in classification and modeling, mathematical models may always be preferred to linguistic models. On the other hand, linguistic models may be chosen if emphasis is placed on interpretability.
Cellular Automata and Discrete Complex Systems ; 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings
This volume constitutes the refereed post-conference proceedings of the 26th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2020, held in Stockholm, Sweden, in August 2020. The workshop was held virtually. The 11 full papers presented in this book were carefully reviewed and selected from a total of 21 submissions. The topics of the conference include dynamical, topological, ergodic and algebraic aspects of CA and DCS, algorithmic and complexity issues, emergent properties, formal languages, symbolic dynamics, tilings, models of parallelism and distributed systems, timing schemes, synchronous versus asynchronous models, phenomenological descriptions, scientific modeling, and practical applications.
Biological and artificial intelligence environments
The book reports the proceedings of the 15th Italian workshop on neural networks issued by the Italian Society on Neural Networks SIREN. The longevity recipe of this conference stands in three main points that normally renders the reading of these proceedings so interesting as appealing. 1. The topics of the neural networks is considered an attraction pole for a set of researches centered on the inherent paradigm of the neural networks, rather than on a specific tool exclusively. Thus, the subsymbolic management of the data information content constitutes the key feature of papers in various fields such as Pattern Recognition, Stochastic Optimization, Learning, Granular Computing, and so on, with a special bias toward bioinformatics operational applications. An excerpt of all these matters may be found in the book. 2. Though managed at domestic level, the conference attracts contributions from foreign researchers as well, so that in the book the reader may capture the flavor of the state of the art in the international community. 3. The conference is a meeting of friends as well. Thus the papers generally reflect a relaxed atmosphere where researchers meet to generously exchange their thought and explain their actual results in view of a common cultural growing of the community.
Automatic program development : A tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the Higher-Order and Symbolic Computation Journal in 2003 and 2005. The book also includes some papers by members of the IFIP Working Group 2.1 of which Bob was an active member.
Artificial intelligence in pharmacy
Artificial intelligence (AI) is a branch of computer science that deals with the problem-solving by the aid of symbolic programming. It has greatly evolved into a science of problem-solving with huge applications in business, health care, and engineering. One of the pivotal applications of AI is the development of the expert system. With the advent of big data and Al, robots are now becoming more trustworthy for doctors, and a large number of institutions are now employing robots along with human supervision to carry out activities that were previously done by humans...
Artificial intelligence and symbolic computation ; 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.
Arithmetic of finite fields ; 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings
This book constitutes the refereed proceedings of the Second International Workshop on the Arithmetic of Finite Fields, WAIFI 2008, held in Siena, Italy, in July 2008.
Analytical Methods in Anisotropic Elasticity : with Symbolic Computational Tools
This comprehensive textbook /reference focuses on the mathematical techniques and solution methodologies required to establish the foundations of anisotropic elasticity and provides the theoretical background for composite material analysis. Specific attention is devoted to the potential of modern symbolic computational tools to support highly complex analytical solutions and their contribution to the rigor, analytical uniformity and exactness of the derivation.
Algorithms in Invariant Theory
The book of Sturmfels is both an easy-to-read textbook for invariant theory and a challenging research monograph that introduces a new approach to the algorithmic side of invariant theory. The Groebner bases method is the main tool by which the central problems in invariant theory become amenable to algorithmic solutions.
Algorithmic number theory ; 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
This book constitutes the refereed proceedings of the 8th International Algorithmic Number Theory Symposium, ANTS 2008, held in Banff, Canada, in May 2008.
Algebraic Geometry and Geometric Modeling
Algebraic Geometry provides an impressive theory targeting the understanding of geometric objects defined algebraically. Geometric Modeling uses every day, in order to solve practical and difficult problems, digital shapes based on algebraic models. In this book, we have collected articles bridging these two areas. The confrontation of the different points of view results in a better analysis of what the key challenges are and how they can be met. We focus on the following important classes of problems: implicitization, classification, and intersection. The combination of illustrative pictures, explicit computations and review articles will help the reader to handle these subjects.
Algebraic Biology ; 3rd International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings
This book constitutes the refereed proceedings of the Third International Conference on Algebraic Biology, AB 2008, held at the Castle of Hagenberg, Austria in July 2008 as part of the RISC Summer 2008, organized by the Research Institute for Symbolic Computation.
Algebraic Biology ; 2nd International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods.
Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
