Detecting stable locality-aware predicates

In a large-scale locality-driven network such as in modular robotics and wireless sensor networks, knowing the state of a local area is sometimes necessary due to either interactions being local and driven by neighborhood proximity or the users being interested in the state of a certain region. We define locality-aware predicates (LAP) that aim at detecting a predicate within a specified area. We model the area of interest as the set of processes that are within a breadth-first search tree (BFST) of height k$k$ rooted at the initiator process. Although a locality-aware predicate specifies a predicate only within a local area, observing the area consistently requires considering the entire system in a consistent manner. This raises the challenge of making the complexities of the corresponding predicate detection algorithms scale-free, i.e., independent of the size of the system. Since all existing algorithms for getting a consistent view of the system require either a global snapshot of the entire system or vector clocks of the size of the system, a new solution is needed. We focus on stable LAP, which are those LAP that remain true once they become true. We propose a scale-free algorithm to detect stable LAP within a k$k$-height BFST. Our algorithm can detect both stable conjunctive LAP and stable relational LAP. In the process of designing our algorithm, we also propose the first distributed algorithm for building a BFST within an area of interest in a graph, and the first distributed algorithm for recording a consistent sub-cut within the area of interest. This paper demonstrates that LAPs are a natural fit for detecting distributed properties in large-scale distributed systems, and stable LAPs can be practically detected at low cost.     

A predicted three-dimensional structure for the human immunodeficiency virus binding domains of CD4 antigen

A predicted three-dimensional structure of the two N-terminalextracellular domains of human CD4 antigen, a cell surface glycoprotein,is reported. This region of CD4, particularly the first domain,has been identified as containing the binding region for theenvelope gp120 protein of the human immuno-deficiency virus.The model was predicted based on the sequence homology of eachdomain with the variable light chain of immunoglobulins. Theframework ß-sheet regions were taken from the crystalcoordinates of REI. For one region in the first domain of CD4there was an ambiguity in the alignment with REI and two alternatemodels are presented. Loops connecting the framework were modeledfrom fragments selected from a database of main chain coordinatesfrom all known protein structures. Residues identified as involvedin binding gp120 have been located in several other studieswithin the first domain of CD4. Epitopes from eight monoclonalantibodies have been mapped onto residues in both domains. Competitionof these antibodies with each other and with gp120 can be interpretedfrom the structural model.     

A domain decomposition strategy for alignment of multiple biological sequences on multiprocessor platforms

Multiple Sequences Alignment (MSA) of biological sequences is a fundamental problem in computational biology due to its critical significance in wide ranging applications including haplotype reconstruction, sequence homology, phylogenetic analysis, and prediction of evolutionary origins. The MSA problem is considered NP-hard and known heuristics for the problem do not scale well with increasing numbers of sequences. On the other hand, with the advent of a new breed of fast sequencing techniques it is now possible to generate thousands of sequences very quickly. For rapid sequence analysis, it is therefore desirable to develop fast MSA algorithms that scale well with an increase in the dataset size. In this paper, we present a novel domain decomposition based technique to solve the MSA problem on multiprocessing platforms. The domain decomposition based technique, in addition to yielding better quality, gives enormous advantages in terms of execution time and memory requirements. The proposed strategy allows one to decrease the time complexity of any known heuristic of O(N)^x$O{\left(N\right)}^x$ complexity by a factor of O(1/p)^x$O{(1/p)}^x$, where N$N$ is the number of sequences, x$x$ depends on the underlying heuristic approach, and p$p$ is the number of processing nodes. In particular, we propose a highly scalable algorithm, Sample-Align-D, for aligning biological sequences using Muscle system as the underlying heuristic. The proposed algorithm has been implemented on a cluster of workstations using the MPI library. Experimental results for different problem sizes are analyzed in terms of quality of alignment, execution time and speed-up.     

Estimation of Length Limits for Integral Bridges Built on Clay

In this paper, the maximum length limits for integral bridges built on clay are determined as a function of the ability of steel H-piles supporting the abutments to sustain thermal-induced cyclic displacements and the flexural capacity of the abutment. First, H-pile sections that can accommodate large plastic deformations are determined considering their local buckling instability. Then, a low-cycle fatigue damage model is used to determine the maximum cyclic deformations that such piles can sustain. Next, nonlinear static pushover analyses of two typical integral bridges are conducted to study the effect of various geometric, structural, and geotechnical parameters on the performance of integral bridges subjected to uniform temperature variations. Using the pushover analyses results, design guidelines are developed to enhance and determine the maximum length limits for integral bridges built on clay. It is recommended that the maximum length of concrete integral bridges be limited to 210 m (689 ft) in cold climates and 260 m (853 ft) in moderate climates and that of steel integral bridges be limited to 120 m (394 ft) in cold climates and 180 m (590 ft) in moderate climates.     

Comparison of urea clearance in low‐efficiency low‐flux vs. high‐efficiency high‐flux dialyzer membrane with reduced blood and dialysate flow: An in vitro analysis

Rapid removal of small molecules during hemodialysis places an acutely ill patient with kidney failure at an increased risk of hemodynamic instability and for dialysis disequilibrium syndrome. The use of high‐flux, high‐efficiency (HEF) dialyzers may increase this risk despite reductions in blood and dialysate flow. We performed in vitro experiments to compare urea clearance at low dialysate flow and various blood flows using a low‐efficiency low‐flux (LEF) and a HEF membrane. Compared to LEF, there was a significant increase in the clearance of urea at all blood flows with the HEF (all P values < 0.005). HEF dialyzer (F180NR) had higher urea clearance at a blood flow of 150 mL/min than LEF dialyzer (F5) at blood flow of 300 mL/min (144.1 ± 0.99 vs. 130.1 ± 0.001 mL/min for F180 vs. F5, respectively, P < 0.002). Our data suggest that use of HEF dialyzer are not as safe as LEF in high‐risk acute dialysis patients since these are associated with more rapid removal of urea despite reduction in blood and dialysate flow as compared to LEF.     

Early age deformations of concrete with high content of mineral additions

Under the project “EcoBéton” (Green concrete) funded by the French National Agency (ANR), concrete mixtures with a high quantity of mineral additions, such as blast-furnace slag and fly ash were studied. A first approach to quantify their cracking risk was to measure their plastic shrinkage evolution. In parallel, the evolution of other parameters such as setting, capillary depression and porosity were also monitored to relate this deformation to the evolution of the microstructure of the studied mixtures. Setting monitoring by means of ultrasonic measurements allows obtaining significant macroscopic information such as hardening process and rigidity evolution. The correlation between these different parameters shows that the plastic shrinkage evolution can be divided into three phases driven by different mechanisms. Moreover, it appears that the use of mineral additions has an effect on the plastic shrinkage behaviour, but this impact is not proportional to the percentage of additions. It depends on the hydration process and the microstructure of the cementitious materials. So, it seems that an optimum content of cement replacement by mineral additions must be sought to limit the development of plastic shrinkage of concretes with mineral additions at early age. However, a high rate of substitution of cement may affect the early age compressive strength of the concrete. So these mixtures were also optimised to obtain a significant compressive strength at an early age, but this optimisation leads to a higher risk of cracking for some of them.     

Double hinged articulated tower interaction with wind and waves

Articulated offshore towers are highly flexible against rotation at the hinges and derive their stability by means of inherently large buoyancy forces. The displacement response of such towers is mainly governed by the rigid body mode of vibration which has a very low frequency. Since the fluctuating wind velocity spectrum has high energy content in the low frequency region, therefore, wind induces significant dynamic response of such towers. In this paper, the responses of single and double hinged articulated towers are compared under various ocean environments. A Monte Carlo simulation technique is used to model the random sea environment. The sea state is characterized by Pierson–Moskowitz spectrum while the fluctuating wind has been estimated using Simiu's spectrum for compliant platforms. Iterative time domain solution procedure is adopted to take care of time dependent parameters and nonlinearities. Stochastic response is characterized by statistical quantities and power spectral density functions (PSDF) for various parametric combinations. Studies of wind effects are found to be imperative for double hinged articulated towers to serve and survive in the hostile offshore environment. The response PSDF highlights the wind induced dynamic responses of the towers.