Detailed Real-Time Urban 3D Reconstruction from Video

The paper presents a system for automatic, geo-registered, real-time 3D reconstruction from video of urban scenes. The system collects video streams, as well as GPS and inertia measurements in order to place the reconstructed models in geo-registered coordinates. It is designed using current state of the art real-time modules for all processing steps. It employs commodity graphics hardware and standard CPU’s to achieve real-time performance. We present the main considerations in designing the system and the steps of the processing pipeline. Our system extends existing algorithms to meet the robustness and variability necessary to operate out of the lab. To account for the large dynamic range of outdoor videos the processing pipeline estimates global camera gain changes in the feature tracking stage and efficiently compensates for these in stereo estimation without impacting the real-time performance. The required accuracy for many applications is achieved with a two-step stereo reconstruction process exploiting the redundancy across frames. We show results on real video sequences comprising hundreds of thousands of frames.     

Verification of evolving software via component substitutability analysis

This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniques for checking correctness of software upgrades: (1) a technique based on simultaneous use of over-and under-approximations obtained via existential and universal abstractions; (2) a dynamic assume-guarantee reasoning algorithm—previously generated component assumptions are reused and altered on-the-fly to prove or disprove the global safety properties on the updated system. When upgrades are found to be non-substitutable, our solution generates constructive feedback to developers showing how to improve the components. The substitutability approach has been implemented and validated in the ComFoRT reasoning framework, and we report encouraging results on an industrial benchmark. This is an extended version of a paper, Dynamic Component Substitutability Analysis, published in the Proceedings of the Formal Methods 2005 Conference, Lecture Notes in Computer Science, vol. 3582, by the same authors. This research was sponsored by the National Science Foundation under grant nos. CNS-0411152, CCF-0429120, CCR-0121547, and CCR-0098072, the Semiconductor Research Corporation under grant no. TJ-1366, the US Army Research Office under grant no. DAAD19-01-1-0485, the Office of Naval Research under grant no. N00014-01-1-0796, the ICAST project and the Predictable Assembly from Certifiable Components (PACC) initiative at the Software Engineering Institute, Carnegie Mellon University. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of any sponsoring institution, the US government or any other entity.     

The effects of boundary conditions on the basal glide of ice crystals in compression

Creep experiments were conducted on ice crystals in compression to investigate the effects of boundary conditions on a single-slip system deformed in plane strain. Friction at the platens of the deformation apparatus introduces a bending moment which causes a variation in the amount of lattice rotation across the specimen. This is shown to occur in mechanically constrained crystals observed through plane polarized light. Relieving the constraints and minimizing friction at the ice-platen contact leads to the widening of the sample near the specimen-platen interface and the production of tails symmetrically disposed about the longitudinal axis of the deformed crystals. This is interpreted to originate from a bending moment in the opposite sense from that obtained in the constrained crystals, resulting from a progressive increase in slip displacement towards the platens where the segments of the slip plane become shorter. When the crystal ends were constrained but allowed to move sideways, a simple shear regime was established in which lattice slip was concentrated in the centre of the crystal.     

Metal-Organic Framework Thin Films Grown on Functionalized Graphene as Solid-State Ion-Gated FETs

The unique properties of 2D-materials like graphene are exploited in various electronic devices. In sensor applications, graphene shows a very high sensitivity, but only a low specificity. This shortcoming can be mastered by using heterostructures, where graphene is combined with materials exhibiting high analyte selectivities. Herein, this study demonstrates the precise deposition of nanoporous metal-organic frameworks (MOFs) on graphene, yielding bilayers with excellent specificity while the sensitivity remains large. The key for the successful layer-by-layer deposition of the MOF films (SURMOFs) is the use of planar polyaromatic anchors. Then, the MOF pores are loaded with ionic liquid (IL). For functioning sensor devices, the IL@MOF films are grown on graphene field-effect transistors (GFETs). Adding a top-gate electrode yields an ion-gated GFET. Analysis of the transistor characteristics reveals a clear Dirac point at low gate voltages, good on-off ratios, and decent charge mobilities and densities in the graphene channel. The GFET-sensor reveals a strong and selective response. Compared to other ion-gated-FET devices, the IL@MOF material is relatively hard, allowing the manufacturing of ultrathin devices. The new MOF-anchoring strategy offers a novel approach generally applicable for the functionalization of 2D-materials, where MOF/2D-material hetero-bilayers carry a huge potential for a wide variety of applications.     

The synthesis of pixelated metamaterial cross polarizer using binary wind driven optimization algorithm

Microsystem Technologies - In this paper synthesis of two wideband Metamaterial Cross Polarizer (MCPs) is proposed. The synthesis of proposed MCPs is done by using Binary Wind Driven Optimization...     

A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems

Journal of Intelligent Manufacturing - The requirements engineering of Industrial Cyber-Physical Systems is extremely challenging due to large system sizes, component heterogeneity, involvement of...     

Development,optimization, and characterization of a novel tea tree oil nanogel using response surface methodology

Purpose: To develop and optimize nanoemulsion (NE)-based emulgel (EG) formulation as a potential vehicle for topical delivery of tea tree oil (TTO).

Methodology: Central composite design was adopted for optimizing the processing conditions for NE preparation by high energy emulsification method viz. surfactant concentration, co-surfactant concentration, and stirring speed. The optimized NE was developed into emulgel (EG) using pH sensitive polymer Carbopol 940 and triethanolamine as alkalizer. The prepared EG was evaluated for its pH, viscosity, and texture parameters, ex vivo permeation at 37?°C and stability. Antimicrobial evaluation of EG in comparison to conventional gel and pure TTO was also carried out against selected microbial strains.

Results and discussion: Optimized NE had particle size and zeta potential of 16.23?±?0.411?nm and 36.11?±?1.234?mV, respectively. TEM analysis revealed the spherical shape of droplets. The pH of EG (5.57?±?0.05?) was found to be in accordance with the range of human skin pH. EG also illustrated efficient permeation (79.58?μL/cm²) and flux value (J_SS) of 7.96?μL cm²/h through skin in 10?h. Viscosity and texture parameters, firmness (9.3?±?0.08?g), spreadability (2.26?±?0.06?mJ), extrudability (61.6?±?0.05?mJ), and adhesiveness (8.66?±?0.08?g) depict its suitability for topical application. Antimicrobial evaluation of EG with same amount of TTO as conventional gel revealed broader zones of growth inhibitions against all the selected microbial strains. Moreover, EG was also found to be nonirritant (PII 0.0833). These parameters were consistent over 90 d.

Conclusion: TTO EG turned out to be a promising vehicle for the topical delivery of TTO with enhanced therapeutic efficacy.     

Neural-network-based classification of Space Acceleration Measurement Systems (SAMS) data via supervised learning

This paper illustrates the applicability of neural networks in classifying events using Space Acceleration Measurement System (SAMS) data. Computer programs have been written in the MATLAB environment for the following purposes: automatic retrieval of SAMS data from NASA CDROM disks, computation of power spectral densities for SAMS data and construction of input patterns for the training of a multi-layer neural network (MNN). The MNN has been trained using the backpropagation learning algorithm and the SAMS data collected on the STS-50 Space Shuttle mission for three crew exercise events. It is found that the trained MNN is highly successful in classifying events. In addition, the performance of MNN is found to be better than that of the nearest neighbor classifier.     

Polynomial based scheme (PBS) for establishing Authentic Associations in Wireless Mesh Networks

The varying degree of mobility of Mesh Clients has provided much more flexibility in Wireless Mesh Networks, and establishing an Authentic Association among entities is a non-trivial problem. In this paper, we introduce a Polynomial Based scheme which provides pair-wise connectivity, low communication, marginal storage overhead and high scalability while making on the fly Authentic Association feasible. The proposed scheme is also observed to be resilient against both traffic analysis and node capture attacks.     

Feature tracking and matching in video using programmable graphics hardware

This paper describes novel implementations of the KLT feature tracking and SIFT feature extraction algorithms that run on the graphics processing unit (GPU) and is suitable for video analysis in real-time vision systems. While significant acceleration over standard CPU implementations is obtained by exploiting parallelism provided by modern programmable graphics hardware, the CPU is freed up to run other computations in parallel. Our GPU-based KLT implementation tracks about a thousand features in real-time at 30 Hz on 1,024 × 768 resolution video which is a 20 times improvement over the CPU. The GPU-based SIFT implementation extracts about 800 features from 640 × 480 video at 10 Hz which is approximately 10 times faster than an optimized CPU implementation.