Edizione	[1st ed. 2020.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica	1 online resource (VIII, 536 p. 9 illus., 2 illus. in color.)
Disciplina	515
Soggetto topico	Functions of complex variables System theory Quantum computers Difference equations Functional equations Several Complex Variables and Analytic Spaces Complex Systems Quantum Computing Functions of a Complex Variable Difference and Functional Equations
ISBN	3-030-40120-0
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	A Theory on Non-Constant Frequency Decompositions and Applications (Chen) -- One-component inner functions II (Cima) -- Biholomorphic Cryptosystems (Daras) -- Third order fermionic and fourth order bosonic operators (Ding) -- Holomorphic approximation: the legacy of Weierstrass, Runge, Oka-Weil, and Mergelyan (Fornæss) -- A Potapov-type approach to a truncated matricial Stieltjes-type power moment problem (Fritzsche) -- Formulas and inequalities for some special functions of a complex variable (Grinshpan) -- On the means of the non-trivial zeros of the Riemann zeta function (Hassani) -- Minimal kernels and compact analytic objects in complex surfaces(Mongodi) -- On the automorphic group of an entire function (Peretz) -- Integral representations in Complex Analysis: From classical results to recent developments (Range) -- On the Riemann zeta function and Gaussian multiplicative chaos (Saksman) -- Some new aspects in hypercomplex analysis (Sprößig) -- Some connections of complex dynamics (De Zotti).
Record Nr.	UNISA-996418269403316

Autore	Moret-Bonillo Vicente
Edizione	[1st ed. 2017.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica	1 online resource (XIII, 198 p. 55 illus., 21 illus. in color.)
Disciplina	004
Soggetto topico	Computers Quantum computers Quantum physics Artificial intelligence Theory of Computation Quantum Computing Quantum Physics Artificial Intelligence
ISBN	3-319-64807-1
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	The Universe of Binary Numbers -- Back and Forth Computing -- Reversible Architectures -- The Principles of Quantum Mechanics -- Introducing Quantum Computing -- Feynman's Quantum Computer Machine -- Some Quantum Algorithms -- Concluding Remarks -- App. A: Mathematical Background -- App. B: Glossary of Terms Used in the Book.
Record Nr.	UNINA-9910254841403321

Edizione	[1st ed. 2013.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Descrizione fisica	1 online resource (XIV, 359 p. 29 illus.)
Disciplina	004.0151
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Computer science Software engineering Quantum computers Computer science—Mathematics Theory of Computation Software Engineering Quantum Computing Symbolic and Algebraic Manipulation
ISBN	3-642-40206-2
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Talks -- An Effect System for Algebraic Effects and Handlers -- Automata and Algebras for Infinite Words and Trees -- Positive Inductive-Recursive Definitions -- Coalgebraic up-to techniques -- Contributed Papers -- Exploiting Algebraic Laws to Improve Mechanized Axiomatization -- Positive Fragments of Coalgebraic Logics -- Many-valued Relation Lifting and Moss' Coalgebraic Logic -- Saturated Semantics for Coalgebraic Logic Programming -- Presenting Distributive Laws -- Interaction and observation: categorical semantics of reactive systems trough dialgebras -- Homomorphisms of coalgebras from predicate liftings -- From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality -- Trace Semantics via Generic Observations -- Full abstraction for fair testing in CCS -- A simple case of rationality of escalation -- Coalgebras with Symmetries and Modelling Quantum Systems -- From Operational Chu Duality to Coalgebraic Quantum Symmetry -- Noninterfering Schedulers\|When Possibilistic Noninterference Implies Probabilistic Noninterference -- Simulations and Bisimulations For Coalgebraic Modal Logics -- A Coalgebraic View of "-Transitions -- Nets, relations and linking diagrams -- A Logic-Programming Semantics of Services -- CALCO-Tools Workshop -- Preface to CALCO-Tools -- Checking Conservativity With Hets -- The HI-Maude Tool -- Constructor-based Inductive Theorem Prover -- A Timed CTL Model Checker for Real-Time Maude -- Hybridisation at Work -- Penrose: Putting Compositionality to Work For Petri Net Reachability -- QStream: A Suite of Streams.
Record Nr.	UNISA-996465691803316

Autore	Bera Rajendra K
Edizione	[1st ed. 2020.]
Pubbl/distr/stampa	Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020
Descrizione fisica	1 online resource (XVII, 265 p. 28 illus., 7 illus. in color.)
Disciplina	006.3843
Collana	Undergraduate Lecture Notes in Physics
Soggetto topico	Quantum computers Algorithms Mechanics Quantum physics Quantum field theory String theory Fourier analysis Quantum Computing Classical Mechanics Quantum Physics Quantum Field Theories, String Theory Fourier Analysis
ISBN	981-15-2471-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	1. Quantum Cryptography & Quantum Teleportation -- 2. A Quick Comparison of Quantum & Classical Mechanics -- 3. The Birth and Coming of Age of Quantum Mechanics -- 4. Laws of Quantum Mechanics -- 5. Weirdness of Quantum Mechanics -- 6. Mathematical Elements Needed to Compute -- 7. Some Mathematical Consequences of the Postulates -- 8. Waves and Fourier Analysis -- 9. Getting the Hang of Measurement -- 10. Quantum Gates -- 11. Unusual Solutions of Usual Problems -- 12. Fundamental Limits to Computing -- 13. The Crown Jewels among Quantum Algorithms -- 14. Quantum Error Corrections -- 15. Time-Multiplexed Interpretation of Measurement -- 16. Quantum Computing and Social Responsibility.
Record Nr.	UNINA-9910410000303321

Autore	Langer Arthur M
Edizione	[1st ed. 2020.]
Pubbl/distr/stampa	Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica	1 online resource (322 pages)
Disciplina	005.12
Soggetto topico	Software engineering Computer communication systems Computer engineering Internet of things Embedded computer systems Quantum computers Data protection Computer software Software Engineering Computer Communication Networks Cyber-physical systems, IoT Quantum Computing Security Professional Computing
ISBN	3-030-36899-8
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	1. Introduction -- 2. Merging Internal Users and Consumer Requirements -- 3. Reviewing the Object Paradigm -- 4. Distributed Client/Server and Data -- 5. The Impact of 5g Wireless Communication -- 6. The Internet of Things -- 7. Blockchain Analysis and Design.
Record Nr.	UNINA-9910373921903321