تحسين النتائح
ترتيب حسب
من
الى
الصفحة 6
الصفحة 6
Active Conceptual Modeling of Learning : Next Generation Learning-Base System Development
This volume contains a collection of the papers presented during the 1st International ACM-L Workshop, which was held on November 8, 2006 during the 25th International Conference on Conceptual Modeling, ER 2006, held November 6–9,2006, in Tucson, Arizona, plus several invited papers.These papers plus the invited papers represent the current thinking in conceptual modeling research, The active model can only be realized through technology integration (e.g., AI, software engineering, information technology,cognitive science, art and sciences, philosophy, etc.)
Abstraction, refinement and proof for probabilistic systems
Probabilistic 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.
A Practical Theory of Reactive Systems : Incremental Modeling of Dynamic Behaviors
Presents a ""practical theory"" of reactive systems, with formal foundations in Temporal Logic of Actions. This book emphasises theoretical understanding of reactive behaviors and using ""horizontal"" modularity to manage their complexity. It illustrates the incremental specification by a number of examples of varying size and complexity
A High-Performance Logical Framework -- All About Maude : How to Specify, Program, and Verify Systems in Rewriting Logic
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaude module defines a precise mathematical model.This means that Maude and its formal tool environment can be used in three, mutually reinforcing ways: • as a declarative programming language; • as an executable formal specification language; and • as a formal verification system. Maude’s rewriting logic is simple, yet very expressive. This gives Maude good representational capabilities as a semantic framework to formally represent a wide range of systems, including models of concurrency, distributed al- rithms, network protocols, semantics of programming languages, and models of cell biology. Rewriting logic is also an expressive universal logic,making Maude a fiexible logical framework in which many difierent logics and - ference systems can be represented and mechanized. This makes Maude a useful metatool to build many other tools, including those in its own formal tool environment. Thanks to the logic’s simplicity and the use of advanced semi-compilation techniques, Maude has a high-performance implementation, making it competitive with other declarative programming languages.
A Graph-Theoretic Approach to Enterprise Network Dynamics
This monograph treats the application of numerous graph-theoretic algorithms to a comprehensive analysis of dynamic enterprise networks. Network dynamics analysis yields valuable information about network performance, efficiency, fault prediction, cost optimization, indicators and warnings.
A first course in differential equations with modeling applications
A comprehensive treatment of ordinary differential equations, concisely presenting basic and essential results in a rigorous manner. Including various examples from physics, mechanics, natural sciences, engineering and automatic theory, Differential Equations is a bridge between the abstract theory of differential equations and applied systems theory.
3-D Shape Estimation and Image Restoration : Exploiting Defocus and Motion-Blur
Images contain information about the spatial properties of the scene they depict. When coupled with suitable assumptions, images can be used to infer three-dimensional information. This useful volume concentrates on motion blur and defocus, which can be exploited to infer the 3-D structure of a scene—as well as its radiance properties—and which in turn can be used to generate novel images with better quality. 3-D Shape Estimation and Image Restoration presents a coherent framework for the analysis and design of algorithms to estimate 3-D shape from defocused and motion blurred images, and to eliminate defocus and motion blur to yield "restored" images. It provides a collection of algorithms that are optimal with respect to the chosen model and estimation criterion.
3D Mesh processing and character animation : with examples using OpenGL, OpenMesh and Assimp
Focusses specifically on topics that are important in three-dimensional modelling, surface design and real-time character animation. It provides an in-depth coverage of data structures and popular methods used in geometry processing, keyframe and inverse kinematics animations and shader based processing of mesh objects. It also introduces two powerful and versatile libraries, OpenMesh and Assimp, and demonstrates their usefulness through implementations of a wide range of algorithms in mesh processing and character animation respectively. This Textbook is written for students at an advanced undergraduate or postgraduate level who are interested in the study and development of graphics algorithms for three-dimensional mesh modeling and analysis, and animations of rigged character models.
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention was given to advanced 3D imaging technologies in the context of safety and security applications. Comparative evaluation studies showing advantages of 3D imaging over traditional 2D imaging for a given computer vision or pattern recognition task were emphasized. Moreover, additional experts in the field of 3D imaging for safety and security were invited by the editors for a contribution to this book.
Biological mechanisms of tooth movement ; 3rd ed.
Cover subjects such as: The development of biological concepts in orthodontics, including the cellular and molecular biology behind orthodontic tooth movement Mechanics meets biology, including the effects of mechanical loading on hard and soft tissues and cells, and biological reactions to temporary anchorage devices Inflammation and orthodontics, including markers for tissue remodeling in the gingival crevicular fluid and saliva Personalized diagnosis and treatment based on genomic criteria, including the genetic influences on orthodontic tooth movement Rapid orthodontics, including methods to accelerate or decelerate orthodontic tooth movement Perfect for residents and PhD students of orthodontic and periodontal programs, Biological Mechanisms of Tooth Movement is also useful to academics, clinicians, bone biologists, and researchers with an interest in the mechanics and biology of tooth movement.
3D printing in oral & maxillofacial surgery
A comprehensive guide to 3D printing and 3D bioprinting methods and their application in oral and maxillofacial surgeries. Among the 3D printing methods considered are fused deposition modeling, selective laser sintering, photopolymer jetting, powder binder printing, and stereolithography, while the coverage of 3D bioprinting encompasses inkjet, microextrusion, and laser techniques. In each case, the relevance of the technique to oral and maxillofacial surgery is explained. In addition, the available inks and bioinks for 3D printing are reviewed. The roles of soft and hard tissue printing in oral and maxillofacial tissue engineering and the use of 3D printing in multi- and interfacial tissue engineering are then examined in depth. The particular value of 3D printing in the treatment of critically sized defects is discussed separately. Finally, up-to-date information is provided on guided tissue/bone regeneration using 3D printing. The book will be of interest to both oral and maxillofacial surgeons and biomedical engineers.
Buildings for Education: A Multidisciplinary Overview of The Design of School Buildings
This book presents theoretical and practical research relating to the vast, publicly financed program for the construction of new schools and the reorganization of existing educational buildings in Italy.
Material Modeling in Finite Element Analysis
Presents some specific problems including the metal-forming process, combustion room, Mullins effect of rubber tires, viscoelasticity of liver soft tissues, small punch test, tunnel excavation, slope stability, concrete slump test, orthodontic wire, and piezoelectric microaccelerometer.
Mastering Calculations in Linear and Nonlinear Mechanics
Mastering Calculations in Linear and Nonlinear Mechanics is concerned with the management of calculations in linear and nonlinear mechanics. In the last twenty years The accent is on the concept of error in constitutive relation. An important part of this work is also devoted to the utilization of the error estimators involved in a calculation.
Building construction and technology
Highlights various aspects of building construction industry based on data from field studies. It discusses the challenges, methodologies, technological applications in building construction, technology, and management. The book presents new approaches to effective building construction and an understanding of the impact of applications of latest technologies.
Application of numerical methods in engineering problems using MATLAB
Presents an analysis of structures using numerical methods and mathematical modeling. This structural analysis also includes beam, plate, and pipe elements, and examines deflection and frequency or buckling loads. The various engineering theories of beams/plates/shells are comprehensively presented, and the relationships between stress and strain, and the governing equations of the structure are extracted. To solve governing equations with numerical methods, there are two general types, including methods based on derivatives or integrals. Derivative-based methods have the advantage of flexibility in modeling boundary conditions, low analysis time, and a very high degree of accuracy.
An Introduction to Computational Micromechanics
This book presents a comprehensive introduction to computational micromechanics, including basic homogenization theory, microstructural optimization and multifield analysis of heterogeneous materials. "An Introduction to Computational Micromechanics".
Aging, shaking, and cracking of infrastructures : From mechanics to concrete dams and nuclear structures
Focuses on the safety assessment of existing structures subjected to multi-hazard scenarios through advanced numerical methods. Whereas the focus is on concrete dams and nuclear containment structures, the presented methodologies can also be applied to other large-scale ones. This book is composed of seven sections: Fundamentals: theoretical coverage of solid mechnics, plasticity, fracture mechanics, creep, / seismology, dynamic analysis, probability and statistics / Damage: that can affect concrete structures, such as cracking of concrete, AAR, chloride ingress, and rebar corrosion, / Finite Element: formulation for both linear and nonlinear analysis including stress, heat and fracture mechanics, / Engineering Models: for soil/fluid-structure interaction, uncertainty quantification, probablilistic and random finite element analysis, machine learning, performance based earthquake engineering, ground motion intensity measures, seismic hazard analysis, capacity/fragility functions and damage indeces, / Applications to dams through potential failure mode analyses, risk-informed decision making, deterministic and probabilistic examples, / Applications to nuclear structures through modeling issues, aging management programs, critical review of some analyses, / Other applications and case studies: massive RC structures and bridges, detailed assessment of a nuclear containment structure evaluation for license renewal.
Advances in sustainable materials and technology
Discusses numerous relevant areas and innovative technologies, such as key construction materials and production, materials with lower energy impact, production processes encouraging less use of ever-depleting natural raw materials, minimization of the generation of greenhouse gases, development of new, environmentally friendly materials and agents, characterization of the properties of construction materials, and methodologies applied in the building of structures.
Advances in Mechanics of Materials for Environmental and Civil Engineering
Deals with both mathematical modeling and experimental studies related to systems relevant for various civil engineering fields. The book addresses several key topics, including artificial intelligence applied to the control and monitoring of construction site personnel, finite element models for endplate beam-to-column connections under various load conditions, random functionally graded micropolar beams, and many others. The book explores the design and study of microstructures aimed at increasing the toughness and durability of novel materials in building and construction, based also on the re-utilization of residues and wastes of metallurgical industry produces.
