yusuke1997/dblp-id-title huggingface dataset:
A Multi-objective Approach for Vietnamese Spam Detection
Item Recommendation by Query-Based Biclustering Method
Identifying Micro-influencers on Social Media using User Graph Construction Approach
A novel approach based on deep learning techniques and UAVs to yield assessment of paddy fields
Utilizing SBERT For Finding Similar Questions in Community Question Answering
Reconstructing Missing Joints in 3D Human Motion with Temporal-Structural Awareness Graph Neural Network
Feature normalization for similarity calculations in matrix factorization method
Mining Jumping Emerging Patterns by Streaming Feature Selection
AimeLaw at ALQAC 2021: Enriching Neural Network Models with Legal-Domain Knowledge
The influence of knowledge sharing behavior and transactive memory systems on innovative work behavior: A conceptual model
Hybrid of Deep Auto-Encoder and Maximum Mean Discrepancy for Cyber Reconnaissance Detection
Real-Time Analysis and Security Integration of Prime Generation Algorithms in Encryption Systems
Dialogue act segmentation for Vietnamese human-human conversational texts
Solving Inventory Routing Problem with Logistic Ratio via DC programming
Interval type-2 fuzzy logic systems optimization with swarm algorithms for data classification
Data Augmentation for Small Face Datasets and Face Verification by Generative Adversarial Networks Inversion
Predicting Query Difficulty in IR: Impact of Difficulty Definition
Mining High Utility Sequences with a Novel Utility Function
A Novel Approach for Data Collection and Network Attack Warning
Graphish: Advanced Phishing URL Detection via Graph-Based Embeddings
Continuous Learning for Automatic Identification of OC EO Antique Glass Jewelry
A Constraint Neighborhood Based Approach for Co-location Pattern Mining
Towards a Fuzzy Probabilistic Relational Data Base Model
Keyphrase generation for Vietnamese administrative documents: a collaborative approach
The Masked Simple Graph Contrastive Learning for Recommendation
Resolve Highway Conflict in Multi-Autonomous Vehicle Controls With Local State Attention
Application of Next-generation Sequencing Method for Elucidating Evolutionary History of Chloroplast Genome in Plant Kingdom
A New Approach Using Dynamic Group Decision Making for Selection of Multiple Alternatives Under Risk and Uncertainty
Towards Efficient Sport Data Integration through Semantic Annotation
IoT-Based Touchless Remote Control for Robotic Arm Using Kinect
Rooting Phylogenetic Trees from Protein Alignments
Finding Round-Off Error Using Symbolic Execution
Real-time vehicle detection and counting based on YOLO and DeepSORT
Towards State-of-the-art Baselines for Vietnamese Multi-document Summarization
Recovering the Contralateral Arm Strength Loss Caused by an Induced Jaw Imbalance
Content Region Detection and Feature Adjustment for Securing Genuine Documents
Securing Data in Composite Web Services
Optimizing Region of Convergence to Preserve Model Privacy from Membership Inference Attack
Question analysis for Vietnamese legal question answering
Measuring Similarity between Vehicle Speed Records Using Dynamic Time Warping
A Contextual Embedding Clustering Technique for Aspect Categorization in Review Data
FOREcaST: Improving Extreme Weather Forecasts with Deep Neural Decision Forest for Climate Change Adaptation
Cloud data architecture applied to urban management
Malay Noisy Text Normalization in User-Generated Content: A Rule-Based and Levenshtein Distance Approach
Constraint-Based MDL Principle for Semi-Supervised Classification of Time Series
Approach portfolio selection for Vietnamese stock market based on nonlinear shrinkage method
TAD: Tri-Aspect Fake News Detection
Feature selection based on popularity and value contrast for Android malware classification
Reducing Blocking Artifacts in CNN-Based Image Steganography by Additional Loss Functions
A Novel Approach for Non-Query Fake News Detection Using K-SOM and Graph Neural Networks
The Utilities of Imprecise Rules and Redundant Rules for Classifiers
Structured specification for program verification
A Distributed Solution for Privacy Preserving Outlier Detection
TMACT: A thematic map automatically creating tool for maintaining WebGIS systems
Fast K-Means Clustering for Very Large Datasets Based on MapReduce Combined with a New Cutting Method
Association-based recommender system using statistical implicative cohesion measure
Efficient Algorithms for Mining Frequent Itemsets with Constraint
scIDS: Single-cell Imputation by combining Deep autoencoder neural networks and Subspace regression
Information Extraction for Vietnamese Real Estate Advertisements
Development of reasoning techniques on knowledge representation model COKB and applications
Simulation of precision feeding systems for swine
Uncertainty Modeling and Propagation in Musculoskeletal Modeling
Can Knowledge Enhance Reading Comprehension? An Integrated Approach with Semantic Lexicon
A Summary of the ALQAC 2024 Competition
Fourth International Conference on Knowledge and Systems Engineering, KSE 2012, Danang, Vietnam, August 17-19, 2012
tBART: Abstractive summarization based on the joining of Topic modeling and BART
Key-value based data hiding method for NoSQL database
From Universal Language Model to Downstream Task: Improving RoBERTa-Based Vietnamese Hate Speech Detection
Vietnamese Legal Question Answering with combined features and deep learning
Entity Linking for Vietnamese Tweets
Generalized Max Pooling for Action Recognition
A Study on 4D GIS Spatio-Temporal Data Model
Reduce Over-smoothing in Label Non-Uniformity Learning Based on Graph Convolution Network
DWEN: A novel method for accurate estimation of cell type compositions from bulk data samples
Enhancing Performance of Lexical Entailment Recognition for Vietnamese based on Exploiting Lexical Structure Features
Machine Learning Pseudo-Natural Language for Temporal Logic Requirements of Embedded Systems
Paragraph Alignment for English-Vietnamese Parallel E-Books
Methods for Abnormal Usage Detection in Developing Intelligent Systems for Smart Homes
Improving the Readability of Unformatted Text using Multitask Attention Networks
A Study on the Use of Genetic Programming for Automatic Text Summarization
A Novel Privacy-Preserving Deep Learning Scheme for the Classification of Covid-19 in Chest X-Ray Images
Ontology-based representation and design of subject domains for Computer Science education
Proceedings of the 11th Illia O. Teplytskyi Workshop on Computer Simulation in Education (CoSinE 2024) co-located with XVI International Conference on Mathematics, Science and Technology Education (ICon-MaSTEd 2024), Kryvyi Rih, Ukraine, May 15, 2024
Joint Proceedings of the 10th Illia O. Teplytskyi Workshop on Computer Simulation in Education, and Workshop on Cloud-based Smart Technologies for Open Education (CoSinEi and CSTOE 2022) co-located with ACNS Conference on Cloud and Immersive Technologies in Education (CITEd 2022), Kyiv, Ukraine, December 22, 2022
Prospects of quantum informatics and studying its basics in school courses
Enhancing mathematical understanding through dynamic GeoGebra modeling: A holistic educational approach
Revolutionizing education: using computer simulation and cloud-based smart technology to facilitate successful open learning
Data science tools for economics education: text mining and topic modeling applications
The recognition of speech defects using convolutional neural network
Teaching statistics to future programmers using real data sets and R programming language
Selecting cloud-based learning technologies for developing professional competencies of bachelors majoring in statistics
Implementation of STEM learning technology in the process of calibrating an NTC thermistor and developing an electronic thermometer based on it
Emoji as an artificial digital language: a frame-semantic analysis of perception and interpretation
Analyzing the distribution of STEM-STEAM-STREAM and Montessori pedagogy centers in Ukraine
A model of application and learning of cloud technologies for future Computer Science teachers
Methodology for teaching development of web-based augmented reality with integrated machine learning models
Ukraine higher education based on data-driven decision making (DDDM)
From cloud computing to quantum informatics: Advances in educational technology at CoSinE 2024
An IoT system based on open APIs and geolocation for human health data analysis
Modelling of AGM-style doxastic operations in three-valued setting
An IBR System to Quantify the Ocean's Carbon Dioxide Budget
Advances in Data Mining, Applications in Image Mining, Medicine and Biotechnology, Management and Environmental Control, and Telecommunications, 4th Industrial Conference on Data Mining, ICDM 2004, Leipzig, Germany, July 4-7, 2004, Revised Selected Papers
The Main Steps to Data Quality
Shape-Invariant Cluster Validity Indices
Feature Selection and Classification Model Construction on Type 2 Diabetic Patient's Data
Mining Images to Find General Forms of Biological Objects
An Early Warning System for Vehicle Related Quality Data
Mining Indirect Association Rules
Clustering of Web Sessions Using Levenstein Metric
Braving the Semantic Gap: Mapping Visual Concepts from Images and Videos
Knowledge Based Phylogenetic Classification Mining
Neuro-symbolic System for Business Internal Control
Improving the K-NN Classification with the Euclidean Distance Through Linear Data Transformations
Applying Case Based Reasoning Approach in Analyzing Organization Change Management Data
Mining of an Alarm Log to Improve the Discovery of Frequent Patterns
A Data Mining Approach for Call Admission Control and Resource Reservation in Wireless Mobile Networks
A Beta-Cooperative CBR System for Constructing a Business Management Model
Cost-Sensitive Design of Claim Fraud Screens
An Association Mining Method for Time Series and Its Application in the Stock Prices of TFT-LCD Industry
Using Colorimetric Concepts for the Evaluation of Goal Models
ALDB: Debugging Alloy Models of Behavioural Requirements
Specification of Software Requirements for Condition Monitoring of Automation Systems
Model-Driven Requirements for Humans-on-the-Loop Multi-UAV Missions
A Neural Network Based Approach to Domain Modelling Relationships and Patterns Recognition
10th IEEE International Model-Driven Requirements Engineering, MoDRE@RE 2020, Zurich, Switzerland, August 31, 2020
Is There a Need to Address Human Values in Domain Modelling?
Welcome from the Organizers
Self-Directed Creation and Editing of UML Class Diagrams on Mobile Devices for Visually Impaired People
Detecting Emergent Behavior in Scenario-Based Specifications using a Probabilistic Model
An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models
Toward Achieving the Core Goals of Digital Business Transformation: A Preliminary Study
Pose and Posture Estimation using Inertial Sensor Data
Design and Synthesis of Reversible Circuits using Hardware Description Languages
Physical Safety in Robotics
Behavior Driven Development for Tests and Verification
Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing
Specification of Parametric Monitors
Modeling Unknown Values in Test and Verification
Semantic Object Recognition Based on Qualitative Probabilistic Spatial Relations
MARTE/CCSL for Modeling Cyber-Physical Systems
Development of Consistent Formal Models
Intuitive Interaction with Robots - Technical Approaches and Challenges
In-circuit Error Detection with Software-based Error Correction - An Alternative to TMR
Constraint-based Handling of Component Networks
Analyzing and Simulating Time Descriptions from UML/MARTE CCSL
Model Checking and Model-Based Testing in the Railway Domain
Verification of Embedded Real-time Systems
Formal Verification of Robustness
Advances in Design Automation Techniques for Digital-Microfluidic Biochips
Dynamic Rebound Control and Human Robot Interaction of a Ball Playing Robot
Reconfigurable Hardware-Based Acceleration for Machine Learning and Signal Processing
An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems
Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Model-Based Testing Against Complex SysML Models
An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis
Praxis: A Rule-Based Expert System for MACSYMA
The Extensions of the Sisyphe Computer Algebra System: ulysse and athena
An Abstract Data Type Development of Graded Rings
Programming Paradigms For Symbolic Computation Systems - Analysis Of An Example
A Type System for Computer Algebra
A System Independent Graphing Package for Mathematical Functions
Combinatory Models and Symbolic Computation
An Approach to Class Reasoning in Symbolic Computation
SYMO2: Objects and Classes for Symbolic Computation Systems
Sigma IT - A Strongly-Typed Embeddable Computer Algebra Library
The design and specification of the ASSPEGIQUE database
Subtyping Inheritance in Languages for Symbolic Computation Systems
Context Induction: a Proof Principle for Behavioural Abstractions
Parametric queries, linear constraints and variable elimination
Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning
Design and Implementation of a Retargetable ALDES Compiler
Generative Geometric Modeling in a Functional Environment
Integrating Computer Algebra with Proof Planning
Extending RISC-CLP (Real) to Handle Symbolic Functions
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment
Abstract Specification Of Mathematical Structures And Methods
Compiling Residuation for a Multiparadigm Symbolic Programming Language
Implementing FS 0 in Isabelle: Adding Structure at the Metalevel
Proving the Correctness of Algebraic Implementations by the ISAR System
The Algebraic Constructor CAC: Computing in Construction-Defined Domains
Making Systems Communicate and Cooperate: The Central Control Approach
Will DELia Grow Into An Expert System?
Uniform Representation of Basic Algebraic Structures in Computer Algebra
Reconciling Symbolic and Numeric Computation in a Practical Setting
Analyzing the Dynamics of a Z Specification
Towards A Logic Language: An Object-Oriented Implementation Of The Connection Method
Problem-Oriented Applications of Automated Theorem Proving
Distributed Deduction by Clause-Diffusion: The Aquarius Prover
The design of SISYPHE: a system for doing symbolic and algebraic computations
The Weyl Computer Algebra Substrate
Efficient Type Inference and Coercion in Computer Algebra
Scratchpad's View of Algebra I: Basic Commutative Algebra
A Uniform Approach to Deduction and Automatic Implementation
An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series
A Reflective Language Based on Conditional Term Rewriting
Requirements for Standards in Knowledge Base Systems (Abstract)
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings
Parameterizing Object Specifications
Reasoning with Contexts
The Use of Proof Plans in Formal Methods
The Design of Cayley - a Language for Modern Algebra
Compact Delivery Support for REDUCE
REDUCE Meets CAMAL
A Functional and Logic Language with Polymorphic Types (Extended Abstract)
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings
Integer and Rational Arithmetic on MasPar
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings
An Assume Facility for CAS, with a Sample Implementation for Maple
Towards Lean Proof Checking
The computation of Gröbner bases on a shared memory multiprocessor
Graphical Object Oriented Executable Specification for an Automation Oriented Paradigm of Software Development
Parallel 3-Primes FFT Algorithm
Walking Faster
Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench
AC-Unification Race: The System Solving Approach And Its Implementation
The GANITH algebraic geometry toolkit
Animating a Non-executable Formal Specification with a Distributed Symbolic Language
Implementation Of The Symbolic Analytic Transformations Language FLAC
Polymorphic Type Checking with Subtypes in Prolog
Building graphic user interfaces for Computer Algebra Systems
WALDMEISTER: High Performance Equational Theorem Proving
A Unified-Algebra-Based Specification Language for Symbolic Computing
Data Representation and In-built Compilation in the Computer Algebra Program FELIX
The Design of the SACLIB/PACLIB Kernels
CoCoA: a User-Friendly System for Commutative Algebra
Building a Computer Algebra Environment by Composition of Collaborative Tools
Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM
Term Rewriting Systems: An h-Categorical Semantic
A Deductive Database for Mathematical Formulas
Software Architectures for Computer Algebra: A Case Study
CASA - A System for Computer Aided Constructive Algebraic Geometry
Sketching Concepts and Computational Model of TROLL light
GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics
On the Power of Subsumption and Context Checks
General Purpose Proof Plans
Improving the Multiprecision Euclidian Algorithm
Modeling Finite Fields with Mathematica - Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields
Suggestions For A Friendlier User Interface
LILK - Static Analysis of REDUCE Code
Mathematica: A System for Doing Mathematics by Computer? (Abstract)
Extending AlgBench with a Type System
Computer Algebra and the World Wide Web
Analogical Type Theory
Heuristical Criteria in Refutational Theorem Proving
Multi-Agent Cooperation - Concepts and Applications
Prototypes For The Automatic Translation Of Computer Algebra Languages
Design Issues for a Computer-aided Environment for Constructive Mathematics (Abstract)
Gauss: A Parameterized Domain of Computation System with Support for Signature Functions
Decision Procedures for Set/Hyperset Contexts
AlgBench: An Object-Oriented Symbolic Core System
Current Problems in Computer Algebra Systems Design
Putting Algebraic Components Together: A Dependent Type Approach
A theory for program and data type specification
Mas Modula-2 Algebra System
Pluggability Issues in the Multi Protocol
Disc Atinf : A General Framework for Implementing Calculi and Strategies
Recurrent Relations and Speed-up of Computations Using Computer Algebra Systems
Template-based Formula Editing in Kaava
A Simple General Purpose Technique for Interfacing Between Computer Algebra and Numerical Analysis Systems
On Coherence in Computer Algebra
Structures for Symbolic Mathematical Reasoning and Computation
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog
In-place Arithmetic for Polinominals over Z n
Algebraic Simplification of Multiple-Valued Functions
Completion modulo Associativity, Commutativity and Identity (AC1)
A Database for Number Fields
Document-Centered Presentation of Computing Software: Compound Documents Are Better Workspaces
The Implementation of A PC-Based List Processor for Symbolic Computation
Process Scheduling in DSC and the Large Sparse Linear Systems Challenge
IZIC: A Portable Language-Driven Tool for Mathematical Surfaces Visualization
A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor
Storage Allocation for the Karatsuba Integer Multipliation Algorithm
An Order-Sorted Approach to Algebraic Computation
A Model of Interaction for Graphical Systems
An Intelligent Interface to Numerical Routines
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings
Equality Elimination for the Tableau Method
Design and development of ENprover, an automated theorem proving system based on EN-strategy
On the Uniform Representation of Mathematical Data Structures
Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting
Interfacing REDUCE to Java
Conditional Categories and Domains
An Enhanced Sequent Calculus for Reasoning in a Given Domain
Transductive local fisher discriminant analysis for gene expression profile-based cancer classification
2D/3D Registration with a Statistical Deformation Model Prior Using Deep Learning
A sensor data collection environment for clinical trials investigating health effects of airborne pollution
A platform for developing privacy preserving diagnosis mobile applications
An Explainable AI-Based Decision Support Tool to Predict Preterm Birth
Findability in health information websites
Diagnosis algorithm of sleep apnea syndrome
Deep recurrent neural networks for predicting intraoperative and postoperative outcomes and trends
GlySim: Modeling and Simulating Glycemic Response for Behavioral Lifestyle Interventions
Imbalanced data classifier by using ensemble fuzzy c-means clustering
A semi-automated technique for internal jugular vein segmentation in ultrasound images using active contours
MS-labeller: Bioinformatics support for quality assessment on high resolution mass spectrometry sample
Localization of Ocular Vessels with Context Sensitive Semantic Segmentation
Predictability of unplanned extubations
BrainTalker: Low-Resource Brain-to-Speech Synthesis with Transfer Learning using Wav2Vec 2.0
Signal integrity evaluation for fetal magnetocardiography
Preparation of cross-linked biodegradable copolymers based polycarbanion of 3-arm PL(D)LA with brominated pluronic and stereocomplex mediated gelation behavior
A Deep Learning Assisted Method for Measuring Uncertainty in Activity Recognition with Wearable Sensors
Algorithm for calibration of the electromagnetic tracking system
PSST... privacy, safety, security, and trust in health information websites
CASSIA: An assistant for identifying clinically and statistically significant decreases in antimicrobial susceptibility
Inverse ECG modeling with spatiotemporal regularization for the characterization of myocardial infarctions
Disruption of gene co-expression network along the progression of Alzheimer's disease
Mixtures of independent component analyzers for microarousal detection
A Generic Algorithm for Sleep-Wake Cycle Detection using Unlabeled Actigraphy Data
Axonal Conduction Velocity Impacts Neuronal Network Oscillations
A Temporal-oriented Broadcast ResNet for COVID-19 Detection
Cardiac Image Dynamic Visualization and Enhancement for Palpitation Collaborative Diagnosis Using Internet Synchronization
Detection of blue-whitish veil in melanoma using color descriptors
Development of computer vision algorithm towards assessment of suturing skill
FCLAB: An EEGLAB module for performing functional connectivity analysis on single-subject EEG data
Predicting demand for hospital capacity planning
Health effects of playing online game: Vocational and technical students in Thailand
Toward patient-tailored summarization of lung cancer literature
Predicting the meal macronutrient composition from continuous glucose monitors
Intelligent mortality reporting with FHIR
Detection of artifacts in oscillometric pulsations signals
A Metric Learning Approach for Personalized Meal Macronutrient Estimation from Postprandial Glucose Response Signals
Perfusion study on Modic changes of spine based on DCE-MRI
A novel approach to remote access picture archiving and communication system on mobile devices over wireless networks
A silicon nanowire-based bio-sensing system with digitized outputs for acute myocardial infraction diagnosis
Spectral domain optical coherence tomography for imaging human skin in vivo
Comparison and combination of electrocardiogram, electromyogram and accelerometry for tonic-clonic seizure detection in children
Effective stimulation parameters affecting the stimulating threshold for epi-retinal prostheses
A de-identification tool for users in medical operations and public health
A frequency domain algorithm to identify recurrent sedentary behaviors from activity time-series data