Refine Results
Sort By
From
To
Page 1
Page 1
Le silence de l’aiguille : Quand le Yi Jing éclaire les transformations induites par l’acupuncture = The silence of the needle : When Yi Jing illuminates the transformations induced by acupuncture
Deals with change, a notion little approached in the West. It draws on the Yi Jing, the classic of changes, as well as the Taoist texts, Lao zi and Zhuang zi.
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.
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.
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.
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.
Mathematica for Theoretical Physics : Electrodynamics, Quantum Mechanics, General Relativity, and Fractals
Mathematica for Theoretical Physics: Electrodynamics, Quantum Mechanics, General Relativity, and Fractals This second edition of Baumann's Mathematica® in Theoretical Physics shows readers how to solve physical problems and deal with their underlying theoretical concepts while using Mathematica® to derive numeric and symbolic solutions. Each example and calculation can be evaluated by the reader, and the reader can change the example calculations and adopt the given code to related or similar problems. The second edition has been completely revised and expanded into two volumes: The first volume covers classical mechanics and nonlinear dynamics. Both topics are the basis of a regular mechanics course. The second volume covers electrodynamics, quantum mechanics, relativity, and fractals and fractional calculus. New examples have been added and the representation has been reworked to provide a more interactive problem-solving presentation. This book can be used as a textbook or as a reference work, by students and researchers alike. A brief glossary of terms and functions is contained in the appendices.
Mathematica for Theoretical Physics : Classical Mechanics and Nonlinear Dynamics
Mathematica for Theoretical Physics: Classical Mechanics and Nonlinear Dynamics This second edition of Baumann's Mathematica® in Theoretical Physics shows readers how to solve physical problems and deal with their underlying theoretical concepts while using Mathematica® to derive numeric and symbolic solutions. Each example and calculation can be evaluated by the reader, and the reader can change the example calculations and adopt the given code to related or similar problems. The second edition has been completely revised and expanded into two volumes: The first volume covers classical mechanics and nonlinear dynamics. Both topics are the basis of a regular mechanics course. The second volume covers electrodynamics, quantum mechanics, relativity, and fractals and fractional calculus. New examples have been added and the representation has been reworked to provide a more interactive problem-solving presentation. This book can be used as a textbook or as a reference work, by students and researchers alike. A brief glossary of terms and functions is contained in the appendices.
Matematica generale con il calcolatore
By introducing mathematical objects, it teaches students how to use a computer to perform numerical and symbolic calculations, define a function and calculate its values, plot and explore graphs, and execute simple algorithms. The course is rich in examples, applications, and models, drawn from economics, physics, biology, statistics, and mathematics itself. The analysis of these models constitutes, in a certain sense, the true purpose of the mathematical theory covered. Automatic calculation tools (mathematics software, spreadsheets) are used extensively to explore and illustrate concepts and properties. Mathcad® software, in particular, was used, both as a calculation tool and as a simple yet powerful programming language. Considerable space is devoted to approximation, emphasizing the distinction between numerical and symbolic calculation; to algorithms as a synthesis of the syntactic and semantic aspects of mathematical objects; and to computer simulation, interpreted as a "physical" experiment and a source of conjecture. The ability to use a calculator marks a sort of "democratization" of mathematics: even complex results, which have always required a broad background of knowledge and laborious calculations, are now quickly accessible to anyone who understands the meaning of mathematical objects and knows how to use the syntax.
Law as Symbolic Form : Ernst Cassirer and the Anthropocentric View of Law
In this book we describe the rule of law as the reign of persuasion rather than the reign of force, and democracy as the reign by persuasion rather than the reign by force.
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.
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.
