Es wurden 54 Produkte zu dem Suchbegriff refinement in 7 Shops gefunden:
-
Refinement - John Derrick, Eerke Boiten, Kartoniert (TB)
Anbieter: Weltbild CH Preis: 59,00 CHFRefinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
-
Kranky And their refinement of the decline
Anbieter: Fr.fnac.ch Preis: 31,90 CHFAnd their refinement of the decline - CD album - Musique CD, Vinyl : tous les albums pop, rock, variété, rap, R'n'B, classique, jazz, metal, electro ...
-
Structured Adaptive Mesh Refinement (Samr) Grid Methods, Kartoniert (TB)
Anbieter: Weltbild CH Preis: 59,00 CHFStructured adaptive mesh refinement (SAMR) methods have matured over the past 20 years and are now the method of choice for certain difficult problems, such as compressible flow. SAMR presents difficult technical challenges, both in terms of the numerical techniques involved and the complexity of the programming effort, especially on parallel computers. In order to gain insight into managing these difficulties, much research effort has been directed at mesh generation, parallel computation, and improvements in accuracy, aimed primarily at refinement interfaces. A major stumbling block in this endeavor is that many of these techniques entail substantial amounts of problem specific detail. Standardization is highly unlikely, except within narrowly defined problem domains. The papers presented in this collection are based on talks given at the Workshop on Structured Adaptive Mesh Refinement Grid Methods, held at the Institute for Mathematics and its Applications, University of Minnesota, on March 12-13 1997. They describe research to improve the general understanding of the application of SAMR to practical problems; identify issues critical to efficient and effective implementation on high performance computers; stimulate the development of a community code repository for software including benchmarks to assist in the evaluation of software and compiler technologies. The ten chapters of this volume have been divided into two parts reflecting two major issues in the topic: (I) programming complexity of SAMR algorithms and (II) applicability and numerical challenges of SAMR methods. Part I presents three programming environments and two libraries that address the concerns of efficient execution and reduced software development times of SAMR applications. Part II describes an overview of applications that can benefit from SAMR methods, ranging from crack propagation and industrial boilers to
-
Refinement - John Derrick, Eerke Boiten, Kartoniert (TB)
Anbieter: Weltbild.ch Preis: 59,00 CHFRefinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
-
Information Refinement Technologies For Crisis Informatics - Marc-André Kaufhold, Kartoniert (TB)
Anbieter: Weltbild CH Preis: 118,00 CHFMarc-André Kaufhold explores user expectations and design implications for the utilization of new media in crisis management and response. He develops a novel framework for information refinement, which integrates the event, organisational, societal, and technological perspectives of crises. Therefore, he reviews the state of the art on crisis informatics and empirically examines the use, potentials and barriers of both social media and mobile apps. Based on these insights, he designs and evaluates ICT concepts and artifacts with the aim to overcome the issues of information overload and quality in large-scale crises, concluding with practical and theoretical implications for technology adaptation and design.
-
Formal Refinement For Operating System Kernels - Iain D. Craig, Kartoniert (TB)
Anbieter: Weltbild.ch Preis: 118,00 CHFThis book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained in this book are not the only ones I have performed of microkernels. To date, I have re?ned four microkernels down to executable code and have now p- duced a kit of formally speci?ed components that can be composed to form kernels. The ?rst kernel included in this book is just one example of this work. The second kernel, the Separation Kernel, is new and was partly constructed out of the kit of parts (and the reader will see reuse in its speci?cation and re?nement) and was included for speci?c reasons that will become clear anon. Bothkernelstooklessthanthreemonths'workingtimetoproduce(theactual time is rather hard to calculate because of frequent interruptions). Previous experience in re?ning kernels also paid o? in the sense that there was l- tle revision involved in their speci?cation or re?nement; the usual process of yo-yoing between levels of the derivation was absent. This appears to be an inevitable consequence of experience.
-
Refinement Monoids, Equidecomposability Types, And Boolean Inverse Semigroups - Friedrich Wehrung, Kartoniert (TB)
Anbieter: Weltbild CH Preis: 59,90 CHFAdopting a new universal algebraic approach, this book explores and consolidates the link between Tarski's classical theory of equidecomposability types monoids, abstract measure theory (in the spirit of Hans Dobbertin's work on monoid-valued measures on Boolean algebras) and the nonstable K-theory of rings. This is done via the study of a monoid invariant, defined on Boolean inverse semigroups, called the type monoid. The new techniques contrast with the currently available topological approaches. Many positive results, but also many counterexamples, are provided.
-
L’écharpe finement frangé Peter Hahn bleu
Anbieter: Peterhahn.ch Preis: 129,95 CHF (+7,95 CHF)L’écharpe PETER HAHN. Bel imprimé cachemire et fines franges aux extrémités. 50% coton bio, 50% lin bio. Dim. env. 180x60 cm. lavage machine cycle très délicat 30°. décoloration au chlore impossible. repassage modérément chaud. pas de nettoyage à sec. pas de séchage tambour).
-
Refinement In Z And Object-Z - John Derrick, Eerke A. Boiten, Kartoniert (TB)
Anbieter: Weltbild CH Preis: 118,00 CHFThis book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.
-
J'ai Lu Finement Con - Laurent Ruquier - Poche
Anbieter: Fr.fnac.ch Preis: 10,80 CHF (+5,00 CHF)Finement Con - Essai. Découvrez des nouveautés, des coups de cœur, des avis d'internautes, …
-
Adaptive Mesh Refinement In Time-Domain Numerical Electromagnetics - Costas D. Sarris, Kartoniert (TB)
Anbieter: Weltbild CH Preis: 39,00 CHFThis monograph is a comprehensive presentation of state-of-the-art methodologies that can dramatically enhance the efficiency of the finite-difference time-domain (FDTD) technique, the most popular electromagnetic field solver of the time-domain form of Maxwell's equations. These methodologies are aimed at optimally tailoring the computational resources needed for the wideband simulation of microwave and optical structures to their geometry, as well as the nature of the field solutions they support. That is achieved by the development of robust adaptive meshing approaches, which amount to varying the total number of unknown field quantities in the course of the simulation to adapt to temporally or spatially localized field features. While mesh adaptation is an extremely desirable FDTD feature, known to reduce simulation times by orders of magnitude, it is not always robust. The specific techniques presented in this book are characterized by stability and robustness. Therefore, they are excellent computer analysis and design (CAD) tools. The book starts by introducing the FDTD technique, along with challenges related to its application to the analysis of real-life microwave and optical structures. It then proceeds to developing an adaptive mesh refinement method based on the use of multiresolution analysis and, more specifically, the Haar wavelet basis. Furthermore, a new method to embed a moving adaptive mesh in FDTD, the dynamically adaptive mesh refinement (AMR) FDTD technique, is introduced and explained in detail. To highlight the properties of the theoretical tools developed in the text, a number of applications are presented, including: Microwave integrated circuits (microstrip filters, couplers, spiral inductors, cavities). Optical power splitters, Y-junctions, and couplers Optical ring resonators Nonlinear optical waveguides. Building on first principles of time-domain electromagnetic simulations, this book presents advanced concepts and cutting-edge modeling techniques in an intuitive way for programmers, engineers, and graduate students. It is designed to provide a solid reference for highly efficient time-domain solvers, employed in a wide range of exciting applications in microwave/millimeter-wave and optical engineering.
-
Le Lys Bleu Finement confiné - Arthur Desblés - broché
Anbieter: Fr.fnac.ch Preis: 17,19 CHF (+5,00 CHF)Finement confiné - Nouvelles. Découvrez des nouveautés, des coups de cœur, des avis d'internautes, …
-
Formal Refinement For Operating System Kernels - Iain D. Craig, Kartoniert (TB)
Anbieter: Weltbild CH Preis: 118,00 CHFThis book was written as a companion to my book on modelling operating system kernels. It is intended to demonstrate that the formal derivation of kernels is possible (and, actually, quite easy, or so I have found thus far). Itisimportantforthereadertounderstandthatthere?nementscontained in this book are not the only ones I have performed of microkernels. To date, I have re?ned four microkernels down to executable code and have now p- duced a kit of formally speci?ed components that can be composed to form kernels. The ?rst kernel included in this book is just one example of this work. The second kernel, the Separation Kernel, is new and was partly constructed out of the kit of parts (and the reader will see reuse in its speci?cation and re?nement) and was included for speci?c reasons that will become clear anon. Bothkernelstooklessthanthreemonths'workingtimetoproduce(theactual time is rather hard to calculate because of frequent interruptions). Previous experience in re?ning kernels also paid o? in the sense that there was l- tle revision involved in their speci?cation or re?nement; the usual process of yo-yoing between levels of the derivation was absent. This appears to be an inevitable consequence of experience.
-
Kobo by Fnac La vie en confinement - Eden E. Wolfe - broché
Anbieter: Fr.fnac.ch Preis: 27,54 CHF40 idées et activités pour entretenir des relations fortes et joyeuses
-
A View Of Society In Europe In Its Progress From Rudeness To Refinement - Gilbert Stuart, Kartoniert (TB)
Anbieter: Weltbild CH Preis: 36,90 CHFA View of Society in Europe in Its Progress from Rudeness to Refinement - Inquiries concerning the history of law, government, and manners is an unchanged, high-quality reprint of the original edition of 1778. Hansebooks is editor of the literature on different topic areas such as research and science, travel and expeditions, cooking and nutrition, medicine, and other genres. As a publisher we focus on the preservation of historical literature. Many works of historical writers and scientists are available today as antiques only. Hansebooks newly publishes these books and contributes to the preservation of literature which has become rare and historical knowledge for the future.
-
Isogeometric Analysis And Hierarchical Refinement For Multi-Field Contact Problems - Maik Dittmann, Kartoniert (TB)
Anbieter: Weltbild.ch Preis: 52,90 CHFThe present work deals with multi-field contact problems in the context of IGA. In particular, a thermomechanical as well as a fracture mechanical system is considered, where novel formulations are introduced for both. The corresponding discrete contact formulations are based on a variationally consistent mortar approach adapted for NURBS discretized and hierarchical refined surfaces. Finally, the capabilities of the proposed framework are demonstrated within numerous numerical examples.
-
Abstraction, Refinement And Proof For Probabilistic Systems - Annabelle McIver, Charles Carroll Morgan, Kartoniert (TB)
Anbieter: Weltbild CH Preis: 195,90 CHFProbabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic-but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar assertional style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games. Topics and features: * Presents a general semantics for both probability and demonic nondeterminism, including abstraction and data refinement * Introduces readers to the latest mathematical research in rigorous formalization of randomized (probabilistic) algorithms * Illustrates by example the steps necessary for building a conceptual model of probabilistic programming paradigm * Considers results of a large and integrated research exercise (10 years and continuing) in the leading-edge area of quantitative program logics * Includes helpful chapter-ending summaries, a comprehensive index, and an appendix that explores alternative approaches This accessible, focused monograph,written by international authorities on probabilistic programming, develops an essential foundation topic for modern programming and systems development. Researchers, computer scientists, and advanced undergraduates and graduates studying programming or probabilistic systems will find the work an authoritative and essential resource text.
-
Textual And Visual Information Retrieval Using Query Refinement And Pattern Analysis - S. G. Shaila, A Vadivel, Kartoniert (TB)
Anbieter: Weltbild.ch Preis: 99,90 CHFThis book offers comprehensive coverage of information retrieval by considering both Text Based Information Retrieval (TBIR) and Content Based Image Retrieval (CBIR), together with new research topics. The approach to TBIR is based on creating a thesaurus, as well as event classification and detection. N-gram thesaurus generation for query refinement offers a new method for improving the precision of retrieval, while event classification and detection approaches aid in the classification and organization of information using web documents for domain-specific retrieval applications. In turn, with regard to content based image retrieval (CBIR) the book presents a histogram construction method, which is based on human visual perceptions of color. The book's overarching goal is to introduce readers to new ideas in an easy-to-follow manner.
-
Automatic Methods For The Refinement Of System Models - Julia Seiter, Robert Wille, Rolf Drechsler, Kartoniert (TB)
Anbieter: Weltbild CH Preis: 59,00 CHFThis book provides a comprehensive overview of automatic model refinement, which helps readers close the gap between initial textual specification and its desired implementation. The authors enable readers to follow two directions for refinement: Vertical refinement, for adding detail and precision to single description for a given model and Horizontal refinement, which considers several views on one level of abstraction, refining the system specification by dedicated descriptions for structure or behavior. The discussion includes several methods which support designers of electronic systems in this refinement process, including verification methods to check automatically whether a refinement has been conducted as intended.
-
Prix Pictet, Confinement - Prix Pictet, Gebunden
Anbieter: Weltbild.ch Preis: 44,90 CHFGROSSFORMAT: 25 x 32 cm, 116 Seiten Ein eindrückliche fotografische Auseinandersetzung mit der Corona-Krise und dem Lockdown Mit Arbeiten von 43 Künstlerinnen und Künstlern, die für den Prix Pictet nominiert waren und Gedanken zu ihren Werken und ihrer Situation während der Isolation Mit Essays des britischen Historikers Peter Frankopan (Die neuen Seidenstrassen) und der ugandischen Schriftstellerin Jennifer Nansubuga Makumbi Während der Covid-19-Pandemie und des Lockdowns waren viele Künstler auf sich selbst zurückgeworfen und begannen sich kreativ mit dieser nie dagewesenen Situation auseinanderzusetzen. 43 Künstlerinnen und Künstler aus aller Welt wurden vom Prix Pictet, dem weltweit führenden Preis für Fotografie und Nachhaltigkeit, und der britischen Tageszeitung The Guardian eingeladen, ihre Arbeiten aus der und zur Corona-Krise zu teilen. Unter dem Titel Confinement (Beschränkung, Einengung) entstand ein vielschichtiges künstlerisches Porträt dieses Ausnahmenzustands.
54 Ergebnisse in 0.366 Sekunden
Verwandte Suchbegriffe
© Copyright 2024 shopping.eu