Persistent Scatterers Interferometry detects and measures ground subsidence in Lisbon

Results from the application of Persistent Scatterers Interferometry in Lisbon Metropolitan Area revealed two previously unknown subsiding urban areas: one (Laranjeiras) is located in the center of Lisbon; another (Vialonga) is to be found toward the North, in an industrial region crossed by Lisbon's main highway and railway lines. The two subsiding sectors are bordered by sharp velocity gradients, and the subsidence pattern appears partially delimited by mapped geologic faults. Surface geology and urbanization alone are unable to explain the phenomena. In the Vialonga area, the historical record of water pore pressure shows a clear decline of the levels (up to 65 m in 27 years), providing evidence of over-exploitation of groundwater resources. Limited information from wells drilled inside and outside the subsidence area points to a spatial correlation between the subsidence and the water pressure levels, and suggests that faults could be acting as hydraulic barriers in the aquifer system. The surface subsidence detected is probably caused by compaction of a clay-rich Oligocene-aged aquitard, led by over-exploitation of adjacent aquifers. The same Oligocene aquitard layer is present in the Laranjeiras area, immediately bellow a multi-layered sand-clay-limestone Miocene aquifer, but further work is needed to diagnose the possibility of over-exploitation of groundwater here. In this work we were able to independently confirm the PSI results, by comparing autonomous PSI results processed for the same geographical areas, and by comparing PSI with leveling and continuous GPS derived subsidence velocities, whose close match provided further ground validation of the space-borne PSI technique.     

Rough set based approaches to feature selection for Case-Based Reasoning classifiers

This paper investigates feature selection based on rough sets for dimensionality reduction in Case-Based Reasoning classifiers. In order to be useful, Case-Based Reasoning systems should be able to manage imprecise, uncertain and redundant data to retrieve the most relevant information in a potentially overwhelming quantity of data. Rough Set Theory has been shown to be an effective tool for data mining and for uncertainty management. This paper has two central contributions: (1) it develops three strategies for feature selection, and (2) it proposes several measures for estimating attribute relevance based on Rough Set Theory. Although we concentrate on Case-Based Reasoning classifiers, the proposals are general enough to be applicable to a wide range of learning algorithms. We applied these proposals on twenty data sets from the UCI repository and examined the impact of feature selection over classification performance. Our evaluation shows that all three proposals benefit the basic Case-Based Reasoning system. They also present robustness in comparison to well-known feature selection strategies.     

Optimal allocation of change points in simple step-stress experiments under Type-II censoring

In simple step-stress experiments under Type-II censoring with the cumulative exposure model and exponentially distributed lifetimes, maximum likelihood estimates (MLE) of the expected lifetimes may not exist due to the absence of failure times either before or after the stress change point. For this reason, when planning a step-stress experiment, the change point could be chosen so as to minimize the probability of non-existence of the MLE. These non-existence probabilities are examined and compared in the one- as well as the two-sample situations. Moreover, the optimal allocations of the change points are discussed and the effects of the use of non-optimal choices for the change points are assessed.     

A model of cerebral cortex formation during fetal development using reaction-diffusion-convection equations with Turing space parameters

The cerebral cortex is a gray lamina formed by bodies of neurons covering the cerebral hemispheres, varying in thickness from 1.25 mm in the occipital lobe to 4 mm in the anterior lobe. The brain's surface is about 30 times greater that of the skull because of its many folds; such folds form the gyri, sulci and fissures and mark out areas having specific functions, divided into five lobes. Convolution formation may vary between individuals and is an important feature of brain formation; such patterns can be mathematically represented as Turing patterns. This article describes how a phenomenological model was developed by describing the formation pattern for the gyri occurring in the cerebral cortex by reaction diffusion equations with Turing space parameters. Numerical examples for simplified geometries of a brain were solved to study pattern formation. The finite element method was used for the numerical solution, in conjunction with the Newton–Raphson method. The numerical examples showed that the model can represent cerebral cortex fold formation and reproduce pathologies related to gyri formation, such as polymicrogyria and lissencephaly.     

Randomization can be a healer: consensus with dynamic omission failures

Wireless ad-hoc networks are being increasingly used in diverse contexts, ranging from casual meetings to disaster recovery operations. A promising approach is to model these networks as distributed systems prone to dynamic communication failures. This captures transitory disconnections in communication due to phenomena like interference and collisions, and permits an efficient use of the wireless broadcasting medium. This model, however, is bound by the impossibility result of Santoro and Widmayer, which states that, even with strong synchrony assumptions, there is no deterministic solution to any non-trivial form of agreement if n ? 1 or more messages can be lost per communication round in a system with n processes. In this paper we propose a novel way to circumvent this impossibility result by employing randomization. We present a consensus protocol that ensures safety in the presence of an unrestricted number of omission faults, and guarantees progress in rounds where such faults are bounded by ${f \,{\leq}\,\lceil \frac{n}{2} \rceil (n\,{-}\,k)\,{+}\,k\,{-}\,2}$ , where k is the number of processes required to decide, eventually assuring termination with probability 1.     

Illustrating volume data sets and layered models with importance-aware composition

Non-photorealistic (illustrative) rendering augments typical rendering models to selectively emphasize or de-emphasize specific structures of rendered objects. Illustrative techniques may affect not only the rendering style of specific portions of an object but also their visibility, ensuring that less important regions do not occlude more important ones. Cutaway views completely remove occluding, unimportant structures—possibly also removing valuable context information—while existing solutions for smooth reduction of occlusion based on importance lack precise visibility control, simplicity and generality. We introduce a new front-to-back fragment composition equation that directly takes into account a measure of sample importance and allows smooth and precise importance-based visibility control. We demonstrate the generality of our composition equation with several illustrative effects, which were obtained by using a set of importance measures calculated on the fly or defined by the user. The presented composition method is suitable for direct volume rendering as well as rendering of layered 3D models. We discuss both cases and show examples, though focusing mainly on illustration of volumetric data.     

CRT and LCD monitor and process materials evaluated for environmental improvement

Decision rules have been developed and applied to the bills of materials of a color cathode‐ray tube (CRT) and a liquid‐crystal‐display (LCD) desktop monitor to determine which product and process materials will be evaluated in an environmental life‐cycle assessment. Materials of significant mass, of technological importance, and of potential environmental impact are targeted. The list of materials identified are those for which life‐cycle inventory data will be obtained for the materials extraction and materials processing life‐cycle stages of a CRT and an LCD. Additionally, materials identified will also be used to represent life‐cycle impact in terms of resource consumption, as well as surrogates for occupational health impacts.     

Superpipelined high-performance optical-flow computation architecture

Optical-flow computation is a well-known technique and there are important fields in which the application of this visual modality commands high interest. Nevertheless, most real-world applications require real-time processing, an issue which has only recently been addressed. Most real-time systems described to date use basic models which limit their applicability to generic tasks, especially when fast motion is presented or when subpixel motion resolution is required. Therefore, instead of implementing a complex optical-flow approach, we describe here a very high-frame-rate optical-flow processing system. Recent advances in image sensor technology make it possible nowadays to use high-frame-rate sensors to properly sample fast motion (i.e. as a low-motion scene), which makes a gradient-based approach one of the best options in terms of accuracy and consumption of resources for any real-time implementation. Taking advantage of the regular data flow of this kind of algorithm, our approach implements a novel superpipelined, fully parallelized architecture for optical-flow processing. The system is fully working and is organized into more than 70 pipeline stages, which achieve a data throughput of one pixel per clock cycle. This computing scheme is well suited to FPGA technology and VLSI implementation. The developed customized DSP architecture is capable of processing up to 170 frames per second at a resolution of 800 × 600 pixels. We discuss the advantages of high-frame-rate processing and justify the optical-flow model chosen for the implementation. We analyze this architecture, measure the system resource requirements using FPGA devices and finally evaluate the system’s performance and compare it with other approaches described in the literature.     

Molecular modeling optimization of anticoagulant pyridine derivatives

Intravascular clotting remains a major health problem in the United States, the most prominent being deep vein thrombosis, pulmonary embolism and thromboembolic stroke. Previous reports on the use of pyridine derivatives in cardiovascular drug development encourage us to pursue new types of compounds based on a pyridine scaffold. Eleven pyridine derivatives (oximes, semicarbazones, N-oxides) previously synthesized in our laboratories were tested as anticoagulants on pooled normal plasma using the prothrombin time (PT) protocol. The best anticoagulant within the oxime series was compound AF4, within the oxime N-oxide series was compound AF4-N-oxide, and within the semicarbazone series, compound MD1-30Y. We also used a molecular modeling approach to guide our efforts, and found that there was good correlation between coagulation data and computational energy scores. Molecular docking was performed to target the active site of thrombin with the DOCK v5.2 package. The results of molecular modeling indicate that improvement in anticoagulant activities can be expected by functionalization at the three-position of the pyridine ring and by N-oxide formation. Results reported here prove the suitability of DOCK in the lead optimization process.     

An approach to analyzing and planning post-merger IS integration: Insights from two field studies

Information systems (IS) integration is among the most challenging tasks in corporate mergers and acquisitions (M&As). In this paper we propose and illustrate the use of an approach to analyzing and planning post-merger IS integration that extends general theory for IS planning, considering the specific characteristics of the M&A context. We highlight that planning effectiveness is possible to achieve in fundamentally different ways, dependent on the characteristics of the merger or acquisition at hand.