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.
ICT in Education, Research, and Industrial Applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
| ICT in Education, Research, and Industrial Applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XIV, 245 p. 52 illus.) |
| Disciplina | 005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Artificial intelligence Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-642-35737-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstraction and Verification of Properties of a Real-Time Java.- Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models.- University as a Corporation Which Serves Educational Interests.- A Multi-channel Communication Framework.- Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics.- A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems.- Combining Verification and MDE Illustrated by a Formal Java Development.- About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation -- Cross-Diagram UML Design Verification.- Coursework Peer Reviews Increase Students’ Motivation and Quality of Learning.- Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers.- General Disciplines and Tools for E-Learning Software Engineering.- Formation of Digital Competence of Future Teachers of Elementary School. Abstract Quantum Automata as Formal Models of Quantum Information Processing Systems.- Parallelizing Legacy Fortran Programs Using Rewriting Rules Technique and Algebraic Program Models.- University as a Corporation Which Serves Educational Interests.- A Multi-channel Communication Framework.- Satisfiability and Validity Problems in Many-Sorted Composition-Nominative Pure Predicate Logics.- A Criterion for Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems.- Combining Verification and MDE Illustrated by a Formal Java Development.- About One Efficient Algorithm for Reachability Checking in Modeling and Its Implementation -- Cross-Diagram UML Design Verification.- Coursework Peer Reviews Increase Students’ Motivation and Quality of Learning.- Influence of Music Art Multimedia Production on Professional Competence of the Future Music Teachers.- General Disciplines and Tools for E-Learning Software Engineering.- Formation of Digital Competence of Future Teachers of Elementary School. |
| Record Nr. | UNINA-9910437592603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and communication technologies in education, research, and industrial applications : 17th International Conference, ICTERI 2021, Kherson, Ukraine, September 28-October 2, 2021, revised selected papers / / by Vadim Ermolayev [and five others]
| Information and communication technologies in education, research, and industrial applications : 17th International Conference, ICTERI 2021, Kherson, Ukraine, September 28-October 2, 2021, revised selected papers / / by Vadim Ermolayev [and five others] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (281 pages) |
| Disciplina | 929.374 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico | Educational technology |
| ISBN | 3-031-20834-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- The Fundamentals of ICT -- An Approach to Construct Final Random System with Output -- 1 Introduction -- 2 Related Work -- 2.1 Semantics Creation -- 2.2 Studying Deterministic Automaton with Outputs -- 2.3 Studying State Based Systems -- 2.4 Studying Random Systems with Outputs -- 2.5 Scientific Gap -- 3 Deterministic Systems with Output -- 4 Randomization as Endofunctor -- 5 Category of Random System with Output -- 6 Toward a Final Random System with Output -- 6.1 Functional Representation of Labelled Trees Without Leaves -- 6.2 Construction of a System -- 6.3 Construction of Morphisms Family -- 6.4 Conjecture About the Final Coalgebra -- 7 Conclusions -- Appendix A Coalgebraic Notions and Notation -- Appendix B Sequences and Related Notation -- References -- Algebraic Virtual Machine and Its Applications -- 1 Introducing the Algebraic Virtual Machine (AVM) Platform -- 2 Algebraic Server -- 3 Semantics of Discrete and Continuous Processes Modeling in AVM -- 4 Front-End Component -- 5 Adding New Methods -- 6 Method of Efficiency Estimation -- 7 Case Study 1. Consensus Algorithm Analysis -- 8 Case Study 2. Formalization of Continuous Processes in Thermodynamics -- 9 Current Status and Future Development -- References -- Cellular Technology Based Overlay Networks for the Secure Control of Intelligent Mobile Objects: Models and Numerical Study -- 1 Motivation -- 2 Work Related Analysis and Objectives -- 3 Methodology and Models -- 3.1 The Principles and Indicators -- 3.2 The Models -- 4 Algorithms for Overlay Network Nodes Operation -- 4.1 The Data Source Functioning Algorithm -- 4.2 The Destination Functioning Algorithm -- 5 Numerical Studies -- 5.1 Testing of the Topologies of Cellular Networks -- 5.2 Research of Sources of Denial into the Overlay Network -- 5.3 Discussion of the Research Results.
6 Conclusions -- References -- Learned and Native Concepts in Latent Representations of Terrain Images -- 1 Introduction -- 1.1 Related Research -- 1.2 Motivation -- 2 Materials and Methods -- 2.1 Methodology -- 2.2 Stacked Convolutional Autoencoder Model -- 2.3 Data -- 2.4 Training -- 2.5 Unsupervised Latent Structure -- 3 Results -- 3.1 Overall Characteristics, Stage 1 Distribution -- 3.2 Latent Distributions of External Classes -- 3.3 Unsupervised Categorization -- 3.4 Native Concepts in Unsupervised Learning -- 3.5 Unsupervised Learning of Native Concepts -- 3.6 Native and Learned Concepts -- 3.7 Generative Ability and Latent Landscape -- 4 Discussion -- 5 Conclusions -- References -- Natural Language Processing for the Ukrainian Language -- Automated Identification of Discourse Connectives in Ukrainian -- 1 Introduction -- 2 Related Work -- 2.1 NLP Resources for Ukrainian -- 2.2 Discourse Level Lexical Resources in Other Languages -- 2.3 Discourse Connectives and Text Genres -- 2.4 Automatic Detection of Discourse Connectives -- 3 Ukrainian Connective Lexicon Construction -- 3.1 Format of the Connective Lexicon -- 3.2 Semi-automatic Candidate Selection -- 3.3 Crowd-Sourced Correction -- 3.4 Expert Correction -- 4 UK-Dimlex: The Lexicon of Ukrainian Discourse Markers -- 4.1 Comparison to Other Connective Lexicons -- 5 Ukrainian Connectives in Spoken and Written Discourse -- 5.1 Data -- 5.2 Annotation -- 5.3 Results -- 6 Automatic Detection of Connectives -- 6.1 Automatic Extraction -- 6.2 Problematic Instances -- 6.3 Metrics and Results -- 7 Conclusion and Outlook -- References -- Evaluation and Analysis of the NLP Model Zoo for Ukrainian Text Classification -- 1 Introduction -- 2 Dataset -- 2.1 Data Sources -- 2.2 Data Preparation -- 2.3 Task Formulation -- 3 Model Zoo -- 3.1 Multilingual BERT -- 3.2 Slavic BERT -- 3.3 ukr-RoBERTa. 3.4 ukr-ELECTRA -- 3.5 mBART50 -- 3.6 XLM-R -- 3.7 Overview -- 4 Experiments -- 5 Results -- 5.1 Analysis -- 5.2 Model Interpretation -- 6 Conclusion -- References -- The Applications of Novel ICT -- An Information Technology for Detection and Fixing Effort Estimation of Business Process Model Structuredness Errors -- 1 Introduction -- 2 Related Work -- 3 Problem Statement -- 4 Detection and Fixing Effort Estimation of Business Process Model Structuredness Errors -- 4.1 Improved Gateway Mismatch Measure -- 4.2 Detection of Business Process Modeling Errors -- 4.3 Effort Estimation of Business Process Modeling Error Fixing -- 4.4 Recommendations Formulation to Achieve Sound Business Process Models -- 5 Information Technology Design and Development -- 5.1 Conceptual Design of the Information Technology -- 5.2 Software Design and Development -- 6 Results and Discussion -- 6.1 Software Usage Examples -- 6.2 Sample Collection of Business Process Models -- 6.3 Analysis of Detected Errors and Estimated Effort -- 7 Conclusion and Future Work -- References -- Development of Software Architecture and Machine Learning Modules of Robo-Advisor System for Personalized Investment Portfolio Generation -- 1 Introduction -- 2 Related Works -- 2.1 Analysis of FinTech-Services -- 2.2 Main Robo-Advisors Features -- 3 Developing the High-Level Architecture of Robo-Advisor -- 4 Personalized Investment Portfolios Formation Approaches -- 4.1 Model of Investment Portfolio -- 4.2 Moving Average Forecasting Model -- 4.3 Autocorrelation Stock Price Forecasting Model -- 4.4 Asset Yield Prediction Using Machine-Learning Techniques -- 4.5 Multiple LR and LSTM Neural Networks Application Examples -- 5 Discussion -- 6 Conclusions -- References -- Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems -- 1 Introduction. 2 Molecular Modeling: Related Works. Methods. Tools -- 3 Algebraic Approach. Method Brief Overview -- 4 Modeling of Molecular Interactions. Algebraic Approach -- 4.1 Modeling the Process of Atomic Bonds Creating (Valence Method) -- 4.2 Modeling of the Process of Constructing the Electronic Configuration of the Molecule (Molecular Orbital Method) -- 4.3 Modeling and Solving Some Simple Chemical Problems -- 4.4 Visualization of Simulation Results -- 5 Discussion and Conclusions -- References -- Performance Evaluation of Raspberry Pi 4B Microcomputer: Case Studies on MPICH Cluster, VMware ESXi ARM Fling, and Windows 11 ARM OS -- 1 Introduction -- 2 Weight-Based Load Balancing in Raspberry Pi MPICH Heterogeneous Cluster with Fuzzy Estimation of Node Computational Performance -- 2.1 Background -- 2.2 Weight-Based Load Balancing in Raspberry Pi MPICH Heterogeneous Cluster with Fuzzy Estimating of the Nodes Computational Performance -- 3 Performance Evaluation of Prime Numbers Finding Algorithm in Python on MPICH Cluster: Raspberry Pi 64-Bit OS vs Ubuntu Server on Hypervisor VMware ESXi ARM Fling -- 4 Performance Evaluation of 32-Bit Windows Application on Windows 11 ARM OS and Raspberry Pi 4B 8 GB: A Case Study of a Combinatorial Optimization Algorithm -- 5 Summary and Conclusion -- References -- ICT in Teaching and Learning -- Experimental Research of Educational Content Tracking by Students Group for Distance Learning -- 1 Introduction -- 2 Related Works -- 3 Research and Project Implementation -- 3.1 Calculation of Position of Eye Center and Pupil -- 3.2 Calibration of the Gaze Focus Coordinate on the Monitor with the Pupil Position -- 3.3 Eye Focus Calculation -- 3.4 Matching Eye Focus with a Content -- 4 Results and Discussion -- 4.1 Evaluation of the Gaze Focus Coordinates Measurement Error on the Monitor with One or Two Video Cameras. 4.2 Study of the Calibration Process Using a Single Camera on a Control Group of Students -- 4.3 Research of the Educational Content Usage According to the Gaze Focus on the Control Group of Students -- 5 Conclusions -- References -- Assessment of Test Items Quality and Adaptive Testing on the Rasch Model -- 1 Introduction -- 1.1 Problem Statement -- 2 Algorithm of Adaptive Testing Based on the Rasch Model -- 3 Results -- 4 Discussion -- 5 Conclusions -- References -- Author Index. |
| Record Nr. | UNISA-996499855903316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Information and communication technologies in education, research, and industrial applications : 17th International Conference, ICTERI 2021, Kherson, Ukraine, September 28-October 2, 2021, revised selected papers / / by Vadim Ermolayev [and five others]
| Information and communication technologies in education, research, and industrial applications : 17th International Conference, ICTERI 2021, Kherson, Ukraine, September 28-October 2, 2021, revised selected papers / / by Vadim Ermolayev [and five others] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (281 pages) |
| Disciplina | 929.374 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico | Educational technology |
| ISBN | 3-031-20834-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- The Fundamentals of ICT -- An Approach to Construct Final Random System with Output -- 1 Introduction -- 2 Related Work -- 2.1 Semantics Creation -- 2.2 Studying Deterministic Automaton with Outputs -- 2.3 Studying State Based Systems -- 2.4 Studying Random Systems with Outputs -- 2.5 Scientific Gap -- 3 Deterministic Systems with Output -- 4 Randomization as Endofunctor -- 5 Category of Random System with Output -- 6 Toward a Final Random System with Output -- 6.1 Functional Representation of Labelled Trees Without Leaves -- 6.2 Construction of a System -- 6.3 Construction of Morphisms Family -- 6.4 Conjecture About the Final Coalgebra -- 7 Conclusions -- Appendix A Coalgebraic Notions and Notation -- Appendix B Sequences and Related Notation -- References -- Algebraic Virtual Machine and Its Applications -- 1 Introducing the Algebraic Virtual Machine (AVM) Platform -- 2 Algebraic Server -- 3 Semantics of Discrete and Continuous Processes Modeling in AVM -- 4 Front-End Component -- 5 Adding New Methods -- 6 Method of Efficiency Estimation -- 7 Case Study 1. Consensus Algorithm Analysis -- 8 Case Study 2. Formalization of Continuous Processes in Thermodynamics -- 9 Current Status and Future Development -- References -- Cellular Technology Based Overlay Networks for the Secure Control of Intelligent Mobile Objects: Models and Numerical Study -- 1 Motivation -- 2 Work Related Analysis and Objectives -- 3 Methodology and Models -- 3.1 The Principles and Indicators -- 3.2 The Models -- 4 Algorithms for Overlay Network Nodes Operation -- 4.1 The Data Source Functioning Algorithm -- 4.2 The Destination Functioning Algorithm -- 5 Numerical Studies -- 5.1 Testing of the Topologies of Cellular Networks -- 5.2 Research of Sources of Denial into the Overlay Network -- 5.3 Discussion of the Research Results.
6 Conclusions -- References -- Learned and Native Concepts in Latent Representations of Terrain Images -- 1 Introduction -- 1.1 Related Research -- 1.2 Motivation -- 2 Materials and Methods -- 2.1 Methodology -- 2.2 Stacked Convolutional Autoencoder Model -- 2.3 Data -- 2.4 Training -- 2.5 Unsupervised Latent Structure -- 3 Results -- 3.1 Overall Characteristics, Stage 1 Distribution -- 3.2 Latent Distributions of External Classes -- 3.3 Unsupervised Categorization -- 3.4 Native Concepts in Unsupervised Learning -- 3.5 Unsupervised Learning of Native Concepts -- 3.6 Native and Learned Concepts -- 3.7 Generative Ability and Latent Landscape -- 4 Discussion -- 5 Conclusions -- References -- Natural Language Processing for the Ukrainian Language -- Automated Identification of Discourse Connectives in Ukrainian -- 1 Introduction -- 2 Related Work -- 2.1 NLP Resources for Ukrainian -- 2.2 Discourse Level Lexical Resources in Other Languages -- 2.3 Discourse Connectives and Text Genres -- 2.4 Automatic Detection of Discourse Connectives -- 3 Ukrainian Connective Lexicon Construction -- 3.1 Format of the Connective Lexicon -- 3.2 Semi-automatic Candidate Selection -- 3.3 Crowd-Sourced Correction -- 3.4 Expert Correction -- 4 UK-Dimlex: The Lexicon of Ukrainian Discourse Markers -- 4.1 Comparison to Other Connective Lexicons -- 5 Ukrainian Connectives in Spoken and Written Discourse -- 5.1 Data -- 5.2 Annotation -- 5.3 Results -- 6 Automatic Detection of Connectives -- 6.1 Automatic Extraction -- 6.2 Problematic Instances -- 6.3 Metrics and Results -- 7 Conclusion and Outlook -- References -- Evaluation and Analysis of the NLP Model Zoo for Ukrainian Text Classification -- 1 Introduction -- 2 Dataset -- 2.1 Data Sources -- 2.2 Data Preparation -- 2.3 Task Formulation -- 3 Model Zoo -- 3.1 Multilingual BERT -- 3.2 Slavic BERT -- 3.3 ukr-RoBERTa. 3.4 ukr-ELECTRA -- 3.5 mBART50 -- 3.6 XLM-R -- 3.7 Overview -- 4 Experiments -- 5 Results -- 5.1 Analysis -- 5.2 Model Interpretation -- 6 Conclusion -- References -- The Applications of Novel ICT -- An Information Technology for Detection and Fixing Effort Estimation of Business Process Model Structuredness Errors -- 1 Introduction -- 2 Related Work -- 3 Problem Statement -- 4 Detection and Fixing Effort Estimation of Business Process Model Structuredness Errors -- 4.1 Improved Gateway Mismatch Measure -- 4.2 Detection of Business Process Modeling Errors -- 4.3 Effort Estimation of Business Process Modeling Error Fixing -- 4.4 Recommendations Formulation to Achieve Sound Business Process Models -- 5 Information Technology Design and Development -- 5.1 Conceptual Design of the Information Technology -- 5.2 Software Design and Development -- 6 Results and Discussion -- 6.1 Software Usage Examples -- 6.2 Sample Collection of Business Process Models -- 6.3 Analysis of Detected Errors and Estimated Effort -- 7 Conclusion and Future Work -- References -- Development of Software Architecture and Machine Learning Modules of Robo-Advisor System for Personalized Investment Portfolio Generation -- 1 Introduction -- 2 Related Works -- 2.1 Analysis of FinTech-Services -- 2.2 Main Robo-Advisors Features -- 3 Developing the High-Level Architecture of Robo-Advisor -- 4 Personalized Investment Portfolios Formation Approaches -- 4.1 Model of Investment Portfolio -- 4.2 Moving Average Forecasting Model -- 4.3 Autocorrelation Stock Price Forecasting Model -- 4.4 Asset Yield Prediction Using Machine-Learning Techniques -- 4.5 Multiple LR and LSTM Neural Networks Application Examples -- 5 Discussion -- 6 Conclusions -- References -- Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems -- 1 Introduction. 2 Molecular Modeling: Related Works. Methods. Tools -- 3 Algebraic Approach. Method Brief Overview -- 4 Modeling of Molecular Interactions. Algebraic Approach -- 4.1 Modeling the Process of Atomic Bonds Creating (Valence Method) -- 4.2 Modeling of the Process of Constructing the Electronic Configuration of the Molecule (Molecular Orbital Method) -- 4.3 Modeling and Solving Some Simple Chemical Problems -- 4.4 Visualization of Simulation Results -- 5 Discussion and Conclusions -- References -- Performance Evaluation of Raspberry Pi 4B Microcomputer: Case Studies on MPICH Cluster, VMware ESXi ARM Fling, and Windows 11 ARM OS -- 1 Introduction -- 2 Weight-Based Load Balancing in Raspberry Pi MPICH Heterogeneous Cluster with Fuzzy Estimation of Node Computational Performance -- 2.1 Background -- 2.2 Weight-Based Load Balancing in Raspberry Pi MPICH Heterogeneous Cluster with Fuzzy Estimating of the Nodes Computational Performance -- 3 Performance Evaluation of Prime Numbers Finding Algorithm in Python on MPICH Cluster: Raspberry Pi 64-Bit OS vs Ubuntu Server on Hypervisor VMware ESXi ARM Fling -- 4 Performance Evaluation of 32-Bit Windows Application on Windows 11 ARM OS and Raspberry Pi 4B 8 GB: A Case Study of a Combinatorial Optimization Algorithm -- 5 Summary and Conclusion -- References -- ICT in Teaching and Learning -- Experimental Research of Educational Content Tracking by Students Group for Distance Learning -- 1 Introduction -- 2 Related Works -- 3 Research and Project Implementation -- 3.1 Calculation of Position of Eye Center and Pupil -- 3.2 Calibration of the Gaze Focus Coordinate on the Monitor with the Pupil Position -- 3.3 Eye Focus Calculation -- 3.4 Matching Eye Focus with a Content -- 4 Results and Discussion -- 4.1 Evaluation of the Gaze Focus Coordinates Measurement Error on the Monitor with One or Two Video Cameras. 4.2 Study of the Calibration Process Using a Single Camera on a Control Group of Students -- 4.3 Research of the Educational Content Usage According to the Gaze Focus on the Control Group of Students -- 5 Conclusions -- References -- Assessment of Test Items Quality and Adaptive Testing on the Rasch Model -- 1 Introduction -- 1.1 Problem Statement -- 2 Algorithm of Adaptive Testing Based on the Rasch Model -- 3 Results -- 4 Discussion -- 5 Conclusions -- References -- Author Index. |
| Record Nr. | UNINA-9910631097103321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications [[electronic resource] ] : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers / / edited by Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky
| Information and Communication Technologies in Education, Research, and Industrial Applications [[electronic resource] ] : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers / / edited by Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 441 p. 255 illus., 113 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Computers Software engineering Artificial intelligence Computer organization Computer science—Mathematics Computers and Education Information Systems and Communication Service Software Engineering/Programming and Operating Systems Artificial Intelligence Computer Systems Organization and Communication Networks Mathematics of Computing |
| ISBN | 3-030-39459-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Advances in ICT and IS Research -- ICT in Teaching, Learning, and Education Management -- Applications of ICT in Industrial and Public Practice. |
| Record Nr. | UNISA-996465342703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers / / edited by Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky
| Information and Communication Technologies in Education, Research, and Industrial Applications : 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers / / edited by Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Heinrich C. Mayr, Aleksander Spivakovsky |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 441 p. 255 illus., 113 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Computers Software engineering Artificial intelligence Computer organization Computer science—Mathematics Computers and Education Information Systems and Communication Service Software Engineering/Programming and Operating Systems Artificial Intelligence Computer Systems Organization and Communication Networks Mathematics of Computing |
| ISBN | 3-030-39459-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Advances in ICT and IS Research -- ICT in Teaching, Learning, and Education Management -- Applications of ICT in Industrial and Public Practice. |
| Record Nr. | UNINA-9910373925703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 14th International Conference, ICTERI 2018, Kyiv, Ukraine, May 14-17, 2018, Revised Selected Papers / / edited by Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky
| Information and Communication Technologies in Education, Research, and Industrial Applications : 14th International Conference, ICTERI 2018, Kyiv, Ukraine, May 14-17, 2018, Revised Selected Papers / / edited by Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 323 p. 143 illus., 83 illus. in color.) |
| Disciplina | 374.26 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Machine learning Application software Computers Computers and Education Machine Learning Computer Appl. in Social and Behavioral Sciences Information Systems and Communication Service |
| ISBN | 3-030-13929-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Advances in ICT Research -- ICT in Education and Education Management -- ICT Solutions for Industrial Applications. |
| Record Nr. | UNINA-9910337578603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / / edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky
| Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / / edited by Nick Bassiliades, Vadim Ermolayev, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 255 p. 102 illus.) |
| Disciplina | 371.33 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Artificial intelligence Software engineering Computer system failures Computer logic Computers and Education Artificial Intelligence Software Engineering System Performance and Evaluation Logics and Meanings of Programs |
| ISBN | 3-319-76168-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910299265903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers / / edited by Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Vadim Ermolayev, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovskiy
| Information and Communication Technologies in Education, Research, and Industrial Applications : 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016, Revised Selected Papers / / edited by Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Vadim Ermolayev, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovskiy |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XII, 201 p. 80 illus.) |
| Disciplina | 371.33 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Artificial intelligence Application software Data mining Computer organization Computers and Education Artificial Intelligence Computer Applications Data Mining and Knowledge Discovery Information Systems Applications (incl. Internet) Computer Systems Organization and Communication Networks |
| ISBN | 3-319-69965-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited paper -- Advances in ICT research -- ICT in education. |
| Record Nr. | UNINA-9910254825303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
| Information and Communication Technologies in Education, Research, and Industrial Applications : 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XIV, 371 p. 106 illus.) |
| Disciplina | 371.33 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Software engineering Computer logic Artificial intelligence Computers and Education Software Engineering Logics and Meanings of Programs Artificial Intelligence |
| ISBN | 3-319-13206-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Framework and tools -- Information and communication technologies in teaching and learning -- Information and communication technologies in research and industrial applications. |
| Record Nr. | UNINA-9910298967103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych
| Information and Communication Technologies in Education, Research, and Industrial Applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers / / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 379 p. 89 illus.) |
| Disciplina | 374.26 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Education—Data processing
Software engineering Computer logic Artificial intelligence Computers and Education Software Engineering Logics and Meanings of Programs Artificial Intelligence |
| ISBN | 3-319-03998-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Systems, infrastructures, and integration -- Semantics, knowledge engineering and management -- ICT in teaching methodologies and didactics -- Model-driven software development and verification. |
| Record Nr. | UNINA-9910739450803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
