cobyqa/cobyqa
A derivative-free solver for general nonlinear optimization. (⭐ 52)
A derivative-free solver for general nonlinear optimization. (⭐ 52)
The Lens (formerly Patent Lens) is a free, searchable online database of patents and scholarly literature, provided by Cambia, a non-profit organisation
Stable infiniteness, strong finite witnessability, and smoothness are model-theoretic properties relevant to theory combination in satisfiability modulo theories. Theories that are strongly finitely witnessable and smooth are called strongly polite a...
ISO: Man willing to relocate to Middle Tennessee with me and build a peaceful, slightly feral domestic life. Important geographic note: TN is non-negotiable. My family is there and I am not negotiati...
A q-ary linear code of dimension k is called a maximum weight spectrum (MWS) code if it has the maximum possible number (viz. (q^k-1)/(q-1)) of different non-zero weights. We construct MWS codes from quasi-minimal codes, thus obtaining of much shorte...
Patients with amyotrophic lateral sclerosis (ALS) in the completely locked-in state (CLIS) can lose all reliable motor control and are left without any means of communication. It remains unknown whether non-invasive electroencephalogram (EEG) based b...
We prove that large cardinals need not generally exhibit their large cardinal nature in HOD. For example, a supercompact cardinal $κ$ need not be weakly compact in HOD, and there can be a proper class of supercompact cardinals in $V$, none of them w...
We comment on a recent work by Nonomura and Hu who simulated the 3D XY model for a type-II superconductor in an applied magnetic field, in the presence of uncorrelated point randomness. We clarify the nature of the "vortex slush" state that they fo...
Long time fan of TØP, my first show was years ago in high school for the Blurryface tour. I've been to three since then, Bandito, Takeover, and yesterday I was in Charlotte for Icy. I was in the pit ...
We summarize the usual implementations of the large $N$ limit of $O(N)$ models and show in detail why and how they can miss some physically important fixed points when they become singular in the limit $N\to\infty$. Using Wilson's renormalization gro...
We show that at $N=\infty$ and below its upper critical dimension, $d<d_{\rm up}$, the critical and tetracritical behaviors of the O($N$) models are associated with the same renormalization group fixed point (FP) potential. Only their derivatives mak...
Non-destructive methods are essential for linking the microstructural geometry of porous materials to their mechanical behavior, as destructive testing is often infeasible due to limited material availability or irreproducible conditions. Micro-compu...
This scientific essay proposes to discuss the physical aspects of a system consisting of some non-relativistic massive charged particles, that are the sources in motion of an electromagnetic field (e.m.) propagating through the space, filled by a lin...
Quantum bit seal is a way to encode a classical bit quantum mechanically so that everyone can obtain non-zero information on the value of the bit. Moreover, such an attempt should have a high chance of being detected by an authorized verifier. Sure...
We discuss how to embed quantum nonlocality in an approximately classical spacetime background, a question which must be answered irrespective of any underlying microscopic theory of spacetime. We argue that, in deterministic hidden-variables theor...
In mathematics, the absolute value or modulus of a real number x {\displaystyle x} , denoted | x | {\displaystyle |x|} , is the (non-negative) magnitude
Based on the consideration of naturalness and physical facts in Einstein's theories of relativity, a nontrivial spacetime physical picture, which has a slight difference from the standard one, is introduced by making a further distinction on the abso...
Starting from an ancient observation of Tits concerning the interpretation of symmetric groups as Chevalley groups over a (non-existing) field having only one element, we describe combinatorial geometry over this field, as well as Linear Algebra. We...
A plank is the part of space between two parallel planes. The following open problem, posed 45 years ago, can be viwed as the converse of Tarski's plank problem (Bang's theorem): Is it true that if the total width of a collection of planks is suffici...
In this work, we present a combinatorial, deterministic single-pass streaming algorithm for the problem of maximizing a submodular function, not necessarily monotone, with respect to a cardinality constraint (SMCC). In the case the function is monoto...