This paper examines the problem of obtaining a $D(4)$-quadruple by adding a smaller element to a $D(4)$-triple. We prove some relations between elements of observed hypothetical $D(4)$-quadruples under which conjecture of the uniqueness of such an ex...
A popular numerical method to compute SOS (sum of squares of polynomials) decompositions for polynomials is to transform the problem into semi-definite programming (SDP) problems and then solve them by SDP solvers. In this paper, we focus on reducing...
Grover search is one of the most important quantum algorithms. In this paper, we consider a kind of search that the conditions of satisfaction $T$ can be rewritten as $T=T_1\bigcap T_2$. Then we present a new Grover search with smaller oracles. The t...
This paper investigates video game identification through single screenshots, utilizing ten convolutional neural network (CNN) architectures (VGG16, ResNet50, ResNet152, MobileNet, DenseNet169, DenseNet201, EfficientNetB0, EfficientNetB2, EfficientNe...
Can the look and the feel of a website give information about the trustworthiness of an article? In this paper, we propose to use a promising, yet neglected aspect in detecting the misinformativeness: the overall look of the domain webpage. To captur...
This paper proposes a method to probabilistically quantify the moments (mean and variance) of excavated material during excavation by aggregating the prior moments of the grade blocks around the given bucket dig location. By modelling the moments as...
A collection of research and application papers of (uncertainty) calibration techniques. (⭐ 343)
The open question, P=NP?, was presented by Cook (1971). In this paper, a proof that P is not equal to NP is presented. In addition, it is shown that P is not equal to the intersection of NP and co-NP. Finally, the exact inclusion relationships betw...
This paper focuses on two disparate aspects of German syntax from the perspective of parallel grammar development. As part of a cooperative project, we present an innovative approach to auxiliaries and multiple genitive NPs in German. The LFG-based...
Tensorflow implementation of the paper "Deep Laplacian Pyramid Networks for Fast and Accurate Super-Resolution" (⭐ 105)
This paper presents a convex optimization framework to compute the minimum-lap-time control strategies of all-wheel drive (AWD) battery electric race cars, accounting for the grip limitations of the individual tyres. Specifically, we first derive the...
This paper has been withdrawn by the authors because of an error in the proof. We can, however, prove a weaker spatial fall-off that is still superlinear, namely exp[-x log x]....
The Eleventh Workshop on Logic Programming Environments (WLPE'01) was one in a series of international workshops in the topic area. It was held on December 1, 2001 in Paphos, Cyprus as a post-conference workshop at ICLP 2001. Eight refereed papers...
3 days ago · Former Rep. Anthony Weiner is starting to plan a political comeback, filing paperwork with the city’s Campaign Finance Board to run for a City Council seat on Manhattan’s Lower East Side....
This directory contains the MATLAB code for the paper Reconstructing higher-order interactions in coupled dynamical systems by Federico Malizia, Alessandra Corso, Lucia Valentina Gambuzza, Giovanni Russo, Vito Latora, Mattia Frasca, Nature Communications 2024…
In this paper we develop a reduction procedure for determining exact wave solutions of first order quasilinear hyperbolic one-dimensional nonhomogeneous systems. The approach is formulated within the theoretical framework of the method of differentia...
An intriguing phenomenon in many instances of compressed sensing is that the reconstruction quality is governed not just by the overall sparsity of the signal, but also on its structure. This paper is about understanding this phenomenon, and demonstr...
In the last few years, the concepts of stability and Clifford regularity have been fruitfully extended by using star operations. In this paper we deepen the study of star stable and star regular domains and relate these two classes of domains to each...
In the last few years, the concepts of stability and Clifford regularity have been fruitfully extended by using star operations. In this paper we study and put in relation these properties for Noetherian and Mori domains, substantially improving seve...
Mandatory «re-watching the movies» disclaimer. But I am watching Phantom Menace and Darth Maul was «on paper» sent to protect the trade federation on Naboo but its obvious he is there to keep Sid...