top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Internet of Things. Information Processing in an Increasingly Connected World [[electronic resource] ] : First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers / / edited by Leon Strous, Vinton G. Cerf
Internet of Things. Information Processing in an Increasingly Connected World [[electronic resource] ] : First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers / / edited by Leon Strous, Vinton G. Cerf
Autore Strous Leon
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham, : Springer Nature, 2019
Descrizione fisica 1 online resource (XII, 235 p. 63 illus., 48 illus. in color.)
Disciplina 004.6
Collana IFIP Advances in Information and Communication Technology
Soggetto topico Special purpose computers
Application software
Computer communication systems
Artificial intelligence
Computer system failures
Operating systems (Computers)
Special Purpose and Application-Based Systems
Information Systems Applications (incl. Internet)
Computer Communication Networks
Artificial Intelligence
System Performance and Evaluation
Operating Systems
Soggetto non controllato Computer science
Special purpose computers
Application software
Computer communication systems
Artificial intelligence
Computer system failures
Operating systems (Computers)
ISBN 3-030-15651-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910337582803321
Strous Leon  
Cham, : Springer Nature, 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
An Introduction to Ethics in Robotics and AI [[electronic resource] /] / by Christoph Bartneck, Christoph Lütge, Alan Wagner, Sean Welsh
An Introduction to Ethics in Robotics and AI [[electronic resource] /] / by Christoph Bartneck, Christoph Lütge, Alan Wagner, Sean Welsh
Autore Bartneck Christoph <1973->
Edizione [1st ed. 2021.]
Pubbl/distr/stampa Springer Nature, 2021
Descrizione fisica 1 online resource (XI, 117 p. 18 illus. in color.)
Disciplina 601
Collana SpringerBriefs in Ethics
Soggetto topico Engineering ethics
Robotics
Psychology, Applied
Engineering Ethics
Applied Psychology
Soggetto non controllato Engineering Ethics
Robotics
Applied Psychology
Moral Philosophy and Applied Ethics
Behavioral Sciences and Psychology
AI and ethics
ethics and robotics
descriptive ethics
relationship between ethics and law
machine ethics
machine meta-ethics
machine normative ethics
types of AI systems
strong and weak AI
challenges of AI
Open Access
Ethics & moral philosophy
Technology: general issues
Artificial intelligence
Psychology
ISBN 3-030-51110-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Contents -- List of Figures -- 1 About the Book -- 1.1 Authors -- 1.2 Structure of the Book -- 2 What Is AI? -- 2.1 Introduction to AI -- 2.1.1 The Turing Test -- 2.1.2 Strong and Weak AI -- 2.1.3 Types of AI Systems -- 2.2 What Is Machine Learning? -- 2.3 What Is a Robot? -- 2.3.1 Sense-Plan-Act -- 2.3.2 System Integration. Necessary but Difficult -- 2.4 What Is Hard for AI -- 2.5 Science and Fiction of AI -- 3 What Is Ethics? -- 3.1 Descriptive Ethics -- 3.2 Normative Ethics -- 3.2.1 Deontological Ethics -- 3.2.2 Consequentialist Ethics -- 3.2.3 Virtue Ethics -- 3.3 Meta-ethics -- 3.4 Applied Ethics -- 3.5 Relationship Between Ethics and Law -- 3.6 Machine Ethics -- 3.6.1 Machine Ethics Examples -- 3.6.2 Moral Diversity and Testing -- 4 Trust and Fairness in AI Systems -- 4.1 User Acceptance and Trust -- 4.2 Functional Elements of Trust -- 4.3 Ethical Principles for Trustworthy and Fair AI -- 4.3.1 Non-maleficence -- 4.3.2 Beneficence -- 4.3.3 Autonomy -- 4.3.4 Justice -- 4.3.5 Explicability -- 4.4 Conclusion -- 5 Responsibility and Liability in the Case of AI Systems -- 5.1 Example 1: Crash of an Autonomous Vehicle -- 5.2 Example 2: Mistargeting by an Autonomous Weapon -- 5.2.1 Attribution of Responsibility and Liability -- 5.2.2 Moral Responsibility Versus Liability -- 5.3 Strict Liability -- 5.4 Complex Liability: The Problem of Many Hands -- 5.5 Consequences of Liability: Sanctions -- 6 Risks in the Business of AI -- 6.1 General Business Risks -- 6.1.1 Functional Risk -- 6.1.2 Systemic Risk -- 6.1.3 Risk of Fraud -- 6.1.4 Safety Risk -- 6.2 Ethical Risks of AI -- 6.2.1 Reputational Risk -- 6.2.2 Legal Risk -- 6.2.3 Environmental Risk -- 6.2.4 Social Risk -- 6.3 Managing Risk of AI -- 6.4 Business Ethics for AI Companies -- 6.5 Risks of AI to Workers -- 7 Psychological Aspects of AI -- 7.1 Problems of Anthropomorphisation.
7.1.1 Misplaced Feelings Towards AI -- 7.1.2 Misplaced Trust in AI -- 7.2 Persuasive AI -- 7.3 Unidirectional Emotional Bonding with AI -- 8 Privacy Issues of AI -- 8.1 What Is Privacy? -- 8.2 Why AI Needs Data -- 8.3 Private Data Collection and Its Dangers -- 8.3.1 Persistence Surveillance -- 8.3.2 Usage of Private Data for Non-intended Purposes -- 8.3.3 Auto Insurance Discrimination -- 8.3.4 The Chinese Social Credit System -- 8.4 Future Perspectives -- 9 Application Areas of AI -- 9.1 Ethical Issues Related to AI Enhancement -- 9.1.1 Restoration Versus Enhancement -- 9.1.2 Enhancement for the Purpose of Competition -- 9.2 Ethical Issues Related to Robots and Healthcare -- 9.3 Robots and Telemedicine -- 9.3.1 Older Adults and Social Isolation -- 9.3.2 Nudging -- 9.3.3 Psychological Care -- 9.3.4 Exoskeletons -- 9.3.5 Quality of Care -- 9.4 Education -- 9.4.1 AI in Educational Administrative Support -- 9.4.2 Teaching -- 9.4.3 Forecasting Students' Performance -- 9.5 Sex Robots -- 10 Autonomous Vehicles -- 10.1 Levels of Autonomous Driving -- 10.2 Current Situation -- 10.3 Ethical Benefits of AVs -- 10.4 Accidents with AVs -- 10.5 Ethical Guidelines for AVs -- 10.6 Ethical Questions in AVs -- 10.6.1 Accountability and Liability -- 10.6.2 Situations of Unavoidable Accidents -- 10.6.3 Privacy Issues -- 10.6.4 Security -- 10.6.5 Appropriate Design of Human-Machine Interface -- 10.6.6 Machine Learning -- 10.6.7 Manually Overruling the System? -- 10.6.8 Possible Ethical Questions in Future Scenarios -- 11 Military Uses of AI -- 11.1 Definitions -- 11.2 The Use of Autonomous Weapons Systems -- 11.2.1 Discrimination -- 11.2.2 Proportionality -- 11.2.3 Responsibility -- 11.3 Regulations Governing an AWS -- 11.4 Ethical Arguments for and Against AI for Military Purposes -- 11.4.1 Arguments in Favour -- 11.4.2 Arguments Against -- 11.5 Conclusion.
12 Ethics in AI and Robotics: A Strategic Challenge -- 12.1 The Role of Ethics -- 12.2 International Cooperation -- Appendix References -- -- Index.
Record Nr. UNINA-9910416118603321
Bartneck Christoph <1973->  
Springer Nature, 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Knowledge Graphs and Big Data Processing [[electronic resource] /] / edited by Valentina Janev, Damien Graux, Hajira Jabeen, Emanuel Sallinger
Knowledge Graphs and Big Data Processing [[electronic resource] /] / edited by Valentina Janev, Damien Graux, Hajira Jabeen, Emanuel Sallinger
Autore Janev Valentina
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Springer Nature, 2020
Descrizione fisica 1 online resource (XI, 209 p. 39 illus., 32 illus. in color.)
Disciplina 005.74
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Database management
Application software
Artificial intelligence
Computer logic
Management information systems
Database Management
Information Systems Applications (incl. Internet)
Logic in AI
Computer Appl. in Administrative Data Processing
Business Information Systems
Soggetto non controllato Database Management
Information Systems Applications (incl. Internet)
Logic in AI
Computer Appl. in Administrative Data Processing
Business Information Systems
Computer and Information Systems Applications
Computer Application in Administrative Data Processing
artificial intelligence
big data
data analytics
data handling
data integration
data mining
databases
digital storage
domain knowledge
graph theory
information management
information technology
integrated data
internet
knowledge management
knowledge-based system
ontologies
semantics
Databases
Database programming
Information retrieval
Internet searching
Artificial intelligence
Public administration
Information technology: general issues
Business mathematics & systems
ISBN 3-030-53199-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Foundations -- Chapter 1. Ecosystem of Big Data -- Chapter 2. Knowledge Graphs: The Layered Perspective -- Chapter 3. Big Data Outlook, Tools, and Architectures -- Architecture -- Chapter 4. Creation of Knowledge Graphs -- Chapter 5. Federated Query Processing -- Chapter 6. Reasoning in Knowledge Graphs: An Embeddings Spotlight -- Methods and Solutions -- Chapter 7. Scalable Knowledge Graph Processing using SANSA -- Chapter 8. Context-Based Entity Matching for Big Data -- Applications -- Chapter 9. Survey on Big Data Applications -- Chapter 10. Case Study from the Energy Domain.
Record Nr. UNISA-996418289903316
Janev Valentina  
Springer Nature, 2020
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Knowledge Graphs and Big Data Processing [[electronic resource] /] / edited by Valentina Janev, Damien Graux, Hajira Jabeen, Emanuel Sallinger
Knowledge Graphs and Big Data Processing [[electronic resource] /] / edited by Valentina Janev, Damien Graux, Hajira Jabeen, Emanuel Sallinger
Autore Janev Valentina
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Springer Nature, 2020
Descrizione fisica 1 online resource (XI, 209 p. 39 illus., 32 illus. in color.)
Disciplina 005.74
Collana Information Systems and Applications, incl. Internet/Web, and HCI
Soggetto topico Database management
Application software
Artificial intelligence
Computer logic
Management information systems
Database Management
Information Systems Applications (incl. Internet)
Logic in AI
Computer Appl. in Administrative Data Processing
Business Information Systems
Soggetto non controllato Database Management
Information Systems Applications (incl. Internet)
Logic in AI
Computer Appl. in Administrative Data Processing
Business Information Systems
Computer and Information Systems Applications
Computer Application in Administrative Data Processing
artificial intelligence
big data
data analytics
data handling
data integration
data mining
databases
digital storage
domain knowledge
graph theory
information management
information technology
integrated data
internet
knowledge management
knowledge-based system
ontologies
semantics
Databases
Database programming
Information retrieval
Internet searching
Artificial intelligence
Public administration
Information technology: general issues
Business mathematics & systems
ISBN 3-030-53199-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Foundations -- Chapter 1. Ecosystem of Big Data -- Chapter 2. Knowledge Graphs: The Layered Perspective -- Chapter 3. Big Data Outlook, Tools, and Architectures -- Architecture -- Chapter 4. Creation of Knowledge Graphs -- Chapter 5. Federated Query Processing -- Chapter 6. Reasoning in Knowledge Graphs: An Embeddings Spotlight -- Methods and Solutions -- Chapter 7. Scalable Knowledge Graph Processing using SANSA -- Chapter 8. Context-Based Entity Matching for Big Data -- Applications -- Chapter 9. Survey on Big Data Applications -- Chapter 10. Case Study from the Energy Domain.
Record Nr. UNINA-9910413442003321
Janev Valentina  
Springer Nature, 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Mathematical concepts and applications in mechanical engineering and mechatronics / / Mangey Ram and J. Paulo Davim, editors
Mathematical concepts and applications in mechanical engineering and mechatronics / / Mangey Ram and J. Paulo Davim, editors
Autore Ram Mangey
Pubbl/distr/stampa Hershey, PA : , : Engineering Science Reference, an imprint of IGI Global, , [2017]
Descrizione fisica PDFs (494 pages) : illustrations
Disciplina 510.24/621
Collana Advances in mechatronics and mechanical engineering (AMME) book series
Soggetto topico Mechanical engineering - Mathematics
Mechatronics - Mathematics
Soggetto non controllato Artificial intelligence
Decision making models
Design optimization
Electrical discharge machining
Electrochemical spark micromachining
Fatigue reliability
Reliability optimization
Welding
ISBN 9781522516408
9781522516392
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Effective optimization of statistical decisions for age replacement problems under parametric uncertainty / N. A. Nechval, K. N. Nechval -- A multiresponse optimization model for statistical design of processes with discrete variables / Taha-Hossein Hejazi, Leilanaz Akbari -- Design optimization of a wind turbine using artificial intelligence / Jagan Jayabalan [and 3 others] -- Optimization of process parameters using Taguchi coupled genetic algorithm: machining in CNC lathe / Supriyo Roy, J. Paulo Davim, Kaushik Kumar -- Reliability optimization of complex systems using cuckoo search algorithm / Anuj Kumar, Sangeeta Pant, S. B. Singh -- Multi-objective optimization of die-sinking EDM process on AISI P-20 tool steel using cuckoo search and genetic algorithm / Goutam Kumar Bose, Pritam Pain, Sayak Mukhopadhyay -- Introduction to system reliability evaluation through Bayesian approach / M. Kumar, P. N. Bajeel -- Reliability analysis of engineering systems: an accelerated life testing for boiler tubes / Taha-Hossein Hejazi, Hossein Poursabbagh -- Monte Carlo simulation for reliability-based design of automotive complex subsystems / Taha-Hossein Hejazi, Amirmohsen Hejazi -- Reliability analysis of two dissimilar-cold standby redundant systems subject to inspection with preventive maintenance using Copula / Beena Nailwal, S. B. Singh -- Welding process under fault coverage approach for reliability and MTTF / Nupur Goyal, Mangey Ram, Pranshu Kumar --
Electrical impedance modeling of electrochemical spark micromachining process / Anjali Vishwas Kulkarni -- Development of a material constitutive model and simulation technique to predict nonlinearities in piezoelectric materials under weak electric fields / M. K. Samal -- Walking control of humanoid robots on uneven ground using fuzzy algorithm / Saeed Abdolshah [and 3 others] -- Development of path tracking control algorithm for a 4 DOF spatial manipulator using PID controller / Pradeep Reddy Bonikila, Ravi Kumar Mandava, Pandu Ranga Vundavilli -- Efficient planning: in-service inspections of fatigued structures under parametric uncertainty / N. A. Nechval, K. N. Nechval -- Stochastic approach to uncertainty control in multiphysics systems: modeling of carbon balance and analysis of GHG emissions using satellite tools / Yuriy V. Kostyuchenko [and 3 others] -- Journey from Order to Chaos and Returning / Anuraj Singh -- Combustion instability analysis using wavelets in conventional diesel engine / Rakesh Kumar Maurya, Akhil Nekkanti -- Numerical simulation of high temperature deformation behavior of nickel-based superalloys using crystal plasticity models and finite element method / M.K. Samal.
Record Nr. UNINA-9910148746103321
Ram Mangey  
Hershey, PA : , : Engineering Science Reference, an imprint of IGI Global, , [2017]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Models, Methods and Tools for Product Service Design [[electronic resource] ] : The Manutelligence Project / / edited by Laura Cattaneo, Sergio Terzi
Models, Methods and Tools for Product Service Design [[electronic resource] ] : The Manutelligence Project / / edited by Laura Cattaneo, Sergio Terzi
Autore Cattaneo Laura
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Cham, : Springer Nature, 2019
Descrizione fisica 1 online resource (IX, 143 p. 85 illus., 84 illus. in color.)
Disciplina 670
Collana PoliMI SpringerBriefs
Soggetto topico Manufactures
Computational intelligence
Artificial intelligence
Service industries
Manufacturing, Machines, Tools, Processes
Computational Intelligence
Artificial Intelligence
Services
Soggetto non controllato Engineering
Manufactures
Computational intelligence
Artificial intelligence
Service industries
ISBN 3-319-95849-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction -- Engineering and business requirements definition, analysis and validation -- Life cycle Management for Product-Service Systems -- A Platform for Product-Service Design and Manufacturing Intelligence -- Tools and procedures to embed and retrieve Product-Service lifecycle knowledge -- Life Cycle Assessment and Life Cycle Costing for PSS -- Use cases -- Business Exploitation.
Record Nr. UNINA-9910337602203321
Cattaneo Laura  
Cham, : Springer Nature, 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
New Metropolitan Perspectives [[electronic resource] ] : Knowledge Dynamics, Innovation-driven Policies Towards the Territories’ Attractiveness Volume 1 / / edited by Carmelina Bevilacqua, Francesco Calabrò, Lucia Della Spina
New Metropolitan Perspectives [[electronic resource] ] : Knowledge Dynamics, Innovation-driven Policies Towards the Territories’ Attractiveness Volume 1 / / edited by Carmelina Bevilacqua, Francesco Calabrò, Lucia Della Spina
Autore Bevilacqua Carmelina
Edizione [1st ed. 2020.]
Pubbl/distr/stampa Springer Nature, 2020
Descrizione fisica 1 online resource (XXI, 282 p. 61 illus., 50 illus. in color.)
Disciplina 006.3
Collana Smart Innovation, Systems and Technologies
Soggetto topico Computational intelligence
Urban economics
Computational Intelligence
Urban Economics
Soggetto non controllato Computational Intelligence
Urban Economics
Regional and Spatial Economics
Integrated Approach of Sustainable Urban Development
Metropolitan City: Issues and Challenges
Urban Regeneration: Community Involvement and PPP
Heritage and Identity
Economic-Estimative Dynamics and Valuation Tools
Open Access
Artificial intelligence
Urban economics
ISBN 3-030-52869-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Cities and Regions Towards Transition -- Organization -- Programme Chairs -- Scientific Committee -- Internal Scientific Board -- Scientific Partnership -- Organising Committee -- Contents -- Smart Specialisation Strategy (S3) and Social Network Analysis (SNA): Mapping Capabilities in Calabria -- Abstract -- 1 Introduction -- 2 Methodology -- 3 Findings -- 3.1 H2020 Research Projects Network in Calabria -- 3.2 Organizations in H2020 Research Projects Network in Calabria -- 3.3 Interactions Across Technologies Within H2020 Research Projects in Calabria -- 3.4 Interregional Collaboration in H2020 Research Projects in Calabria -- 4 Discussion and Conclusions -- Acknowledgments -- References -- Identifying Localized Entrepreneurial Projects Through Semantic Social Network Analysis -- Abstract -- 1 Introduction -- 2 The Localized Entrepreneur and Social Media -- 3 Semantic Social Network Analysis -- 4 Exploring an Entrepreneurial Project (Ep) Through Semantic SNA: A Synthesis of the Empirical Survey -- 5 Main Evidences -- 6 Conclusion -- Acknowledgment -- References -- Smart Specialisation Priorities of Less Developed Regions. A Critical Evaluation -- Abstract -- 1 Introduction -- 2 Smart Specialisation, Priorities and Cohesion Policy -- 2.1 Smart Specialisation and Cohesion Policy -- 2.2 Smart Specialisation Priorities -- 3 Methodological Aspects -- 4 Smart Specialisation in Romanian Regions -- 5 Smart Specialisation Priorities of Romanian Less Developed Regions -- 6 Discussion -- 7 Conclusions -- Acknowledgement -- References -- Sustainable Development and Transition Management: A New Approach for European Peripheral Areas -- Abstract -- 1 Introduction -- 2 Europe and Peripheral Areas: Sustainability and Local Strategies for Growth -- 3 Transition Management: A New Vision for Sustainable Development -- 4 Conclusions.
Acknowledgment -- References -- Contextualizing Transition: A Multiscale Approach to Making Resilience-Oriented and Place-Sensitive Strategies -- Abstract -- 1 Introduction -- 2 Literature Review -- 2.1 Resilience and Transition -- 2.2 Territorial Scales and Territorial Characteristics -- 3 Methodology -- 3.1 Territorial Units and Multiscale Approach -- 3.2 Results and Discussions -- 3.3 Conclusions -- Acknowledgements -- References -- Smart Specialisation 2.0: Driving Public Funds Towards Platforms and Ecosystems -- Abstract -- 1 Introduction -- 2 Smart Specialisation in Practice: Past Challenges and Future Questions -- 3 Ecosystem Discovery: A Survey for Greece -- 4 Re-orienting EDP Towards Platforms and Ecosystems -- References -- Industrial Policies and Evolutionary Paths: A Case Study of the Impact of the Greek Investment Law to Effect Investment Decisions of Greek Firms -- Abstract -- 1 Introduction -- 2 Path Dependence and Lock-Ins -- 3 Industrial and Regional Policies and Sectoral Rigidities in Greece -- 3.1 The Greek Smart Specialisation Strategy -- 4 The Greek Investment Laws -- 4.1 Objectives of the Laws -- 4.2 The Sectoral Distribution of the Laws and a Discussion -- Acknowledgment -- References -- Exploring Territorial Imbalances: A Systematic Literature Review of Meanings and Terms -- Abstract -- 1 Introduction -- Acknowledgment -- References -- Toward Nature-Based Solutions (NBS) Approach in Integrated Segment Reporting of Placed-Based Organizations -- Abstract -- 1 Introduction -- 2 Nature Based Solutions (NBS) as Framework to Pass from Greenwashing to Green? -- 3 Segment Reporting: An Integrated Perspective of Analysis in "Space" and in "Time" of Financial and Social Performance of the Companies -- 4 The Research Case of Fattoria della Piana: Methodology, Mission and Governance.
5 The Case Study "Fattoria della Piana": NBS and Integrated Segment Reporting -- 6 Discussion and Conclusion -- Acknowledgment -- References -- Making a Step Forward Towards Urban Resilience. The Contribution of Digital Innovation -- Abstract -- 1 Introduction -- 2 Framing Cities in the Era of Complexity and Vulnerability to Disaster Risk. A Literature Review -- 3 Method and Discussion of Preliminary Results -- 4 Conclusion and limitations -- Acknowledgement -- References -- Evaluating the Priorities of the Calabria's Coast FLAGs for the Improvement of the Quality of Life of the Fisheries Communities -- Abstract -- 1 Introducing -- 2 Methodology -- 2.1 An Analytical Description of the Dimensions of the QL -- 2.2 The Weighting Method -- 3 Results -- 3.1 The Area of Study -- 3.2 The Weight of the Dimensions of the Quality of Life -- 4 Concluding Remarks -- Acknowledgments -- References -- Socio-Economic Impacts of the Common Fisheries Policy on South and Central Tyrrhenian Sea (GSA 10) Demersal Trawl Fisheries -- Abstract -- 1 Evolution of the Main Demersal Trawl Fisheries Management Measures -- 2 Economic and Social Sustainability -- 3 Evaluation of the Effectiveness of the Measures Envisaged by the Italian National Management Plans -- 3.1 Evaluation of the Effectiveness of the Management Measures -- 4 Evaluation of the Efficiency of the Management Measures Envisaged by the Italian National Management Plans -- 4.1 Evaluation of the FIFG 2000-2006 Programme -- 4.2 Evaluation of the EFF 2007-2013 Programme -- 5 Conclusion -- Acknowledgements -- References -- Financial Targets for the Sponsee and the Sponsor in the Restoration/Recovery of the Historical and Architectural Heritage -- Abstract -- 1 Introduction -- 2 Methods -- 3 Application and Results -- 3.1 The Monument and Location -- 3.2 The Estimate of Sponsorship Fee.
3.3 The Optimal Investment Estimate for Companies -- 4 Conclusions -- References -- Reaching Sustainability in Healthcare: Strategies for a Healthy Indoor Air Quality in Healing Environments -- Abstract -- 1 The Indoor Air Quality -- 1.1 Health Promotion in Confined Spaces -- 1.2 The Environmental Quality of Healthcare Settings -- 2 Risks Correlated to Healing Spaces -- 2.1 Health Promotion in Confined Spaces -- 2.2 Factors that Affect the IAQ in the Environmental Units -- 2.3 How to Assess the Chemical Pollution in Healing Spaces -- 3 The Handbook of Best Practices for Inpatient Room -- 3.1 Localization of the Hospital and Inpatient Room -- 3.2 Design of the Hospital Room -- 3.3 Microclimatic Parameters -- 3.4 Ventilation Systems -- 3.5 Construction and Finishing Materials -- 3.6 Furniture and Equipment -- 3.7 Cleaning Products and Procedures -- 3.8 Maintenance Activities -- 3.9 Management Activities -- 3.10 Users and Workers' Behaviour -- 4 Conclusions -- References -- Built Environment and Alzheimer. Quality Evaluation of Territorial Structures for Patients with Dementia -- Abstract -- 1 Introduction and Research Purpose -- 1.1 Methodology -- 1.2 Case Study Analysis -- 1.3 Evaluation Tools Analysis -- 2 The Assessment Tool -- 2.1 Tool Definition and Validation -- 2.2 Application and Test on Italian Case Studies -- 2.3 Preliminary Results -- 3 Conclusions and Future Developments -- Acknowledgements -- References -- Transforming the Built Environment Through Healthy-Design Strategies -- Abstract -- 1 Theoretical Scenario -- 1.1 State of the Art -- 1.2 Research Opportunities -- 2 Methodological Framework -- 2.1 Intelligence Phase -- 2.2 Design Phase -- 2.3 Choice Phase -- 3 Evaluating the Built Environment -- 3.1 Sustainability and Hygiene of the Built Environment -- 4 Conclusions -- Acknowledgments -- References.
Assessing the Effectiveness of Public Investments in Cultural Built Heritage: The Case of the Umbertine Forts System in Italy -- Abstract -- 1 Introduction -- 2 Cultural Built Heritage Public Investments in Times of Scarce Resources: Burdensome Encumbrance or Development Engine? -- 2.1 Cultural Sector Potentiality and Investment Strategies in Calabria -- 2.2 An Applicative Case: The Umbertine Forts System -- 3 Toward the Assessment of the Public Investments Effectiveness: Methodological Considerations -- 3.1 Tools and Methods for Evaluating Investments in Cultural Projects -- 3.2 Example Cases of Cultural Projects' Effects Evaluation -- 4 Concluding Remarks -- References -- Enhancing Heritage and Traditional Architecture Conservation Through Digital Technologies. Developing a Digital Conservation Handbook for As-Salt, Jordan -- Abstract -- 1 Conservation of Historic Centres and Conservation Handbooks: Opportunities for Digital Technologies -- 2 Research Methodology -- 3 As-Salt: Supporting Historic Urban Landscape Conservation Through Digital Technologies -- 4 Case Study Preliminary Development: Qaqish House -- 5 Conclusions -- References -- Facility Management Services in Smart Cities: Trends and Perspectives -- Abstract -- 1 Smart Cities and Scenarios of Innovation of Traditional Urban Services -- 2 Enabling Technologies and Tools for Information Management Within Smart Cities -- 3 The Case of Milan Smart City -- 4 Conclusions -- References -- Evolution and Transformation of Real Estate Dynamics in the City of Milan -- Abstract -- 1 Introduction -- 2 Methodology of Investigation -- 3 Metropolitan Cities and Real Estate Investments in Italy -- 3.1 Metropolitan Cities -- 3.2 Real Estate Transaction by Building Type in Italy -- 3.3 Real Estate Transactions by City -- 3.4 Real Estate Performance in Milan -- 4 Conclusion -- Acknowledgments -- References.
Proactive Maintenance Strategy Based on Resilience Empowerment for Complex Buildings.
Record Nr. UNINA-9910416122903321
Bevilacqua Carmelina  
Springer Nature, 2020
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Principles of Security and Trust [[electronic resource] ] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Flemming Nielson, David Sands
Principles of Security and Trust [[electronic resource] ] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Flemming Nielson, David Sands
Autore Nielson Flemming
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Springer Nature, 2019
Descrizione fisica 1 online resource (XI, 249 p. 2896 illus., 22 illus. in color.)
Disciplina 005.8
Collana Security and Cryptology
Soggetto topico Computer security
Software engineering
Artificial intelligence
Computer system failures
Computers
Systems and Data Security
Software Engineering/Programming and Operating Systems
Artificial Intelligence
System Performance and Evaluation
Computing Milieux
Theory of Computation
Soggetto non controllato Computer science
Computer security
Software engineering
Artificial intelligence
Computer system failures
Computers
ISBN 3-030-17138-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of Ʃ-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts.
Record Nr. UNINA-9910337564003321
Nielson Flemming  
Springer Nature, 2019
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Principles of Security and Trust [[electronic resource] ] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Flemming Nielson, David Sands
Principles of Security and Trust [[electronic resource] ] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / / edited by Flemming Nielson, David Sands
Autore Nielson Flemming
Edizione [1st ed. 2019.]
Pubbl/distr/stampa Springer Nature, 2019
Descrizione fisica 1 online resource (XI, 249 p. 2896 illus., 22 illus. in color.)
Disciplina 005.8
Collana Security and Cryptology
Soggetto topico Computer security
Software engineering
Artificial intelligence
Computer system failures
Computers
Systems and Data Security
Software Engineering/Programming and Operating Systems
Artificial Intelligence
System Performance and Evaluation
Computing Milieux
Theory of Computation
Soggetto non controllato Computer science
Computer security
Software engineering
Artificial intelligence
Computer system failures
Computers
ISBN 3-030-17138-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Foundations for parallel information ow control runtime systems -- A Formal Analysis of Timing Channel Security via Bucketing -- A Dependently Typed Library for Static Information-Flow Control in Idris -- Achieving Safety Incrementally with Checked C -- Wys*: A DSL for Verified Secure Multi-party Computations -- Generalised Differential Privacy for Text Document Processing -- Symbolic verification of distance bounding protocols -- On the formalisation of Ʃ-Protocols and Commitment Schemes -- Orchestrating Layered Attestations -- Verifying liquidity of Bitcoin contracts.
Record Nr. UNISA-996466304203316
Nielson Flemming  
Springer Nature, 2019
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Proceedings of the 2020 DigitalFUTURES : The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020) / / editors, Philip F. Yuan [et al.]
Proceedings of the 2020 DigitalFUTURES : The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020) / / editors, Philip F. Yuan [et al.]
Autore Yuan Philip F
Edizione [1st edition 2021.]
Pubbl/distr/stampa Springer Nature, 2021
Descrizione fisica 1 online resource (XI, 322 p. 281 illus., 231 illus. in color.)
Disciplina 629.892
Soggetto topico Artificial intelligence
Automation
Computer simulation
Computer-aided engineering
Robotics
Soggetto non controllato Robotics and Automation
Computer-Aided Engineering (CAD, CAE) and Design
Simulation and Modeling
Robotics
Control, Robotics, Automation
Computer Science
Post-humanist Intelligence
Computational Design
Robotic Fabrication
Human-Machine Collaboration
AI in Architecture
Open Access
Computer-aided design (CAD)
Computer modelling & simulation
Artificial intelligence
ISBN 981-334-400-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Machine Thinking -- Digital Design History and Theory -- Philosophy of Technology -- Machine Seeing -- Data Gathering -- Simulation Technique -- Interactive Environment -- Machine Learning -- Generative Morphology -- Design Neural Networks -- AI Design -- Machine Making -- Automated Fabrication -- Robotics -- Human-Machine Collaboration.
Record Nr. UNINA-9910473447003321
Yuan Philip F  
Springer Nature, 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui