Assessing Factor Contribution to Nitrogen Concentration Levels in the Raccoon River Watershed in Iowa

Environmental Economics and Policy,

Magnetic Resonance Imaging of the Elbow: A Structured Approach

Context: The elbow is a complex joint and commonly injured in athletes. Evaluation of the elbow by magnetic resonance imaging (MRI) is an important adjunct to the physical examination. To facilitate accurate diagnosis, a concise structured approach to evaluation of the elbow by MRI is presented. Evidence Acquisition: A PubMed search was performed using the terms elbow and MR imaging. No limits were set on the range of years searched. Articles were reviewed for relevance with an emphasis of the MRI appearance of normal anatomy and common pathology of the elbow. Results: The spectrum of common elbow disorders varies from obvious acute fractures to chronic overuse injuries whose imaging manifestations can be subtle. MRI evaluation should include bones; lateral, medial, anterior, and posterior muscle groups; the ulnar and radial collateral ligaments; as well as nerves, synovium, and bursae. Special attention should be paid to the valgus extension overload syndrome and the MRI appearance of associated injuries when evaluating throwing athletes. Conclusion: MRI evaluation of the elbow should follow a structured approach to facilitate thoroughness, accuracy, and speed. Such an approach should cover bone, cartilage, muscle, tendons, ligaments, synovium, bursae, and nerves

Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic

Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by Fault Detection and Identification (FDI) components, that are embedded in those systems and are in charge of detecting faults in an automated and timely manner by reading data from sensors and triggering predefined alarms. The design of effective FDI components is an extremely hard problem, also due to the lack of a complete theoretical foundation, and of precise specification and validation techniques. In this paper, we present the first formal approach to the design of FDI components for discrete event systems, both in a synchronous and asynchronous setting. We propose a logical language for the specification of FDI requirements that accounts for a wide class of practical cases, and includes novel aspects such as maximality and trace-diagnosability. The language is equipped with a clear semantics based on temporal epistemic logic, and is proved to enjoy suitable properties. We discuss how to validate the requirements and how to verify that a given FDI component satisfies them. We propose an algorithm for the synthesis of correct-by-construction FDI components, and report on the applicability of the design approach on an industrial case-study coming from aerospace.Comment: 33 pages, 20 figure

Electrochemical supercapacitors: energy storage beyond batteries

Recently, a new class of reversible electrochemical energy storage systems have been developed that use: (a) the capacitance associated with charging and discharging of the electrical doublelayer at the electrode-electrolyte interface and are hence called electrical double-layer capacitors (EDLCs), and (b) the pseudocapacitance with electrosorption or surface redox reactions which are referred as pseudocapacitors. While EDLCs with capacities of many tens of farads per gram of the electrode material have been achieved employing high surface-area carbon powders, fibres, or felts, much higher capacitance values are accomplished with pseudocapacitors employing certain high surface-area oxides or conducting polymers. These electrochemical capacitors are being envisaged for several applications to complement the storage batteries. This article provides a brief introduction to scientific fundamentals and technological applications of electrochemical supercapacitors. It is also stressed that there is a substantial scope for technology development in this newly emerging area, where materials science and polymer technology will have a pivotal role in conjunction with electrochemistry

Defect tolerance in as-deposited selenium-alloyed cadmium telluride solar cells

The efficiency of cadmium telluride (CdTe) solar cells is limited primarily by voltage, which is known to depend on the carrier concentration and carrier lifetimes within the absorber layer of the cell. Here, cathodoluminescence measurements are made on an as-deposited CdSeTe/CdTe solar cell that show that selenium alloyed CdTe material luminesces much more strongly than non-alloyed CdTe. This reduction in non-radiative recombination in the CdSeTe suggests that the selenium gives it a certain defect tolerance. This has implications for carrier lifetimes and voltages in cadmium telluride solar cells

Rod photoreceptors drive circadian photoentrainment across a wide range of light intensities.

In mammals, synchronization of the circadian pacemaker in the hypothalamus is achieved through direct input from the eyes conveyed by intrinsically photosensitive retinal ganglion cells (ipRGCs). Circadian photoentrainment can be maintained by rod and cone photoreceptors, but their functional contributions and their retinal circuits that impinge on ipRGCs are not well understood. Using mice that lack functional rods or in which rods are the only functional photoreceptors, we found that rods were solely responsible for photoentrainment at scotopic light intensities. Rods were also capable of driving circadian photoentrainment at photopic intensities at which they were incapable of supporting a visually guided behavior. Using mice in which cone photoreceptors were ablated, we found that rods signal through cones at high light intensities, but not at low light intensities. Thus, rods use two distinct retinal circuits to drive ipRGC function to support circadian photoentrainment across a wide range of light intensities