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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||