Resultado de la búsqueda
133 búsqueda de la palabra clave 'Computers'



Título : Parallel Scientific Computing and Optimization : Advances and Applications Tipo de documento: documento electrónico Autores: Raimondas Ciegis ; SpringerLink (Online service) ; David Henty ; Bo Kågström ; Julius Žilinskas Editorial: New York, NY : Springer New York Fecha de publicación: 2009 Colección: Springer Optimization and Its Applications, ISSN 1931-6828 num. 27 Número de páginas: XXIV, 274 p Il.: online resource ISBN/ISSN/DL: 978-0-387-09707-7 Idioma : Inglés (eng) Palabras clave: Mathematics Operations research Decision making Computers Matrix theory Algebra Management science Probabilities Probability Theory and Stochastic Processes of Computation Operation Research/Decision Research, Science Computing Methodologies Linear Multilinear Algebras, Clasificación: 51 Matemáticas Resumen: Parallel Scientific Computing and Optimization introduces new developments in the construction, analysis, and implementation of parallel computing algorithms. This book presents 23 self-contained chapters, including surveys, written by distinguished researchers in the field of parallel computing. Each chapter is devoted to some aspects of the subject: parallel algorithms for matrix computations, parallel optimization, management of parallel programming models and data, with the largest focus on parallel scientific computing in industrial applications. Key features include: * construction and analysis of parallel algorithms for linear algebra and optimization problems; * different aspects of parallel architectures, including distributed memory computers with multicore processors; * a wide range of industrial applications: parallel simulation of flows through oil filters as well as in porous and gas media, jet aerodynamics, heat conduction in electrical cables, nonlinear optics processes in tapered lasers, and molecular and cell dynamics. This volume is intended for scientists and graduate students specializing in computer science and applied mathematics who are engaged in parallel scientific computing Nota de contenido: Parallel Algorithms for Matrix Computations -- RECSY and SCASY Library Software: Recursive Blocked and Parallel Algorithms for Sylvester-Type Matrix Equations with Some Applications -- Parallelization of Linear Algebra Algorithms Using ParSol Library of Mathematical Objects -- The Development of an Object-Oriented Parallel Block Preconditioning Framework -- A Sparse Linear System Solver Used in a Distributed and Heterogenous Grid Computing Environment -- Parallel Diagonalization Performance on High-Performance Computers -- Parallel Optimization -- Parallel Global Optimization in Multidimensional Scaling -- High-Performance Parallel Support Vector Machine Training -- Parallel Branch and Bound Algorithm with Combination of Lipschitz Bounds over Multidimensional Simplices for Multicore Computers -- Experimental Investigation of Local Searches for Optimization of Grillage-Type Foundations -- Management of Parallel Programming Models and Data -- Comparison of the UK National Supercomputer Services: HPCx and HECToR -- DL_POLY_3 I/O: Analysis, Alternatives, and Future Strategies -- Mixed Mode Programming on HPCx -- A Structure Conveying Parallelizable Modeling Language for Mathematical Programming -- Computational Requirements for Pulsar Searches with the Square Kilometer Array -- Parallel Scientific Computing in Industrial Applications -- Parallel Multiblock Multigrid Algorithms for Poroelastic Models -- A Parallel Solver for the 3D Simulation of Flows Through Oil Filters -- High-Performance Computing in Jet Aerodynamics -- Parallel Numerical Solver for the Simulation of the Heat Conduction in Electrical Cables -- Orthogonalization Procedure for Antisymmetrization of J-shell States -- Parallel Direct Numerical Simulation of an Annular Gas–Liquid Two-Phase Jet with Swirl -- Parallel Numerical Algorithm for the Traveling Wave Model -- Parallel Algorithm for Cell Dynamics Simulation of Soft Nano-Structured Matter -- Docking and Molecular Dynamics Simulation of Complexes of High and Low Reactive Substrates with Peroxidases En línea: http://dx.doi.org/10.1007/978-0-387-09707-7 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=33829 Parallel Scientific Computing and Optimization : Advances and Applications [documento electrónico] / Raimondas Ciegis ; SpringerLink (Online service) ; David Henty ; Bo Kågström ; Julius Žilinskas . - New York, NY : Springer New York, 2009 . - XXIV, 274 p : online resource. - (Springer Optimization and Its Applications, ISSN 1931-6828; 27) .
ISBN : 978-0-387-09707-7
Idioma : Inglés (eng)
Palabras clave: Mathematics Operations research Decision making Computers Matrix theory Algebra Management science Probabilities Probability Theory and Stochastic Processes of Computation Operation Research/Decision Research, Science Computing Methodologies Linear Multilinear Algebras, Clasificación: 51 Matemáticas Resumen: Parallel Scientific Computing and Optimization introduces new developments in the construction, analysis, and implementation of parallel computing algorithms. This book presents 23 self-contained chapters, including surveys, written by distinguished researchers in the field of parallel computing. Each chapter is devoted to some aspects of the subject: parallel algorithms for matrix computations, parallel optimization, management of parallel programming models and data, with the largest focus on parallel scientific computing in industrial applications. Key features include: * construction and analysis of parallel algorithms for linear algebra and optimization problems; * different aspects of parallel architectures, including distributed memory computers with multicore processors; * a wide range of industrial applications: parallel simulation of flows through oil filters as well as in porous and gas media, jet aerodynamics, heat conduction in electrical cables, nonlinear optics processes in tapered lasers, and molecular and cell dynamics. This volume is intended for scientists and graduate students specializing in computer science and applied mathematics who are engaged in parallel scientific computing Nota de contenido: Parallel Algorithms for Matrix Computations -- RECSY and SCASY Library Software: Recursive Blocked and Parallel Algorithms for Sylvester-Type Matrix Equations with Some Applications -- Parallelization of Linear Algebra Algorithms Using ParSol Library of Mathematical Objects -- The Development of an Object-Oriented Parallel Block Preconditioning Framework -- A Sparse Linear System Solver Used in a Distributed and Heterogenous Grid Computing Environment -- Parallel Diagonalization Performance on High-Performance Computers -- Parallel Optimization -- Parallel Global Optimization in Multidimensional Scaling -- High-Performance Parallel Support Vector Machine Training -- Parallel Branch and Bound Algorithm with Combination of Lipschitz Bounds over Multidimensional Simplices for Multicore Computers -- Experimental Investigation of Local Searches for Optimization of Grillage-Type Foundations -- Management of Parallel Programming Models and Data -- Comparison of the UK National Supercomputer Services: HPCx and HECToR -- DL_POLY_3 I/O: Analysis, Alternatives, and Future Strategies -- Mixed Mode Programming on HPCx -- A Structure Conveying Parallelizable Modeling Language for Mathematical Programming -- Computational Requirements for Pulsar Searches with the Square Kilometer Array -- Parallel Scientific Computing in Industrial Applications -- Parallel Multiblock Multigrid Algorithms for Poroelastic Models -- A Parallel Solver for the 3D Simulation of Flows Through Oil Filters -- High-Performance Computing in Jet Aerodynamics -- Parallel Numerical Solver for the Simulation of the Heat Conduction in Electrical Cables -- Orthogonalization Procedure for Antisymmetrization of J-shell States -- Parallel Direct Numerical Simulation of an Annular Gas–Liquid Two-Phase Jet with Swirl -- Parallel Numerical Algorithm for the Traveling Wave Model -- Parallel Algorithm for Cell Dynamics Simulation of Soft Nano-Structured Matter -- Docking and Molecular Dynamics Simulation of Complexes of High and Low Reactive Substrates with Peroxidases En línea: http://dx.doi.org/10.1007/978-0-387-09707-7 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=33829 Ejemplares
Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar Post-Quantum Cryptography / SpringerLink (Online service) ; Daniel J. Bernstein ; Johannes Buchmann ; Erik Dahmen (2009)
![]()
Título : Post-Quantum Cryptography Tipo de documento: documento electrónico Autores: SpringerLink (Online service) ; Daniel J. Bernstein ; Johannes Buchmann ; Erik Dahmen Editorial: Berlin, Heidelberg : Springer Berlin Heidelberg Fecha de publicación: 2009 Número de páginas: X, 246 p Il.: online resource ISBN/ISSN/DL: 978-3-540-88702-7 Idioma : Inglés (eng) Palabras clave: Mathematics Data encryption (Computer science) Computers Computer science Number theory Applied mathematics Engineering Theory Encryption of Computing Computation Appl.Mathematics/Computational Methods Clasificación: 51 Matemáticas Resumen: Quantum computers will break today's most popular public-key cryptographic systems, including RSA, DSA, and ECDSA. This book introduces the reader to the next generation of cryptographic algorithms, the systems that resist quantum-computer attacks: in particular, post-quantum public-key encryption systems and post-quantum public-key signature systems. Leading experts have joined forces for the first time to explain the state of the art in quantum computing, hash-based cryptography, code-based cryptography, lattice-based cryptography, and multivariate cryptography. Mathematical foundations and implementation issues are included. This book is an essential resource for students and researchers who want to contribute to the field of post-quantum cryptography Nota de contenido: to post-quantum cryptography -- Quantum computing -- Hash-based Digital Signature Schemes -- Code-based cryptography -- Lattice-based Cryptography -- Multivariate Public Key Cryptography En línea: http://dx.doi.org/10.1007/978-3-540-88702-7 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34045 Post-Quantum Cryptography [documento electrónico] / SpringerLink (Online service) ; Daniel J. Bernstein ; Johannes Buchmann ; Erik Dahmen . - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009 . - X, 246 p : online resource.
ISBN : 978-3-540-88702-7
Idioma : Inglés (eng)
Palabras clave: Mathematics Data encryption (Computer science) Computers Computer science Number theory Applied mathematics Engineering Theory Encryption of Computing Computation Appl.Mathematics/Computational Methods Clasificación: 51 Matemáticas Resumen: Quantum computers will break today's most popular public-key cryptographic systems, including RSA, DSA, and ECDSA. This book introduces the reader to the next generation of cryptographic algorithms, the systems that resist quantum-computer attacks: in particular, post-quantum public-key encryption systems and post-quantum public-key signature systems. Leading experts have joined forces for the first time to explain the state of the art in quantum computing, hash-based cryptography, code-based cryptography, lattice-based cryptography, and multivariate cryptography. Mathematical foundations and implementation issues are included. This book is an essential resource for students and researchers who want to contribute to the field of post-quantum cryptography Nota de contenido: to post-quantum cryptography -- Quantum computing -- Hash-based Digital Signature Schemes -- Code-based cryptography -- Lattice-based Cryptography -- Multivariate Public Key Cryptography En línea: http://dx.doi.org/10.1007/978-3-540-88702-7 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34045 Ejemplares
Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar
Título : Instruction Sequences for Computer Science Tipo de documento: documento electrónico Autores: Jan A. Bergstra ; SpringerLink (Online service) ; Cornelis A. Middelburg Editorial: Paris : Atlantis Press Fecha de publicación: 2012 Colección: Atlantis Studies in Computing, ISSN 2212-8557 num. 2 Número de páginas: XVI, 232 p Il.: online resource ISBN/ISSN/DL: 978-94-91216-65-7 Idioma : Inglés (eng) Palabras clave: Computer science organization Programming languages (Electronic computers) Computers logic Mathematical Science Computation by Abstract Devices Logics and Meanings of Programs Logic Formal Languages Languages, Compilers, Interpreters Systems Organization Communication Networks Clasificación: 51 Matemáticas Resumen: This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean circuits. The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all Nota de contenido: Introduction -- Instruction Sequences -- Instruction Processing -- Expressiveness of Instruction Sequences -- Computation-Theoretic Issues -- Computer-Architectural Issues -- Instruction Sequences and Process Algebra -- Variations on a Theme -- Appendix A: Five Challenges for Projectionism -- Appendix B: Natural Number Functional Units -- Appendix C: Dynamically Instantiated Instructions -- Appendix D: Analytic Execution Architectures En línea: http://dx.doi.org/10.2991/978-94-91216-65-7 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=33067 Instruction Sequences for Computer Science [documento electrónico] / Jan A. Bergstra ; SpringerLink (Online service) ; Cornelis A. Middelburg . - Paris : Atlantis Press, 2012 . - XVI, 232 p : online resource. - (Atlantis Studies in Computing, ISSN 2212-8557; 2) .
ISBN : 978-94-91216-65-7
Idioma : Inglés (eng)
Palabras clave: Computer science organization Programming languages (Electronic computers) Computers logic Mathematical Science Computation by Abstract Devices Logics and Meanings of Programs Logic Formal Languages Languages, Compilers, Interpreters Systems Organization Communication Networks Clasificación: 51 Matemáticas Resumen: This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously investigated in this book thinking in terms of instruction sequences. The subjects from the theory of computation, to wit the halting problem and non-uniform computational complexity, are usually investigated thinking in terms of a common model of computation such as Turing machines and Boolean circuits. The subjects from the area of computer architecture, to wit instruction sequence performance, instruction set architectures and remote instruction processing, are usually not investigated in a rigorous way at all Nota de contenido: Introduction -- Instruction Sequences -- Instruction Processing -- Expressiveness of Instruction Sequences -- Computation-Theoretic Issues -- Computer-Architectural Issues -- Instruction Sequences and Process Algebra -- Variations on a Theme -- Appendix A: Five Challenges for Projectionism -- Appendix B: Natural Number Functional Units -- Appendix C: Dynamically Instantiated Instructions -- Appendix D: Analytic Execution Architectures En línea: http://dx.doi.org/10.2991/978-94-91216-65-7 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=33067 Ejemplares
Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar Advances and New Trends in Environmental and Energy Informatics / Jorge Marx Gomez ; SpringerLink (Online service) ; Sonnenschein, Michael ; Ute Vogel ; Andreas Winter ; Rapp, Barbara ; Nils Giesen (2016)
![]()
Título : Advances and New Trends in Environmental and Energy Informatics : Selected and Extended Contributions from the 28th International Conference on Informatics for Environmental Protection Tipo de documento: documento electrónico Autores: Jorge Marx Gomez ; SpringerLink (Online service) ; Sonnenschein, Michael ; Ute Vogel ; Andreas Winter ; Rapp, Barbara ; Nils Giesen Editorial: Cham : Springer International Publishing Fecha de publicación: 2016 Otro editor: Imprint: Springer Colección: Progress in IS, ISSN 2196-8705 Número de páginas: XV, 391 p. 121 illus., 91 illus. in color Il.: online resource ISBN/ISSN/DL: 978-3-319-23455-7 Idioma : Inglés (eng) Palabras clave: Business Renewable energy resources Management information systems Computers sources Alternate Green industries Environmental management Sustainable development and Information Systems Communication Service Energy IT Infrastructure Development Clasificación: 658.17 Gastos ajenos a los de explotación, p. ej. para fomento de actividades culturales, sociales o políticas. Responsabilidad social corporativa Resumen: This book presents the latest findings and ongoing research in the field of green information systems and green information and communication technology (ICT). It provides insights into a whole range of cross-cutting topics in ICT and environmental sciences as well as showcases how information and communication technologies allow environmental and energy efficiency issues to be handled effectively. The papers presented in this book are a selection of extended and improved contributions to the 28th International Conference on Informatics for Environmental Protection dedicated to ICT for energy efficiency. This book is essential and particularly worth reading for those who already gained basic knowledge and want to deepen and extend their expertise in the subjects mentioned above Nota de contenido: Part I: Green IT -- Part II: From Smart Grids to Smart Homes -- Part III: Smart Transportion -- Part IV: Sustainable Enterprises and Management -- Part V: Environmental Decision Support -- Part VI: Social Media for Sustainability En línea: http://dx.doi.org/10.1007/978-3-319-23455-7 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=41527 Advances and New Trends in Environmental and Energy Informatics : Selected and Extended Contributions from the 28th International Conference on Informatics for Environmental Protection [documento electrónico] / Jorge Marx Gomez ; SpringerLink (Online service) ; Sonnenschein, Michael ; Ute Vogel ; Andreas Winter ; Rapp, Barbara ; Nils Giesen . - Cham : Springer International Publishing : Imprint: Springer, 2016 . - XV, 391 p. 121 illus., 91 illus. in color : online resource. - (Progress in IS, ISSN 2196-8705) .
ISBN : 978-3-319-23455-7
Idioma : Inglés (eng)
Palabras clave: Business Renewable energy resources Management information systems Computers sources Alternate Green industries Environmental management Sustainable development and Information Systems Communication Service Energy IT Infrastructure Development Clasificación: 658.17 Gastos ajenos a los de explotación, p. ej. para fomento de actividades culturales, sociales o políticas. Responsabilidad social corporativa Resumen: This book presents the latest findings and ongoing research in the field of green information systems and green information and communication technology (ICT). It provides insights into a whole range of cross-cutting topics in ICT and environmental sciences as well as showcases how information and communication technologies allow environmental and energy efficiency issues to be handled effectively. The papers presented in this book are a selection of extended and improved contributions to the 28th International Conference on Informatics for Environmental Protection dedicated to ICT for energy efficiency. This book is essential and particularly worth reading for those who already gained basic knowledge and want to deepen and extend their expertise in the subjects mentioned above Nota de contenido: Part I: Green IT -- Part II: From Smart Grids to Smart Homes -- Part III: Smart Transportion -- Part IV: Sustainable Enterprises and Management -- Part V: Environmental Decision Support -- Part VI: Social Media for Sustainability En línea: http://dx.doi.org/10.1007/978-3-319-23455-7 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=41527 Ejemplares
Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar Advances in Automatic Differentiation / SpringerLink (Online service) ; Christian H. Bischof ; H. Martin Bücker ; Paul Hovland ; Uwe Naumann ; Jean Utke (2008)
![]()
Título : Advances in Automatic Differentiation Tipo de documento: documento electrónico Autores: SpringerLink (Online service) ; Christian H. Bischof ; H. Martin Bücker ; Paul Hovland ; Uwe Naumann ; Jean Utke Editorial: Berlin, Heidelberg : Springer Berlin Heidelberg Fecha de publicación: 2008 Colección: Lecture Notes in Computational Science and Engineering, ISSN 1439-7358 num. 64 Número de páginas: XVIII, 368 p. 111 illus Il.: online resource ISBN/ISSN/DL: 978-3-540-68942-3 Idioma : Inglés (eng) Palabras clave: Mathematics Computers Computer science mathematics Mathematical optimization Electrical engineering Computational Science and Engineering Optimization Theory of Computation Numerical Analysis Computing Clasificación: 51 Matemáticas Resumen: This collection covers advances in automatic differentiation theory and practice. Computer scientists and mathematicians will learn about recent developments in automatic differentiation theory as well as mechanisms for the construction of robust and powerful automatic differentiation tools. Computational scientists and engineers will benefit from the discussion of various applications, which provide insight into effective strategies for using automatic differentiation for inverse problems and design optimization Nota de contenido: Reverse Automatic Differentiation of Linear Multistep Methods -- Call Tree Reversal is NP-Complete -- On Formal Certification of AD Transformations -- Collected Matrix Derivative Results for Forward and Reverse Mode Algorithmic Differentiation -- A Modification of Weeks’ Method for Numerical Inversion of the Laplace Transform in the Real Case Based on Automatic Differentiation -- A Low Rank Approach to Automatic Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming Language Theory to Make Automatic Differentiation Sound and Efficient -- A Polynomial-Time Algorithm for Detecting Directed Axial Symmetry in Hessian Computational Graphs -- On the Practical Exploitation of Scarsity -- Design and Implementation of a Context-Sensitive, Flow-Sensitive Activity Analysis Algorithm for Automatic Differentiation -- Efficient Higher-Order Derivatives of the Hypergeometric Function -- The Diamant Approach for an Efficient Automatic Differentiation of the Asymptotic Numerical Method -- Tangent-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse Mode Automatic Differentiation for OpenMP Programs with ADOL-C -- Adjoints for Time-Dependent Optimal Control -- Development and First Applications of TAC++ -- TAPENADE for C -- Coping with a Variable Number of Arguments when Transforming MATLAB Programs -- Code Optimization Techniques in Source Transformations for Interpreted Languages -- Automatic Sensitivity Analysis of DAE-systems Generated from Equation-Based Modeling Languages -- Index Determination in DAEs Using the Library indexdet and the ADOL-C Package for Algorithmic Differentiation -- Automatic Differentiation for GPU-Accelerated 2D/3D Registration -- Robust Aircraft Conceptual Design Using Automatic Differentiation in Matlab -- Toward Modular Multigrid Design Optimisation -- Large Electrical Power Systems Optimization Using Automatic Differentiation -- On the Application of Automatic Differentiation to the Likelihood Function for Dynamic General Equilibrium Models -- Combinatorial Computation with Automatic Differentiation -- Exploiting Sparsity in Jacobian Computation via Coloring and Automatic Differentiation: A Case Study in a Simulated Moving Bed Process -- Structure-Exploiting Automatic Differentiation of Finite Element Discretizations -- Large-Scale Transient Sensitivity Analysis of a Radiation-Damaged Bipolar Junction Transistor via Automatic Differentiation En línea: http://dx.doi.org/10.1007/978-3-540-68942-3 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34320 Advances in Automatic Differentiation [documento electrónico] / SpringerLink (Online service) ; Christian H. Bischof ; H. Martin Bücker ; Paul Hovland ; Uwe Naumann ; Jean Utke . - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 . - XVIII, 368 p. 111 illus : online resource. - (Lecture Notes in Computational Science and Engineering, ISSN 1439-7358; 64) .
ISBN : 978-3-540-68942-3
Idioma : Inglés (eng)
Palabras clave: Mathematics Computers Computer science mathematics Mathematical optimization Electrical engineering Computational Science and Engineering Optimization Theory of Computation Numerical Analysis Computing Clasificación: 51 Matemáticas Resumen: This collection covers advances in automatic differentiation theory and practice. Computer scientists and mathematicians will learn about recent developments in automatic differentiation theory as well as mechanisms for the construction of robust and powerful automatic differentiation tools. Computational scientists and engineers will benefit from the discussion of various applications, which provide insight into effective strategies for using automatic differentiation for inverse problems and design optimization Nota de contenido: Reverse Automatic Differentiation of Linear Multistep Methods -- Call Tree Reversal is NP-Complete -- On Formal Certification of AD Transformations -- Collected Matrix Derivative Results for Forward and Reverse Mode Algorithmic Differentiation -- A Modification of Weeks’ Method for Numerical Inversion of the Laplace Transform in the Real Case Based on Automatic Differentiation -- A Low Rank Approach to Automatic Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming Language Theory to Make Automatic Differentiation Sound and Efficient -- A Polynomial-Time Algorithm for Detecting Directed Axial Symmetry in Hessian Computational Graphs -- On the Practical Exploitation of Scarsity -- Design and Implementation of a Context-Sensitive, Flow-Sensitive Activity Analysis Algorithm for Automatic Differentiation -- Efficient Higher-Order Derivatives of the Hypergeometric Function -- The Diamant Approach for an Efficient Automatic Differentiation of the Asymptotic Numerical Method -- Tangent-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse Mode Automatic Differentiation for OpenMP Programs with ADOL-C -- Adjoints for Time-Dependent Optimal Control -- Development and First Applications of TAC++ -- TAPENADE for C -- Coping with a Variable Number of Arguments when Transforming MATLAB Programs -- Code Optimization Techniques in Source Transformations for Interpreted Languages -- Automatic Sensitivity Analysis of DAE-systems Generated from Equation-Based Modeling Languages -- Index Determination in DAEs Using the Library indexdet and the ADOL-C Package for Algorithmic Differentiation -- Automatic Differentiation for GPU-Accelerated 2D/3D Registration -- Robust Aircraft Conceptual Design Using Automatic Differentiation in Matlab -- Toward Modular Multigrid Design Optimisation -- Large Electrical Power Systems Optimization Using Automatic Differentiation -- On the Application of Automatic Differentiation to the Likelihood Function for Dynamic General Equilibrium Models -- Combinatorial Computation with Automatic Differentiation -- Exploiting Sparsity in Jacobian Computation via Coloring and Automatic Differentiation: A Case Study in a Simulated Moving Bed Process -- Structure-Exploiting Automatic Differentiation of Finite Element Discretizations -- Large-Scale Transient Sensitivity Analysis of a Radiation-Damaged Bipolar Junction Transistor via Automatic Differentiation En línea: http://dx.doi.org/10.1007/978-3-540-68942-3 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34320 Ejemplares
Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar Advances in Research Methods for Information Systems Research / SpringerLink (Online service) ; Osei-Bryson, Kweku-Muata ; Ojelanki Ngwenyama (2014)
![]()
PermalinkPermalinkPermalinkPermalinkPermalink