A Novel Azeotropic Mixture for Solvent Extraction of Edible Oils

Rosana G. Moreira, Editor-in-Chief; Texas A&M UniversityThis is a paper from International Commission of Agricultural Engineering (CIGR, Commission Internationale du Genie Rural) E-Journal Volume 8 (2006): A Novel Azeotropic Mixture for Solvent Extraction of Edible Oils. Manuscript FP 06 005. Vol. VIII. April, 2006

Fluoroscopic investigation of Riata® transvenous defibrillator leads

Background: Implantable cardioverter-defibrillator leads from Riata® family (St. Jude Medical Inc., Sylmar, CA, USA) have been recently recalled by Food and Drug Administration for concerns of a unique type of “inside-out” insulation failure leading to conductor externalization. The objective of this study was to evaluate the prevalence and predictors of conductor externalization in patients implanted with Riata 8 French (Fr) and 7 Fr leads. Methods: Patients implanted with Riata® and Riata ST® who were actively followed up in our institution were scheduled for high resolution 3 view fluoroscopy and device interrogation including high voltage (HV) lead impedance testing. Fluoroscopic images were graded as presence of externalization or no externalization. Results: Of the 90 patients who underwent screening fluoroscopy, majority had dual coil leads (62.5%) and median duration from the implant time to screening was 79.5 months. Twenty four (26.7%) patients exhibited evidence of lead externalization with 10 (41.6%) of these showing electrical abnormalities at the time of screening. No externalization was seen in the 7 Fr leads. Pacing thresholds were significantly elevated in the externalized cohort compared to non-externalized group (1.42 ± 1.23 vs. 0.93 ± 0.53; p = 0.01). Time since lead implant and lead diameter emerged as significant predictors of lead externalization on univariate analysis with only lead diameter being significant on multivariate analysis (odds ratio 30.68; 4.95–∞, p = 0.001). Conclusions: Prevalence of insulation failure exhibiting as conductor externalization is high (26.7%) among the large diameter 8 Fr Riata® leads with a significant proportion of patients manifesting electrical failure. High resolution 3 view fluoroscopy is a reasonable approach to screen for this unique type of insulation failure

Developmental stage-specific regulation of the circadian Clock by Temperature in Zebrafish

The circadian clock enables animals to adapt their physiology and behaviour in anticipation of the day-night cycle. Light and temperature represent two key environmental timing cues (zeitgebers) able to reset this mechanism and so maintain its synchronization with the environmental cycle. One key challenge is to unravel how the regulation of the clock by zeitgebers matures during early development. The zebrafish is an ideal model for studying circadian clock ontogeny since the process of development occurs ex utero in an optically transparent chorion and many tools are available for genetic analysis. However, the role played by temperature in regulating the clock during zebrafish development is poorly understood. Here, we have established a clock-regulated luciferase reporter transgenic zebrafish line (Tg (−3.1) per1b::luc) to study the effects of temperature on clock entrainment. We reveal that under complete darkness, from an early developmental stage onwards (48 to 72 hpf), exposure to temperature cycles is a prerequisite for the establishment of self-sustaining rhythms of zfper1b, zfaanat2, and zfirbp expression and also for circadian cell cycle rhythms. Furthermore, we show that following the 5–9 somite stage, the expression of zfper1b is regulated by acute temperature shifts

Bailouts in a common market: a strategic approach

Governments in the EU grant Rescue and Restructure Subsidies to bail out ailing firms. In an international asymmetric Cournot duopoly we study effects of such subsidies on market structure and welfare. We adopt a common market setting, where consumers from the two countries form one market. We show that the subsidy is positive also when it fails to prevent the exit. The reason is a strategic effect, which forces the more efficient firm to make additional cost-reducing effort. When the exit is prevented, allocative and productive efficiencies are lower and the only gaining player is the rescued firm

New results on rewrite-based satisfiability procedures

Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literals in theory T. If a sound and complete inference system for first-order logic is guaranteed to terminate on T-satisfiability problems, any theorem-proving strategy with that system and a fair search plan is a T-satisfiability procedure. We prove termination of a rewrite-based first-order engine on the theories of records, integer offsets, integer offsets modulo and lists. We give a modularity theorem stating sufficient conditions for termination on a combinations of theories, given termination on each. The above theories, as well as others, satisfy these conditions. We introduce several sets of benchmarks on these theories and their combinations, including both parametric synthetic benchmarks to test scalability, and real-world problems to test performances on huge sets of literals. We compare the rewrite-based theorem prover E with the validity checkers CVC and CVC Lite. Contrary to the folklore that a general-purpose prover cannot compete with reasoners with built-in theories, the experiments are overall favorable to the theorem prover, showing that not only the rewriting approach is elegant and conceptually simple, but has important practical implications.Comment: To appear in the ACM Transactions on Computational Logic, 49 page

Spectral properties of a short-range impurity in a quantum dot

The spectral properties of the quantum mechanical system consisting of a quantum dot with a short-range attractive impurity inside the dot are investigated in the zero-range limit. The Green function of the system is obtained in an explicit form. In the case of a spherically symmetric quantum dot, the dependence of the spectrum on the impurity position and the strength of the impurity potential is analyzed in detail. It is proven that the confinement potential of the dot can be recovered from the spectroscopy data. The consequences of the hidden symmetry breaking by the impurity are considered. The effect of the positional disorder is studied.Comment: 30 pages, 6 figures, Late

Strong Phase Separation in a Model of Sedimenting Lattices

We study the steady state resulting from instabilities in crystals driven through a dissipative medium, for instance, a colloidal crystal which is steadily sedimenting through a viscous fluid. The problem involves two coupled fields, the density and the tilt; the latter describes the orientation of the mass tensor with respect to the driving field. We map the problem to a 1-d lattice model with two coupled species of spins evolving through conserved dynamics. In the steady state of this model each of the two species shows macroscopic phase separation. This phase separation is robust and survives at all temperatures or noise levels--- hence the term Strong Phase Separation. This sort of phase separation can be understood in terms of barriers to remixing which grow with system size and result in a logarithmically slow approach to the steady state. In a particular symmetric limit, it is shown that the condition of detailed balance holds with a Hamiltonian which has infinite-ranged interactions, even though the initial model has only local dynamics. The long-ranged character of the interactions is responsible for phase separation, and for the fact that it persists at all temperatures. Possible experimental tests of the phenomenon are discussed.Comment: To appear in Phys Rev E (1 January 2000), 16 pages, RevTex, uses epsf, three ps figure