gebhart/patrepeval huggingface dataset:
Regulation of eosinophilia and allergic airway inflammation by the glycan-binding protein galectin-1 (2016)

Galectin-1 (Gal-1), a glycan-binding protein with broad antiinflammatory activities, functions as a proresolving mediator in autoimmune and chronic inflammatory disorders. However, its role in allergic airway inflammation has not yet been elucidated. We evaluated the effects of Gal-1 on eosinophil function and its role in a mouse model of allergic asthma. Allergen exposure resulted in airway recruitment of Gal-1-expressing inflammatory cells, including eosinophils, as well as increased Gal-1 in extracellular spaces in the lungs. In vitro, extracellular Gal-1 exerted divergent effects on eosinophils that were N-glycan- and dose-dependent. At concentrations ≤0.25 µM, Gal-1 increased eosinophil adhesion to vascular cell adhesion molecule-1, caused redistribution of integrin CD49d to the periphery and cell clustering, but inhibited ERK(1/2) activation and eotaxin-1-induced migration. Exposure to concentrations ≥1 µM resulted in ERK(1/2)-dependent apoptosis and disruption of the F-actin cytoskeleton. At lower concentrations, Gal-1 did not alter expression of adhesion molecules (CD49d, CD18, CD11a, CD11b, L-selectin) or of the chemokine receptor CCR3, but decreased CD49d and CCR3 was observed in eosinophils treated with higher concentrations of this lectin. In vivo, allergen-challenged Gal-1-deficient mice exhibited increased recruitment of eosinophils and CD3(+) T lymphocytes in the airways as well as elevated peripheral blood and bone marrow eosinophils relative to corresponding WT mice. Further, these mice had an increased propensity to develop airway hyperresponsiveness and displayed significantly elevated levels of TNF-α in lung tissue. This study suggests that Gal-1 can limit eosinophil recruitment to allergic airways and suppresses airway inflammation by inhibiting cell migration and promoting eosinophil apoptosis.
Rotordynamic Forces Due to Turbine Tip Leakage: Part I—Blade Scale Effects (1997)

An experimental and theoretical investigation has been conducted on rotordynamic forces due to nonaxisymmetric turbine tip leakage effects. This paper presents an actuator disk model that describes the flow response to a finite clearance at the rotor tip. The model simplifies the flow field by assuming that the radially uniform flow splits into two streams as it goes through the rotor. The stream associated with the tip clearance, or the underturned stream, induces radially uniform unloading of the rest of the flow, called the bladed stream. Thus, a shear layer forms between the two streams. The fraction of each stream and the strength of shear layer between the two are found as functions of the turbine loading and flow parameters without resorting to empirical correlations. The results show that this model’s efficiency predictions compare favorably with the experimental data and predictions from various correlations. A companion paper builds on this analysis to yield a model of the three-dimensional disturbances around an offset turbine and to predict the subsequent cross forces.
Modeling of subcontinuum thermal transport across semiconductor-gas interfaces (2009)

A physically rigorous computational algorithm is developed and applied to calculate subcontinuum thermal transport in structures containing semiconductor-gas interfaces. The solution is based on a finite volume discretization of the Boltzmann equation for gas molecules (in the gas phase) and phonons (in the semiconductor). A partial equilibrium is assumed between gas molecules and phonons at the interface of the two media, and the degree of this equilibrium is determined by the accommodation coefficients of gas molecules and phonons on either side of the interface. Energy balance is imposed to obtain a value of the interface temperature. The classic problem of temperature drop across a solid-gas interface is investigated with a simultaneous treatment of solid and gas phase properties for the first time. A range of transport regimes is studied, varying from ballistic phonon transport and free molecular flow to continuum heat transfer in both gas and solid. A reduced-order model is developed that captures the thermal resistance of the gas-solid interface. The formulation is then applied to the problem of combined gas-solid heat transfer in a two-dimensional nanoporous bed and the overall thermal resistance of the bed is characterized in terms of the governing parameters. These two examples exemplify the broad utility of the model in practical nanoscale heat transfer applications.
RigNet (2020)

We present RigNet , an end-to-end automated method for producing animation rigs from input character models. Given an input 3D model representing an articulated character, RigNet predicts a skeleton that matches the animator expectations in joint placement and topology. It also estimates surface skin weights based on the predicted skeleton. Our method is based on a deep architecture that directly operates on the mesh representation without making assumptions on shape class and structure. The architecture is trained on a large and diverse collection of rigged models, including their mesh, skeletons and corresponding skin weights. Our evaluation is three-fold: we show better results than prior art when quantitatively compared to animator rigs; qualitatively we show that our rigs can be expressively posed and animated at multiple levels of detail; and finally, we evaluate the impact of various algorithm choices on our output rigs. 1
Property-driven Automatic Generation of Reduced-ISA Hardware (2021)

As the diversity of computing workloads and customers continues to increase, so does the need to customize hardware at low cost for different computing needs. This work focuses on automatic customization of a given hardware, available as a soft or firm IP, through eliminating unneeded or undesired instruction set architecture (ISA) instructions. We present a property-based framework for automatically generating reduced-ISA hardware. Our framework directly operates on a given arbitrary RTL or gate-level netlist, uses property checking to identify gates that are guaranteed to not toggle if only a reduced ISA needs to be supported, and automatically eliminates these untoggleable gates to generate a new design. We show a 14% gate count reduction when the Ibex [19] core is optimized using our framework for the instructions required by a set of embedded (MiBench) workloads. Reduced-ISA versions generated by our framework that support a limited set of ISA extensions and which cannot be generated using Ibex’s parameterization options provide 10%47% gate count reduction. For an obfuscated Cortex M0 netlist optimized to support the instructions in the MiBench benchmarks, we observe a 20% area reduction and 18% gate count reduction compared to the baseline core, demonstrating applicability of our framework to obfuscated designs. We demonstrate the scalability of our approach by applying our framework to a 100,000-gate RIDECORE [21] design, showing a 14%17% gate count reduction.
MIND Demons: Symmetric Diffeomorphic Deformable Registration of MR and CT for Image-Guided Spine Surgery (2016)

Intraoperative localization of target anatomy and critical structures defined in preoperative MR/CT images can be achieved through the use of multimodality deformable registration. We propose a symmetric diffeomorphic deformable registration algorithm incorporating a modality-independent neighborhood descriptor (MIND) and a robust Huber metric for MR-to-CT registration. The method, called MIND Demons, finds a deformation field between two images by optimizing an energy functional that incorporates both the forward and inverse deformations, smoothness on the integrated velocity fields, a modality-insensitive similarity function suitable to multimodality images, and smoothness on the diffeomorphisms themselves. Direct optimization without relying on the exponential map and stationary velocity field approximation used in conventional diffeomorphic Demons is carried out using a Gauss-Newton method for fast convergence. Registration performance and sensitivity to registration parameters were analyzed in simulation, phantom experiments, and clinical studies emulating application in image-guided spine surgery, and results were compared to mutual information (MI) free-form deformation (FFD), local MI (LMI) FFD, normalized MI (NMI) Demons, and MIND with a diffusion-based registration method (MIND-elastic). The method yielded sub-voxel invertibility (0.008 mm) and nonzero-positive Jacobian determinants. It also showed improved registration accuracy in comparison to the reference methods, with mean target registration error (TRE) of 1.7 mm compared to 11.3, 3.1, 5.6, and 2.4 mm for MI FFD, LMI FFD, NMI Demons, and MIND-elastic methods, respectively. Validation in clinical studies demonstrated realistic deformations with sub-voxel TRE in cases of cervical, thoracic, and lumbar spine.
The Cognitive Science Research Group at Educational Testing Service (ETS) (2014)

The Cognitive Science Research group at ETS conducts research and development at the forefront of educational assessment, using cognitive theory in the design of assessments, building cognitive models to guide interpretation of test-takers' performance, and researching cognitive issues in the context of assessment.Moving beyond traditional (e.g., multiple-choice) tests, the group investigates reliable and valid assessment (both summative and formative) using innovative, highly interactive digital environments such as online games, virtual labs or other simulations, and human-agent conversation-based interactions.Researchers also investigate how to draw appropriate inferences about test-takers' knowledge and skills from complex data sources such as eye-movements, interaction logs, and other sequential information.I will provide an overview of the group's research, including the use of cognitive models to interpret test-takers' actions within interactive assessment tasks and empirical studies on how people coordinate between internal and external representations during assessments in domains such as writing and scientific inquiry.
Shape memory effect in a rapidly quenched Ti50Ni25Cu25 alloy (2017)

The structural and thermomechanical properties of rapidly quenched layered amorphous–crystalline Ti50Ni25Cu25 composite materials with various ratios of amorphous and crystalline phases are studied. These layered composite materials are shown to exhibit the two-way shape memory effect accompanied by bending deformation without additional thermomechanical treatment. The ratio of amorphous and crystalline phases is found to affect the reversible change in the shape of the composite material.
On Performance Loss of DOA Measurement Using Massive MIMO Receiver With Mixed-ADCs (2022)

High hardware cost and high power consumption of massive multiple-input and multiple output (MIMO) are two challenges for the future wireless communications including sixth generation (6G). Adopting the low-resolution analog-to-digital converter (ADC) is viewed as a promising solution. Additionally, the direction of arrival (DOA) estimation is an indispensable technology for beam alignment and tracking in massive MIMO systems. Thus, in this letter, the performance of DOA estimation with mixed-ADC structure is firstly investigated. The Cramér-Rao lower bound (CRLB) for this architecture is derived based on the additive quantization noise model. Eventually, a performance loss factor and the associated energy efficiency factor is defined for analysis in detail. Simulation results show that the mixed-ADC architecture can strike a good balance among performance loss, circuit cost and energy efficiency. More importantly, just a few bits (up to 4 bits) of low-resolution ADCs can achieve a satisfactory performance for DOA measurement.
The diversity-multiplexing tradeoff of the MIMO Z interference channel (2010)

The fundamental generalized diversity-multiplexing tradeoff (GDMT) of the quasi-static fading MIMO Z interference channel (Z-IC) is established for the general Z-IC with an arbitrary number of antennas at each node under the assumptions of full channel state information at the transmitters (CSIT) and a short-term average power constraint. In the GDMT framework, the direct link signal-to-noise ratios (SNR) and cross-link interference-to-noise ratio (INR) are allowed to vary so that their ratios relative to a nominal SNR in the dB scale, i.e., the SNR/INR exponents, are fixed. It is shown that a simple Han-Kobayashi message-splitting/partial interference decoding scheme that uses only partial CSIT -- in which the second transmitter's signal depends only on its cross-link channel matrix and the first user's transmit signal doesn't need any CSIT whatsoever -- can achieve the full-CSIT GDMT of the MIMO Z-IC. The GDMT of the MIMO Z-IC under the No-CSIT assumption is also obtained for some range of multiplexing gains. The size of this range depends on the numbers of antennas at the four nodes and the SNR and INR exponents of the direct and cross links, respectively. For certain classes of channels including those in which the interfered receiver has more antennas than do the other nodes, or when the INR exponent is greater than a certain threshold, the GDMT of the MIMO Z-IC under the No-CSIT assumption is completely characterized.
Flutter analysis of a large civil aircraft in case of free-plays and internal failures of morphing wing flaps mechanical systems (2019)

The adoption of mechanical systems represents a very promising solution to realistically enable wing-camber morphing for large civil aircraft. These systems implement the change of shape through the relative motion of parts usually interconnected by means of hinges, and therefore, without any morphing-induced elastic deformation of the load carrying structure; conversely to what happens in compliant structures, the energy provided by the actuation system is here spent to counteract only the external aerodynamic loads which are in turn dependant on shape, speed and flight altitude. Apart of the more effective use of the available power, the mechanical systems show a higher level of technological maturity and readiness for flight thanks to their higher robustness, reliability and maintainability, as well as in force of their similarity with conventional airworthy architectures already in flight. On the other hand, the use of multiple-hinges connections imposes a careful analysis of the effects induced by any degradation of their mechanical performance leading to overall system malfunction or local failures. In the framework of the CleanSky2, a research program in aeronautics among the largest ever founded by the European Union, the authors focused on the design and validation of a camber-morphing flap specifically tailored for EASA CS-25 category aircraft. The shape transition is obtained through a smart architecture based on segmented (finger-like) ribs with embedded electromechanical actuators. Three large tabs were located at the flap trailing edge to actively control the shape of the wing in cruise and to optimize the aerodynamic load distribution along the span. Aeroelastic phenomena related to these flap components were duly addressed since the very preliminary design stage in order to avoid the maturation of a potentially unstable architecture; rational approaches compliant with applicable airworthiness requirements were implemented to properly model and investigate the aeroelastic behaviour of the flap tabs in nominal working conditions. Finally, free plays and internal failures were accurately simulated and their effects on the aeroelastic stability of the aircraft were duly investigated in order to assess the robustness of the conceived tabs as well as of the embedded mechanical subsystems driving their motion.
Self-Powered Electrochromic Readout of Potentiometric pH Electrodes (2021)

An absorbance-based colorimetric sensor array that is self-powered by an ion-selective electrode (ISE) in a short-circuited cell is presented. As the cell voltage is maintained at zero, the potential at the ISE serves as the power generator to directly transfer its power to a potential-dependent Prussian blue (PB) film in contact with an electrolyte solution in a separate detection compartment. This allows one to activate the color change of the PB film without the need for an external power supply. The potential of the PB detection element is optimized to change color between 50 and 250 mV (vs Ag/AgCl). Because the potential originates at the ISE, it is proportional to the ion activity in the sample in agreement with the Nernst equation. In this way, a higher cation activity in the sample generates a more positive potential, which enhances the PB absorbance that serves as the analytical signal. A self-powered optical sensor array coupled to poly(vinyl-chloride)-based pH electrodes based on two different ionophores is utilized here as a model. The measuring range is tuned chemically by varying the pH of the inner filling solution of each ISE, giving a measuring range from pH 2 to 10.5. As the optical sensor is driven by a potentiometric probe, the sensor output is independent of solution ionic strength. It is successfully applied for quantitative analysis in unmodified turbid/colored samples that included red wine, coke, coffee, baking soda, and antacid. The colorimetric output correlates well with the reference method, a calibrated pH electrode. Compared to earlier systems where the cell potential is dictated by an external power source, the PB film exhibits excellent reproducibility and a rapid response time of about 44 s.
Accurate 3D Mapping Algorithm for Flexible Antennas (2018)

This work addresses the problem of performing an accurate 3D mapping of a flexible antenna surface. Consider a high-gain satellite flexible antenna; even a submillimeter change in the antenna surface may lead to a considerable loss in the antenna gain. Using a robotic subreflector, such changes can be compensated for. Yet, in order to perform such tuning, an accurate 3D mapping of the main antenna is required. This paper presents a general method for performing an accurate 3D mapping of marked surfaces such as satellite dish antennas. Motivated by the novel technology for nanosatellites with flexible high-gain antennas, we propose a new accurate mapping framework which requires a small-sized monocamera and known patterns on the antenna surface. The experimental result shows that the presented mapping method can detect changes up to 0.1-millimeter accuracy, while the camera is located 1 meter away from the dish, allowing an RF antenna optimization for Ka and Ku frequencies. Such optimization process can improve the gain of the flexible antennas and allow an adaptive beam shaping. The presented method is currently being implemented on a nanosatellite which is scheduled to be launched at the end of 2018.
Release of Candida albicans yeast antigens upon interaction with human neutrophils in vitro (1997)

Candida albicans is the leading cause of invasive candidosis. As conventional tests do not reliably detect invasive infection, attention has turned to the detection of C. albicans antigens circulating in blood. As antigen tests for invasive candidosis could be improved if C. albicans antigens released upon phagocytosis were defined, this study was undertaken to characterise antigens released during the interaction of yeasts and human neutrophils in vitro. An enzyme immunoassay developed previously to detect what were believed to be predominantly C. albicans cytoplasmic antigens in patients with invasive candidosis was used to follow the neutrophil-mediated release of yeast antigens. Serum opsonisation enhanced antigen release, which was rapid and essentially complete by 1 h. When fresh C. albicans yeasts were added to medium from cultures of neutrophils plus yeasts or neutrophils plus latex beads, additional yeast antigens were released. Medium from neutrophils plus yeasts or from yeasts alone had similar immunoblot patterns with rabbit antibodies to a C. albicans cytoplasmic antigen preparation, with the reactive antigens generally being of higher mol. wt than the reactive antigens in the antigen mixture used for preparation of the antiserum. The two supernates also had similar immunoblot patterns with rabbit anti-C. albicans cell-wall mannan antibodies. These results suggest that yeast surface antigens are released quickly during phagocytosis by neutrophils. Detection of such yeast surface antigens, possibly together with selected yeast cytoplasmic antigens, should improve the sensitivity of C. albicans antigen assays.
Competitive Homogeneous Immunoassay for Rapid Serodiagnosis of Hantavirus Disease (2015)

In this study, we describe a competitive homogeneous immunoassay that makes use of Förster resonance energy transfer (FRET) in rapid detection of pathogen-specific antibodies. The assay principle is based on competition between a monoclonal antibody (MAb) and serum antibodies to a given antigen. In the assay, named competitive FRET immunoassay (CFRET-IA), the FRET signal is induced if MAb carrying a donor label binds to an acceptor-labeled antigen. Specific antibodies in serum compete for antigen binding, resulting in reduced FRET signal. The proof-of-principle for the assay was obtained using donor-labeled Puumala virus nucleocapsid protein (PUUV-N) and acceptor-labeled anti-PUUV-N MAb. The assay was evaluated by analyzing 329 clinical samples comprising 101 from individuals with acute PUUV infection, 42 from individuals with past infection, and 186 from individuals with PUUV-seronegative sera, and the results were compared to those of reference tests. The rapid serodiagnostic test we introduced herein performed with 100% sensitivity and 99% specificity for diagnosing acute hantavirus disease.
Temperature coefficient of refractive index for candidate optical windows (1990)

The temperature coefficients of refractive index for various crystalline and polycrystalline materials, Al203 (ordinary ray), Y203, LaO3-dOped Y203, ALON, and MgA12O4 were determined from measurements of optical thickness as a function of temperature using a Michelson interferometer operating at 0.633 pm. For the temperature range of 23°C to 500°C, the first order coefficients ranged from 8.28x10I0C for pure yttria to 14.6x10/°C for ALON. Measurements of NaC1 and A1203 samples using this technique are in agreement with published data.