yusuke1997/dblp-id-title huggingface dataset:
Some completely monotonic functions of positive order
Stability of structure-aware Taylor methods for tents
The right-generators descendant of a numerical semigroup
Robust norm equivalencies for diffusion problems
An asymptotic form for the Stieltjes constants gamma k (a) and for a sum S gamma (n) appearing under the Li criterion
New results on reverse order law for {1, 2, 3}- and {1, 2, 4}-inverses of bounded operators
On random walks for Pollard's rho method
Theoretical analysis of Sinc-Nyström methods for Volterra integral equations
Efficient lattice assessment for LCG and GLP parameter searches
On the span of polynomials with integer coefficients
Adaptive compression of large vectors
Average prime-pair counting formula
Theoretical and numerical analysis for the quasi-continuum approximation of a material particle model
Data-sparse approximation to a class of operator-valued functions
Convergent expansions of the confluent hypergeometric functions in terms of elementary functions
A B-spline-like basis for the Powell-Sabin 12-split based on simplex splines
On perturbations of matrix pencils with real spectra, a revisit
Wavenumber-explicit stability and convergence analysis of ℎ𝑝 finite element discretizations of Helmholtz problems in piecewise smooth media
Regularity estimates for elliptic boundary value problems in Besov spaces
Gaussian quadrature rules for composite highly oscillatory integrals
On the uniform accuracy of implicit-explicit backward differentiation formulas (IMEX-BDF) for stiff hyperbolic relaxation systems and kinetic equations
Exact smooth piecewise polynomial sequences on Alfeld splits
Doubling algorithm for the discretized Bethe-Salpeter eigenvalue problem
Algorithmic proof of the epsilon constant conjecture
On quadratic fields with large 3-rank
Convolution quadrature time discretization of fractional diffusion-wave equations
Numerical methods for biomembranes: Conforming subdivision methods versus non-conforming PL methods
Optimal rates for Lavrentiev regularization with adjoint source conditions
Weak coupling of solutions of first-order least-squares method
Numerical algorithms for semilinear parabolic equations with small parameter based on approximation of stochastic equations
On eigenmode approximation for Dirac equations: Differential forms and fractional Sobolev spaces
Uniformly accurate methods for Vlasov equations with non-homogeneous strong magnetic field
Optimal a priori error bounds for the Rayleigh-Ritz method
A stochastic particle numerical method for 3D Boltzmann equations without cutoff
Uniform convergent expansions of integral transforms
Local problems on stars: A posteriori error estimators, convergence, and performance
Convergence of collocation schemes for boundary value problems in nonlinear index 1 DAEs with a singular point
Rationality problem of three-dimensional purely monomial group actions: the last case
On the existence of maximum principles in parabolic finite element equations
Numerical approximation of solution derivatives of singularly perturbed parabolic problems of convection-diffusion type
Orbits of algebraic numbers with low heights
Two contradictory conjectures concerning Carmichael numbers
Quadratic points on modular curves
Satoh's algorithm in characteristic 2
The least inert prime in a real quadratic field
Numerical hypocoercivity for the Kolmogorov equation
On the Sauer-Xu formula for the error in multivariate polynomial interpolation
Piecewise linear finite element methods are not localized
On the construction of Dirichlet series approximations for completely monotone functions
Positivity-preserving discontinuous Galerkin schemes for linear Vlasov-Boltzmann transport equations
A class of singularly perturbed quasilinear differential equations with interior layers
On integer Chebyshev polynomials
Irreducibility criterion for algebroid curves
Variable order smoothness priors for ill-posed inverse problems
Estimating the counts of Carmichael and Williams numbers with small multiple seeds
A discontinuous Galerkin pressure correction scheme for the incompressible Navier-Stokes equations: Stability and convergence
Projection-free approximation of geometrically constrained partial differential equations
Spanning the isogeny class of a power of an elliptic curve
Randomized polynomial-time root counting in prime power rings
Two-cover descent on hyperelliptic curves
Computing class fields via the Artin map
Kissing number in non-Euclidean spaces of constant sectional curvature
A fast algorithm to compute cubic fields
A range characterization of the single-quadrant ADRT
Dörfler marking with minimal cardinality is a linear complexity problem
Analysis of an augmented mixed-FEM for the Navier-Stokes problem
Global convergence of the Polak-Ribière-Polyak conjugate gradient method with an Armijo-type inexact line search for nonconvex unconstrained optimization problems
Erratum to "Some new kinds of pseudoprimes"
Spectral residual method without gradient information for solving large-scale nonlinear systems of equations
Analysis of an exactly mass conserving space-time hybridized discontinuous Galerkin method for the time-dependent Navier-Stokes equations
A posteriori error control of discontinuous Galerkin methods for elliptic obstacle problems
The eight dimensional ovoids over GF(5)
Normal bases via general Gauss periods
Empirical evidence for the Birch and Swinnerton-Dyer conjectures for modular Jacobians of genus 2 curves
Discrete Fourier analysis on a dodecahedron and a tetrahedron
Algorithms for the arithmetic of elliptic curves using Iwasawa theory
Error estimates for the AEDG method to one-dimensional linear convection-diffusion equations
Monotonicity preservation on triangles
A construction of interpolating wavelets on invariant sets
Failure of the discrete maximum principle for an elliptic finite element problem
Univariate splines: Equivalence of moduli of smoothness and applications
Uniqueness and stability for the solution of a nonlinear least squares problem
Composite wavelet bases for operator equations
On the absolute Mahler measure of polynomials having all zeros in a sector. III
A new approximation technique for div-curl systems
Choice of measure source terms in interface coupling for a model problem in gas dynamics
The error bounds and tractability of quasi-Monte Carlo algorithms in infinite dimension
Using aromas to search for preserved measures and integrals in Kahan's method
Measurement of Rigidity Change of Preload Switching Spindle
Process of Straightening by Three-Point and Four-Point Bending for Curved Brass Rack
Development of Flexible Sensors for Measuring Human Motion and Displacement of Novel Flexible Pneumatic Actuator
Influence of Tungsten-Carbide and Cobalt on Tool Wear in Cutting of Cemented Carbides with Polycrystalline Diamond Tool
Recent Advances in Multiaxis Control and Multitasking Machining
Modeling Approach for Estimation of Contact and Friction Behavior of Rolling Elements in Linear Bearings
Influences on Occurrence of Magnetism During Cutting Processes
Efficient Registration of Laser-Scanned Point Clouds of Bridges Using Linear Features
Editorial: Advanced Image Processing Techniques for Robotics and Automation (Part 2)
Application of Stochastic Point-Based Rendering to Laser-Scanned Point Clouds of Various Cultural Heritage Objects
3D Model Reconstruction System Development Based on Laser-Vision Technology
Technique for Introducing Internal Defects with Arbitrary Sizes and Locations in Metals via Additive Manufacturing and Evaluation of Fatigue Properties
Editorial: Precision Engineering for Advanced Automation Technology
Green Modular Design by the Concept of Chemical Activation Energy
High-Efficiency Milling of Steam Turbine Blade
Assist Control Method Based on Operating Property for Task from Automated Transfer to Manual Positioning of Flexible Parts
Automated Tool Path Generation for Roughing Using Flat Drill
Development of a Liquid Packaging Machine Positioning Control on Moving Film
A Reconfigurable and Modular Open Architecture Controller: the New Frontiers
Study on Ball End Milling of Inclined Surfaces for Ultra High Molecular Weight Polyethylene
Basic Image Measurement for Laser Welding Robot Motion Control
Micro-Welding of Glass Substrate by YAG Laser - Effects of Substrate Temperature -
Newly Developed Controls for Arc Welding Robot
A Low Contact Force Polishing System for Micro Molds that Utilizes 2-Dimensional Low Frequency Vibrations (2DLFV) with Piezoelectric Actuators (PZT) and a Mechanical Transformer Mechanism
A Study on Anomaly Detection of Water-Soluble Coolant Using Internal-Sensors
Design of an Optical Head with Two Phase-Shifted Interference Signals for Direction Detection of Small Displacement in an Absolute Surface Encoder
Tool Path Generation for Five-Axis Controlled Machining with Consideration of Motion of Two Rotational Axes
Reducing Weld Line by Heating Mold Surface with Heater Embedded by Laser Metal Sintering
Editorial: Precision Surface Finishing
Posture Optimization in Robot Machining with Kinematic Redundancy for High-Precision Positioning
Analysis Method for Turing Patterns and Biological Skin Patterns Using Persistent Homology
Total Performance Analysis of Manufacturing Processes
Quick On-Machine Measurement of Ground Surface Finish Available for Mass Production Cylindrical Grinding Processes
Monitoring of Cutting State in End-Milling Based on Measurement of Tool Behavior Using CCD Image
Three-DOF Electrostatic Induction Actuator Providing Translational and Rotational Surface-Drive Motion
Evaluation of Coupling System Characteristics Considering Contact Conditions Between Shaft and Borehole Surfaces
Improving Remote Spatial Understanding by Transmitting Spherical Images via Video Chat Applications
Contact-Type Profile Measuring Device Using Laser Interferometry System Incorporating Hybrid Actuating System
Inference of Cognitive Load When Understanding Mechanical Drawings by Electroencephalography for Skill Acquisition Interviews
An ER Microactuator with Built-in Pump and Valve
Augmented Reality-Based System for Skill Transfer of Workpiece Fixturing in Turning Operations
Drop-on-Demand Printer for Micro Ion-Selective Electrode Fabrication
Editorial: Modeling and Simulation of Cutting Process
Machining Time Reduction by Tool Path Modification to Eliminate Air Cutting Motion for End Milling Operation
Estimating 3D Position of Strongly Occluded Object with Semi-Real Time by Using Auxiliary 3D Points in Occluded Space
Development of Innovative Intelligent Machine Tool Based on CAM-CNC Integration Concept - Adaptive Control Based on Predicted Cutting Force -
Experimental Analysis and Anti-Sway Control of Jigiri Behavior in a Nursing Lift
Elastic Deformation Error Model for Calibration and Compensation of Parallel Kinematic Mechanism Machine Tool
Shell Forming for Improving Additional Cutting Properties of Additively Manufactured Parts
Study on Underwater Dual-Laser Structured-Light System for ROV Guiding
Repeated Positioning of a Pneumatic Cylinder with Enhancing Use of Proximity Switches
Adaptive Cutting Force Prediction in Milling Processes
Multiproduct Traditional Japanese Cuisine Restaurant Improves Labor Productivity by Changing Cooking Processes According to Service Product Characteristics
Method to Control Manufacturing Cell by Driving Simulation Model
Investigation of Flash Generation Process for Engineering Plastic by Flash Generation-Evaluating Mold
Experimental Verification of Chatter-Free Ball End Milling Strategy
Editorial: Application of Artificial Intelligence Techniques in Production Engineering
Precision Positioning Control by Modeling Frictional Behaviors of Linear Ball Guideway
Exploring Differing Perspectives on Sustainability and Corresponding Strategies in German Automotive Companies
How Lean Manufacturing Affects the Creation of Sustainable Value: An Integrated Model
Adaptive Sliding Mode Fault-Tolerant Control for Uncertain Systems with Time Delay
Profile Measurement Using Confocal Chromatic Probe on Ultrahigh Precision Machine Tool
Analysis and Characterization of Machined Surfaces with Aesthetic Functionality
Displacement Monitoring of Stacked Piezoelectric Actuator by Observing Induced Charge
Investigation on Feasibility of Polishing Concave Surfaces Using Magnetic Compound Fluid Slurry
Effect of Surface Property on Transfer-Print of Au Thin-Film to Micro-Structured Substrate
Ontology Modeling for Intelligent Computer-Aided Design of Apparel Products
Development of Desktop Machine Tool with Pipe Frame Structure
Estimation of Die Release Force of mboxJIS-ADC12 Aluminum Alloy Die Castings Manufactured Through High-Pressure Die Casting via Computer Simulation
Development of Planar Stage with Movable Magnet Array and Coil Switching Control
Development of a Forging Type Rapid Prototyping System (Relationship Between Hammering Direction and Product Shape)
Utilization of Multi-Axis Positioning Repeatability Performance in Kinematic Modelling
Automated Ice Road Surface Detection: Anomaly-Based Unique Dataset Construction Tailored to Individual CCTV Cameras
Control Strategy of Screw Motion During Plasticizing Phase for All-Electric Injection Molding Machine
Recent Progress in CMM-Based Form Measurement
Concentric Mutual Lapping to Improve Sliding Surface Function of SiC Ceramics
Editorial: Congratulations! The Best Paper Award 2017
Efficiency Comparison of Cutting Strategies for End Milling Processes Under Feedrate Scheduling
Cutting Tool Edge and Textured Surface Measurements with a Point Autofocus Probe
Study of Femtosecond Laser Ablation Effect on Micro-Processing for 4H-SiC Substrate
An Algorithmic Approach to Streamlining Product Carbon Footprint Quantification: A Case Study on Sheet Metal Parts
Visualization of Acquisition Experience in Sternal Compression Maneuver Using Kinect Sensoring: For Co-Creation of Medical Technique Experiential Values
Linear Visual Servoing-Based Control of the Position and Attitude of Omnidirectional Mobile Robots
Development of Unidirectional Fiber Reinforced Product
Machining Tests to Evaluate Machine Tool Thermal Displacement in Z -Direction: Proposal to ISO 10791-10
Compensation for Thermal Deformation of a Compact Lathe in Cutting Operations Using a Coolant Fluid with Temperature Measurements at a Few Specific Points
Effects of Blade Tip Profile on In-Plane Tensile Properties of Wedge-Notched Polypropylene Sheet
Characteristics of Carbon-Fiber-Reinforced Plastics (CFRP) and Associated Challenges - Focusing on Carbon-Fiber-Reinforced Thermosetting Resins (CFRTS) for Aircraft
A Study on Semi-Active Magnetic Bearing Position-Controlled by Piezoelectric Actuators
Editorial: Advanced Abrasive Process Technologies
Development of Curvature Gap Estimation System for Deciding Thermal Forming Instructions of Ship Curved Shell Plates Using Laser Scanner
Development of an Automated System for the Selective Harvesting of Radicchio
Latest Trends in Deburring Technology
Development of an Interactive Assistance System for Machine Tool Structure Design Considering of Sliding Joint Damping
Innovative Automation Technologies and IT Applications of the Metal Casting Process Necessary for the Foundries of the 21st Century
A Method for Simulating an Information System with Life Cycle Simulation
Experimental Performance Assessment of Mantis 2, Hybrid Leg-Wheel Mobile Robot
Simultaneous Evaluation of Environmental Impact and Incurred Cost on Selection of End-Of-Life Products Recovery Options
Novel Artifacts Using Simple Geometries for Evaluation of a Gear Measuring Instrument
Back-Pressure Forging Using a Servo Die Cushion
Effectiveness of Air Classification as a Pretreatment for Chromium Separation from Electric Arc Furnace Slag
Surface Texturing in Micro Parametric Machining
Effect of Strain-Rate on Forming Limit Strain of Aluminum Alloy and Mild Steel Sheets Under Strain Path Change
Visualization of Stress Distribution by Photoelastic Method Under Ultrasonic Grinding Condition
Pneumatically-Controlled Linear Actuator Using Pressure-Resistant, Thin-Walled Metal Bellows and its Application
Fundamental Study on Novel On-Machine Measurement Method of a Cutting Tool Edge Profile with a Fluorescent Confocal Microscopy
Implementation of in Process Surface Metrology for R2R Flexible PV Barrier Films
Surface Acoustic Wave Excitation Using a Pulse Wave
Tool Life of Small Diameter Ball End Mill for High Speed Milling of Hardened Steel - Effects of the Machining Method and the Tool Materials -
Verification of the Effectiveness of UV-Polishing for 4H-SiC Wafer Using Photocatalyst and Cathilon
Customized End Milling Operation of Dental Artificial Crown Without CAM Operation
Wireless Microactuator Using Temperature-Sensitive Magnetic Material for Remote Operation
Surface Finishing of Single-Crystal SiC and GaN Wafers Using a Magnetic Tool in H 2 O 2 Solution
Fabrication Process of Antimony Telluride and Bismuth Telluride Micro Thermoelectric Generator
Editorial: Advanced Image Processing Techniques for Robotics and Automation (Part 1)
Editorial: Precision and Ultraprecision Positioning
Fundamental Study of Press Molding Method for CFRP Preform Using a 3D Printer
Challenges and Opportunities of Lean Remanufacturing
Surface Encoders for a Mosaic Scale Grating
Studies on Eco-Friendly Grinding with an Extremely Small Amount of Coolant - Applicability of Contact-Type Flexible Brush-Nozzle -
Forecasting Life Cycle CO 2 Emissions of Electrified Vehicles by 2030 Considering Japan's Energy Mix
High-Accuracy and Low-Cost Chamfering System by a Material-Handling Robot -Individual Error Compensation Using Image Processing-
Development of a Desktop Machine Tool for Mirror Surface Grinding
Tele-Inverse Manufacturing - An International E-Waste Recycling Proposal
Proposal for Abrasive Layer Fabrication on Thin Wire by Electrical Discharge Machining
Generation Method of Cutting Tool Paths for High-Speed and High-Quality Machining of Free-Form Surfaces
Durability Evaluation of an Additive Manufactured Biodegradable Composite with Continuous Natural Fiber in Various Conditions Reproducing Usage Environment
Extraction of Rotational Surfaces and Generalized Cylinders from Point-Clouds Using Section Curves
Relationship Between Fluid Properties and Bearing Stiffness in Water Hydrostatic Bearing
Production System Evaluation Method Considering Worker Taking Childcare
Sensorless Cutting Force Monitoring Using Parallel Disturbance Observer
Promotion of Knowledge and Technology Transfer Towards Innovative Manufacturing Process: Case Study of New Hybrid Coating Process
Microscopic Wear Characteristics of Ceramic Grinding Wheel in Creep Feed Grinding
Three-Dimensional Numerical Simulation on the Effects of a Rotating Brush on Liquid Film Flow and Chemical Distribution over a Rotating Disk Using OpenFOAM
Fabrication of Microstructures on RB-SiC by Ultrasonic Cavitation Assisted Micro-Electrical Discharge Machining
Spiral Groove Machining Through Wire Electrical Discharge Machining with Two Rotary Axes
New Method Based on Improved Double Ball Bar for Measuring Geometric Motion Errors of Coordinate Measuring Machine
Proposal of a Mechanism to Restrict Pressure Change by Oil Temperature Change
3D Image Formation in Transmitted Partially Coherent and Incoherent Light Applied to Dimensional Inspection
Modeling and Force Control of Thin Soft McKibben Actuator
Positioning Accuracy of a Planer Multi-Joint Positioning System and Improvement Thereof
Influence of Coating in Square End Mill Using In-Process Tool Wear Detection Based on Electrical Contact Resistance
Development of Scanning Line Tool Path Generation Algorithm Using Boundary Position Information of Approximate Polyhedron of Complex Molds
Ultra-Precision Machining of Tungsten-Based Alloys by Cutting and Burnishing
Integrated Information Model for Design, Machining, and Measuring Using Annotated Features
Investigation of Internal Thread Cutting Phenomena in Three Axes by Controlling Helical Interpolate Motion Considering Tool Position Information from Servo-Drive
Product Identification by Machined Micro Patterns
Editorial: Dies and Molds
Collaboration Challenges in Digital Service Innovation Projects
Interference Free Tool Path Generation in Multi-Axis Milling Machine for Orthopedic Surgery
Fabrication of Release Agent Supply Die with Porous Structure Using Metal-Based Additive Manufacturing
A MOEMS Accelerometer Based on Diffraction Grating with Improved Mechanical Structure
Machining Performance of Robot-Type Machine Tool Consisted of Parallel and Serial Links Based on Calibration of Kinematics Parameters
Integrated Control Design of Pneumatic Servo Table Considering the Dynamics of Pipelines and Servo Valve
Data Augmentation for Deep Learning Training with Virtual Point Clouds Generated from CAD Models
High-Performance Simulation of Mold Filling Using Porous Media Method
Monitoring and Adaptive Process Control of Wire Electrical Discharge Turning
Development of Articulated Manipulators with Pneumatic Cylinders
Editorial: Recent Progress in Precision Engineering
Machining Temperature and Accuracy of Magnesium Alloy AZ31 with Deep-Hole Small Drilling
A Digital Perspective on Machine Tool Calibration
Riding Motion Capture System Using Inertial Measurement Units with Contact Constraints
Improvement of Human Tracking in Stereoscopic Environment Using Subtraction Stereo with Shadow Detection
Analysis of Energy Consumption Patterns and Climate Effects Using Panel Data
Simulation of Energy Consumption During Machine Tool Operations Based on NC Data
Machining of Smooth Optical Surfaces by Ultraprecision Milling with Compensated Feeding Mechanisms
Editorial: Congratulations! The Best Paper Award 2020
Development of Technology for Creating Composite Materials of Machine Tool
Evolution of Chip-Deformation Mechanisms with Increasing Temperature in Laser-Assisted Microcutting of Amorphous Alloy
Prediction of Surface Roughness Components in Turning with Single Point Tool - Measurement of Tool Edge Contour and Prediction of its Position During Cutting -
A Spherical Motor Driven by Electro-Magnets Based on Polyhedrons
Motion Accuracy Enhancement of Five-Axis Machine Tools by Modified CL-Data
Investigation of Effect of Cooling Rate on Mechanical Properties in Directed Energy Deposition
Effect of Additional Compensator Based on Internal Model Principle for Motion Control
Variability Specific to a Closed-Loop Supply Chain with Product Deterioration
Realization of Tubeless Stage in Semiconductor Exposure System
Tip Growing Actuator with the Hose-Like Structure Aiming for Inspection on Narrow Terrain
Basic Study on Electro-Adhesive Surface Applying 3-Dimensional Micro Structures
Development of High Speed Clock Module and its Application to Array Model
Integrated Assessment of 'Green-Lean' Production
Editorial: Die and Mold Technology
Tool Wear Reduction Effect of Oil-Immersion Treatment and its Surface Modification Mechanism
Dexterous Creation of Soccer-Ball Pattern by Using Urethane Rubber
Determination of Gear Skiving Tool Life Using an Image-Based Wear Detection System
Time-Resolved Oblique Incident Interferometry for Vibration Analysis of an Ultrasonic Motor
Advances in Noninvasive Glucose Sensing Enabled by Photonics, Acoustics, and Microwaves
Positioning Performance Evaluation for Light-Weight Rotary Stage CFRP Application
Research on the Positioning and Recognition of an Intelligent Inspection Robot in Substations
Adaptive Cutting Force Control with a Hybrid Axis System
An Application of the Modified PID Control System for Heat Flow Experiment
Route Search and Evaluation Method Including Charging Plan for Electric Vehicles
Advanced Control Strategies for Active Vibration Suppression in Laser Cutting Machines
Design of a Pressure Observer and its Application to a Low-Cost Pneumatic Control System
Imitation Learning System Design with Small Training Data for Flexible Tool Manipulation
Tool Posture Planning Method for Continuous 5-Axis Control Machining on Machine Tool Coordinate System to Optimize Motion of Translational Axes
Automation and Process Management in Foundry
A MEMS Device Integrating Multiple Cantilever Displacement Sensors to Evaluate Flat Machined Surfaces
A System Development Approach for Electrolytic In-Process Dressing (ELID) Grinding
Micro Imprinting for Al Alloy Using Ni-W Electroformed Mold