Resultado de la búsqueda
831 búsqueda de la palabra clave 'Computer'



Título : Computer Algebra Recipes : An Introductory Guide to the Mathematical Models of Science Tipo de documento: documento electrónico Autores: Richard H. Enns ; SpringerLink (Online service) ; George C. McGuire Editorial: New York, NY : Springer New York Fecha de publicación: 2006 Número de páginas: X, 430 p. 110 illus Il.: online resource ISBN/ISSN/DL: 978-0-387-31262-0 Idioma : Inglés (eng) Palabras clave: Mathematics Computer science simulation software Mathematical models Physics Applied mathematics Engineering Modeling and Industrial Symbolic Algebraic Manipulation Appl.Mathematics/Computational Methods of in Software Simulation Clasificación: 51 Matemáticas Resumen: Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students and researchers work through mathematical models more efficiently and with fewer errors than with pencil and paper, they can also easily explore, both analytically and numerically, more complex and computationally intensive models. Aimed at science and engineering undergraduates at the sophomore/junior level, this introductory guide to the mathematical models of science is filled with examples from a wide variety of disciplines, including biology, economics, medicine, engineering, game theory, mathematics, physics, and chemistry. The topics are organized into the Appetizers dealing with graphical aspects, the Entrees concentrating on symbolic computation, and the Desserts illustrating numerical simulation. The heart of the text is a large number of computer algebra recipes based on the Maple 10 software system. These have been designed not only to provide tools for problem solving, but also to stimulate the reader’s imagination. Associated with each recipe is a scientific model or method and an interesting or amusing story (accompanied with a thought-provoking quote) that leads the reader through the various steps of the recipe. This text is the first of two volumes. The advanced guide, aimed at junior/senior/graduate level students, deals with more advanced differential equation models Nota de contenido: The Appetizers -- The Pictures of Science -- Deriving Model Equations -- The Entrees -- Algebraic Models. Part I -- Algebraic Models. Part II -- Linear ODE Models -- Difference Equation Models -- The Desserts -- Monte Carlo Methods -- Fractal Patterns En línea: http://dx.doi.org/10.1007/0-387-31262-5 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34786 Computer Algebra Recipes : An Introductory Guide to the Mathematical Models of Science [documento electrónico] / Richard H. Enns ; SpringerLink (Online service) ; George C. McGuire . - New York, NY : Springer New York, 2006 . - X, 430 p. 110 illus : online resource.
ISBN : 978-0-387-31262-0
Idioma : Inglés (eng)
Palabras clave: Mathematics Computer science simulation software Mathematical models Physics Applied mathematics Engineering Modeling and Industrial Symbolic Algebraic Manipulation Appl.Mathematics/Computational Methods of in Software Simulation Clasificación: 51 Matemáticas Resumen: Computer algebra systems are revolutionizing the teaching, the learning, and the exploration of science. Not only can students and researchers work through mathematical models more efficiently and with fewer errors than with pencil and paper, they can also easily explore, both analytically and numerically, more complex and computationally intensive models. Aimed at science and engineering undergraduates at the sophomore/junior level, this introductory guide to the mathematical models of science is filled with examples from a wide variety of disciplines, including biology, economics, medicine, engineering, game theory, mathematics, physics, and chemistry. The topics are organized into the Appetizers dealing with graphical aspects, the Entrees concentrating on symbolic computation, and the Desserts illustrating numerical simulation. The heart of the text is a large number of computer algebra recipes based on the Maple 10 software system. These have been designed not only to provide tools for problem solving, but also to stimulate the reader’s imagination. Associated with each recipe is a scientific model or method and an interesting or amusing story (accompanied with a thought-provoking quote) that leads the reader through the various steps of the recipe. This text is the first of two volumes. The advanced guide, aimed at junior/senior/graduate level students, deals with more advanced differential equation models Nota de contenido: The Appetizers -- The Pictures of Science -- Deriving Model Equations -- The Entrees -- Algebraic Models. Part I -- Algebraic Models. Part II -- Linear ODE Models -- Difference Equation Models -- The Desserts -- Monte Carlo Methods -- Fractal Patterns En línea: http://dx.doi.org/10.1007/0-387-31262-5 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34786 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
Título : Computer Algebra Recipes : An Advanced Guide to Scientific Modeling Tipo de documento: documento electrónico Autores: Richard H. Enns ; SpringerLink (Online service) ; George C. McGuire Editorial: New York, NY : Springer New York Fecha de publicación: 2007 Número de páginas: X, 374 p. 110 illus Il.: online resource ISBN/ISSN/DL: 978-0-387-49333-6 Idioma : Inglés (eng) Palabras clave: Mathematics Computer science Algebra software Mathematical models Physics Applied mathematics Engineering Modeling and Industrial Symbolic Algebraic Manipulation Appl.Mathematics/Computational Methods of in Software Clasificación: 51 Matemáticas Resumen: Modern computer algebra systems are revolutionizing the teaching and learning of mathematically intensive subjects in science and engineering, enabling students to explore increasingly complex and computationally intensive models that provide analytic solutions, animated numerical solutions, and complex two- and three-dimensional graphic displays. This self-contained text benefits from a spiral structure that regularly revisits the general topics of graphics, symbolic computation, and numerical simulation with increasing intricacy at each turn. The text is built around a large number of computer algebra worksheets or "recipes" that have been designed using MAPLE to provide tools for problem solving and to stimulate critical thinking. No prior knowledge of MAPLE is assumed. All relevant commands are introduced on a need-to-know basis and are indexed for easy reference. Each recipe is associated with a scientific model or method and an interesting or amusing story designed to both entertain and enhance concept comprehension and retention. All recipes are included on the CD-ROM enclosed with the book. Aimed at third- and fourth-year undergraduates in science and engineering, the text contains numerous examples in disciplines that will challenge students progressing in mathematics, physics, engineering, game theory, and physical chemistry. Computer Algebra Recipes: An Advanced Guide to Mathematical Modeling can serve as an effective computational science text, with a set of problems following each section of recipes to enable readers to apply and confirm their understanding. The book may also be used as a reference, for self-study, or as the basis of an online course Nota de contenido: The Appetizers -- Phase-Plane Portraits -- Phase-Plane Analysis -- The Entrees -- Linear ODE Models -- Nonlinear ODE Models -- Linear PDE Models. Part 1 -- Linear PDE Models. Part 2 -- The Desserts -- The Hunt for Solitons -- Nonlinear Diagnostic Tools En línea: http://dx.doi.org/10.1007/978-0-387-49333-6 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34491 Computer Algebra Recipes : An Advanced Guide to Scientific Modeling [documento electrónico] / Richard H. Enns ; SpringerLink (Online service) ; George C. McGuire . - New York, NY : Springer New York, 2007 . - X, 374 p. 110 illus : online resource.
ISBN : 978-0-387-49333-6
Idioma : Inglés (eng)
Palabras clave: Mathematics Computer science Algebra software Mathematical models Physics Applied mathematics Engineering Modeling and Industrial Symbolic Algebraic Manipulation Appl.Mathematics/Computational Methods of in Software Clasificación: 51 Matemáticas Resumen: Modern computer algebra systems are revolutionizing the teaching and learning of mathematically intensive subjects in science and engineering, enabling students to explore increasingly complex and computationally intensive models that provide analytic solutions, animated numerical solutions, and complex two- and three-dimensional graphic displays. This self-contained text benefits from a spiral structure that regularly revisits the general topics of graphics, symbolic computation, and numerical simulation with increasing intricacy at each turn. The text is built around a large number of computer algebra worksheets or "recipes" that have been designed using MAPLE to provide tools for problem solving and to stimulate critical thinking. No prior knowledge of MAPLE is assumed. All relevant commands are introduced on a need-to-know basis and are indexed for easy reference. Each recipe is associated with a scientific model or method and an interesting or amusing story designed to both entertain and enhance concept comprehension and retention. All recipes are included on the CD-ROM enclosed with the book. Aimed at third- and fourth-year undergraduates in science and engineering, the text contains numerous examples in disciplines that will challenge students progressing in mathematics, physics, engineering, game theory, and physical chemistry. Computer Algebra Recipes: An Advanced Guide to Mathematical Modeling can serve as an effective computational science text, with a set of problems following each section of recipes to enable readers to apply and confirm their understanding. The book may also be used as a reference, for self-study, or as the basis of an online course Nota de contenido: The Appetizers -- Phase-Plane Portraits -- Phase-Plane Analysis -- The Entrees -- Linear ODE Models -- Nonlinear ODE Models -- Linear PDE Models. Part 1 -- Linear PDE Models. Part 2 -- The Desserts -- The Hunt for Solitons -- Nonlinear Diagnostic Tools En línea: http://dx.doi.org/10.1007/978-0-387-49333-6 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34491 Ejemplares
Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar
Título : Computer Vision Using Local Binary Patterns Tipo de documento: documento electrónico Autores: Pietikäinen, Matti ; SpringerLink (Online service) ; Abdenour Hadid ; Guoying Zhao ; Timo Ahonen Editorial: London : Springer London Fecha de publicación: 2011 Otro editor: Imprint: Springer Colección: Computational Imaging and Vision, ISSN 1381-6446 num. 40 Número de páginas: XVI, 212 p Il.: online resource ISBN/ISSN/DL: 978-0-85729-748-8 Idioma : Inglés (eng) Palabras clave: Mathematics Computer graphics Image processing Pattern recognition Biometrics (Biology) Mathematics, general Imaging, Vision, Recognition and Graphics Processing Vision Signal, Speech Clasificación: 51 Matemáticas Resumen: The recent emergence of Local Binary Patterns (LBP) has led to significant progress in applying texture methods to various computer vision problems and applications. The focus of this research has broadened from 2D textures to 3D textures and spatiotemporal (dynamic) textures. Also, where texture was once utilized for applications such as remote sensing, industrial inspection and biomedical image analysis, the introduction of LBP-based approaches have provided outstanding results in problems relating to face and activity analysis, with future scope for face and facial expression recognition, biometrics, visual surveillance and video analysis. Computer Vision Using Local Binary Patterns provides a detailed description of the LBP methods and their variants both in spatial and spatiotemporal domains. This comprehensive reference also provides an excellent overview as to how texture methods can be utilized for solving different kinds of computer vision and image analysis problems. Source codes of the basic LBP algorithms, demonstrations, some databases and a comprehensive LBP bibliography can be found from an accompanying web site. Topics include: - Local binary patterns and their variants in spatial and spatiotemporal domains - Texture classification and segmentation, description of interest regions - Applications in image retrieval and 3D recognition - Recognition and segmentation of dynamic textures - Background subtraction, recognition of actions - Face analysis using still images and image sequences, visual speech recognition - LBP in various applications Written by pioneers of LBP, this book is an essential resource for researchers, professional engineers and graduate students in computer vision, image analysis and pattern recognition. The book will also be of interest to all those who work with specific applications of machine vision Nota de contenido: Background -- Local binary patterns for still images -- Spatiotemporal LBP -- Texture classification and segmentation -- Description of interest regions -- Applications in image retrieval and 3D recognition -- Recognition and segmentation of dynamic textures -- Background subtraction -- Recognition of actions -- Face analysis using still images -- Face analysis using image sequences -- Visual recognition of spoken phrases -- LBP in different applications En línea: http://dx.doi.org/10.1007/978-0-85729-748-8 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=33135 Computer Vision Using Local Binary Patterns [documento electrónico] / Pietikäinen, Matti ; SpringerLink (Online service) ; Abdenour Hadid ; Guoying Zhao ; Timo Ahonen . - London : Springer London : Imprint: Springer, 2011 . - XVI, 212 p : online resource. - (Computational Imaging and Vision, ISSN 1381-6446; 40) .
ISBN : 978-0-85729-748-8
Idioma : Inglés (eng)
Palabras clave: Mathematics Computer graphics Image processing Pattern recognition Biometrics (Biology) Mathematics, general Imaging, Vision, Recognition and Graphics Processing Vision Signal, Speech Clasificación: 51 Matemáticas Resumen: The recent emergence of Local Binary Patterns (LBP) has led to significant progress in applying texture methods to various computer vision problems and applications. The focus of this research has broadened from 2D textures to 3D textures and spatiotemporal (dynamic) textures. Also, where texture was once utilized for applications such as remote sensing, industrial inspection and biomedical image analysis, the introduction of LBP-based approaches have provided outstanding results in problems relating to face and activity analysis, with future scope for face and facial expression recognition, biometrics, visual surveillance and video analysis. Computer Vision Using Local Binary Patterns provides a detailed description of the LBP methods and their variants both in spatial and spatiotemporal domains. This comprehensive reference also provides an excellent overview as to how texture methods can be utilized for solving different kinds of computer vision and image analysis problems. Source codes of the basic LBP algorithms, demonstrations, some databases and a comprehensive LBP bibliography can be found from an accompanying web site. Topics include: - Local binary patterns and their variants in spatial and spatiotemporal domains - Texture classification and segmentation, description of interest regions - Applications in image retrieval and 3D recognition - Recognition and segmentation of dynamic textures - Background subtraction, recognition of actions - Face analysis using still images and image sequences, visual speech recognition - LBP in various applications Written by pioneers of LBP, this book is an essential resource for researchers, professional engineers and graduate students in computer vision, image analysis and pattern recognition. The book will also be of interest to all those who work with specific applications of machine vision Nota de contenido: Background -- Local binary patterns for still images -- Spatiotemporal LBP -- Texture classification and segmentation -- Description of interest regions -- Applications in image retrieval and 3D recognition -- Recognition and segmentation of dynamic textures -- Background subtraction -- Recognition of actions -- Face analysis using still images -- Face analysis using image sequences -- Visual recognition of spoken phrases -- LBP in different applications En línea: http://dx.doi.org/10.1007/978-0-85729-748-8 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=33135 Ejemplares
Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar
Título : Pythagorean-Hodograph Curves: Algebra and Geometry Inseparable Tipo de documento: documento electrónico Autores: Rida T. Farouki ; SpringerLink (Online service) Editorial: Berlin, Heidelberg : Springer Berlin Heidelberg Fecha de publicación: 2008 Colección: Geometry and Computing, ISSN 1866-6795 num. 1 Número de páginas: XVI, 728 p. 204 illus Il.: online resource ISBN/ISSN/DL: 978-3-540-73398-0 Idioma : Inglés (eng) Palabras clave: Mathematics Computer graphics Computer-aided engineering Algebra mathematics Geometry Computational intelligence Computer-Aided Engineering (CAD, CAE) and Design Numerical Analysis Imaging, Vision, Pattern Recognition Graphics Intelligence Clasificación: 51 Matemáticas Resumen: By virtue of their special algebraic structures, Pythagorean-hodograph (PH) curves offer unique advantages for computer-aided design and manufacturing, robotics, motion control, path planning, computer graphics, animation, and related fields. This book offers a comprehensive and self-contained treatment of the mathematical theory of PH curves, including algorithms for their construction and examples of their practical applications. Special features include an emphasis on the interplay of ideas from algebra and geometry and their historical origins, detailed algorithm descriptions, and many figures and worked examples. The book may appeal, in whole or in part, to mathematicians, computer scientists, and engineers Nota de contenido: Algebra -- Preamble -- Polynomials -- Complex Numbers -- Quaternions -- Clifford Algebra -- Geometry -- Coordinate Systems -- Differential Geometry -- Algebraic Geometry -- Non—Euclidean Geometry -- Computer Aided Geometric Design -- The Bernstein Basis -- Numerical Stability -- Bézier Curves and Surfaces -- C2 Cubic Spline Curves -- Spline Basis Functions -- Planar Pythagorean-hodograph Curves -- Arc—length Parameterization -- Pythagorean—hodograph Curves -- Tschirnhausen's Cubic -- Complex Representation -- Rational Pythagorean-hodograph Curves -- Spatial Pythagorean-hodograph Curves -- Pythagorean Hodographs in ?3 -- Quaternion Representation -- Helical Polynomial Curves -- Minkowski Pythagorean Hodographs -- Algorithms -- Planar Hermite Interpolants -- Elastic Bending Energy -- Planar C2 PH Quintic Splines -- Spatial Hermite Interpolants -- Applications -- Real—time CNC Interpolators -- Rotation—minimizing Frames -- Closure En línea: http://dx.doi.org/10.1007/978-3-540-73398-0 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34334 Pythagorean-Hodograph Curves: Algebra and Geometry Inseparable [documento electrónico] / Rida T. Farouki ; SpringerLink (Online service) . - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008 . - XVI, 728 p. 204 illus : online resource. - (Geometry and Computing, ISSN 1866-6795; 1) .
ISBN : 978-3-540-73398-0
Idioma : Inglés (eng)
Palabras clave: Mathematics Computer graphics Computer-aided engineering Algebra mathematics Geometry Computational intelligence Computer-Aided Engineering (CAD, CAE) and Design Numerical Analysis Imaging, Vision, Pattern Recognition Graphics Intelligence Clasificación: 51 Matemáticas Resumen: By virtue of their special algebraic structures, Pythagorean-hodograph (PH) curves offer unique advantages for computer-aided design and manufacturing, robotics, motion control, path planning, computer graphics, animation, and related fields. This book offers a comprehensive and self-contained treatment of the mathematical theory of PH curves, including algorithms for their construction and examples of their practical applications. Special features include an emphasis on the interplay of ideas from algebra and geometry and their historical origins, detailed algorithm descriptions, and many figures and worked examples. The book may appeal, in whole or in part, to mathematicians, computer scientists, and engineers Nota de contenido: Algebra -- Preamble -- Polynomials -- Complex Numbers -- Quaternions -- Clifford Algebra -- Geometry -- Coordinate Systems -- Differential Geometry -- Algebraic Geometry -- Non—Euclidean Geometry -- Computer Aided Geometric Design -- The Bernstein Basis -- Numerical Stability -- Bézier Curves and Surfaces -- C2 Cubic Spline Curves -- Spline Basis Functions -- Planar Pythagorean-hodograph Curves -- Arc—length Parameterization -- Pythagorean—hodograph Curves -- Tschirnhausen's Cubic -- Complex Representation -- Rational Pythagorean-hodograph Curves -- Spatial Pythagorean-hodograph Curves -- Pythagorean Hodographs in ?3 -- Quaternion Representation -- Helical Polynomial Curves -- Minkowski Pythagorean Hodographs -- Algorithms -- Planar Hermite Interpolants -- Elastic Bending Energy -- Planar C2 PH Quintic Splines -- Spatial Hermite Interpolants -- Applications -- Real—time CNC Interpolators -- Rotation—minimizing Frames -- Closure En línea: http://dx.doi.org/10.1007/978-3-540-73398-0 Link: https://biblioteca.cunef.edu/gestion/catalogo/index.php?lvl=notice_display&id=34334 Ejemplares
Signatura Medio Ubicación Sub-localización Sección Estado ningún ejemplar Tutorials on Emerging Methodologies and Applications in Operations Research / SpringerLink (Online service) ; Harvey J. Greenberg (2005)
![]()
PermalinkBuilding Bridges / SpringerLink (Online service) ; Martin Grötschel ; Gyula O. H. Katona ; Sági, Gábor (2008)
![]()
PermalinkMathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration / SpringerLink (Online service) ; Torsten Möller ; Bernd Hamann ; Russell, Robert D (2009)
![]()
PermalinkMathematics, Computer Science and Logic - A Never Ending Story / SpringerLink (Online service) ; Paule, Peter (2013)
![]()
PermalinkPermalink