Live User-guided Intrinsic Video For Static Scenes

We present a novel real-time approach for user-guided intrinsic decomposition of static scenes captured by an RGB-D sensor. In the first step, we acquire a three-dimensional representation of the scene using a dense volumetric reconstruction framework. The obtained reconstruction serves as a proxy to densely fuse reflectance estimates and to store user-provided constraints in three-dimensional space. User constraints, in the form of constant shading and reflectance strokes, can be placed directly on the real-world geometry using an intuitive touch-based interaction metaphor, or using interactive mouse strokes. Fusing the decomposition results and constraints in three-dimensional space allows for robust propagation of this information to novel views by re-projection.We leverage this information to improve on the decomposition quality of existing intrinsic video decomposition techniques by further constraining the ill-posed decomposition problem. In addition to improved decomposition quality, we show a variety of live augmented reality applications such as recoloring of objects, relighting of scenes and editing of material appearance

Parenting Among Hispanic and Anglo-American Mothers With Young Children

The authors examined parenting practices and developmental expectations among 38 Hispanic and 38 Anglo-American mothers living in the United States. Mothers of children 3 to 5 years of age completed the Parent Behavior Checklist (R. A. Fox, 1994), a 100-item measure of parents\u27 developmental expectations, discipline, and nurturing practices. In addition, the authors appraised the Hispanic mothers\u27 acculturation and selected them for participation if their scores on an acculturation scale indicated (a) that their lifestyle was predominantly Hispanic and (b) that they had not been assimilated into the dominant culture. The 2 ethnic groups were also divided by socioeconomic status (SES). There were significant main effects for ethnicity and SES on the discipline and nurturing scores but not on the expectations scores. The Hispanic and higher SES mothers reported higher discipline and lower nurturing scores than did the Anglo-American and lower SES mothers. An unexpected finding was the tendency for higher SES Hispanic mothers to report more frequent use of discipline than the other 3 groups

Computer program for calculating aerodynamic characteristics of upper-surface-blowing and over-wing-blowing configurations

The program is based on the inviscid wing-jet interaction theory of Lan and Campbell, and the jet entrainment theory of Lan. In the interaction theory, the flow perturbations are computed both inside and outside the jet, separately, and then matched on the jet surface to satisfy the jet boundary conditions. The jet Mach number is allowed to be different from the free stream value (Mach number nonuniformity). These jet boundary conditions require that the static pressure be continuous across the jet surface which must always remain as a stream surface. These conditions, as well as the wing-surface tangency condition, are satisified only in the linearized sense. The detailed formulation of these boundary conditions is based on the quasi-vortex-lattice method of Lan

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties

In this paper, we formally verify security properties of the ARMv7 Instruction Set Architecture (ISA) for user mode executions. To obtain guarantees that arbitrary (and unknown) user processes are able to run isolated from privileged software and other user processes, instruction level noninterference and integrity properties are provided, along with proofs that transitions to privileged modes can only occur in a controlled manner. This work establishes a main requirement for operating system and hypervisor verification, as demonstrated for the PROSPER separation kernel. The proof is performed in the HOL4 theorem prover, taking the Cambridge model of ARM as basis. To this end, a proof tool has been developed, which assists the verification of relational state predicates semi-automatically

Low-Earth-Orbiter resource allocation and capacity planning for the DSN using LEO4CAST

The Deep Space Network provides tracking and communication services for a number of U.S. and international low-Earth-orbiting (LEO) and near-Earth missions. This service is supplied by the 26-m subnet (located at each of the DSN complexes), the 9-m and the 34-m Antenna Research System antennas at Goldstone, and the 11-m antennas (following the orbital VLBI mission). An increasing number of LEO missions are planned for DSN support, which will result in increasingly complex ground resource allocation and mission support trades. To support TDA decision making on mission support and cost-effective ground system evolution for this 26-m subnet, LEO4CAST has been developed. LEO4CAST is a tool that uses statistical approaches to provide useful information for long-term ground system capacity planning and near-term resource allocation (prior to detailed time-of-day scheduling). LEO4CAST is currently beta-test software and is being exercised by both the Office of Telecommunications and Data Acquisition (TDA) and the JPL Systems Division

Materials for Biomedical Applications

This paper discusses two ceramic material systems for selective laser sintering (SLS) that are being developed for biomedical applications for use in repair of bone defects. SLS is the preferred method of fabricating ceramic implants that exhibit well defined porous microstructures. Implants fabricated in this. manner have proven effective in-vivo showing excellent biocompatibility as well as considerable osseous integration and remodeling of the imp'ant materialMechanical Engineerin

Potentialities of proteinoids for nutritional investigation

Simultaneous synthesis of amino acids and proteinoid production for nutritional investigatio

Multi-filter transit observations of WASP-39b and WASP-43b with three San Pedro M\'artir telescopes

Three optical telescopes located at the San Pedro M\'artir National Observatory were used for the first time to obtain multi-filter defocused photometry of the transiting extrasolar planets WASP-39b and WASP-43b. We observed WASP-39b with the 2.12m telescope in the U filter for the first time, and additional observations were carried out in the R and I filters using the 0.84m telescope. WASP-43b was observed in VRI with the same instrument, and in the i filter with the robotic 1.50m telescope. We reduced the data using different pipelines and performed aperture photometry with the help of custom routines, in order to obtain the light curves. The fit of the light curves (1.5--2.5mmag rms), and of the period analysis, allowed a revision of the orbital and physical parameters, revealing for WASP-39b a period ($4.0552947 \pm 9.65 \times 10^{-7}$ days) which is $3.084 \pm 0.774$ seconds larger than previously reported. Moreover, we find for WASP-43b a planet/star radius ($0.1738 \pm 0.0033$) which is $0.01637 \pm 0.00371$ larger in the i filter with respect to previous works, and that should be confirmed with additional observations. Finally, we confirm no evidence of constant period variations in WASP-43b.Comment: 13 pages, 7 figures, accepted in PASP, scheduled for the February 1, 2015 issu

Deterministic annealing, constrained clustering, and optimization

In previous work the authors (Phys. Rev. Let., vol.65, p.945-8, 1990) proposed the concept of deterministic annealing for the problem of clustering and vector quantization. This approach is summarized. The authors extend the clustering method to the constraint clustering method. Adding constraints to the deterministic annealing mechanism expands the variety of optimization problems which can be solved by this method. A brief presentation of the clustering approach is given. Two examples to which the constraint clustering approach can be applied are included