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.
Bibliotecas para a Vida II : Bibliotecas e Leitura / / José António Calixto
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
Opac: Controlla la disponibilità qui
Blockchain and Applications : 3rd International Congress
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui