3,326 research outputs found
A 3D Face Modelling Approach for Pose-Invariant Face Recognition in a Human-Robot Environment
Face analysis techniques have become a crucial component of human-machine
interaction in the fields of assistive and humanoid robotics. However, the
variations in head-pose that arise naturally in these environments are still a
great challenge. In this paper, we present a real-time capable 3D face
modelling framework for 2D in-the-wild images that is applicable for robotics.
The fitting of the 3D Morphable Model is based exclusively on automatically
detected landmarks. After fitting, the face can be corrected in pose and
transformed back to a frontal 2D representation that is more suitable for face
recognition. We conduct face recognition experiments with non-frontal images
from the MUCT database and uncontrolled, in the wild images from the PaSC
database, the most challenging face recognition database to date, showing an
improved performance. Finally, we present our SCITOS G5 robot system, which
incorporates our framework as a means of image pre-processing for face
analysis
Lower Bounds for Heights in Relative Galois Extensions
The goal of this paper is to obtain lower bounds on the height of an
algebraic number in a relative setting, extending previous work of Amoroso and
Masser. Specifically, in our first theorem we obtain an effective bound for the
height of an algebraic number when the base field is a
number field and is Galois. Our second result
establishes an explicit height bound for any non-zero element which is
not a root of unity in a Galois extension , depending on
the degree of and the number of conjugates of
which are multiplicatively independent over . As a consequence, we
obtain a height bound for such that is independent of the
multiplicative independence condition
Recommended from our members
Divergent drivers of leaf trait variation within species, among species, and among functional groups.
Understanding variation in leaf functional traits-including rates of photosynthesis and respiration and concentrations of nitrogen and phosphorus-is a fundamental challenge in plant ecophysiology. When expressed per unit leaf area, these traits typically increase with leaf mass per area (LMA) within species but are roughly independent of LMA across the global flora. LMA is determined by mass components with different biological functions, including photosynthetic mass that largely determines metabolic rates and contains most nitrogen and phosphorus, and structural mass that affects toughness and leaf lifespan (LL). A possible explanation for the contrasting trait relationships is that most LMA variation within species is associated with variation in photosynthetic mass, whereas most LMA variation across the global flora is associated with variation in structural mass. This hypothesis leads to the predictions that (i) gas exchange rates and nutrient concentrations per unit leaf area should increase strongly with LMA across species assemblages with low LL variance but should increase weakly with LMA across species assemblages with high LL variance and that (ii) controlling for LL variation should increase the strength of the above LMA relationships. We present analyses of intra- and interspecific trait variation from three tropical forest sites and interspecific analyses within functional groups in a global dataset that are consistent with the above predictions. Our analysis suggests that the qualitatively different trait relationships exhibited by different leaf assemblages can be understood by considering the degree to which photosynthetic and structural mass components contribute to LMA variation in a given assemblage
Quantum teleportation on a photonic chip
Quantum teleportation is a fundamental concept in quantum physics which now
finds important applications at the heart of quantum technology including
quantum relays, quantum repeaters and linear optics quantum computing (LOQC).
Photonic implementations have largely focussed on achieving long distance
teleportation due to its suitability for decoherence-free communication.
Teleportation also plays a vital role in the scalability of photonic quantum
computing, for which large linear optical networks will likely require an
integrated architecture. Here we report the first demonstration of quantum
teleportation in which all key parts - entanglement preparation, Bell-state
analysis and quantum state tomography - are performed on a reconfigurable
integrated photonic chip. We also show that a novel element-wise
characterisation method is critical to mitigate component errors, a key
technique which will become increasingly important as integrated circuits reach
higher complexities necessary for quantum enhanced operation.Comment: Originally submitted version - refer to online journal for accepted
manuscript; Nature Photonics (2014
Completeness for a First-order Abstract Separation Logic
Existing work on theorem proving for the assertion language of separation
logic (SL) either focuses on abstract semantics which are not readily available
in most applications of program verification, or on concrete models for which
completeness is not possible. An important element in concrete SL is the
points-to predicate which denotes a singleton heap. SL with the points-to
predicate has been shown to be non-recursively enumerable. In this paper, we
develop a first-order SL, called FOASL, with an abstracted version of the
points-to predicate. We prove that FOASL is sound and complete with respect to
an abstract semantics, of which the standard SL semantics is an instance. We
also show that some reasoning principles involving the points-to predicate can
be approximated as FOASL theories, thus allowing our logic to be used for
reasoning about concrete program verification problems. We give some example
theories that are sound with respect to different variants of separation logics
from the literature, including those that are incompatible with Reynolds's
semantics. In the experiment we demonstrate our FOASL based theorem prover
which is able to handle a large fragment of separation logic with heap
semantics as well as non-standard semantics.Comment: This is an extended version of the APLAS 2016 paper with the same
titl
The development of the Meaning in Life Index (MILI) and its relationship with personality and religious behaviours and beliefs among UK undergraduate students
The scales available for assessing meaning in life appear to be confounded with several related constructs, including purpose in life, satisfaction with life, and goal-directed behaviour. The Meaning in Life Index (MILI), a new instrument devised as a specific measure of meaning in life, was developed from responses to a pool of 22 items rated by a sample of 501 undergraduate students in Wales. The nine-item scale demonstrated sufficient face validity, internal consistency, and scale reliability to commend the instrument for future use. With respect to personality, the MILI scores were most strongly predicted by neuroticism (negatively), and less strongly by extraversion (positively) and psychoticism (negatively). With respect to several religious behavioural variables, those who attended church at least weekly returned significantly higher MILI scores than those who attended church less frequently. Intrinsic religiosity was the only orientation to be significantly associated with the MILI scale scores, although the magnitude of the association was smaller than anticipated. These results suggest that meaning in life is associated more strongly with individual differences in personality than with specific religious behaviours and attitudes. The implications of these results are discussed in terms of individual's personal values and attitudes that might underlie their experience of a meaning in life
Physical Activity Characteristics across GOLD Quadrants Depend on the Questionnaire Used
BACKGROUND:The GOLD multidimensional classification of COPD severity combines the exacerbation risk with the symptom experience, for which 3 different questionnaires are permitted. This study investigated differences in physical activity (PA) in the different GOLD quadrants and patient's distribution in relation to the questionnaire used. METHODS:136 COPD patients (58±21% FEV1 predicted, 34F/102M) completed COPD assessment test (CAT), clinical COPD questionnaire (CCQ) and modified Medical Research Council (mMRC) questionnaire. Exacerbation history, spirometry and 6MWD were collected. PA was objectively measured for 2 periods of 1 week, 6 months apart, in 5 European centres; to minimise seasonal and clinical variation the average of these two periods was used for analysis. RESULTS:GOLD quadrants C+D had reduced PA compared with A+B (3824 [2976] vs. 5508 [4671] steps.d-1, p<0.0001). The choice of questionnaire yielded different patient distributions (agreement mMRC-CAT κ = 0.57; CCQ-mMRC κ = 0.71; CCQ-CAT κ = 0.72) with different clinical characteristics. PA was notably lower in patients with an mMRC score ≥2 (3430 [2537] vs. 5443 [3776] steps.d-1, p <0.001) in both the low and high risk quadrants. CONCLUSIONS:Using different questionnaires changes the patient distribution and results in different clinical characteristics. Therefore, standardization of the questionnaire used for classification is critical to allow comparison of different studies using this as an entry criterion. CLINICAL TRIAL REGISTRATION:ClinicalTrials.gov NCT01388218
Estimating Dynamic Gait Stability Using Data from Non-aligned Inertial Sensors
Recently, two methods for quantifying the stability of a dynamical system have been applied to human locomotion: local stability (quantified by finite time maximum Lyapunov exponents, λs and λL) and orbital stability (quantified by maximum Floquet multipliers, MaxFm). In most studies published to date, data from optoelectronic measurement systems were used to calculate these measures. However, using wireless inertial sensors may be more practical as they are easier to use, also in ambulatory applications. While inertial sensors have been employed in some studies, it is unknown whether they lead to similar stability estimates as obtained with optoelectronic measurement systems. In the present study, we compared stability measures of human walking estimated from an optoelectronic measurement system with those calculated from an inertial sensor measurement system. Subjects walked on a treadmill at three different speeds while kinematics were recorded using both measurement systems. From the angular velocities and linear accelerations, λs, λL, and MaxFm were calculated. Both measurement systems showed the same effects of walking speed for all variables. Estimates from both measurement systems correlated high for λs and λL, (R > 0.85) but less strongly for MaxFm (R = 0.66). These results indicate that inertial sensors constitute a valid alternative for an optoelectronic measurement system when assessing dynamic stability in human locomotion, and may thus be used instead, which paves the way to studying gait stability during natural, everyday walking
- …