تحسين النتائح
ترتيب حسب
من
الى
الصفحة 19
الصفحة 19
Materials for Tomorrow : Theory, Experiments and Modelling
This book contains six chapters on central topics in materials science. Each is written by specialists in the field, and gives a state-of-the-art presentation of the subject for graduate students and scientists not necessarily working in that field. Computer simulations of new materials, theory and experimental work are all extensively discussed. As nanomaterials are of great current interest, most of the topics discussed have a bearing on nanomaterials and nanodevices. In addition to inorganic nanotubes, metallic nanocrystals, electronic nanodevices, spintronics and interfaces on an atomic scale, the text also presents computer simulations on one of the less well understood fields in solid-state physics and materials science: glasses and undercooled fluids.
Material Inhomogeneities and their Evolution : A Geometric Approach
The first part of the book deals with the geometrical description of uniform bodies and their homogeneity (i.e., integrability) conditions. In the second part, a theory of material evolution is developed and its relevance in various applied contexts discussed. The necessary geometrical notions are introduced as needed in the first two parts but often without due attention to an uncompromising mathematical rigour. This task is left for the third part of the book, which is a highly technical compendium of those concepts of modern differential geometry that are invoked in the first two parts (differentiable manifolds, Lie groups, jets, principal fibre bundles, G-structures, connections, frame bundles, integrable prolongations, groupoids, etc.).
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.
Marine Geochemistry
Since 1980 a considerable amount of scientific research dealing with geochemical processes in marine sediments has been carried out. This textbook summarizes the state of the art in this field of research. The topics comprise the examination of sedimentological and physical properties of the sedimentary solid phase, of pore water and pore water constituents, organic matter as the driving force of most microbiological processes, biotic and abiotic redox reactions, carbonates and stable isotopes as proxies for paleoclimate reconstruction, metal enrichments in ferromanganese nodules and crusts as well as in hot vents and cold seeps on the seafloor. A new chapter describes properties, occurrence and formation of gas hydrates in marine sediments. The textbook ends with a chapter on model conceptions and computer models to quantify processes of early diagenesis.
Maple and Mathematica : A Problem Solving Approach for Mathematics
the history of mathematics there are many situations in which cal- lations were performed incorrectly for important practical applications. the history of computing the number began in Egypt and Babylon about 2000 years BC, since then many mathematicians have calculated (e. g. , Archimedes, Ptolemy, Vi` ete, etc. ). In modern mathematics there exist computers that can perform various mathematical operations for which humans are incapable. Therefore the computers can be used to verify the results obtained by humans, to discovery new results, to - prove the result sthatahumancanobtain without anytechnology
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.
Map Projections : Cartographic Information Systems
In the context of Geographical Information Systems (GIS) the book offers a timely review of map projections (sphere, ellipsoid, rotational surfaces) and geodetic datum transformations. For the needs of photogrammetry, computer vision, and remote sensing space projective mappings are reviewed.
Lunar and Planetary Webcam Users Guide
In the Lunar and Planetary Webcam User’s Guide Martin Mobberley de-mystifies the jargon of webcams and computer processing, and provides detailed hints and tips for imaging the Sun, Moon and planets with a webcam. He looks at each observing target separately, describing and explaining all specialised techniques in context.
Logica Universalis : Towards a General Theory of Logic
Signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book and the vision behind it give logic, conceived as a scientific study of rationality, new unifying power, new perspectives, and new horizons.Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic: Alfred Tarski and other Polish logicians such as Adolf Lindenbaum developed a general theory of logics at the end of the 1920s based on consequence operations and logical matrices. The subject was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity.
Logic, Thought and Action
Contribute to our understanding of this dynamic process by clearly presenting and discussing the most important hypotheses, issues and theories in philosophical and logical study of language, thought and action. Among the fundamental issues discussed are the rationality and freedom of agents, theoretical and practical reasoning, individual and collective attitudes and actions, the nature of cooperation and communication, the construction and conditions of adequacy of scientific theories, propositional contents and their truth conditions, illocutionary force, time, aspect and presupposition in meaning, speech acts within dialogue, the dialogical approach to logic and the structure of dialogues and other language games, as well as formal methods needed in logic or artificial intelligence to account for choice, paradoxes, uncertainty and imprecision.
Logic Synthesis for Compositional Microprogram Control Units
In this book control algorithms are represented by the linear graph-schemes of algorithms (GSA), where the number of operator vertices is not less than 75% of the total number of all algorithm vertices. A special class of control units named as compositional microprogram control units (CMCU) is proposed as the best way for interpretation of linear control algorithms.
Location Based Services and TeleCartography
Provides for the first time a general overview of research activities related to location and map-based services. These activities have emerged over the last years, especially around issues of positioning, spatial modelling, cartographic communication as well as in the fields of ubiquitious cartography, geo-pervasive services, user-centered modelling and geo-wiki activities. Topics cover an enormous range with heterogenous relationships to the main book issues. Whilst contemporary cartography aims at looking at new and efficient ways for communicating spatial information the development and availability of technologies like mobile networking, mobile devices or short-range sensors lead to interesting new possibilities for achieving this aim.
Living Off the Land in Space : Green Roads to the Cosmos
Draws parallels with the settlement of terrestrial frontiers to investigate how new space propulsion techniques may help future space settlers exploit extraterrestrial resources to establish independence from the Earth. "Living Off the Land in Space," a collaboration among two space scientists and an artist, is illuminated with many NASA-derived computer-generated images, including drawings, and presents the human (as well as the technological) side of space settlement. It will be an inspiring and indispensible source for those wishing to share in this great adventure.
Linking and Aligning Scores and Scales
In this book, experts in statistics and psychometrics describe classes of linkages, the history of score linkings, data collection designs, and methods used to achieve sound score linkages. They describe and critically discuss applications to a variety of domains including equating of achievement exams, linkages between computer-delivered exams and paper-and-pencil exams, concordances between the current version of the SAT® and its predecessor, concordances between the ACT® and the SAT®, vertical linkages of exams that span grade levels, and linkages of scales from high-stakes state assessments to the scales of the National Assessment of Educational Progress (NAEP).
Linkage in Evolutionary Computation
The whole volume consisting of 19 chapters is divided into 3 parts: Models and Theories; Operators and Frameworks; Applications. This edited volume will serve as a useful guide and reference for researchers who are currently working in the area of linkage. For postgraduate research students, this volume will serve as a good source of reference. It is also suitable as a text for a graduate level course focusing on linkage issues.
Linear Optimization Problems with Inexact Data
Linear programming attracted the interest of mathematicians during and after World War II when the first computers were constructed and methods for solving large linear programming problems were sought in connection with specific practical problems—for example, providing logistical support for the U.S. Armed Forces or modeling national economies. Early attempts to apply linear programming methods to solve practical problems failed to satisfy expectations. There were various reasons for the failure. One of them, which is the central topic of this book, was the inexactness of the data used to create the models. This phenomenon, inherent in most pratical problems, has been dealt with in several ways. At first, linear programming models used "average” values of inherently vague coefficients, but the optimal solutions of these models were not always optimal for the original problem itself. Later researchers developed the stochastic linear programming approach, but this too has its limitations. Recently, interest has been given to linear programming problems with data given as intervals, convex sets and/or fuzzy sets. The individual results of these studies have been promising, but the literature has not presented a unified theory. Linear Optimization Problems with Inexact Data attempts to present a comprehensive treatment of linear optimization with inexact data, summarizing existing results and presenting new ones within a unifying framework.
Lectures in Supercomputational Neurosciences : Dynamics in Complex Brain Networks
The present volume is an introduction, largely from the physicists' perspective, to the subject matter with in-depth contributions by system neuroscientists. A conceptual model for complex networks of neurons is introduced that incorporates many important features of the real brain, such as various types of neurons, various brain areas, inhibitory and excitatory coupling and the plasticity of the network. The computational implementation on supercomputers, which is introduced and discussed in detail in this book, will enable the readers to modify and adapt the algortihm for their own research.
Lectures in Supercomputational Neurosciences : Dynamics in Complex Brain Networks
The present volume is an introduction, largely from the physicists' perspective, to the subject matter with in-depth contributions by system neuroscientists. A conceptual model for complex networks of neurons is introduced that incorporates many important features of the real brain, such as various types of neurons, various brain areas, inhibitory and excitatory coupling and the plasticity of the network. The computational implementation on supercomputers, which is introduced and discussed in detail in this book, will enable the readers to modify and adapt the algortihm for their own research.
Lead-free Soldering
The push toward lead-free soldering in computers, cell phones and other electronic and electrical devices has taken on a greater urgency as laws have been passed or are pending in the United States, the European Union and Asia which ban lead-bearing solder. These new restrictions on hazardous substances are changing the way electronic devices are assembled, and specifically affect process engineering, manufacturing and quality assurance. Lead-Free Soldering offers in a single volume a broad collection of practical techniques for lead-free soldering design and manufacture, which up to now have been scattered in difficult-to-find scholarly sources. The book includes the latest information on proposed changes to lead-free standards, and up-to-date analysis of government and legislative activities and regulations in North America, Europe and Asia.
Lattice Boltzmann Modeling : An Introduction for Geoscientists and Engineers
Lattice Boltzmann models have a remarkable ability to simulate single- and multi-phase fluids and transport processes within them. A rich variety of behaviors, including higher Reynolds numbers flows, phase separation, evaporation, condensation, cavitation, buoyancy, and interactions with surfaces can readily be simulated. This book provides a basic introduction that emphasizes intuition and simplistic conceptualization of processes. It avoids the more difficult mathematics that underlies LB models. The model is viewed from a particle perspective where collisions, streaming, and particle-particle/particle-surface interactions constitute the entire conceptual framework. Beginners and those with more interest in model application than detailed mathematical foundations will find this a powerful "quick start" guide. Example simulations, exercises, and computer codes are included. Working code is provided on the Internet.
