Cargando…

From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartz /

In his rich and varied career as a mathematician, computer scientist, and educator, Jacob T. Schwartz wrote seminal works in analysis, mathematical economics, programming languages, algorithmics, and computational geometry. In this volume of essays, his friends, students, and collaborators at the Co...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Davis, Martin (Editor ), Schonberg, Edmond (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	London : Springer London : Imprint: Springer, 2013.
Edición:	1st ed. 2013.
Temas:	Compilers (Computer programs). Mathematical logic. Quantum physics. Control engineering. Robotics. Automation. Compilers and Interpreters. Mathematical Logic and Foundations. Quantum Physics. Control, Robotics, Automation.
Acceso en línea:	Texto Completo

Ejemplares similares

Exploring Robotics with ROBOTIS Systems
por: Thai, Chi N.
Publicado: (2015)

Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
Publicado: (2016)

Interfacing with C++ Programming Real-World Applications /
por: Katupitiya, Jayantha, et al.
Publicado: (2006)

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics /
por: Platzer, André
Publicado: (2010)

Self-Dual Codes and Invariant Theory
por: Nebe, Gabriele, et al.
Publicado: (2006)

Selected Preserver Problems on Algebraic Structures of Linear Operators and on Function Spaces
por: Molnár, L.
Publicado: (2007)

Computer Science Logic 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings /
Publicado: (2007)

Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /
Publicado: (2006)

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
Publicado: (2005)

Harmonic Analysis and Rational Approximation Their Rôles in Signals, Control and Dynamical Systems /
Publicado: (2006)

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Publicado: (2013)

Approximate and Noisy Realization of Discrete-Time Dynamical Systems
por: Hasegawa, Yasumichi
Publicado: (2008)

Modeling and Control of Complex Physical Systems The Port-Hamiltonian Approach /
Publicado: (2009)

Nonlinear Observers and Applications
Publicado: (2007)

Robust Synchronization of Chaotic Systems via Feedback
por: Femat, Ricardo, et al.
Publicado: (2008)

New Computational Paradigms Changing Conceptions of What is Computable /
Publicado: (2008)

Control of Nonlinear Dynamical Systems Methods and Applications /
por: Chernous'ko, Felix L., et al.
Publicado: (2008)

Sharing a Vision Systems and Algorithms for Collaboratively-Teleoperated Robotic Cameras /
por: Song, Dezhen
Publicado: (2009)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
Publicado: (2010)

Artificial Neural Networks for the Modelling and Fault Diagnosis of Technical Processes
por: Patan, Krzysztof
Publicado: (2008)

Abstract Computing Machines A Lambda Calculus Perspective /
por: Kluge, Werner
Publicado: (2005)

Programming Languages An Active Learning Approach /
por: Lee, Kent D.
Publicado: (2008)

Quantum Physics, Fuzzy Sets and Logic Steps Towards a Many-Valued Interpretation of Quantum Mechanics /
por: Pykacz, Jarosław
Publicado: (2015)

Rewriting Techniques and Applications 20th International Conference, RTA 2009, Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
Publicado: (2009)

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Publicado: (2015)

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2013 /
Publicado: (2014)

Stabilization, Optimal and Robust Control Theory and Applications in Biological and Physical Sciences /
por: Belmiloudi, Aziz
Publicado: (2008)

Active Flow Control Papers contributed to the Conference "Active Flow Control 2006", Berlin, Germany, September 27 to 29, 2006 /
Publicado: (2007)

Scientific Methods in Mobile Robotics Quantitative Analysis of Agent Behaviour /
por: Nehmzow, Ulrich
Publicado: (2006)

Computational Biomechanics for Medicine Imaging, Modeling and Computing /
Publicado: (2016)

Multi-finger Haptic Interaction
Publicado: (2013)

Explicit Stability Conditions for Continuous Systems A Functional Analytic Approach /
por: Gil, Michael I.
Publicado: (2005)

Liapunov Functions and Stability in Control Theory
por: Bacciotti, Andrea, et al.
Publicado: (2005)

Identification of Nonlinear Systems Using Neural Networks and Polynomial Models A Block-Oriented Approach /
por: Janczak, Andrzej
Publicado: (2005)

Control and Observer Design for Nonlinear Finite and Infinite Dimensional Systems
Publicado: (2005)

In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman /
Publicado: (2013)

Computational Biomechanics for Medicine New Approaches and New Applications /
Publicado: (2015)

Logic Synthesis for Compositional Microprogram Control Units
por: Barkalov, Alexander, et al.
Publicado: (2008)

Discrete-Time High Order Neural Control Trained with Kalman Filtering /
por: Sanchez, Edgar N., et al.
Publicado: (2008)

Categories for Software Engineering
por: Fiadeiro, Jose Luiz
Publicado: (2005)

Cannot write session to /tmp/vufind_sessions/sess_pq50k944f4v0pfn2oss5u257se