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.
Dependable software engineering. theories, tools, and applications : 6th international symposium, setta 2020, guangzhou, china, november 24-27, 2020, proceedings / / edited by Jun Pang, Lijun Zhang
| Dependable software engineering. theories, tools, and applications : 6th international symposium, setta 2020, guangzhou, china, november 24-27, 2020, proceedings / / edited by Jun Pang, Lijun Zhang |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XIII, 203 p. 228 illus., 31 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Formal methods (Computer science)
Computers Software engineering |
| ISBN | 3-030-62822-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Road Ahead for Supervisor Synthesis -- Reentrancy? Yes. Reentrancy bug? No -- Graph Transformation Systems: a Semantics Based on (Stochastic) Symmetric Nets -- Modelling and Implementation of Unmanned Aircraft Collision Avoidance -- Randomized Re nement Checking of Timed I/O Automata -- Computing Linear Arithmetic Representation for Reachability Relation of One-counter Automata -- Compiling FL^{res} on Finite Words -- Symbolic Model Checking with Sentential Decision Diagrams -- Probably Approximately Correct Interpolants Generation -- Symbolic Verification of MPI Programs with Non-deterministic Synchronizations -- Learning Safe Neural Network Controllers with Barrier Certificates -- Software Defect-proneness Prediction Based on Package Cohesion and Coupling Metrics. |
| Record Nr. | UNISA-996418222403316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / / edited by Jun Pang, Lijun Zhang
| Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / / edited by Jun Pang, Lijun Zhang |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XIII, 203 p. 228 illus., 31 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer science Computer engineering Computer networks Logic programming Computer simulation Software Engineering Theory of Computation Computer Engineering and Networks Logic in AI Computer Modelling |
| ISBN | 3-030-62822-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Road Ahead for Supervisor Synthesis -- Reentrancy? Yes. Reentrancy bug? No -- Graph Transformation Systems: a Semantics Based on (Stochastic) Symmetric Nets -- Modelling and Implementation of Unmanned Aircraft Collision Avoidance -- Randomized Re nement Checking of Timed I/O Automata -- Computing Linear Arithmetic Representation for Reachability Relation of One-counter Automata -- Compiling FL^{res} on Finite Words -- Symbolic Model Checking with Sentential Decision Diagrams -- Probably Approximately Correct Interpolants Generation -- Symbolic Verification of MPI Programs with Non-deterministic Synchronizations -- Learning Safe Neural Network Controllers with Barrier Certificates -- Software Defect-proneness Prediction Based on Package Cohesion and Coupling Metrics. |
| Record Nr. | UNINA-9910427673603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Methods and Software Engineering [[electronic resource] ] : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings / / edited by Stephan Merz, Jun Pang
| Formal Methods and Software Engineering [[electronic resource] ] : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings / / edited by Stephan Merz, Jun Pang |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 460 p. 125 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Algorithms Mathematical logic Computer communication systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Computer Communication Networks |
| ISBN | 3-319-11737-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints -- A Formal Model for Natural-Language Timed Requirements of Reactive Systems -- A Hybrid Model of Connectors in Cyber-Physical Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic Formalism for Phase-Type Distributions -- CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems -- Modal Characterisations of Probabilistic and Fuzzy Bisimulations -- Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm -- An LTL Model Checking Approach for Biological Parameter Inference -- SCC-Based Improved Reachability Analysis for Markov Decision Processes -- Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior -- Timed Automata Verification via IC3 with Zones -- GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems -- A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators -- A Formula-Based Approach for Automatic Fault Localization of Imperative Programs -- A Resource-Based Logic for Termination and Non-termination Proofs -- Practical Analysis Framework for Software-Based Attestation Scheme -- TAuth: Verifying Timed Security Protocols -- On the Formal Analysis of HMM Using Theorem Proving -- Formal Modeling and Analysis of Cassandra in Maude -- Bounded Model Checking High Level Petri Nets in PIPE+Verifier -- Fast Translation from LTL to Büchi Automata via Non-transition-Based Automata -- Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor -- Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code -- GPU Accelerated Counterexample Generation in LTL Model Checking -- Formal Throughput and Response Time Analysis of MARTE Models -- Extending MSVL with Function Calls. |
| Record Nr. | UNISA-996213650603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings / / edited by Stephan Merz, Jun Pang
| Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings / / edited by Stephan Merz, Jun Pang |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XVIII, 460 p. 125 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Compilers (Computer programs) Algorithms Machine theory Computer networks Software Engineering Programming Techniques Compilers and Interpreters Formal Languages and Automata Theory Computer Communication Networks |
| ISBN | 3-319-11737-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints -- A Formal Model for Natural-Language Timed Requirements of Reactive Systems -- A Hybrid Model of Connectors in Cyber-Physical Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic Formalism for Phase-Type Distributions -- CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems -- Modal Characterisations of Probabilistic and Fuzzy Bisimulations -- Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm -- An LTL Model Checking Approach for Biological Parameter Inference -- SCC-Based Improved Reachability Analysis for Markov Decision Processes -- Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior -- Timed Automata Verification via IC3 with Zones -- GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems -- A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators -- A Formula-Based Approach for Automatic Fault Localization of Imperative Programs -- A Resource-Based Logic for Termination and Non-termination Proofs -- Practical Analysis Framework for Software-Based Attestation Scheme -- TAuth: Verifying Timed Security Protocols -- On the Formal Analysis of HMM Using Theorem Proving -- Formal Modeling and Analysis of Cassandra in Maude -- Bounded Model Checking High Level Petri Nets in PIPE+Verifier -- Fast Translation from LTL to Büchi Automata via Non-transition-Based Automata -- Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor -- Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code -- GPU Accelerated Counterexample Generation in LTL Model Checking -- Formal Throughput and Response Time Analysis of MARTE Models -- Extending MSVL with Function Calls. |
| Record Nr. | UNINA-9910483510803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multi-disciplinary Trends in Artificial Intelligence : 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part II / / edited by Chattrakul Sombattheera, Paul Weng, Jun Pang
| Multi-disciplinary Trends in Artificial Intelligence : 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part II / / edited by Chattrakul Sombattheera, Paul Weng, Jun Pang |
| Autore | Sombattheera Chattrakul |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (609 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
WengPaul
PangJun |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN |
9789819606955
9819606950 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Assessing the Influence of Epidemics on Firefighter Services: A Factor Analysis Approach. -- Fine-tuned Visualization with T-distributed Stochastic Neighbor Embeddings on Metagenomic Data for Disease Classification. -- YOLOv9c: A Robust Framework for Insect Detection. -- Assessing Factors Influencing Health Insurance Cost Prediction. -- Bagging Detection Using Transformer and Multiple Feature Fusion. -- Leveraging Pre-trained Language Models’s Performance for Emotion Recognition from Vietnamese Social Media Text. -- Leveraging OCR-Driven Information Extraction for Accurate Product Type Classification from Thai Receipt Data: An Ensemble Learning Approach. -- Speech Recognition Model for Confused Thai Lanna Vocabulary Using Deep Learning Techniques. -- Dynamic Altitude Geo Hashing based Classified billing for Haulers and Movers. -- Slide2Vid: Dynamic Video Generation from Static Presentations through Sequential Contextual Refinement. -- An Imbalance-aware Ensemble Model for Patient’s Mortality Prediction in Intensive Care Unit. -- Optimization methods for Merkle Tree in Blockchain. -- Meta-Learning in Audio and Speech Processing: An End to End Comprehensive Review. -- Fusing Object Detections to Obtain Geolocated Salient Points using Aerial Images. -- TFS recognition using MediaPipe Hands. -- Predicting Violated Law Sections using Document Classification Techniques. -- Automated Disease Detection in Millet Crops using Deep Learning. -- Automatic Knowledge Acquisition System with Large Language Model in Academic Domain. -- Graph Embeddings and DQ-Learning: Efficient Exams Scheduling. -- Implementation of a License Plate Recognition System In Vietnam Using Embedding Devices. -- A New Method of Mining High Utility Co-location Patterns from Spatial Data. -- Discovering high average utility co-location patterns using an upper bound utility and a hierarchical instance tree. -- Ensemble method for Optical Coherence Tomography Scan classification using fuzzy functions. -- Improvement of Multi-label kNN Classifier with Self-adjusting Memory Using a Punitive Model for Drifting Data Streams. -- Enhancing Post-Quantum Cryptography Security with BioCrypt Quantum Shield through Nature-Inspired Machine Learning. -- Enhancing AI Chatbots for Mental Health Support: A Comprehensive Approach. -- Ensemble Modeling for Emotion Recognition Using a Frame Attention Network on Faces With and Without Mouth Occlusion. -- Design Through AI Eyes: Automating Aesthetic Assessments for Learning. -- Design and Development of a Mobile Application for Accessible Pterygium Screening Using Pre-trained Deep Learning Models. -- An Autonomous Search System for Maritime Applications. -- Mining Quantitative Association Rules. -- Exploring Large Language Models ability to Imitate Coping’s Influence on Beliefs and Goals. -- BioMed-LLaMa-3: Instruction-Efficient Fine-Tuning of Large Language Models for Improved Biomedical Language Understanding. -- New Energy Vehicle Sales Prediction Based on Data Mining: A case study of BYD. |
| Record Nr. | UNINA-9910983333403321 |
Sombattheera Chattrakul
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multi-disciplinary Trends in Artificial Intelligence : 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part I / / edited by Chattrakul Sombattheera, Paul Weng, Jun Pang
| Multi-disciplinary Trends in Artificial Intelligence : 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part I / / edited by Chattrakul Sombattheera, Paul Weng, Jun Pang |
| Autore | Sombattheera Chattrakul |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (649 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
WengPaul
PangJun |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN |
9789819606924
9819606926 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- ArsenicSkinNet: A Deep Learning Approach for Arsenicosis Skin Lesion Classification. -- Decoding Trust: An Agent-based Computational Model of User’s Trust Interplay Dynamics in e-Hailing Services. -- PCHIP-HW: A Robust Approach for Imputing Microalgae Monitoring Data. -- Integrated IoT Solution for Electric Vehicle Charging Station System. -- Recognizing Vietnamese Vegetable Varieties and Quality using a Modified Hierarchical Classification and Multi-task Learning. -- Attention to the Branches: A Comparative Analysis of FairMOT with Transformers on Fish Dataset. -- Comparative study of Yolov8, Yolov9 and Yolov10 by their ability to detect mangoes., -- TrendScribe: Design and Development of a Pedagogic Trend Description Generator for Learners of English. -- Enhancement of LLMs-based Translation by Agentic Machine Translation in Thai Language. -- LEVERAGING SOCIAL MEDIA DATA TO ANALYZE PUBLIC SENTIMENT ON MEKONG DELTA’S ENVIRONMENTAL ISSUES. -- Charting Careers in Data Science and Artificial Intelligence: Community Perspectives on Degree Essentiality. -- Outlier Selection with Local intrinsic dimensionality and visualization using t-SNE. -- A DCGAN-Based Method for Improving Animal Classification in Low Resolution Image. -- An Investigation of the Effect of Free-Players on Global Cooperative Behavior in a Spatial Prisoner’s Dilemma Game Environment. -- ChatGPT Acceptance and Use among Software Developers in the Philippines: A Structural Equation Modeling Approach based on Extended UTAUT. -- Banana Variety Classification and Grading at Bunch Level. -- Efficient Implementation of 2SAT Formula Learning Over Finite Totally Ordered Domains. -- Unveiling Indian Public Sentiment: A Topic Modeling Comparison between LDA and BERTopic on ”Mann ki Baat”. -- Identifying Water Bodies in Satellite Images Using UNet3+. -- Selective Frame Analysis for Efficient Object Tracking: Balancing Speed with Accuracy in MOT Systems. -- Automated Many-to-One Matching Mechanism Design using Deep Learning. -- Optimizing Lane Configuration and ETC Adoption to Minimize Congestion and Costs at Toll Plazas. -- An Empirical Evaluation of Algorithms for Simple Stochastic Games. -- InterviewEase: AI-powered placement assistance. -- Boundary Extraction for Unseen Entities Prediction using Bidirectional Long Short-Term Memory. -- Personalized Pronunciation Practice Recommendation in Non-Native French Speakers Using Graph-Based Analysis. -- Solving the Vietnamese EdTech Timetabling Problem with Optimized Multi-Objectives. -- FrustumVL: A Frustum-based Visual Localization Framework for Urban Environments. -- Automatic Assessment of Vietnamese Proficiency Using BERT and Phrase Complexity. -- TOORNet: Training-free Online Object Removal Network for Adversarial Attacks on Intelligent Video Surveillance Systems. -- Optimizing Carpooling with Multiple Shared-destinations: Reasonable Fare Calculation and Effective Route Planning. -- GraphChem: Using Soft Graph Mixture of Experts for de novo Drug Design and Molecular Property Prediction. -- Enhancing Transparency and Fairness in Automated Resume Categorization: A KNN-Based Approach with Lime Explanations. -- On automatic generation of Escher-like Metamorphosis. -- Data-driven Anchor Box Optimization using Genetic Algorithm. |
| Record Nr. | UNINA-9910983335103321 |
|
Sombattheera Chattrakul
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multi-disciplinary Trends in Artificial Intelligence : 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part II / / edited by Chattrakul Sombattheera, Paul Weng, Jun Pang
| Multi-disciplinary Trends in Artificial Intelligence : 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part II / / edited by Chattrakul Sombattheera, Paul Weng, Jun Pang |
| Autore | Sombattheera Chattrakul |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (609 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
WengPaul
PangJun |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN |
9789819606955
9819606950 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- Assessing the Influence of Epidemics on Firefighter Services: A Factor Analysis Approach. -- Fine-tuned Visualization with T-distributed Stochastic Neighbor Embeddings on Metagenomic Data for Disease Classification. -- YOLOv9c: A Robust Framework for Insect Detection. -- Assessing Factors Influencing Health Insurance Cost Prediction. -- Bagging Detection Using Transformer and Multiple Feature Fusion. -- Leveraging Pre-trained Language Models’s Performance for Emotion Recognition from Vietnamese Social Media Text. -- Leveraging OCR-Driven Information Extraction for Accurate Product Type Classification from Thai Receipt Data: An Ensemble Learning Approach. -- Speech Recognition Model for Confused Thai Lanna Vocabulary Using Deep Learning Techniques. -- Dynamic Altitude Geo Hashing based Classified billing for Haulers and Movers. -- Slide2Vid: Dynamic Video Generation from Static Presentations through Sequential Contextual Refinement. -- An Imbalance-aware Ensemble Model for Patient’s Mortality Prediction in Intensive Care Unit. -- Optimization methods for Merkle Tree in Blockchain. -- Meta-Learning in Audio and Speech Processing: An End to End Comprehensive Review. -- Fusing Object Detections to Obtain Geolocated Salient Points using Aerial Images. -- TFS recognition using MediaPipe Hands. -- Predicting Violated Law Sections using Document Classification Techniques. -- Automated Disease Detection in Millet Crops using Deep Learning. -- Automatic Knowledge Acquisition System with Large Language Model in Academic Domain. -- Graph Embeddings and DQ-Learning: Efficient Exams Scheduling. -- Implementation of a License Plate Recognition System In Vietnam Using Embedding Devices. -- A New Method of Mining High Utility Co-location Patterns from Spatial Data. -- Discovering high average utility co-location patterns using an upper bound utility and a hierarchical instance tree. -- Ensemble method for Optical Coherence Tomography Scan classification using fuzzy functions. -- Improvement of Multi-label kNN Classifier with Self-adjusting Memory Using a Punitive Model for Drifting Data Streams. -- Enhancing Post-Quantum Cryptography Security with BioCrypt Quantum Shield through Nature-Inspired Machine Learning. -- Enhancing AI Chatbots for Mental Health Support: A Comprehensive Approach. -- Ensemble Modeling for Emotion Recognition Using a Frame Attention Network on Faces With and Without Mouth Occlusion. -- Design Through AI Eyes: Automating Aesthetic Assessments for Learning. -- Design and Development of a Mobile Application for Accessible Pterygium Screening Using Pre-trained Deep Learning Models. -- An Autonomous Search System for Maritime Applications. -- Mining Quantitative Association Rules. -- Exploring Large Language Models ability to Imitate Coping’s Influence on Beliefs and Goals. -- BioMed-LLaMa-3: Instruction-Efficient Fine-Tuning of Large Language Models for Improved Biomedical Language Understanding. -- New Energy Vehicle Sales Prediction Based on Data Mining: A case study of BYD. |
| Record Nr. | UNISA-996647863803316 |
|
Sombattheera Chattrakul
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Multi-disciplinary Trends in Artificial Intelligence : 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part I / / edited by Chattrakul Sombattheera, Paul Weng, Jun Pang
| Multi-disciplinary Trends in Artificial Intelligence : 17th International Conference, MIWAI 2024, Pattaya, Thailand, November 11–15, 2024, Proceedings, Part I / / edited by Chattrakul Sombattheera, Paul Weng, Jun Pang |
| Autore | Sombattheera Chattrakul |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (649 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
WengPaul
PangJun |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Artificial Intelligence |
| ISBN |
9789819606924
9819606926 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | -- ArsenicSkinNet: A Deep Learning Approach for Arsenicosis Skin Lesion Classification. -- Decoding Trust: An Agent-based Computational Model of User’s Trust Interplay Dynamics in e-Hailing Services. -- PCHIP-HW: A Robust Approach for Imputing Microalgae Monitoring Data. -- Integrated IoT Solution for Electric Vehicle Charging Station System. -- Recognizing Vietnamese Vegetable Varieties and Quality using a Modified Hierarchical Classification and Multi-task Learning. -- Attention to the Branches: A Comparative Analysis of FairMOT with Transformers on Fish Dataset. -- Comparative study of Yolov8, Yolov9 and Yolov10 by their ability to detect mangoes., -- TrendScribe: Design and Development of a Pedagogic Trend Description Generator for Learners of English. -- Enhancement of LLMs-based Translation by Agentic Machine Translation in Thai Language. -- LEVERAGING SOCIAL MEDIA DATA TO ANALYZE PUBLIC SENTIMENT ON MEKONG DELTA’S ENVIRONMENTAL ISSUES. -- Charting Careers in Data Science and Artificial Intelligence: Community Perspectives on Degree Essentiality. -- Outlier Selection with Local intrinsic dimensionality and visualization using t-SNE. -- A DCGAN-Based Method for Improving Animal Classification in Low Resolution Image. -- An Investigation of the Effect of Free-Players on Global Cooperative Behavior in a Spatial Prisoner’s Dilemma Game Environment. -- ChatGPT Acceptance and Use among Software Developers in the Philippines: A Structural Equation Modeling Approach based on Extended UTAUT. -- Banana Variety Classification and Grading at Bunch Level. -- Efficient Implementation of 2SAT Formula Learning Over Finite Totally Ordered Domains. -- Unveiling Indian Public Sentiment: A Topic Modeling Comparison between LDA and BERTopic on ”Mann ki Baat”. -- Identifying Water Bodies in Satellite Images Using UNet3+. -- Selective Frame Analysis for Efficient Object Tracking: Balancing Speed with Accuracy in MOT Systems. -- Automated Many-to-One Matching Mechanism Design using Deep Learning. -- Optimizing Lane Configuration and ETC Adoption to Minimize Congestion and Costs at Toll Plazas. -- An Empirical Evaluation of Algorithms for Simple Stochastic Games. -- InterviewEase: AI-powered placement assistance. -- Boundary Extraction for Unseen Entities Prediction using Bidirectional Long Short-Term Memory. -- Personalized Pronunciation Practice Recommendation in Non-Native French Speakers Using Graph-Based Analysis. -- Solving the Vietnamese EdTech Timetabling Problem with Optimized Multi-Objectives. -- FrustumVL: A Frustum-based Visual Localization Framework for Urban Environments. -- Automatic Assessment of Vietnamese Proficiency Using BERT and Phrase Complexity. -- TOORNet: Training-free Online Object Removal Network for Adversarial Attacks on Intelligent Video Surveillance Systems. -- Optimizing Carpooling with Multiple Shared-destinations: Reasonable Fare Calculation and Effective Route Planning. -- GraphChem: Using Soft Graph Mixture of Experts for de novo Drug Design and Molecular Property Prediction. -- Enhancing Transparency and Fairness in Automated Resume Categorization: A KNN-Based Approach with Lime Explanations. -- On automatic generation of Escher-like Metamorphosis. -- Data-driven Anchor Box Optimization using Genetic Algorithm. |
| Record Nr. | UNISA-996647866903316 |
|
Sombattheera Chattrakul
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||