The interaction of hydrogen with metal alloys

Hydrogen diffusion coefficients were measured for several alloys, and these were determined to be about the same at 25 C for all alloys investigated. The relation of structure, both metallurgical and crystallographic, to the observed hydrogen distribution on charging was investigated, as well as the role of hydride formation in the hydrogen resistance of metal alloys. An attempt was made to correlate the structures and compositions of metal alloys as well as other parameters with the ratios of their notched tensile strengths in hydrogen to that in helium, R(H2/He), which are believed to represent a measure of their hydrogen resistance. Evidence supports the belief that hydrogen permeability and hydrogen resistance are increased by smaller grain sizes for a given alloy composition

Effect of energy density and virginiamycin supplementation in diets on growth performance and digestive function of finishing steers.

ObjectiveThis study was determined the influence of virginiamycin supplementation on growth-performance and characteristics of digestion of cattle with decreasing dietary net energy value of the diet for maintenance (NEm) from 2.22 to 2.10 Mcal/kg.MethodsEighty crossbred beef steers (298.2±6.3 kg) were used in a 152-d performance evaluation consisting of a 28-d adaptation period followed by a 124-d growing-finishing period. During the 124-d period steers were fed either a lesser energy dense (LED, 2.10 Mcal/kg NEm) or higher energy dense (HED, 2.22 Mcal/kg NEm) diet. Diets were fed with or without 28 mg/kg (dry matter [DM] basis) virginiamycin in a 2×2 factorial arrangement. Four Holstein steers (170.4±5.6 kg) with cannulas in the rumen (3.8 cm internal diameter) and proximal duodenum were used in 4×4 Latin square experiment to study treatment effects on characteristics of digestion.ResultsNeither diet energy density nor virginiamycin affected average daily gain (p>0.10). As expected, dry matter intake and gain efficiency were greater (p<0.01) for LED- than for HED-fed steers. Virginiamycin did not affect estimated net energy value of the LED diet. Virginiamycin increased estimated NE of the HED diet. During daylight hours when the temperature humidity index averaged 81.3±2.7, virginiamycin decreased (p<0.05) ruminal temperature. Virginiamycin did not influence (p>0.10) ruminal or total tract digestion. Ruminal (p = 0.02) and total tract digestion (p<0.01) of organic matter, and digestible energy (p<0.01) were greater for HED vs LED. Ruminal microbial efficiency was lower (p<0.01) for HED vs LED diets.ConclusionThe positive effect of virginiamycin on growth performance of cattle is due to increased efficiency of energy utilization, as effects of virginiamycin on characteristics of digestion were not appreciable. Under conditions of high ambient temperature virginiamycin may reduce body temperature

An experimental investigation on air quality inside WindJet aircraft

ABSTRACT In order to improve the passengers and crew comfort during the flight, the aim of the present paper is a study of the cabin air quality through experimental measures on randomly selected flight segments of an Italian airline company, WindJet. Carbon dioxide, ultrafine particles, temperature and relative humidity have been measured by using low cost high efficiency instrumental equipments. Exploring ways to improve aircraft cabin air quality, WindJet and University of Palermo are investigating equipment, filters and components of the ventilation system. In this paper, after description of both ventilation systems for aircrafts of WindJet and the instrumental equipments used to measure environmental characteristics on board, obtained results are shown

GS-PAT: High-Speed Multi-Point Sound-Fields for Phased Arrays of Transducers

Phased Arrays of Transducers (PATs) allow accurate control of ultrasound fields, with applications in haptics, levitation (i.e. displays) and parametric audio. However, algorithms for multi-point levitation or tactile feedback are usually limited to computing solutions in the order of hundreds of sound-fields per second, preventing the use of multiple high-speed points, a feature that can broaden the scope of applications of PATs. We present GS-PAT, a GPU multi-point phase retrieval algorithm, capable of computing 17K solutions per second for up to 32 simultaneous points in a mid-end consumer grade GPU (NVidia GTX 1660). We describe the algorithm and compare it to state of the art multi-point algorithms used for ultrasound haptics and levitation, showing similar quality of the generated sound-fields, and much higher computation rates. We then illustrate how the shift in paradigm enabled by GS-PAT (i.e. real-time control of several high-speed points) opens new applications for PAT technologies, such as in volumetric fully coloured displays, multi-point spatio-temporal tactile feedback, parametric audio and simultaneous combinations of these modalities

Proof-Pattern Recognition and Lemma Discovery in ACL2

We present a novel technique for combining statistical machine learning for proof-pattern recognition with symbolic methods for lemma discovery. The resulting tool, ACL2(ml), gathers proof statistics and uses statistical pattern-recognition to pre-processes data from libraries, and then suggests auxiliary lemmas in new proofs by analogy with already seen examples. This paper presents the implementation of ACL2(ml) alongside theoretical descriptions of the proof-pattern recognition and lemma discovery methods involved in it

Hipster: Integrating Theory Exploration in a Proof Assistant

This paper describes Hipster, a system integrating theory exploration with the proof assistant Isabelle/HOL. Theory exploration is a technique for automatically discovering new interesting lemmas in a given theory development. Hipster can be used in two main modes. The first is exploratory mode, used for automatically generating basic lemmas about a given set of datatypes and functions in a new theory development. The second is proof mode, used in a particular proof attempt, trying to discover the missing lemmas which would allow the current goal to be proved. Hipster's proof mode complements and boosts existing proof automation techniques that rely on automatically selecting existing lemmas, by inventing new lemmas that need induction to be proved. We show example uses of both modes

Analysis of SARS-CoV-2 infection associated cell entry proteins ACE2, CD147, PPIA, and PPIB in datasets from non SARS-CoV-2 infected neuroblastoma patients, as potential prognostic and infection biomarkers in neuroblastoma

SARS-CoV-2 viral contagion has given rise to a worldwide pandemic. Although most children experience minor symptoms from SARS-CoV-2 infection, some have severe complications including Multisystem Inflammatory Syndrome in Children. Neuroblastoma patients may be at higher risk of severe infection as treatment requires immunocompromising chemotherapy and SARS-CoV-2 has demonstrated tropism for nervous cells. To date, there is no sufficient epidemiological data on neuroblastoma patients with SARS-CoV-2. Therefore, we evaluated datasets of non-SARS-CoV-2 infected neuroblastoma patients to assess for key genes involved with SARS-CoV-2 infection as possible neuroblastoma prognostic and infection biomarkers. We hypothesized that ACE2, CD147, PPIA and PPIB, which are associated with viral-cell entry, are potential biomarkers for poor prognosis neuroblastoma and SARS-CoV-2 infection. We have analysed three publicly available neuroblastoma gene expression datasets to understand the specific molecular susceptibilities that high-risk neuroblastoma patients have to the virus. Gene Expression Omnibus (GEO) GSE49711 and GEO GSE62564 are the microarray and RNA-Seq data, respectively, from 498 neuroblastoma samples published as part of the Sequencing Quality Control initiative. TARGET, contains microarray data from 249 samples and is part of the Therapeutically Applicable Research to Generate Effective Treatments (TARGET) initiative. ACE2, CD147, PPIA and PPIB were identified through their involvement in both SARS-CoV-2 infection and cancer pathogenesis. In-depth statistical analysis using Kaplan-Meier, differential gene expression, and Cox multivariate regression analysis, demonstrated that overexpression of ACE2, CD147, PPIA and PPIB is significantly associated with poor-prognosis neuroblastoma samples. These results were seen in the presence of amplified MYCN, unfavourable tumour histology and in patients older than 18 months of age. Previously, we have shown that high levels of the nerve growth factor receptor NTRK1 together with low levels of the phosphatase PTPN6 and TP53 are associated with increased relapse-free survival of neuroblastoma patients. Interestingly, low levels of expression of ACE2, CD147, PPIA and PPIB are associated with this NTRK1-PTPN6-TP53 module, suggesting that low expression levels of these genes are associated with good prognosis. These findings have implications for clinical care and therapeutic treatment. The upregulation of ACE2, CD147, PPIA and PPIB in poor-prognosis neuroblastoma samples suggests that these patients may be at higher risk of severe SARS-CoV-2 infection. Importantly, our findings reveal ACE2, CD147, PPIA and PPIB as potential biomarkers and therapeutic targets for neuroblastoma

TipTrap: A Co-located Direct Manipulation Technique for Acoustically Levitated Content

Acoustic levitation has emerged as a promising approach for mid-air displays, by using multiple levitated particles as 3D voxels, cloth and thread props, or high-speed tracer particles, under the promise of creating 3D displays that users can see, hear and feel with their bare eyes, ears and hands. However, interaction with this mid-air content always occurred at a distance, since external objects in the display volume (e.g. user's hands) can disturb the acoustic fields and make the particles fall. This paper proposes TipTrap, a co-located direct manipulation technique for acoustically levitated particles. TipTrap leverages the reflection of ultrasound on the users' skin and employs a closed-loop system to create functional acoustic traps 2.1 mm below the fingertips, and addresses its 3 basic stages: selection, manipulation and deselection. We use Finite-Differences Time Domain (FDTD) simulations to explain the principles enabling TipTrap, and explore how finger reflections and user strategies influence the quality of the traps (e.g. approaching direction, orientation and tracking errors), and use these results to design our technique. We then implement the technique, characterizing its performance with a robotic hand setup and finish with an exploration of the ability of TipTrap to manipulate different types of levitated content