Miracle-dz/UniFAR-FTUs huggingface dataset:
Manipulating deformable linear objects-contact state transitions and transition conditions

Deals with the robust manipulation of deformable linear objects such as hoses or wires. We propose manipulation based on the qualitative contact state between the deformable workpiece and a rigid environment. First, we give an enumeration of possible contact states and discuss the main characteristics of each state. Second, we investigate the transitions which are possible between the contact states and derive criteria and conditions for each of them. Finally, we apply the concept of contact states and state transitions to the description of a typical assembly task.
NeuroImage: Clinical Emotion detection de ﬁ cits and changes in personality traits linked to loss of white matter integrity in primary progressive aphasia

Non-cognitive features including personality changes are increasingly recognized in the three PPA variants (semantic-svPPA, non ﬂ uent-nfvPPA, and logopenic-lvPPA). However, di ﬀ erences in emotion processing among the PPA variants and its association with white matter tracts are unknown. We compared emotion detection across the three PPA variants and healthy controls (HC), and related them to white matter tract integrity and cortical degeneration. Personality traits in the PPA group were also examined in relation to white matter tracts. Thirty-three patients with svPPA, nfvPPA, lvPPA, and 32 HC underwent neuropsychological assessment, emotion evaluation task (EET), and MRI scan. Patients' study partners were interviewed on the Clinical Dementia Rating Scale (CDR) and completed an interpersonal traits assessment, the Interpersonal Adjective Scale (IAS). Di ﬀ usion tensor imaging of uncinate fasciculus (UF), superior longitudinal fasciculus (SLF) and inferior longitudinal fasciculus (ILF), and voxel-based morphometry to derive gray matter volumes for orbitofrontal cortex (OFC), anterior temporal lobe (ATL) regions were performed. In addition, gray matter volumes of white matter tract- associated regions were also calculated: inferior frontal gyrus (IFG), posterior temporal lobe (PTL), inferior parietal lobe (IPL) and occipital lobe (OL). ANCOVA was used to compare EET performance. Partial correlation and multivariate linear regression were conducted to examine association between EET and neuroanatomical regions a ﬀ ected in PPA. All three variants of PPA performed signi ﬁ cantly worse than HC on EET, and the svPPA group was least accurate at recognizing emotions. Performance on EET was related to the right UF, SLF, and ILF integrity. Regression analysis revealed EET performance primarily relates to the right UF integrity. The IAS subdomain, cold-hearted, was also associated with right UF integrity. Disease-speci ﬁ c emotion recognition and personality changes occur in the three PPA variants and are likely associated with disease-speci ﬁ c neuroana- tomical changes. Loss of white matter integrity contributes as signi ﬁ cantly as focal atrophy in behavioral changes in PPA.
Automatic Verification and Augmentation of Multilingual Lexicons

We present an approach for automatic verification and augmentation of multilingual lexica. We exploit existing parallel and monolingual corpora to extract multilingual correspondents via tri-angulation. We demonstrate the efficacy of our approach on two publicly available resources: Tharwa, a three-way lexicon comprising Dialectal Arabic, Modern Standard Arabic and English lemmas among other information (Diab et al., 2014); and BabelNet, a multilingual thesaurus comprising over 276 languages including Arabic variant entries (Navigli and Ponzetto, 2012). Our automated approach yields an F1-score of 71.71% in generating correct multilingual correspondents against gold Tharwa, and 54.46% against gold BabelNet without any human intervention.
Single-photon synchronous detection

A novel imaging technique is proposed for fully digital detection of phase and intensity of light. A fully integrated camera implementing the new technique was fabricated in a 0.35 mum CMOS technology. When coupled to a modulated light source, the camera can be used to accurately and rapidly reconstruct a 3D scene by evaluating the time-of-flight of the light reflected by a target. In passive mode, it allows building differential phase maps of reflection patterns for image enhancement purposes. Tests show the suitability of the technique and confirm phase accuracy predictions.
Effect of elevation of vascular endothelial growth factor level on exacerbation of hemorrhage in mouse brain arteriovenous malformation.

OBJECTIVEA high level of vascular endothelial growth factor (VEGF) has been implicated in brain arteriovenous malformation (bAVM) bleeding and rupture. However, direct evidence is missing. In this study the authors used a mouse bAVM model to test the hypothesis that elevation of focal VEGF levels in bAVMs exacerbates the severity of bAVM hemorrhage.METHODSBrain AVMs were induced in adult mice in which activin receptor-like kinase 1 (Alk1, a gene that causes AVM) gene exons 4-6 were floxed by intrabasal ganglia injection of an adenoviral vector expressing Cre recombinase to induce Alk1 mutation and an adeno-associated viral vector expressing human VEGF (AAV-VEGF) to induce angiogenesis. Two doses of AAV-VEGF (5 × 109 [high] or 2 × 109 [low]) viral genomes were used. In addition, the common carotid artery and external jugular vein were anastomosed in a group of mice treated with low-dose AAV-VEGF 6 weeks after the model induction to induce cerebral venous hypertension (VH), because VH increases the VEGF level in the brain. Brain samples were collected 8 weeks after the model induction. Hemorrhages in the bAVM lesions were quantified on brain sections stained with Prussian blue, which detects iron deposition. VEGF levels were quantified in bAVM tissue by enzyme-linked immunosorbent assay.RESULTSCompared to mice injected with a low dose of AAV-VEGF, the mice injected with a high dose had higher levels of VEGF (p = 0.003) and larger Prussian blue-positive areas in the bAVM lesion at 8 or 9 weeks after model induction (p = 0.002). VH increased bAVM hemorrhage in the low-dose AAV-VEGF group. The overall mortality in the high-dose AAV-VEGF group was 26.7%, whereas no mouse died in the low-dose AAV-VEGF group without VH. In contrast, VH caused a mortality of 50% in the low-dose AAV-VEGF group.CONCLUSIONSUsing mouse bAVM models, the authors provided direct evidence that elevation of the VEGF level increases bAVM hemorrhage and mouse mortality.
VEGFA is necessary for chondrocyte survival during bone development

To directly examine the role of vascular endothelial growth factor (VEGFA) in cartilage development, we conditionally knocked out Vegfa in chondrocytes, using the Col2a1 promoter to drive expression of Cre recombinase. Our study of Vegfa conditional knockout (CKO) mice provides new in-vivo evidence for two important functions of VEGFA in bone formation. First, VEGFA plays a significant role in both early and late stages of cartilage vascularization, since Vegfa CKO mice showed delayed invasion of blood vessels into primary ossification centers and delayed removal of terminal hypertrophic chondrocytes. Second, VEGFA is crucial for chondrocyte survival, since massive cell death was seen in joint and epiphyseal regions of Vegfa CKO endochondral bones. Chondrocytes in these regions were found to upregulate expression of Vegfa in wild-type mice at the time when massive cell death occurred in the Vegfa CKO mice. The expression of the VEGFA receptors Npr1 and Npr2 in epiphyseal chondrocytes and lack of blood vessel reduction in the vicinity of the cartilaginous elements in the Vegfa CKO mice raise the possibility that the observed cell death is the result of a direct involvement of VEGFA in chondrocyte survival. Interestingly, the extensive cell death seen in Vegfa CKO null bones had a striking similarity to the cell death phenotype observed when hypoxia-inducible factor 1α (Hif1a) expression was abolished in developing cartilage. This similarity of cell death phenotypes and the deficient VEGFA production in Hif1a null epiphyseal chondrocytes demonstrate that HIF1α and VEGFA are components of a key pathway to support chondrocyte survival during embryonic bone development.
The dendroclimatic signal in Quercus robur L. tree-ring chronologies from the northern Romania.

In 2010, 41 trees of pedunculate oak (Q. robur) werw sampled in the Satu Mare region. Were obtained, three series related with total ring with, earlywood and latewood. These chronologies were used for correlation, response function and temporal stability of correlation analyses. Two chronologies were highly similar, which points to identical responses to precipitations and temperature conditions. Precipitations in form of rain and snow in winter significantly influence the growth ring formation only in total ring and latewood. Temperature, unlike precipitation, determines significant correlations to early wood formation. Droughts in spring and summer, coupled with high air temperature, causes formation of narrow rings. Response functions coefficients are more distinct and with a higher statistical significance.
Acyclic fork-join queuing networks

In this paper the class of acyclic fork-join queuing networks that arise in various applications, including parallel processing and flexible manufacturing are studied. In such queuing networks, a fork describes the simultaneous creation of several new customers, which are sent to different queues. The corresponding join occurs when the services of all these new customers are completed. The evolution equations that govern the behavior of such networks are derived. From this, the stability conditions are obtained and upper and lower bounds on the network response times are developed. These bounds are based on various stochastic ordering principles and on the notion of association of random variables.
Carbonate drifts as marine archives of aeolian dust (Santaren Channel, Bahamas)

Sediment data from the Bahamian Santaren carbonate drift reveal the variability of trans‐Atlantic Saharan dust transport back to about 100 ka bp (Marine Isotope Stage 5·3) and demonstrate that carbonate drifts are a valuable pelagic archive of aeolian dust flux. Carbonate drift bodies are common around tropical carbonate platforms; they represent large‐scale accumulations of ocean‐current transported material, which originates from the adjacent shallow‐water carbonate factory as well as from pelagic production, i.e. periplatform ooze. Subordinately, there is a clay‐size to silt‐size non‐carbonate fraction, which typically amounts to less than 10% of the sediment volume and originates from aeolian and fluvial input. Sedimentation rates in the 5·42 m long core GeoHH‐M95‐524 recovered 25 km west of Great Bahama Bank in the Santaren Channel ranges from 1·5 to 24·5 cm ka−1 with lowest values during the last glacial lowstand and highest values following platform re‐flooding around 8 ka bp. These sedimentation rates imply that carbonate drifts have not only the potential to resolve long‐term environmental changes on orbital timescales, but also millennial to centennial fluctuations during interglacials. The sediment core has been investigated with the aim of characterizing the lithogenic dust fraction. Laboratory analyses included X‐ray fluorescence core scanning, determination of carbonate content and grain‐size analyses (of bulk and terrigenous fraction), as well as visual inspections of the lithogenic residue; the age model is based on oxygen isotopes and radiocarbon ages. Data show that the input of aeolian dust in the periplatform ooze as indicated by Ti/Al and Fe/Al element ratios abruptly increases at 57 ka bp, stays elevated during glacial times, and reaches a Holocene minimum around 6·5 ka bp, contemporary to the African Humid Period. Subsequently, there is a gradual increase in dust flux which almost reaches glacial levels during the last centuries. Grain‐size data show that the majority of dust particles fall into the fine silt range (below 10 μm); however, there is a pronounced coarse dust fraction in the size range up to 63 μm and individual ‘giant’ dust particles are up to 515 μm in size. Total dust flux and the relative amounts of fine and coarse dust are decoupled. The time‐variable composition of the grain‐size spectrum is interpreted to reflect different dust transport mechanisms: fine dust particles are delivered by the trade winds and the geostrophic winds of the Saharan Air Layer, whereas coarse dust particles travel with convective storm systems. This mode of transport ensures continuous re‐suspension of large particles and results in a prolonged transport. In this context, grain‐size data from the terrigenous fraction of carbonate drifts provide a measure for past coarse dust transport, and consequently for the frequency of convective storm systems over the dust source areas and the tropical Atlantic.
A semantic-based multilevel approach to change detection in very high geometrical resolution multitemporal images

This paper addresses the problem of change detection (CD) in very high geometrical resolution (VHR) multitemporal images. In this context, we propose a conceptual framework that aims at defining: i) a taxonomy of different radiometric changes occurring when dealing with VHR remote sensing images; and ii) a global approach to the definition of the architecture of effective CD methods for VHR images. This framework defines precise guidelines for the development of a new generation of CD methods that can properly analyze multitemporal VHR images. The proposed framework is illustrated in the definition of a change detection method for the solution of a specific real problem related to the analysis of multitemporal QuickBird images.
Uncovering a reconstructive solid–solid phase transition in a metal–organic framework

A nanoporous three-dimensional metal–organic framework (MOF), ZnPurBr undergoes a transition to a previously unreported high-temperature phase, ZnPurBr-ht. The transition, which proceeds without mass loss, is uncovered through the use of differential scanning calorimetry (DSC). The new crystal structure was solved using single-crystal X-ray diffraction, and the mechanical properties of both phases investigated by nanoindentation and density functional theory. The anisotropy of the calculated Young's moduli showed good agreement with the crystallographic alignment of the stiff purinate organic linker. The results provide a prototypical example of the importance of the use of DSC in the MOF field, where its use is not currently standard in characterization.
Identification and Characterization of thecps Locus of Streptococcus suis Serotype 2: the Capsule Protects against Phagocytosis and Is an Important Virulence Factor

ABSTRACT To study the role of the capsule of Streptococcus suisserotype 2 in virulence, we generated two isogenic mutants disturbed in capsule production. For that purpose, we first cloned and characterized a major part of the capsular polysaccharide biosynthesis (cps) locus of S. suis serotype 2. Based on the established sequence, 14 open reading frames (ORFs), designated Orf2Z, Orf2Y, Orf2X, and Cps2A to Cps2K, were identified. Twelve ORFs belonged to a single transcriptional unit. The gene products of 11 of these ORFs showed similarity to proteins involved in polysaccharide biosynthesis of other gram-positive microorganisms. Nonencapsulated isogenic mutants were generated in the cps2B and cps2EF genes by insertional mutagenesis. In contrast to the wild-type S. suis serotype 2 strain, the nonencapsulated strains were highly sensitive to ingestion by porcine alveolar lung macrophages in vitro. More importantly, the nonencapsulated mutant strains were completely avirulent in young germfree pigs after intranasal inoculation. These observations indicate that the capsule of S. suis serotype 2 plays an essential role in the pathogenesis of S. suisserotype 2 infections.
In Search of Counter-Examples: Deductive Rationality in Human Reasoning

Dual-process theories come in many forms. They draw on the distinction between associative, heuristic, tacit, intuitive, or implicit processes (System 1) and rule-based, analytic, explicit processes (System 2). We present the results of contextual manipulations that have a bearing on the supposed primacy of System 1 (Stanovich & West, 2000). Experiment 1 showed that people who evaluated logically valid or invalid conditional inferences under a timing constraint (N=56), showed a smaller effect of logical validity than did people who were not placed under a timing constraint (N= 44). Experiment 2 similarly showed that stressing the logical constraint that only inferences that follow necessarily are to be endorsed (N= 36) increased the size of the validity effect, as compared to that of participants (N=33) given the standard instruction to make “logical” inferences. These findings concur with the thesis in dual-processing frameworks that “Rationality-2 processes” (Evans & Over, 1996), “test procedures” (Chater & Oaksford, 1999), or “conclusion validation processes” (Johnson-Laird & Byrne, 1991; Schroyens, Schaeken, & d'Ydewalle, 2001) serve to override the results of System 1 processes.
Maternal Supplementation With Citrulline Increases Renal Nitric Oxide in Young Spontaneously Hypertensive Rats and Has Long-Term Antihypertensive Effects

NO deficiency is associated with development of hypertension. Defects in the renal citrulline-arginine pathway or arginine reabsorption potentially reduce renal NO in prehypertensive spontaneously hypertensive rats (SHRs). Hence, we investigated genes related to the citrulline-arginine pathway or arginine reabsorption, amino acid pools, and renal NO in 2-week-old prehypertensive SHRs. In addition, because perinatally supporting NO availability reduces blood pressure in SHRs, we supplemented SHR dams during pregnancy and lactation with citrulline, the rate-limiting amino acid for arginine synthesis. In female offspring, gene expression of argininosuccinate synthase (involved in renal arginine synthesis) and renal cationic amino acid Y-transporter (involved in arginine reabsorption) were both decreased in 2-day and 2-week SHRs compared with normotensive WKY, although no abnormalities in amino acid pools were observed. In addition, 2-week-old female SHRs had much less NO in their kidneys (0.46±0.01 versus 0.68±0.05 nmol/g of kidney weight, respectively; P<0.001) but not in their heart. Furthermore, perinatal supplementation with citrulline increased renal NO to 0.59±0.02 nmol/g of kidney weight (P<0.001) at 2 weeks and persistently ameliorated the development of hypertension in females and until 20 weeks in male SHR offspring. Defects in both the renal citrulline-arginine pathway and in arginine reabsorption precede hypertension in SHRs. We propose that the reduced cationic amino acid transporter disables the developing SHR kidney to use arginine reabsorption to compensate for reduced arginine synthesis, resulting in organ-specific NO deficiency. This early renal deficiency and its adverse sequels can be corrected by perinatal citrulline supplementation persistently in female and transiently in male SHRs.
QMA variants with polynomially many provers

We study three variants of multi-prover quantum Merlin-Arthur proof systems. We first show that the class of problems that can be efficiently verified using polynomially many quantum proofs, each of logarithmic-size, is exactly MQA (also known as QCMA), the class of problems which can be efficiently verified via a classical proof and a quantum verifier. We then study the class BellQMA(poly), characterized by a verifier who first applies unentangled, nonadaptive measurements to each of the polynomially many proofs, followed by an arbitrary but efficient quantum verification circuit on the resulting measurement outcomes. We show that if the number of outcomes per nonadaptive measurement is a polynomially-bounded function, then the expressive power of the proof system is exactly QMA. Finally, we study a class equivalent to QMA(m), denoted SepQMA(m), where the verifier's measurement operator corresponding to outcome accept is a fully separable operator across the m quantum proofs. Using cone programming duality, we give an alternate proof of a result of Harrow and Montanaro [FOCS, pp. 633-642 (2010)] that shows a perfect parallel repetition theorem for SepQMA(m) for any m.
QKI, a miR‐200 target gene, suppresses epithelial‐to‐mesenchymal transition and tumor growth

The microRNA‐200 (miR‐200) family plays a major role in specifying epithelial phenotype by preventing expression of the transcription repressors ZEB1 and ZEB2, which are well‐known regulators of the epithelial‐to‐mesenchymal transition (EMT) in epithelial tumors including oral squamous cell carcinoma (OSCC). Here, we elucidated whether miR‐200 family members control RNA‐binding protein quaking (QKI), a newly identified tumor suppressor that is regulated during EMT. We predicted that miR‐200a and miR‐200b could recognize QKI 3′‐UTR by analyzing TargetScan and The Cancer Genome Atlas head and neck squamous cell carcinoma (HNSCC) dataset. Forced expression of miR‐200b/a/429 inhibited expression of ZEB1/2 and decreased cell migration in OSCC cell lines CAL27 and HSC3. QKI expression was also suppressed by miR‐200 overexpression, and the 3′‐UTR of QKI mRNA was directly targeted by miR‐200 in luciferase reporter assays. Interestingly, shRNA‐mediated knockdown of QKI led to pronounced EMT and protumor effects in both in vitro and in vivo studies of OSCC. Furthermore, high expression of QKI protein is associated with favorable prognosis in surgically resected HNSCC and lung adenocarcinoma. In conclusion, QKI increases during EMT and is targeted by miR‐200; while, it suppresses EMT and tumorigenesis. We suggest that QKI and miR‐200 form a negative feedback loop to maintain homeostatic responses to EMT‐inducing signals.
Moderate alcohol consumption as risk factor for adverse brain outcomes and cognitive decline: longitudinal cohort study

Objectives To investigate whether moderate alcohol consumption has a favourable or adverse association or no association with brain structure and function. Design Observational cohort study with weekly alcohol intake and cognitive performance measured repeatedly over 30 years (1985-2015). Multimodal magnetic resonance imaging (MRI) was performed at study endpoint (2012-15). Setting Community dwelling adults enrolled in the Whitehall II cohort based in the UK (the Whitehall II imaging substudy). Participants 550 men and women with mean age 43.0 (SD 5.4) at study baseline, none were “alcohol dependent” according to the CAGE screening questionnaire, and all safe to undergo MRI of the brain at follow-up. Twenty three were excluded because of incomplete or poor quality imaging data or gross structural abnormality (such as a brain cyst) or incomplete alcohol use, sociodemographic, health, or cognitive data. Main outcome measures Structural brain measures included hippocampal atrophy, grey matter density, and white matter microstructure. Functional measures included cognitive decline over the study and cross sectional cognitive performance at the time of scanning. Results Higher alcohol consumption over the 30 year follow-up was associated with increased odds of hippocampal atrophy in a dose dependent fashion. While those consuming over 30 units a week were at the highest risk compared with abstainers (odds ratio 5.8, 95% confidence interval 1.8 to 18.6; P≤0.001), even those drinking moderately (14-21 units/week) had three times the odds of right sided hippocampal atrophy (3.4, 1.4 to 8.1; P=0.007). There was no protective effect of light drinking (1-<7 units/week) over abstinence. Higher alcohol use was also associated with differences in corpus callosum microstructure and faster decline in lexical fluency. No association was found with cross sectional cognitive performance or longitudinal changes in semantic fluency or word recall. Conclusions Alcohol consumption, even at moderate levels, is associated with adverse brain outcomes including hippocampal atrophy. These results support the recent reduction in alcohol guidance in the UK and question the current limits recommended in the US.