تحسين النتائح
ترتيب حسب
من
الى
الصفحة 2
الصفحة 2
Ambient intelligence for scientific discovery : Foundations, theories, and systems
Many difficult scientific discovery tasks can only be solved in interactive ways, by combining intelligent computing techniques with intuitive and adaptive user interfaces. It is inevitable to use human intelligence in scientific discovery systems: human eyes can capture complex patterns and relationships, along with detecting the exceptional cases in a data set; the human brain can easily manipulate perceptions to make decisions. Ambient intelligence is about this kind of ubiquitous and autonomous human interaction with information. Scientific discovery is a process of creative perception and communication, dealing with questions like: how do we significantly reduce information while maintaining meaning, or how do we extract patterns from massive data and growing data resources. Originating from the SIGCHI Workshop on Ambient Intelligence for Scientific Discovery, this state-of-the-art survey is organized in three parts: new paradigms in scientific discovery, ambient cognition, and ambient intelligence systems. Many chapters share common features such as interaction, vision, language, and biomedicine.
Algorithmes dapproximation
Le champ des algorithmes d'approximation est aujourd'hui l'un des domaines de recherche les plus actifs en informatique. Il allie la profondeur de la théorie mathématique aux promesses d'applications pratiques d'un intérêt considérable. La plupart des problèmes issus d'applications relevant de domaines aussi différents que la conception de circuits VLSI, la conception et la planification de réseaux, l'ordonnancement, la théorie des jeux, la biologie ou la théorie des nombres, sont des problèmes NP-difficiles. Leur résolution exacte demanderait des ressources informatiques inaccessibles et ne peut donc être envisagée. Pour faire face à cette situation, un grand nombre d'algorithmes proposant des solutions approchées à ces problèmes ont été développés.
Advances in fuzzy logic systems
Fuzzy logic systems have been a hot topic in the scientific and academic community for more than half a century. The idea of making machines behave and make decisions like humans do is astounding. The development and implementation of fuzzy logic systems can be seen in various real physical applications in daily human life. The methods employed using fuzzy logic have resulted in innovative technologies. This book provides insights into understanding the principles and concepts behind the advances of fuzzy logic systems. It presents ideas concerning fuzzy logic systems and their technological applications. The book is arranged into two sections on theories and foundations of fuzzy logic systems and implementations of fuzzy logic systems in service to the community.
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.
100 years of relativity : Space-time structure - Einstein and beyond
Contains contributions from leading researchers, worldwide, who have thought deeply about the nature and consequences of this interplay. The articles take a long-range view of the subject and distill the most important advances in broad terms, making them easily accessible to non-specialists. The first part is devoted to a summary of how relativity theories were born (J Stachel). The second part discusses the most dramatic ramifications of general relativity, such as black holes (P Chrusciel and R Price), space-time singularities (H Nicolai and A Rendall), gravitational waves (P Laguna and P Saulson), the large scale structure of the cosmos (T Padmanabhan); experimental status of this theory (C Will) as well as its practical application to the GPS system (N Ashby). The last part looks beyond Einstein and provides glimpses into what is in store for us in the 21st century.
Bridge Launching
It is devoted to bridges that are built by incremental launching methods, using prestressed composite materials. It integrates the static, aesthetic, and economic aspects of construction techniques for building these state-of-the-art structures. Bridge launching is a comprehensive handbook, offering explanations of both the theoretical and technological aspects of the construction process. Both beam bridges and arch bridges are thoroughly analysed,and special theories aimed at optimising static aspects, as well as local phenomena, are developed.
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.
Analytical approaches for reinforced concrete
Applies deductive reasoning, logic and mathematics to RC. Laying out, deductively, the principles of RC, it encourages researchers to re-imagine and innovate using a solid conceptual framework. Sections consider the reasoning behind key theories, as well as problems that remain unsolved.
Market Entry Strategies in Eastern Europe in the Context of the European Union : An Empirical Research into German Firms Entering the Polish Market
The preparations for market entry in a foreign country include various aspects and are influenced by factors inside and outside the firm. Based on face to face interviews with decision makers of 16 German firms Michael Klug analyses the applied strategy and the motivation for market entry and investigates different strategy theories like Porter's market based view for their suitability to explain the firms' strategy abroad. The author discusses the operational design including forms of market presence and marketing mix to realise a chosen strategy and shows the influence of the European Union as an institutional arrangement for firms preparing a venture abroad.
Long-Run Growth Forecasting
Explores how to set up an empirical model that helps with forecasting long-term economic growth in a large number of countries. It offers a systematic approach to models of potential GDP that can also be used for forecasts of more than a decade. It is an attempt to fill the wide gap between the high demand for such models by commercial banks, international organizations, central banks and governments on the one hand and the limited supply on the other hand. Frequent forecast failures in the past (e.g. Japan 1990, Asia 1997) and the heavy economic losses they produced motivated the work. The book assesses the large number of different theories of economic growth, the drivers of economic growth, the available datasets and the empirical methods on offer. A preference is shown for evolutionary models and an augmented Kaldor model. The book uses non-stationary panel techniques to find pair-wise cointegration among GDP per capita and its main correlates such as physical capital, human capital and openness.
Knowledge management : Systems and processes in the AI era
Aimed at students and managers who seek detailed insights into contemporary knowledge management (KM). It explains the concepts, theories, and technologies that provide the foundation for knowledge management; the systems and structures that constitute KM solutions; and the processes for developing, deploying, and evaluating these KM solutions. It serves as a complete introduction to the subject of knowledge management, incorporating technical and social aspects, as well as concepts, practical examples, traditional KM approaches, and emerging topics. This third edition has been revised and expanded to include more coverage of emergent trends such as cloud computing, online communities, crowdsourcing and artificial intelligence.
Computational Aspects of General Equilibrium Theory : Refutable Theories of Value
This monograph presents a general equilibrium methodology for microeconomic policy analysis. It is intended to serve as an alternative to the now classical, axiomatic general equilibrium theory as exposited in Debreu`s Theory of Value (1959) or Arrow and Hahn`s General Competitive Analysis (1971). The methodology proposed in this monograph does not presume the existence of market equilibrium, accepts the inherent indeterminancy of nonparametric general equlibrium models, and offers effective algorithms for computing counterfactual equilibria in these models. It consists of several essays written over the last decade, some with colleagues or former graduate students, and an appendix by Charles Steinhorn on the elements of O-minimal structures, the mathematical framework for our analysis.
Big Data in Energy Economics
Combines energy economics and big data modeling analysis in energy conversion and management and comprehensively introduces the relevant theories, key technologies, and application examples of the smart energy economy. With the help of time series big data modeling results, energy economy managers develop reasonable and feasible pricing mechanisms of electricity price and improve the absorption capacity of the power grid. In addition, they also carry out scientific power equipment scheduling and cost–benefit analysis according to the results of data mining, so as to avoid the loss caused by accidental damage of equipment. Energy users adjust their power consumption behavior through the modeling results provided and achieve the effect of energy saving and emission reduction while reasonably reducing the electricity expenditure.
Beyond Safety Training : Embedding Safety in Professional Skills
Investigates why, despite more and more resources devoted to safety training, expectations are not entirely met, particularly in the industrial sectors that have already achieved a high safety level. It not only reflects the most precious viewpoints of experts from different disciplines, different countries, with experiences in various industrial fields at the cutting edge of theories and practices in terms of safety, professionalization and their relationships. It also consolidates the positioning of the Foundation for an Industrial Safety Culture, highlighting what is currently considered at stake in terms of safety training, taking into account the system of constraints the different stakeholders are submitted to. It reports some success stories as well as elements which could explain the observed plateau in terms of outcome. It identifies some levers for evolution for at-risk industry and outlines a possible research agenda to go further with experimental solutions.
Asset prices, booms and recessions : Financial economics from a dynamic perspective
Studies the interaction of the financial market, economic activity and the macroeconomy from a dynamic perspective. The financial market to be studied here encompasses the money and bond market, credit market, stock market and foreign exchange market. Economic activity is described by the activity of firms, banks, households, governments and countries. The book shows how economic activity affects asset prices and the financial market and how asset prices and financial market volatility feed back to economic activity. The focus in this book is on theories, dynamic models and empirical evidence.
Advertising management : Concepts, theories, research and trends
Explores the concept of advertising and the different ways advertising is understood and evaluated. It dives deep into planning, designing, and executing advertising campaigns on different mediums. It discusses the theoretical and research parts of advertising by critically examining how over the years various hierarchical models and theories are developed by advertising experts. It examines various models and theories that explain why and how advertising is successful in persuading customers target audiences to buy a product or accept an idea for behavioural change.
Advertising culture and translation : From colonial to global
A first comprehensive study combining and integrating advertising, culture and translation within the framework of colonial, Commonwealth, and postcolonial studies, and globalization. It addresses a number of controversial issues evident in two relatively young disciplines, as a result of decades of research and teaching in university courses. A cross-cultural approach to translational issues and the translatability of advertising cohesively is adopted here, exploring the dynamics of the conflict between the 'centre' and the 'periphery'. It introduces the concept of advertising English as lingua franca (AELF), marking new trends in the domain of varieties of English around the world (VEAW). The data examined here show the ambivalent polarity conditioning advertising and translation: both have been mutually exclusive, and both have been subject to bans, censorship and ideological control, racism, propaganda, and stereotyping. In their fundamental principles and concepts of theories and applications, however, neither discipline cannot exist outside a free market and total freedom of expression and trust
Advances in mathematical economics ; Vol. 9
A lot of economic problems can formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories. The series is designed to bring together those mathematicians who were seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking for effective mathematical tools for their researchers.
Advances in mathematical economics ; Vol. 8
The series is designed to bring together those mathematicians who were seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking for effective mathematical tools for their researchers.
Advances in mathematical economics ; Vol. 7
A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying economists with indispensable machineries for these problems arising in economic theory. Conversely, mathematicians have been stimulated by various mathematical difficulties raised by economic theories.
