| |
| |
Click the serial number on the left to view the details of the item. |
| # |
Author | Title | Accn# | Year | Item Type | Claims |
| 1 |
??chsner, Andreas |
Plane Finite Elements for Two-Dimensional Problems |
I11938 |
2021 |
eBook |
|
| 2 |
Niemann, Philipp |
Compact Representations for the Design of Quantum Logic |
I09934 |
2017 |
eBook |
|
| 3 |
Enns, Richard |
Computer Algebra Recipes |
I11043 |
2001 |
eBook |
|
| 4 |
Seidelmann, P. Kenneth |
Applications of Computer Technology to Dynamical Astronomy |
I05046 |
1989 |
eBook |
|
|
|
1.
  |
 |
| Title | Plane Finite Elements for Two-Dimensional Problems : Application of the Computer Algebra System Maxima |
| Author(s) | ??chsner, Andreas;Makvandi, Resam |
| Publication | Cham, Springer International Publishing, 2021. |
| Description | XIII, 248 p. 51 illus., 30 illus. in color : online resource |
| Abstract Note | This book is intended as a study aid for the finite element method. Based on the free computer algebra system Maxima, we offer routines to symbolically or numerically solve problems from the context of two-dimensional problems. For this rather advanced topic, classical ???hand calculations??? are difficult to perform and the incorporation of a computer algebra system is a convenient approach to handle, for example, larger matrix operations. The mechanical theories focus on the classical two-dimensional structural elements, i.e., plane elements, thin or classical plates, and thick or shear deformable plate elements. The use of a computer algebra system and the incorporated functions, e.g., for matrix operations, allows to focus more on the methodology of the finite element method and not on standard procedures. Furthermore, we offer a graphical user interface (GUI) to facilitate the model definition. Thus, the user may enter the required definitions in a source code manner directly in wxMaxima or use the GUI which is able to execute wxMaxime to perform the calculations |
| ISBN,Price | 9783030895501 |
| Keyword(s) | 1. Computer Modelling
2. Computer science???Mathematics
3. COMPUTER SIMULATION
4. CONTINUUM MECHANICS
5. EBOOK
6. EBOOK - SPRINGER
7. ENGINEERING MECHANICS
8. Mechanics, Applied
9. NUMERICAL ANALYSIS
10. Symbolic and Algebraic Manipulation
|
| Item Type | eBook |
Multi-Media Links
Please Click here for eBook
Circulation Data
| Accession# | |
Call# | Status | Issued To | Return Due On | Physical Location |
| I11938 |
|
|
On Shelf |
|
|
|
|
2.
 |
|
| Title | Compact Representations for the Design of Quantum Logic |
| Author(s) | Niemann, Philipp;Wille, Robert |
| Publication | Cham, Springer International Publishing, 2017. |
| Description | VIII, 125 p. 43 illus., 1 illus. in color : online resource |
| Abstract Note | This book discusses modern approaches and challenges of computer-aided design (CAD) of quantum circuits with a view to providing compact representations of quantum functionality. Focusing on the issue of quantum functionality, it presents Quantum Multiple-Valued Decision Diagrams (QMDDs ??? a means of compactly and efficiently representing and manipulating quantum logic. For future quantum computers, going well beyond the size of present-day prototypes, the manual design of quantum circuits that realize a given (quantum) functionality on these devices is no longer an option. In order to keep up with the technological advances, methods need to be provided which, similar to the design and synthesis of conventional circuits, automatically generate a circuit description of the desired functionality. To this end, an efficient representation of the desired quantum functionality is of the essence. While straightforward representations are restricted due to their (exponentially) large matrix descriptions and other decision diagram-like structures for quantum logic suffer from not comprehensively supporting typical characteristics, QMDDs employ a decomposition scheme that more naturally models quantum systems. As a result, QMDDs explicitly support quantum-mechanical effects like phase shifts and are able to take more advantage of corresponding redundancies, thereby allowing a very compact representation of relevant quantum functionality composed of dozens of qubits. This provides the basis for the development of sophisticated design methods as shown for quantum circuit synthesis and verification |
| ISBN,Price | 9783319637242 |
| Keyword(s) | 1. Computer science???Mathematics
2. EBOOK
3. EBOOK - SPRINGER
4. QUANTUM COMPUTERS
5. Quantum computing
6. Quantum Information Technology, Spintronics
7. QUANTUM PHYSICS
8. SPINTRONICS
9. Symbolic and Algebraic Manipulation
|
| Item Type | eBook |
Multi-Media Links
Please Click here for eBook
Circulation Data
| Accession# | |
Call# | Status | Issued To | Return Due On | Physical Location |
| I09934 |
|
|
On Shelf |
|
|
|
|
|
3.
|
|
| Title | Computer Algebra Recipes : A Gourmet???s Guide to the Mathematical Models of Science |
| Author(s) | Enns, Richard;McGuire, George C |
| Publication | New York, NY, Springer New York, 2001. |
| Description | XIV, 778 p : online resource |
| Abstract Note | Computer algebra systems have the potential to revolutionize the teaching of and learning of science. Not only can students work thorough mathematical models much more efficiently and with fewer errors than with pencil and paper, they can also work with much more complex and computationally intensive models. Thus, for example, in studying the flight of a golf ball, students can begin with the simple parabolic trajectory, but then add the effects of lift and drag, of winds, and of spin. Not only can the program provide analytic solutions in some cases, it can also produce numerical solutions and graphic displays. Aimed at undergraduates in their second or third year, this book is filled with examples from a wide variety of disciplines, including biology, economics, medicine, engineering, game theory, physics, chemistry. The text is organized along a spiral, revisiting general topics such as graphics, symbolic computation, and numerical simulation in greater detail and more depth at each turn of the spiral. The heart of the text is a large number of computer algebra recipes. 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 a story that leads the reader through steps of the recipe.??Each section of recipes is followed by a set of problems that readers can use to check their understanding or to develop the topic further |
| ISBN,Price | 9781461301714 |
| Keyword(s) | 1. ALGEBRA
2. Applications of Mathematics
3. APPLIED MATHEMATICS
4. Computational Intelligence
5. Computer science???Mathematics
6. EBOOK
7. EBOOK - SPRINGER
8. ENGINEERING MATHEMATICS
9. Mathematical and Computational Engineering
10. PHYSICS
11. Physics, general
12. Symbolic and Algebraic Manipulation
|
| Item Type | eBook |
Multi-Media Links
Please Click here for eBook
Circulation Data
| Accession# | |
Call# | Status | Issued To | Return Due On | Physical Location |
| I11043 |
|
|
On Shelf |
|
|
|
|
|
4.
| |
| Title | Applications of Computer Technology to Dynamical Astronomy : Proceedings of the 109th Colloquium of the International Astronomical Union, held in Gaithersburg, Maryland, 27???29 July 1988 |
| Author(s) | Seidelmann, P. Kenneth;Kovalevsky, Jean |
| Publication | Dordrecht, Springer Netherlands, 1989. |
| Description | X, 341 p : online resource |
| ISBN,Price | 9789400909854 |
| Keyword(s) | 1. Astronomy, Observations and Techniques
2. Astronomy???Observations
3. ASTROPHYSICS
4. Astrophysics and Astroparticles
5. Computer science???Mathematics
6. EBOOK
7. EBOOK - SPRINGER
8. IAU COLLOQUIUM; 109
9. Observations, Astronomical
10. Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences
11. Statistics??
12. Symbolic and Algebraic Manipulation
|
| Item Type | eBook |
Multi-Media Links
Please Click here for eBook
Circulation Data
| Accession# | |
Call# | Status | Issued To | Return Due On | Physical Location |
| I05046 |
|
|
On Shelf |
|
|
|
| |