Bibliotecas para a Vida II : Bibliotecas e Leitura / / José António Calixto |
Autore | Azaruja João |
Pubbl/distr/stampa | Évora, : Publicações do Cidehus, 2016 |
Descrizione fisica | 1 online resource (614 p.) |
Altri autori (Persone) |
BemficaJuliana do Couto
ButlenMax CalixtoJosé António Campal GarcíaFelicidad CardosoAna Maria Pereira CarvalhoAnabela CarvalhoKátia de CaseiroNatália Cuenca GarciaDesamparados Delgado CorralElena del Olmo GarciaLuz M ª DuarteHelena DumontLigia Maria Moreira FielElisabete FurtadoCassia Cordeiro GarcíaCatuxa Seoane GardinEliane de Luis GirottoCynthia Graziella Guizelim Simões Gómez NarváezMaría Gutiérrez SánchezIsabel Herrera MorillasJosé Luís LeitãoPaulo LopesIlda LuísMarco MarquesRita Martínez HuelveMaría Jesús MedeirosFilipa MineiroImara Bemfica MorãoPaula NovoAna Olaran MúgicaMaría Ortega HerraizRafael Pastor MoránMar PereiraAdriana Camargo Pérez LópezAna Pérez PulidoMargarita PinheiroEdna Gomes PoulsenAnn ReisAlcenir Soares dos RicoTânia SalgadoMaria Armanda SampaioMaria João SanchesTatiana Sánchez MillánRocío SantoHelena Espírito SerranoFernanda Maria Cunha Ferreira SilvaJoaquim Jorge Moreira da SilvaVera SilveiraTeresa SilvestreSusana SouzaRenata Junqueira de ToméMaria da Conceição UsherwoodBob VenturaNúria VieiraHeloisa Maria |
Soggetto topico |
Library, Information & Communication sciences
biblioteca leitura novas tecnologias Península Ibérica |
Soggetto non controllato |
Península Ibérica
biblioteca leitura novas tecnologias |
ISBN | 2-8218-6985-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | por |
Record Nr. | UNINA-9910136493203321 |
Azaruja João | ||
Évora, : Publicações do Cidehus, 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Blockchain and Applications : 3rd International Congress |
Autore | Prieto Javier |
Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2021 |
Descrizione fisica | 1 online resource (383 pages) |
Altri autori (Persone) |
PartidaAlberto
LeitãoPaulo PintoAntónio |
Collana | Lecture Notes in Networks and Systems Ser. |
Soggetto genere / forma | Electronic books. |
ISBN | 3-030-86162-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- General chair -- Advisory Board -- Program Committee Chairs -- Organizing Committee -- Program Committee -- BLOCKCHAIN'21 Sponsors -- Contents -- BLOCKCHAIN-Main Track -- Formal Analysis of Smart Contracts: Model Impact Factor on Criminality -- 1 Introduction -- 1.1 Contributions -- 1.2 Organize -- 2 Background Study and Related Work -- 2.1 Smart Contracts Operational Mechanism -- 2.2 Smart Contracts Formal Model -- 2.3 Transaction Formal Model -- 3 Smart Contracts Sequential Execution Model -- 3.1 The Smart Contracts Sequential Programs -- 3.2 Smart Contracts Execution Model -- 3.3 Model and Vulnerable Smart Contracts Attack Vectors -- 3.4 Model and Criminal Smart Contracts -- 4 Proposition -- 5 Challenges -- 6 Conclusion -- References -- A Blockchain-Enabled Fog Computing Model for Peer-To-Peer Energy Trading in Smart Grid -- 1 Introduction -- 2 Background and Related Work -- 3 Conventional Energy Trading Model -- 4 Blockchain-Enabled Fog Computing Model (BFCM) -- 5 Blockchain-Based Smart Energy Trading (BSET) Algorithm -- 6 Results and Discussion -- 7 Conclusion -- References -- Energy Trading Between Prosumers Based on Blockchain Technology -- 1 Introduction -- 2 Related Work -- 2.1 Contribution Beyond the State of the Art -- 3 Peer to Peer Energy Trading and Business Model Approach -- 4 System Overview -- 4.1 Selection of the Blockchain Technology -- 4.2 Developed Smart Contract -- 5 P2P Network Case Study Validation -- 5.1 Case Study Description -- 5.2 Demonstration and Validation -- 6 Conclusions and Future Work -- References -- Protection Against Online Fraud Using Blockchain -- 1 Introduction -- 2 Related Work and Background -- 3 Architecture -- 3.1 Browser Plugin -- 3.2 CLI Tool and CI/CD -- 4 Implementation -- 4.1 Data Hashing and Storage -- 4.2 Smart Contract -- 5 Evaluation.
6 Conclusion and Future Work -- References -- Decentralized Online Multiplayer Game Based on Blockchains -- 1 Introduction -- 2 Related Work -- 3 Architecture -- 3.1 Game Flow -- 3.2 Components -- 4 Implementation -- 4.1 ReactApp -- 4.2 Waves -- 5 Evaluation -- 5.1 Cheat Safety -- 5.2 Privacy -- 5.3 Response Time Evaluation -- 6 Conclusion and Future Work -- References -- Parameter Identification for Malicious Transaction Detection in Blockchain Protocols -- 1 Introduction and Background -- 1.1 Related Work -- 2 Parameters -- 2.1 Volumetric Transaction Rate -- 2.2 Unique Addresses Activity -- 3 Application of Parameters to the Ethereum Platform -- 3.1 Volumetric Transaction Rate Analysis -- 3.2 Unique Address Activity Analysis -- 4 Conclusion -- References -- Blockchain Validity Register for Healthcare Environments -- 1 Introduction -- 2 Analysis of the Problem of Data Immutability -- 3 Proposed Solution -- 3.1 Signature Generation and Registration Process -- 3.2 Signature Verification Process -- 4 Discussion of the Results -- 5 Conclusions -- References -- Implementation and Evaluation of a Visual Programming Language in the Context of Blockchain -- 1 Introduction -- 2 Background -- 2.1 Smart Contract -- 2.2 Visual Programming -- 2.3 Flow-Based Programming -- 2.4 Waves Blockchain -- 3 Research Methodology -- 4 Implementation -- 4.1 Smart Contract Creator -- 4.2 Semantic Investigation of a Visual Smart Contract -- 4.3 Usability and Ease of Use Analysis According to TAM -- 5 Conclusion and Future Work -- References -- Implementation and Evaluation of a Visual Query Language in the Context of Blockchain -- 1 Introduction -- 2 Background -- 2.1 Visual Programming Language -- 2.2 Waves Platform -- 2.3 WavesBI Database Architecture -- 3 Research Questions -- 4 Research Methodology -- 5 Implementation -- 5.1 Visual Query Builder for SQL Query Creation. 6 Evaluation Results -- 6.1 Investigation of the Comprehensibility of a Visual Query -- 6.2 Usability and Ease of Use Analysis According to TAM -- 6.3 TAM Items and Cronbach's Alpha Analysis -- 7 Conclusion -- References -- On (Multi-stage) Proof-of-Works -- 1 Introduction -- 2 Multi-stage PoWs -- 3 Mining Probability in Single-Stage PoWs -- 4 Mining Probability in Multi-stage PoWs -- 4.1 Notation -- 4.2 The Hypoexponential Random Variable -- 4.3 Probability Density Function and Survival Function -- 4.4 A Closed-form Expression for the Mining Probability -- 5 Relation Between Hash Rate and Mining Probability -- 6 Conclusion -- References -- Towards Informational Self-determination: Data Portability Requests Based on GDPR by Providing Public Platforms for Authorised Minimal Invasive Privacy Protection -- 1 Introduction -- 2 Related Work -- 3 Privacy Enhanced Portability Process -- 4 Architecture and Prototype -- 5 Data Protection -- 6 Implications and Conclusion -- References -- Blockchain and the Riemann Zeta Function -- 1 Introduction -- 2 The Proof of Work -- 3 The Riemann Zeta Function (s) -- 4 Our Proposal -- 4.1 The PoW Scheme -- 4.2 The Register of a Transaction and the Verification -- 4.3 An Use Case -- 4.4 Systematizing -- 5 Conclusion and Future Work -- References -- Case Study: The Automation of an over the Counter Financial Derivatives Transaction Using the CORDA Blockchain -- 1 Introduction -- 2 Related Work -- 2.1 Analysis on the Spunta Project -- 3 Distributed Ledger Technology Design on CORDA -- 3.1 CorDapp Design Language -- 3.2 Armundia DSMATCH (CDS) and MARKIT (IRS) CorDapp Solution -- 4 Front Office Application -- 5 Conclusions -- References -- Application of Blockchain to Peer to Peer Energy Trading in Microgrids -- 1 Introduction -- 2 Problem Formulation -- 3 Proposed Trade Mechanism -- 4 Proposed Distributed Algorithm. 5 Blockchain Implementation -- 6 Simulations and Discussion -- 6.1 Test 1: Distributed Algorithm Using CT -- 6.2 Test 2: Distributed Algorithm Using HDT -- 6.3 Comparison -- 7 Conclusions -- References -- The Value and Applications of Blockchain Technology in Business: A Systematic Review of Real Use Cases -- 1 Introduction -- 2 Background and Related Work -- 3 Methodology -- 4 Business Value of Blockchain Technology -- 5 Blockchain Business Value Impact Analysis -- 6 Relational Model of Blockchain Provided Value -- 7 Conclusions and Future Work -- References -- A Preliminary Review on Complementary Applications of Databases and Blockchain Technology -- 1 Introduction -- 2 Background Concepts -- 2.1 Databases -- 2.2 Blockchain -- 3 Methodology -- 4 Analysis -- 4.1 Blockchain as Support to Database -- 4.2 Database as Support to Blockchain -- 4.3 New Hybrid System -- 5 Discussion and Conclusions -- References -- Blockchain Platform Selection for Security Token Offering (STO) Using Multi-criteria Decision Model -- 1 Introduction -- 2 Literature Review -- 2.1 Literature Review on Blockchain Platform Selection for Security Token Offering (STO) -- 2.2 Requirements from STO for Blockchain Platform Selection -- 3 Research Method -- 4 Discussion -- 4.1 Case Definition and Feature Prioritization -- 4.2 Decision-Making Simulation Result -- 5 Conclusion -- References -- Towards a Holistic DLT Architecture for IIoT: Improved DAG for Production Lines -- 1 Introduction -- 2 Related Work -- 3 Industry 4.0 Case Scenario -- 3.1 Machine Level -- 3.2 Production Line Level -- 3.3 Plant Level -- 3.4 Consortium Level -- 4 Proposed Multi-DLT Architecture -- 5 Data Source DLT Layer -- 5.1 Lightweight Devices Participation -- 5.2 Storage -- 5.3 Cryptography -- 5.4 Consensus -- 6 Conclusion and Future Work -- References. A Secure Blockchain-Based Solution for Management of Pandemic Data in Healthcare Systems -- 1 Introduction -- 2 Problem Statement -- 3 Overview -- 4 System Design and Architecture -- 4.1 System Components -- 4.2 Transaction Flow -- 4.3 Interface -- 4.4 Risk Assessment -- 5 Potential Extension -- 6 Limitations -- 7 Conclusion -- References -- Investigation on Vulnerabilities Location in Solidity Smart Contracts -- 1 Introduction -- 2 Taxonomy and Static Analyzers -- 2.1 Taxonomy -- 2.2 Static Analyzers -- 3 Experimental Settings and Methodology -- 4 Analysis -- 4.1 Pilot Set Analysis and Datasets Comparison -- 4.2 Location of Vulnerabilities -- 5 Discussion and Limitations -- 6 Related Works -- 7 Conclusion -- References -- Benchmarking Constrained IoT Devices in Blockchain-Based Agri-Food Traceability Applications -- 1 Introduction -- 1.1 Related Work -- 2 Case Study: Traceability of Extra Virgin Olive Oil -- 2.1 High-Level Architecture -- 2.2 Implementation -- 3 Evaluation -- 3.1 Experimental Setup -- 3.2 Device Module Footprint -- 3.3 Processing Times and Transactions Size -- 3.4 Device Module Power Consumption -- 3.5 Daily Energy Budget -- 4 Discussion and Future Works -- References -- Towards Micropayment for Intermediary Based Trading -- 1 Introduction -- 2 Background and Related Works -- 2.1 Smart Contracts -- 2.2 Micropayments -- 3 MARI Payment Protocol -- 3.1 Layered Multi Lock Contract (LMLC) -- 3.2 Design -- 3.3 Application -- 4 Analysis -- 5 Evaluation -- 6 Conclusion -- References -- BlockFLow: Decentralized, Privacy-Preserving, and Accountable Federated Machine Learning -- 1 Introduction -- 2 Related Work -- 3 System Design -- 3.1 Client -- 3.2 InterPlanetary File System (IPFS) -- 3.3 BlockFLow Smart Contract -- 4 Threat Analysis -- 5 Evaluation -- 6 Future Work and Conclusion -- References. COVID-19 Early Symptom Prediction Using Blockchain and Machine Learning. |
Record Nr. | UNINA-9910497099803321 |
Prieto Javier | ||
Cham : , : Springer International Publishing AG, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Holonic and Multi-Agent Systems for Manufacturing [[electronic resource] ] : 5th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2011, Toulouse, France, August 29-31, 2011, Proceedings / / edited by Vladimír Mařík, Pavel Vrba, Paulo Leitão |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XIII, 267 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer-aided engineering Application software Management information systems Computer science Production management Information technology Business—Data processing Artificial Intelligence Computer-Aided Engineering (CAD, CAE) and Design Computer Appl. in Administrative Data Processing Management of Computing and Information Systems Operations Management IT in Business |
ISBN | 3-642-23181-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466021503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Service Orientation in Holonic and Multi-Agent Manufacturing : Proceedings of SOHOMA 2016 / / edited by Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (IX, 438 p. 136 illus.) |
Disciplina | 004.6 |
Collana | Studies in Computational Intelligence |
Soggetto topico |
Computational intelligence
Artificial intelligence Industrial engineering Production engineering Robotics Automation Computational Intelligence Artificial Intelligence Industrial and Production Engineering Robotics and Automation |
ISBN | 3-319-51100-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1 High availability cloud manufacturing system integrating distributed MES agents -- 2Classification of cyber-physical systems developments: proposition of an analysis framework -- 3Formal Modelling of Distributed Automation CPS with CP-Agnostic Software -- 4Industrial Cyber Physical Systems Supported by Distributed Advanced Data Analytics -- 5 Gap analysis on Research and Innovation for Cyber-Physical Systems in Manufacturing -- 6 Redundant and Decentralised Directory Facilitator for Resilient Plug and Produce Cyber Physical Production Systems -- 7 Multi-Agent Systems for Industry and Service -- 8 A Self-Organisation Model for Mobile Robots in Large Structure Assembly using Multi-Agent Systems -- 9 Specifying Self-organising Logistics System: openness, intelligence, and decentralised control -- 10 A Generic Reconfigurable and Pluggable Material Handling System based on Genetic Algorithm -- 11 Smart condition based maintenance for a fleet of mobile entities. . |
Record Nr. | UNINA-9910254335603321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future : Proceedings of SOHOMA LATIN AMERICA 2021 / / edited by Damien Trentesaux, Theodor Borangiu, Paulo Leitão, Jose-Fernando Jimenez, Jairo R. Montoya-Torres |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (XVII, 358 p. 149 illus., 92 illus. in color.) |
Disciplina | 006.3 |
Collana | Studies in Computational Intelligence |
Soggetto topico |
Computational intelligence
Industrial engineering Production engineering Multiagent systems Computational Intelligence Industrial and Production Engineering Multiagent Systems Sistemes multiagent Intel·ligència computacional Enginyeria de producció Enginyeria industrial |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-80906-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part 1: Smart Production Control for Industry 4.0 -- Development of a Predictive Process Monitoring Methodology in a Self-organized Manufacturing System -- A GEMMA-based Decentralized Architecture for Smart Production Systems -- A Hybrid Control Architecture for an Automated Storage and Retrieval System -- Digital Twin in Water Supply Systems to Industry 4.0: The Holonic Production Unit -- Part 2: Digital Twins and Artificial Intelligence Applied in Industry and Ser-vices -- Artificial Data Generation with Language Models for Imbalanced Classification in Maintenance -- Machine Vision for Collaborative Robotics Using Synthetic Data-Driven Learning -- A Survey on Components of AR Interfaces to Aid Packing Operation -- Airline Workforce Scheduling Based on Multi-Agent Systems -- Part 3: Digitalization of Design and Planning Activities -- A Novel Analysis Framework of 4.0 Production Planning Approaches - Part I -- A Novel Analysis Framework of 4.0 Production Planning Approaches - Part II -- A Survey about BIM Interoperabilit and Collaboration Between Design and Construction -- Implementation of a Holonic Product-based Platform for Increased Flexibility in Production Planning -- Part 4: People and Industry in the Era of Society 5.0 -- Location-Routing for a UAV-Based Recognition System in Humanitarian Logistics: Case Study of Rapid Mapping -- A Local Search Algorithm for the Assignment and Work Balance of a Health Unit -- Ensuring Ethics of Cyber-Physical and Human Systems: a Guideline -- Farm Bot Simulator: Towards a Virtual Environment for Scaled Precision Agriculture -- Part 5: Logistics and Supply Chains -- Connectivity through Digital Supply Chain Management: A Comprehensive Literature Review -- Cyber-Physical Systems in Logistics/Supply Chain -- Managing Disruptions in Supply Chains -- Weighted Sum Method for Multi-Objective Optimization LP Model for Supply Chain Management of Perishable Products in a Diary Company -- Part 6: Optimization in Manufacturing and Services -- A Mixed-Integer Linear Model for Solving the Open Shop Scheduling Problem -- On the Complexity of the Collaborative Joint Replenishment Problem -- Hybrid Model for Decision-Making Methods in Wireless Sensor Networks -- Optimizing Maintenance Policies of Computed Tomography Scanners with Stochastic Failures -- A Multi-Agent Optimization Approach to Determine Farmers’ Market Locations in Bogotá City, Colombia. |
Record Nr. | UNINA-9910494553703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future : Proceedings of SOHOMA 2019 / / edited by Theodor Borangiu, Damien Trentesaux, Paulo Leitão, Adriana Giret Boggino, Vicente Botti |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XIV, 440 p. 294 illus., 133 illus. in color.) |
Disciplina |
006.3
670 |
Collana | Studies in Computational Intelligence |
Soggetto topico |
Computational intelligence
Artificial intelligence Computational Intelligence Multiagent Systems |
ISBN | 3-030-27477-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910484797903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|