Miracle-dz/UniFAR-FTUs huggingface dataset:
Secret program execution in the cloud applying homomorphic encryption

A growing number of compute and data storage jobs is performed on remote resources. In a cloud environment the customer can't be sure where a particular job is physically executed and thus cannot rely on the security and confidentiality of the remote resource. A solution for this problem is operating on encrypted functions and encrypted data. This enables a customer to generate a program that can be executed by a third party, without revealing the underlying algorithm or the processed data. This helps securing applications and data in a distributed digital ecosystem. We present a method to compute a secret program on an untrusted resource using fully homomorphic encrypted circuits. We sketch an algebraic homomorphism as a cryptographic foundation and define a sample system architecture for which we provide a software implementation. Our concept solves the problems of encrypted storage access with encrypted addresses and encrypted branching: in contrast to other approaches, like static one-pass circuit simulations, our system supports dynamic parameters and non-linear programs, that render branch-decisions at runtime and cannot be represented in a circuit with hard-wired in-circuit parameters and data. Our implementation comprises the runtime environment for an encrypted program and an assembler to generate the encrypted machine code.
Dippy – a simplified interface for advanced mixed-integer programming

Mathematical modelling languages such as AMPL, GAMS, and Xpress-MP enable mathematical models such as mixed-integer linear programmes (MILPs) to be expressed clearly for solution in solvers such as CPLEX, MINOS and Gurobi. However some models are sufficiently difficult that they cannot be solved using “out-of-the-box” solvers, and customisation of the solver framework to exploit model-specific structure is required. Many solvers, including CPLEX, Symphony and DIP, enable this customisation by providing “callback functions” that are called at key steps in the solution of a model. This approach traditionally involves either expressing the mathematical formulation in a low-level language such as C++ or Java, or implementing a complicated indexing scheme to be able to track model components such as variables and constraints between the mathematical modelling language and the solver’s callback framework. In this paper we present Dippy, a combination of the Python-based mathematical modelling language PuLP and the open source solver DIP. Dippy provides the power of callback functions, but without sacrificing the usability and flexibility of modelling languages. We discuss the link between PuLP and DIP and give examples of how advanced solving techniques can be expressed concisely and intuitively in Dippy.
Eksperimentasi Model Pembelajaran Teams Assited Individualization (Tai) Dan Numbered Heads Together (Nht) Dengan Pendekatan Kontekstual Pada Materi Sistem Persamaan Linear Dua Variabel Ditinjaudari Kreativitas Belajar Siswa

Abstract : The aim of the research was to determine the effect of learning models on mathematics achievement viewed from students learning creativity. The learning models compared were TAI with contextual approach, NHT with contextual approach, and direct instruction with contextual approach. The type of the research was a quasi-experimental research. The populations were all students of Junior High School in Gemolong subdistrict. Sampling was done by stratified cluster random sampling. The samples were students of SMPN 1 Gemolong, SMPN 2 Gemolong, and SMP Muh 9 Gemolong. The instruments used were mathematics achievement tests and creativity questionnaire. The data was analyzed using unbalanced two-ways anova. The conclusions were as follows. (1) TAI with contextual approach gives better mathematics achievement than NHT with contextual approach, TAI with contextual approach gives better mathematics achievement than direct instruction with contextual approach, NHT and direct instruction with contextual approach have the same mathematics achievement. (2) For students with high and medium learning creativity have the same mathematics achievement. Mathematics achievement of students who have high and medium learning creativity was better than students who have low learning creativity. (3) For students who have high learning creativity, all learning models gives the same mathematics achievement. (4) For students who have medium learning creativity, all learning models gives the same mathematics achievement. (5) For students who have low learning creativity, TAI and NHT with contextual approach gives the same mathematics achievement. NHT and direct instruction with contextual approach gives the same mathematics achievement. TAI with contextual approach gives better mathematics achievement than direct instruction with contextual approach. Keywords : TAI, NHT, contextual approach, learning achievement, learning creativity.
Metabolic Profiling of Alternative NAD Biosynthetic Routes in Mouse Tissues

NAD plays essential redox and non-redox roles in cell biology. In mammals, its de novo and recycling biosynthetic pathways encompass two independent branches, the “amidated” and “deamidated” routes. Here we focused on the indispensable enzymes gating these two routes, i.e. nicotinamide mononucleotide adenylyltransferase (NMNAT), which in mammals comprises three distinct isozymes, and NAD synthetase (NADS). First, we measured the in vitro activity of the enzymes, and the levels of all their substrates and products in a number of tissues from the C57BL/6 mouse. Second, from these data, we derived in vivo estimates of enzymes'rates and quantitative contributions to NAD homeostasis. The NMNAT activity, mainly represented by nuclear NMNAT1, appears to be high and nonrate-limiting in all examined tissues, except in blood. The NADS activity, however, appears rate-limiting in lung and skeletal muscle, where its undetectable levels parallel a relative accumulation of the enzyme's substrate NaAD (nicotinic acid adenine dinucleotide). In all tissues, the amidated NAD route was predominant, displaying highest rates in liver and kidney, and lowest in blood. In contrast, the minor deamidated route showed higher relative proportions in blood and small intestine, and higher absolute values in liver and small intestine. Such results provide the first comprehensive picture of the balance of the two alternative NAD biosynthetic routes in different mammalian tissues under physiological conditions. This fills a gap in the current knowledge of NAD biosynthesis, and provides a crucial information for the study of NAD metabolism and its role in disease.
Traits Inculcated in Childhood: Cross-Cultural Codes 5

Developpement de la personnalite et apprentissage culturel chez les enfants. Etude culturelle comparative a partir d'un echantillonnage comprenant 186societes, en fournissant un ensemble de codes sur l'apprentissage des enfants de 4/5ans jusqu'a la puberte.
Entropy driven feature selection for facial expression recognition based on 3-D facial feature distances

Facial expressions contain a lot of information about the feelings of a human. It plays an important role in humancomputer interaction. In this paper, entropy based feature selection method applied to 3D facial feature distances is presented for a facial expression recognition system classifying the expressions into 6 basic classes based on 3-Dimensional (3D) face geometry. Our previous work on entropy based feature selection has been improved by employing 3D feature distances between the 83 points on the face as facial features. 3D distances are more robust to rotations of the face and involve more accurate information than 3D feature positions that are used in our previous work. Entropy is applied in order to rank the feature distances for feature selection. The system is tested on BU-3DFE database in person independent manner and provides encouraging recognition rates.
Cancer survivors and unemployment: a meta-analysis and meta-regression.

CONTEXT Nearly half of adult cancer survivors are younger than 65 years, but the association of cancer survivorship with employment status is unknown. OBJECTIVE To assess the association of cancer survivorship with unemployment compared with healthy controls. DATA SOURCES A systematic search of studies published between 1966 and June 2008 was conducted using MEDLINE, CINAHL, EMBASE, PsycINFO, and OSH-ROM databases. STUDY SELECTION Eligible studies included adult cancer survivors and a control group, and employment as an outcome. DATA EXTRACTION Pooled relative risks were calculated over all studies and according to cancer type. A Bayesian meta-regression analysis was performed to assess associations of unemployment with cancer type, country of origin, average age at diagnosis, and background unemployment rate. RESULTS Twenty-six articles describing 36 studies met the inclusion criteria. The analyses included 20,366 cancer survivors and 157,603 healthy control participants. Studies included 16 from the United States, 15 from Europe, and 5 from other countries. Overall, cancer survivors were more likely to be unemployed than healthy control participants (33.8% vs 15.2%; pooled relative risk [RR], 1.37; 95% confidence interval [CI], 1.21-1.55). Unemployment was higher in breast cancer survivors compared with control participants (35.6% vs 31.7%; pooled RR, 1.28; 95% CI, 1.11-1.49), as well as in survivors of gastrointestinal cancers (48.8% vs 33.4%; pooled RR, 1.44; 95% CI, 1.02-2.05), and cancers of the female reproductive organs (49.1% vs 38.3%; pooled RR, 1.28; 95% CI, 1.17-1.40). Unemployment rates were not higher for survivors of blood cancers compared with controls (30.6% vs 23.7%; pooled RR, 1.41; 95% CI, 0.95-2.09), prostate cancers (39.4% vs 27.1%; pooled RR, 1.11; 95% CI, 1.00-1.25), or testicular cancer (18.5% vs 18.1%; pooled RR, 0.94; 95% CI, 0.74-1.20). For survivors in the United States, the unemployment risk was 1.5 times higher compared with survivors in Europe (meta-RR, 1.48; 95% credibility interval, 1.15-1.95). After adjustment for diagnosis, age, and background unemployment rate, this risk disappeared (meta-RR, 1.24; 95% CI, 0.85-1.83). CONCLUSION Cancer survivorship is associated with unemployment.
Transposable Elements Are Major Contributors to the Origin, Diversification, and Regulation of Vertebrate Long Noncoding RNAs

Advances in vertebrate genomics have uncovered thousands of loci encoding long noncoding RNAs (lncRNAs). While progress has been made in elucidating the regulatory functions of lncRNAs, little is known about their origins and evolution. Here we explore the contribution of transposable elements (TEs) to the makeup and regulation of lncRNAs in human, mouse, and zebrafish. Surprisingly, TEs occur in more than two thirds of mature lncRNA transcripts and account for a substantial portion of total lncRNA sequence (∼30% in human), whereas they seldom occur in protein-coding transcripts. While TEs contribute less to lncRNA exons than expected, several TE families are strongly enriched in lncRNAs. There is also substantial interspecific variation in the coverage and types of TEs embedded in lncRNAs, partially reflecting differences in the TE landscapes of the genomes surveyed. In human, TE sequences in lncRNAs evolve under greater evolutionary constraint than their non–TE sequences, than their intronic TEs, or than random DNA. Consistent with functional constraint, we found that TEs contribute signals essential for the biogenesis of many lncRNAs, including ∼30,000 unique sites for transcription initiation, splicing, or polyadenylation in human. In addition, we identified ∼35,000 TEs marked as open chromatin located within 10 kb upstream of lncRNA genes. The density of these marks in one cell type correlate with elevated expression of the downstream lncRNA in the same cell type, suggesting that these TEs contribute to cis-regulation. These global trends are recapitulated in several lncRNAs with established functions. Finally a subset of TEs embedded in lncRNAs are subject to RNA editing and predicted to form secondary structures likely important for function. In conclusion, TEs are nearly ubiquitous in lncRNAs and have played an important role in the lineage-specific diversification of vertebrate lncRNA repertoires.
Semantic, Constraint & Preference Based Multimedia Presentation Authoring

We present in this paper an integrated system that allows the management and annotation of multimedia objects stored in MPEG-7/21 repositories, and the specification and semi-automatic generation of multimedia presentations based on the content relationships that exist between the multimedia objects. main components of the CoCoMA infrastructure that aims to provide content-and context-aware rich interactive multimedia presentations by controlling data fusion and metadata reuse. The integrated system utilizes the SyMPA management and presentation authoring system developed by UNIMI and the DS-MIRF framework developed by TUC-MUSIC.
Phosphorylation of MeCP2 at Ser421 Contributes to Chronic Antidepressant Action

Although tricyclic antidepressants rapidly activate monoaminergic neurotransmission, these drugs must be administered chronically to alleviate symptoms of depression. This observation suggests that molecular mechanisms downstream of monoamine receptor activation, which include the induction of gene transcription, underlie chronic antidepressant-induced changes in behavior. Here we show that methyl-CpG-binding protein 2 (MeCP2) regulates behavioral responses to chronic antidepressant treatment. Imipramine administration induces phosphorylation of MeCP2 at Ser421 (pMeCP2) selectively in the nucleus accumbens and the lateral habenula, two brain regions important for depressive-like behaviors. To test the role of pMeCP2 in depressive-like behaviors, we used male mice that bear a germ-line mutation knocked into the X-linked Mecp2 locus that changes Ser421 to a nonphosphorylatable Ala residue (S421A). MeCP2 S421A knock-in (KI) mice showed increased immobility in forced-swim and tail-suspension tests compared with their wild-type (WT) littermates. However, immobility of both MeCP2 WT and KI mice in forced swim was reduced by acute administration of imipramine, demonstrating that loss of pMeCP2 does not impair acute pharmacological sensitivity to this drug. After chronic social defeat stress, chronic administration of imipramine significantly improved social interaction in the MeCP2 WT mice. In contrast, the MeCP2 KI mice did not respond to chronic imipramine administration. These data suggest novel roles for pMeCP2 in the sensitivity to stressful stimuli and demonstrate that pMeCP2 is required for the effects of chronic imipramine on depressive-like behaviors induced by chronic social defeat stress.
Akamon: An Open Source Toolkit for Tree/Forest-Based Statistical Machine Translation

We describe Akamon, an open source toolkit for tree and forest-based statistical machine translation (Liu et al., 2006; Mi et al., 2008; Mi and Huang, 2008). Akamon implements all of the algorithms required for tree/forest-to-string decoding using tree-to-string translation rules: multiple-thread forest-based decoding, n-gram language model integration, beam- and cube-pruning, k-best hypotheses extraction, and minimum error rate training. In terms of tree-to-string translation rule extraction, the toolkit implements the traditional maximum likelihood algorithm using PCFG trees (Galley et al., 2004) and HPSG trees/forests (Wu et al., 2010).
DESARROLLO DE LA APROPIACIÓN TECNOLÓGICA CON RECURSOS EDUCATIVOS ABIERTOS PARA EL APRENDIZAJE EN EDUCACIÓN PRIMARIA RURAL DEVELOPMENT OF THE TECHNOLOGICAL APPROPRIATION THROUGH OPEN EDUCATIONAL RESOURCES FOR LEARNING IN RURAL ELEMENTARY EDUCATION

This research study had the objective to analyze the development of technological appropriation in elementary students belonging to a rural context, within an environment that integrated open educational resources in the area of basic mathematical operations (addition, subtraction, multiplication and division), problem solving, reading and writing numbers. The study was developed in order to contribute to the innovation in learning environments in elementary education in rural contexts. The research question was: How technological appropriation takes place in rural primary students working with Open Educational Resources? A qualitative methodology was followed by a focus on multiple instrumental study cases (three cases of primary education in Colombia). The data were analyzed using the observation log, questionnaire, diary of the researcher and analysis of student work. The results show that technological appropriation is reached according to the steps of familiarization, utilization, integration, reorientation and developments that allow resources to be used properly.
Protective effect of Xin Mai Jia ultrafiltration extract on human umbilical vein endothelial cell injury induced by hydrogen peroxide and the effect on the NO-cGMP signaling pathway

The aim of the present study was to evaluate the protective effect of the ultrafiltration extract of Xin Mai Jia (XMJ) on a human umbilical vein endothelial cell (HUVEC) injury model induced by hydrogen peroxide (H2O2), by providing experimental data to investigate the mechanism and efficacy underlying the therapeutic effects on atherosclerosis. HUVECs were first injured by H2O2 and then varying final concentrations of the Chinese herb extract were added. Effects of the XMJ extract on morphology, activity, monolayer permeability, biochemical indicators, cytokines, endothelial nitric oxide synthase (eNOS) protein content and eNOS gene expression in the HUVECs were analyzed. H2O2 significantly promoted HUVEC injury. The XMJ ultrafiltration extract significantly improved the morphological changes in the injured HUVECs. In addition, XMJ treatment increased cell activity and decreased monolayer permeability. The expression levels of intracellular adhesion molecule-1, vascular adhesion molecule-1, interleukin-1 and -6 and nuclear factor-κB decreased, while the expression levels of matrix metalloproteinase-2 and tissue inhibitor of metalloproteinase-2 increased with XMJ administration. Increased levels of nitric oxide (NO), eNOS protein and eNOS gene expression were also observed. Therefore, the XMJ ultrafiltration extract exhibits marked anti-inflammatory effects and antioxidant abilities. These properties significantly inhibited the H2O2-induced injury of HUVECs, which may be associated with the NO-cyclic guanosine monophosphate signaling pathway.
Physical education: clear and present benefits and responsibilities. The Fritz Duras memorial lecture 2017

ABSTRACT A habitually active environment is a feature of past times, and in stark contrast with that experienced by our children today. Consequently, twenty-first century physical education (PE) assumes a position of great responsibility. This is especially true in primary schools; a premise recently strongly supported by published evidence from the Australian LOOK randomised controlled trial. This trial, consisting of an intervention of specialist-conducted PE over four years, extends on previous research to clearly demonstrate reduction in the early appearance of risk factors for type 2 diabetes and cardiovascular disease in boys and girls, together with evidence of beneficial structural development in the bone and left ventricle of girls. In addition, the children undertaking the specialist PE enjoyed a substantially increased progression in nationally assessed numeracy and literacy. Of concern, however, is that these benefits were in relation to a control group of PE taught by classroom teachers, who usually assume responsibility for PE in at least four days of the week. To address this, an economically realistic scheme is being trialled to provide primary schools with the means of delivering the quality and quantity of PE commensurate with the demonstrated benefits.
It’s your choice! - Or is it really?

For most of us it is difficult to imagine that we could decide to buy a v-neck sweater and end up with round-neck collar without even noticing the difference. If this happened in a wide variety of situations, it would mean that we are often not fully aware of the decisions we make. According to researchers studying a phenomenon called choice blindness, this is precisely the case. Numerous studies have shown that we often fail to detect changes in our decisions (e.g., which of two jams we prefer) when that choice is secretly changed. In the present article, we examine when and why this phenomenon occurs, as well its implications for various real-world settings.
Online learning control based on projected gradient temporal difference and advanced heuristic dynamic programming

We present a novel online learning control algorithm (OLCPA) which comprises projected gradient temporal difference for action-value function (PGTDAVF) and advanced heuristic dynamic programming with one step delay (AHD-POSD). PGTDAVF can guarantee the convergence of temporal difference(TD)-based policy learning with smooth action-value function approximators, such as neural networks. Meanwhile, AHDPOSD is a specially designed framework for embedding PGTDAVF in to conduct online learning control. It not only coincides with the intention of temporal difference but also enables PGTDAVF to be effective under nonidentical policy environment, which results in more practicality. In this way, the proposed algorithms achieve the stability and practicability simultaneously. Finally, simulation of online learning control on a cart pole benchmark demonstrates practical control capability and efficiency of the presented method.
Practical high certainty intent verification for encrypted votes

We construct a universally verifiable, cryptographic vote casting protocol that enables each voter to determine with high certainty via a receipt that her choices (intended votes) have been accurately represented in the input to a public tally. However, since the receipt, in isolation, can represent a choice for any candidate with equal probability, it does not enable vote buying or coercion. The key to making this possible is that the totality of information that the voter uses to convince herself of encrypted ballot integrity includes temporal information that is only available at the time the ballot is cast. We assume that, as with conventional voting systems, the act of casting takes place in a private environment – i.e. the “poll booth. ” Under this assumption then, the scheme, in conjunction with a universally verifiable tabulation protocol, provides an end-to-end verifiable, secret vote receipt based election protocol that is coercion free. Intrinsically, the protocol is unconditionally secure, although for the sake of usability, the commitment of data is likely to be implemented via a secure oneway hash. The security of such an implementation would then depend on the one-way property of the hash function employed. The scheme requires no more computation or data processing from the voter than is performed by a bank customer at a typical ATM. Thus, it is very practical.