26,074 research outputs found
Statistical expansions and locally uniform Fréchet differentiability
Estimators which have locally uniform expansions are shown in this paper to be asymptotically equivalent to M-estimators. The M-functionals corresponding to these M-estimators are seen to be locally uniformly Fréchet differentiable. Other conditions for M-functionals to be locally uniformly Fréchet differentiable are given. An example of a commonly used estimator which is robust against outliers is given to illustrate that the locally uniform expansion need not be valid
The Effect of NAG–thiazoline on Morphology and Surface Hydrophobicity of Escherichia Coli
The β-hexosaminidase inhibitor and structural analog of the putative oxazolium reaction intermediate of lytic transglycosylases, N-acetylglucosamine thiazoline (NAG–thiazoline), was synthesized in 46% overall yield and tested as an inhibitor of Escherichia coli growth. NAG–thiazoline, at concentrations up to 1 mg/ml, was not found to affect the viability of E. coli DH5α
Symbolic framework for linear active circuits based on port equivalence using limit variables
Published versio
Computer-aided verification in mechanism design
In mechanism design, the gold standard solution concepts are dominant
strategy incentive compatibility and Bayesian incentive compatibility. These
solution concepts relieve the (possibly unsophisticated) bidders from the need
to engage in complicated strategizing. While incentive properties are simple to
state, their proofs are specific to the mechanism and can be quite complex.
This raises two concerns. From a practical perspective, checking a complex
proof can be a tedious process, often requiring experts knowledgeable in
mechanism design. Furthermore, from a modeling perspective, if unsophisticated
agents are unconvinced of incentive properties, they may strategize in
unpredictable ways.
To address both concerns, we explore techniques from computer-aided
verification to construct formal proofs of incentive properties. Because formal
proofs can be automatically checked, agents do not need to manually check the
properties, or even understand the proof. To demonstrate, we present the
verification of a sophisticated mechanism: the generic reduction from Bayesian
incentive compatible mechanism design to algorithm design given by Hartline,
Kleinberg, and Malekian. This mechanism presents new challenges for formal
verification, including essential use of randomness from both the execution of
the mechanism and from the prior type distributions. As an immediate
consequence, our work also formalizes Bayesian incentive compatibility for the
entire family of mechanisms derived via this reduction. Finally, as an
intermediate step in our formalization, we provide the first formal
verification of incentive compatibility for the celebrated
Vickrey-Clarke-Groves mechanism
Energy versus electron transfer in organic solar cells: a comparison of the photophysics of two indenofluorene: fullerene blend films
In this paper, we compare the photophysics and photovoltaic device performance of two indenofluorene based polymers: poly[2,8-(6,6,12,12-tetraoctylindenofluorene)-co-4,7-(2,1,3-benzothiodiazole] (IF8BT) and poly[2,8-(6,6,12,12-tetraoctylindenofluorene)-co-5,5-(40,70-di-2-thienyl-20,10,30-benzothiodiazole] (IF8TBTT) blended with [6,6]-phenyl C61 butyric acid methyl ester (PCBM). Photovoltaic devices made with IF8TBTT exhibit greatly superior photocurrent generation and photovoltaic efficiency compared to those made with IF8BT. The poor device efficiency of IF8BT/PCBM devices is shown to result from efficient, ultrafast singlet F€orster energy transfer from IF8BT to PCBM, with the resultant PCBM singlet exciton lacking sufficient energy to drive charge photogeneration. The higher photocurrent generation observed for IF8TBTT/PCBM devices is shown to result from IF8TBTT’s relatively weak, red-shifted photoluminescence characteristics, which switches off the polymer to fullerene singlet energy transfer pathway. As a consequence, IF8TBTT singlet excitons are able to drive charge separation at the polymer/fullerene interface, resulting in efficient photocurrent generation. These results are discussed in terms of the impact of donor/acceptor energy transfer upon photophysics and energetics of charge photogeneration in organic photovoltaic\ud
devices. The relevance of these results to the design of polymers for organic photovoltaic applications is also discussed, particularly with regard to explaining why highly luminescent polymers developed for organic light emitting diode applications often give relatively poor performance in organic photovoltaic devices
Observations of the Io plasma torus
The short wavelength spectrography on the IUE satellite was used to obtain spectra of the plasma torus near the orbit of Io about Jupiter. Three exposures of about 8 hours each taken in March and May 1979 show emission features due to SII, SIII, and OIII. The absence of features at other wavelengths permits upper limits to be other species in the torus
Creating citizen-consumers? Public service reform and (un)willing selves
About the book: Postmodern theories heralded the "death of the subject", and thereby deeply contested our intuition that we are free and willing selves. In recent times, the (free) will has come under attack yet again. Findings from the neuro- and cognitive sciences claim the concept of will to be scientifically untenable, specifying that it is our brain rather than our 'self' which decides what we want to do. In spite of these challenges however, the willing self has come to take centre stage in our society: juridical and moral practices ascribing guilt, or the organization of everyday life attributing responsibilities, for instance, can hardly be understood without taking recourse to the willing subject.
In this vein, the authors address topics such as the genealogy of the concept of willing selves, the discourse on agency in neuroscience and sociology, the political debate on volition within neoliberal and neoconservative regimes, approaches toward novel forms of relational responsibility as well as moral evaluations in conceptualizing autonomy
Observations of polar aurora on Jupiter
North-south spatial maps of Jupiter were obtained with the SWP camera in IUE observations of 10 December 1978, 19 May 1979, and 7 June 1979. Bright auroral emissions were detected from the north and south polar regions at H Ly alpha (1216 A) and in the H2 Lyman bands (1250-1608 A) on 19 May 1979; yet no enhanced polar emission was detected on the other days. The relationship between the IUE observing geometry and the geometry of the Jovian magnetosphere is discussed
Differences in the trophic ecology of micronekton driven by diel vertical migration.
Many species of micronekton perform diel vertical migrations (DVMs), which ultimately contributes to carbon export to the deep sea. However, not all micronekton species perform DVM, and the nonmigrators, which are often understudied, have different energetic requirements that might be reflected in their trophic ecology. We analyze bulk tissue and whole animal stable nitrogen isotopic compositions (δ 15N values) of micronekton species collected seasonally between 0 and 1250 m depth to explore differences in the trophic ecology of vertically migrating and nonmigrating micronekton in the central North Pacific. Nonmigrating species exhibit depth-related increases in δ 15N values mirroring their main prey, zooplankton. Higher variance in δ 15N values of bathypelagic species points to the increasing reliance of deeper dwelling micronekton on microbially reworked, very small suspended particles. Migrators have higher δ 15N values than nonmigrators inhabiting the epipelagic zone, suggesting the consumption of material during the day at depth, not only at night when they migrate closer to the surface. Migrating species also appear to eat larger prey and exhibit a higher range of variation in δ 15N values seasonally than nonmigrators, likely because of their higher energy needs. The dependence on material at depth enriched in 15N relative to surface particles is higher in migratory fish that ascend only to the lower epipelagic zone. Our results confirm that stark differences in the food habits and dietary sources of micronekton species are driven by vertical migrations
- …