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.
Advances in artificial intelligence : 4th Helenic [i.e. Hellenic] Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006 : proceedings / / Grigoris Antoniou ... [et al.] (eds.)
| Advances in artificial intelligence : 4th Helenic [i.e. Hellenic] Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006 : proceedings / / Grigoris Antoniou ... [et al.] (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XVII, 611 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | AntoniouG (Grigoris) |
| Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
| Soggetto topico | Artificial intelligence |
| ISBN | 3-540-34118-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Planning with Stochastic Petri-Nets and Neural Nets -- Data Mining Using Fractals and Power Laws -- Full Papers -- Voice Activity Detection Using Generalized Gamma Distribution -- A Framework for Uniform Development of Intelligent Virtual Agents -- A Mixture Model Based Markov Random Field for Discovering Patterns in Sequences -- An Efficient Hardware Implementation for AI Applications -- Handling Knowledge-Based Decision Making Issues in Collaborative Settings: An Integrated Approach -- Market Clearing Price Forecasting in Deregulated Electricity Markets Using Adaptively Trained Neural Networks -- Adaptive-Partitioning-Based Stochastic Optimization Algorithm and Its Application to Fuzzy Control Design -- Fuzzy Granulation-Based Cascade Fuzzy Neural Networks Optimized by GA-RSL -- Using Self-similarity Matrices for Structure Mining on News Video -- Spam Detection Using Character N-Grams -- Improved Wind Power Forecasting Using a Combined Neuro-fuzzy and Artificial Neural Network Model -- A Long-Term Profit Seeking Strategy for Continuous Double Auctions in a Trading Agent Competition -- A Robust Agent Design for Dynamic SCM Environments -- A Novel Updating Scheme for Probabilistic Latent Semantic Indexing -- Local Additive Regression of Decision Stumps -- Mining Time Series with Mine Time -- Behaviour Flexibility in Dynamic and Unpredictable Environments: The ICagent Approach -- Investigation of Decision Trees (DTs) Parameters for Power System Voltage Stability Enhancement -- An Improved Hybrid Genetic Clustering Algorithm -- A Greek Named-Entity Recognizer That Uses Support Vector Machines and Active Learning -- Intelligent Segmentation and Classification of Pigmented Skin Lesions in Dermatological Images -- Modelling Robotic Cognitive Mechanisms by Hierarchical Cooperative CoEvolution -- Bayesian Feature Construction -- Musical Instrument Recognition and Classification Using Time Encoded Signal Processing and Fast Artificial Neural Networks -- O-DEVICE: An Object-Oriented Knowledge Base System for OWL Ontologies -- Abduction for Extending Incomplete Information Sources -- Post Supervised Based Learning of Feature Weight Values -- Recognition of Greek Phonemes Using Support Vector Machines -- Ensemble Pruning Using Reinforcement Learning -- Mining Bilingual Lexical Equivalences Out of Parallel Corpora -- Feed-Forward Neural Networks Using Hermite Polynomial Activation Functions -- A Distributed Branch-and-Bound Algorithm for Computing Optimal Coalition Structures -- Pattern Matching-Based System for Machine Translation (MT) -- Bayesian Metanetwork for Context-Sensitive Feature Relevance -- Prediction of Translation Initiation Sites Using Classifier Selection -- Improving Neural Network Based Option Price Forecasting -- Large Scale Multikernel RVM for Object Detection -- Extraction of Salient Contours in Color Images -- Dynamic Security Assessment and Load Shedding Schemes Using Self Organized Maps and Decision Trees -- Towards Automatic Synthesis of Educational Resources Through Automated Planning -- Towards Capturing and Enhancing Entertainment in Computer Games -- Employing Fujisaki’s Intonation Model Parameters for Emotion Recognition -- Detection of Vocal Fold Paralysis and Edema Using Linear Discriminant Classifiers -- Short Papers -- An Artificial Neural Network for the Selection of Winding Material in Power Transformers -- Biomedical Literature Mining for Text Classification and Construction of Gene Networks -- Towards Representational Autonomy of Agents in Artificial Environments -- Combining Credibility in a Source Sensitive Argumentation System -- An Environment for Constructing and Exploring Visual Models of Logic Propositions by Young Students -- Bridging Ontology Evolution and Belief Change -- A Holistic Methodology for Keyword Search in Historical Typewritten Documents -- Color Features for Image Fingerprinting -- Neural Recognition and Genetic Features Selection for Robust Detection of E-Mail Spam -- Violence Content Classification Using Audio Features -- An Analysis of Linear Weight Updating Algorithms for Text Classification -- On Small Data Sets Revealing Big Differences -- A Significance-Based Graph Model for Clustering Web Documents -- Supporting Clinico-Genomic Knowledge Discovery: A Multi-strategy Data Mining Process -- SHARE-ODS: An Ontology Data Service for Search and Rescue Operations -- Graphical Representation of Defeasible Logic Rules Using Digraphs -- An Efficient Peer to Peer Image Retrieval Technique Using Content Addressable Networks -- Predicting Fraudulent Financial Statements with Machine Learning Techniques -- Discrimination of Benign from Malignant Breast Lesions Using Statistical Classifiers -- Comparison of Data Fusion Techniques for Robot Navigation -- On Improving Mobile Robot Motion Control -- Consistency of the Matching Predicate -- Intrusion Detection Using Emergent Self-organizing Maps -- Mapping Fundamental Business Process Modelling Language to OWL-S -- Modeling Perceived Value of Color in Web Sites -- Introducing Interval Analysis in Fuzzy Cognitive Map Framework -- Discovering Ontologies for e-Learning Platforms -- Exploiting Group Thinking in Organization-Oriented Programming -- Multimodal Continuous Recognition System for Greek Sign Language Using Various Grammars -- An Alternative Suggestion for Vision-Language Integration in Intelligent Agents -- Specification of Reconfigurable MAS: A Hybrid Formal Approach -- An Intelligent Statistical Arbitrage Trading System -- Revising Faceted Taxonomies and CTCA Expressions -- Neighboring Feature Clustering. |
| Altri titoli varianti | SETN 2006 |
| Record Nr. | UNINA-9910484162403321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings / / Grigoris Antoniou [and seven others], editors
| Information and Communication Technologies in Education, Research, and Industrial Applications : 18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings / / Grigoris Antoniou [and seven others], editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (373 pages) |
| Disciplina | 371.33 |
| Collana | Communications in Computer and Information Science Series |
| Soggetto topico |
Educational technology
Information technology |
| ISBN | 3-031-48325-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Automated Machine Learning for Knowledge Discovery (Invited Talk Abstract) -- Contents -- Invited Paper -- The Power of Good Old-Fashioned AI for Urban Traffic Control -- 1 Introduction -- 2 Automated Planning -- 3 AI for Traffic Signal Control -- 4 AI for Traffic Routing -- 5 Conclusion -- References -- Main Conference -- Automated Design of a Neuroevolution Program Using Algebra-Algorithmic Tools -- 1 Introduction -- 2 Neuroevolution of Augmenting Topologies -- 3 Facilities for Automated Design of Algorithms and Programs -- 4 Application of the Integrated Toolkit for Designing a Program for Single-Pole Balancing Problem Using the NEAT-Python Library -- 5 Experimental Results -- 6 Conclusion -- References -- On Randomization of Reduction Strategies for Typeless Lambda Calculus -- 1 Introduction -- 2 A Brief Survey of Typeless Lambda Calculus -- 2.1 Lambda Terms Construction Rules -- 2.2 Lambda Calculus Computation Rules -- 3 A Terms Reduction Strategy as Choice Procedure -- 3.1 Deterministic Terms Reduction Strategies -- 3.2 A Deterministic Reduction Strategy as a Choice Procedure -- 3.3 Random Choice and Random Reduction Strategies -- 3.4 Mixed Reduction Strategies -- 4 Complexity of Terms Reduction Strategies -- 5 Simulation of Reduction Processes -- 5.1 Experimental Study of Random Strategies -- 5.2 Experimental Study of Mixed Strategies -- 6 Conclusions -- References -- Solving Sokoban Game with a Heuristic for Avoiding Dead-End States -- 1 Introduction -- 2 Models with Irreversible Actions -- 2.1 Sokoban Game -- 3 Related Works -- 4 The Heuristic -- 4.1 Evaluation of the Sokoban Game State -- 4.2 Preparing Data for Model Training -- 4.3 Training of the Network -- 5 Experiments -- 5.1 General Information -- 5.2 Classification Network vs Value Network as a Heuristic for MCTS.
5.3 Attempt to Fine-Tune the Network During Training -- 5.4 Comparison of Heuristics Trained on Different Datasets -- 6 Conclusion -- References -- Information System for Calculating the Shortest Route for a Mobile Robot in a Multilevel Environment Based on Unity -- 1 Introduction -- 2 Review of Existing Information Systems for Calculating Optimal Routes -- 3 Algorithm for Finding the Shortest Path in a Multilevel Environment -- 4 Information System for Calculating the Shortest Path in a Multilevel Space Based on Unity -- 5 Analysis of the Results of Simulation the Operation of the Information System -- 6 Conclusions -- References -- Analysis and Systematization of Vulnerabilities of Drone Subsystems -- 1 Introduction -- 1.1 Motivation and Relevance of Research -- 1.2 Work Related Analysis -- 2 Analysis of Drone's Subsystems Vulnerabilities -- 3 Systematization of Drone's Vulnerabilities by Severities and Cyber-Attacks -- 4 Conclusions -- References -- Helicopters Turboshaft Engines Parameters Identification Using Neural Network Technologies Based on the Kalman Filter -- 1 Introduction -- 2 Related Works -- 3 Materials and Methods -- 4 Experiment -- 5 Results -- 6 Discussions -- 7 Conclusions -- References -- Modification of Fuzzy TOPSIS Based on Various Proximity Coefficients Metrics and Shapes of Fuzzy Sets -- 1 Introduction -- 2 Related Works and Problem Statement -- 3 Modification of Fuzzy TOPSIS to Solve the Problem -- 4 Conclusions -- References -- Development of the Professional Competence of Bachelors in Preschool Education Through Online Interaction -- 1 Introduction -- 2 Analysis of Publications -- 3 Discussion -- 3.1 Students' Readiness to Develop the Play Competence of Preschool Children -- 3.2 Syllabus Outline to Teach Using ICT within the Course Workshop on Children's Play Activities -- 3.3 Research Results -- 4 Conclusion -- References. Design and Implementation of Didactic Process Based on Simulation -- 1 Introduction -- 1.1 Practical Problems -- 2 The Theoretical Backgrounds -- 2.1 Extended ADDIE Model -- 2.2 Decomposition of the Didactic Process -- 2.3 Bloom's Taxonomy of Didactic Objectives -- 2.4 Design Based on Theory of Multiple Intelligences and Bloom's Taxonomy -- 3 Practical Implementation of the System -- 3.1 Modeling of Activities -- 4 Results and Discussion -- 4.1 Workload and Effects -- 4.2 Predicting the Next Didactic Unit or Activity -- 4.3 Time Gap and Workload -- 5 Conclusions and Prospects for Further Research -- References -- Theoretical Principles of Measuring and Interpreting Levels of Attention, Involvement and Organizing Feedback of Students to the Educational Process Using Automated Software Products -- 1 Introduction -- 2 Peculiarities of Studying Students of the Zoomers Generation -- 2.1 A Theoretical Overview of the Traditional Learning Model and Theories of Cognition -- 2.2 Theoretical Review of the Modern Model of Learning and Theories of Cognition -- 3 Overview of Modern Tools for Determining the Levels of Student Involvement in the Educational Process -- 3.1 EmotionCues -- 3.2 Headroom -- 3.3 MeetingPulse -- 4 A Software Tool for Analyzing the Degree of Involvement and the Degree of Information Perception -- 4.1 Requirements for the Software Product -- 4.2 Characterization and Interpretation of Visual Markers for Measuring Student Attention and Engagement -- 4.3 Use of Machine Learning Technology -- 5 Conclusions -- References -- Self-directed Learning in Chemistry Laboratory via Simulations -- 1 Introduction -- 2 Method -- 2.1 Sample -- 2.2 Data Collection Tools -- 2.3 Application Process -- 2.4 Data Analyze -- 3 Results -- 4 Discussion and Conclusion -- References. The Use of Digital Tools for Mastering Practical Disciplines in the Distance Format of Training Bachelors of Preschool Education -- 1 Introduction -- 1.1 Problem Statement -- 1.2 Literature Review -- 1.3 The Aim of the Research -- 2 Results of the Research -- 2.1 Results of the Formative Stage -- 3 Problems and Prospects -- 4 Conclusions -- References -- A Bot-Based Self-report Diagnostic Tool to Assess Post-traumatic Stress Disorder -- 1 Introduction -- 2 Related Works -- 3 Information Technology of Significant Dependencies Identification -- 3.1 Identification of Significant Dependencies -- 3.2 Bot Description -- 3.3 Analytical System for Dependencies Identification -- 4 Case Study -- 5 Discussion -- 6 Conclusion -- References -- Ph.D. Symposium -- Stock Market Crashes as Phase Transitions -- 1 Introduction -- 2 Literature Review -- 3 Multifractal Detrended Fluctuation Analysis -- 4 Empirical Results -- 5 Conclusions -- References -- Bibliometric Analysis of Adaptive Learning Literature from 2011-2019: Identifying Primary Concepts and Keyword Clusters -- 1 Introduction -- 2 Method -- 3 Results and Discussion -- 4 Limitations -- 5 Conclusions -- 6 Future Work -- References -- Data Analysis for Predicting Stock Prices Using Financial Indicators Based on Business Reports -- 1 Introduction -- 2 Related Works -- 3 Financial Ratios of 10K Report -- 4 Data Analysis -- 5 Conclusions -- References -- Artificial Intelligence Impact on Food Security of States in the World -- 1 Introduction -- 2 Related Works -- 2.1 Agriculture 4.0 and AI Solutions Linkage -- 2.2 AI Role in Addressing Food Security Challenges -- 2.3 The Socio-economic Impact of AI on Food Security -- 3 Main Results: Measuring the Impact of AI on Food Security of States -- 4 Conclusions -- References -- Increasing Investment Portfolio Profitability with Computer Analysis Trading Strategies. 1 Introduction -- 2 Related Works -- 3 Research Methodology -- 3.1 Model -- 3.2 Experimental Part -- 4 Results -- 5 Conclusions -- References -- Quality Assessment and Assurance of Machine Learning Systems: A Comprehensive Approach -- 1 Introduction -- 2 Terminology -- 3 Background -- 3.1 Characteristics of ML Systems -- 3.2 Quality Assessment and Assurance Challenges in ML Systems -- 4 Related Work -- 4.1 Quality Characteristics and Models -- 4.2 Quality Assurance Models and Methods -- 5 Limitations of Existing Software Quality Models and Methods -- 6 Towards a Comprehensive Approach to Quality Assessment and Assurance of ML Systems -- 7 Conclusion -- References -- Vulnerability Detection of Smart Contracts Based on Bidirectional GRU and Attention Mechanism -- 1 Introduction -- 2 Literature Review and the Problem Statement -- 3 Reentrancy Vulnerability -- 4 Methodology of Building a Model for Detecting Vulnerabilities of Smart Contracts -- 4.1 Vector Representation of Smart Contract Code -- 4.2 Recurrent Neural Networks -- 4.3 Dataset for Training -- 4.4 Architecture of the Model for Detecting Smart Contract Vulnerabilities -- 5 Evaluation of the Model -- 5.1 Basic Values -- 5.2 Precision and Recall Metrics -- 5.3 F-Beta Score -- 5.4 Hardware and Software -- 5.5 Evaluation Results -- 6 Conclusion -- References -- Modeling the Resource Planning System for Grocery Retail Using Machine Learning -- 1 Introduction -- 2 Modeling the Resource Planning System -- 2.1 The Data and Business Inputs Layer -- 2.2 Forecast & -- Optimization Layer. Building Machine Learning Model -- 2.3 Forecast & -- Optimization Layer. Building Machine Learning Model -- 2.4 Business Intelligence Layer -- 3 Conclusions -- References -- Poster Papers. Organization of Independent Work of Students in LMS Moodle Using a Metacognitive Approach (on the Example of Physical and Mathematical Disciplines). |
| Record Nr. | UNINA-9910767558903321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Information and Communication Technologies in Education, Research, and Industrial Applications : 18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings / / Grigoris Antoniou [and seven others], editors
| Information and Communication Technologies in Education, Research, and Industrial Applications : 18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings / / Grigoris Antoniou [and seven others], editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (373 pages) |
| Disciplina | 371.33 |
| Collana | Communications in Computer and Information Science Series |
| Soggetto topico |
Educational technology
Information technology |
| ISBN | 3-031-48325-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Automated Machine Learning for Knowledge Discovery (Invited Talk Abstract) -- Contents -- Invited Paper -- The Power of Good Old-Fashioned AI for Urban Traffic Control -- 1 Introduction -- 2 Automated Planning -- 3 AI for Traffic Signal Control -- 4 AI for Traffic Routing -- 5 Conclusion -- References -- Main Conference -- Automated Design of a Neuroevolution Program Using Algebra-Algorithmic Tools -- 1 Introduction -- 2 Neuroevolution of Augmenting Topologies -- 3 Facilities for Automated Design of Algorithms and Programs -- 4 Application of the Integrated Toolkit for Designing a Program for Single-Pole Balancing Problem Using the NEAT-Python Library -- 5 Experimental Results -- 6 Conclusion -- References -- On Randomization of Reduction Strategies for Typeless Lambda Calculus -- 1 Introduction -- 2 A Brief Survey of Typeless Lambda Calculus -- 2.1 Lambda Terms Construction Rules -- 2.2 Lambda Calculus Computation Rules -- 3 A Terms Reduction Strategy as Choice Procedure -- 3.1 Deterministic Terms Reduction Strategies -- 3.2 A Deterministic Reduction Strategy as a Choice Procedure -- 3.3 Random Choice and Random Reduction Strategies -- 3.4 Mixed Reduction Strategies -- 4 Complexity of Terms Reduction Strategies -- 5 Simulation of Reduction Processes -- 5.1 Experimental Study of Random Strategies -- 5.2 Experimental Study of Mixed Strategies -- 6 Conclusions -- References -- Solving Sokoban Game with a Heuristic for Avoiding Dead-End States -- 1 Introduction -- 2 Models with Irreversible Actions -- 2.1 Sokoban Game -- 3 Related Works -- 4 The Heuristic -- 4.1 Evaluation of the Sokoban Game State -- 4.2 Preparing Data for Model Training -- 4.3 Training of the Network -- 5 Experiments -- 5.1 General Information -- 5.2 Classification Network vs Value Network as a Heuristic for MCTS.
5.3 Attempt to Fine-Tune the Network During Training -- 5.4 Comparison of Heuristics Trained on Different Datasets -- 6 Conclusion -- References -- Information System for Calculating the Shortest Route for a Mobile Robot in a Multilevel Environment Based on Unity -- 1 Introduction -- 2 Review of Existing Information Systems for Calculating Optimal Routes -- 3 Algorithm for Finding the Shortest Path in a Multilevel Environment -- 4 Information System for Calculating the Shortest Path in a Multilevel Space Based on Unity -- 5 Analysis of the Results of Simulation the Operation of the Information System -- 6 Conclusions -- References -- Analysis and Systematization of Vulnerabilities of Drone Subsystems -- 1 Introduction -- 1.1 Motivation and Relevance of Research -- 1.2 Work Related Analysis -- 2 Analysis of Drone's Subsystems Vulnerabilities -- 3 Systematization of Drone's Vulnerabilities by Severities and Cyber-Attacks -- 4 Conclusions -- References -- Helicopters Turboshaft Engines Parameters Identification Using Neural Network Technologies Based on the Kalman Filter -- 1 Introduction -- 2 Related Works -- 3 Materials and Methods -- 4 Experiment -- 5 Results -- 6 Discussions -- 7 Conclusions -- References -- Modification of Fuzzy TOPSIS Based on Various Proximity Coefficients Metrics and Shapes of Fuzzy Sets -- 1 Introduction -- 2 Related Works and Problem Statement -- 3 Modification of Fuzzy TOPSIS to Solve the Problem -- 4 Conclusions -- References -- Development of the Professional Competence of Bachelors in Preschool Education Through Online Interaction -- 1 Introduction -- 2 Analysis of Publications -- 3 Discussion -- 3.1 Students' Readiness to Develop the Play Competence of Preschool Children -- 3.2 Syllabus Outline to Teach Using ICT within the Course Workshop on Children's Play Activities -- 3.3 Research Results -- 4 Conclusion -- References. Design and Implementation of Didactic Process Based on Simulation -- 1 Introduction -- 1.1 Practical Problems -- 2 The Theoretical Backgrounds -- 2.1 Extended ADDIE Model -- 2.2 Decomposition of the Didactic Process -- 2.3 Bloom's Taxonomy of Didactic Objectives -- 2.4 Design Based on Theory of Multiple Intelligences and Bloom's Taxonomy -- 3 Practical Implementation of the System -- 3.1 Modeling of Activities -- 4 Results and Discussion -- 4.1 Workload and Effects -- 4.2 Predicting the Next Didactic Unit or Activity -- 4.3 Time Gap and Workload -- 5 Conclusions and Prospects for Further Research -- References -- Theoretical Principles of Measuring and Interpreting Levels of Attention, Involvement and Organizing Feedback of Students to the Educational Process Using Automated Software Products -- 1 Introduction -- 2 Peculiarities of Studying Students of the Zoomers Generation -- 2.1 A Theoretical Overview of the Traditional Learning Model and Theories of Cognition -- 2.2 Theoretical Review of the Modern Model of Learning and Theories of Cognition -- 3 Overview of Modern Tools for Determining the Levels of Student Involvement in the Educational Process -- 3.1 EmotionCues -- 3.2 Headroom -- 3.3 MeetingPulse -- 4 A Software Tool for Analyzing the Degree of Involvement and the Degree of Information Perception -- 4.1 Requirements for the Software Product -- 4.2 Characterization and Interpretation of Visual Markers for Measuring Student Attention and Engagement -- 4.3 Use of Machine Learning Technology -- 5 Conclusions -- References -- Self-directed Learning in Chemistry Laboratory via Simulations -- 1 Introduction -- 2 Method -- 2.1 Sample -- 2.2 Data Collection Tools -- 2.3 Application Process -- 2.4 Data Analyze -- 3 Results -- 4 Discussion and Conclusion -- References. The Use of Digital Tools for Mastering Practical Disciplines in the Distance Format of Training Bachelors of Preschool Education -- 1 Introduction -- 1.1 Problem Statement -- 1.2 Literature Review -- 1.3 The Aim of the Research -- 2 Results of the Research -- 2.1 Results of the Formative Stage -- 3 Problems and Prospects -- 4 Conclusions -- References -- A Bot-Based Self-report Diagnostic Tool to Assess Post-traumatic Stress Disorder -- 1 Introduction -- 2 Related Works -- 3 Information Technology of Significant Dependencies Identification -- 3.1 Identification of Significant Dependencies -- 3.2 Bot Description -- 3.3 Analytical System for Dependencies Identification -- 4 Case Study -- 5 Discussion -- 6 Conclusion -- References -- Ph.D. Symposium -- Stock Market Crashes as Phase Transitions -- 1 Introduction -- 2 Literature Review -- 3 Multifractal Detrended Fluctuation Analysis -- 4 Empirical Results -- 5 Conclusions -- References -- Bibliometric Analysis of Adaptive Learning Literature from 2011-2019: Identifying Primary Concepts and Keyword Clusters -- 1 Introduction -- 2 Method -- 3 Results and Discussion -- 4 Limitations -- 5 Conclusions -- 6 Future Work -- References -- Data Analysis for Predicting Stock Prices Using Financial Indicators Based on Business Reports -- 1 Introduction -- 2 Related Works -- 3 Financial Ratios of 10K Report -- 4 Data Analysis -- 5 Conclusions -- References -- Artificial Intelligence Impact on Food Security of States in the World -- 1 Introduction -- 2 Related Works -- 2.1 Agriculture 4.0 and AI Solutions Linkage -- 2.2 AI Role in Addressing Food Security Challenges -- 2.3 The Socio-economic Impact of AI on Food Security -- 3 Main Results: Measuring the Impact of AI on Food Security of States -- 4 Conclusions -- References -- Increasing Investment Portfolio Profitability with Computer Analysis Trading Strategies. 1 Introduction -- 2 Related Works -- 3 Research Methodology -- 3.1 Model -- 3.2 Experimental Part -- 4 Results -- 5 Conclusions -- References -- Quality Assessment and Assurance of Machine Learning Systems: A Comprehensive Approach -- 1 Introduction -- 2 Terminology -- 3 Background -- 3.1 Characteristics of ML Systems -- 3.2 Quality Assessment and Assurance Challenges in ML Systems -- 4 Related Work -- 4.1 Quality Characteristics and Models -- 4.2 Quality Assurance Models and Methods -- 5 Limitations of Existing Software Quality Models and Methods -- 6 Towards a Comprehensive Approach to Quality Assessment and Assurance of ML Systems -- 7 Conclusion -- References -- Vulnerability Detection of Smart Contracts Based on Bidirectional GRU and Attention Mechanism -- 1 Introduction -- 2 Literature Review and the Problem Statement -- 3 Reentrancy Vulnerability -- 4 Methodology of Building a Model for Detecting Vulnerabilities of Smart Contracts -- 4.1 Vector Representation of Smart Contract Code -- 4.2 Recurrent Neural Networks -- 4.3 Dataset for Training -- 4.4 Architecture of the Model for Detecting Smart Contract Vulnerabilities -- 5 Evaluation of the Model -- 5.1 Basic Values -- 5.2 Precision and Recall Metrics -- 5.3 F-Beta Score -- 5.4 Hardware and Software -- 5.5 Evaluation Results -- 6 Conclusion -- References -- Modeling the Resource Planning System for Grocery Retail Using Machine Learning -- 1 Introduction -- 2 Modeling the Resource Planning System -- 2.1 The Data and Business Inputs Layer -- 2.2 Forecast & -- Optimization Layer. Building Machine Learning Model -- 2.3 Forecast & -- Optimization Layer. Building Machine Learning Model -- 2.4 Business Intelligence Layer -- 3 Conclusions -- References -- Poster Papers. Organization of Independent Work of Students in LMS Moodle Using a Metacognitive Approach (on the Example of Physical and Mathematical Disciplines). |
| Record Nr. | UNISA-996565862503316 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A Semantic Web primer [[electronic resource] /] / Grigoris Antoniou ... [et al.]
| A Semantic Web primer [[electronic resource] /] / Grigoris Antoniou ... [et al.] |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Cambridge, MA, : MIT Press, 2012 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina | 025.04/27 |
| Altri autori (Persone) | AntoniouG (Grigoris) |
| Collana | Cooperative information systems |
| Soggetto topico |
Semantic Web
Semantic integration (Computer systems) |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-262-30468-6
0-262-30561-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910461967903321 |
| Cambridge, MA, : MIT Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Semantic Web primer [[electronic resource] /] / Grigoris Antoniou ... [et al.]
| A Semantic Web primer [[electronic resource] /] / Grigoris Antoniou ... [et al.] |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Cambridge, MA, : MIT Press, 2012 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina | 025.04/27 |
| Altri autori (Persone) | AntoniouG (Grigoris) |
| Collana | Cooperative information systems |
| Soggetto topico |
Semantic Web
Semantic integration (Computer systems) |
| ISBN |
0-262-30468-6
0-262-30561-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910785784703321 |
| Cambridge, MA, : MIT Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A Semantic Web primer / / Grigoris Antoniou ... [et al.]
| A Semantic Web primer / / Grigoris Antoniou ... [et al.] |
| Edizione | [3rd ed.] |
| Pubbl/distr/stampa | Cambridge, MA, : MIT Press, 2012 |
| Descrizione fisica | 1 online resource (287 p.) |
| Disciplina | 025.04/27 |
| Altri autori (Persone) | AntoniouG (Grigoris) |
| Collana | Cooperative information systems |
| Soggetto topico |
Semantic Web
Semantic integration (Computer systems) |
| ISBN |
0-262-30468-6
0-262-30561-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover -- Title -- Copyright -- Contents -- List of Figures -- Series Foreword -- Chapter 1. The Semantic Web Vision -- 1.1 Introduction -- 1.2 Semantic Web Technologies -- 1.3 A Layered Approach -- 1.4 Book Overview -- 1.5 Summary -- Suggested Reading -- Chapter 2. Describing Web Resources: RDF -- 2.1 Introduction -- 2.2 RDF: Data Model -- 2.3 RDF Syntaxes -- 2.4 RDFS: Adding Semantics -- 2.5 RDF Schema: The Language -- 2.6 RDF and RDF Schema in RDF Schema -- 2.7 An Axiomatic Semantics for RDF and RDF Schema -- 2.8 A Direct Inference System for RDF and RDFS -- 2.9 Summary -- Suggested Reading -- Exercises and Projects -- Chapter 3. Querying the Semantic Web -- 3.1 SPARQL Infrastructure -- 3.2 Basics: Matching Patterns -- 3.3 Filters -- 3.4 Constructs for Dealing with an Open World -- 3.5 Organizing Result Sets -- 3.6 Other Forms of SPARQL Queries -- 3.7 Querying Schemas -- 3.8 Adding Information with SPARQL Update -- 3.9 The Follow Your Nose Principle -- 3.10 Summary -- Suggested Reading -- Exercises and Projects -- Chapter 4. Web Ontology Language: OWL2 -- 4.1 Introduction -- 4.2 Requirements for Ontology Languages -- 4.3 Compatibility of OWL2 with RDF/RDFS -- 4.4 The OWL Language -- 4.5 OWL2 Profiles -- 4.6 Summary -- Suggested Reading -- Exercises and Projects -- Chapter 5. Logic and Inference: Rules -- 5.1 Introduction -- 5.2 Example of Monotonic Rules: Family Relationships -- 5.3 Monotonic Rules: Syntax -- 5.4 Monotonic Rules: Semantics -- 5.5 OWL2 RL: Description Logic Meets Rules -- 5.6 Rule Interchange Format: RIF -- 5.7 SemanticWeb Rules Language (SWRL) -- 5.8 Rules in SPARQL: SPIN -- 5.9 Nonmonotonic Rules: Motivation and Syntax -- 5.10 Example of Nonmonotonic Rules: Brokered Trade -- 5.11 Rule Markup Language (RuleML) -- 5.12 Summary -- Suggested Reading -- Exercises and Projects -- Chapter 6. Applications -- 6.1 GoodRelations.
6.2 BBC Artists -- 6.3 BBC World Cup 2010 Website -- 6.4 Government Data -- 6.5 New York Times -- 6.6 Sig.ma and Sindice -- 6.7 OpenCalais -- 6.8 Schema.org -- 6.9 Summary -- Chapter 7. Ontology Engineering -- 7.1 Introduction -- 7.2 Constructing Ontologies Manually -- 7.3 Reusing Existing Ontologies -- 7.4 Semiautomatic Ontology Acquisition -- 7.5 Ontology Mapping -- 7.6 Exposing Relational Databases -- 7.7 SemanticWeb Application Architecture -- Suggested Reading -- Exercises and Projects -- Chapter 8. Conclusion -- 8.1 Principles -- 8.2 Where Next? -- Appendix A. XML Basics -- Index. |
| Record Nr. | UNINA-9910826925503321 |
| Cambridge, MA, : MIT Press, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||