Miracle-dz/UniFAR-FTUs huggingface dataset:
Reverse Engineering Android Apps With CodeInspect (invited paper)

While the Android operating system is popular among users, it has also attracted a broad variety of miscreants and malware. New samples are discovered every day. Purely automatic analysis is often not enough for understanding current state-of-the-art Android malware, though. Miscreants obfuscate and encrypt their code, or hide secrets in native code. Precisely identifying the malware’s behavior and finding information about its potential authors requires tools that assist human experts in a manual investigation. In this paper, we present CodeInspect, a novel reverse engineering tool for Android app that optimally supports investigators and analysts in that task.
Hypoglossal canal dural arteriovenous fistula: incidence and the relationship between symptoms and drainage pattern.

OBJECT The purpose of this study was to evaluate the incidence, radiographic findings, relationship between presenting symptoms for treatment and drainage pattern, and treatment outcomes of hypoglossal canal dural arteriovenous fistula (HC-dAVF). METHODS During a 16-year period, 238 patients underwent endovascular treatment for cranial dAVF at a single center. The incidence, radiographic findings, relationship between presenting symptoms for treatment and drainage pattern, and treatment outcomes of HC-dAVF were retrospectively evaluated. RESULTS The incidence of HC-dAVF was 4.2% (n = 10). Initial symptoms were tinnitus with headache (n = 6), tinnitus only (n = 1), ocular symptoms (n = 1), otalgia (n = 1), and congestive myelopathy (n = 1). Presenting symptoms requiring treatment included ocular symptoms (n = 4), hypoglossal nerve palsy (n = 4), aggravation of myelopathy (n = 1), and aggravation of tinnitus with headache (n = 1). While the affected HC was widened in 4 of 10 patients, hypersignal intensity on source images was conspicuous in all 7 patients who underwent MR angiography (MRA). All ocular symptoms and congestive myelopathy were associated with predominant drainage to superior ophthalmic or perimedullary veins due to antegrade drainage restriction. All patients who underwent transvenous coil embolization (n = 8) or transarterial N-butyl cyanoacrylate (NBCA) embolization (n = 1) improved without recurrence. One patient who underwent transarterial particle embolization had a recurrence 12 months posttreatment and was retreated with transvenous embolization. CONCLUSIONS The incidence of HC-dAVF was 4.2% of all cranial dAVF patients who underwent endovascular treatment. Source images of MRA helped to accurately diagnose HC-dAVF. More aggressive symptoms may develop as a result of a change in the predominant drainage route due to the development of venous stenosis or obstruction over time. Transvenous coil embolization appears to be the first treatment of choice.
Differences between Lactobacillus casei subsp. casei 2206 and Citrate-Positive Lactococcus lactis subsp. lactis 3022 in the Characteristics of Diacetyl Production

Lactobacillus casei subsp. casei 2206 exhibited much lower levels of diacetyl reductase activity than Citr+Lactococcus lactis subsp. lactis 3022 but two-, three-, and more than eightfold-higher levels of diacetyl synthase, lactate dehydrogenase, and NADH oxidase activities, respectively. A requirement for metal ions by the diacetyl synthases in both species was observed. The extracts of strain 2206 but not strain 3022 produced more diacetyl from pyruvate when the reaction for diacetyl synthase was aerated than when it was conducted statically.
Declining employment among young black less-educated men: The role of incarceration and child support

In this paper, we explore the continuing decline in employment and labor force participation of nonenrolled Black men between the ages of 16 and 34 who have a high school education or less in the 1980s and 1990s. We focus on two fairly new developments: (1) the dramatic growth in the number of young Black men who have been incarcerated and (2) strengthened enforcement of child support policies. We analyze micro-level data from the Current Population Survey Outgoing Rotation Groups (CPS-ORG), into which state-level data over time on incarceration rates and child support enforcement have been merged. Our results indicate that previous incarceration and child support enforcement can account for half or more of the decline in employment activity among Black men aged 25-34. Previous incarceration also contributes to the decline among those aged 16-24. © 2005 by the Association for Public Policy Analysis and Management
Job Guarantees for the Unemployed: Lessons from Australian Welfare Reform

High levels of long-term unemployment have undermined some of the assumptions of the post-war welfare state. In response most OECD governments are now replacing what have been characterised as passive income support payments with active benefit systems. Many have introduced new time limits to unconditional benefit entitlement in the form of job and training guarantees for those without work. This article describes how the 1993–6 Australian Labor government modernised its commitment to full employment by combining labour market programmes and social security reforms to create a Job Compact for the long-term unemployed. It analyses the achievements of the strategy and what went wrong, and it draws out lessons of relevance to the British Labour government which has committed itself to using job guarantees to build new bridges between welfare and work.
ArchPRED: a template based loop structure prediction server

ArchPRED server () implements a novel fragment-search based method for predicting loop conformations. The inputs to the server are the atomic coordinates of the query protein and the position of the loop. The algorithm selects candidate loop fragments from a regularly updated loop library (Search Space) by matching the length, the types of bracing secondary structures of the query and by satisfying the geometrical restraints imposed by the stem residues. Subsequently, candidate loops are inserted in the query protein framework where their side chains are rebuilt and their fit is assessed by the root mean square deviation (r.m.s.d.) of stem regions and by the number of rigid body clashes with the environment. In the final step remaining candidate loops are ranked by a Z-score that combines information on sequence similarity and fit of predicted and observed [ϕ/ψ] main chain dihedral angle propensities. The final loop conformation is built in the protein structure and annealed in the environment using conjugate gradient minimization. The prediction method was benchmarked on artificially prepared search datasets where all trivial sequence similarities on the SCOP superfamily level were removed. Under these conditions it was possible to predict loops of length 4, 8 and 12 with coverage of 98, 78 and 28% with at least of 0.22, 1.38 and 2.47 Å of r.m.s.d. accuracy, respectively. In a head to head comparison on loops extracted from freshly deposited new protein folds the current method outperformed in a ∼5:1 ratio an earlier developed database search method.
Transliteration by Bidirectional Statistical Machine Translation

The system presented in this paper uses phrase-based statistical machine translation (SMT) techniques to directly transliterate between all language pairs in this shared task. The technique makes no language specific assumptions, uses no dictionaries or explicit phonetic information. The translation process transforms sequences of tokens in the source language directly into to sequences of tokens in the target. All language pairs were transliterated by applying this technique in a single unified manner. The machine translation system used was a system comprised of two phrase-based SMT decoders. The first generated from the first token of the target to the last. The second system generated the target from last to first. Our results show that if only one of these decoding strategies is to be chosen, the optimal choice depends on the languages involved, and that in general a combination of the two approaches is able to outperform either approach.
MULTIWAVELENGTH OBSERVATIONS OF THE CANDIDATE DISINTEGRATING SUB-MERCURY KIC 12557548B,,

We present multiwavelength photometry, high angular resolution imaging, and radial velocities of the unique and confounding disintegrating low-mass planet candidate KIC 12557548b. Our high angular resolution imaging, which includes space-based Hubble Space Telescope Wide Field Camera 3 (HST/WFC3) observations in the optical (∼0.53 μm and ∼0.77 μm), and ground-based Keck/NIRC2 observations in K′ band (∼2.12 μm), allow us to rule out background and foreground candidates at angular separations greater than 0. ″2 that are bright enough to be responsible for the transits we associate with KIC 12557548. Our radial velocity limit from Keck/HIRES allows us to rule out bound, low-mass stellar companions (∼0.2 M☉) to KIC 12557548 on orbits less than 10 yr, as well as placing an upper limit on the mass of the candidate planet of 1.2 Jupiter masses; therefore, the combination of our radial velocities, high angular resolution imaging, and photometry are able to rule out most false positive interpretations of the transits. Our precise multiwavelength photometry includes two simultaneous detections of the transit of KIC 12557548b using Canada–France–Hawaii Telescope/Wide-field InfraRed Camera (CFHT/WIRCam) at 2.15 μm and the Kepler space telescope at 0.6 μm, as well as simultaneous null-detections of the transit by Kepler and HST/WFC3 at 1.4 μm. Our simultaneous HST/WFC3 and Kepler null-detections provide no evidence for radically different transit depths at these wavelengths. Our simultaneous CFHT/WIRCam detections in the near-infrared and with Kepler in the optical reveal very similar transit depths (the average ratio of the transit depths at ∼2.15 μm compared with ∼0.6 μm is: 1.02 ± 0.20). This suggests that if the transits we observe are due to scattering from single-size particles streaming from the planet in a comet-like tail, then the particles must be ∼0.5 μm in radius or larger, which would favor that KIC 12557548b is a sub-Mercury rather than super-Mercury mass planet.
Application of Word Alignment for Supporting Translation of Japanese Statutes into English

Recently, society has expressed increased demands for translation of Japanese statutes into foreign languages. The various motivations behind these demands include social and economic globalization and the need for technical assistance to legal reform. In this paper, we describe the problem of translating Japanese statues and show how to solve it by utilizing technologies developed for natural language processing. In particular, we show how to support both the compilation of a standard bilingual dictionary and the unification of translation equivalents of legal technical terms in compliance with the dictionary by using word alignment.
PRBAC: an extended role based access control for privacy preserving data mining

Issues about privacy-preserving data mining have emerged globally, but still the main problem is that non-sensitive information or unclassified data, one is able to infer sensitive information that is not supposed to be disclosed. This paper proposes an approach to PPDM based on an extended role based access control called privacy preserving data mining using an extended role based access control(PRBAC); Sensitive objects (SOBS) component is added to the model in order to privacy protecting during data mining. Users are allowed to access and thereby mine different sets of data according to their roles. Our proposed model can be used over the existing technologies. The paper goal is to preserve individual's privacy.
A Continuation-based Framework for Control Structures in Scheme

We develop a framework that simplies the modelling, implementation and usage of control structures in the Scheme programming language. The framework includes a visual language for modelling control structures. This language can be translated unambiguously to specications in Scheme, which can in turn be automatically processed to yield the desired control structures. The implementation of the framework is based on rst-class continuations and allows the programmer to implement his own control structures without dealing directly with continuations and their perceived complexity.
NEMOSHELL Demo: Windowing System for Concurrent Applications on Multi-user Interactive Surfaces

Recently, the prevalence of large interactive surfaces renewed interests in windowing systems because of the advantages of enabling concurrent applications. We present the NEMOSHELL windowing system for multi-user interactive surfaces. We developed the system based on the Wayland system, a replacement for the Linux X. NEMOSHELL is designed to support multiple simultaneous applications, legacy input devices, legacy applications, and dynamic user interfaces. Finally, our demonstrations illustrate the potential of our system design.
Links between Modular Decomposition of Concept Lattice and Bimodular Decomposition of a Context

This paper is a preliminary attempt to study how modular and bimodular decomposition, used in graph theory, can be used on contexts and concept lattices in formal concept analysis (FCA). In a graph, a module is a set of vertices defined in term of behaviour with respect to the outside of the module: All vertices in the module act with no distinction and can be replaced by a unique vertex, which is a representation of the module. This definition may be applied to concepts of lattices, with slighty modifications (using order relation instead of adjacency). One can note that modular decomposition is not well suited for bipar- tite graphs. For example, every bipartite graph corresponding to a clar- ified context is trivially prime (not decomposable w.r.t modules). In (4), authors have introduced a decomposition dedicaced to bipartite graph, called the bimodular decomposition. In this paper, we show how modu- lar decomposition of lattices and bimodular decomposition of contexts interact. These results may be used to improve readability of a Hasse diagram.
Query-Based Why-Not Provenance with NedExplain

With the increasing amount of available data and transformations manipulating the data, it has become essential to analyze and debug data transformations. A sub-problem of data transformation analysis is to understand why some data are not part of the result of a relational query. One possibility to explain the lack of data in a query result is to identify where in the query we lost data pertinent to the expected outcome. A first approach to this so called why-not provenance has been recently proposed, but we show that this first approach has some shortcomings. To overcome these shortcomings, we propose \ned, an algorithm to explain data missing from a query result. NedExplain computes the why-not provenance for monotone relational queries with aggregation. After providing necessary definitions, this paper contributes a detailed description of the algorithm. A comparative evaluation shows that it is both more efficient and effective than the state-of-the-art approach.
A 12-bit 200KS/s SAR ADC with a mixed switching scheme and integer-based split capacitor array

A low power successive approximation register ADC (SAR ADC) using a high performance integer-based split capacitor array combining with a mixed switching strategy is presented in this work. The split capacitor is chosen to be 2 times unit capacitance rather than the traditional non-integer value which is difficult to get. This array features high linearity, low area and power consumption. Besides, a mixed switching strategy combining the merged capacitor switching with monotonic switching is also used to save half of total capacitance. And a time domain comparator is used to achieve better offset performance. Implemented in a 0.18-μm CMOS technology, the proposed ADC is measured to have a 65.5 dB signal-to-noise-and-distortion ratios(SNDR) which leads to a 10.6 effective number of bits(ENOB) at 200KS/s sampling rate. Its power consumption is 1.49-μW and figure of merit (FOM) is only 4.87 fJ/c-s at a voltage supply of 0.9V.
Mutuality in mother–child interactions in an Antillean intervention group

This article describes a study on mutuality in mother–child interaction during reading and playing sessions. Within mother–child interaction, mutuality is seen as important in language acquisition. The study was executed within a group of Netherlands Antillean mother–child dyads who participated in an intervention programme. Mutuality was operationalised as balance in conversation, joint involvement, affection, and more practical elements such as asking questions. Twelve participants were observed at least once. In five cases, repeated measures were also collected. Group data revealed that only few differences exist between the outcomes of the reading and playing sessions. The differences that were found, concerning balance and affection, were favourable to the play situations. However, large inter- and intra-individual differences were found in all observed measures of mutuality, which suggests the importance of idiographic research methods. The practical implication is that researchers and interventionists should be sensitive to individual differences and be careful with applying group data to individuals.
Cell surface localisation and stability of uvomorulin during early mouse development

We have examined immunocytochemically the subcellular distribution of the cell adhesion molecule uvomorulin in cleavage stage mouse embryos using conventional and confocal microscopy, under a range of detergent extraction and fixation regimes. Only traces of uvomorulin were detectable on the surface of unfertilised oocytes, whereas between 6 and 11 h after activation detergent-resistant surface expression was evident. This shift correlates with previously demonstrated changes in the pattern of synthesis and accumulation of uvomorulin from precursor state in unfertilised oocytes to mature protein after fertilisation. Embryos at subsequent stages up to the 8-cell stage exhibited a uniform distribution of uvomorulin on free surfaces and its concentration in regions of contact between blastomeres. At the 8-cell stage, during compaction, there was increased intercellular adhesion with concomitant accumulation of uvomorulin at intercellular contacts, whilst free surface uvomorulin was reduced and became relatively more susceptible to detergent extraction. When compact 8-cell embryos were decompacted in calcium-free medium, uvomorulin at contacts decreased while free surface and cytoplasmic staining increased. Blastomeres disaggregated from 4- and 8-cell embryos showed traces or ‘footprints’ of anti-uvomorulin staining in regions previously in apposition. These footprints disappeared over 45–60 min, during which time uvomorulin distribution became uniform. Possible mechanisms underlying the rearrangements which take place both at fertilisation and during compaction and experimental decompaction are discussed.
A supramolecular assembly mediates lentiviral DNA integration

High-resolution insights into the intasome An essential step in the life cycle of lentiviruses such as HIV-1 is when viral DNA integrates into the host genome, establishing a permanent infection of the host cell. The viral integrase enzyme catalyzes this process and is a major drug target. During viral integration, integrase binds the ends of viral DNA, forming a higher-order structure called the intasome. Passos et al. and Ballandras-Colas et al. used cryo—electron microscopy to solve the structures of the intasomes from HIV-1 and maedi-visna virus (ovine lentivirus), respectively. These structures reveal how integrase self-associates to form a functional intasome and help resolve previous conflicting models of intasome assembly. Science, this issue p. 89, p. 93 Cryo–electron microscopy reveals how lentiviral DNA and the viral integrase assemble to promote retroviral integration into host cell DNA. Retroviral integrase (IN) functions within the intasome nucleoprotein complex to catalyze insertion of viral DNA into cellular chromatin. Using cryo–electron microscopy, we now visualize the functional maedi-visna lentivirus intasome at 4.9 angstrom resolution. The intasome comprises a homo-hexadecamer of IN with a tetramer-of-tetramers architecture featuring eight structurally distinct types of IN protomers supporting two catalytically competent subunits. The conserved intasomal core, previously observed in simpler retroviral systems, is formed between two IN tetramers, with a pair of C-terminal domains from flanking tetramers completing the synaptic interface. Our results explain how HIV-1 IN, which self-associates into higher-order multimers, can form a functional intasome, reconcile the bulk of early HIV-1 IN biochemical and structural data, and provide a lentiviral platform for design of HIV-1 IN inhibitors.
RECURRENCE OF ATTACKS IN MANIC-DEPRESSIVE PSYCHOSES

In making statistical studies involving the life cycle of patients the lack of complete data becomes a serious handicap. In the statistical files of the New York State Department of Mental Hygiene there are important facts concerning the hospital life of our patients but nothing at all relative to their life outside of the hospital after discharge, unless, perchance, they return for further treatment. In studying manic-depressive psychoses, especially, we feel the need of more complete data relative to the patients that recover from the first attack and do n I reappear on the hospital records. The brief study of the recurrence of attacks in manic-depressive psychoses presented herewith was made from the file of statistical cards of the department covering the period from October i, i9o9, to June 30, 1920. The manic-depressive file contains in order of identification number the first admission cards of all patients of this group admitted to the civil state hospitals during such period, together with the subsequent discharge, readmission and death cards relating to the same patients. All cards referring to the same patient are brought together in the file. The cards for the years mentioned give a statistical record of over 8ooo manic-depressive cases. The purpose of the study is to throw light on the prognosis of manic-depressive psychoses by answering as definitely as possible the following questions: i. To what extent do recurrent attacks occur in this form of mental disease? 2. To what extent does the recurrence of attacks differ in the several types? 3. How does the recurrence of attacks differ in the various age groups of first admissions?