Fetal lung growth after tracheal ligation is not solely a pressure phenomenon

We investigated cell proliferation and cell death in the olfactory epithelium (OE) of mice from birth to maturity using bromodeoxyuridine and terminal deoxynucleotidyl transferase nick end labeling. We show that cell death events and proliferative activity diminish concomitantly with age in the OE. Thus, the age-dependent and coordinate diminution in cell proliferative activity and cell death events may serve to maintain the thickness of the OE as mice mature and age.     

THE STICKY ISSUES OF DRYING

Unconrolled agglomeration of particles and adhesion of the particulate mass to wall surfaces are common severe problems in many drying operations. This paper reviews the mechanisms of interparticle and particle-surface attraction as well as the theory and the existing tests for characterising powders in terms of internal strength, wall friction and adhesion. The usefulness of the information obtained from these tests in dryer design and operation is critically reviewed. The importance of powder stickiness in various types of dryers is discussed and established methods of combating the problem are presented Recommendations an made for further research in the area of powder cohesion and adhesion.     

Semi-Supervised Deep Learning for Multi-Tissue Segmentation from Multi-Contrast MRI

Journal of Signal Processing Systems - Segmentation of thigh tissues (muscle, fat, inter-muscular adipose tissue (IMAT), bone, and bone marrow) from magnetic resonance imaging (MRI) scans is useful...     

Automatically performing weak mutation with the aid of symbolic execution,concolic testing and search-based testing

Automating software testing activities can increase the quality and drastically decrease the cost of software development. Toward this direction, various automated test data generation tools have been developed. The majority of existing tools aim at structural testing, while a quite limited number aim at a higher level of testing thoroughness such as mutation. In this paper, an attempt toward automating the generation of mutation-based test cases by utilizing existing automated tools is proposed. This is achieved by reducing the killing mutants’ problem into a covering branches one. To this extent, this paper is motivated by the use of state of the art techniques and tools suitable for covering program branches when performing mutation. Tools and techniques such as symbolic execution, concolic execution, and evolutionary testing can be easily adopted toward automating the test input generation activity for the weak mutation testing criterion by simply utilizing a special form of the mutant schemata technique. The propositions made in this paper integrate three automated tools in order to illustrate and examine the method’s feasibility and effectiveness. The obtained results, based on a set of Java program units, indicate the applicability and effectiveness of the suggested technique. The results advocate that the proposed approach is able to guide existing automating tools in producing test cases according to the weak mutation testing criterion. Additionally, experimental results with the proposed mutation testing regime show that weak mutation is able to speedup the mutant execution time by at least 4.79 times when compared with strong mutation.     

Tracking with occlusions via graph cuts

This work presents a new method for tracking and segmenting along time-interacting objects within an image sequence. One major contribution of the paper is the formalization of the notion of visible and occluded parts. For each object, we aim at tracking these two parts. Assuming that the velocity of each object is driven by a dynamical law, predictions can be used to guide the successive estimations. Separating these predicted areas into good and bad parts with respect to the final segmentation and representing the objects with their visible and occluded parts permit handling partial and complete occlusions. To achieve this tracking, a label is assigned to each object and an energy function representing the multilabel problem is minimized via a graph cuts optimization. This energy contains terms based on image intensities which enable segmenting and regularizing the visible parts of the objects. It also includes terms dedicated to the management of the occluded and disappearing areas, which are defined on the areas of prediction of the objects. The results on several challenging sequences prove the strength of the proposed approach.     

The ramification problem in temporal databases: an approach with conflicting constraints

In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and because actions have effects on the next situation only. In this paper we provide a solution to the ramification problem based on an extension of the situation calculus and the work of McCain and Turner. More specifically, we study the case where there are conflicting effects of an action, a particularly complex problem. Also we present a tool which implements the proposed solution.     

RESIDENCE TIMES OF TWO- AND THREE-COMPONENT MIXTURES IN CASCADING ROTARY DRYERS

The residence times of the components of two- and three-component mixtures of fine (195 µm), coarse (1315 µm) and very coarse (5040 µm) sands were measured in a pilot-scale cascading rotary dryer. The effects of mixture composition and air velocity (0-5.4 m s^-1) were determined. With no air flowing through the drum, the residence times of the individual components were almost the same as that of the overall mixture. Increasing the gas velocity caused a large decrease in residence time. In contrast, particle size had very little effect. The spread of residence times increased with air velocity, peaking between 2 and 4 m s^-1; composition had very little effect on the spread. The residence time of the overall mixture could be calculated using the particle transport model of Matchett and Baker if both the modified drag coefficient Φ_d and the particle Reynolds number Re_p were based on the superficial air velocity and the mass-average particle diameter.     

Elastic wave velocities in various alloy strips

The zeroth order plate mode shear wave velocity has been measured in thin strip specimens of Oriented Electrical Steel, Elinvar-Extra, and RMI 464 titanium alloy as a function of the angle between the propagation direction and the rolling direction. Also, the plane wave shear and longitudinal velocities have been measured along the normal to the rolling plane. The results in the Oriented Electrical Steel agree with the known (110)[001] texture. In the Elinvar-Extra there is a texture indistinguishable elastically from (100)[Oil], or partial (100)[011] superimposed on a random background. Different annealing temperatures following cold-rolling yield different degrees of anisotropy and different dependences (1/G)(dG/dT) of the shear modulus upon ambient temperature. At an annealing temperature of about 850‡C, (1/G)(dG/dT) evaluated near room temperature changes from positive to negative, and anisotropy becomes minimum. In the RMI 464 titanium alloy, the shear velocity anisotropy was only 1 pct in the rolling plane. Formerly with Bell Telephone Laboratories, Allen town, Pa.