Miracle-dz/UniFAR-FTUs huggingface dataset:
A Meta-Model for Automated Enterprise Architecture Model Maintenance

Maintaining a high quality enterprise architecture (EA) model that is up-to-date and consistent is a difficult but crucial task. The reasons for this difficulty are the size and complexity of EA models, frequent changes in the architecture and the challenge of collecting EA data from different stakeholders in large organizations. In our research project Living IT-Landscape Models we are working towards a tighter synchronization between EA models and what they represent in the real world, thus increasing the model actuality and consistency. With our previous work we have established semi-automated processes for EA data collection and quality assurance. To support these processes an implementing EAM tool needs to be able work with contextual information that is not typically stored alongside the EA models. In the paper at hand we describe a meta-model that incorporates the required context information and can form the basis for EAM tools that support i) recurring data collection from data sources, ii) maintaining relations from imported elements to their sources, iii) storing actuality related characteristics for triggering updates, and iv) identifying properties used to avoid duplicate entries. Related work has acknowledged the relevance of the problem, however no comprehensive approaches to for automating EA model maintenance have been presented yet.
Financial Globalization , Inequality , and the Rising of Public Debt ∗

During the last three decades, the stock of government debt has increased in most developed countries. During the same period, we also observe a significant liberalization of international financial markets and an increase in income inequality in several industrialized countries. In this paper we propose a multicountry political economy model with incomplete markets and endogenous government borrowing and show that governments choose higher levels of public debt when financial markets become internationally integrated and inequality increases. We also conduct an empirical analysis using OECD data and find that the predictions of the theoretical model are supported by the empirical results.
Nonrepetitive Sequences on Arithmetic Progressions

A sequence $S=s_{1}s_{2}. _{n}$ is \emph{nonrepetitive} if no two adjacent blocks of $S$ are identical. In 1906 Thue proved that there exist arbitrarily long nonrepetitive sequences over 3-element set of symbols. We study a generalization of nonrepetitive sequences involving arithmetic progressions. We prove that for every $k\geqslant 1$ and every $c\geqslant 1$ there exist arbitrarily long sequences over at most $(1+\frac{1}{c})k+18k^{c/c+1}$ symbols whose subsequences indexed by arithmetic progressions with common differences from the set $\{1,2,. ,k\}$ are nonrepetitive. This improves a previous bound obtained in \cite{Grytczuk Rainbow}. Our approach is based on a technique introduced recently in \cite{GrytczukKozikMicek}, which was originally inspired by a constructive proof of the Lov\'{a}sz Local Lemma due to Moser and Tardos \cite{MoserTardos}. We also discuss some related problems that can be successfully attacked by this method.
Children of Incarcerated Parents: A Handbook for Researchers and Practitioners

For the nearly 2 million children in the United States whose parents are in prison, caretaking necessary for optimal development is disrupted. These vulnerable youth? a population that has shot up 80 percent in the last 20 years? are more likely to experience learning difficulties, poor health, and substance abuse, and eventually be incarcerated themselves. Addressing the needs of children with imprisoned parents is urgent from corrections, child welfare, health care, and education perspectives. Children of Incarcerated Parents integrates a diverse literature, pulling together rigorous scholarship from criminology, sociology, law, psychiatry, social work, nursing, psychology, human development, and family studies. Researchers, practitioners, and policymakers will find in this volume here new directions for research and policies that will improve these children's life chances.
A Novel Trust Model Based on Final Price for Online Reputation System

Lack of trust has been identified as a major obstacle to the growth of the Internet and e-commerce. Over the Internet, online reputation system is emerging as a promising approach for helping to build trust through social control and inducing cooperation in online trading environments. We prove that the existing trust models for online reputation system overlook the final price factor and can't provide sustained incentives for seller to behave honestly over time. To address this problem, a novel trust model based on final price is proposed. The simulation results show that compared with the existing models, our model performs more robust and effective
A Novel Substance Purified from Perilla Frutescens Britton Inhibits an Early Stage of HIV-1 Replication without Blocking Viral Adsorption

Pf-gp6, a 6 kDa anti-degranulation glycoprotein purified from the extract of Perilla frutescens, was examined for its antiviral activity against HIV-1 and HIV-2 in vitro. HIV-1-induced cytopathic effect and proviral DNA synthesis were inhibited in the presence of Pf-gp6. The 50% inhibitory concentrations of Pf-gp6 for various HIV-1 strains, including clinical isolates and CCR5-using (R5) HIV-1, ranged between 1.3 and 71.0 μg/ml, depending on the combination of viral strain and host cell. Furthermore, Pf-gp6 did not directly inactivate infectious viral particles. A time-of-addition experiment revealed that Pf-gp6 lost its activity before zidovudine but after the CXCR-4 antagonist AMD3100 during the early stage of viral infection. Although the pinpoint target of Pf-gp6 remains to be elucidated, it may interfere with a step between viral entry and reverse transcription.
Switching to fast growth: the insulin-like growth factor (IGF) system in skeletal muscle of Atlantic salmon

SUMMARY In this study we describe the complete coding sequence for insulin-like growth factor I (IGF-I), insulin-like growth factor II (IGF-II), insulin-like growth factor binding protein (IGFBP) 1, 2, 4, 5 and 6 and IGFBP-related protein 1 (IGFBP-rP1) of Atlantic salmon (Salmo salar L.). We also report the characterisation of two gene paralogues of IGFBP-2 and IGFBP-5. Following 22 days restricted feeding (0 d) to achieve zero growth, fish were fed to satiation and sampled at 3, 5, 7, 14, 30 and 60 days. Expression profiles for genes involved in the IGF signalling pathway in fast myotomal muscle were determined using real-time quantitative RT-PCR. The transition from zero to fast growth is characterised by constitutive upregulation of IGF-I and IGFBP-4, a transient increase in IGFBP-5.2, and downregulation of IGFBP-2.1, IGF-II, IGF2R (IGF-II receptor) and IGFR1a (IGF-I receptor a). Expression of IGFBP-2.2, IGFBP-5.1, IGFBP-6, IGFBP-rP1 and IGFR1b showed little or no response to feeding. Expression of the myogenic marker genes myogenin, MHC and MLC2 were higher with feed restriction, and decreased as an early response to feeding, before increasing to a peak at 14 days, corresponding with a peak in IGF-I expression. IGFBP-4, which contains a putative connective tissue localisation signal, was the only IGFBP constitutively upregulated following feeding, and was positively correlated with IGF-I expression. Together, these data show that switching to fast growth in Atlantic salmon skeletal muscle involves the local upregulation of IGF-I, IGFBP-5.2 and IGFBP-4, with downregulation of IGFBP-2.1.
School Consolidation and Student Achievement

What is the effect of school consolidation on student achievement? Theory gives little guidance because possibly positive effects from larger school size can be offset by negative effects from reduced choice and competition. We investigate these issues empirically by analyzing the effects on students’ achievement of a consolidation reform that took place in Dutch primary education in the mid-1990s. The reform was implemented by increasing the minimum required school size, leading to an increase in actual school size and a reduction in the number of schools. For identification, we exploit variation between municipalities. We find that an increase in the minimum required school size of 10% has a small positive effect on student achievement of 0.72% of a standard deviation. Further analysis indicates that this effect can be mainly attributed to the increase in actual school size; reduced competition and choice do not seem to have harmed student achievement. We also find no evidence that the consolidation effect is driven by reduced school segregation or the elimination of small schools that were—given their size—underperforming (JEL I21, I22, H75, D40).
Information and closure in systems theory

The notion of closure plays a prominent role in systems theory where it is used to identify or deﬁne the system in distinction from its environment and to explain the autonomy of the system. Here, we present a quantitative measure, as opposed to the already existing qualitative notions, of closure. We shall elaborate upon the observation that cognitive systems can achieve informational closure by modeling their environment. Formally, then, a system is informationally closed if (almost) no information ﬂows into it from the environment. A system that is independent from its environment trivially achieves informational closure. Simulations of coupled hidden Markov models demonstrate that informational closure can also be realized non-trivially by modeling or controlling the environment. Our analysis of systems that actively inﬂuence their environment to achieve closure then reveals interesting connections to the related notion of autonomy. This discussion will then call into question the system-environment distinction that seems so innocent to begin with. It turns out that the notion of autonomy depends crucially on whether, not just the state observables, but also the dynamical processes are attributed to either the system or the environment. In that manner, our conceptualization of informational closure also sheds light on other, more ambitious notions of closure, e.g. organizational closure, semantic closure, closure to eﬃcient cause or operational closure, intended as a fundamental (deﬁning) concept of life itself.
Access Paths for Data Mining Query Optimizer

Data mining research has developed many pattern discovery algorithms dedicated to specific data and pattern characteristics. We argue that a user should not be responsible for choosing the most efficient algorithm to solve a particular data mining problem. Instead, a data mining query optimizer should follow the cost-based optimization techniques to select an appropriate algorithm to solve the user's problem. In this paper we discuss the process of data mining query optimization and we extend the list of choices the optimizer can make.
Large Molecule Therapeutics Sym 004 , a Novel Anti-EGFR Antibody Mixture , Augments Radiation Response in Human Lung and Head and Neck Cancers

Sym004 represents a novel EGF receptor (EGFR)-targeting approach comprising amixture of two anti-EGFR antibodies directed against distinct epitopes of EGFR. In contrast with single anti-EGFR antibodies, Sym004 induces rapid and highly efficient degradation of EGFR. In the current study, we examine the capacity of Sym004 to augment radiation response in lung cancer and head and neck cancer model systems. We first examined the antiproliferative effect of Sym004 and confirmed 40% to 60%growth inhibition by Sym004.Using clonogenic survival analysis, we identified that Sym004 potently increased cell kill by up to 10-fold following radiation exposure. A significant increase of gH2AX foci resulting from DNA double-strand breaks was observed in Sym004-treated cells following exposure to radiation. Mechanistic studies further showed that Sym004 enhanced radiation response via induction of cell-cycle arrest followed by induction of apoptosis and cell death, reflecting inhibitory effects on DNA damage repair. The expression of several critical molecules involved in radiation-inducedDNAdamage repair was significantly inhibited by Sym004, includingDNAPK, NBS1, RAD50, and BRCA1. Using single and fractionated radiation in human tumor xenograft models, we confirmed that the combination of Sym004 and radiation resulted in significant tumor regrowth delay and superior antitumor effects comparedwith treatmentwith Sym004or radiation alone.Taken together, thesedata reveal the strong capacity of Sym004 to augment radiation response in lung and head and neck cancers. The unique action mechanism of Sym004 warrants further investigation as a promising EGFR targeting agent combined with radiotherapy in cancer therapy. Mol Cancer Ther; 12(12); 2772–81. 2013 AACR.
Sable Research Group Speculative Multithreading in a Java Virtual Machine Sable Technical Report No . 2005-1

Speculative multithreading (SpMT) is a dynamic program par allelisation technique that promises dramatic speedup of irregular, pointer-based programs as w ell as numerical, loop-based programs. We present the design and implementation of software-only SpM T for Java at the virtual machine level. We take the full Java language into account and we are able to r un and analyse real world benchmarks in reasonable execution times on commodity multiprocessor hardware. We provide an experimental analysis of benchmark behaviour, uncovered parallelism, t he impact of return value prediction, processor scalability, and a breakdown of overhead costs.
Stress concentrations for straight-shank and countersunk holes in plates subjected to tension, bending, and pin loading

A three dimensional stress concentration analysis was conducted on straight shank and countersunk (rivet) holes in a large plate subjected to various loading conditions. Three dimensional finite element analysis were performed with 20 node isoparametric elements. The plate material was assumed to be linear elastic and isotropic, with a Poisson ratio of 0.3. Stress concentration along the bore of the hole were computed for several ratios of hole radius to plate thickness (0.1 to 2.5) and ratios of countersink depth to plate thickness (0.25 to 1). The countersink angles were varied from 80 to 100 degrees in some typical cases, but the angle was held constant at 100 degrees for most cases. For straight shank holes, three types of loading were considered: remote tension, remote bending, and wedge loading in the hole. Results for remote tension and wedge loading were used to estimate stress concentration for simulated rivet in pin loading. For countersunk holes only remote tension and bending were considered. Based on the finite element results, stress concentration equations were developed. Whenever possible, the present results were compared with other numerical solutions and experimental results from the literature.
Linearity test of high-speed high-performance ADCs using a self-testable on-chip generator

This paper presents a self-testable BIST application for non-linearity test in high-speed high-performance ADCs in nanometric CMOS technologies. The technique makes use of an on-chip low-frequency signal generator optimized toward high accuracy, followed by a dedicated buffer based on a resistive feedback amplifier. This buffer has two main features: it isolates the on-chip generator output from the high-frequency switching noise at the input sampling of the ADC under test, and it allows a robust injection of a controlled offset to apply double-histogram techniques for linearity evaluation. This approach results in a true self-testable BIST strategy making feasible the simultaneous estimation of the non-linearity for both the generator and the ADCUT. In order to verify the feasibility and performance of the proposed circuitry, a practical design in a 1.8V 0. 18μm CMOS process is presented here as demonstrator. Transistor-level simulation results with a 2Vpp sinusoidal test-stimulus show an effective resolution in static conditions greater than 15 bits, being a suitable solution for the ADC static test with effective resolutions in the order of 13 bits and 100Msps of sampling frequency.
Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths

Detection of infeasible paths is required in many areas including test coverage analysis, test case generation, security vulnerability analysis, etc. Existing approaches typically use static analysis coupled with symbolic evaluation, heuristics, or path-pattern analysis. This paper is related to these approaches but with a different objective. It is to analyze code of real systems to build patterns of unsatisfiable constraints in infeasible paths. The resulting patterns can be used to detect infeasible paths without the use of constraint solver and evaluation of function calls involved, thus improving scalability. The patterns can be built gradually. Evaluation of the proposed approach shows promising results.
Developing a university contribution to teacher education: creating an analytical space for learning narratives

Abstract What might a distinct university contribution to teacher education look like? This paper tracks a group of prospective teachers making the transition from undergraduate to teacher on a one-year school-based postgraduate course. The study employs a practitioner research methodological framework where teacher learning is understood as a process of developing and evaluating self-representations. Students persistently revised a story of ‘Who I am becoming’, referenced to evolving notions of pedagogic subject knowledge. University sessions provided a platform for students to share and discuss their experiences in schools and reflect upon the research process as it occurred. Our findings suggest this approach enables student teachers to account for their learning in more nuanced and sophisticated ways where time for university-based reflection is restricted. The theoretical perspective draws on the psychoanalytic theory of Jacques Lacan. Subjectivity is conceptualized not as fixed but persistently re-produced in an increasingly analytical developmental perspective. Data comprise reflective and analytical material produced by students at successive stages of the course, where this material provides temporal reference points for them in tracking and asserting their own development. The paper provides a methodological framework for teacher education informed by critically reflective constructions of the process through which individuals become teachers.
Dataflow programming of real-time radar signal processing on manycores

Real-time performance is critical for the successful realization of next generation radar systems. Among these are advanced Active Electronically Scanned Array (AESA) radars in which complex calculations are to be performed on huge sets of data in real-time. Manycore architectures are designed to provide flexibility and high performance essential for such streaming applications. This paper deals with the implementation of compute-intensive parts of AESA radar signal processing chain in a high-level dataflow language; CAL. We evaluate the approach by targeting a commercial manycore architecture, Epiphany, and present our preliminary findings in terms of performance and productivity gains achieved in this case study.
Knowledge development and evaluation in, of and for Healthy Community initiatives. Part I: guiding principles

SUMMARY With over 375 participating communities worldwide, well-established networks in many parts of Europe, North America and Australia, and with initiatives in many developing countries, the Healthy Cities movement is widespread and, in many jurisdictions, continuing to expand. As the movement matures, interest in the evaluation of its successes and potential limitations has grown. But as yet there has been little systematic assessment of evaluation strategies for Healthy Communities (HC). In this paper, a number of principles are advanced as being fundamental underpinnings for knowledge development and evaluation in, of and for HC initiatives. It is argued that a participatory action research approach is called for, but also one that includes a critical social science perspective on health, as part of attempts at the local level to define appropriate conceptual models of HC practice from which to ground knowledge development and evaluation efforts. It is argued that one should pay close attention to the theoretical, ethical and political issues that attend the evaluation of HC initiatives, since 'evaluation' has become a politically and ideologically charged issue. In a subsequent paper (Part II, to be published in Vol. 11, No. 4), a number of substantive foci are reviewed as potential bases for evaluation within the parameters of the principles and methodology described in Part I.
Exponential Synchronization of Memristive Neural Networks With Delays: Interval Matrix Method

This paper considers the global exponential synchronization of drive-response memristive neural networks (MNNs) with heterogeneous time-varying delays. Because the parameters of MNNs are state-dependent, the MNNs may exhibit unexpected parameter mismatch when different initial conditions are chosen. Therefore, traditional robust control scheme cannot guarantee the synchronization of MNNs. Under the framework of Filippov solution, the drive and response MNNs are first transformed into systems with interval parameters. Then suitable controllers are designed to overcome the problem of mismatched parameters and synchronize the coupled MNNs. Based on some novel Lyapunov functionals and interval matrix inequalities, several sufficient conditions are derived to guarantee the exponential synchronization. Moreover, adaptive control is also investigated for the exponential synchronization. Numerical simulations are provided to illustrate the effectiveness of the theoretical analysis.
Audio-to-Visual Speech Conversion Using Deep Neural Networks

We study the problem of mapping from acoustic to visual speech with the goal of generating accurate, perceptually natural speech animation automatically from an audio speech signal. We present a sliding window deep neural network that learns a mapping from a window of acoustic features to a window of visual features from a large audio-visual speech dataset. Overlapping visual predictions are averaged to generate continuous, smoothly varying speech animation. We outperform a baseline HMM inversion approach in both objective and subjective evaluations and perform a thorough analysis of our results.
Genetic transformation of putative cariogenic properties in Streptococcus mutans

Rough colonial morphology and bacteriocin production, two properties which may be associated with the cariogenicity of Streptococcus mutans, were transformed into several strain GS-5 mutants defective in each respective property. Transformation was determined by observing the frequency of cotransfer of these properties with different reference markers. The rough colonial transformants were identical to the parental GS-5 strain with respect to ability to synthesize water-insoluble glucans and undergo in vitro sucrose-dependent colonization of glass surfaces. Alterations in the growth medium and the concentration of the initial cell inoculum resulted in an approximate 10-fold increase in the frequency of transformation of strain GS-5 compared to previous observations.