yusuke1997/dblp-id-title huggingface dataset:
A Polynomial with a Root Mod p for Every p has a Real Root
A Simple Proof of a Generalized Cauchy - Binet Theorem
From Quadrilateral to Trapezoid: 11317 [2007, 745]
The Sixty-Seventh William Lowell Putnam Mathematical Competition
Analysis I: Convergence, Elementary Functions by Roger Godement; Analysis II: Differential and Integral Calculus, Fourier Series, Holomorphic Functions by Roger Godement
Google's PageRank and Beyond: The Science of Search Engine Rankings by Amy N. Langville; Carl D. Meyer
Proofs Without Using Limits of Both Calculus Power Rules
Towering Figures in American Mathematics, 1890-1950
Topology in the Complex Plane
Yueh-Gin Gung and Dr. Charles Y. Hu Award for 2019 to Philip Uri Treisman for Distinguished Service to Mathematics
Probabilistic Proofs of a Binomial Identity, Its Inverse, and Generalizations
How to Measure Volume with a Thread
Abelian and Non-Abelian Triangle Mysteries
A Local Maximal Function Simplifying Measure Differentiation
Disentangling a Triangle
Problem 11014
Solution of Sondow's Problem: A Synthetic Proof of the Tangency Property of the Parbelos
New Descriptions of Conics via Twisted Cylinders, Focal Disks, and Directors
Symmetric Inequalities for x x and x x 2 : 10766
A Short Proof of the Fact That the Matrix Trace Is the Expectation of the Numerical Values
A Really Simple Elementary Proof of the Uniform Boundedness Theorem
Powers of Consecutive Integers: 11121
Solution of the Direct Problem of Uniform Circular Motion in Non-Euclidean Geometry
A Square-Packing Problem of Erdős
Problem 11272
A Variant Intermediate Value: 11290
The Mathematics of Encryption: An Elementary Introduction
Problem 10994
Definitely an Integral: 10884
The Isoperimetric Problem
A Streamlined Proof of an Essential Calculus Fact
The Seventy-Third William Lowell Putnam Mathematical Competition
Pythagorean Boxes and Quotients of Gaussian Integers
Stirling's Formula and Its Extension for the Gamma Function
When Does a Given Polynomial with Integer Coefficients Divide Another?
Irreducibility Criteria for Reciprocal Polynomials and Applications
Problem 11370
The Least Prime in Certain Arithmetic Progressions
Problem 11007
A q-Analogue of Wolstenholme's Harmonic Series Congruence
How Far Does the First Element Dominate?: 10649
Problem 11194
Letter from the Editor: The Power of Book Reviews
Sum of Digits: 11319 [2008, 835]
100 Years Ago This Month in The American Mathematical Monthly Edited by Vadim Ponomarenko
The Paul R. Halmos-Lester R. Ford Awards for 2018
Problem 11180
A Property of Some Normal Matrices: 10645
The Sixty-Ninth William Lowell Putnam Mathematical Competition
Two Exams Taken by Ramanujan in India
A Prime Summandification of n: 11045
Yueh-Gin Gung and Dr. Charles Y. Hu Award to Clarence F. Stephens for Distinguished Service to Mathematics
Problem 11171
Problem 10816
Musical Actions of Dihedral Groups
Least Primitive Root of any Safe Prime is Prime
A Useful Strengthening of the Stone-Weierstrass Theorem
Sliding Dominoes: 10960
Problem 11079
Putting Fractions in Their Place
When Is a Curve an Octahedron?
Problem 11340
The Primes that Euclid Forgot
Several Proofs of the Irreducibility of the Cyclotomic Polynomials
Solving Inequalities and Proving Farkas's Lemma Made Easy
Smooth Interpolation, Hölder Continuity, and the Takagi-van der Waerden Function
Iterational Rate of Covergence: 11244
Problem 10835
Asymptotic Behaviour of Nonlinear Systems
Problem 11224
Introduction to Quantum Algorithms: By Johannes A. Buchmann, American Mathematical Society, 2024. 371 pp., ISBN 978-1-4704-7398-3, $89.00
The Groups of Order Sixteen Made Easy
nx mod 1: 10910
Tetrahedal Geometry from Areas
The Komornik-Loreti Constant Is Transcendental
Bernstein Polynomials and Brownian Motion
The Probability That a Matrix of Integers Is Diagonalizable
Transcendence of Generalized Euler Constants
Crofton's Differential Equation
A Generalization of Bonse's Inequality
Problem 11324
Ergodic Theory: By Simon Rubinstein-Salzedo, AMS/MAA PRESS, Vol 38. 213 pp., ISBN 978-1-4704-7920-6, $79
Tiling Hamiltonian Cycles on the 24-Cell
A Proof of ζ (2)= π 2 /6 Involving a Fourier-Legendre Expansion
Invariant Histograms
A Limit Involving Least Common Multiples: 10797
How to Integrate a Polynomial over a Sphere
Problem 11159
Problem 10792
Approximating the Binomial Distribution: 10876
An Elementary Application of Brouwer's Fixed Point Theorem to Transition Matrices
On Goldbach's Conjecture for Integer Polynomials
Problem 10817
Curvature for Polygons
Revisiting the Lind-Reichardt Counterexample to Hasse's Local-Global Principle
The Brocard Angle and a Geometrical Gem from Dmitriev and Dynkin
Not Quite a Theorem on Quadrilaterals: 10755
A Blichfeldt-type Theorem for H -points
A Comparison of Norms: Bicomplex Root and Ratio Tests and an Extension Theorem
Integer Area Dissections of Lattice Polygons via a Non-Abelian Sperner's Lemma
Heronian Triangles Are Lattice Triangles
A Product of Nested Radicals for the AGM
An Exponential Condition for Commutativity: 11310 [2007, 641]
The Discrete Theorema Egregium
Pinching, Trimming, Truncating, and Averaging of Matrices
On the Greatest Common Divisor of Binomial Coefficients
Problem 11239
The Behavior of Solutions near a Stable or Semistable Stationary Point
Problem 11360
A Generalization of the Leibniz Rule
Powered Divergence: 11062
L p Norms and the Sinc Function
Problem 10821
The Digital Rubáiyát
A Sum Inequality: 11145
A Functional Equation with Exponential Solutions: 11180
Another Short Proof of Descartes's Rule of Signs
The Modulus of Polynomials with Zeros at the Roots of Unity
A Nonmeasurable Set from Coin Flips
On One Type of Generalized Vandermonde Determinants
On the Lengths of Level Curves
A Refinement of a Theorem of J. E. Littlewood
How to Add a Noninteger Number of Terms: From Axioms to New Identities
Moving a Rectangle around a Corner: Geometrically
Trigonometric Identities à la Hermite
Fair Majority Voting (or How to Eliminate Gerrymandering)
The Three Gap Theorem and the Space of Lattices
An Application of Newton's Identities: 11096
Saunders Mac Lane: A Mathematical Autobiography by Saunders Mac Lane
An Elementary Treatment of the Construction of the Free Product of Groups
A Note on Infinite Series with Recursively Defined Terms
A Short Proof of Lebesgue's Density Theorem
An Urn Problem with Labeled and Unlabeled Balls: 11181
The Multi-Dimensional Version of ∫ b a x p dx
Relating Symmetrizations of Convex Bodies: Once More the Golden Ratio
The Fundamental Group of the Circle Is Trivial
Problem 11319
Sums of Generalized Octahedral Numbers
The Decimal Expansions of Powers of 9: 10758
Trigonometries
Problem 10911
Prince Rupert's Rectangles
An Elementary Integral: 11148
Problem 11256
Arithmetic Polygons
Interesting Dynamics and Inverse Limits in a Family of One-Dimensional Maps
Problem 11218
The Wedge Product and Analytic Geometry
Discrete Calculus and Weighted Fibonacci and Tribonacci Sums
Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations
Problem 10832
Problem 11456
An Accidental Repetition of the All-Ones Problem: 10851
Problem 10787
Problem 11114
On the Solution of Linear Mean Recurrences
Dual Billiards, Fagnano Orbits, and Regular Polygons
Introduction to the Mathematics of Medical Imaging by Charles L. Epstein
Eigenvalues of a Bidiagonal Matrix: 10958
Mathematics and the Politics of Race: The Case of William Claytor (Ph.D., University of Pennsylvania, 1933)
The Eighty-Fifth William Lowell Putnam Mathematical Competition
Problem 10823
A Romanian Olympiad Problem Generalized: 11248
A Proof of a Version of a Theorem of Hartogs
Measurability Properties of Vitali Sets
A Surprisingly Simple Determinant: 10891
On a Certain Lie Algebra Defined by a Finite Group
Pointwise Products of Uniformly Continuous Functions on Sets in the Real Line
An Alternate Proof of the Binomial Theorem
Euler Lines Concurrent on the Nine-Point Circle: 10796
A Problem That Bears Repeating: 11002
Problem 11178
Shrinking Fréchet Differentiable Maps: 11037
Polya′s Random Walk Theorem Revisited
the Value of π in
A Hyperbolic Analog of the Phasor Addition Formula
Transforming Literature into Meaningful Experiences in Mathematics
A Simple Construction to Prove Mycielski's Theorem
A Variation on the Money-Changing Problem
For Every ε There Continuously Exists a δ
Covering the Chessboard with Sets of Non-Attacking Queens: 11271 [2007, 164]
Conway's Napkin Problem
A Tour through Mathematical Logic by Robert S. Wolf
Matrices Which Take a Given Vector into a Given Vector: Revisited
Review: Symmetry: A Mathematical Exploration . Springer, New York, 2012, xiv + 215pp., ISBN 978-1-4614-0298-5, $49.95. by Kristopher Tapp
On the Success of Mishandling Euclid's Lemma
Billiard Circuits in Quadrilaterals
Problem 10890
The Curious History of Faà di Bruno's Formula
Quasirandom Graphs and the Pantograph Equation
Definitions and Nondefinability in Geometry
Complex Roots of a Polynomial: 10688
A Note on Positively Spanning Sets
Catch-Up: A Rule That Makes Service Sports More Competitive
Discriminants of Quadratics Generalized
The Sixty-Sixth William Lowell Putnam Mathematical Competition
Z[-5]: Halfway to Unique Factorization
Errata: An Expression for Even-Indexed Bernuoulli Numbers: 10789
Problem 10908
Problem 11131
Higher-Dimensional Analogues of the Map Coloring Problem
A Probabilistic Proof of a Lemma That Is Not Burnside's
Carleman's Inequality
A Short and Elementary Proof of the Central Limit Theorem by Individual Swapping
Problem 11086
Problem 10961
Problem 11081
Finding the Greatest Lower Bound: 11217
An Iteration Convergence: 11318 [2007, 745]
Necessary and Sufficient Conditions for Differentiating under the Integral Sign
The Method of Archimedes in the Seventeenth Century
Distances in Domino Flip Graphs
Assessing Aspect Modularizations Using Design Structure Matrix and Net Option Value
Dynamic Dispatch for Method Contracts Through Abstract Predicates
Two-Way Traceability and Conflict Debugging for AspectLTL Programs
Probabilistic Model Checking for Feature-Oriented Systems
MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation
On Horizontal Specification Architectures and Their Aspect-Oriented Implementations
Developing and Verifying Response Specifications in Hierarchical Event-Based Systems
Transactions on Aspect-Oriented Software Development V
A Survey of Automated Code-Level Aspect Mining Techniques
Dynamic Weaving of Aspect-Oriented Executable UML Models
Weaving Multiple Aspects in Sequence Diagrams
Domain-Driven Discovery of Stable Abstractions for Pointcut Interfaces
Method Slots: Supporting Methods, Events, and Advices by a Single Language Construct
EA-Miner: Towards Automation in Aspect-Oriented Requirements Engineering
Aspect-Oriented Development Using Protocol Modeling
Intraprocedural Dataflow Analysis for Software Product Lines
Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management
Abstracting Context in Event-Based Software
Directives for Composing Aspect-Oriented Design Class Models
A Framework for Policy Driven Auto-adaptive Systems Using Dynamic Framed Aspects
Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling
Analysis of Aspect-Oriented Model Weaving
AspectOptima: A Case Study on Aspect Dependencies and Interactions
Transactions on Aspect-Oriented Software Development VIII
Building a Digital Publishing Platform Using AOSD - Experiences and Lessons Learned
Towards Reactive Programming for Object-Oriented Applications
Transactions on Aspect-Oriented Software Development IV
Guest Editors' Introduction: Early Aspects - Mapping Across the Lifecycle
Relating Feature Models to Other Models of a Software Product Line - A Comparative Study of FeatureMapper and VML*
Using VCL as an Aspect-Oriented Approach to Requirements Modelling
Propagation of Behavioral Variations with Delegation Proxies
Aspect Categories and Classes of Temporal Properties
Modeling the Car Crash Crisis Management System Using HiLA
Aspect-Oriented Design with Reusable Aspect Models
Aspect-Oriented Development of Crosscutting Features in Distributed, Heterogeneous Systems
Transactions on Aspect-Oriented Software Development III
Tackling the Challenges of Integrating 3 rd Party Software Using AspectJ
Challenges in the Design of the Package Template Mechanism
An Overview of CaesarJ
Visualizing Early Aspects with Use Case Maps
Transactions on Aspect-Oriented Software Development X
Co-change Clusters: Extraction and Application on Assessing Software Modularity
A Fine-Grained, Customizable Debugger for Aspect-Oriented Programming
Modularity and Variability of Distributed Software Architectures through Multi-view Refinement of AO-Connectors
Open Bisimulation for Aspects
Dynamic Aspect-Oriented Programming in Java: The HotWave Experience
Model-Driven Theme/UML
Generalized Layer Activation Mechanism for Context-Oriented Programming
Transactions on Aspect-Oriented Software Development IX
A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models
Shakeins: Nonintrusive Aspects for Middleware Frameworks
Modular Specification and Checking of Structural Dependencies
Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective
Modularizing Design Patterns with Aspects: A Quantitative Study
Aspect of Assembly: From Theory to Performance
TOSKANA: A Toolkit for Operating System Kernel Aspects
Transactions on Aspect-Oriented Software Development VI, Special Issue on Aspects and Model-Driven Engineering
Analysis of Crosscutting in Early Software Development Phases Based on Traceability
Transactions on Aspect-Oriented Software Development II
Detection and Resolution of Weaving Interactions
Editorial: AOP Systems, Software and Middleware
Language Features for Software Evolution and Aspect-Oriented Interfaces: An Exploratory Study
Towards a Catalogue of Refactorings and Code Smells for AspectJ
abc : An Extensible AspectJ Compiler
Transactions on Modularity and Composition I
Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study
Transactions on Aspect-Oriented Software Development XI
Run-Time and Atomic Weaving of Distributed Aspects
Providing Configurable QoS Management in Real-Time Systems with QoS Aspect Packages
Programming with Emergent Gummy Modules
Aspect-Oriented Model-Driven Software Product Line Engineering
Guest Editors' Introduction: Early Aspects - Analysis, Visualization, Conflicts and Composition
Application-Level Scheduling Using AOP
Transactions on Aspect-Oriented Software Development I
Constraint-Based Model Weaving
Safe and Sound Evolution with SONAR
Event Modules - Modularizing Domain-Specific Crosscutting RV Concerns
COMPASS: Composition-Centric Mapping of Aspectual Requirements to Architecture
Aspects at the Right Time
Transactions on Aspect-Oriented Software Development XII
Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study
First-Class Compositions - Defining and Composing Object and Aspect Compositions with First-Class Operators
On Language-Independent Model Modularisation
Workflow Design Using Fragment Composition - Crisis Management System Design through ADORE
Context-Oriented Software Development with Generalized Layer Activation Mechanism
Crisis Management Systems: A Case Study for Aspect-Oriented Modeling
Aspects across Software Life Cycle: A Goal-Driven Approach
Lean and Efficient System Software Product Lines: Where Aspects Beat Objects
Modular Reasoning in the Presence of Event Subtyping
An Expressive Aspect Language for System Applications with Arachne
Design and Implementation of an Aspect Instantiation Mechanism
Puma: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++
A Model-Driven Framework for Aspect Weaver Construction
The Aspect-Aware Design and Implementation of the CiAO Operating-System Family
A System of Patterns for Reusable Aspect Libraries
An Aspect-Oriented Tool Framework for Developing Process-Sensitive Embedded User Assistance Systems
Discovery of Stable Abstractions for Aspect-Oriented Composition in the Car Crash Management Domain
Editorial for Special Section on Dependencies and Interactions with Aspects
Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice
Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach
Handling Conflicts in Aspectual Requirements Compositions
An Exploratory Study for Identifying and Implementing Concerns in Integer Programming
A Real-World Perspective of AOP
Guest Editors' Introduction: Aspects and Software Evolution
Extracting and Evolving Code in Product Lines with Aspect-Oriented Programming
Software Unbundling: Challenges and Perspectives
Reusable Components of Semantic Specifications
A Novel Emotion Recognition Method Based on Ensemble Learning and Rough Set Theory
In Search of Effective Granulization with DTRS for Ternary Classification
The Motivation/Attitude-Driven Behavior (MADB) Model in E-Learning and the Effects on Mouse Dynamics
An API Recommendation Method for Querying Mobile Computing Problems
Corn Disease Detection Based on an Improved YOLOX-Tiny Network Model
Augmenting Conversational Environment
Toward Theoretical Foundations of Autonomic Computing
Main Retina Information Processing Pathways Modeling
Grey Relational Analysis Method for College Students' Innovation and Entrepreneurship Competence Evaluation Through Using Neutrosophic Cubic Numbers
Relatively-Integrated Ship Navigation by H¥ Fusion Filters
Human Discovery and Machine Learning
Pricing and Inventory Strategy of Dual-channel Supply Chain under Random Demand and Retailer's Capital Constraint
NBPMF: Novel Peptide Mass Fingerprinting Based on Network Inference
Optimizing for High Resolution ADC Model With Combined Architecture
Visual Multi Feature Fusion for Precise Robot Grasping: A Comprehensive Analysis
A Hybrid Learning Particle Swarm Optimization With Fuzzy Logic for Sentiment Classification Problems
Inference Algebra (IA): A Denotational Mathematics for Cognitive Computing and Machine Reasoning (I)
A Relative Fractal Dimension Spectrum for a Perceptual Complexity Measure
Image Aesthetic Description Based on Semantic Addition Transformer Model
Application of Super-Resolution Image Reconstruction Technology in Environmental Art Design
Knowledge Processing Using EKRL for Robotic Applications
Measurement of Textual Complexity Based on Categorical Invariance
Arrhythmia Classification Using Radial Basis Function Network With Selective Features From Empirical Mode Decomposition
Research of Image Recognition of Plant Diseases and Pests Based on Deep Learning
Effectiveness Analysis of IELTS and HSK Test Based on SVM in the Development of English Writing Ability
AURELLIO: A Cognitive Computational Knowledge Representation Theory
Image Dimensionality Reduction Based on the Intrinsic Dimension and Parallel Genetic Algorithm
A Computational Cognitive Model of the Brain
A Hybrid Genetic Algorithm based Fuzzy Approach for Abnormal Retinal Image Classification
Analysis for the Teaching-Method Reformation of Degree Students Based on PBL Theory
Enhancing Local Linear Models Using Functional Connectivity for Brain State Decoding
Optical Flow-Based Weighted Magnitude and Direction Histograms for the Detection of Abnormal Visual Events Using Combined Classifier
Robust Independent Component Analysis for Cognitive Informatics
Cancelable Fusion of Face and Ear for Secure Multi-Biometric Template
Research on Landing Risk Assessment for Carrier-Based Aircrafts by M-V Multiattribute Decision-Making
A Classification Framework of Identifying Major Documents With Search Engine Suggestions and Unsupervised Subtopic Clustering
Research on English Literature Smart Classroom Based on AI
On Hierarchical Content-Based Image Retrieval by Dynamic Indexing and Guided Search
A Comprehensive Performance Analysis of Various Classifier Models for Coronary Artery Disease Prediction
Design and Optimization of Big Data Image Recognition System Based on Deep Learning
The Construction and Optimization of an AI Education Evaluation Indicator Based on Intelligent Algorithms
The Cognitive Processes of Formal Inferences
Measuring the Semantic Relatedness Between Images Using Social Tags
Study on Business Intelligence and Mode Innovation Based on Big Data
Formal Descriptions of Cognitive Processes of Perceptions on Spatiality, Time, and Motion
Broad Autoencoder Features Learning for Classification Problem
Developmental Trajectory of the American Yacht Clubs: Using Temporal-Spatial Analysis and Regression Model
Efficacy of Deep Neural Embeddings-Based Semantic Similarity in Automatic Essay Evaluation
A Hypernetwork-Based Feature Selection Method for EEG Classification
Artificial Neural Networks that Classify Musical Chords
Important Attributes Selection Based on Rough Set for Speech Emotion Recognition
An Improved Cuckoo Search Algorithm With Stud Crossover for Chinese TSP Problem
Symmetry vs. Duality in Logic: An Interpretation of Bi-Logic to Model Cognitive Processes Beyond Inference
Entropy and Algorithm of Obtaining Decision Trees in a Way Approximated to the Natural Intelligence
Implanted Cardiac Pacemaker Mathematical Modeling and Research based on the Volume Conduction
Filtering Infrequent Behavior in Business Process Discovery by Using the Minimum Expectation
Exploring the Relationship Between Conception of Language Learning and Foreign Language Learning Burnout: An Empirical Study Among University Students
Distributed and Fair Beacon Power and Beaconing Rate Adaptation Based on Game Theoretic Approach for Connected Vehicles
Modeling a Secure Sensor Network Using an Extended Elementary Object System
An Evaluation Method of Relative Reducts Based on Roughness of Partitions
An Improved Bat Algorithm With Time-Varying Wavelet Perturbations for Cloud Computing Resources Scheduling
Pavement Crack Detection and Identification Based on Improved YOLOv8
Modeling Underwater Structures
A Computational Simulation of the Cognitive Process of Children Knowledge Acquisition and Memory Development
An Operational Semantics of Real-Time Process Algebra (RTPA)
Development of an Ontology for an Industrial Domain
On Cognitive Foundations and Mathematical Theories of Knowledge Science
Towards the Cognitive Informatics of Natural Language: The Case of Computational Humor
Research on the Application of Network Sensing Technology and Virtual Reality Technology in Piano Teaching
Unveiling the Cognitive Mechanisms of Eyes: The Visual Sensor Vs. the Perceptive Browser of the Brain
Foundations of Nonconventional Neural Units and their Classification
Neural Network Audience Analysis and CAD-Based Teaching for Intangible Cultural Heritage Dance
Event Detection and Classification for Fiber Optic Perimeter Intrusion Detection System
Cognitive Support Tools for a Pre-Performance Routine in a Darts Game
On System Algebra: A Denotational Mathematical Structure for Abstract System Modeling
Scaling Behavior of Maximal Repeat Distributions in Genomic Sequences
Learning Trajectory Patterns via Canonical Correlation Analysis
An Acquisition Model of Deep Textual Semantics Based on Human Reading Cognitive Process
Application of Virtual Reality Technology Based on Convolutional Neural Network in Digital Media Art Creation
DNA Epidemic Model Construction and Dynamics Optimization
Application of an Encoding Revision Algorithm in Overlapping Coalition Formation
Deductive Semantics of RTPA
Localization Algorithm Based on a Spring Particle Model (LASPM) for Large-Scale Unmanned Aerial Vehicle Swarm (UAVs)
Reverse Pyramid Attention Guidance Network for Person Re-Identification
An Agent System to Manage Knowledge in CoPs
English Listening Prediction Strategy Based on Deep Learning and Its Training Methodology
Improved Model Based on GoogLeNet and Residual Neural Network ResNet
An Energy Computing Method Inspired from Visual Cognitive Function for Dynamic Behavioural Detection in Video Frames
An Improved Firefly Algorithm-Based 2-D Image Thresholding for Brain Image Fusion
Big Data Analytics: A Cognitive Perspectives
Research on the Impact of Geographical Environment on English Learning Based on Machine Learning