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.
Distributed Computing and Artificial Intelligence, Volume 2
| Distributed Computing and Artificial Intelligence, Volume 2 |
| Autore | González Sara Rodríguez |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2021 |
| Descrizione fisica | 1 online resource (229 pages) |
| Altri autori (Persone) |
MachadoJosé Manuel
González-BrionesAlfonso WikarekJaroslaw LoukanovaRoussanka KatranasGeorge Casado-VaraRoberto |
| Collana | Lecture Notes in Networks and Systems Ser. |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-030-86887-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Honorary Chairman -- Advisory Board -- Program Committee Chairs -- Organizing Committee Chair -- Workshop Chair -- Organizing Committee -- DCAI 2021 Sponsors -- Special Session on AI-Driven Methods for Multimodal Networks and Processes Modeling (AIMPM 2021) -- Organizing Committee -- Chairs -- Co-chairs -- Special Session on Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21) -- Organizing Committee -- Program Committee -- Special Session on Surveying and Maritime Internet of Things Education (SMITE 2021) -- Organizing Committee -- Special session on Theory and Applications of Mathematical Models in Computer Science and Artificial Intelligence (TAMMCSAI) -- Organizing Committee -- Program Committee -- Contents -- Special Session on AI-driven methods for Multimodal Networks and Processes Modeling (AIMPM'21) -- Declarative Approach to UAVs Mission Contingency Planning in Dynamic Environments -- 1 Introduction -- 2 Approach to UAVs Fleet Online Routing -- 3 CSP Formulation -- 4 Constraints Relaxation -- 5 Computational Experiments -- 6 Conclusions -- References -- Model of Employee Competence Configuration in SCM -- 1 Introduction -- 2 Location of the Employee Competence Configuration Problem for the Sample Supply Chain -- 3 Employee Competence Configuration Model -- 4 Computational Examples -- 5 Conclusions -- References -- A Structural and Functional Design for Resource Deployments in Ad Hoc Multimodal Service Systems -- 1 Ad Hoc Multimodal Service Systems (AHMSS) -- 2 Domain Model for AHMSS -- 3 Challenges in Decision-Making for AHMSS -- 4 A Structural and Functional Design of the DSS -- 4.1 The Data Structure of a DSS -- 4.2 Key Functions of the DSS -- 4.3 Constraints on the Functions of the DSS -- 4.4 Critical Technologies and Methods Enabling the DSS.
5 Discussion and Conclusion -- References -- Repair of Multithreaded Errors in the Control and Measurement System -- 1 Introduction -- 2 Background to the Problem -- 2.1 Control and Measurement Systems -- 2.2 System Architecture -- 3 Errors in Multithreaded Applications -- 3.1 Problem Diagnosis -- 3.2 Ways of Detecting Multithreaded Errors -- 4 Use of MASCM Method -- 4.1 MASCM -- 4.2 Occurrence of a Race Condition Class Error -- 4.3 Verification of System Operation After Modifications -- 5 Summary -- References -- Special Session on Computational Linguistics, Information, Reasoning, and AI 2021 (CompLingInfoReasAI'21) -- A Case Study in Computer-Assisted Meta-reasoning -- 1 Introduction -- 2 Related Work -- 3 Development in Isabelle -- 4 The Haskell Code -- 5 Natural Language Example -- 6 On Automated Reasoning -- 7 Conclusions and Future Work -- References -- Fuzzy Natural Logic for Sentiment Analysis: A Proposal -- 1 Introduction -- 2 Lexicon Based Approach -- 3 Fuzzy Natural Logic (FNL) -- 3.1 Modeling Evaluative Expressions in FNL -- 3.2 Modeling the Meaning of Words in FNL -- 4 Fuzzy Natural Logic in Sentiment Analysis -- 5 Final Remarks -- References -- ITUTime: Turkish Temporal Expression Extraction and Normalization -- 1 Introduction -- 2 Related Works -- 3 Temporal Expression Types -- 4 System Description -- 4.1 Preprocessing -- 4.2 Text Number Normalization -- 4.3 Detector -- 4.4 Normalizer -- 4.5 Text Number Restoration -- 4.6 Limitations -- 5 Dataset -- 6 Evaluation -- 6.1 Error Analysis -- 7 Conclusion and Future Studies -- References -- Automated Metaphor Identification in Russian and Its Implications for Metaphor Studies -- 1 Metaphor as a Computational Problem -- 2 Description of the System -- 2.1 Metaphor Identification Features -- 2.2 Experimental Setup -- 3 Results -- 4 Discussion: What Can Experiments Tell Us About Metaphor?. References -- Special Session on Surveying and Maritime Internet of Things Education (SMITE'21) -- Smart Agriculture System Integrating LoRaWAN and Edge Computing Technologies -- 1 Introduction -- 2 System Overview -- 3 Methodology -- 4 Results -- 5 Conclusion -- References -- Marine Surveying Education by Implementing Artificial Intelligence on Remotely Operated Underwater Vehicle Sensors -- 1 Introduction -- 2 Experimental Setup -- 2.1 The Remotely Operated Underwater Vehicle -- 2.2 Sensor Cluster and Data Transfer -- 2.3 Software and Connectivity -- 3 Artificial Intelligence -- 4 Conclusions -- References -- Design and Configuration of Software Tools for the Remote Performance of Laboratory Experiments in Marine Survey Education -- 1 Introduction -- 2 Remote Measurement Process -- 2.1 Process Overview -- 2.2 Backbone Code -- 2.3 Database Data Retrieval Tool -- 2.4 Graphical User Interface -- 3 Case Study -- 4 Conclusions -- References -- Special session on Theory and Applications of Mathematical Models in Computer Science and Artificial Intelligence (TAMMCSAI'21) -- About the Reversibility of Elementary Cellular Automata with Rule Number 180 -- 1 Introduction -- 2 Elementary Cellular Automata -- 2.1 Basic Theory -- 2.2 The ECA with Rule Number 180 -- 3 Reversibility in One-Dimensional CA -- 4 The Reversibility Problem for ECA 180 -- 5 Conclusions -- References -- Automatic Generator of Loading Rules and Its Applications on Logistics Operations -- 1 Introduction -- 1.1 Motivation and Context -- 1.2 Contribution -- 2 Problem Description -- 2.1 Notation and Definitions -- 2.2 Strategies to Create Feasible Sequences and Their Complexity -- 2.3 Computational Results -- 3 Application on Stowage Planning -- 4 Conclusions -- References -- Distress Detection in Road Pavements Using Neural Networks -- 1 Introduction -- 2 Background. 2.1 Artificial Neural Networks and Autoencoders -- 3 Related Work -- 4 Expirements and Results -- 4.1 Baseline - Binary Classifier -- 4.2 AE and VAE Models -- 5 Conclusion -- 5.1 Discussion -- 5.2 Conclusions -- 5.3 Future Work -- References -- Analyzing Metrics to Understand Human Mobility Phenomena: Challenges and Solutions -- 1 Introduction -- 2 Understanding Common Metrics in Human Mobility Research -- 2.1 Spatial Resolution of Categorisation and Aggregation -- 2.2 Temporal Resolution of Categorisation and Aggregation -- 3 Detailed Analysis of Human Mobility Patterns -- 3.1 Data Collection -- 3.2 Exploring Human Mobility Metrics -- 4 Results and Discussion -- 5 Conclusions -- References -- The Relationship Between Financial Execution in R& -- D and Scientific Production -- 1 Introduction -- 2 Background -- 2.1 Research at UMinho -- 2.2 Covid-19 Impact on UMinho's R& -- D Projects -- 2.3 Scopus Database -- 3 Methodology -- 4 Results -- 4.1 Financial Execution -- 4.2 Scientific Production -- 4.3 Correlation Between Financial Execution and Scientific Production -- 5 Conclusions and Future Work -- References -- Doctoral Consortium -- Adaptive Recommendation in Online Environments -- 1 Introduction -- 2 Related Works -- 3 Keys Challenges -- 4 Research Question and Proposal Work -- 5 Final Remarks -- References -- Data Integration in Shop Floor for Industry 4.0 -- 1 Problem Statement -- 2 Related Work -- 3 Hypothesis -- 4 Proposal -- 5 Final Reflections -- References -- Distributed Architecture Proposal for Efficient Energy Management of Road Lighting in Urban Environments -- 1 Problem Statement -- 2 Related Work -- 3 Hypothesis -- 4 Proposal -- 5 Preliminary Results/Evaluation Plan -- 6 Reflections -- References -- Proposal for a Distributed Intelligent Control Architecture Based on Heterogeneous Modular Devices -- 1 Problem Statement. 2 Related Work -- 3 Hypothesis -- 4 Proposal -- 5 Preliminary Results/Evaluation Plan -- 6 Reflections -- References -- DNN Based Prototype of the Track Reconstruction Algorithm for the MUonE Experiment -- 1 The MUonE Experiment -- 2 DNN Based Track Reconstruction Algorithm -- 2.1 Experimental Setup -- 2.2 Track Reconstruction Algorithm -- 2.3 Results -- 3 Outlook and Plans -- 4 Conclusions -- References -- Modeling and Recommendation System for Improving the Energy Performance of Buildings -- 1 Problem Statement -- 2 Related Work -- 3 Hypothesis and Proposal -- 4 Preliminary Results -- 5 Reflections -- References -- Intelligent Monitoring and Management Platform for the Prevention of Olive Pests and Diseases, Including IoT with Sensing, Georeferencing and Image Acquisition Capabilities Through Computer Vision -- 1 Computer Vision and Deep Learning for Prevention of Olive Pests and Diseases -- 2 Deep Learning - Definition and Convolutional Neural Network -- 3 Development of the Intelligent Monitoring and Management Platform -- References -- Author Index. |
| Altri titoli varianti | Distributed Computing and Artificial Intelligence, Volume 2 |
| Record Nr. | UNINA-9910502985003321 |
González Sara Rodríguez
|
||
| Cham : , : Springer International Publishing AG, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical applications of computational biology and bioinformatics, 14th International Conference (PACBB 2020) / / editors, Gabriella Panuccio [et al.]
| Practical applications of computational biology and bioinformatics, 14th International Conference (PACBB 2020) / / editors, Gabriella Panuccio [et al.] |
| Edizione | [1st edition 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (231 pages) |
| Disciplina | 570.285 |
| Collana | Advances in Intelligent Systems and Computing |
| Soggetto topico |
Bioinformatics
Computational biology |
| ISBN | 3-030-54568-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483168603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical Applications of Computational Biology and Bioinformatics, 15th International Conference (PACBB 2021)
| Practical Applications of Computational Biology and Bioinformatics, 15th International Conference (PACBB 2021) |
| Autore | Rocha Miguel |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2021 |
| Descrizione fisica | 1 online resource (188 pages) |
| Altri autori (Persone) |
Fdez-RiverolaFlorentino
MohamadMohd Saberi Casado-VaraRoberto |
| Collana | Lecture Notes in Networks and Systems Ser. |
| Soggetto genere / forma | Electronic books. |
| ISBN | 3-030-86258-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | Practical Applications of Computational Biology & Bioinformatics, 15th International Conference |
| Record Nr. | UNINA-9910497093203321 |
|
Rocha Miguel
|
||
| Cham : , : Springer International Publishing AG, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||