top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
The 25th European Conference on Integrated Optics : Proceedings of ECIO 2024, June 17–19, Aachen, Germany / / edited by Jeremy Witzens, Joyce Poon, Lars Zimmermann, Wolfgang Freude
The 25th European Conference on Integrated Optics : Proceedings of ECIO 2024, June 17–19, Aachen, Germany / / edited by Jeremy Witzens, Joyce Poon, Lars Zimmermann, Wolfgang Freude
Autore Witzens Jeremy
Edizione [1st ed. 2024.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Descrizione fisica 1 online resource (598 pages)
Disciplina 621.3693
Collana Springer Proceedings in Physics Series
Soggetto topico Optics
Materials
Photonics
Quantum computers
Detectors
Electronic circuits
Optics and Photonics
Photonic Devices
Quantum Computing
Sensors and biosensors
Electronic Circuits and Systems
ISBN 9783031633782
9783031633775
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Introduction to the Proceedings of ECIO 2024 -- Organization -- Contents -- Lasers and Amplifiers -- Widely Tunable External Cavity Laser Across the 1634-1777 nm Spectrum with Sub-kHz Linewidth -- 1 Introduction -- 2 Design and Simulation -- 3 Experimental Characterization -- 4 Conclusion -- References -- External Cavity 637-nm Laser with Increased RSOA-to-PIC Alignment Tolerance and a Filtered Sagnac-Loop Reflector with Single Output Waveguide -- 1 Introduction -- 2 Design -- 2.1 Silicon Nitride Platform -- 2.2 Components -- 3 Experimental Results -- 4 Conclusions -- References -- Widely Tunable GaSb/Si3N4 Vernier Hybrid Laser Emitting Around 2.55 µm -- 1 Introduction -- 2 Measurements -- References -- Pound-Drever-Hall Laser Frequency Stabilization of Tunable 1.55 µm Monolithically Integrated Semiconductor Lasers Using an Integrated Phase Modulator -- 1 Introduction -- 1.1 The Pound-Drever-Hall Stabilization System -- 2 Laser Frequency Stabilization Results -- 2.1 PDH Stabilization Using Integrated Laser and Integrated EOPM -- 2.2 PDH Stabilization Using Integrated Laser and EOPM Internal to Lasing Cavity -- 3 Comparison Between Methods of PDH Stabilization -- 4 Conclusion -- References -- High Power 1.8 W Tunable Laser Based on CMOS Compatible Power Amplifier -- 1 Introduction -- 2 Results -- References -- Micro-Transfer-Printed O-Band GaAs QD-On-Si Widely Tunable Laser -- 1 Introduction -- 2 Micro-transfer Printing -- 3 Design and Fabrication of the Tunable Laser -- 4 Characterization -- 5 Conclusion -- References -- Widely Tunable Laser on IMOS Platform -- 1 Introduction -- 2 Design -- 3 Experimental Setup and Search Algorithm -- 4 Results and Discussion -- 5 Conclusions -- References -- Ultrafast Tunable Photonic Integrated E-DBR Pockels Laser -- 1 Introduction -- 2 Measurements and Results -- References.
External Net Gain in Monolithically Integrated Si3N4-Al2O3:Er3+ Spiral Waveguide Amplifiers -- 1 Introduction -- 2 Experimental Details -- References -- Optoelectronic Devices -- III-V Electro-Absorption Modulation and Detection Devices Integrated to 220 nm Silicon-on-Insulator -- 1 Introduction -- 2 Device Design and Fabrication -- 3 Device Characteristics -- 4 Conclusion -- References -- Ge-fin Photodiodes with 3-dB Bandwidths Well Beyond 110 GHz for O-Band Receiver Subsystems -- 1 Introduction -- 2 Measurement Results and Discussion -- 3 Conclusion -- References -- Integrated-SiGe Waveguide Photodetector in the 5.2-10 µm Wavelength Range Operating at Room Temperature -- 1 Introduction -- 2 Design and Experimental Results -- 2.1 Design -- 2.2 Experimental Results -- 3 Conclusion -- References -- Assembly and Test -- Repeatability of Automated Edge Coupling for Wafer Level Testing -- 1 Introduction -- 2 System Overview -- 2.1 Probe Station Environment -- 2.2 Optical Probe -- 3 Automated Wafer-Level Testing with Edge Coupling -- 3.1 Device Under the Test -- 3.2 Experimental Results -- 4 Conclusions -- References -- Demonstration of Micro-transfer Printing Thick Optical Components on Glass and Silicon Wafers -- 1 Introduction -- 2 Fabrication of Coupons and Printing Process -- 3 Results and Discussion -- References -- Thin-Film Lithium Niobate -- Standardized TFLN Photonic Integrated Circuits Platform -- 1 Introduction -- 2 TFLN PIC Platform Technology Nodes -- 3 Outlook and Conclusion -- References -- Compact Silicon-Rich SiN/LiNbO3 Mach Zehnder and Microring Modulators -- 1 Introduction -- 2 Design and Fabrication -- 3 Experimental Results -- 4 Conclusion -- References -- Foundry Fabricated Thin-Film Lithium Niobate Electro-Optic Modulators for Blue Light -- 1 Introduction -- 2 Design and Characterization -- 3 Results -- 4 Conclusion -- References.
Polymer Photonics -- Efficient Modelling of 3D-Printed Freeform Waveguides by a Dedicated Beam-Propagation Method (BPM) Based on Transformation Optics -- 1 Introduction -- 2 Methods -- 3 Results and Discussions -- 4 Conclusions -- References -- Wavelength Tunable, Polymer-Based Arrayed Waveguide Gratings for Hybrid Integration -- 1 Introduction -- 2 Simulation and Design -- 2.1 Arrayed Waveguide Grating -- 2.2 Tunability -- 3 Characterization and Assembly -- 3.1 Design of MUX/DEMUX-PICs -- 3.2 Characterization and Assembly -- 4 Summary and Conclusion -- References -- Nonlinear Photonics -- Observation of Fundamental Charge Noise in Electro-Optic Photonic Integrated Circuits -- 1 Introduction -- 2 Fundamental Charge Refractive Noise via Pockels Effect -- 3 Charge Noise Limited Integrated Self-injection-locked Lasers -- 4 Discussion and Conclusion -- References -- An Integrated Gallium Phosphide Optical Parametric Amplifier -- 1 Continuous-Wave Parametric Amplification -- 2 Gallium Phosphide Spiral Waveguide -- 3 Optical Parametric Gain Measurements -- 4 Conclusion -- References -- Lithium Tantalate Photonic Integrated Circuits -- 1 Introduction -- 2 Results -- 3 Discussion -- References -- Voltage-Controllable Second-Order Susceptibility in Arsenic Sulfide Film -- 1 Introduction -- 2 Sample Preparation -- 3 Free-Space Measurements -- 3.1 EFISH Measurements -- 3.2 Bulk-SHG Measurements and (2)-Determination -- 3.3 Evaluation of EFISH Results -- 4 Conclusion -- References -- Second Harmonic Generation and (2) Cascading in Periodically Poled MgO:LiNbO3 Photonic Wires -- References -- Fiber Communication Systems -- Sustainable Pbps Co-packaged Optics Using Passively Assembled, Flip-Chip Evanescent Couplers -- 1 Introduction -- 2 Device Fabrication, Die Packaging, and Testing -- 3 Results -- 4 Discussion and Conclusion -- References.
Visible Photonics and Sensing -- Visible-Light Optical Phased Arrays with a Convex Grating Emitter on Implantable Neural Probes for Spatially Targeted Deep Brain Optogenetics -- 1 Introduction -- 2 Neural Probe Design and Fabrication -- 3 Characterization -- 4 Conclusion -- References -- Focusing Optical Phased Array for Optically Enabled Probing of the Retina with Subcellular Resolution -- 1 Introduction -- 2 Focusing One-Dimensional Optical Phased Array -- 2.1 Design -- 2.2 Simulation -- 2.3 Measurement and Optical Characterization -- 3 Thermo-Optical Phase Shifter for Beam Steering -- 4 Conclusion -- References -- Beyond the Free Spectral Range: On-Chip Spectrometer with Multi-color Cascaded Colloidal Quantum-Dot Photodiodes -- 1 Introduction -- 2 Principle -- 3 Experimental Results -- 4 Conclusion -- References -- Characterization of Grating Out-Couplers in the Ultraviolet-C Wavelength Range for On-Chip Spectroscopy -- 1 Introduction -- 2 Result -- 3 Conclusion -- References -- Microwave Photonics -- Simultaneous Notch Filtering and True Time Delay RF Photonic Front-End -- 1 Introduction -- 2 Chip Structure and Working Principle -- 3 Experimental Results -- 4 Conclusion -- References -- Large-Scale Photonic Chip Based Pulse Interleaver for Low-Noise Microwave Generation -- 1 Introduction -- 2 Device Design, Fabrication and Pulse Interleaving Demonstration -- 3 Summary -- References -- Agile Spectral Multiplication of Narrow-Band Comb using Integrated InP Multi-wavelength Laser -- 1 Introduction -- 2 Device Structure and Characterization -- 3 THz-Range Spectral Multiplication and Phase Locking of Narrow-Band EO-Comb -- 4 Conclusion -- References -- Microwave-Optical Transduction Using High-Overtone Bulk Acoustic Resonators on Silicon Nitride Photonics -- 1 Introduction -- 2 Design and Fabrication -- 3 Results -- References.
Phonon-Photon Interaction in Integrated Photonics -- Brillouin-Active Subwavelength Silicon Membrane Waveguides -- 1 Introduction -- 2 Design and Simulation -- 3 Experimental Results -- 4 Conclusions -- References -- Quantum Technologies -- High-Visibility Interference for Time Bin Encoded Entanglement on Silicon Integrated Platform -- 1 Introduction -- 2 System Design -- 3 Experiment Result -- 4 Conclusion -- References -- Industrial Ion Trap Chips with Integrated Optics -- 1 Introduction -- 2 Industrial Microfabrication of Ion Trap Chips -- 3 Optics Integration -- 3.1 Femtosecond Laser Written Waveguides in Borosilicate Glass -- 3.2 Thin Film Waveguides and Grating Couplers -- 4 Testing of Industrial Ion Traps with Integrated Optics -- 5 Outlook -- References -- Photonic Platform for Industrially Microfabricated Ion Traps -- 1 Introduction -- 2 Material and Fabrication Development -- 2.1 Thin Films -- 2.2 Structuring and Losses -- 3 Discussion and Outlook -- References -- Programmable Photonics -- Programmable Integrated Photonics with Phase-Change Materials -- 1 PCM Cells Embedded on Cladding -- 2 Monolithic PCM Integrated Photonics -- 3 Inverse-Design in Cladding-Embedded PCM Films -- 4 Direct-Laser-Written Waveguides in PCM Films -- 5 Combining Plasmonics with PCM-Based Integrated Photonics -- References -- Sb2Se3 Based Non-volatile Memory for Photonic Matrix-Vector Multiplications -- 1 Introduction -- 2 Device Fabrication -- 3 Results -- 3.1 Input Encoding -- 3.2 Switching Characterization -- 3.3 Measurements and Data Analysis -- 4 Conclusion -- References -- Reconfigurable Silicon Polarization Rotator in the O-Band Using Sb2Se3 on the Silicon-on-Insulator Platform -- 1 Introduction -- 2 Results -- 3 Discussion -- References -- A Photonic Convolution Processor Based on Matched Pair of Arrayed Waveguide Gratings -- 1 Introduction.
2 Device Design.
Record Nr. UNINA-9910865281403321
Witzens Jeremy  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advancements in Complex Analysis [[electronic resource] ] : From Theory to Practice / / edited by Daniel Breaz, Michael Th. Rassias
Advancements in Complex Analysis [[electronic resource] ] : From Theory to Practice / / edited by Daniel Breaz, Michael Th. Rassias
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
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Advancements in Complex Analysis : From Theory to Practice / / edited by Daniel Breaz, Michael Th. Rassias
Advancements in Complex Analysis : From Theory to Practice / / edited by Daniel Breaz, Michael Th. Rassias
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. UNINA-9910483859903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Advances in Dynamics, Optimization and Computation : A volume dedicated to Michael Dellnitz on the occasion of his 60th birthday / / edited by Oliver Junge, Oliver Schütze, Gary Froyland, Sina Ober-Blöbaum, Kathrin Padberg-Gehle
Advances in Dynamics, Optimization and Computation : A volume dedicated to Michael Dellnitz on the occasion of his 60th birthday / / edited by Oliver Junge, Oliver Schütze, Gary Froyland, Sina Ober-Blöbaum, Kathrin Padberg-Gehle
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XV, 392 p. 177 illus., 107 illus. in color.)
Disciplina 531.11
Collana Studies in Systems, Decision and Control
Soggetto topico Engineering mathematics
Automatic control
Computers
Quantum computers
System theory
Engineering Mathematics
Control and Systems Theory
Theory of Computation
Quantum Computing
Complex Systems
ISBN 3-030-51264-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A continuation approach to computing phase resetting curves -- Input-output networks, singularity theory, and homeostasis -- The approximation of invariant sets in infinite dimensional dynamical systems -- Set-oriented and finite-element study of coherent behavior in Rayleigh-Benard convection -- Singular value decomposition of operators on Reproducing Kernel Hilbert Spaces -- A weak characterization of slow variables in stochastic dynamical systems -- Analysis and simulation of extremes and rare events in complex systems -- Dynamical systems theory and algorithms for NP-hard problems.
Record Nr. UNINA-9910411933203321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Adventures in Computer Science : From Classical Bits to Quantum Bits / / by Vicente Moret-Bonillo
Adventures in Computer Science : From Classical Bits to Quantum Bits / / by Vicente Moret-Bonillo
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
Moret-Bonillo Vicente  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Algebra and Coalgebra in Computer Science [[electronic resource] ] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings / / edited by Reiko Heckel, Stefan Milius
Algebra and Coalgebra in Computer Science [[electronic resource] ] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings / / edited by Reiko Heckel, Stefan Milius
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
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings / / edited by Reiko Heckel, Stefan Milius
Algebra and Coalgebra in Computer Science : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, Proceedings / / edited by Reiko Heckel, Stefan Milius
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. UNINA-9910483633903321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The Amazing World of Quantum Computing [[electronic resource] /] / by Rajendra K. Bera
The Amazing World of Quantum Computing [[electronic resource] /] / by Rajendra K. Bera
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. UNISA-996418170803316
Bera Rajendra K  
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The Amazing World of Quantum Computing / / by Rajendra K. Bera
The Amazing World of Quantum Computing / / by Rajendra K. Bera
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
Bera Rajendra K  
Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Analysis and Design of Next-Generation Software Architectures [[electronic resource] ] : 5G, IoT, Blockchain, and Quantum Computing / / by Arthur M. Langer
Analysis and Design of Next-Generation Software Architectures [[electronic resource] ] : 5G, IoT, Blockchain, and Quantum Computing / / by Arthur M. Langer
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. UNISA-996465446703316
Langer Arthur M  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui