搜索结果：Memoirs

We review Euler's work on spherical geometry. After an introduction concerning the general place that trigonometric formulae occupy in geometry, we start by the two memoirs of Euler on spherical trigonometry, in which he establishes the trigonometric formulae using different methods, namely, the calculus of variations in the first memoir, and classical methods of solid geometry in the other. In another memoir, Euler gives several formulae for the area of a spherical triangle in terms of its side lengths (these are ``spherical Heron formulae''). He uses this in the computation of numerical values of the solid angles of the five regular polyhedra, which is his goal in his memoir. We then review memoirs in which Euler systematically starts by establishing a theorem or a construction in Euclidean geometry and then proves an analogue in spherical geometry. We point out relations between Euler's memoirs on spherical trigonometry and works he did in astronomy, on the problem of drawing geographical maps, and in geomagnetism. We also review some other works of Euler involving spheres, including a memoir on the three-dimensional Apollonius problem and others concerning algebraic curves on t

We review the memoir \emph{heorie der Parallellinien} by Johann Heinrich Lambert, written in 1766. Lambert, a victim of the prejudices of his time, conceived this memoir as an attempt to prove the so-called parallel postulate of Euclid's \emph{Elements}, and consequently, the non-existence of the geometry that we now call hyperbolic geometry. In fact, by developing the foundations of a geometry obtained by replacing the parallel postulate with its negation while keeping Euclid's other postulates unchanged, Lambert was hoping to arrive at a contradiction. Of course, he failed in his endeavor, but these attempts at proving the parallel postulate implicitly contain, without Lambert having foreseen it, fundamental results of hyperbolic geometry, the discovery of which, by Lobachevsky, Bolyai and Gauss, was not to take place until the following century. Thus, Lambert's memoir (which he did not intend to publish but which was eventually published in 1895) constitutes one of the founding texts of non-Euclidean geometry. Spherical geometry is one of the three geometries of constant curvature, the other two being Euclidean geometry and hyperbolic geometry. In this sense, along with hyperbol

In this paper, we investigate the notions of almost Noetherian rings and modules. In details, we give the Cohen type theorem, Eakin-Nagata type theorem, Kaplansky type Theorem and Hilbert basis theorem and some other rings constructions for almost Noetherian rings. In particular, we resolve a question proposed in \cite[9, B. Zavyalov, {\it Almost coherent modules and almost coherent sheaves}, Memoirs of the European Mathematical Society 19. Berlin: European Mathematical Society (EMS), 2025] under a certain condition.

We provide some historical context to the study of solid angles carried out by Euler in his memoir \emph{De mensura angulorum solidorum} (On the measure of solid angles). We extend our study to the general notion of angle (not only solid). While doing so, we explore some works by Ancient Greek mathematicians and others by Arabs mathematicians of the Middle-Ages as well as some later Western authors from the Renaissance. In particular, we review the Pythagorean anthyphairetical perspective on angles which establishes the basis of the important relation between the mathematical notion of angle and the philosophical concept of finitization of the Infinite. In doing so, we shall show that questions addressed by Euler lead us to questions raised about 2500 years ago. At the same time, we highlight the fact that mathematics in those times is also today's mathematics. The reader can also see in this study the intermingling between mathematics and philosophy. This paper will appear in the book \emph{Spherical geometry in the Eighteenth Century, I: Euler, Lagrange and Lambert}, ed. R. Caddeo and A. Papadopoulos, Springer, 2026.

Language models deployed in real-world systems often require post-hoc updates to incorporate new or corrected knowledge. However, editing such models efficiently and reliably-without retraining or forgetting previous information-remains a major challenge. Existing methods for lifelong model editing either compromise generalization, interfere with past edits, or fail to scale to long editing sequences. We propose MEMOIR, a novel scalable framework that injects knowledge through a residual memory, i.e., a dedicated parameter module, while preserving the core capabilities of the pre-trained model. By sparsifying input activations through sample-dependent masks, MEMOIR confines each edit to a distinct subset of the memory parameters, minimizing interference among edits. At inference, it identifies relevant edits by comparing the sparse activation patterns of new queries to those stored during editing. This enables generalization to rephrased queries by activating only the relevant knowledge while suppressing unnecessary memory activation for unrelated prompts. Experiments on question answering, hallucination correction, and out-of-distribution generalization benchmarks for LLaMA-3 and

Covert channel attacks have been continuously studied as severe threats to modern computing systems. Software-based covert channels are a typically hard-to-detect branch of these attacks, since they leverage virtual resources to establish illegitimate communication between malicious actors. In this work, we present MeMoir: a novel software-driven covert channel that, for the first time, utilizes memory usage as the medium for the channel. We implemented the new covert channel on two real-world platforms with different architectures: a general-purpose Intel x86-64-based desktop computer and an ARM64-based embedded system. Our results show that our new architecture- and hardware-agnostic covert channel is effective and achieves moderate transmission rates with very low error. Moreover, we present a real use-case for our attack where we were able to communicate information from a Hyper-V virtualized enviroment to a Windows 11 host system. In addition, we implement a machine learning-based detector that can predict whether an attack is present in the system with an accuracy of more than 95% with low false positive and false negative rates by monitoring the use of system memory. Finally

A short essay on the life and mathematical heritage of Coble. A substantially edited version will be part of the series of biographical memoirs of past members of the National Academy of Sciences. Version 2: minor changes. Version 3. Typo corrected.

David Brink was one of the leading theoretical nuclear physicists of his generation. He made major contributions to the study of all aspects of nuclear physics embracing nuclear structure, nuclear scattering, and nuclear instability. His wide ranging interests and interactions with theorists and experimentalists alike helped him in providing both theoretical analysis and interpretations and suggesting experiments. He had the gift of visualising complex problems in simple terms and provided clear analysis of the underlying processes. He was an expert on the use of semi-classical methods which provided an intuitively clear picture of complex phenomena. His research work and books are characterised by scientific clarity, transparency, and depth. David possessed outstanding skills in mathematical computation, and he was an expert on special functions, group theory, and the Feynman path integral method. David had many research students and collaborated with a large number of scientists from across the world, for whom he was a source of scientific and human inspiration and admiration. His most fundamental belief was that research was a means of trying to discover and understand the beaut

These are notes on the impact of Lagrange's memoir on the construction of geographical maps. We mention the relations of some ideas and questions introduced in this memoir with other notions that appeared later in the works of several mathematicians, including in particular Chebyshev (19th c.) and Darboux (19th-20th c.), two mathematicians who were particularly interested in geography.

G.F. Voronoi (1868-1908) wrote two memoirs in which he describes two reduction theories for lattices, well-suited for sphere packing and covering problems. In his first memoir a characterization of locally most economic packings is given, but a corresponding result for coverings has been missing. In this paper we bridge the two classical memoirs. By looking at the covering problem from a different perspective, we discover the missing analogue. Instead of trying to find lattices giving economical coverings we consider lattices giving, at least locally, very uneconomical ones. We classify local covering maxima up to dimension 6 and prove their existence in all dimensions beyond. New phenomena arise: Many highly symmetric lattices turn out to give uneconomical coverings; the covering density function is not a topological Morse function. Both phenomena are in sharp contrast to the packing problem.

Carlini's career was mainly dedicated to astronomy, but he was also a particularly skilled mathematician. In this article we collect and analyse his mathematical contributions in detail. In particular, in his important Memoir of the year 1817 devoted to Kepler's equation he introduced an innovative idea to solve ordinary differential equations with singular perturbations by means of asymptotic expansions. In the same Memoir also appeared, five years before Laplace's contributions, what is usually called the Laplace limit constant. Furthermore, Carlini published other mathematical Memoirs anticipating, 70 years in advance, the importance of complex branches of the Lambert's special function.

With the aid of the technique of variation of domains developed in Memoirs of Amer. Math. Soc., Vol. 209, No. 984, 2011, we characterize the pseudoconvex domains with smooth boundary in Hopf surfaces which are not Stein.

We show that every connected affine algebraic supergroup defined over a field k, with diagonalizable maximal torus and whose tangent Lie superalgebra is a k-form of a complex simple Lie superalgebra of classical type is a Chevalley supergroup, as it is defined and constructed explicitly in [R. Fioresi, F. Gavarini, "Chevalley Supergroups", Memoirs of the AMS 215 (2012), no. 1014].