Kirjojen hintavertailu. Mukana 11 244 527 kirjaa ja 12 kauppaa.
Kirja.info

Kirjahaku

Etsi kirjoja tekijän nimen, kirjan nimen tai ISBN:n perusteella.

871 tulosta hakusanalla Chao Wang

Domain-Specific Computer Architectures for Emerging Applications

Domain-Specific Computer Architectures for Emerging Applications

Chao Wang

TAYLOR FRANCIS LTD
2024
sidottu
With the end of Moore’s Law, domain-specific architecture (DSA) has become a crucial mode of implementing future computing architectures. This book discusses the system-level design methodology of DSAs and their applications, providing a unified design process that guarantees functionality, performance, energy efficiency, and real-time responsiveness for the target application.DSAs often start from domain-specific algorithms or applications, analyzing the characteristics of algorithmic applications, such as computation, memory access, and communication, and proposing the heterogeneous accelerator architecture suitable for that particular application. This book places particular focus on accelerator hardware platforms and distributed systems for various novel applications, such as machine learning, data mining, neural networks, and graph algorithms, and also covers RISC-V open-source instruction sets. It briefly describes the system design methodology based on DSAs and presents the latest research results in academia around domain-specific acceleration architectures.Providing cutting-edge discussion of big data and artificial intelligence scenarios in contemporary industry and typical DSA applications, this book appeals to industry professionals as well as academicians researching the future of computing in these areas.
Vertaile hintoja
Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Chao Wang; Gary D. Hachtel; Fabio Somenzi

Springer-Verlag New York Inc.
2006
sidottu
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
Vertaile hintoja
Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking

Chao Wang; Gary D. Hachtel; Fabio Somenzi

Springer-Verlag New York Inc.
2014
nidottu
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
Vertaile hintoja
Theory of Translation Closedness for Time Scales

Theory of Translation Closedness for Time Scales

Chao Wang; Ravi P. Agarwal; Donal O' Regan; Rathinasamy Sakthivel

Springer Nature Switzerland AG
2020
sidottu
This monograph establishes a theory of classification and translation closedness of time scales, a topic that was first studied by S. Hilger in 1988 to unify continuous and discrete analysis. The authors develop a theory of translation function on time scales that contains (piecewise) almost periodic functions, (piecewise) almost automorphic functions and their related generalization functions (e.g., pseudo almost periodic functions, weighted pseudo almost automorphic functions, and more). Against the background of dynamic equations, these function theories on time scales are applied to study the dynamical behavior of solutions for various types of dynamic equations on hybrid domains, including evolution equations, discontinuous equations and impulsive integro-differential equations.The theory presented allows many useful applications, such as in the Nicholson`s blowfiles model; the Lasota-Wazewska model; the Keynesian-Cross model; in those realistic dynamical models with a more complex hibrid domain, considered under different types of translation closedness of time scales; and in dynamic equations on mathematical models which cover neural networks. This book provides readers with the theoretical background necessary for accurate mathematical modeling in physics, chemical technology, population dynamics, biotechnology and economics, neural networks, and social sciences.
Vertaile hintoja
Theory of Translation Closedness for Time Scales

Theory of Translation Closedness for Time Scales

Chao Wang; Ravi P. Agarwal; Donal O' Regan; Rathinasamy Sakthivel

Springer Nature Switzerland AG
2021
nidottu
This monograph establishes a theory of classification and translation closedness of time scales, a topic that was first studied by S. Hilger in 1988 to unify continuous and discrete analysis. The authors develop a theory of translation function on time scales that contains (piecewise) almost periodic functions, (piecewise) almost automorphic functions and their related generalization functions (e.g., pseudo almost periodic functions, weighted pseudo almost automorphic functions, and more). Against the background of dynamic equations, these function theories on time scales are applied to study the dynamical behavior of solutions for various types of dynamic equations on hybrid domains, including evolution equations, discontinuous equations and impulsive integro-differential equations.The theory presented allows many useful applications, such as in the Nicholson`s blowfiles model; the Lasota-Wazewska model; the Keynesian-Cross model; in those realistic dynamical models with a more complex hibrid domain, considered under different types of translation closedness of time scales; and in dynamic equations on mathematical models which cover neural networks. This book provides readers with the theoretical background necessary for accurate mathematical modeling in physics, chemical technology, population dynamics, biotechnology and economics, neural networks, and social sciences.
Vertaile hintoja
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

Chao Wang; Ravi P. Agarwal

Springer International Publishing AG
2022
sidottu
This book systematically establishes the almost periodic theory of dynamic equations and presents applications on time scales in fuzzy mathematics and uncertainty theory. The authors introduce a new division of fuzzy vectors depending on a determinant algorithm and develop a theory of almost periodic fuzzy multidimensional dynamic systems on time scales. Several applications are studied; in particular, a new type of fuzzy dynamic systems called fuzzy q-dynamic systems (i.e. fuzzy quantum dynamic systems) is presented. The results are not only effective on classical fuzzy dynamic systems, including their continuous and discrete situations, but are also valid for other fuzzy multidimensional dynamic systems on various hybrid domains. In an effort to achieve more accurate analysis in real world applications, the authors propose a number of uncertain factors in the theory. As such, fuzzy dynamical models, interval-valued functions, differential equations, fuzzy-valued differential equations, and their applications to dynamic equations on time scales are considered.
Vertaile hintoja
Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

Chao Wang; Ravi P. Agarwal

Springer International Publishing AG
2023
nidottu
This book systematically establishes the almost periodic theory of dynamic equations and presents applications on time scales in fuzzy mathematics and uncertainty theory. The authors introduce a new division of fuzzy vectors depending on a determinant algorithm and develop a theory of almost periodic fuzzy multidimensional dynamic systems on time scales. Several applications are studied; in particular, a new type of fuzzy dynamic systems called fuzzy q-dynamic systems (i.e. fuzzy quantum dynamic systems) is presented. The results are not only effective on classical fuzzy dynamic systems, including their continuous and discrete situations, but are also valid for other fuzzy multidimensional dynamic systems on various hybrid domains. In an effort to achieve more accurate analysis in real world applications, the authors propose a number of uncertain factors in the theory. As such, fuzzy dynamical models, interval-valued functions, differential equations, fuzzy-valued differential equations, and their applications to dynamic equations on time scales are considered.
Vertaile hintoja
Combined Measure and Shift Invariance Theory of Time Scales and Applications

Combined Measure and Shift Invariance Theory of Time Scales and Applications

Chao Wang; Ravi P. Agarwal

Springer International Publishing AG
2022
sidottu
This monograph is devoted to developing a theory of combined measure and shift invariance of time scales with the related applications to shift functions and dynamic equations. The study of shift closeness of time scales is significant to investigate the shift functions such as the periodic functions, the almost periodic functions, the almost automorphic functions, and their generalizations with many relevant applications in dynamic equations on arbitrary time scales.First proposed by S. Hilger, the time scale theory—a unified view of continuous and discrete analysis—has been widely used to study various classes of dynamic equations and models in real-world applications. Measure theory based on time scales, in its turn, is of great power in analyzing functions on time scales or hybrid domains. As a new and exciting type of mathematics—and more comprehensive and versatile than the traditional theories of differential and difference equations—, the time scale theory can precisely depict the continuous-discrete hybrid processes and is an optimal way forward for accurate mathematical modeling in applied sciences such as physics, chemical technology, population dynamics, biotechnology, and economics and social sciences.Graduate students and researchers specializing in general dynamic equations on time scales can benefit from this work, fostering interest and further research in the field. It can also serve as reference material for undergraduates interested in dynamic equations on time scales. Prerequisites include familiarity with functional analysis, measure theory, and ordinary differential equations.
Vertaile hintoja
Combined Measure and Shift Invariance Theory of Time Scales and Applications

Combined Measure and Shift Invariance Theory of Time Scales and Applications

Chao Wang; Ravi P. Agarwal

Springer International Publishing AG
2023
nidottu
This monograph is devoted to developing a theory of combined measure and shift invariance of time scales with the related applications to shift functions and dynamic equations. The study of shift closeness of time scales is significant to investigate the shift functions such as the periodic functions, the almost periodic functions, the almost automorphic functions, and their generalizations with many relevant applications in dynamic equations on arbitrary time scales.First proposed by S. Hilger, the time scale theory—a unified view of continuous and discrete analysis—has been widely used to study various classes of dynamic equations and models in real-world applications. Measure theory based on time scales, in its turn, is of great power in analyzing functions on time scales or hybrid domains. As a new and exciting type of mathematics—and more comprehensive and versatile than the traditional theories of differential and difference equations—, the time scale theory can precisely depict the continuous-discrete hybrid processes and is an optimal way forward for accurate mathematical modeling in applied sciences such as physics, chemical technology, population dynamics, biotechnology, and economics and social sciences.Graduate students and researchers specializing in general dynamic equations on time scales can benefit from this work, fostering interest and further research in the field. It can also serve as reference material for undergraduates interested in dynamic equations on time scales. Prerequisites include familiarity with functional analysis, measure theory, and ordinary differential equations.
Vertaile hintoja
Computational Advertising

Computational Advertising

Peng Liu; Chao Wang

CRC Press
2020
sidottu
This book introduces computational advertising, and Internet monetization. It provides a macroscopic understanding of how consumer products in the Internet era push user experience and monetization to the limit. Part One of the book focuses on the basic problems and background knowledge of online advertising. Part Two targets the product, operations, and sales staff, as well as high-level decision makers of the Internet products. It explains the market structure, trading models, and the main products in computational advertising. Part Three targets systems, algorithms, and architects, and focuses on the key technical challenges of different advertising products.Features· Introduces computational advertising and Internet monetization· Covers data processing, utilization, and trading· Uses business logic as the driving force to explain online advertising products and technology advancement· Explores the products and the technologies of computational advertising, to provide insights on the realization of personalization systems, constrained optimization, data monetization and trading, and other practical industry problems· Includes case studies and code snippets
Vertaile hintoja
Computational Advertising

Computational Advertising

Peng Liu; Chao Wang

TAYLOR FRANCIS LTD
2021
nidottu
This book introduces computational advertising, and Internet monetization. It provides a macroscopic understanding of how consumer products in the Internet era push user experience and monetization to the limit. Part One of the book focuses on the basic problems and background knowledge of online advertising. Part Two targets the product, operations, and sales staff, as well as high-level decision makers of the Internet products. It explains the market structure, trading models, and the main products in computational advertising. Part Three targets systems, algorithms, and architects, and focuses on the key technical challenges of different advertising products.Features· Introduces computational advertising and Internet monetization· Covers data processing, utilization, and trading· Uses business logic as the driving force to explain online advertising products and technology advancement· Explores the products and the technologies of computational advertising, to provide insights on the realization of personalization systems, constrained optimization, data monetization and trading, and other practical industry problems· Includes case studies and code snippets
Vertaile hintoja
Synthetic Gene Network

Synthetic Gene Network

Bor-Sen Chen; Yu-Chao Wang

CRC Press Inc
2014
sidottu
This book develops a rational design and systematic approach to construct a gene network with desired behaviors. In order to achieve this goal, the registry of standard biological parts and experimental techniques are introduced at first. Then these biological components are characterized by a standard modeling method and collected in the component libraries, which can be efficiently reused in engineering synthetic gene networks. Based on the system theory, some design specifications are provided to engineer the synthetic gene networks to robustly track the desired trajectory by employing the component libraries.
Vertaile hintoja
123...44