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.
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 |
Statistical physics
Dynamical systems Computer simulation Computational complexity Technology Game theory Complex Systems Simulation and Modeling Complexity Applied Science, multidisciplinary Game Theory, Economics, Social and Behav. Sciences |
| 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 | ||
| ||
12th Chaotic Modeling and Simulation International Conference [[electronic resource] /] / edited by Christos H. Skiadas, Yiannis Dimotikalis
| 12th Chaotic Modeling and Simulation International Conference [[electronic resource] /] / 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 |
Statistical physics
Dynamical systems Computer simulation Computational complexity Technology Game theory Complex Systems Simulation and Modeling Complexity Applied Science, multidisciplinary Game Theory, Economics, Social and Behav. Sciences |
| 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. | UNISA-996418179803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
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 |
Statistical physics
Dynamics Computer simulation Computational complexity Technology Game theory Complex Systems Simulation and Modeling Complexity Applied Science, multidisciplinary Game Theory, Economics, Social and Behav. Sciences |
| 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 | ||
| ||
27th International Meshing Roundtable / / edited by Xevi Roca, Adrien Loseille
| 27th International Meshing Roundtable / / edited by Xevi Roca, Adrien Loseille |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (IX, 490 p. 314 illus., 249 illus. in color.) |
| Disciplina |
004
518.25 |
| Collana | Lecture Notes in Computational Science and Engineering |
| Soggetto topico |
Computer mathematics
Software engineering Numerical analysis Computer science—Mathematics Computer-aided engineering Computer simulation Computational Science and Engineering Software Engineering Numeric Computing Math Applications in Computer Science Computer-Aided Engineering (CAD, CAE) and Design Simulation and Modeling |
| ISBN | 3-030-13992-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1: High-order Adapted Meshes -- P2 Mesh Optimization Operators -- Isometric Embedding of Curvilinear Meshes Defined on Riemannian Metric Spaces -- Defining a Stretching and Alignment Aware Quality Measure for Linear and Curved 2D Meshes -- Curvilinear Mesh Adaptation -- Part 2 : Mesh and Geometry Blocks, Hex mesh generation -- A 44-Element Mesh of Schneiders' Pyramid: Bounding the Difficulty of Hex-Meshing Problems -- Representing Three-dimensional Cross Fields Using 4th Order Tensors -- Medial Axis Based Bead Feature Recognition for Automotive Body Panel Meshing -- An Angular Method with Position Control for Block Mesh Squareness Improvement -- Dual Surface Based Approach to Block Decomposition of Solid Models -- Automatic Blocking of Shapes using Evolutionary Algorithm -- Multi-block mesh refinement by adding mesh singularities -- Part 3: Simplicial Meshes -- Tuned Terminal Triangles Centroid Delaunay Algorithm for Quality Triangulation -- Local Bisection for Conformal Refinement of Unstructured 4D Simplicial Meshes -- A Construction of Anisotropic Meshes Based on Quasi Conformal Mapping -- Terminal Star Operations Algorithm for Tetrahedral Mesh Improvement -- Part 4: Curved High-Order Meshes -- Towards Simulation-Driven Optimization of High-Order Meshes by the Target-Matrix Optimization Paradigm -- Curving for Viscous Meshes -- An Angular Approach to Untangling High-Order Curvilinear Triangular Meshes -- Imposing Boundary Conditions to Match a CAD Virtual Geometry for the Mesh Curving Problem -- Part 5: Parallel and Fast Meshing Methods -- Exact Fast Parallel Intersection of Large 3-D Triangular Meshes -- Performance Comparison and Workload Analysis of Mesh Untangling and Smoothing Algorithms -- Accurate Manycore-Accelerated Manifold Surface Remesh Kernels -- Parallel Performance Model for Vertex Repositioning Algorithms and Application to Mesh Partitioning -- Discrete Mesh Optimization on GPU -- Mesh Morphing for Turbomachinery Applications Using Radial Basis Functions. |
| Record Nr. | UNINA-9910349352403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
3D Kinematics / / by Thomas Haslwanter
| 3D Kinematics / / by Thomas Haslwanter |
| Autore | Haslwanter Thomas |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XV, 191 p. 173 illus., 73 illus. in color.) |
| Disciplina | 629.892 |
| Soggetto topico |
Robotics
Automation Mathematical models Computer simulation Robotics and Automation Mathematical Modeling and Industrial Mathematics Simulation and Modeling |
| ISBN | 3-319-75277-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Measurement Techniques -- Rotation Matrices -- Quaternions and Gibbs Vectors -- Velocities in 3D Space -- Recording 3D Movements -- Multi-sensor Integration. |
| Record Nr. | UNINA-9910303435603321 |
Haslwanter Thomas
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| 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 Computer engineering Internet of things Embedded computer systems Computer simulation User interfaces (Computer systems) Manufacturing, Machines, Tools, Processes Information Systems Applications (incl. Internet) Cyber-physical systems, IoT Simulation and Modeling 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 | ||
| ||
50 Years of Artificial Intelligence [[electronic resource] ] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer
| 50 Years of Artificial Intelligence [[electronic resource] ] : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (X, 399 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computers Data mining Computer simulation Pattern recognition Artificial Intelligence Software Engineering Computation by Abstract Devices Data Mining and Knowledge Discovery Simulation and Modeling Pattern Recognition |
| ISBN | 3-540-77296-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Historical and Philosophical Issues -- AI in the 21st Century – With Historical Reflections -- The Physical Symbol System Hypothesis: Status and Prospects -- Fifty Years of AI: From Symbols to Embodiment - and Back -- 2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years -- Evolutionary Humanoid Robotics: Past, Present and Future -- Philosophical Foundations of AI -- On the Role of AI in the Ongoing Paradigm Shift within the Cognitive Sciences -- Information Theory and Quantification -- On the Information Theoretic Implications of Embodiment – Principles and Methods -- Development Via Information Self-structuring of Sensorimotor Experience and Interaction -- How Information and Embodiment Shape Intelligent Information Processing -- Preliminary Considerations for a Quantitative Theory of Networked Embodied Intelligence -- A Quantitative Investigation into Distribution of Memory and Learning in Multi Agent Systems with Implicit Communications -- Morphology and Dynamics -- AI in Locomotion: Challenges and Perspectives of Underactuated Robots -- On the Task Distribution Between Control and Mechanical Systems -- Bacteria Integrated Swimming Microrobots -- Adaptive Multi-modal Sensors -- Neurorobotics -- What Can AI Get from Neuroscience? -- Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behavior -- Adaptive Behavior Control with Self-regulating Neurons -- Brain Area V6A: A Cognitive Model for an Embodied Artificial Intelligence -- The Man-Machine Interaction: The Influence of Artificial Intelligence on Rehabilitation Robotics -- Machine Intelligence, Cognition, and Natural Language Processing -- Tests of Machine Intelligence -- A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots -- Anticipation and Future-Oriented Capabilities in Natural and Artificial Cognition -- Computer-Supported Human-Human Multilingual Communication -- Human-Like Intelligence: Motivation, Emotions, and Consciousness -- A Paradigm Shift in Artificial Intelligence: Why Social Intelligence Matters in the Design and Development of Robots with Human-Like Intelligence -- Intrinsically Motivated Machines -- Curious and Creative Machines -- Applying Data Fusion in a Rational Decision Making with Emotional Regulation -- How to Build Consciousness into a Robot: The Sensorimotor Approach -- Robot Platforms -- A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI -- The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition -- Intelligent Mobile Manipulators in Industrial Applications: Experiences and Challenges -- Art and AI -- The Dynamic Darwinian Diorama: A Landlocked Archipelago Enhances Epistemology. |
| Altri titoli varianti | Fifty years of artificial intelligence: essays dedicated to the fiftieth anniversary of artificial intelligence |
| Record Nr. | UNISA-996465394603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
50 Years of Artificial Intelligence : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer
| 50 Years of Artificial Intelligence : Essays Dedicated to the 50th Anniversary of Artificial Intelligence / / edited by Max Lungarella, Fumiya Iida, Josh Bongard, Rolf Pfeifer |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (X, 399 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Software engineering Computers Data mining Computer simulation Pattern perception Artificial Intelligence Software Engineering Computation by Abstract Devices Data Mining and Knowledge Discovery Simulation and Modeling Pattern Recognition |
| ISBN | 3-540-77296-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Historical and Philosophical Issues -- AI in the 21st Century – With Historical Reflections -- The Physical Symbol System Hypothesis: Status and Prospects -- Fifty Years of AI: From Symbols to Embodiment - and Back -- 2006: Celebrating 75 Years of AI - History and Outlook: The Next 25 Years -- Evolutionary Humanoid Robotics: Past, Present and Future -- Philosophical Foundations of AI -- On the Role of AI in the Ongoing Paradigm Shift within the Cognitive Sciences -- Information Theory and Quantification -- On the Information Theoretic Implications of Embodiment – Principles and Methods -- Development Via Information Self-structuring of Sensorimotor Experience and Interaction -- How Information and Embodiment Shape Intelligent Information Processing -- Preliminary Considerations for a Quantitative Theory of Networked Embodied Intelligence -- A Quantitative Investigation into Distribution of Memory and Learning in Multi Agent Systems with Implicit Communications -- Morphology and Dynamics -- AI in Locomotion: Challenges and Perspectives of Underactuated Robots -- On the Task Distribution Between Control and Mechanical Systems -- Bacteria Integrated Swimming Microrobots -- Adaptive Multi-modal Sensors -- Neurorobotics -- What Can AI Get from Neuroscience? -- Dynamical Systems in the Sensorimotor Loop: On the Interrelation Between Internal and External Mechanisms of Evolved Robot Behavior -- Adaptive Behavior Control with Self-regulating Neurons -- Brain Area V6A: A Cognitive Model for an Embodied Artificial Intelligence -- The Man-Machine Interaction: The Influence of Artificial Intelligence on Rehabilitation Robotics -- Machine Intelligence, Cognition, and Natural Language Processing -- Tests of Machine Intelligence -- A Hierarchical Concept Oriented Representation for Spatial Cognition in Mobile Robots -- Anticipation and Future-Oriented Capabilities in Natural and Artificial Cognition -- Computer-Supported Human-Human Multilingual Communication -- Human-Like Intelligence: Motivation, Emotions, and Consciousness -- A Paradigm Shift in Artificial Intelligence: Why Social Intelligence Matters in the Design and Development of Robots with Human-Like Intelligence -- Intrinsically Motivated Machines -- Curious and Creative Machines -- Applying Data Fusion in a Rational Decision Making with Emotional Regulation -- How to Build Consciousness into a Robot: The Sensorimotor Approach -- Robot Platforms -- A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI -- The iCub Cognitive Humanoid Robot: An Open-System Research Platform for Enactive Cognition -- Intelligent Mobile Manipulators in Industrial Applications: Experiences and Challenges -- Art and AI -- The Dynamic Darwinian Diorama: A Landlocked Archipelago Enhances Epistemology. |
| Altri titoli varianti | Fifty years of artificial intelligence: essays dedicated to the fiftieth anniversary of artificial intelligence |
| Record Nr. | UNINA-9910484046403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| 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 |
Special purpose computers
Computer simulation Artificial intelligence Data protection Computer system failures Special Purpose and Application-Based Systems Simulation and Modeling Artificial Intelligence 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 | ||
| ||
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 logic
Mathematical logic Computers Computer simulation Logics and Meanings of Programs Mathematical Logic and Formal Languages Computation by Abstract Devices Simulation and Modeling |
| 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 | ||
| ||
Soggetto topico
- Computer simulation (1313)
-
Simulation and Modeling
(1313)
- Artificial intelligence (454)
- Artificial Intelligence (449)
- Software engineering (307)