The proceedings contain 123 papers. The topics discussed include: supervised machine learning models and schema matching techniques for ontology alignment;framework for a knowledge-based course recommender system focu...
ISBN:
(纸本)9789897587160
The proceedings contain 123 papers. The topics discussed include: supervised machine learning models and schema matching techniques for ontology alignment;framework for a knowledge-based course recommender system focused on IT career needs;optimization of methods for querying formal ontologies in natural language using a neural network;personalized asthma recommendation system: leveraging predictive analysis and semantic ontology-based knowledge graph;elementary multiperspective material ontology: leveraging perspectives via a showcase of EMMO-based domain and application ontologies;positive-unlabeled learning using pairwise similarity a parametric minimum cuts;efficient visualization of association rule mining using the rules;predicting post myocardial infarction complication: a study dual-modality and imbalanced flow cytometry data;a model for designing personalized and context-aware nudges;automatic transcription systems: a game changer for court hearings;scientific claim verification with fine-tuned NLI models;and assessing the use of online platforms in sharing tacit knowledge in innovation networks.
The proceedings contain 22 papers. The topics discussed include: identification of phenological stages of sugarcane cultivation using Sentinel-2 images;development of software for parametric sensitivity analysis in a ...
ISBN:
(纸本)9780738111469
The proceedings contain 22 papers. The topics discussed include: identification of phenological stages of sugarcane cultivation using Sentinel-2 images;development of software for parametric sensitivity analysis in a chemical oxidation process;architecture of an automated system for the monitoring and prevention of school dropout;design of an embedded software system to control a smart home composter system;a blockchain model proposal for the decentralized management of academic credentials in Ecuadorian universities;success factors and benefits of using business intelligence for corporate performance management;and proposal of a intelligent agent for management and mitigation in cibersecurity risk for IoT environments.
The proceedings contain 28 papers. The topics discussed include: hey, my data are mine! active data to empower the user;threat modeling: from infancy to maturity;code duplication on stack overflow;automatically predic...
ISBN:
(纸本)9781450371261
The proceedings contain 28 papers. The topics discussed include: hey, my data are mine! active data to empower the user;threat modeling: from infancy to maturity;code duplication on stack overflow;automatically predicting bug severity early in the development process;where should I comment my code? a dataset and model for predicting locations that need comments;a theory of dual channel constraints;is your quantum program bug-free?;blending kinematic and software models for tighter reachability analysis;towards understanding emotional response to requirements changes in agile teams;and why will my question be closed? NLP-based pre-submission predictions of question closing reasons on stack overflow.
The proceedings contain 108 papers. The topics discussed include: SimilarAPI: mining analogical apis for library migration;evaluation of brain activity while pair programming;improving automated program repair using t...
ISBN:
(纸本)9781450371223
The proceedings contain 108 papers. The topics discussed include: SimilarAPI: mining analogical apis for library migration;evaluation of brain activity while pair programming;improving automated program repair using two-layer tree-based neural networks;extracting archival-quality information from software-related chats;an intelligent tool for combating contract cheating behavior by facilitating scalable student-tutor discussions;an SLR-tool: search process in practice: a tool to conduct and manage systematic literature review (SLR);does fixing bug increase robustness in deep learning?;GUI-focused overviews of mobile development videos;and DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios.
The proceedings contain 107 papers. The topics discussed include: SMRL: a metamorphic security testing tool for web systems;WasmView: visual testing for WebAssembly applications;AppTestMigrator: a tool for automated t...
ISBN:
(纸本)9781450371223
The proceedings contain 107 papers. The topics discussed include: SMRL: a metamorphic security testing tool for web systems;WasmView: visual testing for WebAssembly applications;AppTestMigrator: a tool for automated test migration for android apps;seraph: enabling cross-platform security analysis for EVM and WASM smart contracts;the SmartSHARK ecosystem for software repository mining;DeepMutation: A neural mutation tool;TimeTracer: a tool for back in time traceability replaying;SimilarAPI: mining analogical APIs for library migration;FeatureNET: diversity-driven generation of deep learning models;EvalDNN: a toolbox for evaluating deep neural network model;FuRong: fusing report of automated android testing on multi-devices;phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations;and BigTest: a symbolic execution based systematic test generation tool for apache spark.
The proceedings contain 6 papers. The topics discussed include: the quantum softwareengineering path;a roadmap for quantum softwareengineering: applying the lessons learned from the classics;off-the-shelf components...
The proceedings contain 6 papers. The topics discussed include: the quantum softwareengineering path;a roadmap for quantum softwareengineering: applying the lessons learned from the classics;off-the-shelf components for quantum programming and testing;requirements for quantum software platforms;generalizing an exactly-1 SAT solver for arbitrary numbers of variables, clauses, and K;and a tool for quantum software evolution.
The proceedings contain 31 papers. The topics discussed include: smart home with software intelligence, IoT and AI;TAE-ML:a random forest model for detecting RNA editing sites;GPU-accelerated method for simulating eff...
ISBN:
(纸本)9781728161679
The proceedings contain 31 papers. The topics discussed include: smart home with software intelligence, IoT and AI;TAE-ML:a random forest model for detecting RNA editing sites;GPU-accelerated method for simulating efficient portfolios in the mean-variance analysis;detection of drug-associated rhabdomyolysis through data mining techniques;facial image verification for government kiosk system;an architecture for game to game data transfer using blockchain;and identification of critical factors on structure and conduct using SCP framework: evidence from Indonesian ICT industry.
The proceedings contain 47 papers. The topics discussed include: early synthesis of timing models in AUTOSAR-based automotive embedded software systems;integer overflow detection in hardware designs at the specificati...
ISBN:
(纸本)9789897584008
The proceedings contain 47 papers. The topics discussed include: early synthesis of timing models in AUTOSAR-based automotive embedded software systems;integer overflow detection in hardware designs at the specification level;improving multi-domain stakeholder communication of embedded safety-critical development using agile practices: expert review;the seamless low-cost development platform Lorra for model based systems engineering;business process model recommendation as a transformation process in MDE: conceptualization and first experiments;determination of ISO 22400 key performance indicators using simulation models: the concept and methodology;graph-based model inspection tool for multi-disciplinary production systems engineering;and towards model transformation from a CBM model to CEP rules to support predictive maintenance.
The proceedings contain 289 papers. The topics discussed include: employing multifaceted bioinformatics strategies for the discovery of novel ASK1 inhibitors targeting neurodegenerative disorders;sailfish optimizer al...
ISBN:
(纸本)9798350359688
The proceedings contain 289 papers. The topics discussed include: employing multifaceted bioinformatics strategies for the discovery of novel ASK1 inhibitors targeting neurodegenerative disorders;sailfish optimizer algorithm for effective toxic gas detection sensor placement in IioT;a comprehensive study on satellite-based data communication for big earth observation systems;APIs insight for phenotype classification and hive health forecasting using IoT and deep learning;the future of teaching: exploring the integration of machine learning in higher education;person recognition using ear images based on fractional gannet sparrow optimization enabled deep learning;restaurant recommendation system using machine learning algorithms;and AI-driven remote Parkinson's diagnosis with BPNN framework and cloud-based data security.
The proceedings contain 28 papers. The topics discussed include: hey, my data are mine! active data to empower the user;threat modeling: from infancy to maturity;code duplication on stack overflow;automatically predic...
ISBN:
(纸本)9781450371261
The proceedings contain 28 papers. The topics discussed include: hey, my data are mine! active data to empower the user;threat modeling: from infancy to maturity;code duplication on stack overflow;automatically predicting bug severity early in the development process;where should I comment my code? a dataset and model for predicting locations that need comments;a theory of dual channel constraints;is your quantum program bug-free?;blending kinematic and software models for tighter reachability analysis;towards understanding emotional response to requirements changes in agile teams;why will my question be closed? NLP-based pre-submission predictions of question closing reasons on stack overflow;and better code, better sharing: on the need of analyzing Jupyter notebooks.
暂无评论