From 3D points We first detect 3D points that are on the floor, ceiling or walls, based on their positions and normals. A 3D point is detected to be on the floor if the point is at the floor height and its normal is along the up direction, allowing an error of 0.3m and 15 degrees, respectively. Points on the ceiling are detected in the same way. A 3D point belongs to a wall if its height is bet...

Extending techniques in Dowd (Information and Computation vol. 96 (1992)) and those in Poizat (J. Symbolic Logic vol. 51 (1986)), we study computational complexity of rTAUT [A] in the case when A is a generic oracle, where r is a positive integer and rTAUT [A] denotes the collection of all r-query tautologies with respect to an oracle A. We introduce the notion of ceiling-generic oracles, as a ...

Despite the evidence of female progress with regard to women’s role in the labor market, gender inequality remains. Women are still less likely to be employed than men, occupational gender segregation continues, and females continue to earn less than males. The gender wage gap remains wide in several occupational sectors, among which is the information technology (IT) sector. This paper focuses...

In the dismantling works of office interiors for renewal, a robotic system is needed in order to assist the human workers engaged in this kind of job. Regarding to the items in the ceiling side, after a dismantling task of the ceiling boards, it is necessary to remove the screws that once held these boards to the Light Gauge Steel (LGS) with the purpose of reusing. At first, the paper presents ...

Desde hace años se habla de la existencia de un techo de cristal que dificulta o impide, incluso en los paı́ses desarrollados, el progreso profesional de la mujer y su presencia en los puestos decisivos. Esta metáfora, que representa las barreras no siempre evidentes al desarrollo profesional de las mujeres, la podemos trasladar a nuestro Sistema Nacional de Salud (SNS) para describir la princip...

trophins [OR 0.89 (95% CI 0.65±1.22)]. (Figure 2). In addition, recalculating the clinical pregnancy rate per cycle started after extracting the correct data from the paper of The European and Israeli Study Group on highly puri®ed hMG versus rFSH (2002) would result in OR 95% CI that reached unity, meaning that there is no statistically signi®cant difference between both types of gonadotrophins...

It is known that, for given integers s ≥ 0 and j > 0, the nested recursion R(n) = R(n−s−R(n− j))+R(n−2j−s−R(n−3j)) has a closed form solution for which a combinatorial interpretation exists in terms of an infinite, labeled tree. For s = 0, we show that this solution sequence has a closed form as the sum of ceiling functions C(n) = ∑j−1 i=0 ⌈

Using data from 1998, we show that the gender log wage gap in Sweden increases throughout the wage distribution and accelerates in the upper tail of the distribution, which we interpret as a glass ceiling effect. Using earlier data, we show that the same pattern held at the beginning of the 1990’s but not in the prior two decades. Further, we do not find this pattern either for the log wage gap...

We present a case study in formal specification and toolassisted verification of real-time schedulers, based on the priority ceiling protocol. Starting from operational specifications of the protocol, we obtain rigorous proofs of both synchronization and timing properties, and we derive a schedulability result for sporadic tasks.