28-1-20, Nieuport devant la mairie [voyage présidentiel de M. Raymond Poincaré] : [photographie de presse] / [Agence Rol]

Référence bibliographique : Rol, 57785

Genetic parameters for growth traits in pigs estimated using third degree polynomial functions

Selostus: Sian kasvuominaisuuksien perinnölliset tunnusluvut arvioituna kolmannen asteen polynomifunktion avulla

28-1-20, voyage présidentiel [M. Raymond Poincaré] à Nieuport : [photographie de presse] / [Agence Rol]

Référence bibliographique : Rol, 57780

28-1-20, voyage présidentiel à Nieuport [M. Raymond Poincaré] : [photographie de presse] / [Agence Rol]

Référence bibliographique : Rol, 57788

The groups of Poincaré and Galilei in arbitrary dimensional spaces

In arbitrary dimensional spaces the Lie algebra of the Poincaré group is seen to be a subalgebra of the complex Galilei algebra, while the Galilei algebra is a subalgebra of Poincar algebra. The usual contraction of the Poincar to the Galilei group is seen to be equivalent to a certain coordinate transformation.

Poincaré is a subgroup of Galilei in one space dimension more

Through an imaginary change of coordinates, the ordinary Poincar algebra is shown to be a subalgebra of the Galilei one in four space dimensions. Through a subsequent contraction the remaining Lie generators are eliminated in a natural way. An application of these results to connect Galilean and relativistic field equations is discussed.

Poincar-Cartan integral invariant and canonical transformation for singular lagrangians

In this work we develop the canonical formalism for constrained systems with a finite number of degrees of freedom by making use of the PoincarCartan integral invariant method. A set of variables suitable for the reduction to the physical ones can be obtained by means of a canonical transformation. From the invariance of the PoincarCartan integral under canonical transformations we get the form of the equations of motion for the physical variables of the system.

Poincar wave equations as Fourier transformations of Galilei wave equations

The relationship between the Poincar and Galilei groups allows us to write the Poincar wave equations for arbitrary spin as a Fourier transform of the Galilean ones. The relation between the Lagrangian formulation for both cases is also studied.

Poincar-Cartan intregral invariant and canonical trasformation for singular Lagrangians: an addendum

The results of a previous work, concerning a method for performing the canonical formalism for constrained systems, are extended when the canonical transformation proposed in that paper is explicitly time dependent.

Realizations of Poincar group induced by second order differential systems. Non interaction theorem

A generalization of the predictive relativistic mechanics is studied where the initial conditions are taken on a general hypersurface of M4. The induced realizations of the Poincar group are obtained. The same procedure is used for the Galileo group. Noninteraction theorems are derived for both groups.

SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.

Symmetric periodic orbits near heteroclinic loops at infinity for a class of polynomial vector fields

For polynomial vector fields in R3, in general, it is very difficult to detect the existence of an open set of periodic orbits in their phase portraits. Here, we characterize a class of polynomial vector fields of arbitrary even degree having an open set of periodic orbits. The main two tools for proving this result are, first, the existence in the phase portrait of a symmetry with respect to a plane and, second, the existence of two symmetric heteroclinic loops.