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.
3D Printed Science Projects : Ideas for your classroom, science fair or home / / by Joan Horvath, Rich Cameron
| 3D Printed Science Projects : Ideas for your classroom, science fair or home / / by Joan Horvath, Rich Cameron |
| Autore | Horvath Joan |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2016 |
| Descrizione fisica | 1 online resource (XX, 203 p. 113 illus., 112 illus. in color.) |
| Disciplina | 004 |
| Collana | Technology in action |
| Soggetto topico |
Computer input-output equipment
Computer science Computer-aided engineering Hardware and Maker Computer Science, general Computer-Aided Engineering (CAD, CAE) and Design |
| ISBN |
9781484213230
1484213238 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 3D math functions -- Light and other waves -- Gravity -- Airfoils -- SImple machines -- Plants and their ecosystems -- Molecules -- Trusses. |
| Record Nr. | UNINA-9910254759303321 |
Horvath Joan
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abdominal Imaging. Computational and Clinical Applications [[electronic resource] ] : 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014. / / edited by Hiroyuki Yoshida, Janne J. Näppi, Sanjay Saini
| Abdominal Imaging. Computational and Clinical Applications [[electronic resource] ] : 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014. / / edited by Hiroyuki Yoshida, Janne J. Näppi, Sanjay Saini |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIII, 296 p. 139 illus.) |
| Disciplina | 617.550754 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Computers Pattern recognition Artificial intelligence Computer science Image Processing and Computer Vision Computation by Abstract Devices Pattern Recognition Artificial Intelligence Computer Science, general |
| ISBN | 3-319-13692-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Liver and pancreas - ablation, perfusion, and segmentation -- Gastrointestinal tract - Crohn's disease -- Gastrointestinal tract - colonoscopy, colonography -- Abdominal operation planning - registration, segmentation. |
| Record Nr. | UNISA-996211265303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abdominal Imaging. Computational and Clinical Applications : 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014. / / edited by Hiroyuki Yoshida, Janne J. Näppi, Sanjay Saini
| Abdominal Imaging. Computational and Clinical Applications : 6th International Workshop, ABDI 2014, Held in Conjunction with MICCAI 2014, Cambridge, MA, USA, September 14, 2014. / / edited by Hiroyuki Yoshida, Janne J. Näppi, Sanjay Saini |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIII, 296 p. 139 illus.) |
| Disciplina | 617.550754 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Computers Pattern perception Artificial intelligence Computer science Image Processing and Computer Vision Computation by Abstract Devices Pattern Recognition Artificial Intelligence Computer Science, general |
| ISBN | 3-319-13692-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Liver and pancreas - ablation, perfusion, and segmentation -- Gastrointestinal tract - Crohn's disease -- Gastrointestinal tract - colonoscopy, colonography -- Abdominal operation planning - registration, segmentation. |
| Record Nr. | UNINA-9910483127503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abdominal Imaging. Computational and Clinical Applications [[electronic resource] ] : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / / edited by Hiroyuki Yoshida, Simon Warfield, Michael Vannier
| Abdominal Imaging. Computational and Clinical Applications [[electronic resource] ] : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / / edited by Hiroyuki Yoshida, Simon Warfield, Michael Vannier |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 300 p. 147 illus.) |
| Disciplina |
006.6
006.37 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Computers Pattern recognition Artificial intelligence Computer science Image Processing and Computer Vision Computer Imaging, Vision, Pattern Recognition and Graphics Computation by Abstract Devices Pattern Recognition Artificial Intelligence Computer Science, general |
| ISBN | 3-642-41083-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Model Development Pipeline for Crohn’s Disease Severity Assessment from Magnetic Resonance Images -- Spatially Constrained Incoherent Motion (SCIM) Model Improves Quantitative Diffusion-Weighted MRI Analysis of Crohn’s Disease Patients -- Self Similarity Image Registration based on Reorientation of the Hessian -- Registration of Prone and Supine CT Colonography Datasets with Differing Endoluminal Distension -- Spatial Correspondence between Prone and Supine CT Colonography Images: Creating a Reference Standard -- Registration of Temporally Separated CT Colonography Cases -- A Classification-Enhanced Vote Accumulation Scheme for Detecting Colonic Polyps -- A Novel Computer Aided Detection (CADe) Scheme for Colonic Polyps Based on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT Colonography: Pilot Evaluation -- Computer-aided Detection of Non-polypoid Flat Lesions in CT Colonography: Observer Performance Study -- Application of Synthetic Sinogram based Low-Dose CT Simulation and Fold-preserving Electronic Cleansing Technique for CT Colonography -- Iterative Reconstruction for Ultra-Low-Dose Laxative-Free CT Colonography -- Global Colon Geometric Structure Analysis Based on Geodesics and Conformal Flattening -- Improved Colon Navigation for Efficient Polyp Detection in Virtual Colonoscopy -- Personalised Estimation of the Arterial Input Function for Improved Pharmacokinetic Modelling of Colorectal Cancer Using dceMRI -- Free-Form Registration Involving Disappearing Structures: Application to Brachytherapy MRI -- Contour-based TVUS-MR Image Registration for Mapping Small Endometrial Implants -- Rigid Registration of Untracked Freehand 2D Ultrasound Sweeps to 3D CT of Liver Tumours -- Multiphase Liver Registration from Geodesic Distance Maps and Biomechanical Modelling -- Fast Renal Cortex Localization by Combining Generalized Hough Transform and Active Appearance Models -- 3D Surface Reconstruction of Organs Using Patient-Specific Shape Priors in Robot-Assisted Laparoscopic Surgery -- Multi-atlas and Gaussian Mixture Modeling based Perirectal Fat Segmentation from CT Images -- Selective Search and Sequential Detection for Standard Plane Localization in Ultrasound -- Rib Detection in 3D MRI Using Dynamic Programming Based on Vesselness and Ridgeness -- Modeling and Simulation of Soft Tissue Deformation -- Adaptive Confidence Regions of Motion Predictions from Population Exemplar Models -- A Generic, Robust and Fully-automatic Workflow for 3D CT Liver Segmentation -- Tumor Subtype-Specific Parameter Optimization in a Hybrid Active Surface Model for Hepatic Tumor Segmentation of 3D Liver Ultrasonograms -- Continuous-Time Flow-limited Modeling by Convolution Area Property and Differentiation Product Rule in 4-Phase Liver Dynamic Contrast-Enhanced CT -- Use of Tracer Kinetic Model-driven Biomarkers for Monitoring Antiangiogenic Therapy of Hepatocellular Carcinoma in First-pass Perfusion CT -- A Statistical Shape Model for Multiple Organs based on Synthesized-based Learning -- A Survey of Cervix Segmentation Methods in Magnetic Resonance Images. |
| Record Nr. | UNISA-996465545103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abdominal Imaging. Computational and Clinical Applications : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / / edited by Hiroyuki Yoshida, Simon Warfield, Michael Vannier
| Abdominal Imaging. Computational and Clinical Applications : 5th International Workshop, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013, Proceedings / / edited by Hiroyuki Yoshida, Simon Warfield, Michael Vannier |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 300 p. 147 illus.) |
| Disciplina |
006.6
006.37 |
| Collana | Image Processing, Computer Vision, Pattern Recognition, and Graphics |
| Soggetto topico |
Optical data processing
Computers Pattern perception Artificial intelligence Computer science Image Processing and Computer Vision Computer Imaging, Vision, Pattern Recognition and Graphics Computation by Abstract Devices Pattern Recognition Artificial Intelligence Computer Science, general |
| ISBN | 3-642-41083-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Model Development Pipeline for Crohn’s Disease Severity Assessment from Magnetic Resonance Images -- Spatially Constrained Incoherent Motion (SCIM) Model Improves Quantitative Diffusion-Weighted MRI Analysis of Crohn’s Disease Patients -- Self Similarity Image Registration based on Reorientation of the Hessian -- Registration of Prone and Supine CT Colonography Datasets with Differing Endoluminal Distension -- Spatial Correspondence between Prone and Supine CT Colonography Images: Creating a Reference Standard -- Registration of Temporally Separated CT Colonography Cases -- A Classification-Enhanced Vote Accumulation Scheme for Detecting Colonic Polyps -- A Novel Computer Aided Detection (CADe) Scheme for Colonic Polyps Based on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT Colonography: Pilot Evaluation -- Computer-aided Detection of Non-polypoid Flat Lesions in CT Colonography: Observer Performance Study -- Application of Synthetic Sinogram based Low-Dose CT Simulation and Fold-preserving Electronic Cleansing Technique for CT Colonography -- Iterative Reconstruction for Ultra-Low-Dose Laxative-Free CT Colonography -- Global Colon Geometric Structure Analysis Based on Geodesics and Conformal Flattening -- Improved Colon Navigation for Efficient Polyp Detection in Virtual Colonoscopy -- Personalised Estimation of the Arterial Input Function for Improved Pharmacokinetic Modelling of Colorectal Cancer Using dceMRI -- Free-Form Registration Involving Disappearing Structures: Application to Brachytherapy MRI -- Contour-based TVUS-MR Image Registration for Mapping Small Endometrial Implants -- Rigid Registration of Untracked Freehand 2D Ultrasound Sweeps to 3D CT of Liver Tumours -- Multiphase Liver Registration from Geodesic Distance Maps and Biomechanical Modelling -- Fast Renal Cortex Localization by Combining Generalized Hough Transform and Active Appearance Models -- 3D Surface Reconstruction of Organs Using Patient-Specific Shape Priors in Robot-Assisted Laparoscopic Surgery -- Multi-atlas and Gaussian Mixture Modeling based Perirectal Fat Segmentation from CT Images -- Selective Search and Sequential Detection for Standard Plane Localization in Ultrasound -- Rib Detection in 3D MRI Using Dynamic Programming Based on Vesselness and Ridgeness -- Modeling and Simulation of Soft Tissue Deformation -- Adaptive Confidence Regions of Motion Predictions from Population Exemplar Models -- A Generic, Robust and Fully-automatic Workflow for 3D CT Liver Segmentation -- Tumor Subtype-Specific Parameter Optimization in a Hybrid Active Surface Model for Hepatic Tumor Segmentation of 3D Liver Ultrasonograms -- Continuous-Time Flow-limited Modeling by Convolution Area Property and Differentiation Product Rule in 4-Phase Liver Dynamic Contrast-Enhanced CT -- Use of Tracer Kinetic Model-driven Biomarkers for Monitoring Antiangiogenic Therapy of Hepatocellular Carcinoma in First-pass Perfusion CT -- A Statistical Shape Model for Multiple Organs based on Synthesized-based Learning -- A Survey of Cervix Segmentation Methods in Magnetic Resonance Images. |
| Record Nr. | UNINA-9910483557803321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The Abel Prize 2008-2012 / / edited by Helge Holden, Ragni Piene
| The Abel Prize 2008-2012 / / edited by Helge Holden, Ragni Piene |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (561 p.) |
| Disciplina |
004
510 510.79 510.9 |
| Collana | The Abel Prize |
| Soggetto topico |
Mathematics
History Computer science Physics History of Mathematical Sciences Mathematics, general Computer Science, general Physics, general |
| ISBN | 3-642-39449-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- K.G. Helsvig: The Abel Prize – the Missing Nobel in Mathematics.- 2008 John G. Thompson and Jacques Tits: J.G.Thompson: Some Reflections.- R. Lyons and R.M.Guralnick: The Work of John Griggs Tompson: A Survey -- List of Publications for John G. Thompson -- Curriculum Vitae for John G. Thompson -- F. Buekenhout: A biography of Jacques Tits -- F. Buekenhout: A Report on the Scientific Contributions of Jacques Tits -- List of Publications -- Curriculum Vitae -- 2009 Misha Gromov: M.Gromov: A Few Recollections -- D.Burago, and Ya. Eliashberg (Eds.): A Few Snapshots From the Work of Mikhail Gromov -- List of Publications -- Curriculum Vitae -- 2010 John T. Tate Jr.: J.Tate: An Autobiography -- J.S. Milne: The Work of John Tate -- List of Publications -- Curriculum Vitae -- 2011 John W. Milnor: J.Milnor: Autobiography -- H.Bass: Milnor's Work in Algebra and Its Ramifications -- M.Lyubich: John Milnor's Work in Dynamics -- L.C.Siebenmann: John W. Milnor's Work on the Classification of Differentiable Manifolds -- List of Publications -- Curriculum Vitae -- 2012 Endre Szemerédi.: E. Szemerédi: Autobiography -- W.T.Gowers: The Mathematics of Endre Szemerédi -- List of Publications -- Curriculum Vitae -- A Letter by Niels Henrik Abel to August Leopold Crelle -- C.Skau: Abel and the Theory of Algebraic Equations -- Appendices: The Abel Committee -- The Niels Henrik Abel Board -- The Abel Lectures 2003-2012 -- The Abel Presenters 2003-2012.- Addenda, Errata and Updates. |
| Record Nr. | UNINA-9910300148103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Abstract State Machines 2003: Advances in Theory and Practice [[electronic resource] ] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene
| Abstract State Machines 2003: Advances in Theory and Practice [[electronic resource] ] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 436 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer logic Computer science Software engineering Programming languages (Electronic computers) Mathematical logic Theory of Computation Logics and Meanings of Programs Computer Science, general Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-540-36498-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Software Testing Research and Practice -- Abstract State Processes -- Recent Advances in Refinement -- Partial Updates Exploration II -- Experiments with Test Case Generation and Runtime Analysis -- A Framework for Proving Contract-Equipped Classes -- Mobile UNITY Schemas for Agent Coordination -- UML and Concurrency -- Research Papers -- A Unified Formal Specification and Analysis of the New Java Memory Models -- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks -- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes -- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines -- The Hidden Computation Steps of Turbo Abstract State Machines -- Using Spin to Generate Tests from ASM Specifications -- Interfacing ASM with the MDG Tool -- ASMs versus Natural Semantics: A Comparison with New Insights -- Quantum Computing and Abstract State Machines -- Consistent Integration for Sequential Abstract State Machines -- Deciding the Verification Problem for Abstract State Machines -- An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions -- Privacy, Abstract Encryption and Protocols: An ASM Model - Part I -- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines -- Extended Abstracts -- Using AsmL for Runtime Verification -- Modeling Information Services on the Basis of ASM Semantics -- Designing the Parlay Call-Control Using ASMs -- Test Case Generation from AsmL Specifications -- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education -- Using ASM Specifications for Compiler Testing -- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction -- AsmL Specification of a Ptolemy II Scheduler -- ASM Specification of Database Systems -- The Computable Kernel of ASM -- A Non-standard Approach to Operational Semantics for Timed Systems -- Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines. |
| Record Nr. | UNISA-996465645203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene
| Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 436 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer logic Computer science Software engineering Programming languages (Electronic computers) Logic, Symbolic and mathematical Theory of Computation Logics and Meanings of Programs Computer Science, general Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-540-36498-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Software Testing Research and Practice -- Abstract State Processes -- Recent Advances in Refinement -- Partial Updates Exploration II -- Experiments with Test Case Generation and Runtime Analysis -- A Framework for Proving Contract-Equipped Classes -- Mobile UNITY Schemas for Agent Coordination -- UML and Concurrency -- Research Papers -- A Unified Formal Specification and Analysis of the New Java Memory Models -- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks -- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes -- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines -- The Hidden Computation Steps of Turbo Abstract State Machines -- Using Spin to Generate Tests from ASM Specifications -- Interfacing ASM with the MDG Tool -- ASMs versus Natural Semantics: A Comparison with New Insights -- Quantum Computing and Abstract State Machines -- Consistent Integration for Sequential Abstract State Machines -- Deciding the Verification Problem for Abstract State Machines -- An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions -- Privacy, Abstract Encryption and Protocols: An ASM Model - Part I -- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines -- Extended Abstracts -- Using AsmL for Runtime Verification -- Modeling Information Services on the Basis of ASM Semantics -- Designing the Parlay Call-Control Using ASMs -- Test Case Generation from AsmL Specifications -- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education -- Using ASM Specifications for Compiler Testing -- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction -- AsmL Specification of a Ptolemy II Scheduler -- ASM Specification of Database Systems -- The Computable Kernel of ASM -- A Non-standard Approach to Operational Semantics for Timed Systems -- Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines. |
| Record Nr. | UNINA-9910143882103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ad Hoc Networks : 6th International ICST Conference, ADHOCNETS 2014, Rhodes, Greece, August 18-19, 2014, Revised Selected Papers / / edited by Natalie Mitton, Antoine Gallais, Melike Erol Kantarci, Symeon Papavassiliou
| Ad Hoc Networks : 6th International ICST Conference, ADHOCNETS 2014, Rhodes, Greece, August 18-19, 2014, Revised Selected Papers / / edited by Natalie Mitton, Antoine Gallais, Melike Erol Kantarci, Symeon Papavassiliou |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (IX, 266 p. 112 illus.) |
| Disciplina | 004 |
| Collana | Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering |
| Soggetto topico |
Computer science
Computer networks Computers, Special purpose Computer security Computer Science, general Computer Communication Networks Special Purpose and Application-Based Systems Systems and Data Security |
| ISBN | 3-319-13329-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Interest-based forwarding for satisfying user preferences in vehicular networks -- Traffic-Aware Access-Points Deployment Strategies for VANETS -- A Social-based Approach for Message Dissemination in Vehicular Ad Hoc Networks -- Intelligent Transportation Systems - Maybe, But Where Are My Agents -- On the usefulness of information hiding techniques for wireless sensor networks security -- Evaluation of Malware Spreading in Wireless Multihop Networks with Churn -- Security and Privacy-preserving Mechanism for Aggregator based Vehicle-to-Grid Network -- An Improved TCP for Reduced Packet Delay in IEEE 802.11s-based Smart Grid AMI Networks -- A Cluster-based and On-demand routing algorithm for Large-Scale Multi-hop Wireless Sensor Networks -- Social OLSR: A social based routing algorithm for Mobile Ad Hoc Networks -- Improving Stability in QoS Routing for Ad-Hoc Networks -- Content Centricity in Constrained Cellular-Assisted D2D Communications -- Adaptive Transmit Power Adjustment Technique for ZigBee Network under Wi-Fi Interference -- Channel Switching Cost-Aware Resource Allocation for Multi-hop Cognitive Radio Networks with a Single Transceiver -- Connectivity Provisioning Using Cognitive Channel Selection in Vehicular Networks -- Using location services to autonomously drive flying mobile sinks in Wireless Sensor Networks -- Validation and Evaluation of the Chosen Path Planning Algorithm for Localization of Nodes Using an Unmanned Aerial Vehicle in Disaster Scenarios -- Structural Health Monitoring of Infrastructure using Wireless Sensor System -- A low-overhead localized target coverage algorithm in wireless sensor networks -- Connectivity restoration and amelioration in wireless ad-hoc networks: A practical solution. |
| Record Nr. | UNINA-9910298966503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada 95, Quality and Style [[electronic resource] ] : Guidelines for Professional Programmers / / edited by Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl
| Ada 95, Quality and Style [[electronic resource] ] : Guidelines for Professional Programmers / / edited by Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
| Descrizione fisica | 1 online resource (XV, 296 p.) |
| Disciplina | 005.13/3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Programming languages (Electronic computers)
Software engineering Computer science Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Computer Science, general |
| ISBN | 3-540-69655-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465388903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Soggetto topico
-
Computer Science, general
(426)
- Computer science (424)
- Artificial Intelligence (102)
- Artificial intelligence (101)
- Application software (81)