Results 31 to 40 of about 5,074,232 (325)
, 2017 We develop a new semi-algebraic proof system called Stabbing Planes which formalizes modern branch-and-cut algorithms for integer programming and is in the style of DPLL-based modern SAT solvers. As with DPLL there is only a single rule: the current polytope can be subdivided by branching on an inequality and its "integer negation." That is, we can ...
Beame, P +6 more
openaire +5 more sources
Science of Gymnastics JournalThe objective of this study was to investigate in terms of some variables the positional correlation of the press to handstand with eyes open and eyes closed in the right-left sagittal planes in artistic gymnasts.
Sedat Kahya +4 more
doaj +1 more source
#Flygskam : le pouvoir de la honte de prendre l’avion pour gouverner le changement climatique
Lien Social et Politiques, 2021 Le terme suédois flygskam (avion-honte) désigne la honte de prendre l’avion à cause de sa contribution au changement climatique. À partir de 2018, cette honte s’est largement répandue sur les réseaux sociaux (#flygskam) jusqu’à constituer un mouvement de
Lucas Brunet
doaj +1 more source
Atomically Thin CrCl3: An In-Plane Layered Antiferromagnetic Insulator. [PDF]
Nano letters (Print), 2019 The recent discovery of magnetism in atomically thin layers of van der Waals (vdW) crystals has created new opportunities for exploring magnetic phenomena in the two-dimensional (2D) limit.
Xinghan Cai +12 more
semanticscholar +1 more source
Plane extraction for indoor place recognition [PDF]
, 2015 In this paper, we present an image based plane extraction method well suited for real-time operations. Our approach exploits the assumption that the surrounding scene is mainly composed by planes disposed in known directions.
Bloisi, Domenico Daniele +3 more
core +1 more source
Journal of Combinatorial Theory, Series A, 1991 The authors consider a class of translation planes defined as follows. Let \(K\cong GF(q)\) and let \(x^ 2+ax+b\) be an irreducible polynomial over K. Then the set F of matrices of the following form is a field of order \(q^ 2:\) \[ M=\left( \begin{matrix} s\\ -tb\end{matrix} \begin{matrix} t\\ s+ta\end{matrix} \right),\quad s,t\in K. \] Therefore \(F^*
Johnson, N.L, Pomareda, R, Wilke, F.W
openaire +1 more source
GRAPHO-ANALYTICAL STUDIES OF LINIAR EQUATION SYSTEMS
Journal of Industrial Design and Engineering Graphics, 2016 The paper presents the solving of linear three variables system using two methods: analytic and graphic methods. The solving of a such system implies four cases: compatible system with unique solution, simple-indeterminate compatible system, double ...
Marin Dumitru, Ligia Petrescu
doaj +2 more sources
Observations of the Nickel Layer in the Mesopause Region at Mid-Latitudes [PDF]
EPJ Web of Conferences, 2020 Observations of the mesospheric Ni layer have been performed by lidar in January-March 2018 at Kuehlungsborn/Germany (54°N, 12°E). These soundings provide only the second Ni data set after initial observations by Collins et al. at Chatanika/Alaska (65°N,
Gerding Michael +2 more
doaj +1 more source
, 2013 Correlators between event planes of different harmonics in relativistic heavy-ion collisions have the potential to provide crucial information on the initial state of the matter formed in these collisions.
Bhalerao, Rajeev S. +2 more
core +4 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT We sought to identify potential early risk biomarkers for lung disease in children post‐allogeneic HCT. Patients with pulmonary function tests 3 months post‐transplant and plasma samples between days 7 and 14 post‐HCT were included. Six of 27 subjects enrolled had reduced forced expiratory volume 1 (FEV1) z scores.
Isabella S. Small +3 more
wiley +1 more source