Chronic renal disease: new therapies to delay kidney replacement

Several factors promote the progression of renal disease, including glomerular hypertension and hypertrophy, molecular factors such as cytokines and growth hormones, proteinuria, acidosis, and hyperlipidemia. Regardless of the underlying etiology, many patients with chronic renal insufficiency will ultimately require kidney replacement therapy. Your goal is to delay the progression of renal failure, mainly through aggressive control of blood pressure. Other possible interventions include protein restriction, bicarbonate therapy, and lipid-lowering drugs.     

Automated zebrafish chorion removal and single embryo placement: optimizing throughput of zebrafish developmental toxicity screens

The potential of the developing zebrafish model for toxicology and drug discovery is limited by inefficient approaches to manipulating and chemically exposing zebrafish embryos-namely, manual placement of embryos into 96- or 384-well plates and exposure of embryos while still in the chorion, a barrier of poorly characterized permeability enclosing the developing embryo. We report the automated dechorionation of 1600 embryos at once at 4 h postfertilization (hpf) and placement of the dechorionated embryos into 96-well plates for exposure by 6 hpf. The process removed ≥95% of the embryos from their chorions with 2% embryo mortality by 24 hpf, and 2% of the embryos malformed at 120 hpf. The robotic embryo placement allocated 6-hpf embryos to 94.7% ± 4.2% of the wells in multiple 96-well trials. The rate of embryo mortality was 2.8% (43 of 1536) from robotic handling, the rate of missed wells was 1.2% (18 of 1536), and the frequency of multipicks was <0.1%. Embryo malformations observed at 24 hpf occurred nearly twice as frequently from robotic handling (16 of 864; 1.9%) as from manual pipetting (9 of 864; 1%). There was no statistical difference between the success of performing the embryo placement robotically or manually.     

Integration of data systems and technology improves research and collaboration for a superfund research center

Large collaborative centers are a common model for accomplishing integrated environmental health research. These centers often include various types of scientific domains (e.g., chemistry, biology, bioinformatics) that are integrated to solve some of the nation's key economic or public health concerns. The Superfund Research Center (SRP) at Oregon State University (OSU) is one such center established in 2008 to study the emerging health risks of polycyclic aromatic hydrocarbons while using new technologies both in the field and laboratory. With outside collaboration at remote institutions, success for the center as a whole depends on the ability to effectively integrate data across all research projects and support cores. Therefore, the OSU SRP center developed a system that integrates environmental monitoring data with analytical chemistry data and downstream bioinformatics and statistics to enable complete "source-to-outcome" data modeling and information management. This article describes the development of this integrated information management system that includes commercial software for operational laboratory management and sample management in addition to open-source custom-built software for bioinformatics and experimental data management.     

Demonstration of Sustainable Development of Groundwater through Aquifer Storage and Recovery (ASR)

Water Resources Management - Sustained pumping of groundwater can lead to declining water levels in wellfields and concerns regarding the sustainability of groundwater resources. Aquifer Storage...     

Bonding to aged surfaces: A thermally-aged epoxy

It is common experience that aged surfaces are often difficult to bond to. We report an examination of bonding to thermally-aged epoxy surfaces, using as the adhesive the same epoxy as that of the aged surface. The cured and postcured epoxy was aged at 200 ° C, with the ageing time varying from 2 to 8 h. The fracture energy of the bond line was measured by mode I cleavage under conditions of relatively slow crack growth. The bondline fracture energy was found to decrease logarithmically with ageing time. The fracture energies for bonds to surfaces aged for 2, 4, and 8 h at 200 ° C were 0.077, 0.059, and 0.050 kJ M^–2, respectively. These compare to 0.13 kJ M^–2 for a bond to an unaged surface and 0.21 kJ m^–2 for bulk fracture. Fracture surfaces resulting from both slow and rapid fracture were examined by optical and scanning electron microscopy. Fracture features different from those arising from bulk fracture were found. Areas with good adhesion occurred amidst fields of featureless fracture surface; the frequency and size of these areas decreased with increased ageing time. Evidence of plastic deformation was found, always occurring on the new side of the bond: ridges parallel with crack propagation at high crack speeds and subsurface undulations perpendicular to crack propagation at low speeds. The bond has the effect of channelling the crack along the bondline, but fracture does not always remain exactly at the interface. Fracture often occurred a relatively constant distance away from the interface, suggesting that the presence of the interface was felt for some distance.     

Superfluids in confined geometries: Fourth sound and other modes

The hydrodynamics of superfluids in confined geometries (capillaries, porous media, etc.) is investigated theoretically. Hydrodynamic equations are derived. The mode structure is calculated, i.e., explicit expressions for the dispersion relationsq=q() are given. Experimental applications for⁴He-II and superfluid³He are discussed.     

Experiences from Exporting Major Proof Assistant Libraries

The interoperability of proof assistants and the integration of their libraries is a highly valued but elusive goal in the field of theorem proving. As a preparatory step, in previous work, we translated the libraries of multiple proof assistants, specifically the ones of Coq, HOL Light, IMPS, Isabelle, Mizar, and PVS into a universal format: OMDoc/MMT. Each translation presented great theoretical, technical, and social challenges, some universal and some system-specific, some solvable and some still open. In this paper, we survey these challenges and compare and evaluate the solutions we chose. We believe similar library translations will be an essential part of any future system interoperability solution, and our experiences will prove valuable to others undertaking such efforts.

     

Algorithms for processing the group K nearest-neighbor query on distributed frameworks

Distributed and Parallel Databases - Given two datasets of points (called Query and Training), the Group (K) Nearest-Neighbor (GKNN) query retrieves (K) points of the Training with the smallest sum...     

Ensuring reliability in B2B services: Fault tolerant inter-organizational workflows

In the age of Business-to-Business (B2B) collaboration, ensuring reliability of workflows underlying inter-organizational business processes is of significant importance. There are, however, quite a few challenges towards achieving seamless operation. Such challenges arise from heterogeneity in infrastructure and coordination mechanism at participant organizations, as well as time and cost associated with recovery from failure. Our research presents foundations for a reliable scheme for recovery from failure of workflow processes spanning through multiple business entities. First, a system model is adapted from the mobile computing literature that serves to establish the requirements to be enforced by each participating organization. In our model, we adopt the Maximal Sequence Path (MSP) approach from Yoo et al. (Lecture Notes in Artificial Intelligence 2132:222–236, 2001), as a means of decomposing workflows into mobile agent-driven processes that communicate via web services at each organization. This decomposition ensures defining logical points within the dynamics of a workflow instance for locating accurate and consistent states of the system for recovery in case of a failure. Then, a set of algorithms for various business scenarios are developed and presented as practical solutions. These algorithms are shown to create checkpoints such that the system is always in a globally consistent state. As such, these algorithms constitute a set of standards that can be incorporated in business process management suites that support reliable inter-organizational collaboration.