Miracle-dz/UniFAR-FTUs huggingface dataset:
Sex in Its Daily Relational Context.

INTRODUCTION The present study measured the daily correlates of sexual behavior in an ecologically valid context by relying on a daily diary approach. AIM Examining the dyadic and multicomponent nature of sexual behavior is essential to create valid models of sexual responding that are better aligned with the day-to-day context of having sex in a relationship. METHODS AND MAIN OUTCOME MEASURES During 3 weeks, heterosexual couples completed, two times a day, an electronic diary to report on mood, own and perceived partner behavior, relational feelings (in the evening), sexual activity, physical intimacy, and masturbation (in the morning). This design allowed testing bidirectional temporal associations between daily context and different types of sexual behavior. RESULTS Positive mood, displays of positive partner behavior, perceived positive partner behavior, and positive relational feelings predicted more sexual activity and intimacy in men, which then further increased their positive mood, perceived positive partner behavior, and positive feelings about the relationship on the following day. Women showed a similar pattern of predictors regarding sexual activity as men, though the effect of sexual behavior on next-day feelings and behavior was more relationship-oriented rather than affecting personal mood. Intimacy was related to almost all daily variables in women, but related only to own and perceived positive partner behavior and positive relational feelings the next day. Several partner effects also reached significance, and these were more influential in predicting male than female intimacy. Solitary sexual activity showed a different pattern of results than dyadic sexual activity, with men experiencing masturbation as negatively in the context of their relationship. CONCLUSION These results confirm the regulatory function of sex and intimacy in maintaining a positive relational climate and indicate that the quality of the everyday relational context is important to get partners in the mood to act in a sexual way.
Cerenkov radiation: a multi-functional approach for biological sciences

Cerenkov radiation (CR) has been used in various biological research fields, which has aroused lots of attention in recent years. Combining optical imaging instruments and most of nuclear medicine imaging or radiotherapy probes, the CR was developed as a new imaging modality for biology studies, called Cerenkov luminescence imaging (CLI). On the other hand, it was novelly used as an internal excitation source to activate some fluorophores for energy transfer imaging. However, it also has some shortages such as relatively weak luminescence intensity and low penetration in tissue. Thus some scientific groups demonstrated to optimize the CLI and demonstrated it to three-dimension tomography. In this article, we elaborate on its principle, history, and applications and discuss a number of directions for technical improvements. Then concluded some advantages and shortages of CR and discuss some prospects of it.
Clonal architectures and driver mutations in metastatic Clonal architectures and driver mutations in metastatic melanomas melanomas

To reveal the clonal architecture of melanoma and associated driver mutations, whole genome sequencing (WGS) and targeted extension sequencing were used to characterize 124 melanoma cases. Significantly mutated gene analysis using 13 WGS cases and 15 additional paired extension cases identified known melanoma genes such as BRAF , NRAS
CME Practice parameter : Evaluating a first nonfebrile seizure in children Report of the Quality Standards Subcommittee of the American Academy of Neurology , the Child Neurology Society , and the American Epilepsy Society

Article abstract—Objective: The Quality Standards Subcommittee of the American Academy of Neurology develops practice parameters as strategies for patient management based on analysis of evidence. For this practice parameter, the authors reviewed available evidence on evaluation of the first nonfebrile seizure in children in order to make practice recommendations based on this available evidence. Methods: Multiple searches revealed relevant literature and each article was reviewed, abstracted, and classified. Recommendations were based on a three-tiered scheme of classification of the evidence. Results: Routine EEG as part of the diagnostic evaluation was recommended; other studies such as laboratory evaluations and neuroimaging studies were recommended as based on specific clinical circumstances. Conclusions: Further studies are needed using large, well-characterized samples and standardized data collection instruments. Collection of data regarding appropriate timing of evaluations would be important.
Symbolic model checking using SAT procedures instead of BDDs

In this paper, we study the application of propositional decision procedures in hardware verification. In particular, we apply bounded model checking to equivalence and invariant checking. We present several optimizations that reduce the size of generated propositional formulas. In many instances, our SAT-based approach can significantly outperform BDD-based approaches. We observe that SAT-based techniques are particularly efficient in detecting errors in both combinational and sequential designs.
Bilingualism: Language and Cognition

Bilingualism: Language and Cognition / FirstView Article / August 2016, pp 1 14 DOI: 10.1017/S1366728916000717, Published online: 19 August 2016 Link to this article: http://journals.cambridge. org/abstract_S1366728916000717 How to cite this article: GUNNAR JACOB, KALLIOPI KATSIKA, NEILOUFAR FAMILY and SHANLEY E. M. ALLEN The role of constituent order and level of embedding in cross-linguistic structural priming. Bilingualism: Language and Cognition, Available on CJO 2016 doi:10.1017/S1366728916000717 Request Permissions : Click here
MIT Open Access Articles DB4ML: An In-Memory Database Kernel with Machine Learning Support

In this paper, we revisit the question of how ML algorithms can be best integrated into existing DBMSs to not only avoid expensive data copies to external ML tools but also to comply with regulatory reasons. The key observation is that database transactions already provide an execution model that allows DBMSs to efficiently mimic the execution model of modern parallel ML algorithms. As a main contribution, this paper presents DB4ML , an in-memory database kernel that allows applications to implement user-defined ML algorithms and efficiently run them inside a DBMS. Thereby, the ML algorithms are implemented using a programming model based on the idea of so called iterative transactions. Our experimental evaluation shows that DB4ML can support user-defined ML algorithms inside a DBMS with the efficiency of modern specialized ML engines. In contrast to DB4ML , these engines not only need to transfer data out of the DBMS but also hard-code the ML algorithms and thus are not extensible.
Solving difficult SAT instances in the presence of symmetry

Research in algorithms for Boolean satisfiability and their implementations has recently outpaced benchmarking efforts. Most of the classic DIMACS benchmarks can be solved in seconds on commodity PCs. More recent benchmarks take longer to solve because of their large size, but are still solved in minutes. Yet, small and difficult SAT instances must exist because Boolean satisfiability is NP-complete. We propose an improved construction of symmetry-breaking clauses and apply it to achieve significant speed-ups over current state-of-the-art in Boolean satisfiability. Our techniques are formulated as preprocessing and can be applied to any SAT solver without changing its source code. We also show that considerations of symmetry may lead to more efficient reductions to SAT in the routing domain. Our work articulates SAT instances that are unusually difficult for their size, including satisfiable instances derived from routing problems. Using an efficient implementation to solve the graph automorphism problem, we show that in structured SAT instances difficulty may be associated with large numbers of symmetries.
Interrelationship Between Nutrients and Chlorophyll-a in an Urban Stormwater Lake During the Ice-covered Period

Urban stormwater lakes in cold regions are ice-covered for substantial parts of the winter. It has long been considered that the ice-covered period is the “dormant season,” during which ecological processes are inactive. However, little is known about this period due to the historical focus on the open-water season. Recent pioneering research on ice-covered natural lakes has suggested that some critical ecological processes play out on the ice. The objective of this study was to investigate the active processes in ice-covered stormwater lakes. Data collected during a two-year field measurement program at a stormwater lake located in Edmonton, Alberta, Canada were analyzed. The lake was covered by ice from November to mid-April of the following year. The mean value of chlorophyll-a during the ice-covered period was 22.09% of the mean value for the open-water season, suggesting that primary productivity under ice can be important. Nitrogen and phosphorus were remarkably higher during the ice-covered period, while dissolved organic carbon showed little seasonal variation. Under ice-covered conditions, the total phosphorus was the major nutrient controlling the ratio of total nitrogen to total phosphorus, and a significant positive correlation existed between total phosphorus and chlorophyll-a when the ratio was smaller than 10. The results provide preliminary evidence of the critical nutrient processes in the Stormwater Lake during the ice-covered period.
Variations of polyphenols and carbohydrates of Emiliania huxleyi grown under simulated ocean acidification conditions

Global environmental changes strongly affect the growth and biochemical composition of microalgae. Cultures of the coccolithophore Emiliania huxleyi were grown under four different CO 2 -controlled pH conditions (7.75, 7.90, 8.10, and 8.25) to improve understanding of the adaptive mechanisms of these organisms through changes in phenolic compounds and carbohydrate content and composition under ocean acidification scenarios. The highest algal biomass peaks, 1.07 (± 0.10) and 15 1.04 (± 0.06) × 10 8 cells L −1 , were observed in the microcosms with intermediate CO 2 levels (pH 8.10 and 7.90 respectively). Intra-and extracellular phenolic compounds were identified and quantified by Reverse Phase-High Performance Liquid Chromatography (RP-HPLC). The highest concentrations of total exuded phenolics were found in cultures with lower cell densities, at pH 8.25 (43±3 nM) and 7.75 (18.0±0.9 nM). Accumulation of intracellular phenolic compounds was observed in cells with decreasing pH, reaching the maximum level (9.24±0.19 attomole cell -1 ) at the lowest pH (7.75). The total
In vivo protective e ﬀ ects of vitamin C against cyto-genotoxicity induced by Dysphania ambrosioides aqueous extract

: Dysphania ambrosioides (L.) holds a prominent place in Moroccan folk medicine due to its therapeutic attributes. Despite its widespread use, instances of inad-vertent intoxication linked to its consumption have been reported. This study aims to evaluate the potential cytogen-otoxic e ﬀ ects of D. ambrosioides leaf aqueous extract (DAAE) and explore the prospective protective role of vitamin C ( L -ascorbic acid) through the micronucleus test conducted on (1) Vicia faba root-tip meristem and (2) mouse bone marrow cells. In addition, antioxidant enzyme activities, speci ﬁ cally superoxide dismutase (SOD) and catalase (CAT), were evaluated in V. faba treated with DAAE. After a 7-day daily administration of DAAE to mice, serum biochemical parameters (aspartate aminotransferase, alanine aminotransferase, alkaline phosphatase, creatinine, and uric acid) were measured, and histological examination of liver and kidney tissues was performed. The results indicated that DAAE had dose-dependent cytotoxic and genotoxic e ﬀ ects on both biological models. Furthermore, V. faba treated with DAAE showed signi ﬁ cant increases in the activities of SOD and CAT enzymes. Mice treated with DAAE exhibited signi ﬁ cant elevations in serum biochemical parameters compared to the control group. Histological examination of liver and kidney tissues revealed hepatic degeneration, glomerular shrinkage, and distinct vacuolated tubular epithelial cells. The cotreatment with vitamin C demonstrated a signi ﬁ cant protective e ﬀ ect against DAAE-induced cytogenotoxicity. These ﬁ ndings underscore the importance of vitamin C as a protective agent against oxidative stress and cytogenotoxicity induced by DAAE and recommend its use in any DAAE-based preparation.
MLPA: Detecting overlapping communities by multi-label propagation approach

The identification of communities is an important step in understanding of the complex network. Comparative studies suggest that the development of accurate and efficient methods to infer the communities is still in its early stages. Label propagation algorithm (LPA) that detects communities by propagating labels among vertices, attracts a great deal of attention recently. However, the communities detected by most LPAs are disjointed. Due to communities are often overlapping in real world networks, we show a multi-label propagation algorithm (MLPA) to detect overlapping communities. The inspiration is that the more people are familiar, the more they trust each other. To simulate the confidence of human communication, propagating intensity (PI) is defined to describe the confidence extent of the label propagated by neighboring vertices. The PI is then used to guide the propagation, with the purpose to make the detection more accurate. The results of extensive experiments both on synthetic and real networks show that the proposed MLPA outperforms many other methods. The effectiveness of MLPA can be attributed to its multi-label propagating strategy.
Characterizing the Eﬀects of Adding Virtual and Augmented Reality in Robot-Assisted Training

—Virtual reality (VR) and augmented reality (AR) are emerging technologies in rehabilitation and have the potential to be combined with robot-assisted training (RAT). In this study, we investigate the effects of adding VR and AR into sitting posture training involving a robotic Trunk Support Trainer (TruST). Sixty-three healthy subjects were randomly assigned to three groups: physical reality group (PR group), AR group, and VR group. During training, subjects practice multidirectional reach tasks with robotic assistance provided by TruST. Reach targets were real in the PR group but virtual in the AR and VR groups. Training environments were real in the PR and AR groups, but virtual in the VR group. Before and after training, all subjects underwent a functional reach test to measure changes in motor performance, gains in workspace area and postural control flexibility. Additionally, they completed five standard questionnaires assessing presence, immersion, simulator sickness, engagement, and enjoyment. Our results indicate that both VR and AR significantly enhanced the effectiveness of TruST-assisted training. However, the VR group experienced a higher simulator sickness compared to the AR group. This comparative study sheds light on the added value of VR and AR in RAT and should serve as a stepping stone for the development of novel XR-enhanced RAT platforms and paradigms for training.
Binding of the protease-sensitive form of PrP (prion protein) to sulfated glycosaminoglycan and congo red [corrected]

Congo red and certain sulfated glycans are potent inhibitors of protease-resistant PrP accumulation in scrapie-infected cells. One hypothesis is that these inhibitors act by blocking the association between protease-resistant PrP and sulfated glycosaminoglycans or proteoglycans (e.g., heparan sulfate proteoglycan) that is observed in amyloid plaques of scrapie-infected brain tissue. Accordingly, we have investigated whether the apparent precursor of protease-resistant PrP, protease-sensitive PrP, binds to Congo red and heparin, a highly sulfated glycosaminoglycan with an inhibitory potency like that of heparan sulfate. Protease-sensitive PrP released from the surface of mouse neuroblastoma cells bound to heparin-agarose and Congo red-glass beads. Sucrose density gradient fractionation provided evidence that at least some of the PrP capable of binding heparin-agarose was monomeric. Free Congo red blocked PrP binding to heparin and vice versa, suggesting that these ligands share a common binding site. The relative efficacies of pentosan polysulfate, Congo red, heparin, and chondroitin sulfate in blocking PrP binding to heparin-agarose corresponded with their previously demonstrated potencies in inhibiting protease-resistant PrP accumulation. These results are consistent with the idea that sulfated glycans and Congo red inhibit protease-resistant PrP accumulation by interfering with the interaction of PrP with an endogenous glycosaminoglycan or proteoglycan.
Some psychological methods for evaluating the quality of translations

The excellence of a translation should be measured by the extent to which it preserves the exact meaning of the original. But so long as we have no accepted definition of meaning, much less of exact meaning, it is difficult to use such a measure. As a practical alternative, therefore, we must search for more modest, yet better defined, procedures. The present article attempts to survey some of the possible methods: One can ask the opinion of several competent judges. Or, given a translation of granted excellence, one can compare test translations with this criterion by a variety of statistical indices. Or a person who has read only the translation may be required to answer questions based on the original. The characteristic advantages and disadvantages of each method are illustrated by examples.
Working Paper Series Nowcasting employment in the euro area

Euro area labour market variables are published with a considerable lag, longer than in the case of real GDP. We develop a suite of models to provide a more timely estimate (nowcast) of euro area quarterly employment growth based on a broad range of monthly indicators. The suite includes a batch of diﬀerent dynamic factor model and bridge equation speciﬁcations. We evaluate it in real time over 2013-2022 and ﬁnd that (i) monthly indicators provide useful information for a timely assessment of employment developments with unemployment rates and sentiment indicators containing most of the relevant information, (ii) the performance of small-scale models is comparable to those based on a larger information set, (iii) the suite performs favourably compared to the Eurosystem/ECB staﬀ macroeconomic projections, (iv) forecasting performance deteriorates temporarily at the initial stage of the COVID-19 pandemic period, but the models outperform the benchmarks again thereafter.
from Clustering

Context: Code hardening is meant to ﬁght malicious tampering with sensitive code executed on client hosts. Code splitting is a hardening technique that moves selected chunks of code from client to server. Although widely adopted, the effective beneﬁts of code splitting are not fully understood and thoroughly assessed. Goal: The objective of this work is to compare non protected code vs. code splitting protected code, considering two levels of the chunk size parameter, in order to assess the effectiveness of the protection – in terms of both attack time and success rate – and to understand the attack strategy and process used to overcome the protection. Method: We conducted an experiment with master students performing attack tasks on a small application hardened with different levels of protection. Students carried out their task working at the source code level. Results: We observed a statistically signiﬁcant effect of code splitting on the attack success rate that, on the average, was reduced from 89% with unprotected clear code to 52% with the most effective protection. The protection variant that moved some small-sized code chunks turned out to be more effective than the alternative moving fewer but larger chunks. Different strategies were identiﬁed yielding different success rates. Moreover we discovered that successful attacks exhibited different process w.r. t. failed ones. Conclusions: We found empirical evidence of the effect of code splitting, assessed the relative magnitude, and evaluated the inﬂuence of the chunk size parameter. Moreover we extracted the process used to overcome such obfuscation technique.
Surfactant-Derived Proteins as Markers of Alveolar Membrane Damage in Heart Failure

Background In heart failure (HF) alveolar-capillary membrane is abnormal. Surfactant-derived proteins (SPs) and plasma receptor for advanced-glycation-end-products (RAGE) have been proposed as lung damage markers. Methods Eighty-nine chronic HF and 17 healthy subjects were evaluated by echocardiography, blood parameters, carbon monoxide lung diffusion (DLCO) and cardiopulmonary exercise test. We measured immature SP-B, mature SP-B, SP-A, SP-D and RAGE plasma levels. Results Immature SP-B (arbitrary units), mature SP-A (ng/ml) and SP-D (ng/ml), but not mature SP-B (ng/ml) and RAGE (pg/ml) levels, were higher in HF than in controls [immature SP-B: 15.6 (13.1, 75th–25th interquartile range) Vs. 11.1 (6.4), p<0.01; SP-A, 29.6 (20.1) Vs. 18.3 (13.5), p = 0.01; SP-D: 125 (90) Vs. 78 (58), p<0.01]. Immature SP-B, SP-A, SP-D and RAGE values were related to DLCO, peak oxygen consumption, ventilatory efficiency, and brain natriuretic peptide (BNP), whereas plasma mature SP-B was not. The DLCO Vs. immature SP-B correlation was the strongest one. At multivariate analysis, RAGE was associated to age and creatinine, SP-A to DLCO and BNP, SP-D to BNP, mature SP-B to DLCO and creatinine, and immature SP-B only but strongly to DLCO. Conclusions Immature SP-B is the most reliable biological marker of alveolar-capillary membrane function in HF.
On the denotation of circular and non-wellfounded proofs

This paper investigates the question of denotational invariants of non-wellfounded and circular proofs of the linear logic with least and greatest fixed-points. Indeed, while non-wellfounded and circular proof theory made significant progress in the last twenty years, the corresponding denotational semantics is still underdeveloped. A categorical semantics for non-wellfounded proofs is provided, building on the categorical axiomatization in [25]. Several properties of the semantics are then studied: its soundness, and the semantical content of the translations from finitary proofs to circular proofs and strongly valid circular proofs to finitary proofs. Then we will capture the syntactic validity criterion by considering a orthogonality construction [33] on the given categorical model. We also study two concrete models. The first is based on the category of sets and relations, and the second one is based on a notion of totality [25]. Finally, the paper focuses on circular proofs, trying to benefit from their regularity in order to define inductively the interpretation function. It is argued why the usual validity condition is too general for that purpose, while a fragment of circular proofs, strongly valid proofs, constitutes a well-behaved class for such an inductive interpretation.