gebhart/patrepeval huggingface dataset:
Atomic incremental garbage collection and recovery for a large stable heap (1993)

A stable heap is storage that is managed automatically using garbage collection, manipulated using atomic transactions, and accessed using a uniform storage model. These features enhance reliability and simplify programming by preventing errors due to explicit deallocation, by masking failures and concurrency using transactions, and by eliminating the distinction between accessing temporary storage and permanent storage. Stable heap management is useful for programming languages for reliable distributed computing, programming languages with persistent storage, and object-oriented database systems.
Tensile-Strained Nanoscale Ge/In0.16Ga0.84As Heterostructure for Tunnel Field-Effect Transistor (2014)

Tensile strained Ge/In0.16Ga0.84As heterostructure was grown in situ by molecular beam epitaxy using two separated growth chambers for Ge and III-V materials. Controlled growth conditions led to the presence of 0.75% in-plane tensile strain within Ge layer. High-resolution transmission electron microscopy confirmed pseudomorphic Ge with high crystalline quality and a sharp Ge/In0.16Ga0.84As heterointerface. Atomic force microscopy revealed a uniform two-dimensional cross-hatch surface morphology with a root-mean-square roughness of 1.26 nm. X-ray photoelectron spectroscopy demonstrated reduced tunneling-barrier-height compared with Ge/GaAs heterostructure. The superior structural properties suggest tensile strained Ge/In0.16Ga0.84As heterostructure would be a promising candidate for high-performance and energy-efficient tunnel field-effect transistor applications.
ChemInform Abstract: Efficient 1,2‐Asymmetric Induction in Radical Reactions: Addition of Acyl Radicals to 3‐Hydroxy‐1‐(methylthio)‐1‐(p‐tolylsulfonyl)‐1‐alkenes and Their Acetates. (1999)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
SEIGN: A Simple and Efficient Graph Neural Network for Large Dynamic Graphs (2023)

Graph neural networks (GNNs) have accomplished great success in learning complex systems of relations arising in broad problem settings ranging from e-commerce, social networks to data management. Training GNNs over large-scale graphs poses challenges for constrained compute resources due to the heavy data dependencies between the nodes. Moreover, modern relational data is constantly evolving, which creates an additional layer of learning challenges with respect to the model scalability and expressivity. This paper introduces a simple and efficient learning algorithm for large discrete-time dynamic graphs (DTDGs) – a widely adopted data model for many applications. We particularly tackle two critical challenges: (1) how the model can be efficiently trained on large-scale DTDGs to exploit hardware accelerators with small memory footprint, and (2) how the model can effectively capture the changing dynamics of the graphs. To the best of our knowledge, existing GNNs fail to address both challenges in their models. Hence, we propose a scalable evolving inception GNN, called SEIGN. Specifically, SEIGN features two connected evolving components that adapt the graph model to the arriving snapshot and capture the changing dynamics of the node embeddings, respectively. To scale up the model training, SEIGN introduces a parameter-free message passing step for DTDGs to substantially remove the data dependencies in training. Furthermore, it significantly reduces the training memory footprint and allows us to construct a succinct graph mini-batch without performing neighborhood sampling. We further optimize the proposed evolving strategies by extracting features from neighbors at varying scales to increase the expressive power of the node representations. Our experimental evaluation, on both public benchmark and real industrial datasets, demonstrates that SEIGN achieves 2%–20% improvement in Area Under Curve (AUC) and Average Precision (AP) on the prediction task over the state-of-the-art baselines. SEIGN also supports efficient graph mini-batch training and gains 2–16 times speedup in epoch computation time over the entire DTDGs.
Synthesis of Aluminophosphate Molecular Sieves in Alkaline Media (2020)

Unlike conventional aluminosilicate zeolites synthesized in alkaline media, aluminophosphate molecular sieves (AlPOs) have always been prepared under acidic conditions in the past three decades; this has been regarded as one of essential factors for synthesis, except for the case of silica-substituted analogues (SAPOs). For the first time, we demonstrate herein a simple and generalized route for synthesizing various types of aluminophosphate molecular sieves in alkaline media. A series of aluminophosphate sieves and their analogues have been prepared with different quaternary ammonium cations as structure-directing agents in this manner. The above successes have extended the systematic media from acidic or neutral to alkaline for the preparation of a series of aluminophosphate molecular sieves, which possibly open an alternative route for the synthesis of aluminophosphate molecular sieves.
A Weyl function approach to matter-wave coherence and Talbot-Lau effects (2007)

Weyl functions conveniently describe the evolution of wave coherences in periodic or quadratic potentials. In this work we use Weyl functions to study the ``Talbot-Lau effect'' in a time-domain matter-wave interferometer. A ``displacement diagram'' is introduced to analyze and calculate the matter-wave interference for an atomic cloud in a quadratic potential that interacts with a sequence of short optical standing wave pulses producing an atomic grating echo. Unlike previous treatments, this new approach allows the atomic ensemble to have an arbitrary initial phase-space distribution, and the standing wave grating vectors to span three dimensions. Several examples are discussed to illustrate the convenience of the diagrammatic technique including the following: a two-dimensional Talbot-Lau effect, the shift in the echo time and the recoil phase for the interferometer perturbed by a quadratic potential; and the realization of a time-domain ``Lau effect'' using a pulsed harmonic potential. The diagrammatic technique is applicable to diffraction gratings with arbitrary grating transmission functions. We conclude the paper with a general discussion on the Weyl function representations of matter-wave coherence, and relate the conservation of matter-wave coherence with the conservation of purity that distinguishes decoherence effects from dephasing effects.
Security Verification for Authentication and Key Exchange Protocols, Revisited (2010)

It is preferable for authentication and key exchange protocols to be verified automatically and rapidly in accordance with security requirements. We proposed a security verification method (OKT method) for authentication and key exchange protocols based on Bellare et al.'s model (BPR model). However, there is an estrangement between the security of the OKT method and the BPR model. In this paper, we reconsider the OKT method and once again propose a security verification method for authentication and key exchange protocols based on the BPR model. In particular, we show the novel verification points for each security property in the authentication and key exchange protocols.
High WET resolution proton radiography using dedicated image processing methods and a commercial plug'n'play detector (2018)

International audience
Computational Systems Chemical Biology (2010)

There is a critical need for improving the level of chemistry awareness in systems biology. The data and information related to modulation of genes and proteins by small molecules continue to accumulate at the same time as simulation tools in systems biology and whole body physiologically based pharmacokinetics (PBPK) continue to evolve. We called this emerging area at the interface between chemical biology and systems biology systems chemical biology (SCB) (Nat Chem Biol 3: 447-450, 2007).The overarching goal of computational SCB is to develop tools for integrated chemical-biological data acquisition, filtering and processing, by taking into account relevant information related to interactions between proteins and small molecules, possible metabolic transformations of small molecules, as well as associated information related to genes, networks, small molecules, and, where applicable, mutants and variants of those proteins. There is yet an unmet need to develop an integrated in silico pharmacology/systems biology continuum that embeds drug-target-clinical outcome (DTCO) triplets, a capability that is vital to the future of chemical biology, pharmacology, and systems biology. Through the development of the SCB approach, scientists will be able to start addressing, in an integrated simulation environment, questions that make the best use of our ever-growing chemical and biological data repositories at the system-wide level. This chapter reviews some of the major research concepts and describes key components that constitute the emerging area of computational systems chemical biology.
Photonic Systems and Devices for Linear Cell Radar (2019)

This paper reviews linear cell radar systems, which are radar systems consisting of many antenna units connected by radio-over-fiber to monitor linear-shaped areas. A linear cell system using a millimeter-wave band can provide high-resolution imaging for foreign object detection on runways. Electro-optic devices play important roles in linear cell systems to provide a conversion between optical and electric signals. This paper describes overviews of such devices including light sources, photodetectors, and optical modulators, etc.
Calorie restriction induces mitochondrial biogenesis and bioenergetic efficiency (2006)

Age-related accumulation of cellular damage and death has been linked to oxidative stress. Calorie restriction (CR) is the most robust, nongenetic intervention that increases lifespan and reduces the rate of aging in a variety of species. Mechanisms responsible for the antiaging effects of CR remain uncertain, but reduction of oxidative stress within mitochondria remains a major focus of research. CR is hypothesized to decrease mitochondrial electron flow and proton leaks to attenuate damage caused by reactive oxygen species. We have focused our research on a related, but different, antiaging mechanism of CR. Specifically, using both in vivo and in vitro analyses, we report that CR reduces oxidative stress at the same time that it stimulates the proliferation of mitochondria through a peroxisome proliferation-activated receptor coactivator 1 alpha signaling pathway. Moreover, mitochondria under CR conditions show less oxygen consumption, reduce membrane potential, and generate less reactive oxygen species than controls, but remarkably they are able to maintain their critical ATP production. In effect, CR can induce a peroxisome proliferation-activated receptor coactivator 1 alpha-dependent increase in mitochondria capable of efficient and balanced bioenergetics to reduce oxidative stress and attenuate age-dependent endogenous oxidative damage.
Angiogenic Gene-Modified Muscle Cells for Enhancement of Tissue Formation (2005)

Bone biopsies were performed after tetracycline double-labelling by transfixing the right iliac crest in forty hyperthyroid patients. The bone changes in cortical and trabecular bone were determined by simple measurement and point counting on decalcified and undecalcified stained sections. A slight decrease in the amount of cancellous bone was found. The mean cortical width was normal. The amount of osteoid and the length of the osteoid seams were increased, whereas the mean width of osteoid seams was decreased. The cortical osteoclastic activity and porosity were markedly increased. The trabecular osteoclasic activity was moderately increased and the mean size of periosteocytic lacunae was slightly increased. The calcification rate in cancellous bone was increased as were the active calcification surfaces (tetracycline-labelled). The osteoclastic activity in cortical bone was positively correlated to the free thyroxine index and to the urinary calcium and phosphorus excretion. The findings indicate that the bone changes in hyperthyroidism are specific and that thyroid hormone(s) stimulates both bone formation and resorption followed by increased porosity in cortical bone and by mobilization of bone mineral.
PERITONEAL DIALYSIS SOLUTIONS AND FELINE SPLANCHNIC BLOOD FLOW (1984)

Splanchnic blood flow is generally considered to be one of the major factors governing the efficiency of peritoneal dialysis; however, few direct measurements of blood flow have been made during peritoneal dialysis. The radioactive microsphere technique was used to assess the effects of 1.5 and 4.25 g/100 ml dextrose-Dianeal solutions on blood flow to various tissues in the abdominal cavity. The effects of dialysis solution on blood flow through the superior mesenteric and coeliac arteries were measured by electromagnetic flowmetry. The results indicate that the commercial peritoneal dialysis solutions dramatically increase blood flow to the mesentery, omentum, intestinal serosa and parietal peritoneum. These changes are not accompanied by significant alterations in blood perfusion in the major abdominal organs (liver, stomach, intestine, pancreas, spleen). Peritoneal dialysis solutions do not significantly alter blood flow through the coeliac and superior mesenteric arteries. These findings indicate that commercial dialysis solutions improve perfusion to the peritoneum without significantly altering splanchnic blood flow.
Increased IL-12 P40 homodimer secretion by spleen cells duringin vivo growth of the BW-19 T cell hybridoma accompanies suppression of natural immunity (1998)

The high capacity of the T cell hybridoma BW-19 to metastasize to the spleen, despite its high and moderate sensitivity to lysis by macrophages and natural killer (NK) cells, respectively, appears to be linked to its capacity to suppress local resident NK cell and macrophage activity. Such suppression of splenic NK cell and macrophage activity is accompanied by an increased production of the p40 subunit of interleukin-12 (IL-12) by spleen cells. Closer examination revealed that most of the p40 subunit is present under the form of the homodimer (p40)2, whereas the heterodimeric form of IL-12 is present only in small amounts. Since (p40)2 is known to be a strong antagonist of IL-12-mediated effects, i.e., NK cell activation and interferon-gamma (IFN-gamma) secretion, the increased production of (p40)2 after BW-19 cell inoculation may contribute to the suppression of NK cell and macrophage activity. In addition, we found that the high production of (p40)2 in our tumor model was accompanied by a drastic decrease in IL-2 and IFN-gamma production by spleen cells, further favoring the possibility that (p40)2 plays a role in the suppression of NK cell and macrophage cytotoxicity. Our results show that normal spleen cells can produce (p40)2 in response to cancer cell growth in vivo and are highly suggestive of a role for (p40)2 in the suppression of natural immunity.
The search for an ideal temporary skin substitute: AWBAT. (2009)

It is expected that new technological improvements in AWBAT will provide improved performance over existing skin substitutes. Increased porosity and continuity of the 3-dimensional silicone-nylon membrane are expected to improve acute adherence and reduce the potential for infection associated with fluid accumulation, and the elimination of cross-linking agents in the collagen application is expected to improve the interaction with fibrin and eliminate the potential for allergic reaction to those agents.
ChemInform Abstract: Synthesis and Anti‐Inflammatory Activity of 3,3a‐Dihydro‐2H,9H‐isoxazolo[3,2‐b]‐ [l,3]benzoxazin‐9‐ones and Related Compounds. (1977)

A series of 3,3a-dihydro-2H,9H-isoxazolo[3,2-b]-[1,3]benzoxazin-9-ones was synthesized and evaluated for anti-inflammatory, antipyretic and analgesic activity. Since many of these compounds exhibited promising activity, particularly in the anti-inflammatory tests, a number of homologous 2,3,4,4a-tetrahydro-10H-1,2-oxazino[3,2-b]-[1,3]benzoxazin-10-ones and one 3,4,5,5a-tetrahydro-2H, 11H,-1,2-oxazepino [3,2-b][1,3]benzoxazin-11-one, the 9-chloro analog, were also prepared and evaluated. The expanded ring members were generally less active than the tricyclic compounds containing the isoxazolidine ring.
Childhood near‐tetraploid acute lymphoblastic leukemia: an EGIL study on 36 cases (2010)

Our data demonstrate immunophenotypic, cytogenetic, and molecular heterogeneity of NT-ALL and favorable prognosis of most NT-ALL across different immunophenotypic and/or genetic ALL subtypes.
Methods for Clinical Evaluation of Noise Reduction Techniques in Abdominopelvic CT (2014)

Most noise reduction methods involve nonlinear processes, and objective evaluation of image quality can be challenging, since image noise cannot be fully characterized on the sole basis of the noise level at computed tomography (CT). Noise spatial correlation (or noise texture) is closely related to the detection and characterization of low-contrast objects and may be quantified by analyzing the noise power spectrum. High-contrast spatial resolution can be measured using the modulation transfer function and section sensitivity profile and is generally unaffected by noise reduction. Detectability of low-contrast lesions can be evaluated subjectively at varying dose levels using phantoms containing low-contrast objects. Clinical applications with inherent high-contrast abnormalities (eg, CT for renal calculi, CT enterography) permit larger dose reductions with denoising techniques. In low-contrast tasks such as detection of metastases in solid organs, dose reduction is substantially more limited by loss of lesion conspicuity due to loss of low-contrast spatial resolution and coarsening of noise texture. Existing noise reduction strategies for dose reduction have a substantial impact on lowering the radiation dose at CT. To preserve the diagnostic benefit of CT examination, thoughtful utilization of these strategies must be based on the inherent lesion-to-background contrast and the anatomy of interest. The authors provide an overview of existing noise reduction strategies for low-dose abdominopelvic CT, including analytic reconstruction, image and projection space denoising, and iterative reconstruction; review qualitative and quantitative tools for evaluating these strategies; and discuss the strengths and limitations of individual noise reduction methods.
Coal fly ash: linking immersion freezing behavior and physicochemical particle properties (2018)

Abstract. To date, only a few studies have investigated the potential of coal fly ash particles to trigger heterogeneous ice nucleation in cloud droplets. The presented measurements aim at expanding the sparse dataset and improving process understanding of how physicochemical particle properties can influence the freezing behavior of coal fly ash particles immersed in water. Firstly, immersion freezing measurements were performed with two single particle techniques, i.e., the Leipzig Aerosol Cloud Interaction Simulator (LACIS) and the SPectrometer for Ice Nuclei (SPIN). The effect of suspension time on the efficiency of the coal fly ash particles when immersed in a cloud droplet is analyzed based on the different residence times of the two instruments and employing both dry and wet particle generation. Secondly, two cold-stage setups, one using microliter sized droplets (Leipzig Ice Nucleation Array) and one using nanoliter sized droplets (WeIzmann Supercooled Droplets Observation on Microarray setup) were applied. We found that coal fly ash particles are comparable to mineral dust in their immersion freezing behavior when being dry generated. However, a significant decrease in immersion freezing efficiency was observed during experiments with wet-generated particles in LACIS and SPIN. The efficiency of wet-generated particles is in agreement with the cold-stage measurements. In order to understand the reason behind the deactivation, a series of chemical composition, morphology, and crystallography analyses (single particle mass spectrometry, scanning electron microscopy coupled with energy dispersive X-ray microanalysis, X-ray diffraction analysis) were performed with dry- and wet-generated particles. From these investigations, we conclude that anhydrous CaSO4 and CaO – which, if investigated in pure form, show the same qualitative immersion freezing behavior as observed for dry-generated coal fly ash particles – contribute to triggering heterogeneous ice nucleation at the particle–water interface. The observed deactivation in contact with water is related to changes in the particle surface properties which are potentially caused by hydration of CaSO4 and CaO. The contribution of coal fly ash to the ambient population of ice-nucleating particles therefore depends on whether and for how long particles are immersed in cloud droplets.
Speckle-Based X-Ray Phase-Contrast and Dark-Field Imaging with a Laboratory Source (2014)

We report on the observation and application of near-field speckles with a laboratory x-ray source. The detection of speckles is possible thanks to the enhanced brilliance properties of the used liquid-metal-jet source, and opens the way to a range of new applications in laboratory-based coherent x-ray imaging. Here, we use the speckle pattern for multimodal imaging of demonstrator objects. Moreover, we introduce algorithms for phase and dark-field imaging using speckle tracking, and we show that they yield superior results with respect to existing methods.
Rapid Antibiotics Screening Method for Actinobacillus actinomycetemcomitans Using Oxygen Electrode System. (1999)

本研究は細菌の呼吸に着目し, 細菌培養溶液中の酸素濃度を測定することが可能な溶存酸素測定装置を用いた, 歯周病原性細菌であるActinobacillus actinomycetemcomitans (以下A. a.) の各種抗生物質に対する感受性の判定法を検討した。通性嫌気性グラム陰性菌であるA. a. は, 嫌気環境下および好気環境下のいずれの培養条件においても類似した増殖傾向を示し, A. a. が高い感受性を示す抗生物質であるテトラサイクリン, ミノサイクリンの存在下で増殖が有意に抑制された。さらに, 好気環境下で培養したA. a. の培養液中の溶存酸素量を溶存酸素測定装置により経時的に測定して酸素消費を検討した。培養液中の溶存酸素量はA. a. の総菌数に比例して減少し, A. a. による酸素消費が示された。また, これらの酸素消費はテトラサイクリンおよび, ミノサイクリンの濃度に依存して有意に抑制されたが, A. a. が感受性を示さない抗生物質であるバシトラシンおよびバンコマイシンでは酸素消費量に変化が認められなかった。以上の結果から, 溶存酸素測定装置を用いた薬剤感受性試験は歯周病原性の通性嫌気性菌であるA. a. に対して有用であり, 抗生物質の効果が迅速に判定できることが示唆された。
Grating-assisted-cylindrical-resonant-cavities interlayer coupler (2018)

A grating-assisted-cylindrical-resonant-cavities (GARC) interlayer coupler made of Si/SiO<sub>2</sub> is designed and simulated to achieve efficient and broadband interlayer coupling. This coupler consists of three cylindrical resonant cavities: two waveguide cavities in the horizontal direction and one cylindrical via cavity in the vertical direction. The resonant strengths of the two cylindrical waveguide cavities are enhanced by circular Bessel-function-defined gratings and distributed Bragg reflectors. The interlayer coupling efficiency of this Si/SiO<sub>2</sub> GARC coupler is simulated as η<sub>c</sub>=68%(-1.7 dB) for transverse electric polarization at 1.55 μm wavelength, which is generally higher than those of conventional rectangular silicon-on-insulator gratings with additional features such as reflectors, overlayers, chirped periods, dual gratings, etc. The GARC couplers are predicted to have favorable attributes compared to previous couplers, including wider operational bandwidth (δ<sub>λ,1 dB</sub>=270 nm), larger tolerance to inplane misalignment (±2 μm for 1 dB extra loss), easier grating patterning (wider grating ridges), smaller footprint (20 μm in diameter), and more flexible choices of interlayer distances (2-5 μm). A sensitivity analysis is also provided as a guide in fabrication. In general, it is found that the vertical dimensions of the GARC couplers need to be carefully controlled while the horizontal dimensions are less critical.