gebhart/patrepeval huggingface dataset:
AMBIANT: automatic generation of behavioral modifications for testability (2002)

The paper discusses techniques that help a designer to consider testability features early in the design cycle. The behavioral specification of a design is used to perform high level testability analysis, based on which behavioral modifications for testability are suggested to the designer. Results show that the overhead for incorporating these modifications is minimal.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
GLASS CERAMIC ARMOUR SYSTEMS FOR LIGHT ARMOUR APPLICATIONS (2001)

This paper descries an experimental evaluation of lithium-zinc-silicate glass ceramics when used as the strike face of an armour system. It is shown that against soft cored 7.62mm rounds (lead or mild steel cores) glass ceramics offer protection at an areal density which is equal to or better than alumina faced systems. The lithium zinc silicate system has a relatively low hardness (Hv 600) when compared to conventional ceramics such as alumina (typically Hv1300-1500). Consequently the performance of the glass ceramic system against hard cored projectiles is poor.
Application of a cryogenic vector network measuring technique in a high-speed digital test (1999)

The result of a digital transmission test of a YBa/sub 2/Cu/sub 3/Ox/MgO/Au microstrip line to coplanar waveguide transmission line converter is reported. It was fabricated in order to introduce a microwave design technology for high-speed digital testing. The performance was verified using a cryogenic vector network measuring technique. The transmission characteristics of the microstrip line to coplanar waveguide transmission line converter was almost the same as YBa/sub 2/Cu/sub 3/Ox/MgO/Au microstrip line at frequencies from 40 MHz to 10 GHz at 30 K. The bit error rate was analyzed using a 2/sup 23/-1 pseudo random binary signal at 3 GHz. The degradation of the bit error rate caused by the microstrip line to coplanar waveguide transmission line converter and the measuring system itself are discussed using the Q factor of the signal obtained from the bit error rate analysis and the transmission characteristics obtained by the vector network measurement.
The experiences of family members placing a relative into residential care: the move (2008)

This paper reports on an extensive literature review that focuses on family members' experiences of placing an older relative into residential care. Specific issues in the literature associated with the decision making process, including the decision to place a relative into a nursing home, are discussed. The search for a nursing home through to relocation of a relative into the facility and family members' emotional journeys through the entire relocation process are described. Placing a relative into a nursing home is a complex issue with family members being vulnerable after placement and often experiencing distress, loneliness, guilt and role confusion with unrelenting doubts about the placement decision and concern for their relatives' wellbeing. There is a clear need to pursue this research topic in the Australian context. (author abstract)
Antiproliferative, Antibacterial and Antifungal Activity of the Lichen Xanthoria parietina and Its Secondary Metabolite Parietin (2015)

Lichens are valuable natural resources used for centuries throughout the world as medicine, food, fodder, perfume, spices and dyes, as well as for other miscellaneous purposes. This study investigates the antiproliferative, antibacterial and antifungal activity of the acetone extract of the lichen Xanthoria parietina (Linnaeus) Theodor Fries and its major secondary metabolite, parietin. The extract and parietin were tested for antimicrobial activity against nine American Type Culture Collection standard and clinically isolated bacterial strains, and three fungal strains. Both showed strong antibacterial activity against all bacterial strains and matched clinical isolates, particularly against Staphylococcus aureus from standard and clinical sources. Among the fungi tested, Rhizoctonia solani was the most sensitive. The antiproliferative effects of the extract and parietin were also investigated in human breast cancer cells. The extract inhibited proliferation and induced apoptosis, both effects being accompanied by modulation of expression of cell cycle regulating genes such as p16, p27, cyclin D1 and cyclin A. It also mediated apoptosis by activating extrinsic and intrinsic cell death pathways, modulating Tumor Necrosis Factor-related apoptosis-inducing ligand (TRAIL) and B-cell lymphoma 2 (Bcl-2), and inducing Bcl-2-associated agonist of cell death (BAD) phosphorylation. Our results indicate that Xanthoria parietina is a major potential source of antimicrobial and anticancer substances.
Hierarchical Generation of Molecular Graphs using Structural Motifs (2020)

Graph generation techniques are increasingly being adopted for drug discovery. Previous graph generation approaches have utilized relatively small molecular building blocks such as atoms or simple cycles, limiting their effectiveness to smaller molecules. Indeed, as we demonstrate, their performance degrades significantly for larger molecules. In this paper, we propose a new hierarchical graph encoder-decoder that employs significantly larger and more flexible graph motifs as basic building blocks. Our encoder produces a multi-resolution representation for each molecule in a fine-to-coarse fashion, from atoms to connected motifs. Each level integrates the encoding of constituents below with the graph at that level. Our autoregressive coarse-to-fine decoder adds one motif at a time, interleaving the decision of selecting a new motif with the process of resolving its attachments to the emerging molecule. We evaluate our model on multiple molecule generation tasks, including polymers, and show that our model significantly outperforms previous state-of-the-art baselines.
Analysis of the current-density distribution from a tapered, gelled-pad external cardiac pacing electrode. (1987)

We have designed a high-impedance (5000 omega-cm), tapered, gelled-pad, external cardiac pacing electrode that limits the migration of charges to the perimeter of a circular electrode and produces a more uniform current-density distribution than external cardiac pacing electrodes in clinical use. A computer simulation was developed that uses cylindrical coordinates to analyze the current-density distribution at the interface between the electrode and human tissue. Our computer simulation analyzed 32 different electrodes, and the results showed that the gelled-pad thickness, the gelled-pad taper, and the radius of the conducting disk were not significant parameters in determining the current-density distributions for low-resistivity electrodes. Those parameters were, however, significant for high-resistivity electrodes. We defined the optimum resistivity as that at which the tapered, gelled-pad electrode produces the most uniform current-density distribution and delivers the most current to human tissue. When evaluating electrodes at the optimum resistivity, we determined that the peak current density of the tapered, gelled-pad electrode was 50% lower than that of the clinically available electrodes, while delivering 58% more current to the human tissue.
Effect of Cold Plasma Treatment on Seed Germination and Growth of Wheat (2014)

This study investigated the effect of cold helium plasma treatment on seed germination, growth and yield of wheat. The effects of different power of cold plasma on the germination of treated wheat seeds were studied. We found that the treatment of 80 W could significantly improve seed germination potential (6.0%) and germination rate (6.7%) compared to the control group. Field experiments were carried out for wheat seeds treated with 80 W cold plasma. Compared with the control, plant height (20.3%), root length (9.0%) and fresh weight (21.8%) were improved significantly at seedling stage. At booting stage, plant height, root length, fresh weight, stem diameter, leaf area and leaf thickness of the treated plant were respectively increased by 21.8%, 11.0%, 7.0%, 9.0%, 13.0% and 25.5%. At the same time, the chlorophyll content (9.8%), nitrogen (10.0%) and moisture content (10.0%) were higher than those of the control, indicating that cold plasma treatment could promote the growth of wheat. The yield of treated wheat was 7.55 t · ha−1, 5.89% more than that of the control. Therefore, our results show that cold plasma has important application prospects for increasing wheat yield.
Design criteria for electrochemical shock resistant battery electrodes (2012)

Mechanical degradation of electrode active materials (“electrochemical shock”) contributes to impedance growth of battery electrodes, but relatively few design criteria have been developed to mitigate fracture. Using micromechanical models and in situ acoustic emission experiments, we demonstrate and explain C-rate independent electrochemical shock in polycrystalline electrode materials with anisotropic Vegard coefficients. We conclude that minimizing the principal shear strain, rather than minimizing net volume change as previously suggested, is an important new design criterion for crystal chemical engineering of electrode materials for mechanical reliability. Polycrystalline particles of anisotropic Li-storage materials should be synthesized with primary crystallite sizes smaller than a material-specific critical size to avoid fracture along grain boundaries. Finally, we revise the electrochemical shock map construction to incorporate the material-specific critical microstructure feature sizes for C-rate independent electrochemical shock mechanisms, providing a simple tool for designing long-lived battery electrodes.
Multi-Rate and Variable-Rate Modeling of Speech At Phone and Syllable Time Scales (2006)

This paper introduces a multi-rate extension of hidden Markov models (HMMs), for joint acoustic modeling of speech at multiple time scales. The approach complements the usual short-term, phone-based representation of speech with wide modeling units and long-term temporal features. We consider two alternatives for coarse scale, representing either phones, or syllable structure and lexical stress, and both fixed- and variable-rate dependencies between time scales. Experiments on conversational telephone speech (CTS) show that the proposed multi-rate approach significantly improves recognition accuracy over HMM- and other coupled HMM-based approaches (e.g. feature concatenation) for combining short- and long-term acoustic and linguistic information.
The Mycoplasma gallisepticum 16S–23S rRNA Intergenic Spacer Region Sequence as a Novel Tool for Epizootiological Studies (2007)

Mycoplasma gallisepticum (MG) contains two sets of rRNA genes (5S, 16S and 23S) in its genome, but only one of the two is organized in an operon cluster and contains a unique 660-nucleotide intergenic spacer region (IGSR) between the 16S and the 23S rRNA genes. We designed a polymerase chain reaction (PCR) for the specific amplification of the complete MG IGSR segment. The MG IGSR PCR was tested on 18 avian mollicute species and was confirmed as MG specific. The reaction sensitivity was demonstrated by comparing it to the well-established MG mgc2 PCR. The MG IGSR sequence was found to be highly variable (discrimination [D] index of 0.950) among a variety of MG laboratory strains, vaccine strains, and field isolates. The sequencing of the MG IGSR appears to be a valuable single-locus sequence typing (SLST) tool for MG isolate differentiation in diagnostic cases and epizootiological studies.
Towards Functional Mobile Microrobotic Systems (2019)

This paper presents our work over the last decade in developing functional microrobotic systems, which include wireless actuation of microrobots to traverse complex surfaces, addition of sensing capabilities, and independent actuation of swarms of microrobots. We will discuss our work on the design, fabrication, and testing of a number of different mobile microrobots that are able to achieve these goals. These microrobots include the microscale magnetorestrictive asymmetric bimorph microrobot ( μ MAB), our first attempt at magnetic actuation in the microscale; the microscale tumbling microrobot ( μ TUM), our microrobot capable of traversing complex surfaces in both wet and dry conditions; and the micro-force sensing magnetic microrobot ( μ FSMM), which is capable of real-time micro-force sensing feedback to the user as well as intuitive wireless actuation. Additionally, we will present our latest results on using local magnetic field actuation for independent control of multiple microrobots in the same workspace for microassembly tasks.
Fast and high yield post-synthetic modification of metal–organic frameworks by vapor diffusion (2012)

Vapor-phase post-synthetic modification (VP-PSM) is herein described. VP-PSM is a tool that overcomes limitations of standard PSM methods by giving a higher yield in short reaction times and will give more flexibility in designing metal-organic frameworks with functionalization for chemical and physical applications.
Extensive mononuclear infiltration and myogenesis characterize recovery of dysferlin-null skeletal muscle from contraction-induced injuries (2009)

We studied the response of dysferlin-null and control skeletal muscle to large- and small-strain injuries to the ankle dorsiflexors in mice. We measured contractile torque and counted fibers retaining 10-kDa fluorescein dextran, necrotic fibers, macrophages, and fibers with central nuclei and expressing developmental myosin heavy chain to assess contractile function, membrane resealing, necrosis, inflammation, and myogenesis. We also studied recovery after blunting myogenesis with X-irradiation. We report that dysferlin-null myofibers retain 10-kDa dextran for 3 days after large-strain injury but are lost thereafter, following necrosis and inflammation. Recovery of dysferlin-null muscle requires myogenesis, which delays the return of contractile function compared with controls, which recover from large-strain injury by repairing damaged myofibers without significant inflammation, necrosis, or myogenesis. Recovery of control and dysferlin-null muscles from small-strain injury involved inflammation and necrosis followed by myogenesis, all of which were more pronounced in the dysferlin-null muscles, which recovered more slowly. Both control and dysferlin-null muscles also retained 10-kDa dextran for 3 days after small-strain injury. We conclude that dysferlin-null myofibers can survive contraction-induced injury for at least 3 days but are subsequently eliminated by necrosis and inflammation. Myogenesis to replace lost fibers does not appear to be significantly compromised in dysferlin-null mice.
Cell Cycle Regulator ING4 Is a Suppressor of Melanoma Angiogenesis That Is Regulated by the Metastasis Suppressor BRMS1 (2010)

ING4 has been previously shown to play important roles in regulating apoptosis, cell cycle progress, cell migration, and invasion. In this study, we investigated the impact of ING4 on melanoma angiogenesis. ING4 overexpression strongly suppressed the growth of human umbilical vein endothelial cells (HUVEC) and their ability to form tubular structure in vitro. We also found that ING4 inhibits interleukin-6 (IL-6) at both mRNA and protein levels through suppressing NF-κB activity. Knockdown of endogenous ING4 resulted in enhanced HUVEC growth and IL-6 expression. Our in vivo studies using nude mice confirmed that ING4 inhibited blood vessel formation and the recruitment of CD31-positive cells in matrigel plugs. Furthermore, we found that expression of ING4 was induced by BRMS1, a metastasis suppressor that inhibits melanoma angiogenesis through inhibiting NF-κB activity and IL-6 level as well. Further experiments showed that ING4 knockdown abrogated the suppressive effect of BRMS1 on HUVEC growth, whereas ING4 overexpression inhibited BRMS1 knockdown-induced angiogenesis, indicating that ING4 is a downstream target of BRMS1 in regulating tumor angiogenesis. Collectively, our findings indicate that ING4 is induced by BRMS1 and that it inhibits melanoma angiogenesis by suppressing NF-κB activity and IL-6 expression. Restoration of ING4 function offers a potential new strategy for the treatment of human melanoma.
Lithium tantalate single crystal stoichiometry (1970)

Accurate lattice parameter, hydrostatic density and Curie temperature measurements have been made on lithium tantalate single crystals grown from different melt compositions. Crystal compositions were determined by comparing crystal Curie temperatures with those determined from well reacted ceramic specimens of known composition. These measurements showed that a stoichiometric melt produces nonstoichiometric crystals and that the congruently melting composition is 49.0 mole % Li2O. The resulting defect model for nonstoichiometric lithium tantalate is Li[1−(5−n)x]Ta(1+x)nxe−O3 where n≃2 and the existence region is 46.0 to 50.4 mole % Li2O at room temperature.
Effect of nimesulide and indomethacin on contractility and the Ca<sup>2+</sup> channel current in myometrial smooth muscle from pregnant women (1998)

The non-steroidal anti-inflammatory drug (NSAID) indomethacin inhibits both constitutive and inducible forms of cyclo-oxygenase (COX-1 and COX-2, respectively), while nimesulide is a selective COX-2 inhibitor. Uterine COX-2 is upregulated before and during term and pre-term labour, and prostaglandins play a crucial role in parturition. We therefore evaluated the effects of these drugs on myometrial contractility and the voltage-gated Ca2+ channel current in tissue strips and isolated human myometrial smooth muscle cells (HMSMC) from myometrial biopsies taken with informed consent from women undergoing caesarean section at term (not in labour). Nimesulide and indomethacin caused almost complete inhibition of spontaneous myometrial contractions at concentrations of 100 and 300 microM, respectively. The Ca2+ channel current was inhibited in a concentration-dependent manner by both drugs, with a 40% reduction of the current at 100 microM nimesulide and 300 microM indomethacin. Nimesulide also accelerated the decay of the Ca2+ channel current. The inhibition of the Ca2+ channel current by 100 microM nimesulide and 300 microM indomethacin was unaffected by the presence of either PGF2alpha or PGE2 (30 microM), and was of similar magnitude whether 10 mM Ba2+ or 1.5 mM Ca2+ was used as the charge carrier. The concentrations of indomethacin and nimesulide required to suppress spontaneous contractility in human pregnant myometrium were much higher than those necessary to inhibit prostaglandin production. The results suggest that both nimesulide and indomethacin inhibit myometrial contractility via mechanisms independent of cyclo-oxygenase inhibition. Blockade of the Ca2+ current may contribute to this effect.
Screening of Metagenomic and Genomic Libraries Reveals Three Classes of Bacterial Enzymes That Overcome the Toxicity of Acrylate (2014)

Acrylate is produced in significant quantities through the microbial cleavage of the highly abundant marine osmoprotectant dimethylsulfoniopropionate, an important process in the marine sulfur cycle. Acrylate can inhibit bacterial growth, likely through its conversion to the highly toxic molecule acrylyl-CoA. Previous work identified an acrylyl-CoA reductase, encoded by the gene acuI, as being important for conferring on bacteria the ability to grow in the presence of acrylate. However, some bacteria lack acuI, and, conversely, many bacteria that may not encounter acrylate in their regular environments do contain this gene. We therefore sought to identify new genes that might confer tolerance to acrylate. To do this, we used functional screening of metagenomic and genomic libraries to identify novel genes that corrected an E. coli mutant that was defective in acuI, and was therefore hyper-sensitive to acrylate. The metagenomic libraries yielded two types of genes that overcame this toxicity. The majority encoded enzymes resembling AcuI, but with significant sequence divergence among each other and previously ratified AcuI enzymes. One other metagenomic gene, arkA, had very close relatives in Bacillus and related bacteria, and is predicted to encode an enoyl-acyl carrier protein reductase, in the same family as FabK, which catalyses the final step in fatty-acid biosynthesis in some pathogenic Firmicute bacteria. A genomic library of Novosphingobium, a metabolically versatile alphaproteobacterium that lacks both acuI and arkA, yielded vutD and vutE, two genes that, together, conferred acrylate resistance. These encode sequential steps in the oxidative catabolism of valine in a pathway in which, significantly, methacrylyl-CoA is a toxic intermediate. These findings expand the range of bacteria for which the acuI gene encodes a functional acrylyl-CoA reductase, and also identify novel enzymes that can similarly function in conferring acrylate resistance, likely, again, through the removal of the toxic product acrylyl-CoA.
Free Carrier Generation in Semiconductors Induced by Absorption of Subband-Gap Light (1998)

The mechanisms of electron-hole pair generation in a semiconductor induced by absorption of a subband-gap photon and mediated by a band-gap state are reviewed. The steady-state photocurrent quantum yield and the photocurrent response to harmonic modulation of the light intensity are calculated for each mechanism. It is shown, with a nanoporous GaP photoanode as an example, that the mechanisms can be distinguished by intensity-modulated photocurrent spectroscopy and that characterization of the mediating band-gap states is possible.
54.1: <i>Invited Paper</i> : A Novel Approach to Make Flexible Active Matrix Displays (2010)

Abstract A flexible thin film transistor (TFT) backplane was successfully developed with Polyimide (PI) substrate and a novel de‐bonding technology. The PI is colorless and transparent which can sustain a process temperature of 200°C. with this progress, flexible organic light emitting diode (OLED) and electrophoretic display (EPD) can readily be integrated with flexible TFT backplane to fabricate flexible AMOLED and flexible AMEPD.
NKT Cells Are Critical for the Initiation of an Inflammatory Bowel Response against <i>Toxoplasma gondii</i> (2005)

We demonstrated in this study the critical role of NKT cells in the lethal ileitis induced in C57BL/6 mice after infection with Toxoplasma gondii. This intestinal inflammation is caused by overproduction of IFN-gamma in the lamina propria. The implication of NKT cells was confirmed by the observation that NKT cell-deficient mice (Jalpha281(-/-)) are more resistant than C57BL/6 mice to the development of lethal ileitis. Jalpha281(-/-) mice failed to overexpress IFN-gamma in the intestine early after infection. This detrimental effect of NKT cells is blocked by treatment with alpha-galactosylceramide, which prevents death in C57BL/6, but not in Jalpha281(-/-), mice. This protective effect is characterized by a shift in cytokine production by NKT cells toward a Th2 profile and correlates with an increased number of mesenteric Foxp3 lymphocytes. Using chimeric mice in which only NKT cells are deficient in the IL-10 gene and mice treated with anti-CD25 mAb, we identified regulatory T cells as the source of the IL-10 required for manifestation of the protective effect of alpha-galactosylceramide treatment. Our results highlight the participation of NKT cells in the parasite clearance by shifting the cytokine profile toward a Th1 pattern and simultaneously to immunopathological manifestation when this Th1 immune response remains uncontrolled.