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.
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 |
| 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 | ||
| ||
6G Cyber Security Resilience: Trends and Challenges / / edited by H. L. Gururaj, VinayaKumar Ravi, J. Shreyas, N. Pavithra, R. Sapna
| 6G Cyber Security Resilience: Trends and Challenges / / edited by H. L. Gururaj, VinayaKumar Ravi, J. Shreyas, N. Pavithra, R. Sapna |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (VIII, 262 p. 60 illus., 54 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Advanced Sciences and Technologies for Security Applications |
| Soggetto topico |
Data protection
Artificial intelligence Quantum computers Security systems Data and Information Security Artificial Intelligence Quantum Computing Security Science and Technology |
| ISBN | 3-031-85008-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis and Comparison of Various Steganography Methods for secure 6G communication -- Image Encryption in the Compressed Domain using Autoencoders for 6G communication -- The Security Design and Challenges of 6G Architecture -- Cyber Security technologies for Privacy in 6G Networks -- Advancements in AI and ML for Enhanced Security and Performance in 6G Networks -- ML-Driven Secure Communication for Next-Generation 6G Networks -- Building a Better Network: The Promising Future of 6G Technology Applications and Challenges -- Building a Better Network: The Promising Future of 6G Technology Applications and Challenges -- Blockchain and Distributed Ledger Technology for 6G Security -- 6G Cyber Security Resilience: Trends and Challenges -- IoT and Edge Computing Security: Essential Aspects of 6G Networks -- Enhancing Cyber security in 6G Networks with Federated Learning for Collaborative Threat Mitigation -- Federated Learning for Enhancing Cybersecurity in IoT-Integrated 6G Networks: Challenges, Opportunities, and Future Directions. |
| Record Nr. | UNINA-9911007469103321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 theory 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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
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 theory Quantum field theory String models 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 | ||
| ||
