| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910254022603321 |
|
|
Autore |
Neidhardt Alexander N.J |
|
|
Titolo |
Applied Computer Science for GGOS Observatories : Communication, Coordination and Automation of Future Geodetic Infrastructures / / by Alexander N.J. Neidhardt |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XV, 546 p. 244 illus., 165 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Springer Textbooks in Earth Sciences, Geography and Environment, , 2510-1307 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Geophysics |
Software engineering |
Applied mathematics |
Engineering mathematics |
Astronomy |
Astronomy—Observations |
Geophysics/Geodesy |
Software Engineering/Programming and Operating Systems |
Mathematical and Computational Engineering |
Astronomy, Observations and Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Writing code for Scientific Software -- Using a code toolbox -- Controlling a Laser Ranging System -- Controlling a VLBI system from remote -- Coordination, communication and automation for the GGOS -- A Style Guide for Geodetic Software in C and C++ -- Precise telescope mount model parameters based on the least squares method. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book combines elementary theory from computer science with real-world challenges in global geodetic observation, based on examples from the Geodetic Observatory Wettzell, Germany. It starts with a step-by-step introduction to developing stable and safe scientific software to run successful software projects. The use of |
|
|
|
|
|
|
|
|
|
|
|
|
|
software toolboxes is another essential aspect that leads to the application of generative programming. An example is a generative network middleware that simplifies communication. One of the book’s main focuses is on explaining a potential strategy involving autonomous production cells for space geodetic techniques. The complete software design of a satellite laser ranging system is taken as an example. Such automated systems are then combined for global interaction using secure communication tunnels for remote access. The network of radio telescopes is used as a reference. Combined observatories form coordinated multi-agent systems and offer solutions for operational aspects of the Global Geodetic Observing System (GGOS) with regard to “Industry 4.0”. |
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910254296803321 |
|
|
Autore |
Neuman Yair <1968-> |
|
|
Titolo |
Mathematical Structures of Natural Intelligence / / by Yair Neuman |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVII, 173 p. 39 illus., 6 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Mathematics in Mind, , 2522-5413 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Algebra, Homological |
Neural networks (Computer science) |
Algebraic topology |
Category Theory, Homological Algebra |
Mathematical Models of Cognitive Processes and Neural Networks |
Algebraic Topology |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Part I. 1. Introduction -- 2. What is Structure? -- 3. Category Theory -- 4. How to Trick the Demon of Entropy -- 5. Neural Networks and Groupoids -- Part II. 6. Natural Intelligence in the Wild -- 7. Natural Intelligence is about meaning -- 8. From Identity to Equivalence -- 9. |
|
|
|
|
|
|
|
|
|
|
|
On Negation -- 10. Modeling -- 11. On Structures and Wholes -- Part III. 12. Let's Talk About Nothing -- 13. King Richard is a Lion -- 14. The Madman and the Dentist -- 15. Discussion -- References -- Author index -- Subject index. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book uncovers mathematical structures underlying natural intelligence and applies category theory as a modeling language for understanding human cognition, giving readers new insights into the nature of human thought. In this context, the book explores various topics and questions, such as the human representation of the number system, why our counting ability is different from that which is evident among non-human organisms, and why the idea of zero is so difficult to grasp. The book is organized into three parts: the first introduces the general reason for studying general structures underlying the human mind; the second part introduces category theory as a modeling language and use it for exposing the deep and fascinating structures underlying human cognition; and the third applies the general principles and ideas of the first two parts to reaching a better understanding of challenging aspects of the human mind such as our understanding of the number system,the metaphorical nature of our thinking and the logic of our unconscious dynamics. About the Author: Yair Neuman is a Full Professor at Ben-Gurion University. He holds a BA in Psychology (Major) and Philosophy (Minor) and a PhD in Cognition (Hebrew University, 1999), and his expertise is in studying complex cognitive, social, and symbolic systems from a unique interdisciplinary approach. Professor Neuman has published numerous papers and five academic books and has been a visiting scholar or professor at MIT, the University of Toronto, the University of Oxford, and the Weizmann Institute of Science. Beyond his purely academic work, he has developed state-of-the-art algorithms for social and cognitive computing, such as those he developed for the IARPA metaphor project (ADAMA group). |
|
|
|
|
|
|
|
| |