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.
Advanced Computational Methods in Life System Modeling and Simulation : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I / / edited by Minrui Fei, Shiwei Ma, Xin Li, Xin Sun, Li Jia, Zhou Su
| Advanced Computational Methods in Life System Modeling and Simulation : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part I / / edited by Minrui Fei, Shiwei Ma, Xin Li, Xin Sun, Li Jia, Zhou Su |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 609 p. 348 illus.) |
| Disciplina | 574.01 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer simulation
Bioinformatics Medical informatics Simulation and Modeling Computational Biology/Bioinformatics Health Informatics |
| ISBN | 981-10-6370-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Biomedical Signal Processing -- Computational Methods in Organism Modeling -- Medical Apparatus and Clinical Applications -- Bionics Control Methods, Algorithms and Apparatus -- Modeling and Simulation of Life Systems -- Data Driven Analysis -- Image and Video Processing -- Advanced Fuzzy and Neural Network Theory and Algorithms -- Advanced Evolutionary Methods and Applications -- Advanced Machine Learning Methods and Applications -- Intelligent Modeling, Monitoring, and Control of Complex Nonlinear Systems -- Advanced Methods for Networked Systems -- Control and Analysis of Transportation Systems -- Advanced Sliding Mode Control and Applications -- Advanced Analysis of New Materials and Devices -- Computational Intelligence in Utilization of Clean and Renewable Energy Resources -- Intelligent Methods for Energy Saving and Pollution Reduction -- Intelligent Methods in Developing Electric Vehicles, Engines and Equipment -- Intelligent Computing and Control in Power Systems -- Modeling, Simulation and Control in Smart Grid and Microgrid -- Optimization Methods; Computational Methods for Sustainable Environment. . |
| Record Nr. | UNINA-9910254837303321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advancement in Computational Methods for Life Systems Modelling and Simulation : 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I
| Advancement in Computational Methods for Life Systems Modelling and Simulation : 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024, Proceedings, Part I |
| Autore | Fei Minrui |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , 2025 |
| Descrizione fisica | 1 online resource (487 pages) |
| Altri autori (Persone) |
WuHongjie
NiuQun LiXin ZhangJingjing |
| Collana | Communications in Computer and Information Science Series |
| ISBN |
9789819601882
9819601886 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910919817103321 |
Fei Minrui
|
||
| Singapore : , : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
K-Theory for Group C-Algebras and Semigroup C*-Algebras / / by Joachim Cuntz, Siegfried Echterhoff, Xin Li, Guoliang Yu
| K-Theory for Group C-Algebras and Semigroup C*-Algebras / / by Joachim Cuntz, Siegfried Echterhoff, Xin Li, Guoliang Yu |
| Autore | Cuntz Joachim |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2017 |
| Descrizione fisica | 1 online resource (X, 322 p.) |
| Disciplina | 512.55 |
| Collana | Oberwolfach Seminars |
| Soggetto topico |
K-theory
Functional analysis Global analysis (Mathematics) Manifolds (Mathematics) K-Theory Functional Analysis Global Analysis and Analysis on Manifolds |
| ISBN | 3-319-59915-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910254286503321 |
|
Cuntz Joachim
|
||
| Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Life System Modeling and Simulation : International Conference on Life System Modeling and Simulation, LSMS 2014, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part I / / edited by Shiwei Ma, Li Jia, Xin Li, Ling Wang, Huiyu Zhou, Xin Sun
| Life System Modeling and Simulation : International Conference on Life System Modeling and Simulation, LSMS 2014, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 2014, Proceedings, Part I / / edited by Shiwei Ma, Li Jia, Xin Li, Ling Wang, Huiyu Zhou, Xin Sun |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVI, 426 p. 262 illus.) |
| Disciplina | 574.01 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer simulation
Bioinformatics Biometry Systems biology Biological systems Simulation and Modeling Computational Biology/Bioinformatics Biometrics Systems Biology |
| ISBN | 3-662-45283-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Biomedical signal processing, imaging, and visualization -- Computational methods and intelligence in modeling genetic and chemical networks and regulation -- Computational methods and intelligence in organism modeling -- Computational methods and intelligence in modeling and design of synthetic biological systems -- Computational methods and intelligence in biomechanical systems, tissue engineering and clinical bioengineering -- Intelligent medical apparatus and clinical applications -- Modeling and simulation of societies and collective behaviour -- Innovative education in systems modeling and simulation -- Data analysis and data mining of biosignals -- Feature selection -- Robust optimization and data analysis. |
| Record Nr. | UNINA-9910298967503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Machine Learning in VLSI Computer-Aided Design / / edited by Ibrahim (Abe) M. Elfadel, Duane S. Boning, Xin Li
| Machine Learning in VLSI Computer-Aided Design / / edited by Ibrahim (Abe) M. Elfadel, Duane S. Boning, Xin Li |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (697 pages) |
| Disciplina | 621.395 |
| Soggetto topico |
Electronic circuits
Microprocessors Logic design Circuits and Systems Processor Architectures Logic Design |
| ISBN | 3-030-04666-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter1: A Preliminary Taxonomy for Machine Learning in VLSI CAD -- Chapter2: Machine Learning for Compact Lithographic Process Models -- Chapter3: Machine Learning for Mask Synthesis -- Chapter4: Machine Learning in Physical Verification, Mask Synthesis, and Physical Design -- Chapter5: Gaussian Process-Based Wafer-Level Correlation Modeling and its Applications -- Chapter6: Machine Learning Approaches for IC Manufacturing Yield Enhancement -- Chapter7: Efficient Process Variation Characterization by Virtual Probe -- Chapter8: Machine learning for VLSI chip testing and semiconductor manufacturing process monitoring and improvement -- Chapter9: Machine Learning based Aging Analysis -- Chapter10: Extreme Statistics in Memories -- Chapter11: Fast Statistical Analysis Using Machine Learning -- Chapter12: Fast Statistical Analysis of Rare Circuit Failure Events -- Chapter13: Learning from Limited Data in VLSI CAD -- Chapter14: Large-Scale Circuit Performance Modeling by Bayesian Model Fusion -- Chapter15: Sparse Relevance Kernel Machine Based Performance Dependency Analysis of Analog and Mixed-Signal Circuits -- Chapter16: SiLVR: Projection Pursuit for Response Surface Modeling -- Chapter17: Machine Learning based System Optimization and Uncertainty Quantification of Integrated Systems -- Chapter18: SynTunSys: A Synthesis Parameter Autotuning System for Optimizing High-Performance Processors -- Chapter19: Multicore Power and Thermal Proxies Using Least-Angle -- Chapter20: A Comparative Study of Assertion Mining Algorithms in GoldMine -- Chapter21: Energy-Efficient Design of Advanced Machine Learning Hardware. |
| Record Nr. | UNINA-9910337639903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Observation and Measurement of Ecohydrological Processes [[electronic resource] /] / edited by Xin Li, Harry Vereecken
| Observation and Measurement of Ecohydrological Processes [[electronic resource] /] / edited by Xin Li, Harry Vereecken |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (500 p. 50 illus.) |
| Disciplina | 333.7 |
| Collana | Ecohydrology |
| Soggetto topico |
Environmental geology
Hydrology Hydrogeology Biotic communities Geoecology/Natural Processes Hydrology/Water Resources Ecosystems |
| ISBN | 3-662-47871-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ecohydrological indicators in water resources management -- Monitoring technologies -- Measurement techniques -- Characterization/measuring strategies in different hydrological systems -- Ecohydrological assessment tools. |
| Record Nr. | UNINA-9910341854803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Observation and Measurement of Ecohydrological Processes / / edited by Xin Li, Harry Vereecken
| Observation and Measurement of Ecohydrological Processes / / edited by Xin Li, Harry Vereecken |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (173 illus., 132 illus. in color. eReference.) |
| Disciplina | 550 |
| Collana | Ecohydrology |
| Soggetto topico |
Physical geography
Water Hydrology Geology Biotic communities Earth System Sciences Ecosystems |
| ISBN |
9783662482971
3662482975 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ecohydrological indicators in water resources management -- Monitoring technologies -- Measurement techniques -- Characterization/measuring strategies in different hydrological systems -- Ecohydrological assessment tools. |
| Record Nr. | UNINA-9910337921103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rapid On-Site Evaluation (ROSE) in Diagnostic Interventional Pulmonology : Volume 1: Infectious Diseases / / edited by Jing Feng, Xin Li, Pei Li, Qiang Li, Yi Shi
| Rapid On-Site Evaluation (ROSE) in Diagnostic Interventional Pulmonology : Volume 1: Infectious Diseases / / edited by Jing Feng, Xin Li, Pei Li, Qiang Li, Yi Shi |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (V, 240 p. 448 illus., 301 illus. in color.) |
| Disciplina | 616.2 |
| Soggetto topico |
Respiratory organs—Diseases
Pathology Radiology Pneumology/Respiratory System Imaging / Radiology |
| ISBN | 981-13-3455-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rapid on-site evaluation (ROSE) in diagnostic interventional pulmonology (introduction and detailed methods) -- Anatomic distribution and morphology of common tracheal/bronchial/ pulmonary cells -- Clustering (categorizing) analysis in ROSE interpretation of common non-neoplastic disease states of lung/ mediastinum -- Interpretation of ROSE characteristics of common infectious disease states of lung/ mediastinum -- ROSE cytopathology cases. |
| Record Nr. | UNINA-9910337514903321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Risk prevention and control system of urban public security / / Xiaoliang Liu and Xin Li
| Risk prevention and control system of urban public security / / Xiaoliang Liu and Xin Li |
| Autore | Liu Xiaoliang |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (xix, 193 pages) : illustrations |
| Disciplina | 307.76 |
| Collana | Public Economy and Urban Governance in China |
| Soggetto topico |
City planning
Public safety |
| ISBN | 981-9939-28-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1 Introduction -- Chapter 2 Sources of Urban Public Security Risks -- Chapter 3 Development of Urban Risk Prevention and Control System -- Chapter 4 Sources of Motivation Behind the Establishment of Urban Risk Prevention and Control System -- Chapter 5 Effective Operation of Urban Risk Prevention and Control System -- Chapter 6 Grassroots Governance of Urban Risk Prevention and Control -- Chapter 7 Future-oriented Urban Security Risk Prevention and Control System. |
| Record Nr. | UNINA-9910742484903321 |
|
Liu Xiaoliang
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Safe, Autonomous and Intelligent Vehicles / / edited by Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin
| Safe, Autonomous and Intelligent Vehicles / / edited by Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (215 pages) |
| Disciplina | 388.312 |
| Collana | Unmanned System Technologies |
| Soggetto topico |
Electronic circuits
Signal processing Image processing Speech processing systems Microprocessors Circuits and Systems Signal, Image and Speech Processing Processor Architectures |
| ISBN | 3-319-97301-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Statistical Validation of In-Vehicle Machine Learning Systems -- Cyberattack-Resilient Hybrid Switching Controller Design with Application to Unmanned Aircraft System -- Control and Safety of Autonomous Vehicles with Learning-Enabled Components -- AdaStress: Adaptive Stress Testing and Interpretable Analysis of Safety-Critical Systems -- Provably-correct control synthesis for vehicle safety systems -- Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems -- Adaptation of Human Licensing Examinations to the Certification of Autonomous Systems -- Model-based Software Synthesis for Safety-critical Cyber-Physical Systems -- Compositional Verification for Autonomous Systems with Deep Learning Components -- Index. |
| Record Nr. | UNINA-9910337648203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
