yusuke1997/dblp-id-title huggingface dataset:
Earnings Over the Life Cycle: The Mincer Earnings Function and Its Applications
On-the-Job-Training
Natural Gas Pipeline Regulation in the United States: Past, Present, and Future
How Do Cartels Operate?
Happiness Economics: A New Road to Measuring and Comparing Happiness
The U.S. Market for Uranium: 70 Years of History
Behavioral Economics of Multiperiod Insurance Purchasing Behavior: The Role of Emotions
The Economics of Eminent Domain: Private Property, Public Use, and Just Compensation
The Organization of the Oil Industry, Past and Present
Policy Challenges of the Heterogeneity of the Value of Statistical Life
Hedonic Wage Equilibrium: Theory, Evidence and Policy
Competition and Quality in Health Care Markets
Minimum Wages and Employment
Is Competition Good for Innovation? A Simple Approach to an Unresolved Question
The Cost of Crime
Game Theory and Water Resources: Critical Review of its Contributions, Progress and Remaining Challenges
Moral Hazard and Benefits Consumption Capital in Program Overlap: The Case of Workers' Compensation
Environmental, Economic and Policy Aspects of Biofuels
The Economics and Mathematics of Aggregation: Formal Models of Efficient Group Behavior
Hedonic Utility, Loss Aversion and Moral Hazard
Behavioral Economics and the Law
The Law and Economics of Public Health
The Microeconomics of Insurance
Marginal Cost Pricing and Eminent Domain
The Theory of Social Health Insurance
Semicollusion
An Introduction to Robust Mechanism Design
Capital Mobility and Tax Competition
Seller Reputation
Sex Discrimination in the Labor Market
Market-based Approaches to Environmental Regulation
Risk Regulation Lessons from Mad Cows
Schooling as a Risky Investment: A Survey of Theory and Evidence
Economics of Crime
Environmental Enforcement and Compliance: Lessons from Pollution, Safety, and Tax Settings
Youth Unemployment and Vocational Training
Insurance Decision-Making and Market Behavior
Measuring Risk Aversion
The Challenge of Improving Water and Sanitation Services in Less Developed Countries
Water and Economy-Wide Policy Interventions
Qualitative Mismatches
The Economics of Occupational Safety and Health
The Political Economy of the Natural Resource Curse: A Survey of Theory and Evidence
OSHA's Role in Promoting Occupational Safety and Health
Social Interactions in the Labor Market
Trade and Climate Change: Focus on Carbon Leakage, Border Carbon Adjustments and WTO Consistency
Understanding Poverty Rates and Gaps: Concepts, Trends, and Challenges
Black-Box Attack using Adversarial Examples: A New Method of Improving Transferability
A Comprehensive Review of Financial Knowledge Graphs
Artificial Intelligence in Evidence-based Medicine: Challenges and Opportunities
Recommendation System: A Survey and New Perspectives
eDiGS: Extended Divergence-Guided Shape Implicit Neural Representation for Unoriented Point Clouds
Enhancing the Efficiency of Large Multimodal Models for Document Understanding
A Survey of Cross-Lingual Text Classification and Its Applications on Fake News Detection
Dynamic Meta-path Guided Temporal Heterogeneous Graph Neural Networks
You Only Need One Thing One Click: Self-Training for Weakly Supervised 3D Scene Understanding
Label-Efficient Point Cloud Semantic Segmentation: A Holistic Active Learning Approach
Improving Monocular 3D Object Detection by Synthetic Images with Virtual Depth
Sampling Strategies for Efficient Segmentation and Object Detection of 3D Point Clouds
An Overview of Trustworthy and Sustainable AI Development for Catalyst Screening: The Role of Explainable AI (XAI)
A Survey on Code Representation
AI-based 3D Metrology and Defect Detection of HBMs in XRM Scans
Local-to-Global Framework for Multi-target Frame Identification
Multimodal Learning for Multi-omics: A Survey
Modeling and Analysis of Discrete Facial Expressions with Dense Optical Flow-derived Features
Efficient 3D Representation Learning for Medical Image Analysis
Robust Structured Declarative Classifiers for Point Clouds
Editorial Of Inaugural Volume of World Scientific Annual Review of Artificial Intelligence
Masked Autoencoders for 3D Point Cloud Self-supervised Learning
Algorithm-System-Hardware Co-Design for Efficient 3D Deep Learning
Early Detection of Gestures using Context-and-Gap-aware Predictive Pose Framework
Deep Learning-Based Downscaling of Temperatures for Monitoring Local Climate Change Using Global Climate Simulation Data
Introduction to 3D Deep Learning
How Many Dice Rolls Would It Take to Hit Your Favorite Kind of Number?
MYMathApps Calculus: Maple Plots
Online Tutoring with Maple Learn
Series and Product Representations of Gamma, Pseudogamma and Inverse Gamma Functions
An Investigation of the Funk Transform
On the conditioning of some structured generalized eigenvalue problems
Computing Intersection Multiplicities with Regular Chains
Symbolic Analysis of Linear Amplifiers with Multi-Loop Feedbacks in Interacting Programs Maple and FASTMEAN
Endogenous Demand for Money and Default of a Creditor
A Poetic Visualization of the Process of Mathematical Discovery
Implementing Kaltofen and Yagati's fast transposed Vandermonde solver
On the Language Diversity in the Mathematical Community
Cultural Challenge: Teaching Mathematics to Non-mathematicians
Maple-based introductory visual guide to Gröbner bases
Ten Tips for Successful Creation of Contextualized Problems for Secondary School Students with Maple
Dynamic and automated constructions of plane curves
Nested radicals obtained via the Wilf-Zeilberger method and related results
The Multivariate Power Series Package in Maple 2024
How to Deal With Interpolation Points That Are Not Well-Spaced in Polynomial and Rational Interpolation
Solving multivariate polynomial systems using eigenvalues in Maple
Difference equation satisfied by the Stieltjes transform of a sequence
Articles, software, data: An Open Science ethological study
Étude de Cas : Transformer l'Enseignement des Mathématiques avec Maple, Maple Learn et la Classe Inversée
Speeding up polynomial GCD, a crucial operation in Maple
Computation of Nash Equilibria of Two-Person m x n Games
Getting the third degree
The Three-Body and n-Body Problems
Two-cycles in the Infinite Exponential Tower
Exploring the Mysteries of Babylonian Astronomy with Maple
Substituting Units into Multivariate Power Series
Some Instructive Mathematical Errors
What we can learn from Bohemian Matrices?: An adventure in symbolic-numeric computation
How to use Fibonacci numbers to teach recursive programming
The Challenge of the Characteristic height of Bohemian Matrices: experiments with Maple and open problems
Interview with the Authors: A Cultural Challenge: Teaching Mathematics to Non-mathematicians
The Extended Watson - Wong - Wyman Lemma in Maple
Pure tone modes for an elliptic 5:3 drum
Problems, puzzles, and challenges in the spirit of Gosper
Proceedings of the Maple Conference 2021
Error in Homotopy Methods for Random Roots
The Role Of Maple Learn In Teaching And Learning Calculus Through Mathematical Thinking
The Maple Conference 2023: An overview of the 2023 Maple Conference
On the Representation of Non-Holonomic Power Series
Welcome to Maple Transactions
L^infinity-norm computation for linear time-invariant systems depending on parameters
An Ethnomathematics Approach to the Haida Stick Game
Experimenting with Apéry Limits and WZ pairs
(Strange) gamma evaluations
Formal Integrals of Motion in Time Periodic Hamiltonian Systems
Analysis of algorithms as a teaching experience
Geometry of Continuous Adjoint Newton's Method for Bivariate Quadratics
Graphing the Remainder
Exploring Cover Designs for an Upcoming Book
The Lagrangian formalism Application: Optimization of the Frahm damper
Computational Bohemian Art: "From the real world to the Bohemian Word"
An Interview with the Authors: Log-Lightning Computation, and Some Instructive Mathematical Errors
A Maple implementation of a modular algorithm for computing the common zeros of a polynomial and a regular chain
Exploring Open-Ended Tasks in Secondary Mathematics with Maple Learn - The Case of Functions
Arc Midpoint Computation: New Symbolic and Numeric Algorithms for Maple, CS, and Math
Solving the Differential Equations for the Pendulum and the Cantilever side-by-side
Maple Conference 2021 Mathematical Art and Creative Works Exhibit: A Report from the Curator
Skew-symmetric tridiagonal Bohemian matrices
Maple Conference 2023 Mathematical Art and Creative Works Exhibit
A Subnormal Closure Version and Proof of the Guralnick-Tracey Theorem on Proper Normal Subgroup Containment
Algorithm for finding reduction transformation that transforms a rational ODE to solvable structure
Another Famous Unsolved Problem: Improving Diversity in STEM
Maple Transactions-The Early Years
Bidiagonal factoring of Stirling matrices
Blends have decent numerical properties
How to program with formulas in Maple: Formulas in Maple
Probability distributions arising from isoperimetric random triangles
Chaos in 2-d Bohmian Trajectories
Local and Global Properties of the Gravitational Lens Effect with Special Consideration of the Gravitational Lens Effect with Star Perturbation
An Efficient Vector-Intensive Presentation of 2-Dimensional Curves
Simple Continued Fractions an Approach for High School Students
Note on the Lambert W function around its singularity
The Cost of Cramer's Rule
Some Facts and Conjectures about Mandelbrot Polynomials
Reflections on Maple's History as Told by Stefan Vorkoetter: Transcript of presentation on history of Maplesoft
Devilish Tricks for Sequence Acceleration
A Survey of Experimental Mathematics for Education
Remembering Piers W. Lawrence (1987-2025)
Critical points and trajectories of the Bohmian quantum flow
Five Equivalent Representations of a Phylogenetic Tree
Your Code Doesn't Work - Now What?
Monte Carlo investigation of structural minimality for structures of uncontrolled linear switching systems with Maple
Poincaré Sections by Inverse Cubic Hermite Interpolation
Niagara Falls and the Origins of Computer Algebra
Towering Fractals
About the SIAM 2026 Desk Calendar: from Perturbation Methods using Backward Error Analysis
Counting the number of integer points of non-parametric and parametric polytopes with the PolyhedralSets in Maple
Two-Eyed Seeing: Mathematics and Indigenous Traditions and Cultures
Inverse spherical Bessel functions generalize Lambert W and solve similar equations containing trigonometric or hyperbolic subexpressions or their inverses
Envelopes of Circles Centered on a Kiss Curve
Log-lightning computation of capacity and Green's function
Meta-programming with Maple and C
Applications of Gosper's nonlocal derangement identity
Algorithmic study of the algebraic parameter estimation problem for a class of perturbations
Laurent Series and Puiseux Series in Maple
A Sparse Differential Algebraic Equation (DAE) and Stiff Ordinary Differential Equation (ODE) Solver in Maple
Editor's Corner December 2023
Case Study: Transforming Mathematics Education with Maple, Maple Learn, and the Flipped Classroom Approach
Modeling Common Systems using Maple
What's New in Maple 2022: Formal Power Series
Jonathan Michael Borwein 1951 - 2016: Life and Legacy
The Theodorus Variation
Reflections on the Maple Conference 2020
Problems, Puzzles, and Challenges
Special Functions in Problem Solving Environments: A personal view
Perceptions on the adoption of Free/Open Source Software policies by a Scientific Institution: The case study of the NIH
On the Certification of the Kinematics of 3-DOF Spherical Parallel Manipulators
Bibliographic Study on the Computer Algebra System Maple
Viète's formula in "A Fractal Eigenvector"
A Short History of Maple Through a Biography of Stefan Vorkoetter
Parameter Estimation using Integral Equations
Remembering Eugenio Roanes-Lozano
From Thales Theorem to octic curves:: An illustrative journey, with the concourse of Computer Algebra and Dynamic Geometry software, through the uncertain territory of locus computation
Knowledge-Driven Intelligent Survey Systems Towards Open Science
A New Type System for JVM Lock Primitives
Evaluation of Generalization Performance of Visuo-Motor Learning by Analyzing Internal State Structured from Robot Motion
Efficient Discovery of Unusual Patterns in Time Series
Interactive Evolutionary Computation
Multi-structure Information Retrieval Method Based on Transformation Invariance
Towards Efficient Partial Evaluation in Logic Programming
Special Issue: Bio-Inspired Optimization Techniques for High Performance Computing
On-Line Reoptimization of Mammalian Fed-Batch Culture Using a Nonlinear Model Predictive Controller
The Show Must Go On: On the Use of Embodiment, Space and Gesture in Computational Storytelling
AID: An Alternative Implementation of DCGs
Derivation of Algorithms by Introduction of Generation Functions
Preface: Giving Priority to "Information-Oriented Technology" over "Computation-Oriented Technology"
Application of Semantic Recognition for Indoor Trajectory Using TextCNN: Case Study of Supermarket Visits
An Artificial Brain: ATR's CAM-Brain Project Aims to Build/Evolve an Artificial Brain with a Million Neural Net Modules Inside a Trillion Cell Cellular Automata Machine
DNA Sequence Design Using Templates
A Logic-Based Integration of Active and Deductive Databases
A Systematic Literature Review and Future Perspectives for Handling Big Data Analytics in COVID-19 Diagnosis
The Superstructure toward Open Bioinformatics Grid
A Partial Evaluation System for Prolog: some Practical Considerations
Data Abstraction in Prolog/KR
Application of Convolutional Neural Networks for COVID-19 Detection in X-ray Images Using InceptionV3 and U-Net
Design and Development of Modified Ensemble Learning with Weighted RBM Features for Enhanced Multi-disease Prediction Model
Using the Structure of Prelarge Trees to Incrementally Mine Frequent Itemsets
Introduction: Special Issue on Algorithmic Learning Theory
Introduction of dosim Predicate to Prolog
A Botnet Detection in IoT Using a Hybrid Multi-objective Optimization Algorithm
The Direction the FGCS Project Will Take
Seeing Things: Inventive Reasoning with Geometric Analogies and Topographic Maps
Asymmetric Short-Text Clustering via Prompt
Towards Communityware
Logic Programming - Past, Present and Future
Spreadsheets with Incremental Queries as a User Interface for Logic Programming
Tutorial on Ontological Engineering: Part 1: Introduction to Ontological Engineering
Opening Key-Note Speech
A Common Intermediate Language and Its Use in Partitioning Concurrent Declarative Programs
An abstract interpretation scheme for identifying inherent parallelism in logic programs
BUP: A Bottom-Up Parser Embedded in Prolog
Knowledge and Service
Correction to: A Graph‑Based Ontology Matching Framework
On Declaring and Reaching the Fifth Generation by 1990
Semantic Analysis for Identifying Security Concerns in Software Procurement Edicts
Special Issue on Algorithmic Learning Theory
Mixtus: An Automatic Partial Avaluator for Full Prolog
Incremental Search in Constraint Logic Programming
The Functional Logic Language BABEL and Its Implementation on a Graph Machine
EmbNum+: Effective, Efficient, and Robust Semantic Labeling for Numerical Values
HELIC-II: Legal Reasoning System on the Parallel Inference Machine
Aesthetic Geometry Evolution in a Generic Interactive Evolutionary Design Framework
Data Science in Healthcare Monitoring Under Covid-19 Detection by Extended Hybrid Leader-Based Compressed Neural Network
Perspectives on Molecular Computing
The MUSE Machine - an Architecture for Structured Data Flow Computation
Mining Frequent Patterns with the Pattern Tree
Propagation Phenomenon in Complex Networks: Theory and Practice
A Kochen-Specker System Has at Least 22 Vectors
An Online Mobility Management System to Automatically Avoid Road Blockage and COVID-19 Hotspots
Service Composition in Knowledge-based SOA Systems
Implementing Constructive Intensional Negation
A Futures Market-based Model for Dynamic Network Resource Allocation
Special Issue on Real World Computing Project - Preface
Emergence and Stability of Key Currency in Artificial International Trade
Binding-time Analysis for Both Static and Dynamic Expressions
Web Information Visualization Method Employing Immune Network Model for Finding Topic Stream from Document-set Sequence
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints
Infant Walking and Everyday Experience: Unraveling the Development of Behavior from Motor Development
Exploiting User Interests to Characterize Navigational Patterns in Web Browsing Assistance
Efficient Classification of Hallmark of Cancer Using Embedding-Based Support Vector Machine for Multilabel Text
Chance Discovery and Learning Minority Classes
The languages FCP(: ) and FCP(: , ?)
Stable Semantics for Disjunctive Programs
A wide instruction word architecture for parallel execution of logic programs coded in BSL
Assigning a Personality to a Spoken Dialogue Agent by Behavior Reporting
Chance Discovery: toward the Next Stage
Reversing Event Structures
Lazy Debugging of Lazy Functional Programs
Toggling Between Two Limit Cycles in a Molecular Ecosystem
Modularization and Abstraction in Logic Programming
New Results on the Genetic Cryptanalysis of TEA and Reduced-round Versions of XTEA
A Neoteric Segmentation Approach for Lung Ultrasound Images
Joint Analysis of Multiple Algorithms and Performance Measures
Augmenting Linked Data Ontologies with New Object Properties
Locally Parallel Cache Design Based on KL1 Memory Access Characteristics
On the Degeneration of Program Generators by Program Composition
Software Bug Ontology Supporting Semantic Bug Search on Peer-to-Peer Networks
A Non-invasive Approach for the Classification of the Coronavirus Disease from CT Scan Images Using Machine Learning in Combination with Hybrid Texture Features
A new external reference management and distributed unification for KL1
Uncertainty Analysis in Ontology-Based Knowledge Representation
Generalization in Typed Equational Programming and Their Application to Learning Functions
Special Issue on Programming Languages and Systems
Creative Evaluators: When Machines Evaluate Us
Automatic Classification of Impact Sounds with Rejection of Unknown Samples
Aging and Reverse-aging Traditional Chinese Painting Images Based on Web-Mining
Calculating Accumulations
A View of Artificial Intelligence
How to Control Unfolding when Specializing Interpreters
An Interval-Valued Intuitionistic Hesitant Fuzzy Methodology and Application
Semantic Web: A Road to the Knowledge Infrastructure on the Internet
A Run-Time Efficient Realization of Aho-Corasick Pattern Matching Machines
A View of Programming Languages as Symbiosis of Meaning and Computations
Relating the Implementation Techniques of Functional and Functional Logic Languages
A Polymorphic Type Dependency Analysis for Logic Programs
Multilayer Perceptron and Natural Gradient Learning
The Power of Communication: P Systems with Symport/Antiport
Quantum Computing vs. Coherent Computing
FGCS '88
Some Notes on Declarative Specification of Semantic Data Integration Task in a Peer-to-peer Agent System
From Fifth Generation Computing to Skill Science - A Biographical Essay of Koichi Furukawa
Preface for the Special Issue (on Partial Evaluation and Mixed Computation)
A load balancing mechanism for large scale multiprocessor systems and its implementation
On-the-Fly and Background Data Filtering System for Database Architectures
AND Parallelism and Nondeterminism in Logic Programs
Special Issue on Advanced Methodologies for Bayesian Networks
Computational Models for Social and Technical Interactions
The Prolog Not-Predicate and Negation as Failure Rule
How Should Prolog Computation Be Represented for Practical Use?
Monotone Control of R Systems
A Transformer-Based Model for Evaluation of Information Relevance in Online Social-Media: A Case Study of Covid-19 Media Posts
OR-Parallel Evaluation of Logic Programs on a Multi-Ring Dataflow Machine
Meta-Level Interpretation of Constraint Languages A Case Study: Logical Primitives
Learning an Extension of the Class of Functional Dependencies with Queries
A Quantitative Solution to Constraint Satisfaction Problem (CSP)
Mixed Computation of Prolog Programs
Printing Protocol: Physical ZKPs for Decomposition Puzzles
Constrained Relative Least General Generalization for Inducing Constraint Logic Programs
A Compile-Time Granularity Analysis Algorithm and its Performance Evaluation
Knowledge-Based Sentiment Analysis and Visualization on Social Networks
Discovering Validation Rules from Microbiological Data
Bootstrapping Inference in the IDP Knowledge Base System
The programming language GCLA - A definitional approach to logic programming
Research Advances in Modern Cyberinfrastructure
KEAHT: A Knowledge-Enriched Attention-Based Hybrid Transformer Model for Social Sentiment Analysis
Chemotaxis-Inspired Control for Multi-Agent Coordination: Formation Control by Two Types of Chemotaxis Controllers
A Novel Intelligent Algorithm to Control Mutation Rate Using the Concept of Local Trap
Automatic Recognition of DNA Pliers in Atomic Force Microscopy Images
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework
Parsing and Generation with Static Discontinuity Grammars
Rendez-Vous with Metric Semantics
Class-level Non-Interference
Dance Information Processing: Computational Approaches for Assisting Dance Composition
Query Based Intelligent Web Interaction with Real World Knowledge
Efficient Topical Focused Crawling Through Neighborhood Feature
Length-Based Curriculum Learning for Efficient Pre-training of Language Models
Low Cost Environment Changing in a Shallow Binding System
Combined Cloud-Based Inference System for the Classification of COVID-19 in CT-Scan and X-Ray Images
A Novel ORLLTMLP-Based Attack Detection and Blockchain-Aware Security Framework Using LCTFA in Smart City Applications
Designing Chemical and Biological Systems
Efficient Discovery of Optimal Word-Association Patterns in Large Text Databases
A Survey of Life Sciences Applications on the Grid
Abductive Concept Learning
The nucleus of future computing
Special Feature on "Maai": A Note from the Editor
User-oriented Security Supporting Inter-disciplinary Life Science Research across the Grid
User-centered Design Practice for Grid-enabled Simulation in e-Science
Query Extension Suggestions for Visual Query Systems Through Ontology Projection and Indexing
Cooperation of Categorical and Behavioral Learning in a Practical Solution to the Abstraction Problem
Forecasting COVID19 Reliability of the Countries by Using Non-Homogeneous Poisson Process Models
Asymptotic Time Complexity of Identification of Basic-level
Distributed Computation Multi-agent System
Transformation Rules for CNOT-based Quantum Circuits and Their Applications
On Generalization Performance and Non-Convex Optimization of Extended nu -Support Vector Machine
Life Sciences Grid in EUROGRID and GRIP Projects
Deep Learning Model for COVID-19 Sentiment Analysis on Twitter
Semi-supervised Ensemble Learning for Efficient Cancer Sample Classification from miRNA Gene Expression Data
Towards a Collaborative Game Designer Using the CCDSF Framework
Philosophy of New Generation Computing -- In Remembrance of Professor Kazuhiro Fuchi
Multiagent Learning towards RoboCup
Ensemble Learning with Extremely Randomized k-Nearest Neighbors for Accurate and Efficient Classification
Basic Constructs of the SIM Operating System
Closed World Assumptions Having Precedence in Predicates
Specification and Initialization of a Logic Computer System
Declarative Diagnosis of Missing Answers
Synthesizable High Level Hardware Descriptions
Inference Methods Based on Extended Dempster & Shafer's Theory for Problems with Uncertainty/Fuzziness
Challenging Problems in Partial Evaluation and Mixed Computation
Monotonic Random Forest with an Ensemble Pruning Mechanism based on the Degree of Monotonicity
Scientific Foreword
Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations
Weak Updates and Separation Logic
Procedural Texture Evolution Using Multi-objective Optimization
Polynomial-time Inference of Arbitrary Pattern Languages
XCOVNet: Chest X-ray Image Classification for COVID-19 Early Detection Using Convolutional Neural Networks