14,991 results for Paper

github.com/gfpantoja/NDTM

gfpantoja/NDTM

This is the repository of the paper tittled "The Normalized Direct Trigonometry Model for the Two-Dimensional Irregular Strip Packing Problem" (⭐ 3)

arxiv.org/abs/1712.10138v1

On the Diophantine equation F_{n}-F_{m}=2^{a}

In this paper, we solve Diophantine equation in the tittle in nonnegative integers m,n, and a. In order to prove our result, we use lower bounds for linear forms in logarithms and and a version of the Baker-Davenport reduction method in diophantine a...

arxiv.org/abs/math/0305253v1

The problem of the pawns

In this paper we study the number $M_{m,n}$ of ways to place nonattacking pawns on an $m\times n$ chessboard. We find an upper bound for $M_{m,n}$ and analyse its asymptotic behavior. It turns out that $\lim_{m,n\to\infty}(M_{m,n})^{1/mn}$ exists a...

arxiv.org/abs/2007.14160v2

Hall's Marriage Theorem and Pawn Diagrams

This paper is concerned with unreachable pawn diagrams and the subset of which can be generated using Hall's Marriage Theorem. The result is 1 in 23 diagrams are unreachable by applying the theorem....

arxiv.org/abs/1706.06708v2

Solving the Rubik's Cube Optimally is NP-complete

In this paper, we prove that optimally solving an $n \times n \times n$ Rubik's Cube is NP-complete by reducing from the Hamiltonian Cycle problem in square grid graphs. This improves the previous result that optimally solving an $n \times n \times n...

arxiv.org/abs/1106.5736v1

Algorithms for Solving Rubik's Cubes

The Rubik's Cube is perhaps the world's most famous and iconic puzzle, well-known to have a rich underlying mathematical structure (group theory). In this paper, we show that the Rubik's Cube also has a rich underlying algorithmic structure. Specific...

arxiv.org/abs/2305.10892v2

EventNet-ITA: Italian Frame Parsing for Events

This paper introduces EventNet-ITA, a large, multi-domain corpus annotated full-text with event frames for Italian. Moreover, we present and thoroughly evaluate an efficient multi-label sequence labeling approach for Frame Parsing. Covering a wide ra...

www.bing.com/ck/a?!&&p=896b2b492de95b537a7405f1cdeabd973ffd5432819570bb336d57412e38a386JmltdHM9MTc3MjQ5NjAwMA&ptn=3&ver=2&hsh=4&fclid=399143a8-421d-669f-3e28-54b9434467c3&u=a1aHR0cHM6Ly93d3cud2Vmb3J1bS5vcmcvc3Rvcmllcy8yMDI2LzAxL2FpLWF0LXdvcmstaW5zaWdodHMv&ntb=1

AI at work: Insights from 20 leading technology companies

Jan 15, 2026 · The community paper AI at Work: From Productivity Hacks to Organizational Transformation shows meaningful progress, but also many challenges. AI is raising productivity in …

arxiv.org/abs/2512.13538v1

Distributed Places and Safe Net Reduction

Being able to find small Petri nets with the same behaviour as formal specifications of concurrent systems benefits both effective verification and practical implementation of such systems. This paper considers specifications given in the form of com...

arxiv.org/abs/2307.14141v1

Roadmap towards the redefinition of the second

This paper outlines the roadmap towards the redefinition of the second, which was recently updated by the CCTF Task Force created by the CCTF in 2020. The main achievements and the open challenges related to the status of the optical frequency standa...

arxiv.org/abs/2006.01561v1

Studying The Effect of MIL Pooling Filters on MIL Tasks

There are different multiple instance learning (MIL) pooling filters used in MIL models. In this paper, we study the effect of different MIL pooling filters on the performance of MIL models in real world MIL tasks. We designed a neural network based...