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.
11th Chaotic Modeling and Simulation International Conference / / edited by Christos H. Skiadas, Ihor Lubashevsky
11th Chaotic Modeling and Simulation International Conference / / edited by Christos H. Skiadas, Ihor Lubashevsky
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Descrizione fisica 1 online resource (314 pages)
Disciplina 003.857
003.857015118
Collana Springer Proceedings in Complexity
Soggetto topico System theory
Computer simulation
Dynamics
Nonlinear theories
Engineering
Game theory
Complex Systems
Computer Modelling
Applied Dynamical Systems
Technology and Engineering
Game Theory
ISBN 3-030-15297-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910337880903321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
12th Chaotic Modeling and Simulation International Conference / / edited by Christos H. Skiadas, Yiannis Dimotikalis
12th Chaotic Modeling and Simulation International Conference / / edited by Christos H. Skiadas, Yiannis Dimotikalis
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (XI, 306 p. 118 illus., 61 illus. in color.)
Disciplina 003.857
Collana Springer Proceedings in Complexity
Soggetto topico System theory
Computer simulation
Dynamics
Nonlinear theories
Engineering
Game theory
Complex Systems
Computer Modelling
Applied Dynamical Systems
Technology and Engineering
Game Theory
ISBN 3-030-39515-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Active Nanoobjects, Neutrino and Higgs Boson in a Fractal Models of the Universe.-Coupled Fractal Structures with Elements of Cylindrical Type -- Brain dynamics explained by means of spectral-structural neuronal networks -- Effect of long-range spreading on two-species reaction-diffusion system -- Special Sensitive System via Furstenberg family and its applications -- Mosaic patterns in reaction-diffusion systems -- Modulating the Light-Driven conductivity in Biosystem -- Approaches to Estimating the Dynamics of Interacting Populations with Impulse Effects and Uncertainty -- Tricritical directed percolation with long-range spreading -- Anisotropic MHD Turbulence Near Two Spatial Dimensions: General Field Theoretic Renormalization Group Analysis -- Intermittency of Chaos Functions and the Belousov-Zhabotinsky Reaction -- Reaction-Diffusion Systems and Propagation of Limit Cycles with Chaotic Dynamics -- Decision-making in a context of uncertainty -- Microwave oven plasma reactor moding and its detection -- Unexpected Properties of Open Quantum Graphs and Microwave Networks -- Dynamics of a Cournot duopoly game with differentiated goods between public and private firms -- Influence of the Heart Rate on Dynamics of Cardiorespiratory System -- Threshold Method for Control of Chaotic Oscillations -- Some Implications of Invariant Model of Boltzmann Statistical Mechanics to the Gap between Physics and Mathematics -- Deterministic Irreversibility Mechanism and Basic Element of Matter -- Global Indeterminacy and Invariant Manifolds near Homoclinic Orbit to a Real Saddle in a Resource Optimal System -- The method of singular integral equations in the theory of microstrip antennas based on chiral metamaterials -- Microstrip and fractal antennas based on chiral metamaterials in MIMO systems. .
Record Nr. UNINA-9910380738703321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
14th Chaotic Modeling and Simulation International Conference / / edited by Christos H. Skiadas, Yiannis Dimotikalis
14th Chaotic Modeling and Simulation International Conference / / edited by Christos H. Skiadas, Yiannis Dimotikalis
Edizione [1st ed. 2022.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Descrizione fisica 1 online resource (560 pages)
Disciplina 003.857
Collana Springer Proceedings in Complexity
Soggetto topico System theory
Computer simulation
Complex Systems
Computer Modelling
ISBN 3-030-96964-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Higgs Boson and the Higgs Field in Fractal Models of the Universe: Supermassive Black Holes, Relativistic Jets, Solar Coronal Holes, Active Microobjects -- Memory Cell Based on Qubit States and its Control in a Model Fractal Coupled Structure -- To Stochastic Resonance in Homopolar Dynamo -- Dynamic Localized Autonomous Chaotic Orbital Patterns from Rotation-Translation Sequences -- New Discrete Chaotic Cipher Key Generation for Digital Embedded Crypto-Systems -- A Survey on Chaos-Based Cryptosystems: Implementations and Applications -- Approximate Methods for Solving Hypersingular Integral Equations on Fractals -- Approximate Solution of Inverse Problems of Gravity Exploration on Fractals -- Exploring the Chaotic Nature of COVID-19 Pandemic: Limit Cycles and Time-Lag Around the World -- Detection of Early Warning Signals for Self-Organized Criticality in Cellular Automata -- Double Symmetry and Generalized Intermittency in Transitions to Chaos in Electroelastic Systems -- Optimality Principles for Solving Nonlinear Control Problems Under Uncertainty -- Piezo Spintronic Effect in DNA Molecular Chains -- The Atom, From a Mathematical-Physical Perspective -- Nonlinear Phenomena in the Dynamics of a Class of Rolling Pendulums: A Trigger of Coupled Singularities -- A Quantum Dynamical Map in the Creation of Optimized Chaotic S-Boxes -- The Interaction of Memristor in Cellular Nonlinear Network for Image and Signal Processing -- The Turing Model and Discrete Limit Cycles with Eddy and Convection -- Cloud Electrification as a Source of Ignition for Hydrogen Lift-Gas Airships Disasters -- ‘Dubro’ Resophonic Guitar: Glissando Gestures -- On the Origin of the Universe Chaos or Cosmos? -- Maximum Lyapunov Exponent Calculation -- New Fractal Features for Textural Morphologic Analysis -- The Role of the Angular Momentum in Shaping Collective Effects -- Non-Autonomous Two Channel Chaotic Generator: Computer Modelling, Analysis and Practical Realization -- External Synchronization of Solitary States And Chimeras in Unidirectionally Coupled Neural Networks -- On a Cournot Duopoly Game with Relative Profit Maximization -- Multifractal Analysis of Bioenergy Transport in a Protein Nanomotor -- Forced Van Der Pol Oscillator Synchronization from the Bifurcation Theory Point of View -- Fractal Nanoparticles of Phase-Separating Solid Solutions: Nanoscale Effects on Phase Equilibria, Thermal Conductivity, Thermoelectric Performance -- Maximal Attractors in Nonideal Hydrodynamic Systems -- Universality of Boltzmann Statistical Mechanics, Thermodynamics, Quantum Mechanics, and Shannon Information Theory -- D-Entropy in Classical Mechanics -- Some Aspects of Rainbows and Black Hole Linked to Mandelbrot Set and Farey Diagram -- Sequences of PRN's from Algebraic Curves over the Ring Z_(P^M) -- Fractional Chaotic System Solutions and their Impact on Chaotic Behaviour -- Coupled Fitzhugh-Nagumo Type Neurons Driven by External Voltage Stimulation -- Demographic Dynamics of Inhomogeneous Economic Communities as an Institutional Trap. .
Record Nr. UNINA-9910578700603321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
15th Chaotic Modeling and Simulation International Conference / / edited by Christos H. Skiadas, Yiannis Dimotikalis
15th Chaotic Modeling and Simulation International Conference / / edited by Christos H. Skiadas, Yiannis Dimotikalis
Autore Skiadas Christos H
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (395 pages)
Disciplina 003.857015118
Altri autori (Persone) DimotikalisYiannis
Collana Springer Proceedings in Complexity
Soggetto topico System theory
Computer simulation
Complex Systems
Computer Modelling
ISBN 3-031-27082-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Active Objects and the Higgs Field in the Quark-gluon Model of Fractal Systems -- Influence of Variable Amplitude and Modulation of the Fractal Index on the States of the Deformation Field of Coupled Structures -- Orbital Waves and Quantum Densities from Time-Discrete Chaotic Sequences -- Changes in the Rock Mass Geomechanical Properties with Account of the Chaos Theory Based on a Computational Experiment -- Effects of Frustrated Interactions on Synchronicity in Electrical Power Grids -- Chaotic Properties of new 1-D and 2-D Maps -- Transformation of Master-slave Systems with Harmonic Terms for Improved Stability in Numerical Continuation -- One-dimensional Map Without Fixed Points and with Amplitude Control -- Smoluchowski Approximation: Analysis of Reaction-diffusion Systems with Long-range spreading -- Dynamic Isotropic Percolation Process: Renormalization Group Analysis -- 2-D Generalized Turing Maps and Discrete Limit Cycles with Phase Shift -- Strong Coupling Asymptotics of RG-function -- The Origin of Dissipation in Quantum Many-Body Systems -- Role of the Boundary Conditions in the Graphs Split at Vertices -- Simulation and Optimisation Techniques for Construction of a Probability Box Structure -- Reliability-Based Numerical Analysis of Spread Foundations Incorporating Spatial Variability on a Complex Substratified Layered Medium -- Critical Dynamics of the Superfuid Phase Transition. Calculation of z critical exponent and Stability of the IR Fixed Point -- Cardiorespiratory System under Delta Covid Variant Disease -- Rare Attractors and Chaos in Buck Converter Under Peak-Current Mode Control -- Analysis of the Influence of Boundary Conditions in Kinetic Problems -- Complexity and Chaos Control of a Bertrand Guopoly Game with Bounded Rational and Imitative Expectations -- On the Dynamics of a Heterogeneous Duopoly Game Participating in Nitrogen EmissionReduction -- Symmetry and Generalized Intermittency in the Lorenz Model -- Examples of Applications of an Invariant Statistical Theory of Field to Cosmology, Astrophysics Hydrodynamics, Electrodynamics, and Photonics -- "Order" and "Chaos" in the Evolution of Matter -- Fisher Information Perspective of Pauli’s Electron -- Formal Setting for Period Doubling Bifurcation of Limit Cycles.
Record Nr. UNINA-9910734844903321
Skiadas Christos H  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
16th Chaotic Modeling and Simulation International Conference / / edited by Christos H. Skiadas, Yiannis Dimotikalis
16th Chaotic Modeling and Simulation International Conference / / edited by Christos H. Skiadas, Yiannis Dimotikalis
Autore Skiadas Christos H
Edizione [1st ed. 2024.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Descrizione fisica 1 online resource (1051 pages)
Disciplina 003.857
Altri autori (Persone) DimotikalisYiannis
Collana Springer Proceedings in Complexity
Soggetto topico System theory
Computer simulation
Complex Systems
Computer Modelling
ISBN 9783031609077
3031609077
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Relativistic Superjet, Tetraneutrons and Higgs Boson in the Quark-Gluon Model -- Split Dislocations in a Fractal Coupled Structure -- A New Price of the Arithmetic Asian Option:A Simple Formula -- Study on Analog and Discrete Chaos Oscillators Synchronization -- Investigating Environmental Temperature Effect on Gene Transcription Phenomena:Chaos Approach -- Rotor-stator contact in a hydropower machine with squeeze-film damper -- One-directional grid scroll hidden attractor on the plane -- Fundamental Frequency Impact on Vilnius Chaos Oscillator Dynamics -- Evaluation of critical dimension composite operators for the stochastic model A -- Analysis and Control of Chaos in Simple 3D Autonomous System with Exponential Nonlinearity -- Principal component analysis on granularity and instability of economic systems in emerging countries -- Codification of images based on deterministic Brownian motion -- Synthesis of multifractals by Brownian dynamics of a point in a field of N central forces -- A Higher-Order Septic Nonlinear Model for Transverse waves in a Generalized Elastic Medium -- Renormalization group study of two-species reaction-diffusion system: Influence of random velocity fluctuations -- Helical Magnetohydrodynamic Turbulence Progress in Two-Loop Approximation -- Dynamics of an electronic relay systems with bandpass filtered feedback -- Thermodynamics of Dissipative Solitons -- Possible Chaotic Behavior in Models Inspired by Field Theories -- Generalized Normal Forms in Dynamical Systems Near Equilibrium -- Chemical Analogs of Voronoi Diagrams -- 3-D Discrete Vortex and Convection for the Lorenz System -- 3-D Discrete Eddy and Convection for the Turing Model -- Complex dynamics generated by simultaneous route and departure time choice in transportation networks -- Distributions of the reflection amplitude for networks with unitary and symplectic symmetries in the case of large absorption -- Modulational Instability, Vector Solitons and Extreme Amplitude Envelopes in Asymmetric Coupled Nonlinear Schrodinger Equations -- A New Method for Improving Pseudorandomness of Pseudorandom Sequences with Applications -- Entropy-Based Approaches of Edge Significance Quantification in Complex Networks: Detection of Link Vulnerabilities Using Static, Dynamic and Group-Focused Methods -- On the Efficiency and Accuracy of the FORM Algorithm Applied to Nonlinear Models for Geotechnical Design -- Metamodelling with the Multi-Dimensional Hermite Polynomial Chaos Expansion -- Exploring the Chaotic Dynamics of Cocirculating Disease Strains:Toward Agent-Based Modeling -- Dynamics of a Hydropower Rotor supported by an Elastic Generator-Bearing Bracket -- Chaos in hydrodynamic system with delay -- Defining ontologies within the FDB model -- Investigation the effect of moment on processes near the surface of a crystalline body based on a micromodel -- Anomalous scaling under the influence of helicity and finite-time correlations in the Kazantsev-Kraichnan model of fully developed kinematic magnetohydrodynamic turbulence -- SIR and SIS Epidemic Dynamics in Random Contact Networks -- Effects of nonlinear magnetic forces on the dynamics of hydropower generators with floating rotor rim -- Core expansion and spiral breakup in oscillatory recovering media -- Optimization of the Management of the Quality of Living Environment using the Chaotic Approach -- Dynamics of a Cournot Game with Differentiated Goods and Asymmetric Information -- Attractor Coexistence, Butterfly Effects, and Chaos (ABC):A Review of Lorenz and Generalized Lorenz Models -- Invariant Boltzmann Statistical Mechanics and the Physical Foundations of Quantum Mechanics, Quantum Gravity, and Quantum Cosmology -- Weak Chaos in the Plasma of a Fusion Device -- Chaos in the φ0 SFS Josephson junction -- A Fisher Information Perspective of Relativistic Quantum Mechanics -- Temporal Divergence of C. elegans Locomotion -- Predicting high frequency prices: new evidence from the E-mini S&P 500 futures market.
Record Nr. UNINA-9910951904803321
Skiadas Christos H  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
3D Printing and Ubiquitous Manufacturing / / by Tin-Chih Toly Chen
3D Printing and Ubiquitous Manufacturing / / by Tin-Chih Toly Chen
Autore Chen Tin-Chih Toly
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Descrizione fisica 1 online resource (98 pages)
Disciplina 621.988
Collana SpringerBriefs in Applied Sciences and Technology
Soggetto topico Manufactures
Application software
Cooperating objects (Computer systems)
Computer simulation
User interfaces (Computer systems)
Human-computer interaction
Machines, Tools, Processes
Computer and Information Systems Applications
Cyber-Physical Systems
Computer Modelling
User Interfaces and Human Computer Interaction
ISBN 3-030-49150-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Ubiquitous Manufacturing (UM) -- 3D printing and UM -- 3D Printing-Based UM: Production Planning -- 3D Printing-Based UM: Control -- 3D Printing-Based UM: Quality Management.
Record Nr. UNINA-9910407726503321
Chen Tin-Chih Toly  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023) / / edited by Steffen Ihlenfeldt
3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023) / / edited by Steffen Ihlenfeldt
Autore Ihlenfeldt Steffen
Edizione [1st ed. 2023.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Descrizione fisica 1 online resource (361 pages)
Disciplina 621.402
Collana Lecture Notes in Production Engineering
Soggetto topico Thermodynamics
Heat engineering
Heat - Transmission
Mass transfer
Manufactures
Computer simulation
Engineering Thermodynamics, Heat and Mass Transfer
Machines, Tools, Processes
Computer Modelling
ISBN 3-031-34486-3
Classificazione COM072000SCI065000TEC020000
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Thermal interactions between workpiece, tool, machine -- Testing and simulation methods to identify thermal errors -- Reference workpieces and assessment -- Energy efficient compensation and correction of thermal errors -- Improving thermal robustness of machine tools through design changes -- Thermo-energetic optimization of machine tools.
Record Nr. UNINA-9910729736803321
Ihlenfeldt Steffen  
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
3rd International Winter School and Conference on Network Science : NetSci-X 2017 / / edited by Erez Shmueli, Baruch Barzel, Rami Puzis
3rd International Winter School and Conference on Network Science : NetSci-X 2017 / / edited by Erez Shmueli, Baruch Barzel, Rami Puzis
Edizione [1st ed. 2017.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Descrizione fisica 1 online resource (VI, 130 p. 32 illus., 17 illus. in color.)
Disciplina 004.6
Collana Springer Proceedings in Complexity
Soggetto topico Graph theory
Computer simulation
Sociology - Methodology
System theory
Bioinformatics
Graph Theory
Computer Modelling
Sociological Methods
Complex Systems
Computational and Systems Biology
ISBN 3-319-55471-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chapter1. Node-Centric Detection of Overlapping Communities in Social Networks -- Chapter2. Community structures evaluation in complex networks: A descriptive approach -- Chapter3. Do Network Models Just Model Networks? On The Applicability of Network Oriented Modeling -- Chapter4. Visibility of nodes in network growth models -- Chapter5. Topology data analysis of critical transitions in financial networks -- Chapter6. Modeling and Analysis of Glass Ceiling and Power Inequality in Bi-populated Societies -- Chapter7. Elites in Social Networks: An Axiomatic Approach -- Chapter8. Ranking scientific papers on the basis of their citations growing trend -- Chapter9. Towards network economics: the problem of the network modus of value -- Chapter10. Open Questions in Multidimensional Multilevel Network Science. .
Record Nr. UNINA-9910254582503321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
5G for Future Wireless Networks : First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings / / edited by Keping Long, Victor C.M. Leung, Haijun Zhang, Zhiyong Feng, Yonghui Li, Zhongshan Zhang
5G for Future Wireless Networks : First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings / / edited by Keping Long, Victor C.M. Leung, Haijun Zhang, Zhiyong Feng, Yonghui Li, Zhongshan Zhang
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVI, 697 p. 319 illus.)
Disciplina 621.3845
Collana Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Soggetto topico Computers, Special purpose
Computer simulation
Artificial intelligence
Data protection
Electronic digital computers - Evaluation
Special Purpose and Application-Based Systems
Computer Modelling
Artificial Intelligence
Data and Information Security
System Performance and Evaluation
ISBN 3-319-72823-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto 28GHz MIMO Channel Characteristics Analysis for 5G Communication Systems -- A Caching Strategy Based on User Interest in Content-Centric Network -- Node Localization based on Multiple Radio Transmission -- Power Levels for Wireless Sensor Networks -- End-to-End Transmission Performance Optimization based Routing Selection Algorithm for Software Defined Networking -- Research on video services with QoE perception over future wireless networks -- Tree-LSTM Guided Attention Pooling of DCNN for Semantic Sentence Modeling -- Multi - Base Station Energy Cooperation Based on Nash Q - Learning Algorithm -- Crowdfunding assisted Cellular System Analysis and Application -- A Survey on Security Issues in Big Data of Ubiquitous Network -- Telecom Big Data based User Analysis and Application in Telecom Industry -- Coverage Optimization in Self-Organizing Small Cells -- Expectation Maximization for Multipath Detection in Wideband Signals -- Dynamic Resource Orchestration of Service Function -- Chaining In Network Function Virtualization -- Support Recovery for Multiband Spectrum Sensing Based on Modulated Wideband Converter with SwSOMP Algorithm -- Traffic Scheduling Algorithms for OFDM Based Radio Systems -- Coverage Performance in Cognitive Radio Networks with Self-Sustained Secondary Transmitters -- A Novel Algorithm of UAV-Mounted Base Station Placement and Frequency Allocation -- Throughput Analysis for Full-Duplex Based Device-to-Device Communications -- Joint Mode Selection and Resource Allocation in Underlaying D2D Communication -- PAPR Reduction with Amplitude Clipping and Subband Filter in Filtered-OFDM System -- Throughput Maximization for Two-Hop Decodeand-Forward Relay Channels with Non-Ideal Circuit Power -- Big Data-driven Vehicle Mobility Analysis and Design for 5G -- Complexity Analysis of Massive MIMO Signal Detection Algorithms Based on Factor Graph -- Per-Antenna Maximum Likelihood Detector for Massive MIMO -- Joint User-Association and Resource-Allocation in Virtualized C-RAN -- Adaptive Resource Allocation for Device-to-Device Aided Cellular Systems -- Radio Access Network -- Iterative Receiver with Gaussian and Mean-Field Approximation in Massive MIMO Systems -- Research and Application of Summer High Temperature Prediction Model Based on CART Algorithm -- Research on Peak-to-Average Power Ratio Reduction for FBMC-based 5G Transmission -- A Machine Learning based Engine Error Detection Method -- Beamforming Design for Physical Layer Security and Energy Efficiency Based on Base Station Cooperation.    .
Record Nr. UNINA-9910299313603321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
Edizione [1st ed. 2014.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Descrizione fisica 1 online resource (XII, 161 p. 47 illus.)
Disciplina 005.1015113
Collana Communications in Computer and Information Science
Soggetto topico Computer science
Machine theory
Computer simulation
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Theory of Computation
Computer Modelling
ISBN 3-319-07512-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation.
Record Nr. UNINA-9910298563803321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui