Miracle-dz/UniFAR-FTUs huggingface dataset:
A mouse model for adenovirus gene delivery

The cellular attachment receptor for adenovirus (Ad), Coxsackie adenovirus receptor (CAR), required for delivery of Ad into primary cells, is not present on all cell types, thus restricting Ad-gene delivery systems. To circumvent this constrain, a transgenic mouse has been generated that expresses a truncated human CAR in all tissues analyzed. These mice allowed efficient in vitro infections at low multiplicities into lymphoid, myeloid, and endothelial cells. Furthermore, in vivo administration of Ad-vectors results in infection of macrophages, lymphocytes, and endothelial cells. In addition, tail vein injection resulted in targeting of virus into previously inaccessible areas, such as the lung and the capillaries of the brain. The CAR transgenic mice will be useful for rapid functional genomic analysis in vivo, for testing the efficacy of gene therapy procedures or as a source of easily transducible cells.
Building efficient wireless sensor networks with low-level naming

In most distributed systems, naming of nodes for low-level communication leverages topological location (such as node addresses) and is independent of any application. In this paper, we investigate an emerging class of distributed systems where low-level communication does not rely on network topological location. Rather, low-level communication is based on attributes that are external to the network topology and relevant to the application. When combined with dense deployment of nodes, this kind of named data enables in-network processing for data aggregation, collaborative signal processing, and similar problems. These approaches are essential for emerging applications such as sensor networks where resources such as bandwidth and energy are limited. This paper is the first description of the software architecture that supports named data and in-network processing in an operational, multi-application sensor-network. We show that approaches such as in-network aggregation and nested queries can significantly affect network traffic. In one experiment aggregation reduces traffic by up to 42% and nested queries reduce loss rates by 30%. Although aggregation has been previously studied in simulation, this paper demonstrates nested queries as another form of in-network processing, and it presents the first evaluation of these approaches over an operational testbed.
Design and implementation of augmented reality system collaborating with QR code

This work replaces conventional marker of augmented reality (AR) with Quick Response (QR) code, in which we take the advantages of QR code, i.e. the capability of error correction and the capability of carrying an abundant of information, to reinforce the occlusion immunity of AR and broaden the scale of AR applications. Basically, we combined QR code and the idea of AR together, designed and implemented a prototype system named QRAR. Meanwhile, we adopted Kalman filter to solve complete and temporary marker occlusion which the error correction can not cope with, in QRAR to gain the robustness.
Mechanical strengths of epoxy resin composites reinforced by calcined pearl shell powders

A series of epoxy resin (EP) composites were prepared using ground pearl shell powders, which had been calcined at various temperatures. The EP composite containing ∼ 3% weight content of the calcined pearl shell powder had the highest impact strength and the presence of silane agent was found to be essential for the composite formulation. The impact strengths of the resultant EP composites were highly influenced by the specific surface area, surface morphological structure, and chemical composition of the calcined pearl shell powder. The highest mechanical improvement was obtained for the EP composite prepared with the pearl shell powder calcined at 700°C for 3 h. The layered biopolymeric materials were completely degraded for the pearl shell powder calcined at 700°C, resulting in “sponge-like” or “net-like” porous calcium carbonate powder. However, the degradation of the layered biopolymeric materials was not complete for the calcinations at lower temperatures ( 800°C). The mechanical improvements of the processed EP composites have been discussed along with the chemical compositions and surface microstructures of the incorporated pearl shell powders. © 2009 Wiley Periodicals, Inc. J Appl Polym Sci, 2009
Experiment Design with Full Factorial in Gas Tungsten Arc Welding Parameters on Aluminium Alloy 5083

This research was to study of gas tungsten arc welding (GTAW) welding parameters that affects to the mechanical properties of aluminum alloy AA5083 welding with GTAW. The full factorial design was experiment. The factors was study in type of polarity on alternating current (AC), direct current electrode negative (DCEN) and direct current electrode positive (DCEP), levels of welding current for 180,200,220 and 240 amp. The specimen to analyses the physical properties has microstructure and hardness of weld metal and heat affected zone. The result showed that type of welding current and levels of welding current interaction hardness at the level of confidence 95% (P-value<0.05). The factor hardness maximum of weld metal was alternating current at level of current 240 amp. and hardness of 136.53 HV. The factor hardness maximum of HAZ value was alternating current at level of welding 220 amp. and hardness of 169.43 HV. The welding parameters can result in increasing Mg2Si intensity in parent phase. It can also be observed that Mg2Si at the parent phase decreased due to high welding current in HAZ.This research can be used as information in choosing how to welding parameter for gas tungsten arc welding of aluminum alloy.
Serum creatine kinase BB isoenzyme as a diagnostic aid in occult small cell lung cancer

Four patients with metastatic small cell carcinoma of the lung who had initial chest x‐rays that did not reveal the cancer showed striking elevations of serum creatine kinase BB isoenzyme, which suggested the diagnosis and directed the subsequent evaluation. Creatine kinase BB isoenzyme elevation with widespread small cell carcinoma of the lung is probably more common than currently recognized, and is a useful diagnostic indicator for extensive stage small cell lung cancer, even in the absence of central nervous system metastases.
Heterologously Expressed Family 51 α-l-Arabinofuranosidases from Oenococcus oeni and Lactobacillus brevis

ABSTRACT Putative α-l-arabinofuranosidases of Oenococcus oeni and Lactobacillus brevis were heterologously expressed and characterized. We report the basic functional properties of the recombinant enzymes in comparison to those of a commercial family 51 arabinosidase of Aspergillus niger.
Delamination Detection of Composite Beams Using Piezoelectric Sensors with Evenly Distributed Electrode Strips

In this paper, a new analytical model is presented to detect the presence, size, and location of a delamination embedded in a laminated composite beam. The sensors bonded on the top and bottom surfaces of a host beam are made from PZT piezoelectric layers. By employing this analytical model, the first three natural frequencies and sensor charge output distribution for the beams with different delamination length, axial and through-the-thickness delamination location, and delamination gap can be predicted, when a beam is excited by an external force. An approach is also proposed to obtain the sensor charge output distribution along the beam length using evenly distributed electrode strips. Subsequently, the present model is applied to a laminated plain weave composite beam with an embedded and through-width delamination, followed by an extensive numerical study. An investigation is carried out on the influence of the boundary condition, delamination length, axial delamination location, through-the-thickness delamination location, delamination gap on the first three natural frequency change and sensor charge output distribution along the beam length. The effects of number and size of electrode strips on the sensor charge output distribution is also studied. A comparison of the first three natural frequencies between the present predicted and finite element analysis results reveals that there is a good agreement between these two models.
A comparison of Bag-of-Words method and normalized compression distance for satellite image retrieval

Recently, two improved methods have shown their advantages in browsing Earth Observation (EO) dataset. The first method is the Bag-of-Words (BoW) feature extraction method and the second is the Normalized Compression Distance (NCD) for assessing image similarity. However, they have not been compared so far for satellite image retrieval, which motivates this paper. Two retrieval experiments have been performed on a freely available optical image dataset and a SAR image dataset. Through these two experiments, we conclude that the BoW method performs generally better than NCD. Although it is a parameter-free solution for data mining, NCD only performs well for images with repetitive patterns like some homogeneous classes. In contrast, BoW method performs much far beyond that of NCD. In addition, NCD is computationally very expensive, which makes it infeasible to be applied in real applications. In contrast, BoW method is more realistic in practical applications in terms of both accuracy and computation.
Incidence and Predictors of Cognitive Decline in Patients with Left Ventricular Assist Devices

Background—After left ventricular assist device (LVAD) placement for advanced heart failure, increased cerebral perfusion should result in improved cognitive function. However, stroke (a well-known LVAD complication) and subclinical cerebral ischemia may result in transient or permanent cognitive decline. We sought to describe the incidence and predictors of cognitive decline after LVAD using a valid, sensitive assessment tool. Methods and Results—Among 4419 patients in the Interagency Registry for Mechanically Assisted Circulatory Support who underwent LVAD implantation between May 2012 and December 2013, cognitive function was assessed in 1173 patients with the Trail Making B Test before LVAD and at 3, 6, and 12 months. The test detects several forms of cognitive impairment, including subclinical stroke. Cognitive decline was defined as a clinically important increase during follow-up using a moderate Cohen d effect size of 0.5×baseline SD (32 s). The cumulative incidence of cognitive decline in the year after LVAD implantation, treating death and transplantation as competing risks, was 29.2%. In adjusted analysis, older age (≥70 versus <50 years; hazard ratio, 2.24; 95% confidence interval 1.46–3.44; Ptrend<0.001) and destination therapy (hazard ratio, 1.42; 95% confidence interval, 1.05–1.92) were significantly associated with greater risk of cognitive decline. Conclusions—Cognitive decline occurs commonly in patients in the year after LVAD and is associated with older age and destination therapy. These results could have important implications for patient selection and improved communication of risks before LVAD implantation. Additional studies are needed to explore the association between cognitive decline and subsequent stroke, health status, and mortality in patients after LVAD.
Age-Patterns of Malaria Vary with Severity, Transmission Intensity and Seasonality in Sub-Saharan Africa: A Systematic Review and Pooled Analysis

Background There is evidence that the age-pattern of Plasmodium falciparum malaria varies with transmission intensity. A better understanding of how this varies with the severity of outcome and across a range of transmission settings could enable locally appropriate targeting of interventions to those most at risk. We have, therefore, undertaken a pooled analysis of existing data from multiple sites to enable a comprehensive overview of the age-patterns of malaria outcomes under different epidemiological conditions in sub-Saharan Africa. Methodology/Principal Findings A systematic review using PubMed and CAB Abstracts (1980–2005), contacts with experts and searching bibliographies identified epidemiological studies with data on the age distribution of children with P. falciparum clinical malaria, hospital admissions with malaria and malaria-diagnosed mortality. Studies were allocated to a 3×2 matrix of intensity and seasonality of malaria transmission. Maximum likelihood methods were used to fit five continuous probability distributions to the percentage of each outcome by age for each of the six transmission scenarios. The best-fitting distributions are presented graphically, together with the estimated median age for each outcome. Clinical malaria incidence was relatively evenly distributed across the first 10 years of life for all transmission scenarios. Hospital admissions with malaria were more concentrated in younger children, with this effect being even more pronounced for malaria-diagnosed deaths. For all outcomes, the burden of malaria shifted towards younger ages with increasing transmission intensity, although marked seasonality moderated this effect. Conclusions The most severe consequences of P. falciparum malaria were concentrated in the youngest age groups across all settings. Despite recently observed declines in malaria transmission in several countries, which will shift the burden of malaria cases towards older children, it is still appropriate to target strategies for preventing malaria mortality and severe morbidity at very young children who will continue to bear the brunt of malaria deaths in Sub-Saharan Africa.
Programming proofs : a novel approach based on contextual types

We present an overview of Beluga, a dependently-typed programming and proof development environment. Beluga uses a two-level approach: it supports specifying formal systems within the logical framework LF and on top of LF, it provides a dependently-typed functional language that supports manipulating and analyzing LF objects via pattern matching. A distinct feature of Beluga is the explicit support for contexts and contextual objects, which concisely characterize objects depending on assumptions. The design of the dependently-typed functional language is generic and independent of the concrete specification language which in Beluga’s case is LF. Moreover, it is unique in its treatment of pattern matching in the presence of dependent types: it is centered around refinement substitutions which refine the types of patterns in case-expressions. This makes type checking decidable although constraint solving itself could be undecidable. In addition to a bi-directional decidable type system for Beluga we give an environment-based operational semantics and show that types are preserved. Beluga together with type reconstruction is implemented in OCaml and has been used on a wide variety of examples such as type uniqueness, proofs about compiler transformations, and preservation and progress for various ML-like languages.
Orbital evidence for more widespread carbonate‐bearing rocks on Mars

Carbonates are key minerals for understanding ancient Martian environments because they are indicators of potentially habitable, neutral‐to‐alkaline water and may be an important reservoir for paleoatmospheric CO2. Previous remote sensing studies have identified mostly Mg‐rich carbonates, both in Martian dust and in a Late Noachian rock unit circumferential to the Isidis basin. Here we report evidence for older Fe‐ and/or Ca‐rich carbonates exposed from the subsurface by impact craters and troughs. These carbonates are found in and around the Huygens basin northwest of Hellas, in western Noachis Terra between the Argyre basin and Valles Marineris, and in other isolated locations spread widely across the planet. In all cases they cooccur with or near phyllosilicates, and in Huygens basin specifically they occupy layered rocks exhumed from up to ~5 km depth. We discuss factors that might explain their observed regional distribution, arguments for why carbonates may be even more widespread in Noachian materials than presently appreciated and what could be gained by targeting these carbonates for further study with future orbital or landed missions to Mars.
Magnetic Nanostructures Fabricated through Nanosphere Lithography

In this study, we present a method for fabricating magnetic dots array through nanosphere lithography and reactive-ion etching. Through this technique, one can control the magnetic dot size by tuning the etchingtime of nanospheres. As a demonstration, [Co (3A)/Pt (10A)] 15 films and dots were fabricated on Al2O3 (0001) with Pt (111) buffer layers at 100°C. The measurement of polar magneto-optical Kerr effect showed a perpendicular magnetic anisotropy in both cases and a low squareness in Co/Pt nanodots system. The investigation of magnetic force microscopy showed that Co/Pt nanodots displayed a single domain behavior.
Progression from chronic hepatitis to hepatocellular carcinoma: Natural course and treatments

In Japan, the incidence of hepatocellular carcinoma (HCC) has been steadily increasing since the mid 1970s, currently accounting for more than 30 000 annual deaths. On the discovery of hepatitis C virus (HCV) in the late 1980s, it became known that the majority of HCC cases in Japan have HCV infection. The proportion of HCV-based HCC is increasing and recent data at our institution showed that 80% of HCC patients have HCV infection. 1 In contrast, the prevalence of HCV infection among the general population in Japan is estimated at 1–2%, clearly indicating that patients with chronic hepatitis C constitute a distinctive high risk group for HCC development.
Quantitative Analysis of Transaction Level Models for the AMBA Bus

The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction level modeling (TLM) has been proposed to model communication in systems in an abstract manner Although being widely accepted, TLMs have not been analyzed for their loss in accuracy. This paper will analyze and quantify the speed-accuracy tradeoff of TLM using a case study on AMBA, an industry bus standard. It shows the results of modeling the advanced high-performance bus (AHB) of AMBA using a set of models at different abstraction levels. The analysis of the simulation speed shows improvements of two orders of magnitude for each TLM abstraction, while the timing in the model remains accurate for many applications. As a result, the paper will classify the different models towards their applicability in typical modeling situations, allowing the system designer to achieve fast and accurate simulation of communication
Perceived Psychological Pressure at Work, Social Class, and Risk of Stroke: A 30-Year Follow-Up in Copenhagen Male Study

Objective: Investigate if the association between perceived psychological work pressure and risk of stroke is modified by socioeconomic status. Methods: Thirty-year follow-up of 4943 middle-aged men without cardiovascular disease. Results: In the higher social classes (I, II, and III), perceived regular exposure to psychological work pressure was common and a significant predictor of stroke; almost 10% of the stroke events could be attributed to this exposure in the higher social classes; among lower social classes (IV and V), perceived psychological pressure was no predictor at all. Conclusions: Regular psychological work pressure is a highly prevalent and independent risk factor for stroke among men in higher social classes. In contrast, no association to stroke risk was found among low social class men.
Influence of mechanical vibration on the solidification of a lost foam cast 356 alloy

机械颤动被用于一个失去的泡沫演员组(LFC ) 的团结与不同山峰加速，机械颤动的 356 铝 alloy.Effects 在铸造物的机械性质上在 -Al 阶段的尺寸和形态学上，并且也被学习。 当颤动的山峰加速被增加，结果显示了树突逐渐地种进 equiaxed 谷物的那 -Al。 当山峰加速在大约 1 ～ 4 g 之间时， -Al 阶段分发是一致的并且显然被精制， -Al 树突被减少，当没有颤动，与那些相比铸造物那被生产时，铸造物的机械性质显著地被改进。 当山峰加速比 4 g 高时，强壮的颤动不管多么将导致缺点形成，例如沙粘附，当毛孔的数量和尺寸将被增加时。 并且由于狂暴的流动，那由强壮的颤动引起了，在矩阵形成大毛孔的机会显著地被增加了。 缺点的增加将导致机械性质的恶化。
Periodic fibre devices for advanced applications in all-optical systems

The main objective of this work is to investigate advanced applications of fibre gratings with the combination of nonlinear fibre optical effects, including the stimulated Raman scattering (SRS), Kerr effects, four-wave mixing (FWM) and second-harmonic generation. A Raman distributed-feedback (R-DFB) fibre laser formed in a passive optical fibre by using Raman gain is considered as the most promising route to generate a single-frequency and narrow-linewidth laser source at any wavelength given a proper pump source. In this thesis, the R-DFB fibre laser has been intensively studied both numerically and experimentally. Simulation results of centre pi phase-shifted R-DFB fibre lasers show that the longer length of the DFB grating, the higher Raman gain coefficient and the lower background loss of the host fibre are always beneficial for achieving low threshold R-DFB fibre lasers. 30 cm long centre pi phase-shifted R-DFB fibre lasers have been respectively demonstrated in two types of commercially available Ge/Si fibres of PS980 and UHNA4. Both un-polarised and linearly polarised CW Yb-doped fibre lasers at ~1.06 µm were used as the pump sources. The R-DFB fibre lasers are single-frequency operation at around 1.11 µm and have 3 dB linewidth less than 2.5 kHz; lasing thresholds down to sub-watt power levels; total output powers up to ~2 W; and total conversion efficiencies against incident pump power around 13%. Ultra-wide range (>110 nm) wavelength conversion by using FWM in these 30 cm-long R-DFB fibre lasers have been observed and up to ~-25 dB FWM conversion efficiency has been obtained. The nonlinearities and photosensitivity of several high-index non-silica glasses and fibres are also studied in order to incorporate fibre Bragg gratings (FBGs) with the highly nonlinear fibres to form R-DFB fibre lasers with lower thresholds. In particular, the Raman gain coefficient of a house-made tellurite glass fibre has been found to be ~35 times higher than the silica fibre and a SRS-assisted supercontinuum from ~1.1-1.7 µm has been observed in the fibre with a length of ~1.35 m by pumping at ~1.06 µm in the normal dispersion region of the fibre. Preliminary investigations into concatenating periodic poled silica fibres (PPSFs) to improve the frequency-doubling conversion efficiency are also presented.
A cross-sectional analysis of the RISC Study

OBJECTIVEdWe evaluated whether the association of insulin sensitivity with HDL cholesterol (HDL) and triglycerides is influenced by major plasma apolipoproteins, as suggested by recent experimental evidence. RESEARCH DESIGN AND METHODSdCross-sectional analysis of the RISC Study, a multicenter European clinical investigation in 1,017 healthy volunteers balanced in sex (women 54%) and age strata (range 30–60 years). Insulin sensitivity (M/I in mmol z min 21 z kgFFM 21 z nM 21 ) was measured by the clamp technique and apolipoproteins (ApoB, -C3, -A1, and -E) by Multiplex Technology. RESULTSdThe center-, sex-, and age-adjusted standardized regression coefficients (STDb) with M/I were similar for HDL and triglycerides (+19.9 6 1.9 vs. 220.0 6 2.0, P , 0.0001). Further adjustment for triglycerides (or HDL), BMI, and adiponectin (or nonesterified fatty acid) attenuatedthestrengthoftheassociationofM/IwithbothHDL(STDb+6.462.3,P,0.01)and triglycerides (29.5 6 2.1, P , 0.001). Neither ApoA1 nor ApoE and ApoB showed any association with M/I independent from plasma HDL cholesterol and triglycerides. ApoC3, in contrast,inbothmenandwomen,waspositivelyassociatedwithM/Iindependentlyofplasmalipids. A relative enrichment of plasma lipids with ApoC3 is associated with lower body fat percentage and lower plasma alanine amino transferase. CONCLUSIONSdOur results suggest that HDL cholesterol modulates insulin sensitivity through a mechanism that is partially mediated by BMI and adiponectin but not by ApoA1. Similarly, the influence of triglycerides on insulin sensitivity is in part mediated by BMI and is unrelated to ApoE or ApoB, but it is significantly modulated by ApoC3, whichappears to protect from the negative effect of plasma lipids.