Separation of variables in the generalized 4th Appelrot class

We consider the analogue of the 4th Appelrot class of motions of the Kowalevski top for the case of two constant force fields. The trajectories of this family fill the four-dimensional surface O^4 in the six-dimensional phase space. The constants of three first integrals in involution restricted to this surface fill one of the sheets of the bifurcation diagram in R^3. We point out the pair of partial integrals to obtain the explicit parametric equations of this sheet. The induced system on O^4 is shown to be Hamiltonian with two degrees of freedom having the thin set of points where the induced symplectic structure degenerates. The region of existence of motions in terms of the integral constants is found. We provide the separation of variables on O^4 and the algebraic formulae for the initial phase variables.Comment: LaTex, 16 pages, 1 figur

Addendum to `Fake Projective Planes'

The addendum updates the results presented in the paper `Fake Projective Plane, Invent Math 168, 321-370 (2007)' and makes some additions and corrections. The fake projective planes are classified into twenty six classes. Together with a recent work of Donald Cartwright and Tim Steger, there is now a complete list of fake projective planes. There are precisely one hundred fake projective planes as complex surfaces classified up to biholomorphism.Comment: A more refined classification is given in the new versio

Математические журналы и их интернационализация: первый португальский журнал “Jornal de sciencias mathematicas e astronomicas”

The article describes the historical place of the first Portuguese Journal “Jornal de sciencias mathematicas e astronómicas” (Teixeira´s Journal) during the development of the European mathematical community at the end of the 19th century

Updating DL-Lite ontologies through first-order queries

In this paper we study instance-level update in DL-LiteA, the description logic underlying the OWL 2 QL standard. In particular we focus on formula-based approaches to ABox insertion and deletion. We show that DL-LiteA, which is well-known for enjoying first-order rewritability of query answering, enjoys a first-order rewritability property also for updates. That is, every update can be reformulated into a set of insertion and deletion instructions computable through a nonrecursive datalog program. Such a program is readily translatable into a first-order query over the ABox considered as a database, and hence into SQL. By exploiting this result, we implement an update component for DLLiteA-based systems and perform some experiments showing that the approach works in practice.Peer ReviewedPostprint (author's final draft

Application of Simplified Models to Qualitative Geotechnical Analysis

The paper describes an approach for qualifying soil-structure systems behavior, using simple numeric models – “geotoys”, reflecting the main features of the systems behavior and enabling numeric simulation of various case histories. Three case histories of major karstic sinkholes are analyzed to show that man-made structures above a karstic cavity prevent formation sinkhole. When plastic zones reach the structure periphery, the soil-structure system becomes unstable. Prior settlements could be negligible to serve as precursors. Another soil-footing-superstructure (SFSS) model is a 2D geotoy - an exact mathematical solution, used for multiple simulations (about 10,000) of SFSS sensitivity i.e., response to input parameters variations. The sensitivity was rated for each input-output pair [1]. The most interesting findings are the following: 1) SFSS stress state is very sensitive to soil strength parameters c and φ, which are responsible for formation of soil disruption zones (‘plastic zone’) under footing edges. 2) If a structure rests on a homogeneous soil base then it is practically insensitive to soil base compressibility i.e., soil modulus E variations. 3) 3D FEM analysis confirmed that 2D simulations can be used for qualitative SFSS analysis. 4) Geotoys can be used for case histories analysis, risk assessment, training practical intuition, education purposes and international exchange and cooperation