The proceedings contain 160 papers. The special focus in this conference is on knowledge Science, engineering and Management. The topics include: EE-LCE: An Event Extraction Framework Based on LLM-Generated CoT E...
ISBN:
(纸本)9789819754885
The proceedings contain 160 papers. The special focus in this conference is on knowledge Science, engineering and Management. The topics include: EE-LCE: An Event Extraction Framework Based on LLM-Generated CoT Explanation;attention and Learning Features-Enhanced knowledge Tracing;An MLM Decoding Space Enhancement for Legal Document Proofreading;meta-pruning: Learning to Prune on Few-Shot Learning;knowledge-Informed Molecular Learning: A Survey on Paradigm Transfer;GenFlowchart: Parsing and Understanding Flowchart Using Generative AI;DSCVSR: A Lightweight Video Super-Resolution for Arbitrary Magnification;programming knowledge Tracing with Context and Structure Integration;an Konwledge-Based Semi-supervised Active Learning Method for Precision Pest Disease Diagnostic;multi-label Feature Selection with Adaptive Subspace Learning;User Story Classification with Machine Learning and LLMs;PTMA: Pre-trained Model Adaptation for Transfer Learning;optimization Strategies for knowledge Graph Based Distractor Generation;reinforced Subject-Aware Graph Neural Network for Related Work Generation;EFCC-IeT: Cross-Modal Electronic File Content Correlation via Image-Enhanced Text;multi-relation Neural Network Recommendation Model Based on knowledge Graph Embedding Algorithm;link Prediction Based on Deep Global Information in Heterogeneous Graph;subject knowledge Entity Relationship Extraction Based on Multi-feature Fusion and Relation Specific Horns Tagging;a Human-Computer Negotiation Model Based on Q-Learning;affine Transformation-Based knowledge Graph Embedding;integrating Prior Scenario knowledge for Composition Review Generation;distant Supervised Relation Extraction on Pre-train Model with Improved Multi-label Attention Mechanism;sEMG-Based Multi-view Feature-Constrained Representation Learning;vicinal Data Augmentation for Classification Model via Feature Weaken;STM: An Improved Peak Price Tracking-Based Online Portfolio Selection Algorithm;spatiotemporal Dependence Learning
The proceedings contain 78 papers. The topics discussed include: exploring the hybrid neural network and attention mechanism for classification of social bias;drug-disease association prediction through multiple integ...
ISBN:
(纸本)9798350329742
The proceedings contain 78 papers. The topics discussed include: exploring the hybrid neural network and attention mechanism for classification of social bias;drug-disease association prediction through multiple integrated similarities and deep learning;effective classification for logs of routers based on MLP neural networks;digital image watermarking algorithm using blockmarking technique for copyright protection;multi-level elliptic Dijkstra’s algorithm for finding optimal trajectory of aircrafts;exploring the mechanism for international R&D collaboration through knowledge management in Thai R&D institute: exploratory factor analysis;a novel approach for non-query fake news detection using K-SOM and graph neural networks;and two novel variants of ECDH key exchange protocol using schnorr zero-knowledge proof.
The proceedings contain 17 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: Hoare-Style Logic for Unstructured Programs;synthesis of P-Stable Abstractions...
ISBN:
(纸本)9783030587673
The proceedings contain 17 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: Hoare-Style Logic for Unstructured Programs;synthesis of P-Stable Abstractions;runtime Verification of Contracts with Themulus;sound C Code Decompilation for a Subset of x86-64 Binaries;Statically Checking REST API Consumers;A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis;formal Verification of Human-Robot Interaction in Healthcare Scenarios;finding and Fixing a Mismatch Between the Go Memory Model and Data-Race Detector: A Story on Applied Formal Methods;Formal Verification of COLREG-Based Navigation of Maritime Autonomous Systems;End-to-End Verification of Initial and Transition Properties of GR(1) Designs in SPARK;Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification;interoperability and Integration Testing Methods for IoT Systems: A Systematic Mapping Study;FRed: Conditional Model Checking via Reducers and Folders;difference Verification with Conditions;A Formal Modeling Approach for Portable Low-Level OS Functionality.
The proceedings contain 18 papers. The topics discussed include: verification of token-scaling models using an under-approximation;portfolio management in explicit model checking;models for dynamic exploration of the ...
The proceedings contain 18 papers. The topics discussed include: verification of token-scaling models using an under-approximation;portfolio management in explicit model checking;models for dynamic exploration of the statespaces of autonomous vehicles;property-preserving transformations of elementary net systems based on morphisms;model checking starvation for resource-aware active objects with colored Petri nets;algorithms for the synthesis of elementary net systems with localities;faster enabledness-updates for the reachability graph computation;translation validation of loop involving code optimizing transformations using Petri net based models of programs;graphical languages for functional reactive modeling based on Petri nets;toward the formal verification of HILECOP: formalization and implementation of synchronously executed Petri nets;and analyzing softwareengineering courses with process mining and business intelligence.
The massive emergence of Open Source software (OSS) projects led to the rapid increment of data available to software engineers and those who would like to contribute to an OSS project. There is an arising need for a ...
详细信息
The massive emergence of Open Source software (OSS) projects led to the rapid increment of data available to software engineers and those who would like to contribute to an OSS project. There is an arising need for a way to analyze and draw conclusions about the value of an OSS project, from an epistemic point of view. OSS projects have been used for a long time as vehicles for learning programming and softwareengineering. However, there is a need for more evidence about the scientific value conveyed by OSS projects. We posit that if we deeply study the dialogues of software engineers involved in the communities of the various projects and draw conclusions from them, this can be an additional way of assessing OSS projects. Learning analytics, data mining and data science provide diverse statistical and computational approaches to analyzing data. In this work, we describe Epistemic Network Analysis (ENA), a network analysis technique used by a growing community of researchers to support thick descriptions based on large volumes of data. ENA is based on the theory of epistemic frames. The theory of epistemic frames models the ways of being, thinking and acting inside some community of practice. In this research, we focus on the epistemic frame of softwareengineering and discuss the elements of this frame: the knowledge, the set of skills and values and the set of processes for making and justifying decisions. We coded the discourses of two well-known open source projects, LibreOffice and OpenOffice, and we used the online tool ENA WebKit to analyze the coded rows of the discourses, but also to visualize and compare the networks of different units of data. We conducted three types of experiments and comparisons on the mean networks of the two projects, on the networks of the different bugs, as well as on the networks of some software engineers who participated in the discussions, and we came to conclusions about how epistemic these dialogues were and therefore assess
As a general-purpose technology, large language models promise to enhance various softwareengineering tasks. But how will they impact requirements engineering? This column offers a summary of an expert panel discussi...
详细信息
As a general-purpose technology, large language models promise to enhance various softwareengineering tasks. But how will they impact requirements engineering? This column offers a summary of an expert panel discussion from the 2023 international Requirements engineeringconference in Hanover, Germany.
The proceedings contain 102 papers. The topics discussed include: a vision-based method for human activity recognition using local binary pattern;DPRNN-FORMER: an efficient way to deal with blind source separation;dia...
ISBN:
(纸本)9798350330151
The proceedings contain 102 papers. The topics discussed include: a vision-based method for human activity recognition using local binary pattern;DPRNN-FORMER: an efficient way to deal with blind source separation;diagnosis of depression based on new features extractive from the frequency space of the EEG;spatio-temporal graph neural networks for accurate crime prediction;classification of benign and malignant tumors in digital breast tomosynthesis images using radiomic-based methods;intensity-image reconstruction using event camera data by changing in LSTM update;the Internet of Things-enabled smart city: an in-depth review of its domains and applications;analysis of insect-plant interactions affected by mining operations, a graph mining approach;and leveraging the power of object detection models in identifying litter for a significant reduction in environmental pollution.
The proceedings contain 12 papers. The special focus in this conference is on HPC User Support Tools. The topics include: Interactive Supercomputing for Experimental Data-Driven Workflows;Portals for Interactive Steer...
ISBN:
(纸本)9783030447274
The proceedings contain 12 papers. The special focus in this conference is on HPC User Support Tools. The topics include: Interactive Supercomputing for Experimental Data-Driven Workflows;Portals for Interactive Steering of HPC Workflows;The Pangeo Ecosystem: Interactive Computing Tools for the Geosciences: Benchmarking on HPC;using Malleable Task Scheduling to Accelerate Package Manager Installations;Enabling Continuous Testing of HPC Systems Using ReFrame;Tools for Monitoring CPU Usage and Affinity in Multicore Supercomputers;a Study of Hydrodynamics Based Community Codes in Astrophysics;Lightweight software Process Improvement Using Productivity and Sustainability Improvement Planning (PSIP);Role-Oriented Code Generation in an Engine for Solving Hyperbolic PDE Systems;FQL: An Extensible Feature Query Language and Toolkit on Searching software Characteristics for HPC Applications.
The swift development of Artificial Intelligence (AI), namely the introduction of Large Language Models (LLMs), is drastically altering various industries and necessitating a major change in the way software engineeri...
详细信息
ISBN:
(纸本)9798350378986;9798350378979
The swift development of Artificial Intelligence (AI), namely the introduction of Large Language Models (LLMs), is drastically altering various industries and necessitating a major change in the way softwareengineering is taught. To equip upcoming software engineers with the knowledge and abilities to function in this AI-powered environment, curriculum and pedagogical techniques must be critically reevaluated. To better understand the integration of AI and LLMs into softwareengineering education, this study gives a thorough and critical analysis of the literature, looking at existing models, pedagogical frameworks, and enduring issues. We explore various approaches utilized by educational establishments, including as specialized AI and LLM courses, incorporating modules into pre-existing curricula, and utilizing open-source LLM materials. Our analysis, which is based on case studies and research data, thoroughly assesses how well these strategies enable software engineers to comprehend, make use of, and ethically create AI and LLMs. Key obstacles to the successful integration of AI and LLM are also identified by our analysis, including the inexperienced status of LLM educators, resource limitations, potential biases in AI and LLM algorithms, and insufficient instructor knowledge. Building on these discoveries, we provide solid answers to these problems and suggest interesting avenues for further study to improve the integration of AI and LLM. In the end, this study advocates for a multimodal strategy to get future software engineers ready for the impending AI and LLM future and secure their place in this quickly changing field.
The proceedings contain 30 papers. The topics discussed include: from data to learning: the scientific approach to AI-enhanced online course design;implication and inference rules in multivalued logic with network con...
ISBN:
(纸本)9798350313246
The proceedings contain 30 papers. The topics discussed include: from data to learning: the scientific approach to AI-enhanced online course design;implication and inference rules in multivalued logic with network configuration;modern hot water storage technologies for livestock farms;AIOps-driven enhancement of log anomaly detection in unsupervised scenarios;lean six sigma: integrating knowledge, data, and innovation for organizational excellence;key performance indicators in parking guidance information system;application of machine learning and natural language technologies in building semantic search systems: case study of a virtual legal assistant;an efficient hybrid volleyball premier league and antlion metaheuristic algorithm for feature selection;big data processing for Bulgarian healthcare - smart cards and some simulating decisions;and the role of big data in intelligent educational platform: a functional architecture.
暂无评论