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.
Activation and Suppression of Plant Immunity
| Activation and Suppression of Plant Immunity |
| Autore | Fu Zhengqing |
| Pubbl/distr/stampa | Frontiers Media SA, 2020 |
| Descrizione fisica | 1 electronic resource (326 p.) |
| Soggetto topico |
Science: general issues
Botany & plant sciences |
| Soggetto non controllato |
MAMP-triggered immunity
effector-triggered immunity salicyclic acid reactive oxygen species |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910557261703321 |
Fu Zhengqing
|
||
| Frontiers Media SA, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Assessment of Environmental Impact by Grocery Shopping Bags : An Eco-Functional Approach / / by Subramanian Senthilkannan Muthu, Yi Li
| Assessment of Environmental Impact by Grocery Shopping Bags : An Eco-Functional Approach / / by Subramanian Senthilkannan Muthu, Yi Li |
| Autore | Muthu Subramanian Senthilkannan |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (171 p.) |
| Disciplina | 333.7 |
| Collana | EcoProduction, Environmental Issues in Logistics and Manufacturing |
| Soggetto topico |
Environmental engineering
Biotechnology Production management Sustainable development Environmental management Environmental Engineering/Biotechnology Operations Management Sustainable Development Environmental Management |
| ISBN | 981-4560-20-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Basic introduction to shopping bags and eco-functional assessment of shopping bags -- Manufacturing processes of grocery shopping bags -- Life cycle assessment of grocery shopping bags -- Functionality assessment of shopping bags -- Consumption behaviour of shopping bags in various countries: Consumption and eco-impact -- End-of-life assessment of grocery shopping bags -- Eco-functional assessment of grocery shopping bags -- Conclusions. |
| Record Nr. | UNINA-9910298388603321 |
|
Muthu Subramanian Senthilkannan
|
||
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / / Yi Li and Sofiène Tahar, editors
| Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / / Yi Li and Sofiène Tahar, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2024] |
| Descrizione fisica | 1 online resource (319 pages) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Formal methods (Computer science)
Software engineering |
| ISBN | 981-9975-84-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk: Verifying Compiler Optimisations -- Regular Papers: An Idealist’s Approach for Smart Contract Correctness -- Active Inference of EFSMs Without Reset -- Learning Mealy Machines with Local Timers -- Compositional Vulnerability Detection with Insecurity Separation Logic -- Dynamic Extrapolation in Extended Timed Automata -- Formalizing Robustness against Character-level Perturbations for Neural Network Language Models -- Trace models of concurrent valuation algebras -- Branch and Bound for Sigmoid-like Neural Network Verification -- Certifying Sequential Consistency of Machine Learning Accelerators -- Guided Integration of Formal Verification in Assurance Cases -- Validation-Driven Development -- Incremental Property Directed Reachability -- Proving Local Invariants in ASTDs -- Doctoral Symposium Papers: Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol -- Early and systematic validation of formal models -- Verifying Neural Networks by Approximating Convex Hulls -- Eager to Stop: Efficient Falsification of Deep Neural Networks -- A Runtime Verification Framework For Cyber-physical Systems Based On Data Analytics And LTL Formula Learning -- Unified Verification of Neural Networks’ Robustness and Privacy in Computer Vision -- IoT Software Vulnerability Detection Techniques through Large Language Model -- Vulnerability Detection via Typestate-Guided Code Representation Learning. |
| Record Nr. | UNISA-996565870603316 |
| Singapore : , : Springer, , [2024] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / / Yi Li and Sofiène Tahar, editors
| Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings / / Yi Li and Sofiène Tahar, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , [2024] |
| Descrizione fisica | 1 online resource (319 pages) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Formal methods (Computer science)
Software engineering |
| ISBN | 981-9975-84-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk: Verifying Compiler Optimisations -- Regular Papers: An Idealist’s Approach for Smart Contract Correctness -- Active Inference of EFSMs Without Reset -- Learning Mealy Machines with Local Timers -- Compositional Vulnerability Detection with Insecurity Separation Logic -- Dynamic Extrapolation in Extended Timed Automata -- Formalizing Robustness against Character-level Perturbations for Neural Network Language Models -- Trace models of concurrent valuation algebras -- Branch and Bound for Sigmoid-like Neural Network Verification -- Certifying Sequential Consistency of Machine Learning Accelerators -- Guided Integration of Formal Verification in Assurance Cases -- Validation-Driven Development -- Incremental Property Directed Reachability -- Proving Local Invariants in ASTDs -- Doctoral Symposium Papers: Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol -- Early and systematic validation of formal models -- Verifying Neural Networks by Approximating Convex Hulls -- Eager to Stop: Efficient Falsification of Deep Neural Networks -- A Runtime Verification Framework For Cyber-physical Systems Based On Data Analytics And LTL Formula Learning -- Unified Verification of Neural Networks’ Robustness and Privacy in Computer Vision -- IoT Software Vulnerability Detection Techniques through Large Language Model -- Vulnerability Detection via Typestate-Guided Code Representation Learning. |
| Record Nr. | UNINA-9910760278703321 |
| Singapore : , : Springer, , [2024] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nano-bio-electronic, photonic and MEMS packaging / / edited by C. P. Wong, Kyoung-Sik Moon, and Yi Li
| Nano-bio-electronic, photonic and MEMS packaging / / edited by C. P. Wong, Kyoung-Sik Moon, and Yi Li |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (570 pages) : illustrations |
| Disciplina | 621.381046 |
| Soggetto topico |
Bioelectronics
Nanostructured materials |
| ISBN | 3-030-49991-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Contents -- Contributors -- Part I: Electronics (Electrical Interconnections and Thermal Management) -- Chapter 1: Some Nanomaterials for Microelectronics and Photonics Packaging -- 1.1 Introduction -- 1.1.1 Interfaces of Carbon Nanotubes (CNTs)/Substrates for Electrical and Thermal Interconnects -- 1.1.2 Tin/Silver Alloy Nanoparticle Pastes for Low-Temperature Lead-Free Interconnect Applications -- 1.1.3 Enhanced Electrical Properties of Anisotropically Conductive Adhesive with π -Conjugated Molecular Wire Junctions for En... -- 1.1.4 Low-Stress and High-Thermal Conductive Underfill for Cu/Low-k Application -- 1.1.5 High-Dielectric Constant (k) Polymer Nanocomposites for Embedded Capacitor Applications -- 1.1.6 Bio-Mimetic Lotus Surface -- 1.1.7 Molecular Dynamic (MD) Simulations in Nanomaterial Study -- 1.2 Conclusive Remarks -- References -- Chapter 2: Nano-conductive Adhesives for Nano-electronics Interconnection -- 2.1 Introduction -- 2.2 Recent Advances on Nanoisotropic Conductive Adhesive (Nano-ICA) -- 2.2.1 ICAs with Silver Nanowires -- 2.2.2 Effect of Nano-sized Silver Particles to the Conductivity of ICAs -- 2.2.3 ICA Filled with Aggregates of Nano-sized Ag Particles -- 2.2.4 Nano-Ni Particle-Filled ICA -- 2.2.5 Nano-conductive Adhesives for Via-Filling Applications in Organic Substrates -- 2.2.6 Nano-ICAs Filled with CNT -- 2.2.6.1 Electrical and Mechanical Characterization of CNT-Filled ICAs -- 2.2.6.2 Effect of Adding CNT to the Electrical Properties of ICAs -- 2.2.6.3 Composites Filled with Surface-Treated CNTs -- 2.2.7 Inkjet Printable Nano-ICAs and Inks -- 2.3 Recent Advances of Nano-ACA/ACF -- 2.3.1 Low-Temperature Sintering of Nano-Ag-Filled ACA/ACF -- 2.3.2 Self-Assembled Molecular Wires for Nano-ACA/ACF -- 2.3.3 Silver Migration Control in Nano-silver-Filled ACA.
2.3.4 ACF with Straight-Chain-Like Nickel Nanoparticles -- 2.3.5 Nanowire ACF for Ultrafine-Pitch Flip-Chip Interconnection -- 2.3.6 An In Situ Formation of Nano-conductive Fillers in ACA/ACF -- 2.3.7 CNT-Based Conductive Nanocomposites for Transparent, Conductive, and Flexible Electronics -- 2.4 Concluding Remarks -- References -- Chapter 3: Applications of Carbon Nanomaterials as Electrical Interconnects and Thermal Interface Materials -- 3.1 Introduction -- 3.2 Structure and Properties of Carbon Nanotubes -- 3.2.1 Carbon Nanotube Structure -- 3.2.2 Electronic Structure and Electrical Properties -- 3.2.3 Separation of Metallic and Semiconducting SWNTs -- 3.2.4 Heat Transport -- 3.3 CNT Growth -- 3.3.1 Arc-Discharge and Laser Ablation Methods -- 3.3.2 Chemical Vapor Deposition (Common Thermal CVD, Plasma-Enhanced CVD, and Liquid Injection CVD) -- 3.4 Carbon Nanotubes for Interconnect Applications -- 3.5 Carbon Nanotubes as Thermal Interface Materials (TIMs) -- 3.5.1 A Brief Review of TIMs and Requirements for Next-Generation TIMs -- 3.5.2 Carbon Nanotube-Polymer Composites -- 3.5.3 Aligned Carbon Nanotube (ACNT)-Based Thermal Interface Materials (TIMs) -- 3.5.4 ACNT TIM Synthesis on Bulk Copper Substrates -- 3.6 Assembling Technologies of ACNTs -- 3.6.1 Physical Transfer/Anchoring -- 3.6.2 Chemical Transfer -- 3.7 Graphene Nanoelectronics -- 3.8 Graphite Nanosheet-Polymer Composites: Very Promising TIM Composite Materials -- 3.9 Thermal Property Measurement Techniques -- 3.9.1 Laser Flash Technique (LFA 447, NETZSCH, Inc.) -- 3.9.2 Steady-State Measurement -- 3.9.3 Thermoreflectance Technique -- 3.9.4 Photoacoustic Technique -- 3.10 Future Needs -- References -- Chapter 4: Nanomaterials via NanoSpray Combustion Chemical Vapor Condensation and Their Electronic Applications -- 4.1 Introduction to Nanomaterials and Their Synthesis. 4.2 NanoSpray Combustion Processing -- 4.3 Overview of Nanomaterials Capabilities -- 4.3.1 Single Metal Oxides and Phase Control -- 4.3.2 Multi-Metal Oxides -- 4.3.3 Metal Phosphates -- 4.3.4 Metals -- 4.3.5 Nanocomposites -- 4.3.6 Nanodispersions (Not Solutions) -- 4.4 Applications of Nanomaterials Made by CCVC -- 4.4.1 Conductive Adhesives as Electronic Interconnects -- 4.4.2 Lithium-Ion Battery Electrodes for Energy Storage -- 4.4.3 Polymer Nanocomposites for Capacitors -- 4.4.4 Inorganic Nanocomposites for Nonlinear Optical Materials -- 4.5 Conclusions -- References -- Chapter 5: Nanolead-Free Solder Pastes for Low Processing Temperature Interconnect Applications in Microelectronic Packaging -- 5.1 Size-Dependent Melting Point of Tin Nanoparticles -- 5.2 Size-Dependent Melting of Tin/Silver Alloy Nanoparticles -- 5.3 Size-Dependent Melting of Tin/Silver/Copper Alloy Nanoparticles -- 5.4 Wetting Properties of Tin/Silver and Tin/Silver/Copper Alloy Nanoparticle Pastes -- 5.5 Conclusion -- References -- Chapter 6: Introduction to Nanoparticle-Based Integrated Passives -- 6.1 Introduction and Background -- 6.2 History of Passive Technology -- 6.2.1 Next-Generation IP Needs -- 6.2.2 Advantages of EPs -- 6.2.3 Applications of IPs -- 6.3 Nanotechnology and Nanoparticles -- 6.3.1 Synthesis of Nanoparticles -- 6.3.2 Nanocomposites -- 6.3.2.1 Nanocomposite-Embedded Capacitors -- Materials -- Fabrication -- Characterization -- 6.3.2.2 Nanocomposite-Embedded Inductors -- Materials -- Fabrication -- Characterization -- 6.3.2.3 Nanoparticle-Based Embedded Resistors -- Material Choices -- Fabrication -- Characterization -- 6.4 Summary -- References -- Chapter 7: Thermally Conductive Nanocomposites -- 7.1 Model of Heat Transport -- 7.2 Thermal Contact Resistance -- 7.3 Thermal Conductivity Measurements -- 7.4 Composites with Metallic Fillers. 7.5 Composites with Carbon Allotropes Fillers -- 7.6 Conclusive Remarks and Prospects -- References -- Chapter 8: Physical Properties and Mechanical Behavior of Carbon Nano-tubes (CNTs) and Carbon Nano-fibers (CNFs) as Thermal In... -- 8.1 Introduction -- 8.2 Young´s Modulus of Individual CNTs/CNFs -- 8.3 Tunneling Electron Microscopy (TEM) -- 8.4 Thermal Vibration Method -- 8.5 Method Based on External Electric Field-Induced Vibrations -- 8.6 Measurements Using Scanning Probe Microscope (SPM) -- 8.7 Method Using CNT Buckling -- 8.8 Buckling of CNT Shells -- 8.9 Effective Young´s Modulus of CNT/CNF Arrays -- 8.9.1 Stress-Strain Relationship of PECVD-Synthesized CNT Film -- 8.9.2 Stress-Strain Relationship of TECVD-Synthesized CNT Film -- 8.9.3 Effective Young´s Modulus Has a Certain Limit -- 8.10 CNT/CNF-Based TIMS: Requirements for Physical (Mechanical) Properties -- 8.10.1 CNT/CNF Compliance -- 8.10.2 Bonding Strength of CNTs to Its Substrate -- 8.11 Conclusions -- Appendix -- Calculated Interfacial Shearing Stress from the Measured Shearing Force in a Bi-Material Assembly -- References -- Chapter 9: On-Chip Thermal Management and Hot-Spot Remediation -- 9.1 Introduction -- 9.1.1 Potential Hot-Spot Cooling Solutions -- 9.1.1.1 Passive Cooling Solutions -- 9.1.1.2 Active Cooling Solutions -- 9.1.1.3 Solid-State Cooling Solutions -- 9.2 On-Chip Hot-Spot Cooling Using Thermoelectric Microcoolers -- 9.2.1 Principle of Conventional Thermoelectric Cooler (TEC) -- 9.2.2 Thermoelectric Cooling Materials and Devices -- 9.2.2.1 Thin-Film Thermoelectric Coolers (TFTECs) -- 9.2.2.2 Bulk Miniaturized Thermoelectric Coolers -- 9.2.2.3 Nanostructured Thermoelectric Cooler -- 9.2.2.4 Silicon Thermoelectric Materials and Microcoolers -- 9.2.3 Hot-Spot Cooling Using Silicon Thermoelectric Microcooler -- 9.2.3.1 Doping Concentration Effect. 9.2.3.2 Microcooler Size Effect -- 9.2.3.3 Chip Thickness Effect -- 9.2.3.4 Electric Contact Resistance Effect -- 9.2.3.5 Hot-Spot Parameter Effect -- 9.2.4 Mini-Contact-Enhanced TEC for Hot-spot Cooling -- 9.2.4.1 Effect of Input Power on TEC -- 9.2.4.2 Effect of Mini-Contact Size -- 9.2.4.3 Effect of Thermoelectric Element Height -- 9.2.4.4 Effect of Thermal Contact Resistance -- 9.2.4.5 Experimental Demonstration -- 9.2.5 Applications in Biomedical Systems -- 9.3 On-Chip Hot-Spot Cooling Using Anisotropic Heat Spreader -- 9.3.1 Effect of In-Plane Spreader Thermal Conductivity -- 9.3.2 Variation of Spreader Thickness -- 9.3.3 Numerical Simulations and Contact Resistance Variation -- 9.3.4 Experimental Demonstration -- 9.4 On-Chip Hot-Spot Cooling Using Micro-Gap Cooler -- 9.4.1 Single-Phase Experiments -- 9.4.2 Application to Hot-Spot Remediation -- 9.5 Conclusions -- References -- Chapter 10: Some Aspects of Microchannel Heat Transfer -- 10.1 Fundamentals of Microchannel Pressure Drop and Heat Transfer -- 10.1.1 Single-Phase Flows -- 10.1.1.1 Simplified Model for Single-Phase Microchannel Heat Sink -- 10.1.1.2 Correlations for Friction Factor and Nusselt Number (Wei and Joshi 2003) -- 10.1.1.3 Thermal Resistance Network Analysis -- 10.1.2 Two-Phase (Liquid-Vapor) Flows -- 10.1.2.1 Two-Phase Flow Regimes for Microchannels -- Flow Regimes -- Flow Transitions -- Transition Criteria -- 10.1.2.2 Pressure Drop Correlations and Models -- Homogeneous Model -- Separated Flow Model -- 10.1.2.3 Heat-Transfer Correlations and Models -- Heat-Transfer Coefficient -- Critical Heat Flux (CHF) -- 10.1.2.4 Condensation in Microchannels -- 10.1.3 Rotating Flows -- 10.2 Numerical Techniques -- 10.2.1 Continuum Models -- 10.2.2 Molecular Models -- 10.3 Experimental Techniques -- 10.3.1 Measuring Full-Field Flow Inside Microchannels Using Micro-PIV. 10.3.1.1 Typical Micro-PIV System for Fluid Flow. |
| Record Nr. | UNINA-9910483242303321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
New Advances in Statistics and Data Science / / edited by Ding-Geng Chen, Zhezhen Jin, Gang Li, Yi Li, Aiyi Liu, Yichuan Zhao
| New Advances in Statistics and Data Science / / edited by Ding-Geng Chen, Zhezhen Jin, Gang Li, Yi Li, Aiyi Liu, Yichuan Zhao |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XXIII, 348 p. 74 illus., 41 illus. in color.) |
| Disciplina | 005.7 |
| Collana | ICSA Book Series in Statistics |
| Soggetto topico |
Statistics
Big data Biostatistics Statistical Theory and Methods Big Data/Analytics Statistics for Life Sciences, Medicine, Health Sciences |
| ISBN | 3-319-69416-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1 Review and Theoretical Framework in Data Science -- Ch 1 Statistical Distances and Their Role in Robustness -- Ch 2 The Out-source Error in Multi-source Cross Validation-type Procedures -- Ch 3 -- Meta-Analysis for Rare Events as Binary Outcomes -- Ch 4 New Challenges and Strategies in Robust Optimal Design for Multicategory Logit Modelling -- Ch 5 Testing of Multivariate Spline Growth Model -- Part 2 Complex and Big Data Analysis -- Ch 6 Uncertainty Quantification Using the Neighbor Gaussian Process -- Ch 7 Tuning Parameter Selection in the LASSO with Unspecified Propensity -- Adaptive Filtering Increases Power to Detect Differently Expressed Genes -- Ch 9 Estimating Parameters in Complex Systems with Functional Outputs - A Wavelet-based Approximate Bayesian Computation Approach -- Ch 10 A maximum Likelihood Approach for Non-invasive Cancer Diagnosis Using Methylation Profiling of Cell-free DNA from Blood -- Part 3 Clinical Trials, Statistical Shape Analysis and Application -- Ch 11 A Simple and Efficient Statistical Approach for Designing an Early Phase II Clinical Trial - Ordinal Linear Contrast Test -- Ch 12 Landmark-constrained Statistical Shape Analysis of Elastic Curves and Surfaces -- Ch 13 Phylogeny-based kernels with Application to Microbiome Association Studies -- Ch 14 Accounting for Differential Error in Time-to-event Analyses using Imperfect Electronic Health Record-derived Endpoints -- Part 4 Statistical Modeling and Data Analysis -- Ch 15 Modeling Inter-trade Durations in the Limit Order market -- Ch 16 Assessment of Drug Interactions with Repeated Measurements -- Ch 17 Statistical Indices for Risk Tracking in Longitudinal Studies -- Ch 18 Statistical Analysis of Labor market Integration: A Mixture Regression Approach -- Ch 19 Bias Correction in Age-Cohort Models Using Eigen Analysis. |
| Record Nr. | UNINA-9910255456003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Solid-Liquid Two-Phase Flow in Centrifugal Pump / / Zuchao Zhu, Yi Li, and Zhe Lin
| Solid-Liquid Two-Phase Flow in Centrifugal Pump / / Zuchao Zhu, Yi Li, and Zhe Lin |
| Autore | Zhu Zuchao |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Hangzhou, China : , : Springer Nature Singapore Pte Ltd., , [2023] |
| Descrizione fisica | 1 online resource (240 pages) |
| Disciplina | 621.67 |
| Collana | Fluid Mechanics and Its Applications Series |
| Soggetto topico |
Centrifugal pumps
Two-phase flow |
| ISBN |
9789819918225
9789819918218 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Solid–liquid two-phase calculation model and method -- Wear characteristics of static walls -- Two-phase flow characteristics and transportation performance in centrifugal pump -- Wear characteristics of the wall surface in centrifugal pump -- Engineering calculation of solid–liquid two-phase pump. |
| Record Nr. | UNINA-9910720092103321 |
|
Zhu Zuchao
|
||
| Hangzhou, China : , : Springer Nature Singapore Pte Ltd., , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Technologies for E-Learning and Digital Entertainment [[electronic resource] ] : Third International Conference, Edutainment 2008, Nanjing, China, June 25-27, 2008, Proceedings / / edited by Zhigeng Pan, Xiaopeng Zhang, Abdennour El Rhalibi, Woontack Woo, Yi Li
| Technologies for E-Learning and Digital Entertainment [[electronic resource] ] : Third International Conference, Edutainment 2008, Nanjing, China, June 25-27, 2008, Proceedings / / edited by Zhigeng Pan, Xiaopeng Zhang, Abdennour El Rhalibi, Woontack Woo, Yi Li |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XVII, 791 p.) |
| Disciplina |
005.437
4.019 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
User interfaces (Computer systems)
Computer engineering Application software Artificial intelligence Multimedia information systems User Interfaces and Human Computer Interaction Computer Engineering Computer Applications Artificial Intelligence Information Systems Applications (incl. Internet) Multimedia Information Systems |
| ISBN | 3-540-69736-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | E-Learning Platforms and Tools -- WRITE: Writing Revision Instrument for Teaching English -- u-Teacher: Ubiquitous Learning Approach -- A Model for Knowledge Innovation in Online Learning Community -- The Design of Software Architecture for E-Learning Platforms -- An Educational Component-Based Digital TV Middleware for the Brazilian’s System -- Designing and Developing Process-Oriented Network Courseware: IMS Learning Design Approach -- Design and Implementation of Game-Based Learning Environment for Scientific Inquiry -- Research and Implementation of Web-Based E-Learning Course Auto-generating Platform -- E-Learning System for Education -- A Humanized Mandarin e-Learning System Based on Pervasive Computing -- An Interactive Simulator for Information Communication Models -- iThaiSTAR – A Low Cost Humanoid Robot for Entertainment and Teaching Thai Dances -- The Study on Visualization Systems for Computer-Supported Collaborative Learning -- Computer-Assisted Paper Wrapping with Visualization -- Hangeul Learning System -- An Ajax-Based Terminology System for E-Learning 2.0 -- Idea and Practice for Paperless Education -- SyTroN: Virtual Desk for Collaborative, Tele-operated and Tele-learning System with Real Devices -- Application of E-Learning Systems -- An Examination of Students’ Perception of Blended E-Learning in Chinese Higher Education -- Research and Application of Learning Activity Management System in College and University E-Learning -- Motivate the Learners to Practice English through Playing with Chatbot CSIEC -- A Strategy for Selecting Super-Peer in P2P and Grid Based Hybrid System -- Personal Knowledge Management in E-Learning Era -- Teaching Machine Learning to Design Students -- A Survey on Use of “New Perspective English Learning System” among University Students—Case Study on Jiangxi Normal University -- Evolving Game NPCs Based on Concurrent Evolutionary Neural Networks -- E-Learning Resource Management -- Knowledge Discovery by Network Visualization -- Research on Emotional Vocabulary-Driven Personalized Music Retrieval -- Research on Update Service in Learning Resources Management System -- On Retrieval of Flash Animations Based on Visual Features -- The Design of Web-Based Intelligent Item Bank -- Methods on Educational Resource Development and Application -- Research on Management of Resource Virtualization Based on Network -- The F-R Model of Teaching in Chinese Universities -- An Approach to a Visual Semantic Query for Document Retrieval -- Modification of Web Content According to the User Requirements -- Virtual Environments with Content Sharing -- Interaction in Game and Education -- Hand Contour Tracking Using Condensation and Partitioned Sampling -- Integrating Gesture Recognition in Airplane Seats for In-Flight Entertainment -- Designing Engaging Interaction with Contextual Patterns for an Educational Game -- Design and Implement of Game Speech Interaction Based on Speech Synthesis Technique -- Two-Arm Haptic Force-Feedbacked Aid for the Shoulder and Elbow Telerehabilitation -- Vision Based Pose Recognition in Video Game -- Memotice Board: A Notice Board with Spatio-temporal Memory -- Mobile Cultural Heritage: The Case Study of Locri -- Integration of Game and Education -- Study of Game Scheme for Elementary Historical Education -- Integration of Game Elements with Role Play in Collaborative Learning — A Case Study of Quasi-GBL in Chinese Higher Education -- A Case of 3D Educational Game Design and Implementation -- Mathematical Education Game Based on Augmented Reality -- Game-Based Learning Scenes Design for Individual User in the Ubiquitous Learning Environment -- Learning Models for the Integration of Adaptive Educational Games in Virtual Learning Environments -- The Potential of Interactive Digital Storytelling for the Creation of Educational Computer Games -- Game Design and Development -- Designing Virtual Players for Game Simulations in a Pedagogical Environment: A Case Study -- The Relationship between Game Genres, Learning Techniques and Learning Styles in Educational Computer Games -- EFM: A Model for Educational Game Design -- Towards Generalised Accessibility of Computer Games -- Designing Narratology-Based Educational Games with Non-players -- Interactive Game Development with a Projector-Camera System -- Animated Impostors Manipulation for Real-Time Display in Games Design -- Virtual Characters, Animation and Navigation -- Virtual Avatar Enhanced Nonverbal Communication from Mobile Phones to PCs -- Analysis of Role Behavior in Collaborative Network Learning -- Survey on Real-Time Crowds Simulation -- TS-Animation: A Track-Based Sketching Animation System -- Dynamic Axial Curve –Pair Based Deformation -- 3D Freehand Canvas -- Sparse Key Points Controlled Animation for Individual Face Model -- Networked Virtual Marionette Theater -- Tour into Virtual Environment in the Style of Pencil Drawing -- Research and Implementation of Hybrid Tracking Techniques in Augmented Museum Tour System -- Graphics Rendering and Digital Media -- Terrain Synthesis Based on Microscopic Terrain Feature -- A Double Domain Based Robust Digital Image Watermarking Scheme -- ABF Based Face Texturing -- Tile-Based Interactive Texture Design -- Efficient Method for Point-Based Rendering on GPUs -- Efficient Mushroom Cloud Simulation on GPU -- Geometric Modeling in Games and Virtual Reality -- Virtual Artistic Paper-Cut -- A Sufficient Condition for Uniform Convergence of Stationary p-Subdivision Scheme -- Model and Animate Plant Leaf Wilting -- The Technical Research and System Realization of 3D Garment Fitting System Based on Improved Collision-Check Algorithm -- Reconstruction of Tree Crown Shape from Scanned Data -- A Survey of Modeling and Rendering Trees -- Creating Boundary Curves of Point-Set Models in Interactive Environment -- Rational Biquartic Interpolating Surface Based on Function Values -- 3D Modelling for Metamorphosis for Animation. |
| Record Nr. | UNISA-996465847003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||