الصفحة 1
الصفحة 1
MRI of the Heart and Vessels
In recent years magnetic resonance imaging (MRI) has enriched the technological potential available for the characterization of cardiovascular pathologies, adding substantial advantages to other non-invasive techniques. This technique, which is intrinsically digital and has reduced operator dependency, allows the performance of image analysis in a quantitative and reproducible manner. In virtue of its added diagnostic value and inherent refinements that allow construction of two- and three-dimensional images, MRI is gaining a primary role in the histopathological and physiopathological understanding of a large number of pathologies concerning the heart and vessels. This text is addressed both to MRI operators seeking specific technical information and to clinicians who wish to have a better understanding of the diagnostic and management advantages that MRI can offer.
Model Driven Engineering Languages and Systems ; 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems.
Mean Oscillations and Equimeasurable Rearrangements of Functions
Various applications of equimeasurable function rearrangements to the ''best constant"-type problems are considered in this volume. Several classical theorems are presented along with some very recent results. In particular, the text includes a product-space extension of the Rising Sun lemma, a product-space version of the John-Nirenberg inequality for bounded mean oscillation (BMO) functions with sharp exponent, a refinement of the Gurov-Reshetnyak lemma, sharp embedding theorems for Muckenhoupt, Gurov-Reshetnyak, reverse Hölder, and Gehring classes, etc. This volume is interesting for graduate students and mathematicians involved with these topics.
Intersections de deux quadriques et pinceaux de courbes de genre 1 = Intersections of two quadrics and pencils of curves of genus 1
This research monograph focuses on the arithmetic, over number fields, of surfaces fibred into curves of genus 1 over the projective line, and of intersections of two quadrics in projective space. The first half contains a complete account of the technique initiated by Swinnerton-Dyer in 1993 for studying rational points on pencils of curves of genus 1, while incorporating and generalising most of its subsequent refinements. The second half, which builds upon the first, is devoted to quartic del Pezzo surfaces and higher-dimensional intersections of two quadrics.
Innovations in plastic and aesthetic surgery
The book is structured according to the major fields of plastic surgery, and the reader is thus offered insight into the most significant contributions to the international community, as well as into new developments, tricks, and refinements in the field.
Handbook of Number Theory I
This handbook covers a wealth of topics from number theory, special attention being given to estimates and inequalities. As a rule, the most important results are presented, together with their refinements, extensions or generalisations. These may be applied to other aspects of number theory, or to a wide range of mathematical disciplines. Cross-references provide new insight into fundamental research.
Game Theory : A Multi-Leveled Approach
This book presents the basics of game theory both on an undergraduate level and on a more advanced mathematical level. It covers most topics of interest in game theory, including cooperative game theory. Part I presents introductions to all these topics on a basic yet formally precise level. It includes chapters on repeated games, social choice theory, and selected topics such as bargaining theory, exchange economies, and matching. Part II goes deeper into noncooperative theory and treats the theory of zerosum games, refinements of Nash equilibrium in strategic as well as extensive form games, and evolutionary games. Part III covers basic concepts in the theory of transferable utility games, such as core and balancedness, Shapley value and variations, and nucleolus. Some mathematical tools on duality and convexity are collected in Part IV. Every chapter in the book concludes with a problem section. Hints, answers and solutions are included.
Fundamentals of Powder Diffraction and Structural Characterization of Materials
Pecharsky (Iowa State University) and Zavalij (State University of New York, Binghamton) explain in their preface that the powder diffraction method has been used for more than 90 years as a means of structural characterization of materials; but it has become even more important to advancements in materials science, chemistry, physics, natural sciences, and engineering due to developments in the past decade such as digital x-ray recording, groundbreaking work showing the application of powder diffraction data to structure refinement and solution, and computers and the internet. This text for undergraduate and graduate students requires no prior knowledge of the subject. It provides both theoretical and practical coverage with emphasis on data collected using conventional x-ray sources and general-purpose powder diffractometers. The included CD-ROM contains color versions of some 300 illustrations as well as powder diffraction data needed for the end-of-chapter problems.
Foundations of software science and computation structures ; 25th International conference, FOSSACS 2022, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Foundations of software science and computation structures ; 23rd International conference, FOSSACS 2020, Held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Formal Refinement for Operating System Kernels
The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement process that leads to the extraction of executable code. The formal refinement process ensures that the code meets the specification in a precise sense.
Formal Modeling and Analysis of Timed Systems ; 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.
Formal Methods for Open Object-Based Distributed Systems ; 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification.
Food addiction
This approach acknowledges the apparent parallels between substance use disorders and overeating of highly palatable, high-caloric foods. Although this idea seems to be relatively new, research on food addiction actually encompasses several decades, a fact that often remains unrecognized. Scientific use of the term addiction in reference to chocolate even dates back to the 19th century. In the 20th century, food addiction research underwent several paradigm shifts, which include changing foci on anorexia nervosa, bulimia nervosa, obesity, or binge eating disorder. Thus, the purpose of this review is to describe the history and state of the art of food addiction research and to demonstrate its development and refinement of definitions and methodologies
FM 2006: Formal Methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.
Dataset Studio
Data is the new oil, which means that AI engineers can face difficulties in locating suitable datasets. Dataset Studio is a comprehensive platform designed to support AI engineers in the creation and optimization of datasets. This project offers a diverse range of services that encompass data collection, data augmentation, and data classification. As a result, this software empowers engineers by automatically generating structured data through the utilization of advanced tools and AI techniques. By automating the laborious tasks of manual data collection and extraction, Dataset Studio effectively streamlines the workflow for AI engineers, enabling them to save valuable time and focus on the more intricate aspects of dataset development and refinement.
Constructing Correct Software
Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the basics, using simple examples and lots of detailed working (which can often be re-used). Constructing Correct Software will provide invaluable reading for students and practitioners of Computer Science and Software Engineering to whom correctness of software is of prime importance.
Map-based Mobile Services : Design, Interaction and Usability
It addresses methods and techniques for topics that range from design and rendering, context modelling, personalisation, multimodal interaction to usability test. Instead of striving for a seamless coverage of all essential theoretical and technical issues with an equal depth and extent, we attempt to pinpoint a number of research highlights and representative development activities at universities, research institutions and so- ware industry. The operational prototypes and platforms reported in the book are on the one hand outcome and feasibility proof of various approaches. On the other hand, they serve as a new starting point for the refinement of user interfaces and iterative usability tests.
Logic-Based Program Synthesis and Transformation ; 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Contains a selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in Kongens Lyngby, Denmark, August 23-24,2007. LOPSTR thus traditionally solicits papers in the areas of: specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications andtools, component-baseds of tware development, software architectures, age- based software development and program refnement. Formal proceedings are produced only after the symposium, so that authors can incorporate this feed back in the published papers.
Journeys to a Graveyard : Perceptions of Europe in Classical Russian Travel Writing
Journeys to a Graveyard examines the descriptions provided by eight Russian writers of journeys made to western European countries between 1697 and 1880. The descriptions reveal the mentality and preoccupations of the Russian social and intellectual elites during this period. The travellers' perceptions of western European countries are treated here as an ambivalent response to a civilization with which Russia was belatedly coming into close contact as a result of the imperial ambition of the Russian state and the westernization of the Russian elites. The travellers perceived the most advanced European countries as superior to Russia in terms of material achievement and the maturity and refinement of their cultures, but they also promoted a view of Russia as in other respects superior to the western nations. Heavily influenced from the late eighteenth century by Romanticism and by the rise of nationalism in the west, they tended to depict European civilization as moribund. By this means they managed to define their own emergent nation in a contrastive way as having youth and promising futurity.
