yusuke1997/dblp-id-title huggingface dataset:
A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms
Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping
Constructing Generalized Bent Functions from Trace Forms of Galois Rings
Laplace Equation Inside a Cylinder: Computational Analysis and Asymptotic Behavior of the Solution
Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials
A Symbolic Approach to Compute a Null-Space Basis in the Projection Method
Floating-Point Gröbner Basis Computation with Ill-conditionedness Estimation
The Vanishing Ideal of a Finite Set of Points with Multiplicity Structures
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations
The Four Colour Theorem: Engineering of a Formal Proof
A Sequence of Nearest Polynomials with Given Factors
A Reduction Attack on Algebraic Surface Public-Key Cryptosystems
Digitization Workflow in the Czech Digital Mathematics Library
Computing the Minkowski Value of the Exponential Function over a Complex Disk
Stability of GPBiCG_AR Method Based on Minimization of Associate Residual
An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order Systems
The Maximality of the Dixon Matrix on Corner-Cut Monomial Supports
Computer Search for Large Sets of Idempotent Quasigroups
Evaluation of a Java Computer Algebra System
On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators
Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case
The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings
Computing the Greatest Common Divisor of Polynomials Using the Comrade Matrix
Symbolic Solution to Magnetohydrodynamic Hiemenz Flow in Porous Media
Real Root Isolation of Polynomial Equations Based on Hybrid Computation
Real Root Isolation of Regular Chains
An Interpolation Method That Minimizes an Energy Integral of Fractional Order
The Nearest Real Polynomial with a Real Multiple Zero in a Given Real Interval
Local Similarity Solutions for Laminar Boundary Layer Flow along a Moving Cylinder in a Parallel Stream
POLY: A New Polynomial Data Structure for Maple 17
A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations
Regular Decompositions
The Diagonal Reduction Algorithm Using Fast Givens
Overview of the Mathemagix Type System
Efficient Algorithms for Computing Nöther Normalization
Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
Some Mathematical Problems in Cryptanalysis
Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves
Simplification of the Lattice Based Attack of Boneh and Durfee for RSA Cryptoanalysis
A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals
On the Simplest Quartic Fields and Related Thue Equations
Computing Popov Forms of Matrices Over PBW Extensions
High-Precision Eigenvalue Bound for the Laplacian with Singularities
Resultant-Free Computation of Indefinite Hyperexponential Integrals
Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis
Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method?
On the Implementation of Boolean Gröbner Bases
Comprehensive Gröbner Bases in a Java Computer Algebra System
Symbolic Computation and Complexity Theory Transcript of My Talk
Signature-Based Method of Deciding Program Termination
Properties of Ascending Chains for Partial Difference Polynomial Systems
Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media
Factorization of Motions
A New Property of Hamming Graphs and Mesh of d-ary Trees
Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, Japan, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, China, October 2012, Contributed Papers and Invited Talks
A Productive Review on Sentimental Analysis for High Classification Rates
Performance Evaluation of RF and SVM for Sugarcane Classification Using Sentinel-2 NDVI Time-Series
Developing a Framework for Acquisition and Analysis of Speeches
Novel Approach for Resolution Enhancement of Satellite Images Using Wavelet Techniques
Extraction of Relation Between Attributes and Class in Breast Cancer Data Using Rule Mining Techniques
AEDBSCAN - Adaptive Epsilon Density-Based Spatial Clustering of Applications with Noise
Rough Set Classifications and Performance Analysis in Medical Health Care
Multilevel Neuron Model Construction Related to Structural Brain Changes Using Hypergraph
Design of Smart Antenna Arrays for WiMAX Application Using LMS Algorithm Under Fading Channels
A Supervised Approach to Aspect Term Extraction Using Minimal Robust Features for Sentiment Analysis
IoT-Based Modeling of Electronic Healthcare System Through Connected Environment
A Technique to Classify Sugarcane Crop from Sentinel-2 Satellite Imagery Using U-Net Architecture
A Novel Approach to Optimize Deep Neural Network Architectures
Power Quality Analysis of a Distributed Generation System Using Unified Power Quality Conditioner
Nucleus Segmentation from Microscopic Bone Marrow Image
Performance Comparison of Variants of Hybrid FLANN-DE for Intelligent Nonlinear Dynamic System Identification
An Efficient Emergency Management System Using NSGA-II Optimization Technique
Exploration of Cognition Impact: An Experiment with Cover Song Retrieval Through Indexing
A Novel Authentication Scheme for Wireless Body Area Networks with Anonymity
Crack Detection on Inner Tunnel Surface Using Image Processing
Fusion of Artificial Intelligence for Multidisciplinary Optimization: Skidding Track - Case Study
Language Identification - A Supportive Tool for Multilingual ASR in Indian Perspective
SEHS: Solar Energy Harvesting System for IoT Edge Node Devices
Restraining Voltage Fluctuations in Distribution System with Jaya Algorithm-Optimized Electric Spring
Progress in Advanced Computing and Intelligent Engineering - Proceedings of ICACIE 2019, Volume 1, Bhubaneswar, India, December 21-23, 2019
A Realistic Sensing Model for Event Area Estimation in Wireless Sensor Networks
Framework to Detect NPK Deficiency in Maize Plants Using CNN
SVM and Ensemble-SVM in EEG-Based Person Identification
Gait-Based Person Identification, Gender Classification, and Age Estimation: A Review
A QoS Aware Binary Salp Swarm Algorithm for Effective Task Scheduling in Cloud Computing
A Novel Authentication Scheme for VANET with Anonymity
Identifying Challenges in the Adoption of Industry 4.0 in the Indian Construction Industry
An Experimental Setup to Study the Effects of Switcing Transients for Low Voltage Underground Cable
Progress in Advanced Computing and Intelligent Engineering - Proceedings of ICACIE 2019, Volume 2
An Effective Hybrid Approach for Solving Prioritized Cube Selection Problem Using Particle Swarm Optimization and Tabu Search
Effective Identification and Prediction of Breast Cancer Gene Using Volterra Based LMS/F Adaptive Filter
Dynamic Resource Aware Scheduling Schemes for IEEE 802.16 Broadband Wireless Networks
Performance Analysis of Recursive Rule Extraction Algorithms for Disease Prediction
Prediction of Depression Using EEG: A Comparative Study
Ensemble Methods to Predict the Locality Scope of Indian and Hungarian Students for the Real Time: Preliminary Results
Pre-emptive Spectrum Access in Cognitive Radio for Better QoS
Prediction of Stroke Risk Factors for Better Pre-emptive Healthcare: A Public-Survey-Based Approach
Poly Scale Space Technique for Feature Extraction in Lip Reading: A New Strategy
An IoT-Based Smart Parking System Using Thingspeak
Performance Evaluation of Composite Fading Channels Using q-Weibull Distribution
IoT Security, Challenges, and Solutions: A Review
Fuzzy Cognitive Map-Based Genetic Algorithm for Community Detection
Techniques for Preserving Privacy in Data Mining for Cloud Storage: A Survey
G.V Black Classification of Dental Caries Using CNN
Detection and Prevention from DDoS Attack Using Software-Defined Security
Stacked Denoising Autoencoder: A Learning-Based Algorithm for the Reconstruction of Handwritten Digits
Efficient Watermarking in Color Video Using DWT-DFT and SVD Technique
SVM-Based Drivers Drowsiness Detection Using Machine Learning and Image Processing Techniques
Architecture of Proposed Secured Crypto-Hybrid Algorithm (SCHA) for Security and Privacy Issues in Data Mining
A Single Document Assamese Text Summarization Using a Combination of Statistical Features and Assamese WordNet
ISS: Intelligent Security System Using Facial Recognition
A Non-stationary Analysis of Erlang Loss Model
Human Action Recognition Using STIP Evaluation Techniques
A High-Precision Pixel Mapping Method for Image-Sensitive Areas Based on SVR
A Novel Approach to Detect Emergency Using Machine Learning
Adaptive Applications of Maximum Entropy Principle
Generic Framework for Privacy Preservation in Cyber-Physical Systems
Classification of Nucleotides Using Memetic Algorithms and Computational Methods
Deep Learning for Cover Song Apperception
Evaluation of Digital Forensic Tools in MongoDB Database Forensics
Scaled Document Clustering and Word Cloud-Based Summarization on Hindi Corpus
Effectiveness of Swarm-Based Metaheuristic Algorithm in Data Classification Using Pi-Sigma Higher Order Neural Network
A Novel Approach Based on Associative Rule Mining Technique for Multi-label Classification (ARM-MLC)
Effect of Distributed Generator on Over Current Relay Behaviour
Benchmarking Performance of Erasure Codes for Linux Filesystem EXT4, XFS and BTRFS
Machine Learning Methods for Vehicle Positioning in Vehicular Ad-Hoc Networks
Vehicle Number Plate Detection: An Edge Image Based Approach
Load Balancing Using Firefly Approach
An Unsupervised Technique to Generate Summaries from Opinionated Review Documents
Automatic Short Answer Grading Using Corpus-Based Semantic Similarity Measurements
Motif Discovery and Anomaly Detection in an ECG Using Matrix Profile
A Hybrid: Biogeography-Based Optimization-Differential Evolution Algorithm Based Transient Stability Analysis
A Survey on Handover Algorithms in Heterogeneous Wireless Network
Load Cell and FSR-Based Hand-Assistive Device
Evaluation of the Applicability and Advantages of Application of Artificial Neural Network Based Scanning System for Grid Networks
Impact of Prerequisite Subjects on Academic Performance Using Association Rule Mining
Automatic Detection and Classification of Tomato Pests Using Support Vector Machine Based on HOG and LBP Feature Extraction Technique
Recent Challenges in Recommender Systems: A Survey
BOSCA - A Hybrid Butterfly Optimization Algorithm Modified with Sine Cosine Algorithm
Preserving Privacy of Data in Distributed Systems Using Homomorphic Encryption
Correlation of Visual Perceptions and Extraction of Visual Articulators for Kannada Lip Reading
A Self-Acting Mechanism to Engender Highlights of a Tennis Game
Managing Model Quality in UML-Based Software Development
A Modular Tool for Automated Coverage in Software Testing
12th International Workshop on Software Technology and Engineering Practice (STEP 2004), 17-19 September 2004, Chicago, Illinois, USA
Organising Evidence to Support Software Engineering Practice
An Overview of Software Cybernetics
Evolving Legacy Systems through a Multi-Objective Decision Process
Metamorphic Testing and Beyond
Improving Design Pattern Quality Using Aspect Orientation
Empirical Methodologies in Software Engineering
Software Process Improvement, Quality Assurance and Measurement
The Application of Content Analysis to Programmer Mailing Lists as a Requirements Method for a Software Visualisation Tool
TETE: A Non-Invasive Unit Testing Framework for Source Transformation
How Crosscutting Concerns Evolve in JHotDraw
Towards a Successful Software Metrics Programme
Characterizing Programmers' Information-Seeking during Software Evolution
Report on the 1st International Workshop on Design Pattern Theory and Practice
Second International Workshop on System Integration and Interoperability
Web-Service-Oriented Customer Relationship Management System Evolution
Software Evolution in an Interdisciplinary Environment
A Framework for Business Model Driven Development
Interoperability of Data and Knowledge in Distributed Health Care Systems
A Framework for the Vamp;V Capability Assessment Focused on the Safety-Criticality
Supporting Migration to Services using Software Architecture Reconstruction
Capturing Evidence from Wireless Internet Services Development
Service-Oriented Migration and Reuse Technique (SMART)
Quality and Constraint Driven Workflow Composition
Ontology-Based Information Integration in Health Care: A Focus on Palliative Care
Open Challenges in Ubiquitous and Net-Centric Computing Middleware
Semantic Web Data Description and Discovery
Workshop: Defect Detection in Distributed Software Development
Modeling Language Interpretation for Validation
Bloom's Taxonomy Levels for Three Software Engineer Profiles
The Case Against Cross-Over Designs in Software Engineering
Improvement of Test Data by Measuring SQL Statement Coverage
Using the Information: Incorporating Positive Feedback Information into the Testing Process
Reusing Code for Modernization of Legacy Systems
On Analysis of Design Component Contracts: A Case Study
Evaluating UML Tool Support for Effective Coordination and Communication across Geographically Disparate Sites
Practical Experiences with Statistical Usage Testing
13th International Workshop on Software Technology and Engineering Practice (STEP 2005), 24-25 September 2005, Budapest, Hungary
A Policy-Based Decision Making Approach for Orchestrating Autonomic Elements
The Nature of Evidence in Empirical Software Engineering
Workshop on Empirical Studies in Reverse Engineering
Using Grid Technologies for Web-Enabling Legacy Systems
Design Issues for Software Analysis and Maintenance Tools
Transforming Legacy Web Applications to the MVC Architecture
Enabling Privacy in Cross-Organisational Information Mediation - An Application in Health Care
Tool Support for Continuous Quality Assessment
Using MAP for Recovering the Architecture of Web Systems of a Spanish Insurance Company
Do arbitrary function approximators make sense as software prediction models?
Widening the Scope of Evidence Gathering in Software Engineering
Adoption-Centric Software Maintenance Process Improvement via Information Integration
Accurate and Efficient HTML Differencing
Report from the 4th International Workshop on Net-Centric Computing (NCC 2005)
From a Single Discipline Risk Management Approach to an Interdisciplinary One: Adaptation of FMEA to Software Needs
Using Metamodels in Service Interoperability
Towards an Ontology of Factors Influencing Reverse Engineering
The role of content analysis in the development of theory and understanding of Software Engineering
Incorporating Quality Requirements in Software Migration Process
A Common Product Life Cycle in Global Software Development
Model-Based Approaches for Validating Business Critical Systems
Software Architecture for Evolving Environment
11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 19-21 September 2003, Amsterdam, The Netherlands
How to Apply the Bloom Taxonomy to Software Engineering
Workshop on Evolution of Software Systems in a Business Context (ESSBC)
Elemental Design Patterns Recognition In Java
Effects of Virtual Development on Product Quality: Exploring Defect Causes
Stub Libraries for Software Migration and Development
Unraveling the Complexities of Interdisciplinary Software Engineering
Face Recognition Under Partial Occlusion: A Detection and Exclusion of Occluded Face Regions Approach
A fully automatic cardiac segmentation method using region growing technique
Segmentation By Tangent Filter
Pashto Sentiment Analysis Using Lexical Features
Deep Convolutional Neural Network with 2D Spectral Energy Maps for Fault Diagnosis of Gearboxes Under Variable Speed
Determining Location and Detecting Changes Using a Single Training Video
Deep Learning for Liver Disease Prediction
Curriculum Learning for Depth Estimation with Deep Convolutional Neural Networks
Color Vision Deficiency and Live Recoloring
Fast Soft Shadow with Screen Space Ambient Occlusion for Real Time Rendering
Pattern Recognition and Artificial Intelligence - 5th Mediterranean Conference, MedPRAI 2021, Istanbul, Turkey, December 17-18, 2021, Proceedings
Offline Writer Identification Based on CLBP and VLBP
ASCII Embedding: An Efficient Deep Learning Method for Web Attacks Detection
An Automated Approach for Analysing Students Feedback Using Sentiment Analysis Techniques
Towards a Flexible Mediator Architecture Using Fuzzy Logic for Integration of Incomplete and Uncertain Information
End-to-End Spectral-Temporal Fusion Using Convolutional Neural Network
Enhancing Vehicle Networks Performance by Cache-Aided Non-Orthogonal Multiple Access (CA-NOMA)
Opinion Target Extraction from Arabic News Articles Using shallow Features
Layer-Wise Relevance Propagation for Smart-Grid Stability Prediction
Feature Extraction for Cursive Language Document Images: Using Discrete Cosine Transform, Discrete Wavelet Transform and Gabor Filter
A Novel Optimized Method for Feature Selection Using Non-linear Kernel-Free Twin Quadratic Surface Support Vector Machine
EEG Based Major Depressive Disorder (MDD) Detection Using Machine Learning
Enhancing Social Network Communication through Dynamic Clustering Balance
Using Genetic Algorithm to Plan Individuals Temporal and nonTemporal Daily Activities
Recognition Algorithm Models Based on the Selection of Two-Dimensional Preference Threshold Functions
Deep Learning Architecture for Off-Line Recognition of Handwritten Math Symbols
Aggregation as a Simple Seed for Collective Decision
APS: A Large-Scale Multi-modal Indoor Camera Positioning System
A Comparative Study of ANN Tuning Methods for Multiclass Daily Activity and Fall Recognition
Room-Level Indoor Localization with Artificial Neural Networks
Efficient Service Selection in Multimedia Documents Adaptation Processes
Performance Analysis of Hard Decision and Soft Decision Algorithms Over In Vivo Radio Channel
A Novel Heuristic Based Simulated Annealing for the Capacitated Location Routing Problem
A Semi-automatic Document Screening System for Computer Science Systematic Reviews
Pre-trained Backbones Effect on Nuclei Segmentation Performance
Hidden Markov Random Field model and BFGS algorithm for Brain Image Segmentation
Handwriting Based Personality Traits Identification Using Adaptive Boosting and Textural Features
Real-Time Detection of Traffic Anomalies Near Roundabouts
A Robust Approach for Mammographic Image Classification Using NSVC Algorithm: Extended Abstract
Urdu Caption Text Detection using Textural Features
A Hybrid Stochastic HS-GRASP Algorithm for the VRP with Time Windows
Application of pixel selection in pixel-based classification for automatic white blood cell segmentation
Human Action Recognition Using Stereo Trajectories
3D Building Synthesis Based on Images and Affine Invariant Salient Features
Bayesian Convolutional Neural Network: Robustly Quantify Uncertainty for Misclassifications Detection
Offline Signature Verification Using Feature Learning and One-Class Classification
An Effective Framework for Secure and Reliable Biometric Systems Based on Chaotic Maps
A Comparative Study of Metaheuristics for Liver Disorders Prediction
Mining Interesting Association Rules with a Modified Genetic Algorithm
Personality Traits Identification Through Handwriting Analysis
A Two-Stage Framework for Diverse Traffic Light Recognition Based on Individual Signal Detection
Music Generation Using an Interactive Evolutionary Algorithm
Pattern Recognition and Artificial Intelligence - 4th Mediterranean Conference, MedPRAI 2020, Hammamet, Tunisia, December 20-22, 2020, Proceedings
Proceedings of the Mediterranean Conference on Pattern Recognition and Artificial Intelligence, MedPRAI 2016, Tebessa, Algeria, November 22-23, 2016
Proceedings of the 2nd Mediterranean Conference on Pattern Recognition and Artificial Intelligence, MedPRAI 2018, Rabat, Morocco, March 27-28, 2018
An Intelligent Context Aware Recommender System for Real-Estate
The Thermal Modeling for Underground Cable Based on ANN Prediction
Polarimetric SAR Images Classification and Texture Features
Keyword Spotting in Modern Handwritten Documents Using oBIFs
Detection of Unethical Intelligent Agents in Ethical Distributed Constraint Satisfaction Problems
How to Optimize the Utilization of Image Quality Metrics in Computer Vision?
Using Keytyping as a Biomarker for Cognitive Decline Diagnostics: The Convolutional Neural Network Based Approach
Deep Transfer Learning Techniques for Automated Classification of Histological Childhood Medulloblastoma Images
3D face recognition in the presence of facial expressions based on empirical mode decomposition
Do we have to trust the deep learning methods for palmprints identification?
Haralick Feature Guided Network for the Improvement of Generalization in Landcover Classification
Islamophobic Hate Speech Detection from Electronic Media Using Deep Learning
Integration of Fuzzy Clustering into the Case Base Reasoning for the Prediction of Response to Immunotherapy Treatment
Pattern Recognition and Artificial Intelligence - Third Mediterranean Conference, MedPRAI 2019, Istanbul, Turkey, December 22-23, 2019, Proceedings
Contribution to Modeling Smart Grid Problem with the Constraint Satisfaction Problem Formalism
A Novel Social Networks Approach Based on QoS for Web Services Selection
A Robust Approach to the Ontology Matching Problem
Exploring Model Transfer Potential for Airborne LiDAR Point Cloud Classification
A New Database for Writer Demographics Attributes Detection Based on Off-Line Persian and English Handwriting
Fusing Local and Global Features for Person Re-identification Using Multi-stream Deep Neural Networks
Human Action Recognition Using Attention Mechanism and Gaze Information
A Simple Authentication Method with Multilayer Feedforward Neural Network Using Keystroke Dynamics
Analyzing Socio-economic and Geographical factors for Crime Incidents using Heat maps and Hotspots
Learning Features for Writer Identification from Handwriting on Papyri
Improving Kernel soft Subspace Clustering Algorithms using a Particle Swarm Optimization
A Study of Graph Based Stemmer in Arabic Extrinsic Plagiarism Detection
From a Textual Narrative to a Visual Story
Text Mining-Based Association Rule Mining for Incident Analysis: A Case Study of a Steel Plant in India
Plant Disease Recognition Using Optimized Deep Convolutional Neural Networks
Possibilistic Classifier Combination for Person Re-identification
A new approach to improve the success and solving the UGVs Cooperation for SLAM Problem, using a SVSF Filter
A Conditional GAN Based Approach for Distorted Camera Captured Documents Recovery
Extraction of road networks from the VHSR satellite images by the algorithm F
Analysis of Histogram of Oriented Gradients on Gait Recognition
Ensemble Classification Using Entropy-Based Features for MRI Tissue Segmentation
Impact of Life-style on Health and Physical Capability: A Data Mining Approach
Feature Relevance Analysis for Handwriting Based Identification of Parkinson's Disease
Colour Image Encryption Based on Fisher-Yates Algorithm and Chaotic Maps
DeepRank: Adapting Neural Tensor Networks for Ranking the Recommendations
A New Medical Image Encryption Algorithm for IoMT Applications
Implementation of Open-Source Image Analysis Techniques in Commercial Quality Control Systems
Fine-Tuning a Pre-trained CAE for Deep One Class Anomaly Detection in Video Footage
Particle Filter for Trajectories of Movers from Laser Scanned Dataset
RGB-D & SVM action recognition for security improvement
Core Community Detection Algorithm based on Edge Removal Learning
Robust SLAM System by Incorporating UWB Positioning and Landmark Localization