yusuke1997/dblp-id-title huggingface dataset:
Design of FIR Filter Based on Adaptive Gridding Partition Ant Colony Optimization
Semi-supervised Clustering Based on K-Nearest Neighbors
Helical Intake Port Design and Experimental Analysis of Horizontal Diesel Engine
Research on the Applicability of Solar Energy-Ground Source Heat Pump in Different Regions of China
Fundamental Study on Fiber Bragg Grating Network for High Speed Collisions Detection
A Multi-phase, Multi-component and Division Model for CO2 Flooding Including Diffusion Consideration in Low Permeability Reservoir
The Analysis and Simulation of Closed-loop Paper Tension Control System Based on MATLAB in the Web Offset
The Data Processing System of CNC Wood-Working Milling Machine
Geometric Calibration of the Photogrammetric Airborne Sensor ADS40 Using a Test Field
Optimization of Longitudinal Beam for Improvement of Crashworthiness in Frontal and Offset Impacts
Study on Realization of Dynamic Interaction with CAD Complex Model in Virtual Reality System
Research on Simulation Calculation of Kinematic Accuracy Reliability for Folding and Deploying Mechanism Considering Gaps of Kinematic Pair
Research on Localization of Apples Based on Binocular Stereo Vision Marked by Cancroids Matching
Self-Adaptability Research of Billet Character Segmentation in the Complex Scene
Time-Verying Mesh Stiffness of Gear Pair Based on Loaded Tooth Contact Analysis
Study on the Processing Methods of Aluminum Foil Measurement Signals for Ultrasonic Cleaning Parameters
A Fast Ellipse Detection Method in Planar Target Image
Spectrogram Analyzing in Vocal Music Teaching
The Simulation Research of the High Power Factor Charger in Vehicle
Robust Control for a Class of Distributed Parameter Switched Systems with Time-Delay
Application of Numerical Simulation Technology to Prediction of Aerodynamic Dipole Acoustics Source on Automobile Surface
Characteristics of Dewatered Sewage Sludge and Green Waste Co-composting
Nonlinear Adaptive Control for Low Earth Orbit Formation Flying
Research on the Effect of Rear Seat Structure on Child Occupant Safety
Experimental Study on a Thickness-Adjustable Absorber for Reverberation Controlling
Absolute Calibration of BOC Navigation Signal Transmission Channel
Research on Spindle Bearings State Recognition of CNC Milling Machine Based on Noise Monitoring
Forming Numerical Simulation of Proton Exchange Membrane Fuel Cell Metallic Bipolar Plates
An Improved Quantum-behaved Particle Swarm Algorithm and Its Application in School Bus Problem
An Efficient Flash-Based Remote Sense Image Storage Approach for Fast Access Geographic Information System
Improvement and AppLication of MKSVM
Concentration Distribution of PAHs in the Filter and Foam from the Air
Effects of Posterior Cruciate Ligament Deficient on Biomechanics of Knee's Principal Ligaments at Different Flexion Angles
Analysis of Injection Molding of Thin-Walled Parts Based on Moldflow
SMA-13 Target Mix Design
The Application of BP Neural Network in the Fault Diagnosis of Rotating Machinery
Electroosmosis Performance Analysis of Microchip Electrophoresis Fabricated by the Ultra-precision CNC Milling
Electronic Court Rule Lines
Two-Step NonLinear Optimal Control Approach for Coal Mine Rescue Robot Navigation
Monitoring of Summer High Temperature Disaster of Rice by Using MODIS Data
Aerodynamic Drag Reduction Design of Van Body Truck by Numerical Simulation Method
A Middleware Architecture for Sensor Networks Applied to Industry Solutions of Internet of Things
Data Acquisition and Status Mornitoring on Life Prediction Research: Based on the Crane's Monitoring and Life Perdition Technology
Preparation and Properties of Novel Sulfonated Poly (phenylene arylene) (SPA) Membranes for Fuel Cell Applications
Research on Active Synchronous Control System of Hydraulic Press and Its Reliability Analysis
A 5-80MHz CMOS Gm-C Low-Pass Filter with On-Chip Automatic Tuning
Tool Wear Investigation Using SEM 3D Reconstruction Technique
Third International Conference on Digital Manufacturing & Automation, ICDMA 2012, Guilin, China, July 31 - Aug. 2, 2012
Research on Small Unmanned Four-rotor Control Based on AIC
Optimization of Image Mosaic Algorithm for Large Workpiece Based on Multi-scale and Multi-resolution Search Strategy
Long-term Capacity Planning with Multi-process Routing for Mould Enterprise
A Methodology for Extraction Building Facades from VLS
Research and Design of Network Ordering Tickets Mobile Payment Protocol
Particle-Stabilized High Internal Phase Emulsions as Templates for Porous Nanocomposite Materials
Research and Implementation of Simulation Interactive Technology Based on Parameter File with Variable Number of Parameters
Health Risk Assessment of Heavy Metals in Arable Soils
Insulating Oil Level Monitoring System for Transformer Based on Liquid Level Sensor
Integrate the Hungarian Method and Genetic Algorithm to Solve the Shortest Distance Problem
Principle and Analysis for the Novel Radial Translational Meshing Gear Motor
A Fully Integrated Single Photon Avalanche Diode Detector in 130 nm CMOS Technology
Textile Embedded Sensors Matrix for Pressure Sensing and Monitoring Applications for the Pressure Ulcer Prevention
Graph Embedding for Offline Handwritten Signature Verification
Surface Normals Based Landmarking for 3D Face Recognition Using Photometric Stereo Captures
Finger Vein Image Compression with Uniform Background
Fingerprint classification based on a Q-Gaussian multiclass support vector machine
Image Denoise FPGA Implementation Using a Moving Average Filter with Contour Detection
A Real-Time QRS Complex Detector Based on Discrete Wavelet Transform and Adaptive Threshold as Standalone Application on ARM Microcontrollers
Cross-database Micro-Expression Recognition with Deep Convolutional Networks
Identification of User Behavioral Biometrics for Authentication Using Keystroke Dynamics and Machine Learning
Active contour model combining local and global information dynamically with application to segment brain MR images
Hybrid Brain Computer Interface for Movement Control of Upper Limb Prostheses
A Smart Wireless System for Modeling Visual Searching Behavior and Assessing Reaction Time in Sports and Rehabilitation Activities
Applications of Artificial Neural Networks in Process Control Applications: A Review
Subjective Versus Objective Face Image Quality Evaluation For Face Recognition
Scattering Behaviour Analysis for UWB Antenna in the Vicinity of Heterogeneous Breast Model
Electroencephalogram Based Biometrics: A Fractional Fourier Transform Approach
Wide Machine Learning Algorithms Evaluation Applied to ECG Authentication and Gender Recognition
Ear verification based on a novel local feature extraction
Iris Recognition Using Visible Images Based on the Fusion of Daugman's Approach and Hough Transform
Sleep Quality Analysis with Cardiopulmonary Coupling
Distance Measurement System for Medical Applications Based on the NanEye Stereo Camera
Proceedings of the 2018 2nd International Conference on Biometric Engineering and Applications, ICBEA 2018, Amsterdam, The Netherlands, May 16-18, 2018
Learning of Brain Connectivity Features for EEG-based Person Identification
On-Chip Digital Temperature Sensor for CMOS Image Sensor
2018 International Conference on Biomedical Engineering and Applications, ICBEA 2018, Funchal, Portugal, July 9-12, 2018
Tamper resistance evaluation of PUF implementation against machine learning attack
The Effects of JPEG2000 on Ear Recognition System
Face template protection via random permutation maxout transform
Design and Simulation of a CMOS Slew-Rate Enhanced OTA to Drive Heavy Capacitive Loads
Prototype-based Classifier for Automatic Diagnosis of Depressive Mood
Learning LogDet Divergence for Ear Recognition
Score Fusion Strategies in Single-Iris Dual-Probe Recognition Systems
Proceedings of the 3rd International Conference on Biometric Engineering and Applications, ICBEA 2019, Stockholm, Sweden, May 29-31, 2019
An improved artificial bee colony algorithm for 3D protein structure prediction
Iris Template Protection using Discrete Logarithm
Automatic Calibration of the Deceived Non Local Means Filter for Improving the Segmentation of Cells in Fluorescence Based Microscopy
Face recognition using multiresolution wavelet combining discrete cosine transform and Walsh transform
SmartHandle: A Novel Behavioral Biometric-based Authentication Scheme for Smart Lock Systems
Morph Deterction from Single Face Image: a Multi-Algorithm Fusion Approach
Fingerprint Authentication Using LT Codes
PCA filter based covariance descriptor for 2.5D face recognition
Configurable N-fold Hardware Architecture for Convolutional Neural Networks
Effect of propagation signal and path on verification performance using intra-body propagation signals
Proceedings of the 2017 International Conference on Biometrics Engineering and Application, ICBEA 2017, Hong Kong, Hong Kong, April 21-23, 2017
Studying WiFi and Accelerometer Data Based Authentication Method on Mobile Phones
Detecting Liars in Chats using Keystroke Dynamics
Empirical Evaluation of Texture-Based Print and Contact Lens Iris Presentation Attack Detection Methods
Cancellable Fingerprint Template Generation Using Rectangle-Based Adjoining Minutiae Pairs
Face Liveness Detection by rPPG Features and Contextual Patch-Based CNN
Analysis of Factors on BVP Signal Extraction Based on Imaging Principle
Extracting Information from Electronic Medical Records to Identify Obesity Status of a Patient Based on Comorbidities and Bodyweight Measures
Arm Muscular Effort Estimation from Images Using Computer Vision and Machine Learning
Ubiquitous and Ambient Assisted Living eHealth Platforms for the Republic of Panama: Two Cases of Study
Web Application for Doctor-Patient Communication in the Treatment of Mental Disorders
Real-Time Decision Support Using Data Mining to Predict Blood Pressure Critical Events in Intensive Medicine Patients
NI-CHIC: A Model for Academic Engagement with Industry
Simulation Results of a Model to Provide Consistent Functionality and Performance in a Healthy Smart City
Arousal Level Classification in the Ageing Adult by Measuring Electrodermal Skin Conductivity
Mass Segmentation in Digital Mammograms
Processing EEG Signals Towards the Construction of a User Experience Assessment Method
ReApp - A Mobile App for the Rehabilitation of Ankle Sprains
Daily Activity Monitoring for Prevention of Pressure Ulcers in Long-Term Wheelchair Users
Fully-Wireless Sensor Insole as Non-invasive Tool for Collecting Gait Data and Analyzing Fall Risk
A Mobile Cloud Shared Workspace to Support Homecare for Respiratory Diseases in Chile
Vision Based Extraction of Dynamic Gait Features Focused on Feet Movement Using RGB Camera
Comparison of a Vision-Based System and a Wearable Inertial-Based System for a Quantitative Analysis and Calculation of Spatio-Temporal Parameters
Improving Social Communication Disorders Through Human-Avatar Interaction
Reduction of Average Lead Time in Outpatient Service of Obstetrics Through Six Sigma Methodology
Reflections from a Long-term Deployment Study to Design Novel Interactive Surfaces for Children with Autism
Real-Time Recognition of Arm Motion Using Artificial Neural Network Multi-perceptron with Arduino One MicroController and EKG/EMG Shield Sensor
EmoBall: A Study on a Tangible Interface to Self-report Emotional Information Considering Digital Competences
Stress Modelling Using Transfer Learning in Presence of Scarce Data
A Sensorized and Health Aspect-Based Framework to Improve the Continuous Monitoring on Diseases Using Smartphones and Smart Devices
A Real-Time Intelligent System for Tracking Patient Condition
Low Complexity Neural Networks to Classify EEG Signals Associated to Emotional Stimuli
A Methodology for the Creation of Integrated Service Networks in Outpatient Internal Medicine
Can Videogames Improve Executive Functioning? A Research Based on Computational Neurosciences
Ambient Intelligence for Health - First International Conference, AmIHEALTH 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings
Making the Physical Therapy Entertaining - An Application Based on Wearable Technology and Mobile Games
Detecting State Anxiety When Caring for People with Dementia
Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010
Improving software quality with static analysis
Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'04, Washington, DC, USA, June 7-8, 2004
Symbolic path simulation in path-sensitive dataflow analysis
Type-based analysis and applications
Efficient Coverage Testing Using Global Dominator Graphs
STEP: a framework for the efficient encoding of general trace data
Assessing modularity via usage changes
Safety Analysis of Hawk in Flight Monitor
Bebop: a path-sensitive interprocedural dataflow engine
Expect the unexpected: error code mismatches between documentation and the real world
Array resizing for scientific code debugging, maintenance and reuse
A comprehensive toolchain for workload characterization across JVM languages
Representation-independent program analysis
Dynamic purity analysis for java programs
Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution
A non-null annotation inferencer for Java bytecode
PASTE at Microsoft
Analysis issues for cyclone
Software Visualization in the Desert Environment
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification
Mock object creation for test factoring
Monitoring deployed software using software tomography
Evaluating static analysis defect warnings on production software
Automated inference of atomic sets for safe concurrent execution
Static analysis for inference of explicit information flow
Invited Talk: "Model checking" software with VeriSoft
Efficient Composite Data Flow Analysis Applied to Concurrent Programs
ShadowData: shadowing heap objects in Java
Refining buffer overflow detection via demand-driven path-sensitive analysis
GIDTS: A Graphical Programming Environment for Prolog
Efficient field-sensitive pointer analysis for C
Inter-Class Def-Use Analysis with Partial Class Representations
ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '13, Seattle, WA, USA, June 20, 2013
A field study in static extraction of runtime architectures
Automatically generating refactorings to support API evolution
Light context-sensitive points-to analysis for java
Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java
Evaluating explicitly context-sensitive program slicing
String analysis for x86 binaries
Effective identification of failure-inducing changes: a hybrid approach
Making distributed systems secure with program analysis and transformation
Invited Talk Static and dynamic analysis: synergy and duality
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'02, Charleston, South Carolina, USA, November 18-19, 2002
vEC: virtual energy counters
Towards a more efficient static software change impact analysis method
Making slicing practical: the final mile (Abstract)
Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization
Pointer analysis: haven't we solved this problem yet?
MonDe: safe updating through monitored deployment of new component versions
Using the observer design pattern for implementation of data flow analyses
Labeling library functions in stripped binaries
Dynamically inferring temporal properties
The RoadRunner dynamic analysis framework for concurrent programs
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999
Interprocedural induction variable analysis based on interprocedural SSA form IR
New Type Signatures for Legacy Fortran Subroutines
Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs
Program analysis for safety guarantees in a Java virtual machine written in Java
Query by Outlines: A New Paradigm to Help Manage Programs
Change impact analysis for object-oriented programs
Combining static and dynamic data in code visualization
AWE: improving software analysis through modular integration of static and dynamic analyses
Null dereference analysis in practice
Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs
Low overhead program monitoring and profiling
Anywhere, any-time binary instrumentation
Visualizing the Performance of Higher-Order Programs
Contextual def-use associations for object aggregation
The design and implementation of FIT: a flexible instrumentation toolkit
Coherent dependence clusters
Longitudinal program analysis
Benefits of a Data Flow-Aware Programming Environment
Visualizing threads, transactions and tasks
Program analysis for compiler validation
Economics of software verification
Validation of assembler programs for DSPs: a static analyzer
Elided conditionals
Weakest-precondition of unstructured programs
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, PASTE'11, Szeged, Hungary, September 5-9, 2011
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005
Importance of heap specialization in pointer analysis
Addressing common crosscutting problems with Arcum
Learning universal probabilistic models for fault localization
What is a class invariant?
Specification mining of symbolic scenario-based models
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007
Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah, USA, June 18-19, 2001
Opportunities for concurrent dynamic analysis with explicit inter-core communication
LANCET: a nifty code editing tool
Evaluating the imprecision of static analysis
Invited Talk: JML framed!
Java memory model aware software validation
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998
Flow equations as a generic programming tool for manipulation of attributed graphs
Increasing human-tool interaction via the web
Extracting compiler provenance from program binaries
Resolving and applying constraint queries on context-sensitive analyses
Packrat parsers can handle practical grammars in mostly constant space
Towards a unified fault-detection benchmark
Static control-flow analysis for reverse engineering of UML sequence diagrams
Introducing natural language program analysis
Generalizing symbolic execution to library classes
Elyze: enabling safe parallelism in event-driven servers
Recompilation for debugging support in a JIT-compiler
A Lightweight Architecture for Program Execution Monitoring
An empirical framework for comparing effectiveness of testing and property-based formal analysis
OPTVIEW: A New Approach for Examining Optimized Code
Static Slicing of Threaded Programs
SableSpMT: a software framework for analysing speculative multithreading in Java
Physical Type Checking for C
Link-time static analysis for efficient separate compilation of object-oriented languages
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008
An improved slicer for Java
Selective path profiling
An overview of BLOOM
Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task
Path projection for user-centered static analysis tools
An evaluation of change-based coverage criteria
How to write system-specific, static checkers in metal
Detecting race conditions in large programs
The code of many colors: relating threads to code and shared state
Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience)
An Empirical Investigation of Program Spectra
Locating failure-inducing environment changes
Property-aware program sampling
Static validation of dynamically generated HTML
Identifying Procedural Structure in Cobol Programs
Concept Analysis - A New Framework for Program Understanding
Heap analysis in the presence of collection libraries
Evaluating and tuning a static analysis to find null pointer bugs
Comparing call graphs
Finding more null pointer bugs, but not too many
Sharing analysis of arrays, collections, and recursive structures
Discovering accurate interclass test dependences
Invariants and state in testing and formal methods
Instruction-level reverse execution for debugging
A concept analysis inspired greedy algorithm for test suite minimization
Recovering Software Architecture from Multiple Source Code Analyses
XFindBugs: eXtended FindBugs for AspectJ
Enforcing and validating user-defined programming disciplines
Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers
Experiments with Combined Analysis for Pointer Aliasing
A proper performance evaluation system that summarizes code placement effects
Exploring program phases for statistical bug localization
Interstatement must aliases for data dependence analysis of heap locations
An overview of the saturn project
Training set optimization in 3D human face recognition by RBF neural networks
Asymptotic equipartition property on empirical sequence in reinforcement learning
Proceedings of the IASTED International Conference on Neural Networks and Computational Intelligence, NCI 2004, February 23-25, 2004, Grindelwald, Switzerland
The deltoid application for competence analysis and development of control room operators
DWT based feature extraction of gene expression data for tissue classification
A product quality forecasting using autoregressive moving average
Neural Network MLSE Receiver for Satellite Channels in the Presence of Nonlinear Distortions and Frequency-selective Fading
An adaptive clustering algorithm for autonomous agents
A polynomial time algorithm for the N-queens problem
Computational Methods for Identifying Number of Clusters in Gene Expression Data
Research on the neural network with RBF for currency recognition
Asynchronous Parallel Computation of Self-organizing Maps
A comparison between spiking and differentiable recurrent neural networks on spoken digit recognition
Preprocessing time series with ICA and savitzky-golay filtering
Stable Fuzzy Identification using Recurrent Fuzzy Neural Networks
Paraconsistent Domain-relational Calculus
Cancer Prediction by Protein Microarray Profiling
Neural network models for a solar power plant
Solving Complex Real Time Engineering Problems by Artificial Immune System: Case Study of Dynamic Stochastic Knapsack Problem
Implementation of a Virtual-Instrument for Non-intrusive Intelligent Real-time Load Monitoring
Review of Differential Threshold Gate Implementations
Applications of Expert Systems to the Design of Telecommunication Networks
A Pseudogenetic Algorithm for MLP Design based upon the Schmidt Procedure
Control and Analysis of Nonlinear Systems using Neural Networks
Intelligent monitoring of the offset printing process
Data Mining on Users' Access Trials for Web Business Intelligence
A Genetic Learning Algorithm for Generating a Parsimonious Functional Link Network
A direct approach to graph clustering
Stochastic control system of basal ganglia and relation with stuttering
Application of concurrent generalized regression neural networks for arabic speech recognition
Learning rules for dynamic trajectories in the cerebellar cortex application to a bipedal robot
A neural network method for normal / abnormal classification of digitized mammograms
A new approach to blind source separation with global optimal property
Environmental sound recognition by the instantaneous spectrum combined with the time pattern of power
A New Approach for Intelligent Control of Non-linear Dynamic Plants using Type-2 Fuzzy Logic and Neural Networks