1,027 research outputs found
Film advance indicator
A film advancement indicator which includes an optical sensor that detects the rotational movement of a disc that rotates only when the film advance is described. When the film does not advance, an indicator light is activated. A counter is included in the electronic circuit to determine the number of film frames advanced
Getting DNA twist rigidity from single molecule experiments
We use an elastic rod model with contact to study the extension versus
rotation diagrams of single supercoiled DNA molecules. We reproduce
quantitatively the supercoiling response of overtwisted DNA and, using
experimental data, we get an estimation of the effective supercoiling radius
and of the twist rigidity of B-DNA. We find that unlike the bending rigidity,
the twist rigidity of DNA seems to vary widely with the nature and
concentration of the salt buffer in which it is immerged
Carbon Dioxide Sequestration to form Calcium Carbonate Nanoparticles
The emission of carbon dioxide caused by burning fossil fuels is one of the leading sources of global warming. Reducing the amount of CO2 released into the atmosphere through carbon sequestration can mitigate this problem. One method of carbon sequestration is the use of a carbon dioxide scrubber. Once captured, CO2 can be used to create a valuable chemical commodity such as calcium carbonate nanoparticles. To create CaCO3 particles in the 50-100 nanometer range, a chemical additive is necessary to limit particle size. The study used a laboratory scale carbon dioxide scrubber to react CO2 with calcium chloride and OH- ions to form calcium carbonate nanoparticles. Varying CaCl2 concentrations were tested as well as two chemical additives (AOT and PEG) in varying amounts. The resulting CaCO3 nanoparticles were analyzed to determine average particle size using dynamic light scattering. The study confirmed that the scrubber process effectively reduced CO2 released from the system. In general, larger quantities of additive led to smaller particles, but while AOT and PEG both limit CaCO3 particle size, AOT was the most effective. Unexpected results showed that larger concentrations of CaCl2 reduce the formation of bubble build-up in the reactor. Future work can be done to explore this effect of CaCl2 on sud formation by monitoring and recording bubble levels during the reaction
Intrinsic flexibility of snRNA hairpin loops facilitates protein binding
Stem–loop II of U1 snRNA and Stem–loop IV of U2 snRNA typically have 10 or 11 nucleotides in their loops. The fluorescent nucleobase 2-aminopurine was used as a substitute for the adenines in each loop to probe the local and global structures and dynamics of these unusually long loops. Using steady-state and time-resolved fluorescence, we find that, while the bases in the loops are stacked, they are able to undergo significant local motion on the picosecond/nanosecond timescale. In addition, the loops have a global conformational change at low temperatures that occurs on the microsecond timescale, as determined using laser T-jump experiments. Nucleobase and loop motions are present at temperatures far below the melting temperature of the hairpin stem, which may facilitate the conformational change required for specific protein binding to these RNA loops
Termination Casts: A Flexible Approach to Termination with General Recursion
This paper proposes a type-and-effect system called Teqt, which distinguishes
terminating terms and total functions from possibly diverging terms and partial
functions, for a lambda calculus with general recursion and equality types. The
central idea is to include a primitive type-form "Terminates t", expressing
that term t is terminating; and then allow terms t to be coerced from possibly
diverging to total, using a proof of Terminates t. We call such coercions
termination casts, and show how to implement terminating recursion using them.
For the meta-theory of the system, we describe a translation from Teqt to a
logical theory of termination for general recursive, simply typed functions.
Every typing judgment of Teqt is translated to a theorem expressing the
appropriate termination property of the computational part of the Teqt term.Comment: In Proceedings PAR 2010, arXiv:1012.455
- …