Big Data Science and Analytics for Smart Sustainable Urbanism : Unprecedented Paradigmatic Shifts and Practical Advancements / / by Simon Elias Bibri |
Autore | Bibri Simon Elias |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (354 pages) |
Disciplina |
307.1216
307.116 |
Collana | Advances in Science, Technology & Innovation, IEREK Interdisciplinary Series for Sustainable Development |
Soggetto topico |
Regional planning
Urban planning Big data Sustainable development Computational complexity Management Industrial management Landscape/Regional and Urban Planning Big Data/Analytics Sustainable Development Complexity Innovation/Technology Management |
ISBN | 3-030-17312-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction: The Evolving Data–Driven Smart Sustainable Approach to Urbanism for Tackling the Challenges of Sustainability and Urbanization -- Smart Sustainable Urbanism and Big Data Computing: A Topical Literature Review -- Conceptual, Theoretical, and Disciplinary Foundations: An Interdisciplinary and Transdisciplinary Perspective -- The Data-Driven Smart Sustainable Paradigm of Urbanism: A Qualitative Analysis of Long–lasting Trends -- The Anatomy of the Data-Driven Smart Sustainable City: Instrumentation, Datafication, Computerization, and Technologization -- Paradigmatic, Scientific, Scholarly, Epistemic, and Discursive Shifts in Light of Big Data Science and Analytics -- On the Unsustainability and Sustainability of Smart Urbanism in the Era of Big Data -- Advancing Sustainable Urbanism Processes: The Key Practical and Analytical Applications of Big Data Computing for Urban Systems and Domains -- The Unfolding and Soaring Data Deluge for Advancing Smart Sustainable Urbanism: Data-Driven Urban Studies and Analytics -- Data-Driven Smart Sustainable Urbanism: Decision–Making, Intelligence Functions, Simulation Models, Optimization Methods, and their Synergy in Complex City Systems -- Towards a Novel Model Integrating the Data-Driven City, the Eco-city, and the Compact City: A Scholarly and Planning Approach to Future Vision Construction. |
Record Nr. | UNINA-9910337897803321 |
Bibri Simon Elias | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Biological and Artificial Computation: From Neuroscience to Technology [[electronic resource] ] : International Work-Conference on Artificial and Natural Neural Networks, IWANN’97, Lanzarote, Canary Islands, Spain, June 4–6, 1997 Proceedings / / edited by Jose Mira, Roberto Moreno-Diaz, Joan Cabestany |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XLII, 1406 p. 856 illus.) |
Disciplina | 006.3/2 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Artificial intelligence Computational complexity Neurosciences Computer communication systems Animal physiology Computation by Abstract Devices Artificial Intelligence Complexity Computer Communication Networks Animal Physiology |
ISBN | 3-540-69074-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Microcircuits in the brain -- Some reflections on the relationships between neuroscience and computation -- Different types of temporal correlations obtained in pairs of thalamic visual neurons suggest different functional patterns of connectivity -- Development of on-off and off-on receptive fields using a semistochastic model -- The classification of spatial, chromatic, and intensity features of simple visual stimuli by a network of retinal ganglion cells -- Geometric model of orientation tuning dynamics in striate neurons -- Neuronal circuitry in the medial cerebral cortex of lizards -- Interactions between environmental and hormonal oscillations induce plastic changes in a simple neuroendocrine transducer -- Current Source Density analysis as a tool to constrain the parameter space in hippocampal CA1 neuron models -- Spontaneous activity of hippocampal cells in various physiological states -- Neural network model of striatal complex -- Symmetry and self-organization of the oculomotor neural integrator -- Quantal neural mechanisms underlying movement execution and motor learning -- A model of cerebellar saccadic motor learning using qualitative reasoning -- Balance between intercellular coupling and input resistance as a necessary requirement for oscillatory electrical activity in pancreatic ?-cells -- Mechanisms of synchronization in the hippocampus and its role along development -- Analysis of synfire chains above saturation -- Allometry in the Justo Gonzalo's model of the sensorial cortex -- Systems models of retinal cells: A classical example -- A generic formulation of neural nets as a model of parallel and self-programming computation -- Using an artificial neural network for studying the interneuronal layer of a leech neuronal circuit -- Capacity and parasitic fixed points control in a recursive neural network -- The use of prior knowledge in neural network configuration and training -- A model for heterogeneous neurons and its use in configuring neural networks for classification problems -- A computation theory for orientation-selective simple cells based on the MAP estimation principle and Markov random fields -- Competition between feed-forward and lateral information processing in layered neural networks -- Computing functions with spiking neurons in temporal coding -- An introduction to Fuzzy State Automata -- Statistical analysis of regularization constant — From Bayes, MDL and NIC points of view -- Building digital libraries from paper documents, using ART based neuro-fuzzy systems -- Parallelization of connectionist models based on a symbolic formalism -- Generic neural network model and simulation toolkit -- A neural-fuzzy technique for interpolating spatial data via the use of learning curve -- Task decomposition based on class relations: A modular neural network architecture for pattern classification -- Lower bounds of computational power of a synaptic calculus -- Feed Forward Neural Network entities -- Astrocytes and slow learning in the formation of distal cortical associations -- Adaptation and other dynamic effects on neural signal transfer -- Hebbian learning in networks of spiking neurons using temporal coding -- An associative learning model for coupled neural oscillators -- Random perturbations to Hebbian synapses of associative memory using a genetic algorithm -- Phase memory in oscillatory networks -- Strategies for autonomous adaptation and learning in dynamical networks -- Modeling the parallel development of multiple featuremaps and topography in visual cortex -- Stability and hebbian learning in populations of probabilistic neurons -- Stochastic approximation techniques and circuits and systems associated tools for neural network optimization -- Recursive hetero-associative memories for translation -- Universal Binary and Multi-Valued Neurons paradigm: Conception, learning, applications -- Learning a Markov process with a synchronous Boltzmann machine -- The ?-EM algorithm: A block connectable generalized leaning tool for neural networks -- Training simple recurrent networks through gradient descent algorithms -- On simultaneous weight and architecture learning -- Evolution of structure and learning — A GP approach -- Self-organizing formation of receptive fields and competitive systems -- Optimizing a neural network architecture with an adaptive parameter genetic algorithm -- Self-organizing symbolic learned rules -- Viewing a class of neurodynamics on parameter space -- Hopfield neural network applied to optimization problems: Some theoretical and simulation results -- A genetic approach to computing Independent And Parallelism in logic programs -- Predicting toxicity of complex mixtures by artificial neural networks -- Regularisation by Convolution in Symmetric-?-Stable function networks -- Continuation of chaotic fields by RBFNN -- Improving the performance of Piecewise linear Separation incremental algorithms for practical hardware implementations -- Accurate decomposition of standard MLP classification responses into symbolic rules -- A hybrid intelligent system for the pre-processing of Fetal Heart rate signals in antenatal testing -- The pattern extraction architecture: A connectionist alternative to the von Neumann architecture -- A two-level heterogeneous hybrid model -- Interpretation of a hierarchical neural network -- Cognitive processes in social interactions — A neural networks' approach -- Adding phase to recurrent backpropagation networks: An application to binding tasks in vision -- Schema-based learning: Biologically inspired principles of dynamic organization -- Digital connectionist hardware: Current problems and future challenges -- EpsiloNN — A specification language for the efficient parallel simulation of neural networks -- Forward-backward building blocks for evolving neural networks with intrinsic learning behaviours -- A cascade network algorithm employing Progressive RPROP -- Tight bounds on the size of neural networks for classification problems -- On the possibilities of the limited precision weights neural networks in classification problems -- A modified backpropagation algorithm to tolerate weight errors -- A high performance SOFM hardware-system -- On application incentive and constraints for neural network hardware development -- A fast Kohonen net implementation for spert-II -- Synthesis and optimization of a bit-serial pipeline kernel processor -- A hardware implementation of CNNs based on Pulse Stream Techniques -- Evaluation of the CNAPS neuro-computer for the simulation of MLPS with receptive fields -- AFAN, a tool for the automatic design of fuzzy and neural controllers -- A fully stochastic fuzzy logic controller -- Multi-Neural Networks hardware and software architecture: Application of the divide to simplify paradigm DTS -- A fuzzy controller for switching regulators with programmable control surfaces -- The Kohonen algorithm: A powerful tool for analysing and representing multidimensional quantitative and qualitative data -- Constrained neural network for estimating sensor reliability in sensors fusion -- Statistical analysis of the main parameters in the definition of Radial Basis Function networks -- Structural level comparison of two basic paradigms in neural computation -- Symmetry: Between indecision and equality of choice -- A non-convergent on-line training algorithm for neural networks -- Using classical and evolutive neural models in industrial applications: A case study for an automatic Coin Classifier -- A new type of unsupervised growing neural network for biological sequence classification that adopts the topology of a phylogenetic tree -- Classification of the onset of respiratory difficulties in ventilation assisted neonates -- A neural network approach for symbolic interpretation in critical care -- ECG beat classification with synaptic delay based artificial neural networks -- Neural network-based insulin infusion control for an insulin-pump, using discontinuous blood glucose measurements -- Infraclinic breast carcinoma: Application of neural networks techniques for the indication of radioguided biopsias -- Detection of Glaucoma by means of ANNs -- A comparative analysis of the neonatal prognosis problem using artificial neural networks, statistical techniques and certainty management techniques -- Models of visual processing derived from cortical microelectrode recordings -- Rotation invariant IR object recognition using adaptive kernel subspace projections with a neural network -- Neural networks based projectivity invariant recognition of flat patterns -- The instant laboratory: Bringing intelligence to the workfloor -- A biological front-end processing for speech recognition -- Non parametric coding of speech by means of a MLP with hints -- Gray-level object segmentation with a network of FitzHugh-Nagumo oscillators -- Multidimensional filtering inspired by retino-cortical projection: Application to texture segmentation -- A competitive neural network for blind separation of sources based on geometric properties -- A new bio-inspired algorithm for early vision edge detection and image segmentation -- Function of biological asymmetrical neural networks -- Identification of spectral features as sound localization cues in the external ear acoustics -- Phoneme recognition by means of predictive neural networks -- Shift-invariant fuzzy-morphology neural network for occluded target recognition -- A comparative study between linear and nonlinear speech prediction -- Recognition model with extension fields -- A GA-optimized neural network for classification of biological particles from electron-microscopy images -- Application of artificial neural networks to the design and implementation of electronic olfactory systems -- Application of a multilayer discrete-time CNN to deformable models -- Spoken-digit recognition using self-organizing maps with perceptual pre-processing -- Noise discrimination . |
Record Nr. | UNINA-9910144921203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Biological and Artificial Computation: From Neuroscience to Technology [[electronic resource] ] : International Work-Conference on Artificial and Natural Neural Networks, IWANN’97, Lanzarote, Canary Islands, Spain, June 4–6, 1997 Proceedings / / edited by Jose Mira, Roberto Moreno-Diaz, Joan Cabestany |
Edizione | [1st ed. 1997.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 |
Descrizione fisica | 1 online resource (XLII, 1406 p. 856 illus.) |
Disciplina | 006.3/2 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Artificial intelligence Computational complexity Neurosciences Computer communication systems Animal physiology Computation by Abstract Devices Artificial Intelligence Complexity Computer Communication Networks Animal Physiology |
ISBN | 3-540-69074-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Microcircuits in the brain -- Some reflections on the relationships between neuroscience and computation -- Different types of temporal correlations obtained in pairs of thalamic visual neurons suggest different functional patterns of connectivity -- Development of on-off and off-on receptive fields using a semistochastic model -- The classification of spatial, chromatic, and intensity features of simple visual stimuli by a network of retinal ganglion cells -- Geometric model of orientation tuning dynamics in striate neurons -- Neuronal circuitry in the medial cerebral cortex of lizards -- Interactions between environmental and hormonal oscillations induce plastic changes in a simple neuroendocrine transducer -- Current Source Density analysis as a tool to constrain the parameter space in hippocampal CA1 neuron models -- Spontaneous activity of hippocampal cells in various physiological states -- Neural network model of striatal complex -- Symmetry and self-organization of the oculomotor neural integrator -- Quantal neural mechanisms underlying movement execution and motor learning -- A model of cerebellar saccadic motor learning using qualitative reasoning -- Balance between intercellular coupling and input resistance as a necessary requirement for oscillatory electrical activity in pancreatic ?-cells -- Mechanisms of synchronization in the hippocampus and its role along development -- Analysis of synfire chains above saturation -- Allometry in the Justo Gonzalo's model of the sensorial cortex -- Systems models of retinal cells: A classical example -- A generic formulation of neural nets as a model of parallel and self-programming computation -- Using an artificial neural network for studying the interneuronal layer of a leech neuronal circuit -- Capacity and parasitic fixed points control in a recursive neural network -- The use of prior knowledge in neural network configuration and training -- A model for heterogeneous neurons and its use in configuring neural networks for classification problems -- A computation theory for orientation-selective simple cells based on the MAP estimation principle and Markov random fields -- Competition between feed-forward and lateral information processing in layered neural networks -- Computing functions with spiking neurons in temporal coding -- An introduction to Fuzzy State Automata -- Statistical analysis of regularization constant — From Bayes, MDL and NIC points of view -- Building digital libraries from paper documents, using ART based neuro-fuzzy systems -- Parallelization of connectionist models based on a symbolic formalism -- Generic neural network model and simulation toolkit -- A neural-fuzzy technique for interpolating spatial data via the use of learning curve -- Task decomposition based on class relations: A modular neural network architecture for pattern classification -- Lower bounds of computational power of a synaptic calculus -- Feed Forward Neural Network entities -- Astrocytes and slow learning in the formation of distal cortical associations -- Adaptation and other dynamic effects on neural signal transfer -- Hebbian learning in networks of spiking neurons using temporal coding -- An associative learning model for coupled neural oscillators -- Random perturbations to Hebbian synapses of associative memory using a genetic algorithm -- Phase memory in oscillatory networks -- Strategies for autonomous adaptation and learning in dynamical networks -- Modeling the parallel development of multiple featuremaps and topography in visual cortex -- Stability and hebbian learning in populations of probabilistic neurons -- Stochastic approximation techniques and circuits and systems associated tools for neural network optimization -- Recursive hetero-associative memories for translation -- Universal Binary and Multi-Valued Neurons paradigm: Conception, learning, applications -- Learning a Markov process with a synchronous Boltzmann machine -- The ?-EM algorithm: A block connectable generalized leaning tool for neural networks -- Training simple recurrent networks through gradient descent algorithms -- On simultaneous weight and architecture learning -- Evolution of structure and learning — A GP approach -- Self-organizing formation of receptive fields and competitive systems -- Optimizing a neural network architecture with an adaptive parameter genetic algorithm -- Self-organizing symbolic learned rules -- Viewing a class of neurodynamics on parameter space -- Hopfield neural network applied to optimization problems: Some theoretical and simulation results -- A genetic approach to computing Independent And Parallelism in logic programs -- Predicting toxicity of complex mixtures by artificial neural networks -- Regularisation by Convolution in Symmetric-?-Stable function networks -- Continuation of chaotic fields by RBFNN -- Improving the performance of Piecewise linear Separation incremental algorithms for practical hardware implementations -- Accurate decomposition of standard MLP classification responses into symbolic rules -- A hybrid intelligent system for the pre-processing of Fetal Heart rate signals in antenatal testing -- The pattern extraction architecture: A connectionist alternative to the von Neumann architecture -- A two-level heterogeneous hybrid model -- Interpretation of a hierarchical neural network -- Cognitive processes in social interactions — A neural networks' approach -- Adding phase to recurrent backpropagation networks: An application to binding tasks in vision -- Schema-based learning: Biologically inspired principles of dynamic organization -- Digital connectionist hardware: Current problems and future challenges -- EpsiloNN — A specification language for the efficient parallel simulation of neural networks -- Forward-backward building blocks for evolving neural networks with intrinsic learning behaviours -- A cascade network algorithm employing Progressive RPROP -- Tight bounds on the size of neural networks for classification problems -- On the possibilities of the limited precision weights neural networks in classification problems -- A modified backpropagation algorithm to tolerate weight errors -- A high performance SOFM hardware-system -- On application incentive and constraints for neural network hardware development -- A fast Kohonen net implementation for spert-II -- Synthesis and optimization of a bit-serial pipeline kernel processor -- A hardware implementation of CNNs based on Pulse Stream Techniques -- Evaluation of the CNAPS neuro-computer for the simulation of MLPS with receptive fields -- AFAN, a tool for the automatic design of fuzzy and neural controllers -- A fully stochastic fuzzy logic controller -- Multi-Neural Networks hardware and software architecture: Application of the divide to simplify paradigm DTS -- A fuzzy controller for switching regulators with programmable control surfaces -- The Kohonen algorithm: A powerful tool for analysing and representing multidimensional quantitative and qualitative data -- Constrained neural network for estimating sensor reliability in sensors fusion -- Statistical analysis of the main parameters in the definition of Radial Basis Function networks -- Structural level comparison of two basic paradigms in neural computation -- Symmetry: Between indecision and equality of choice -- A non-convergent on-line training algorithm for neural networks -- Using classical and evolutive neural models in industrial applications: A case study for an automatic Coin Classifier -- A new type of unsupervised growing neural network for biological sequence classification that adopts the topology of a phylogenetic tree -- Classification of the onset of respiratory difficulties in ventilation assisted neonates -- A neural network approach for symbolic interpretation in critical care -- ECG beat classification with synaptic delay based artificial neural networks -- Neural network-based insulin infusion control for an insulin-pump, using discontinuous blood glucose measurements -- Infraclinic breast carcinoma: Application of neural networks techniques for the indication of radioguided biopsias -- Detection of Glaucoma by means of ANNs -- A comparative analysis of the neonatal prognosis problem using artificial neural networks, statistical techniques and certainty management techniques -- Models of visual processing derived from cortical microelectrode recordings -- Rotation invariant IR object recognition using adaptive kernel subspace projections with a neural network -- Neural networks based projectivity invariant recognition of flat patterns -- The instant laboratory: Bringing intelligence to the workfloor -- A biological front-end processing for speech recognition -- Non parametric coding of speech by means of a MLP with hints -- Gray-level object segmentation with a network of FitzHugh-Nagumo oscillators -- Multidimensional filtering inspired by retino-cortical projection: Application to texture segmentation -- A competitive neural network for blind separation of sources based on geometric properties -- A new bio-inspired algorithm for early vision edge detection and image segmentation -- Function of biological asymmetrical neural networks -- Identification of spectral features as sound localization cues in the external ear acoustics -- Phoneme recognition by means of predictive neural networks -- Shift-invariant fuzzy-morphology neural network for occluded target recognition -- A comparative study between linear and nonlinear speech prediction -- Recognition model with extension fields -- A GA-optimized neural network for classification of biological particles from electron-microscopy images -- Application of artificial neural networks to the design and implementation of electronic olfactory systems -- Application of a multilayer discrete-time CNN to deformable models -- Spoken-digit recognition using self-organizing maps with perceptual pre-processing -- Noise discrimination . |
Record Nr. | UNISA-996465383703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Biomimetics for Architecture & Design : Nature - Analogies - Technology / / by Göran Pohl, Werner Nachtigall |
Autore | Pohl Göran |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (353 p.) |
Disciplina | 620 |
Soggetto topico |
Buildings—Design and construction
Building Construction Engineering, Architectural Biomedical engineering Industrial design Computational complexity Engineering design Regional planning Urban planning Building Construction and Design Biomedical Engineering and Bioengineering Industrial Design Complexity Engineering Design Landscape/Regional and Urban Planning |
ISBN | 3-319-19120-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Technical Biology and Biomimetics -- Buildings, Architecture and Biomimetics -- Biomimetics for Buildings -- Natural Functions and Processes as Prototypes for Buildings -- Biological Support and Envelope Structures and their Counterparts in Buildings -- Products and Architecture - Examples of Biomimetics for Buildings -- Brief Information to Biological Structures -- Appendix. |
Record Nr. | UNINA-9910299672603321 |
Pohl Göran | ||
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Book of Extremes : Why the 21st Century Isn’t Like the 20th Century / / by Ted G. Lewis |
Autore | Lewis Ted G |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Copernicus, , 2014 |
Descrizione fisica | 1 online resource (190 p.) |
Disciplina |
531.1133
620 621 900 |
Soggetto topico |
Computational complexity
Statistical physics Physics History Complexity Applications of Nonlinear Dynamics and Chaos Theory Applications of Graph Theory and Complex Networks History, general |
ISBN | 3-319-06926-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Waves -- Flashes -- Sparks -- Booms -- Bubbles -- Shocks -- Xtremes -- Bombs -- Leaps -- Transitions. |
Record Nr. | UNINA-9910299754603321 |
Lewis Ted G | ||
Cham : , : Springer International Publishing : , : Imprint : Copernicus, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Boundaries of a complex world / / by Andrei Ludu |
Autore | Ludu Andrei |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (365 p.) |
Disciplina | 530 |
Collana | Springer Series in Synergetics |
Soggetto topico |
Statistical physics
System theory Computational complexity Systems biology Ecology Physical geography Applications of Nonlinear Dynamics and Chaos Theory Complex Systems Complexity Systems Biology Theoretical Ecology/Statistics Earth System Sciences |
ISBN | 3-662-49078-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I Arts and Nonlinear Systems: `Nonlineart' -- Part II Mathematical Language -- Part III Applications -- Conclusions -- References. |
Record Nr. | UNINA-9910254623203321 |
Ludu Andrei | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek |
Autore | Krajícek, Jan |
Pubbl/distr/stampa | Cambridge [England] ; New York : Cambridge University Press, 1995 |
Descrizione fisica | xiii, 343 p. ; 24 cm. |
Disciplina | 511.3 |
Collana | Encyclopedia of mathematics and its applications ; 60 |
Soggetto topico |
Computational complexity
Constructive mathematics Proposition (Logic) |
ISBN | 0521452058 |
Classificazione |
AMS 03F
QA9.56.K73 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000722369707536 |
Krajícek, Jan | ||
Cambridge [England] ; New York : Cambridge University Press, 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Bounded variable logics and counting : a study in finite models |
Autore | Otto Martin |
Edizione | [1st ed.] |
Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1997 |
Descrizione fisica | 1 online resource (190 pages) |
Disciplina | 511.3/3 |
Collana | Lecture notes in logic Bounded variable logics and counting |
Soggetto topico |
Model theory
Computational complexity Mathematics Physical Sciences & Mathematics Mathematical Theory |
ISBN | 3-662-21676-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index. |
Record Nr. | UNISA-996210818203316 |
Otto Martin | ||
[Place of publication not identified], : Springer, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Bounded variable logics and counting : a study in finite models |
Autore | Otto Martin |
Edizione | [1st ed.] |
Pubbl/distr/stampa | [Place of publication not identified], : Springer, 1997 |
Descrizione fisica | 1 online resource (190 pages) |
Disciplina | 511.3/3 |
Collana | Lecture notes in logic Bounded variable logics and counting |
Soggetto topico |
Model theory
Computational complexity Mathematics Physical Sciences & Mathematics Mathematical Theory |
ISBN | 3-662-21676-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Lecture Notes in Logic 9 Bounded Variable Logics and Counting A Study in Finite Models -- Bounded Variable Logics and Counting -- Copyright -- Preface -- Table of Contents -- 0. Introduction -- 1. Definitions and Preliminaries -- 2. The Games and Their Analysis -- 3. The Invariants -- 4. Fixed-Point Logic with Counting -- 5. Related Lindström Extensions -- 6. Canonization Problems -- 7. Canonization for Two Variables -- Bibliography -- Index. |
Record Nr. | UNINA-9910482885703321 |
Otto Martin | ||
[Place of publication not identified], : Springer, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Breakdown in Traffic Networks : Fundamentals of Transportation Science / / by Boris S. Kerner |
Autore | Kerner Boris S |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXIX, 652 p. 214 illus., 102 illus. in color.) |
Disciplina | 629.04 |
Soggetto topico |
Transportation engineering
Traffic engineering Sociophysics Econophysics Computational complexity Physics Transportation Technology and Traffic Engineering Data-driven Science, Modeling and Theory Building Complexity Applications of Graph Theory and Complex Networks |
ISBN | 3-662-54473-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Introduction. The Reason for Paradigm Shift in Transportation Science -- Achievements of Empirical Studies of Traffic Breakdown at Highway Bottlenecks -- Nucleation Nature of Traffic Breakdown – Empirical Fundamentalof Transportation Science -- Failure of Generally Accepted Classical Traffic Flow Theories -- Theoretical Fundamental of Transportation Science – The Three-Phase Theory -- Effect of Automatic Driving on Probability of Breakdown in Traffic Networks -- Future Automatic Driving based on Three-Phase Theory -- The Reason for Incommensurability of Three-Phase Theory with Classical Traffic Flow Theories -- Time-Delayed Breakdown at Traffic Signal in City Traffic -- Theoretical Fundamental of Transportation Science – Breakdown Minimization (BM) Principle -- Maximization of Network Throughput Ensuring Free Flow Conditions in Network -- Minimization of Traffic Congestion in Networks -- Deterioration of Traffic System through Standard Dynamic Traffic Assignment in Networks -- Discussion of Future Dynamic Traffic Assignment and Control in Networks -- Conclusions and Outlook -- Kerner-Klenov Stochastic Microscopic Model in Framework of Three-Phase Theory -- Kerner-Klenov-Schreckenberg-Wolf (KKSW) Cellular Automaton (CA) Three-Phase Model -- Dynamic Traffic Assignment based on Wardrop’s UE with Step-by-Step Method -- Glossary -- Index. |
Record Nr. | UNINA-9910254320003321 |
Kerner Boris S | ||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|