1,943 research outputs found
Reevaluating the Corporate Veil Metaphor in the Context of International Trade: a Critical Analysis of Hester International Corporation v. Federal Republic of Nigeria
Characterizing Nontarget Species Use at Bait Sites for White-Tailed Deer
Baiting white-tailed deer (Odocoileus virginianus) has evolved into a controversial issue of wildlife management. During August–September 2012, we established a grid of 64 cameras in the Upper Peninsula of Michigan at sites baited with corn that simulated legal bait sites for white-tailed deer to characterize presence, diversity, and frequency of species use. We detected \u3e20 species of wildlife that visited bait sites. We categorized 3,177 of 11,194 images as independent detections (i.e., species detected \u3e1 hour apart). White-tailed deer had the greatest detection rate (47%), but overall detections of nontarget species was slightly greater (53%). Most frequent nontarget species detected were northern raccoons (Procyon lotor) and American black bears (Ursus americanus). Wildlife officials should consider the potential effects of baiting on species’ ecology and the potential for disease transmission that high-use of bait sites by nontarget species present
Towards Designing an Integrated Earth Observation System for the Provision of Solar Energy Resource and Assessment
The GEOSS strategic plan specifically targets the area of improved energy resource management due to the importance of these to the economic and social viability of every nation of the world. With the world s increasing demand for energy resources, the need for new alternative energy resources grows. This paper overviews a new initiative within the International Energy Agency that addresses needs to better manage and develop solar energy resources worldwide. The goal is to provide the solar energy industry, the electricity sector, governments, and renewable energy organizations and institutions with the most suitable and accurate information of the solar radiation resources at the Earth's surface in easily-accessible formats and understandable quality metrics. The scope of solar resource assessment information includes historic data sets and currently derived data products using satellite imagery and other means. Thus, this new task will address the needs of the solar energy sector while at the same time will serve as a model that satisfies GEOSS objectives and goals
Admission to the Bar: A Constitutional Analysis
This Special Project examines and analyzes selected constitutional challenges to requirements for permanent and temporary admission to the bar. In the area of permanent admission, the Special Project looks at constitutional challenges to three qualifications typically required of bar applicants by states: demonstration of good moral character, successful completion of a bar examination, and residency. In the area of admission pro hac vice , the Project examines constitutional challenges to the basis on which judges have denied temporary admission to an applicant
Formal Verification of Hardware Synthesis
Original manuscript: January 21, 2013We report on the implementation of a certified compiler for a high-level hardware description language (HDL) called Fe-Si (FEatherweight SynthesIs). Fe-Si is a simplified version of Bluespec, an HDL based on a notion of guarded atomic actions. Fe-Si is defined as a dependently typed deep embedding in Coq. The target language of the compiler corresponds to a synthesisable subset of Verilog or VHDL. A key aspect of our approach is that input programs to the compiler can be defined and proved correct inside Coq. Then, we use extraction and a Verilog back-end (written in OCaml) to get a certified version of a hardware design.United States. Defense Advanced Research Projects Agency (Agreement FA8750-12-2-0110
Recommended from our members
Early Observations And Analysis Of The Type Ia SN 2014J In M82
We present optical and near infrared (NIR) observations of the nearby Type Ia SN 2014J. Seventeen optical and 23 NIR spectra were obtained from 10 days before (-10d) to 10 days after (+10d) the time of maximum B-band brightness. The relative strengths of absorption features and their patterns of development can be compared at one day intervals throughout most of this period. Carbon is not detected in the optical spectra, but we identify C I lambda 1.0693 in the NIR spectra. Mg II lines with high oscillator strengths have higher initial velocities than other Mg II lines. We show that the velocity differences can be explained by differences in optical depths due to oscillator strengths. The spectra of SN 2014J show that it is a normal SN Ia, but many parameters are near the boundaries between normal and high-velocity subclasses. The velocities for OI, Mg II, Si II, S Ca a, and Fell suggest that SN 2014J has a layered structure with little or no mixing. That result is consistent with the delayed detonation explosion models. We also report photometric observations, obtained from -10d to +29d, in the UBVRIJH and K-s bands. The template fitting package SNooPy is used to interpret the light curves and to derive photometric parameters. Using R-v = 1.46, which is consistent with previous studies, SNooPy finds that A(v) = 1.80 for E(B - V)(host) = 1.23 +/- 0.06 mag. The maximum B-band brightness of -19.19 +/- 0.10 mag was reached on February 1.74 UT +/- 0.13 days and the supernova has a decline parameter, Delta m(15), of 1.12 +/- 0.02 mag.Department of Space, Government of IndiaHungarian OTKA NN-107637NSF AST-1109801, AST-1151462, AST-1211196NSF Astronomy and Astrophysics Postdoctoral Fellowship AST-1302771NASA through a grant from the Space Telescope Science Institute GO-12540NASA NAS5-26555Swedish Research CouncilSwedish National Space BoardDanish Agency for Science and Technology and Innovation realized through a Sapere Aude Level 2 grantAstronom
Model Analysis of Time Reversal Symmetry Test in the Caltech Fe-57 Gamma-Transition Experiment
The CALTECH gamma-transition experiment testing time reversal symmetry via
the E2/M1 mulipole mixing ratio of the 122 keV gamma-line in Fe-57 has already
been performed in 1977. Extending an earlier analysis in terms of an effective
one-body potential, this experiment is now analyzed in terms of effective one
boson exchange T-odd P-even nucleon nucleon potentials. Within the model space
considered for the Fe-57 nucleus no contribution from isovector rho-type
exchange is possible. The bound on the coupling strength phi_A from effective
short range axial-vector type exchange induced by the experimental bound on
sin(eta) leads to phi_A < 10^{-2}.Comment: 5 pages, RevTex 3.
On isovector meson exchange currents in the Bethe-Salpeter approach
We investigate the nonrelativistic reduction of the Bethe-Salpeter amplitude
for the deuteron electrodisintegration near threshold energies. To this end,
two assumptions have been used in the calculations: 1) the static approximation
and 2) the one iteration approximation. Within these assumptions it is possible
to recover the nonrelativistic result including a systematic extension to
relativistic corrections. We find that the so-called pair current term can be
constructed from the -wave contribution of the deuteron Bethe-Salpeter
amplitude. The form factor that enters into the calculation of the pair current
is constrained by the manifestly gauge independent matrix elements.Comment: 15 pages, incl. 3 figures, to be published Phys. Rev.
Foot Injuries in Michigan, USA, Gray Wolves (\u3ci\u3eCanis lupus\u3c/i\u3e), 1992–2014
The range of gray wolves (Canis lupus) in the contiguous US is expanding. Research and monitoring to support population recovery and management often involves capture via foothold traps. A population-level epidemiologic assessment of the effect of trap injuries on wolf survival remains needed to inform management. We describe the baseline rate, type, and severity of foot injuries of wolves born 1992–2013 in Michigan’s Upper Peninsula, evaluate the reliability of field-scoring trap-related injuries, and the effect of injuries on wolf survival. We assessed foot injuries by physical and radiographic exam at postmortem and/or time of capture for 351 wolves using the International Organization for Standardization 10990-5 standard and the effects of injuries, sex, age, previous capture and body condition on survival using proportional hazards regression. We used ordinal regression to evaluate epidemiologic associations between sex, age, previous capture, body condition, cause of death and injury severity. Most wolves (53%) experienced no physically or radiographically discernable foot injuries over their lifetimes. Among those wolves that did experience injuries, 33% scored as mild. Foot injuries had little epidemiologically discernable effect on survival rates. Wolves with higher foot trauma scores did experience an increased risk of dying, but the magnitude of the increase was modest. Most limb injuries occurred below the carpus or tarsus, and scoring upper-limb injuries added little predictive information to population-level epidemiologic measures of survival and injury severity. There was little association between injury severity and cause of death. Based on necropsy exams, previous trap injuries likely contributed to death in only four wolves (1.1%). Our results suggest that injuries resulting from foothold traps are unlikely to be a limiting factor in recovery and ongoing survival of the Michigan gray wolf population
- …