1,409 research outputs found
Oldest Omaliini (Coleoptera: Staphylinidae: Omaliinae) Discovered in the Opaque Cretaceous Amber of Charentes
International audienceAppartenant aux Staphylinidae, la plus grande famille animale connue, les Omaliinae actuels constituent un groupe de scarabées très diversifié' et à large répartition mondiale. Des représentants des Omaliinae sont connus depuis le Jurassique inférieurà moyen, via des fossiles en compression, mais la tribu des Omaliini n'est identifiée qu'à partir du Cénozoïque. Duocalcar geminum Peris and Thayer gen. et sp. nov. est décrit comme le plus ancien fossile connu de cette tribu, et provient de l'ambre opaque du Crétacé moyen (Albien terminal) des Charentes (Sud-Ouest de la France). Sa découverte et sa description ont été rendues possibles grâce a' l'utilization des techniques d'imagerie RX synchrotron en contraste de phase, qui permettent une étude détaillée des inclusions d'insectes dans l'ambre opaque
Impact of Cr-poisoning on the conductivity of different LaNi0.6Fe0.4O3 cathode microstructures
The microstructure of porous LaNi0.6Fe0.4O3 (LNF) layers has a significant influence on the degree of the Cr-poisoning impact. The increase in the in-plane resistance and Cr accumulation in poisoned LNF-layers has been correlated with microstructural features. The Cr-poisoning impact is more severe in the case of a microstructure characterized by finer particles, higher porosity and larger particle surface area
La(Ni,Fe)O3 Stability in the Presence of Chromia—A Solid-State Reactivity Study
The perovskite (LNF) is a candidate material for the electrochemically active cathode layer, the cathode current collecting layer, and/or the interconnect protective coating in intermediate temperature solid oxide fuel cells (IT-SOFCs) operated at . Since these operating temperatures enable the use of relatively cheap interconnect materials such as chromia-forming ferritic stainless steel, investigation of the chemical stability of LNF in the presence of chromium species is of importance. This study demonstrates that LNF is chemically unstable at when it is in direct contact with . It has been observed that Cr enters the perovskite phase, replacing first Ni and then Fe, already after 200h. At 600°C, however, only minor reaction products were detected after 1000h exposure to . Although this is a promising result, long-term testing under fuel cell operating conditions at 600°C is needed to prove that LNF is a viable IT-SOFC material
Impact of Cr-poisoning on the conductivity of LaNi0.6Fe0.4O3
This study demonstrates the significant impact of Cr on the electronic conductivity of a LaNi0.6Fe0.4O3 (LNF) porous cathode layer at 800 °C. Vapor transport of Cr-species, originating from a porous metallic foam, and subsequent reaction with LNF, results in a decrease of the electronic conductivity of the LNF-layer. Cr has been detected throughout the entire cross-section of a 16 μm thick LNF layer, while Ni, besides its compositional distribution in the LNF layer, has also been found in enriched spots forming Ni-rich metal oxide crystals. Transmission electron microscopy revealed that Cr is gradually incorporated into the LNF-grains, while Ni is proportionally expelled. Electron diffraction performed in the center of a sliced grain showed the initial rhombohedral crystal structure of LNF, whereas diffraction performed close to the edge of the grain revealed the orthorhombic perovskite crystal structure, indicating a Cr-enriched perovskite phase. Progressive Cr deposition and penetration into the LNF grains and necks explains the electronic conductivity deterioration. The impact of Cr-poisoning on the electronic conductivity of the LNF porous layer is considerably smaller at 600 °C than at 800 °C
Asymptotic information leakage under one-try attacks
We study the asymptotic behaviour of (a) information leakage and (b) adversary’s error probability in information hiding systems modelled as noisy channels. Specifically, we assume the attacker can make a single guess after observing n independent executions of the system, throughout which the secret information is kept fixed. We show that the asymptotic behaviour of quantities (a) and (b) can be determined in a simple way from the channel matrix. Moreover, simple and tight bounds on them as functions of n show that the convergence is exponential. We also discuss feasible methods to evaluate the rate of convergence. Our results cover both the Bayesian case, where a prior probability distribution on the secrets is assumed known to the attacker, and the maximum-likelihood case, where the attacker does not know such distribution. In the Bayesian case, we identify the distributions that maximize the leakage. We consider both the min-entropy setting studied by Smith and the additive form recently proposed by Braun et al., and show the two forms do agree asymptotically. Next, we extend these results to a more sophisticated eavesdropping scenario, where the attacker can perform a (noisy) observation at each state of the computation and the systems are modelled as hidden Markov models
Guidance for the treatment of adult growth hormone deficiency with somapacitan, a long-acting growth hormone preparation
Adult growth hormone deficiency (AGHD) is a rare endocrine disorder characterized by an abnormal body composition, metabolic abnormalities associated with increased cardiovascular diseases, bone loss, and impaired quality of life. Daily subcutaneous injections with recombinant growth hormone (GH) can alleviate the abnormalities associated with AGHD. Several long-acting GH (LAGH) preparations are currently in development that aim to reduce treatment burden for patients receiving daily GH injections. Somapacitan (Sogroya®; Novo Nordisk, Denmark) is the first LAGH preparation that has been approved for treatment of AGHD in the United States, Europe, and Japan. The recent approval of somapacitan and anticipated approval of other LAGH molecules presents new questions for physicians planning to treat AGHD with LAGH in the future. Differences in the technologies used to prolong the half-life of recombinant GH are expected to result in variations in pharmacokinetic and pharmacodynamic profiles between preparations. Therefore, it is essential that physicians understand and consider such variations when treating patients with these novel GH replacement therapies. Here, we present a set of treatment recommendations that have been created to guide physicians initiating therapy with somapacitan in patients with AGHD who are eligible for GH replacement. Furthermore, we will review the published data that underlie these recommendations to explain the rationale for the treatment and monitoring advice provided
Nitrogen pair-induced temperature insensitivity of the band gap of GaNSb alloys
The temperature dependence of the band gap of GaN x Sb1−x films with x ≤ 1.3% has been studied in the 1.1–3.3 m (0.35–1.1 eV) range using infrared absorption spectroscopy between 4.2 and 300 K. As with other dilute nitride semiconductors, the temperature dependence of the band gap is reduced by alloying with nitrogen when compared to the host binary compound. However, for GaNSb, the smallest variation of the band gap with temperature is observed for samples with the lowest N content for which the band gap is almost totally insensitive to temperature changes. This contrasts with the more widely studied GaN x As1−x alloys in which the band gap variation with temperature decreases with increasing N content. The temperature-dependent absorption spectra are simulated within the so-called band anticrossing model of the interaction between the extended conduction band states of the GaSb and the localized states associated with the N atoms. The N next-nearest neighbor pair states are found to be responsible for the temperature insensitivity of the band gap of the GaNSb alloys as a result of their proximity to the conduction band edge giving them a more pronounced role than in GaNAs alloys
Classical BI: Its Semantics and Proof Theory
We present Classical BI (CBI), a new addition to the family of bunched logics
which originates in O'Hearn and Pym's logic of bunched implications BI. CBI
differs from existing bunched logics in that its multiplicative connectives
behave classically rather than intuitionistically (including in particular a
multiplicative version of classical negation). At the semantic level,
CBI-formulas have the normal bunched logic reading as declarative statements
about resources, but its resource models necessarily feature more structure
than those for other bunched logics; principally, they satisfy the requirement
that every resource has a unique dual. At the proof-theoretic level, a very
natural formalism for CBI is provided by a display calculus \`a la Belnap,
which can be seen as a generalisation of the bunched sequent calculus for BI.
In this paper we formulate the aforementioned model theory and proof theory for
CBI, and prove some fundamental results about the logic, most notably
completeness of the proof theory with respect to the semantics.Comment: 42 pages, 8 figure
- …