الصفحة 10
الصفحة 10
FPGA Implementations of Neural Networks
During the 1980s and early 1990s there was signi?cant work in the design and implementation of hardware neurocomputers. Nevertheless, most of these efforts may be judged to have been unsuccessful: at no time have have ha- ware neurocomputers been in wide use. This lack of success may be largely attributed to the fact that earlier work was almost entirely aimed at developing custom neurocomputers, based on ASIC technology, but for such niche - eas this technology was never suf?ciently developed or competitive enough to justify large-scale adoption. On the other hand, gate-arrays of the period m- tioned were never large enough nor fast enough for serious arti?cial-neur- network (ANN) applications.
Fossil earthquakes : The formation and preservation of pseudotachylytes
This book encompass the principl results of field investigations, analyses of meso-scale and micro-scale textures and structures, laboratory experiments, chemical analyses, conceptual fault models, as well as the implications of fault related pseudotachylyte an its related fault rocks for our understanding of earthquakes. We hope that this book helps to bridge the gap between seismology and geology and that it encourages further studies of earthquake and seismic faulting processes.
Formal Methods for Components and Objects ; Vol. 4111 ; 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, held in Amsterdam, Netherlands, in November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.
Formal Methods for Components and Objects ; 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This book presents 12 revised papers submitted after the symposium by the speakers of each of the following European IST projects: the IST-FP6 project Mobius, developing the technology for establishing trust and security for the next generation of global computers; the IST-FP6 project SelfMan on self management for large-scale distributed systems based on structured overlay networks and components
Formal Methods for Components and Objects ; 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems.
Fog and boundary layer clouds : Fog visibility and forecasting
The e?ect of fog on human life was recognized in the early ages of mankind but its impact has signi?cantly increased during recent decades due to increasing air, marine, and road tra?c. In fact, the ?nancial and human losses related to fog and low visibility became comparable to the losses from other weather events, e.g., tornadoes or, in some situations, even hurricanes. The purpose of this review is to summarize the earlier works on fog and to lay a basis for the articles presented in this special issue and outline perspectives for future fog research.
Flux-corrected transport : Principles, algorithms, and applications
Addressing students and researchers as well as CFD practitioners, this book describes the state of the art in the development of high-resolution schemes based on the Flux-Corrected Transport (FCT) paradigm. Intended for readers who have a solid background in Computational Fluid Dynamics, the book begins with historical notes by J.P. Boris and D.L. Book. Review articles that follow describe recent advances in the design of FCT algorithms as well as various algorithmic aspects. The topics addressed in the book and its main highlights include: the derivation and analysis of classical FCT schemes with special emphasis on the underlying physical and mathematical constraints; flux limiting for hyperbolic systems; generalization of FCT to implicit time-stepping and finite element discretizations on unstructured meshes and its role as a subgrid scale model for Monotonically Integrated Large Eddy Simulation (MILES) of turbulent flows. The proposed enhancements of the FCT methodology also comprise the prelimiting and 'failsafe' adjustment of antidiffusive fluxes, the use of characteristic variables, and iterative flux correction. The cause and cure of detrimental clipping/terracing effects are discussed. Many numerical examples are presented for academic test problems and large-scale applications alike.
Flowing Matter
This book presents an introduction to selected research topics in the broad field of flowing matter, including the dynamics of fluids with a complex internal structure -from nematic fluids to soft glasses- as well as active matter and turbulent phenomena. Flowing matter is a subject at the crossroads between physics, mathematics, chemistry, engineering, biology and earth sciences, and relies on a multidisciplinary approach to describe the emergence of the macroscopic behaviours in a system from the coordinated dynamics of its microscopic constituents. Depending on the microscopic interactions, an assembly of molecules or of mesoscopic particles can flow like a simple Newtonian fluid, deform elastically like a solid or behave in a complex manner. When the internal constituents are active, as for biological entities, one generally observes complex large-scale collective motions. Phenomenology is further complicated by the invariable tendency of fluids to display chaos at the large scales or when stirred strongly enough. This volume presents several research topics that address these phenomena encompassing the traditional micro-, meso-, and macro-scales descriptions, and contributes to our understanding of the fundamentals of flowing matter.
Flow and transport processes with complex obstructions : Applications to cities, vegetative canopies and industry
The NATO Advanced Study Institute “Flow and Transport Processes in Complex - structed Geometries: from cities and vegetative canopies to engineering problems” was held in Kyiv, Ukraine in the period of May 4 - 15, 2004. This book based on the papers presented there provides an overview of this new area in ?uid mechanics and its app- cations that have developed over the past three decades. The subject, whose origins lie both in theory and in practice, is now rapidly developing in many directions. The focus of applied ?uid mechanics research has steadily been shifting from - gineering to environmental applications.
Flow and transport in fractured porous media
This book addresses the characterization of flow and transport in porous fractured media from experimental and modeling perspectives. The volume explores porous media problems, from the origin of the present natural porous structures, to their characterization, and various flow and transport phenomena that exist within the porous media. Examples are miscible displacements in porous media and fractured rock and the physical and chemical interactions within porous fractured aquifers. The book is a comprehensive presentation of investigations performed and analysed on different scales, supporting the understanding and application of experimental studies and numerical simulations.
Flood Risk Management in Europe : Innovation in Policy and Practice
This valuable edition brings together 26 peer reviewed articles on technical, socio-economic, environmental and policy aspects of flood risk management. These articles contribute to the five sections with the general themes: i) flood risk management practice, ii) flood events and impacts, iii) flood analysis and modelling iv) flood forecasting and v) flood risk management policy. Some emerging technologies are presented and several future challenges are identified.
Finite element methods : Parallel-sparse statics and Eigen-Solutions
FEM, and the associated computer software are widely recognized as some of the most effective tools for solutions of large-scale engineering applications. Efficient equation and eigen-solvers play critical roles in solving these problems. Sparse matrix technologies have evolved and are now mature enough that all popular and commercialized FEM codes have inserted sparse solvers into their software. So far, however, few books include detailed discussion and explanation of sparse equation-solvers and Lanczos domain decomposition (DD) or finite element formulation for parallel computing purposes. The material in Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions has evolved over the past several years from the author's research work and his graduate courses.
Financing clean energy access in Sub-Saharan Africa : Risk mitigation strategies and innovative financing structures
This book analyses barriers and challenges associated with the financing of clean energy access in sub-Saharan Africa. By considering various economic, financial, political, environmental and social factors, it explores the consequences of energy poverty across the region and maps the real and perceived investment risks for potential capital providers, both domestic and international. Furthermore, it analyses risk mitigation strategies and innovative financing structures available to the public and private sectors, which are aimed at leveraging capital in the clean energy sector at scale and fostering the creation of an enabling business and investment environment.
Financial management for technology start-ups : How to power growth, track performance and drive innovation
Develops the financial intelligence you need to communicate effectively with investors, implement business strategies and pinpoint emerging pathways for profit / Outlines how to analyze your performance and undertake risk-return assessments to tactically grow your start-up / Offers proven methods for tracking your start-up's progress to ensure that growth is maintained and continuous / Analysis of financial statements directly from start-ups, new case studies on companies that have scaled up, focus on new digital technologies and market opportunities for start-ups, information on new players and potential future tech start-ups
Field Measurements for Forest Carbon Monitoring : A Landscape-Scale Approach
This volume is a comprehensive guide to the methods and techniques employed in forest carbon inventory and monitoring. Since forest carbon research is interdisciplinary, it is unlikely that any one investigator will possess expertise in all of the types of measurements needed to conduct forest carbon research at scales larger than a forest stand. Techniques used to characterize standing stocks of carbon in a forest, measure key carbon fluxes, and collect related data (such as forest canopy nitrogen concentrations and meteorological measurements) that are required to drive process models, develop predictive relationships, and link to remote sensing data are described in detail. In addition to the measurement methods, the chapters include background information, necessary calculations, and equipment requirements.
Feminist and LGBTI+ activism across Russia, Scandinavia and Turkey : Transnationalizing spaces of resistance
What do struggles for women’s and LGBTI+ rights in Russia, Turkey and the Scandinavian countries have in common? And what can actors who struggle for rights and justice in these contexts learn from each other? Based on a multisited ethnography of feminist and LGBTI+ activisms across Russia, Turkey and the Scandinavian countries, this Open Access book explores transnational struggles on various levels, from the micro-scale of the everyday to large-scale, spectacular events. Drawing on ethnographic insights and encounters from various sites, this book conceptualizes resistance as situated in the grey zone between barely perceptible, even hidden or covert, forms of mundane activist practices and highly visible street protests, gathering large crowds. Taking the reader beyond the dichotomies of visible/invisible and public/private, this book advances new understandings of resistance, solidarity, and activism in transnationalizing feminist and queer struggles, illustrated by rich ethnographic case studies from Russia, Scandinavia and Turkey.
Federation over the Web ; International Workshop, Dagstuhl Castle, Germany, May 1-6, 2005, Revised Selected Papers
The lives of people all around the world, especially in industrialized nations, continue to be changed by the presence and growth of the Internet. Its in?uence is felt at scales ranging from private lifestyles to national economies, boosting thepaceatwhichmoderninformationandcommunicationtechnologiesin?uence personal choices along with business processes and scienti?c endeavors. In addition to its billions of HTML pages, the Web can now be seen as an open repository of computing resources. These resources provide access to computational services as well as data repositories, through a rapidly growing variety of Web applications and Web services.
Facelets Essentials : Guide to JavaServer™ Faces View Definition Framework
Facelets is a templating language developed from the ground up with JavaServer Faces in mind. Created in response to the many concerns involving JavaServer Pages (JSP) when building JavaServer Faces (JSF) views, Facelets steps outside of the JSP specification and provides a highly performant, JSF–centric view technology. Facelets' top properties, templating, reuse, and ease of development, allow it to help making JSF a technology suitable for large–scale projects. One of the first things a developer using Facelets finds is that it immediately leads to a reduction in user interface code.
Extreme Financial Risks : From Dependence to Risk Management
Portfolio analysis and optimization, together with the associated risk assessment and management, require knowledge of the likely distributions of returns at different time scales and insights into the nature and properties of dependences between the different assets. This book offers an original and thorough treatment of these two domains, focusing mainly on the concepts and tools that remain valid for large and extreme price moves. Strong emphasis is placed on the theory of copulas and their empirical testing and calibration, because they offer intrinsic and complete measures of dependences.
Extragalactic Astronomy and Cosmology : An Introduction
This textbook introduces the astronomy of galaxies, their structure, their active galactic nuclei, their evolution and their large scale distribution. Starting with a detailed description of our Milky Way, the book examines the formation of structures and astronomical objects in the early universe.
