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.
Reliability and Risk Assessment in Engineering [[electronic resource] ] : Proceedings of INCRS 2018 / / edited by Vijay Kumar Gupta, Prabhakar V. Varde, P. K. Kankar, Narendra Joshi
| Reliability and Risk Assessment in Engineering [[electronic resource] ] : Proceedings of INCRS 2018 / / edited by Vijay Kumar Gupta, Prabhakar V. Varde, P. K. Kankar, Narendra Joshi |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXVI, 532 p. 226 illus., 144 illus. in color.) |
| Disciplina | 620.00452 |
| Collana | Lecture Notes in Mechanical Engineering |
| Soggetto topico |
Quality control
Reliability Industrial safety Computer software—Reusability Mathematical models Manufactures Quality Control, Reliability, Safety and Risk Performance and Reliability Mathematical Modeling and Industrial Mathematics Manufacturing, Machines, Tools, Processes |
| ISBN | 981-15-3746-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section 1: Big Data Analytics and Software Engineering -- Section 2: Data Analytics for Reliability: Applications -- Section 3: Condition Monitoring Techniques and Applications -- Section 4: Health Monitoring and Management using Multi-Sensors -- Section 5: Diagnosis and Prognosis of Mechanical Systems -- Section 6: Design for reliability -- Section 7: Optimization and Machine Learning Techniques for Industrial Applications -- Section 8: Performance/ Failure Analysis of Materials in Service -- Section 9: Reliability Issues in Electrical Distribution Systems. |
| Record Nr. | UNINA-9910403766803321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliability and Statistical Computing [[electronic resource] ] : Modeling, Methods and Applications / / edited by Hoang Pham
| Reliability and Statistical Computing [[electronic resource] ] : Modeling, Methods and Applications / / edited by Hoang Pham |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIII, 317 p. 104 illus., 57 illus. in color.) |
| Disciplina | 004.0684 |
| Collana | Springer Series in Reliability Engineering |
| Soggetto topico |
Quality control
Reliability Industrial safety Computer software—Reusability Statistics Mathematical statistics Quality Control, Reliability, Safety and Risk Performance and Reliability Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences Probability and Statistics in Computer Science |
| ISBN | 3-030-43412-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reliability Computing -- Modeling and Methods -- Predicted Reliability Modeling -- Mechanical Reliability Analysis -- Fatigue Distribution Functions -- Optimal Maintenance Models -- Maintenance Policies -- System Reliability with Simultaneous Failure on Consecutive Components -- Statistical Computing -- Modeling and Methods -- Wearable Sensor Data Based Human Activity Recognition Using Machine Learning -- Bootstrap Confidence Interval for Regression Coefficients -- Run Rules Control Charts for Coefficient of Variation with Measurement Errors -- Goodness-of-Fit Tests for the Component Lifetimes Distribution Based on the System Failure Data with Known Signature -- Methodology of Using Empirical Distributions to Solve Business Optimization Problems -- Deep Learning-based Scene Understanding Model for Assistive System Related to Alzheimer's Patients -- Applications and Case Studies -- Modelling the Performance of Capital Constrained Firms -- Integrating Sentiment Analysis in Recommender Systems -- Feature Matching Technique Using Similarity Features Filtering for Image Alignment -- Extended Sentence Similarity Based on Word Relations for Document Summarization -- Developing Alert Level for Aircraft Components -- Application of Machine Learning for Failure Prediction in Manufacturing Process. |
| Record Nr. | UNINA-9910383831903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliability, Safety and Hazard Assessment for Risk-Based Technologies [[electronic resource] ] : Proceedings of ICRESH 2019 / / edited by Prabhakar V. Varde, Raghu V. Prakash, Gopika Vinod
| Reliability, Safety and Hazard Assessment for Risk-Based Technologies [[electronic resource] ] : Proceedings of ICRESH 2019 / / edited by Prabhakar V. Varde, Raghu V. Prakash, Gopika Vinod |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XVI, 1015 p. 460 illus., 333 illus. in color.) |
| Disciplina | 658.56 |
| Collana | Lecture Notes in Mechanical Engineering |
| Soggetto topico |
Quality control
Reliability Industrial safety Fire prevention Computer software—Reusability Quality Control, Reliability, Safety and Risk Fire Science, Hazard Control, Building Safety Performance and Reliability |
| ISBN | 981-13-9008-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Time Dependent short mode failures in MLCCs due to cracks in the device bodies -- Chapter 2: Local Orbit Bump Control in Indus-2 Using Intelligent Agents Based Control for Enhanced System Operability -- Chapter 3: Reliability Analysis of Smart Pressure Transmitter -- Chapter 4: Accelerated failure time models with corrective and preventive maintenance for repairable systems subject to imperfect repair -- Chapter 5: Reliability Improvement of Single Shot Device -- Chapter 6: Reliability Evaluation of Silicon Carbide (SiC) Boost Converter using Stochastic Model -- Chapter 7: Application of HALT for Standardization in Aerospace Systems: A Case study of Relay Contactors -- Chapter 8: Failure Mode Effect Analysis of Analog Alarm Trip Unit using simulation technique -- Chapter 9: Analytical Modelling of Distributed File Systems (GlusterFS and CephFS) -- Chapter 10: Ageing model for electrolytic capacitors under thermal overstress -- Chapter 11: Vulnerability Assessment of Authorization System for USB-based Storage Devices -- Chapter 12: Crypto-Ransomware Detection using Behavioural Analysis -- Chapter 13: Comprehensive Safety Analysis of Station Black Out scenario in TAPS-1 and 2 -- Chapter 14: Source-term Prediction during Loss of Coolant Accident in NPP using Artificial Neural Networks -- Chapter 15: Markov probabilistic approach based availability simulation modelling and performance evaluation of coal supply system of thermal power plant. |
| Record Nr. | UNINA-9910366598303321 |
| Singapore : , : Springer Singapore : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable Communications within Cyber-Physical Systems Using the Internet (RC4CPS) [[electronic resource] /] / by Mohammad Elattar
| Reliable Communications within Cyber-Physical Systems Using the Internet (RC4CPS) [[electronic resource] /] / by Mohammad Elattar |
| Autore | Elattar Mohammad |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2020 |
| Descrizione fisica | 1 online resource (202 pages) |
| Disciplina | 006.22 |
| Collana | Technologien für die intelligente Automation, Technologies for Intelligent Automation |
| Soggetto topico |
Computer engineering
Internet of things Embedded computer systems Computer communication systems Application software Computer software—Reusability Cyber-physical systems, IoT Computer Communication Networks Information Systems Applications (incl. Internet) Performance and Reliability |
| ISBN | 3-662-59793-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Research Description -- State of the Art -- Technological Background -- Reliable Multipath Communication for Internet-based CPSs (RC4CPS) – Concept -- Characterizing Internet Paths Diversity and Unavailability -- Online Monitoring and Prediction -- Implementation Considerations -- Confidence Interval for MP communication Unavailability -- Implementation and Evaluation of RC4CPS Using MATLAB -- Implementation and Evaluation of RC4CPS Using iPRP MP Transport Protocol -- Conclusion and Future Work. |
| Record Nr. | UNINA-9910366619903321 |
Elattar Mohammad
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reliable Software Technologies - Ada-Europe 2009 [[electronic resource] ] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec
| Reliable Software Technologies - Ada-Europe 2009 [[electronic resource] ] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIV, 283 p.) |
| Disciplina | 005.13322gerDNB |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer system failures Computer software—Reusability Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters System Performance and Evaluation Performance and Reliability |
| Soggetto genere / forma |
Brest (Bretagne, 2009)
Kongress. |
| ISBN | 3-642-01924-2 |
| Classificazione |
DAT 263f
DAT 343f DAT 356f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition. |
| Record Nr. | UNISA-996465606503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Reliable Software Technologies - Ada-Europe 2009 [[electronic resource] ] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec
| Reliable Software Technologies - Ada-Europe 2009 [[electronic resource] ] : 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings / / edited by Fabrice Kordon, Yvon Kermarrec |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XIV, 283 p.) |
| Disciplina | 005.13322gerDNB |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer system failures Computer software—Reusability Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters System Performance and Evaluation Performance and Reliability |
| Soggetto genere / forma |
Brest (Bretagne, 2009)
Kongress. |
| ISBN | 3-642-01924-2 |
| Classificazione |
DAT 263f
DAT 343f DAT 356f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Requirements on the Target Programming Language for High-Integrity MDE -- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems -- Validating Safety and Security Requirements for Partitioned Architectures -- On Comparing Testing Criteria for Logical Decisions -- Model Checking Techniques for Test Generation from Business Process Models -- An Experience on Ada Programming Using On-Line Judging -- Weak Fairness Semantic Drawbacks in Java Multithreading -- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT -- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005 -- Predicated Worst-Case Execution-Time Analysis -- Implementing Reactive Systems with UML State Machines and Ada 2005 -- Modelling and Evaluating Real-Time Software Architectures -- A Formal Foundation for Metamodeling -- Modeling AADL Data Communication with BIP -- Formal Verification of AADL Specifications in the Topcased Environment -- Process-Algebraic Interpretation of AADL Models -- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications -- Conceptual Modeling for System Requirements Enhancement -- Coloured Petri Nets for Chronicle Recognition. |
| Record Nr. | UNINA-9910484097603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Resilient Routing in Communication Networks [[electronic resource] /] / by Jacek Rak
| Resilient Routing in Communication Networks [[electronic resource] /] / by Jacek Rak |
| Autore | Rak Jacek |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (194 p.) |
| Disciplina | 004.6 |
| Collana | Computer Communications and Networks |
| Soggetto topico |
Computer communication systems
Computer software—Reusability Computer simulation Computer Communication Networks Performance and Reliability Simulation and Modeling |
| ISBN | 3-319-22333-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Principles of Communication Networks Resilience -- Resilience of Future Internet Communications -- Resilience of Wireless Mesh Networks -- Disruption-tolerant Routing in Vehicular Ad-hoc Networks. |
| Record Nr. | UNINA-9910299196803321 |
|
Rak Jacek
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Resource Management for Big Data Platforms [[electronic resource] ] : Algorithms, Modelling, and High-Performance Computing Techniques / / edited by Florin Pop, Joanna Kołodziej, Beniamino Di Martino
| Resource Management for Big Data Platforms [[electronic resource] ] : Algorithms, Modelling, and High-Performance Computing Techniques / / edited by Florin Pop, Joanna Kołodziej, Beniamino Di Martino |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 516 p. 138 illus., 57 illus. in color.) |
| Disciplina | 005.7 |
| Collana | Computer Communications and Networks |
| Soggetto topico |
Computer communication systems
Computer simulation Computer software—Reusability Database management Computer Communication Networks Simulation and Modeling Performance and Reliability Database Management |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Modeling of Big Data Oriented Architectures -- Workflow Scheduling Techniques for Big Data Platforms -- Cloud Technologies: A New Level for Big Data Mining -- Agent Based High-Level Interaction Patterns for Modeling Individual and Collective Optimizations Problems -- Maximize Profit for Big Data Processing in Distributed Datacenters -- Energy and Power Efficiency in the Cloud -- Context Aware and Reinforcement Learning Based Load Balancing System for Green Clouds -- High-Performance Storage Support for Scientific Big Data Applications on the Cloud -- Information Fusion for Improving Decision-Making in Big Data Applications -- Load Balancing and Fault Tolerance Mechanisms for Scalable and Reliable Big Data Analytics -- Fault Tolerance in MapReduce: A Survey -- Big Data Security -- Big Biological Data Management -- Optimal Worksharing of DNA Sequence Analysis on Accelerated Platforms -- Feature Dimensionality Reduction for Mammographic Report Classification -- Parallel Algorithms for Multi-Relational Data Mining: Application to Life Science Problems -- Parallelization of Sparse Matrix Kernels for Big Data Applications -- Delivering Social Multimedia Content with Scalability -- A Java-Based Distributed Approach for Generating Large-Scale Social Network Graphs -- Predicting Video Virality on Twitter -- Big Data uses in Crowd Based Systems -- Evaluation of a Web Crowd–Sensing IoT Ecosystem Providing Big Data Analysis -- A Smart City Fighting Pollution by Efficiently Managing and Processing Big Data from Sensor Networks. |
| Record Nr. | UNINA-9910148854503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Robotic Grasping and Manipulation [[electronic resource] ] : First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers / / edited by Yu Sun, Joe Falco
| Robotic Grasping and Manipulation [[electronic resource] ] : First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers / / edited by Yu Sun, Joe Falco |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (VIII, 201 p. 126 illus.) |
| Disciplina | 629.892 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Artificial intelligence
Computer software—Reusability Special purpose computers Artificial Intelligence Performance and Reliability Special Purpose and Application-Based Systems |
| ISBN | 3-319-94568-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Robotic competition -- Hand-in-hand grasping -- Fully autonomous grasping -- Simulation. |
| Record Nr. | UNINA-9910299315303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Runtime Verification [[electronic resource] ] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / / edited by Saddek Bensalem, Doron A. Peled
| Runtime Verification [[electronic resource] ] : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers / / edited by Saddek Bensalem, Doron A. Peled |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (VII, 203 p.) |
| Disciplina | 005.1/17 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Computer software—Reusability Programming languages (Electronic computers) Computer system failures Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation Performance and Reliability Programming Languages, Compilers, Interpreters System Performance and Evaluation |
| Soggetto genere / forma |
Grenobble (2009)
Grenoble (2009) Kongress. |
| ISBN | 3-642-04694-0 |
| Classificazione |
DAT 263f
DAT 325f SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Rule Systems for Runtime Verification: A Short Tutorial -- Verification, Testing and Statistics -- Type-Separated Bytecode – Its Construction and Evaluation -- Runtime Verification of Safety-Progress Properties -- Monitor Circuits for LTL with Bounded and Unbounded Future -- State Joining and Splitting for the Symbolic Execution of Binaries -- The LIME Interface Specification Language and Runtime Monitoring Tool -- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing -- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming -- Runtime Verification of C Memory Safety -- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis -- Hardware Supported Flexible Monitoring: Early Results -- DMaC: Distributed Monitoring and Checking. |
| Record Nr. | UNISA-996465300203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
