Miracle-dz/UniFAR-FTUs huggingface dataset:
ON THE POWER OF LANGUAGES FOR THEMANIPULATION OF COMPLEX OBJECTS

Various models and languages for describing and manipulating hierarchically structured data have been proposed. Algebraic, calculus-based and logic-programming oriented languages have all been considered. This paper presents a general model for complex objects, and languages for it based on the three paradigms. The algebraic language generalizes those presented in the literature; it is shown to be related to the functional style of programming advocated by Backus. The notion of domain independence familiar from relational databases is deened, and syntactic restrictions (referred to as safety conditions) on calculus queries are formulated, that guarantee domain independence. The main results are: The domain-independent calculus, the safe calculus, the algebra, and the logic-programming oriented language have equivalent expressive power. In particular, recursive queries, such as the transitive closure, can be expressed in each of the languages. For this result, the algebra needs the powerset operation. A more restricted version of safety is presented, such that the restricted safe calculus is equivalent to the algebra without the powerset. The results are extended to the case where arbitrary functions and predicates are used in the languages.
Lesion mapping of cognitive control and value-based decision making in the prefrontal cortex

A considerable body of previous research on the prefrontal cortex (PFC) has helped characterize the regional specificity of various cognitive functions, such as cognitive control and decision making. Here we provide definitive findings on this topic, using a neuropsychological approach that takes advantage of a unique dataset accrued over several decades. We applied voxel-based lesion-symptom mapping in 344 individuals with focal lesions (165 involving the PFC) who had been tested on a comprehensive battery of neuropsychological tasks. Two distinct functional-anatomical networks were revealed within the PFC: one associated with cognitive control (response inhibition, conflict monitoring, and switching), which included the dorsolateral prefrontal cortex and anterior cingulate cortex and a second associated with value-based decision-making, which included the orbitofrontal, ventromedial, and frontopolar cortex. Furthermore, cognitive control tasks shared a common performance factor related to set shifting that was linked to the rostral anterior cingulate cortex. By contrast, regions in the ventral PFC were required for decision-making. These findings provide detailed causal evidence for a remarkable functional-anatomical specificity in the human PFC.
A prospective study to assess the clinical impact of interobserver reliability of sonographic measurements of fetal nuchal translucency and crown-rump length on combined first-trimester screening

OBJECTIVE: To examine the interobserver variability for fetal biometric parameters and to focus on how this variability affects the combined first-trimester screening test results. METHODS: Sixty-four singleton pregnancies who were scheduled for combined first-trimester screening were investigated. Two experienced sonographers performed all examinations at the same visit. The risk calculations of screening were performed according to the each operator’s individual ultrasonographic fetal measurements. Interobserver variability in measurements of fetal nuchal translucency (NT) and crown-rump length (CRL) and the effect of this interobserver variability on the screening results were assessed. RESULTS: Interobserver reliabilities for NT and CRL were 0.687 and 0.945 (p<0.001), respectively. Interobserver reliability coefficients for trisomy 21 and trisomy 13/18 were 0.945 and 0.963 (p<0.001), respectively. CONCLUSION: Our study demonstrated quite high interobserver reliability for CRL measurement, while interobserver agreement for NT was lower. Despite this lower reliability and agreement for NT measurement, interobserver reliability for chromosomal abnormalities was quite high.
Measurement of the Branching Fractions of Bbar -> D** l^- nubar_l Decays in Events Tagged by a Fully Reconstructed B Meson

We report a measurement of the branching fractions of {bar B} {yields} D** {ell}{sup -}{bar {nu}}{sub {ell}} decays based on 417 fb{sup -1} of data collected at the {Upsilon}(4S) resonance with the BABAR detector at the PEP-II e{sup +}e{sup -} storage rings. Events are selected by fully reconstructing one of the B mesons in a hadronic decay mode. A fit to the invariant mass differences m(D{sup (*)})-m(D{sup (*)}) is performed to extract the signal yields of the different D** states. We observe the {bar B} {yields} D**{ell}{sup -}{bar {nu}}{sub {ell}} decay modes corresponding to the four D** states predicted by Heavy Quark Symmetry with a significance greater than six standard deviations including systematic uncertainties.
Depression-Related Brain Connectivity Analyzed by EEG Event-Related Phase Synchrony Measure

This study is to examine changes of functional connectivity in patients with depressive disorder using synchronous brain activity. Event-related potentials (ERPs) were acquired during a visual oddball task in 14 patients with depressive disorder and 19 healthy controls. Electroencephalogram (EEG) recordings were analyzed using event-related phase coherence (ERPCOH) to obtain the functional network. Alteration of the phase synchronization index (PSI) of the functional network was investigated. Patients with depression showed a decreased number of significant electrode pairs in delta phase synchronization, and an increased number of significant electrode pairs in theta, alpha and beta phase synchronization, compared with controls. Patients with depression showed lower target-dependent PSI increment in the frontal-parietal/temporal/occipital electrode pairs in delta-phase synchronization than healthy participants. However, patients with depression showed higher target-dependent PSI increments in theta band in the prefrontal/frontal and frontal-temporal electrode pairs, higher PSI increments in alpha band in the prefrontal pairs and higher increments of beta PSI in the central and right frontal-parietal pairs than controls. It implied that the decrease in delta PSI activity in major depression may indicate impairment of the connection between the frontal and parietal/temporal/occipital regions. The increase in theta, alpha and beta PSI in the frontal/prefrontal sites might reflect the compensatory mechanism to maintain normal cognitive performance. These findings may provide a foundation for a new approach to evaluate the effectiveness of therapeutic strategies for depression.
AXIOMS FOR HIGHER TORSION INVARIANTS OF SMOOTH BUNDLES

We explain the relationship between various characteristic classes for smooth manifold bundles known as “higher torsion” classes. We isolate two fundamental properties that these cohomology classes may or may not have: additivity and transfer. We show that higher Franz-Reidemeister torsion and higher Miller-Morita-Mumford classes satisfy these axioms. Conversely, any characteristic class of smooth bundles satisfying the two axioms must be a linear combination of these two examples. We also show how higher torsion invariants can be computed using only the axioms. Finally, we explain the conjectured formula of S. Goette relating higher analytic torsion classes and higher Franz-Reidemeister torsion.
Provided for Non-commercial Research and Educational Use Only. Not for Reproduction or Distribution or Commercial Use Turing Test

commercial research and educational use including without limitation use in instruction at your institution, sending it to specific colleagues who you know, and providing a copy to your institution's administrator. All other uses, reproduction and distribution, including without limitation commercial reprints, selling or licensing copies or access, or posting on open internet sites, your personal or institution's website or repository, are prohibited. For exceptions, permission may be sought for such use through Elsevier's permissions site at: announcing the German creativity of sign (Tetens's Bildendes Dichtungs-vermö gen), Turgot invented and spontaneously articulated several features of a change leading to romanticism. Bibliography Droixhe D (1979). 'Un plan inédit de Turgot pour un discours sur l'origine, la formation et le mélange des langues. ' Marche romane 29, 207–222. Droixhe D (1987). 'Turgot: L'e ´conomie du langage poétique. ' In De l'origine du langage aux langues du monde. Tü bingen: Narr. Droixhe D (1988). 'Turgot, commercio e filiazione. ' In Formigari L & Lo Piparo F (eds.) Prospettive di storia della linguistica. Rome: Ed. Riuniti. Droixhe D (1989). 'Le primitivisme linguistique de Turgot. ' In Primitivisme et mythe des origines. Paris: Presses de l'Université de Paris-Sorbonne. Hassler G (1976). 'Ansatze zur Diskussion um ein spra-chliches Relativitätsprinzip in der Auseinandersetzung Turgots mit Maupertuis. 'Turgot's Etymologie and modern linguistics . ' In Buzzetti D & Ferriani M (eds.) Speculative grammar, universal grammar and philosophical analysis of language. Amsterdam: Benjamins. Swiggers P (1990). 'Le fondement cognitif et sémantique de l'e ´tymologie chez Turgot. ' Cahiers Ferdinand de Saussure 43, 79–89.
An Exploratory Study of the Impact of Antipatterns on Software Changeability

Antipatterns are poor design choices that make object-oriented systems hard to maintain by developers. In this study, we investigate if classes that participate in antipatterns are more change-prone than classes that do not. Specifically, we test the general hypothesis: classes belonging to antipatterns are not more likely than other classes to undergo changes, to be impacted when fixing issues posted in issuetracking systems, and in particular to unhandled exceptions-related issues—a crucial problem for any software system. We detect 11 antipatterns in 13 releases of Eclipse and study the relations between classes involved in these antipatterns and classes change-, issue-, and unhandled exception-proneness. We show that, in almost all releases of Eclipse, classes with antipatterns are more change-, issue-, and unhandled-exception-prone than others. These results justify previous work on the specification and detection of antipatterns and could help focusing quality assurance and testing activities.
The Effect of Using Communicative Language Teaching on Developing English Speaking and Listening Skills of Iranian Secondary School Students

This study attempts to measure the effect of the implementation of the communicative approach (CA) on the speaking and listening skills of Iranian third year secondary students. In order to address this issue, a quantitative study was conducted on two randomly selected intact classes at renowned Bentolhoda Secondary School. These two classes were assigned as experimental group (20 students) and control group (20 students). Various communicative activities were used with the experimental group while the control group was exposed to traditional, non-communicative, instruction using structurally based methods, such as the audio-lingual method. A pre-test was administered to both groups at the beginning of the experiment to ensure that they had the same language background. At the end of the experiment, a post-test was assigned to both groups to determine whether the CA had positively affected the students' speaking abilities. The experiment lasted approximately four weeks of the second term of 2016. A final self-report questionnaire invited participants to evaluate their views (positive or negative) regarding CLT. The form designed by the researcher consists of 16 items in the students' opinion. The students have to rate each item according to their opinions.
Coordinated control of self-renewal and differentiation of neural stem cells by Myc and the p19ARF–p53 pathway

The modes of proliferation and differentiation of neural stem cells (NSCs) are coordinately controlled during development, but the underlying mechanisms remain largely unknown. In this study, we show that the protooncoprotein Myc and the tumor suppressor p19ARF regulate both NSC self-renewal and their neuronal and glial fate in a developmental stage–dependent manner. Early-stage NSCs have low p19ARF expression and retain a high self-renewal and neurogenic capacity, whereas late-stage NSCs with higher p19ARF expression possess a lower self-renewal capacity and predominantly generate glia. Overexpression of Myc or inactivation of p19ARF reverts the properties of late-stage NSCs to those of early-stage cells. Conversely, inactivation of Myc or forced p19ARF expression attenuates self-renewal and induces precocious gliogenesis through modulation of the responsiveness to gliogenic signals. These actions of p19ARF in NSCs are mainly mediated by p53. We propose that opposing actions of Myc and the p19ARF–p53 pathway have important functions in coordinated developmental control of self-renewal and cell fate choices in NSCs.
QoS4WSC: A Framework for Web Services Composition based on QoS constraints

Web Services Composition (WSC) is a paradigm for enabling application integration within and across organi- zational boundaries. Nowadays, the main challenges of WSC in environment like Internet are to ensure high quality execution. Former works on service composition have enabled the elabora- tion of the BPEL4WS standard. Nevertheless, the management of the Quality of Service (QoS) of service composition, generally defined in Service Level Agreement (SLA), was not taken into account. Therefore, it is mandatory to built flexible solutions, reusable, and offering a suitable level of abstraction. We propose a new framework, called QoS4WSC, that evaluates constraints-based response time in WSC. In order to provide a model which can estimate the effective response time of a service composition, we use a parsing file composition technique. Since elementary web services are based on a best effort approach, we propose an architecture which takes into account the response time of a each given service. Our architecture is composed by two components. The first one pre-determines the response time of elementary web services and the second one verifies the QoS constraints related to the WSC.
Differential Role of “Signal 3” Inflammatory Cytokines in Regulating CD8 T Cell Expansion and Differentiation in vivo

Following an infection, naïve CD8 T cells are stimulated by dendritic cells (DC) displaying pathogen-derived peptides on MHC class I molecules (signal 1) and costimulatory molecules (signal 2). Additionally, pathogen-induced inflammatory cytokines also act directly on the responding CD8 T cells to regulate their expansion and differentiation. In particular, both type I interferons (IFNs) and IL-12 have been described as critical survival signals (signal 3) for optimal CD8 T cell accumulation during the expansion phase. Furthermore, expansion in numbers of antigen-specific CD8 T cells is coupled with their acquisition of effector functions to combat the infection. However, it still remains unclear whether these same cytokines also regulate the effector/memory differentiation program of the CD8 T cell response in vivo. Here, we demonstrate that defective signaling by either type I IFNs or IL-12 to the responding CD8 T cells impairs maximal expansion in response to DC immunization + CpG ODN, but neither of these cytokines is essential to regulate the effector/memory differentiation program. In addition, lack of direct IL-12 signaling to CD8 T cells accelerates the development of central memory phenotype in both primary and secondary antigen-specific memory CD8 T cells.
Mountain building in Taiwan: A thermokinematic model

The Taiwan mountain belt is classically viewed as a case example of a critical wedge growing essentially by frontal accretion and therefore submitted to distributed shortening. However, a number of observations call for a significant contribution of underplating to the growth of the orogenic wedge. We propose here a new thermokinematic model of the Taiwan mountain belt reconciling existing kinematic, thermometric and thermochronological constraints. In this model, shortening across the orogen is absorbed by slip on the most frontal faults of the foothills. Crustal thickening and exhumation are sustained by underplating beneath the easternmost portion of the wedge (Tananao Complex, TC), where the uplift rate is estimated to ~6.3 mm a^(−1), and beneath the westernmost internal region of the orogen (Hsueshan Range units, HR), where the uplift rate is estimated to ~4.2 mm a^(−1). Our model suggests that the TC units experienced a synchronous evolution along strike despite the southward propagation of the collision. It also indicates that they have reached a steady state in terms of cooling ages but not in terms of peak metamorphic temperatures. Exhumation of the HR units increases northward but has not yet reached an exhumational steady state. Presently, frontal accretion accounts for less than ~10% of the incoming flux of material into the orogen, although there is indication that it was contributing substantially more (~80%) before 4 Ma. The incoming flux of material accreted beneath the TC significantly increased 1.5 Ma ago. Our results also suggest that the flux of material accreted to the orogen corresponds to the top ~7 km of the upper crust of the underthrust Chinese margin. This indicates that a significant amount (~76%) of the underthrust material has been subducted into the mantle, probably because of the increase in density associated with metamorphism. We also show that the density distribution resulting from metamorphism within the orogenic wedge explains well the topography and the gravity field. By combining available geological data on the thermal and kinematic evolution of the wedge, our study sheds new light onto mountain building processes in Taiwan and allows for reappraising the initial structural architecture of the passive margin.
DAG-width: connectivity measure for directed graphs

Tree-width is a very useful connectivity measure for undirected graphs. We propose a new definition, called DAG-width, for directed graphs which measures how close a graph is to a directed acyclic graph. In addition we define a cops-and-robber game and show that this game characterises exactly the class of graphs of bounded DAG-width. A comparison of DAG-width with tree-width and directed tree-width follows. Finally we show that NP-complete problems can be solved in polynomial time on graphs of bounded DAG-width.
Subthreshold-swing physics of tunnel field-effect transistors

Band-to-band tunnel field-effect-transistors (TFETs) are considered a possible replacement for the conventional metal-oxide-semiconductor field-effect transistors due to their ability to achieve subthreshold swing (SS) below 60 mV/decade. This letter reports a comprehensive study of the SS of TFETs by examining the effects of electrostatics and material parameters of TFETs on their SS through a physics based analytical model. Based on the analysis, an intrinsic SS degradation effect in TFETs is uncovered. Meanwhile, it is also shown that designing a strong onset condition, quantified by an introduced concept - “onset strength”, for TFETs can effectively overcome this degradation at the onset stage, and thereby achieve ultra-sharp switching characteristics. The uncovered physics provides theoretical support to recent experimental results, and forward looking insight into more advanced TFET design.
Merging of Globular Clusters in Inner Galactic Regions. II. Nuclear Star Cluster Formation

In this series of papers, we present the results of detailed N-body simulations of the interaction of a sample of four massive globular clusters in the inner region of a triaxial galaxy for two different sets of initial conditions that correspond to different initial density concentrations. A full merging of the clusters takes place, leading to a slowly evolving cluster that is quite similar to observed nuclear clusters. Actually, both the density and the velocity dispersion profiles match qualitatively, and also quantitatively after scaling to a larger number of merger globulars, with the observed features of many nucleated galaxies. In the case of dense initial clusters, the merger remnant shows a density profile more concentrated than that of the progenitors, with a central density higher than the sum of the progenitors' central densities and an effective radius compatible with observed nuclear values. These findings support the idea that a massive nuclear cluster may have formed in the early phases of the mother galaxy's evolution and led to the formation of a nucleus, which in many galaxies has a luminosity profile similar to that of an extended King model. A correlation with galactic nuclear activity is suggested.
Diet and cancer: assessing the risk

Globally, colorectal cancer (CRC) is a leading cause of mortality from malignant disease. Case–control and cohort studies provide strong support for a role of diet in the aetiology of CRC. However to establish causal relationships and to identify more precisely the dietary components involved, intervention studies in human subjects are required. Cancer is an impractical endpoint in terms of numbers, cost, study duration and ethical considerations. Consequently, intermediate biomarkers of the disease are required. This review aims to provide an overview of the intermediate endpoints available for the study of CRC, particularly non-invasive faecal biomarkers. Examples of their use in dietary intervention studies are given.
Comments on Baryon-like Operators in N=6 Chern-Simons-matter theory of ABJM

We show that baryon-like operators exist in the N=6 superconformal Chern-Simons-matter theory constructed by Aharony, Bergman, Jafferis and Maldacena (ABJM). This involves the introduction of Wilson(or 't Hooft) lines ending on baryon-like operators and we show that the presence of such lines cannot be detected by the fields in the theory. The same construction can be used to make magnetic monopoles charged under the diagonal U(1) gauge group with arbitrary non-integral charge. If we do not include such monopole configurations in the path integral, the moduli space is known to be given by the symmetric N copies of C^4/Z_k. However, if we allow for such monopole configurations, the flux quantization conditions change so that we do not have a discrete gauge symmetry and effectively the (SU(N)xSU(N))/Z_N gauge theory remains. We discuss the possibility of the level-rank duality of the theory.
Hockey Stick Phenomenon: Supply Chain Management Challenge in Brazil

Abstract The objective of this study is to investigate a phenomenon that occurs in Brazil, specifically the spike in demand at the end of the sales period, known as the hockey stick phenomenon. This analysis will encompass the causes as well as the impacts of this phenomenon, in a way that allows alternative policies to be evaluated. Data was collected from a Brazilian branch of a large multinational in the non-durable consumer goods industry and in semi-structured interviews conducted face-to-face with executives of 26 clients. The data was used to generate a continuous simulation model based on the methods of systems dynamics. The findings showed that the phenomenon negatively impacted the manufacturer’s financial performance in the long term and indicated required changes necessary to remediate the phenomenon. This is an empirical study on the hockey stick phenomenon, a problem that affects diverse companies in Brazil. The study showed that companies should not assume the hockey stick phenomenon to be an exogenous problem; it showed that there are policies able to improve financial performance; and it provided ideas regarding ways to carry out the change process.