Miracle-dz/UniFAR-FTUs huggingface dataset:
Parallel Triangles Counting Using Pipelining

The generalized method to have a parallel solution to a computational problem, is to find a way to use Divide & Conquer paradigm in order to have processors acting on its own data and therefore all can be scheduled in parallel. MapReduce is an example of this approach: Input data is transformed by the mappers, in order to feed the reducers that can run in parallel. In general this schema gives efficient problem solutions, but it stops being true when the replication factor grows. We present another program schema that is useful for describing problem solutions, that can exploit dynamic pipeline parallelism without having to deal with replica- tion factors. We present the schema in an example: counting triangles in graphs, in particular when the graph do not fit in memory. We describe the solution in NiMo, a graphical programming language that implements the implicitly functional parallel data ow model of computation. The solution obtained using NiMo, is architecture agnostic and can be deployed in any parallel/distributed architecture adapting dynamically the processor usage to input characteristics.
Adsorption-induced surface stress and its effects on resonance frequency of microcantilevers

It is well known that bimetallic microcantilevers can exhibit static deflection as a result of thermal effects, including exothermic adsorption of chemicals on their surfaces. It is shown here that the resonance frequency of a cantilever can change due to a combination of mass loading and change of spring constant resulting from adsorption of chemicals on the surface. Cantilevers also undergo static bending that is induced by differential surface stress. The magnitude of these effects depends upon the chemical properties of the surface and upon the amount of material adsorbed. Hence cantilever deflection as well as resonance frequency change can be used as the basis for development of novel chemical sensors.
Interaction between Evolution and Learning in a Population of Globally or Locally Interacting Agents

The Baldwin effect is known as one of the interactions between evolution and learning. In this paper we consider the Baldwin effect in dynamic environments, especially when there is no explicit optimal solution through generations and it depends only on the interaction among agents. We adopted the iterated Prisoner’s Dilemma as a dynamic environment, introduced phenotypic plasticity into strategies, and conducted computationalexperiments on the models with/without spatial locality. In the non-spatial experiments, the Baldwin effect was observed as follows: First, strategies with enough plasticity spread, which caused a shift from defect-oriented population to cooperative population. Second, these strategies were replaced by a strategy with a modest amount of plasticity. Subsequently, we expanded this model in a twodimensional space where each agent plays games only with its neighbors. Based on the results of these experiments, we discussed similarities and differences in evolutionary dynamics concerning the Baldwin effect in a population of globally interacting agents and the one of locally interacting agents.
Almost uniqueness result for reversed variational inequalities

In this note we show that reversed variational inequalities cannot be studied in a general abstract framework as it happens for classical variational inequalities with Stampacchia's Lemma. Indeed, we provide two different situ- ations for reversed variational inequalities which are of the same type from an abstract point of view, but which behave quite differently.
Pasta structures in compact stars

We review our recent works about ``pasta'' structures following the first-order phase transition in dense matter, which correspond to the structured mixed phases with geometrical symmetries. Three kinds of phase transitions at different density ranges are examined as the stages of pasta structures: liquid-gas phase transition at subnuclear density, kaon condensation and hadron-quark phase transition at high density. Charge density as well as particle density is non-uniform there. A consistent treatment of the Coulomb potential and the particle densities is presented and a peculiar role of the Coulomb potential is elucidated: the physical picture of the Maxwell construction will be effectively recovered. It largely influences the density regime of pasta structures by the charge screening effect.
Exploration of twin‐arginine translocation for expression and purification of correctly folded proteins in Escherichia coli

Historically, the general secretory (Sec) pathway of Gram‐negative bacteria has served as the primary route by which heterologous proteins are delivered to the periplasm in numerous expression and engineering applications. Here we have systematically examined the twin‐arginine translocation (Tat) pathway as an alternative, and possibly advantageous, secretion pathway for heterologous proteins. Overall, we found that: (i) export efficiency and periplasmic yield of a model substrate were affected by the composition of the Tat signal peptide, (ii) Tat substrates were correctly processed at their N‐termini upon reaching the periplasm and (iii) proteins fused to maltose‐binding protein (MBP) were reliably exported by the Tat system, but only when correctly folded; aberrantly folded MBP fusions were excluded by the Tat pathway's folding quality control feature. We also observed that Tat export yield was comparable to Sec for relatively small, well‐folded proteins, higher relative to Sec for proteins that required cytoplasmic folding, and lower relative to Sec for larger, soluble fusion proteins. Interestingly, the specific activity of material purified from the periplasm was higher for certain Tat substrates relative to their Sec counterparts, suggesting that Tat expression can give rise to relatively pure and highly active proteins in one step.
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool

In a model-driven development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a software development process. A model transformation program is a specific program, in the sense it manipulates models as main parameters. Each model must be an instance of a "metamodel", a metamodel being the specification of a set of models. Programming a model transformation is a difficult and error-prone task, since the manipulated data are clearly complex. In this paper, we focus on generating input test data (called test models) for model transformations. We present an algorithm to automatically build test models from a metamodel
The Tibetan plateau observatory of plateau scale soil moisture and soil temperature, Tibet - Obs, for quantifying uncertainties in coarse resolution satellite and model products

Abstract. A plateau scale soil moisture and soil temperature observatory is established on the Tibetan Plateau for quantifying uncertainties in coarse resolution satellite and model products of soil moisture and soil temperature. The Tibetan Plateau observatory of plateau scale soil moisture and soil temperature (Tibet-Obs) consists of three regional scale in-situ reference networks, including the Naqu network in a cold semiarid climate, the Maqu network in a cold humid climate and the Ngari network in a cold arid climate. These networks provide a representative coverage of the different climate and land surface hydrometeorological conditions on the Tibetan plateau. In this paper the details of the Tibet-Obs are reported. To demonstrate the uniqueness of the Tibet-Obs in quantifying and explaining soil moisture uncertainties in existing coarse satellite products, an analysis is carried out to assess the reliability of several satellite products for the Naqu and the Maqu network areas. It is concluded that global coarse resolution soil moisture products are useful but exhibit till now unreported uncertainties in cold and semiarid regions – use of them would be critically enhanced if uncertainties can be quantified and reduced using in-situ measurements.
High Metastaticgastric and Breast Cancer Cells Consume Oleic Acid in an AMPK Dependent Manner

Gastric cancer and breast cancer have a clear tendency toward metastasis and invasion to the microenvironment predominantly composed of adipocytes. Oleic acid is an abundant monounsaturated fatty acid that releases from adipocytes and impinges on different energy metabolism responses. The effect and underlying mechanisms of oleic acid on highly metastatic cancer cells are not completely understood. We reported that AMP-activated protein kinase (AMPK) was obviously activated in highly aggressive carcinoma cell lines treated by oleic acid, including gastric carcinoma HGC-27 and breast carcinoma MDA-MB-231 cell lines. AMPK enhanced the rates of fatty acid oxidation and ATP production and thus significantly promoted cancer growth and migration under serum deprivation. Inactivation of AMPK attenuated these activities of oleic acid. Oleic acid inhibited cancer cell growth and survival in low metastatic carcinoma cells, such as gastric carcinoma SGC7901 and breast carcinoma MCF-7 cell lines. Pharmacological activation of AMPK rescued the cell viability by maintained ATP levels by increasing fatty acid β-oxidation. These results indicate that highly metastatic carcinoma cells could consume oleic acid to maintain malignancy in an AMPK-dependent manner. Our findings demonstrate the important contribution of fatty acid oxidation to cancer cell function.
Binary image interpolation based on mathematical morphology

This paper presents an interpolation technique “mmINTone” for binary images, such as logos, diagrams, graphs and cartoons. The technique removes the jaggies from a pixel-replicated image, using concepts from mathematical morphology. As a result, the edges are smoother and jaggy-free. In this paper we describe the algorithm, show some results and compare it to existing interpolation methods as well as to a previously developed technique of ours, also based on mathematical morphology. We can conclude that mmINTone is considerably faster and similar in quality.
A OWL-Based Semantic Web Service Discovery Framework

Current Semantic Web Service discovery mechanism consumes too much resource and lacks the ability to be used in real-world, large-scale situations. This paper propose a new kind of Semantic Web Service framework based on the concept of dividing the Semantic Web into different domains, and by introducing a kind of Semantic Web Service Router to help reduce the set of service description information which service request information has to be matched against, we hope the service discovery process can proceed more quickly and more precisely and the amount consumed can be reduced . A use case is given to illustrate the working mechanism of the framework.
Warm Needling Therapy and Acupuncture at Meridian-Sinew Sites Based on the Meridian-Sinew Theory: Hemiplegic Shoulder Pain

This study was performed to evaluate the effectiveness and safety of warm needling acupuncture at meridian-sinew sites based on the meridian-sinew theory in the treatment of hemiplegic shoulder pain (HSP) after stroke. In total, 124 subjects were randomized into a treatment group and control group. In the treatment group, warm needling therapy and acupuncture at meridian-sinew sites based on the meridian-sinew theory were performed. In the control group, usual care therapy was applied. The visual analog scale (VAS) score, range of motion (ROM), and Barthel index (BI) were used to evaluate treatment effectiveness. At 2 weeks of treatment, the VAS score, ROM, and BI had obviously changed from baseline in the two groups (P < 0.01). The changes in the VAS score and ROM in the treatment group were significantly greater than those in the control group (P < 0.01). At the 3-month follow-up after treatment, the changes in the treatment group were significantly greater than those in the control group (P < 0.01). This study indicates that warm needling therapy with acupuncture at meridian-sinew sites based on the meridian-sinew theory is effective for HSP.
Confidence scores for acoustic model adaptation

This paper focuses on confidence scores for use in acoustic model adaptation. Frame-based confidence estimates are used in linear transform (CMLLR and MLLR) and MAP adaptation. We show that adaptation approaches with a limited number of free parameters such as linear transform-based approaches are robust in the face of frame labeling errors whereas adaptation approaches with a large number of free parameters such as MAP are sensitive to the quality of the supervision and hence benefit most from use of confidences. Different approaches for using confidence information in adaptation are investigated. This analysis shows that a thresholding approach is effective in that it improves the frame labeling accuracy with little detrimental effect on frame recall. Experimental results show an absolute WER reduction of 2.1% over a CMLLR adapted system on a video transcription task.
MODULARITY OF RESOURCE AND CAPABILITY FOR ENTERPRISE AGILITY DURING IS DEVELOPMENT : A COEVOLUTIONARY PROCESS MODEL FROM CHINA

As a force that leads the era of rapid technology advances, integrating global economy and changing customer needs, enterprise agility has attracted extensive attention from academia. The purpose of this study is to take Haier information system (IS) development from China as a case study to systematically research the process, reasons and characteristics of IS-enabled enterprise agility based on the perspectives of modularity of resource and capability. This paper reveals that the key factor of IS-enabled enterprise agility is the modularity of resource and capability. It has opened the “black box” of ISenabled enterprise agility. The co-evolutionary process model and the three innovation phases provide important reference value for enterprises to develop IS, improve enterprise agility and build sustainable competitive advantage.
Modeling Adjectives in Computational Relational Lexica

In this paper we propose a small set of lexical conceptual relations which allow to encode adjectives in computational relational lexica in a principled and integrated way. Our main motivation comes from the fact that adjectives and certain classes of verbs, related in a way or another with adjectives, do not have a satisfactory representation in this kind of lexica. This is due to a great extent to the heterogeneity of their semantic and syntactic properties. We sustain that such properties are mostly derived from the relations holding between adjectives and other POS. Accordingly, our proposal is mainly concerned with the specification of appropriate cross-POS relations to encode adjectives in lexica of the type considered here.
Computational Models of Similarity in Lexical Ontologies

This thesis mainly concerns itself with the issue of semantic similarity and computational applications of it. Semantic similarity has for a long time been a subject of intense scholarship in the fields of Artificial Intelligence, Psychology and Cognitive Science. Computational models trying to imitate aspects of this cognitive ability date back to Quillian and his spreading activation algorithm. In the research presented here we propose a new computational approach to the assessment of semantic similarity between concepts. This work builds upon previous information theoretic attempts, from researchers interested in natural language processing, to mimic this ill-defined human aptitude. WordNet, an ontological lexical knowledge base, is the only source of knowledge exploited in the proposed algorithm. Hence, this is where our work differs from previous information theoretic attempts, since these have relied upon statistical information gathered from analyzing semantically tagged corpora. As a consequence, the sparse data problem that these corpus based strategies have to face is completely avoided, as is the time consuming effort to construct tagged corpora. Experimental studies presented show that this new approach not only outperforms previous formulations in the information theoretic category, but also other non-information theoretic formulations. We also outline how an analogy can be established between information theory and set theory that allows us to view most information theoretic models in terms of Tversky’s feature model. As a consequence of the correspondence we also propose a new similarity measure based on Tversky’s model. We also study a specific application of similarity that, by way of polysemy, will allow us infer novel and useful re-categorizations of existing concepts in WordNet. These creative re-categorizations are inspired by the Torrance test of creative thinking. Since our proposal depends on the quality of the lexical ontology, we will also propose an algorithm that explores the conceptual space defined by the ontology and suggests the inclusion of new concepts. These new concepts can be added at specific locations in the ontology, filling-in some of the lexical holes and asymmetries existent in WordNet. The filling of these holes provide a better conceptual grounding on which to base our model of similarity.
Extended Anatomical Grading in Diffuse Axonal Injury Using MRI: Hemorrhagic Lesions in the Substantia Nigra and Mesencephalic Tegmentum Indicate Poor Long-Term Outcome

Abstract Clinical outcome after traumatic diffuse axonal injury (DAI) is difficult to predict. In this study, three magnetic resonance imaging (MRI) sequences were used to quantify the anatomical distribution of lesions, to grade DAI according to the Adams grading system, and to evaluate the value of lesion localization in combination with clinical prognostic factors to improve outcome prediction. Thirty patients (mean 31.2 years ±14.3 standard deviation) with severe DAI (Glasgow Motor Score [GMS] <6) examined with MRI within 1 week post-injury were included. Diffusion-weighted (DW), T2*-weighted gradient echo and susceptibility-weighted (SWI) sequences were used. Extended Glasgow outcome score was assessed after 6 months. Number of DW lesions in the thalamus, basal ganglia, and internal capsule and number of SWI lesions in the mesencephalon correlated significantly with outcome in univariate analysis. Age, GMS at admission, GMS at discharge, and low proportion of good monitoring time with cerebral perfusion pressure <60 mm Hg correlated significantly with outcome in univariate analysis. Multivariate analysis revealed an independent relation with poor outcome for age (p = 0.005) and lesions in the mesencephalic region corresponding to substantia nigra and tegmentum on SWI (p = 0.008). We conclude that higher age and lesions in substantia nigra and mesencephalic tegmentum indicate poor long-term outcome in DAI. We propose an extended MRI classification system based on four stages (stage I—hemispheric lesions, stage II—corpus callosum lesions, stage III—brainstem lesions, and stage IV—substantia nigra or mesencephalic tegmentum lesions); all are subdivided by age (≥/<30 years).
Regulation of human mesothelial cell differentiation: opposing roles of retinoids and epidermal growth factor in the expression of intermediate filament proteins

We report here the discovery that retinoids are potent regulators of epithelial morphology and keratin expression in cultured human mesothelial cells. When LP-9 cells are cultured in medium supplemented with vitamin A-depleted serum, they grow with an extreme spindle-shaped morphology and synthesize abundant levels of vimentin, but very little keratin. When retinoic acid is added to the medium at 1 X 10(-8) to 1 X 10(-6) M, keratin synthesis is increased, vimentin synthesis is decreased, and the cells assume an epithelioid morphology. Keratin synthesis, but not epithelioid morphology, seems to be dependent on cell density as well: even when vitamin A is present, sparse cultures cannot fully maintain keratin synthesis. In contrast, epidermal growth factor (EGF) acts in an antagonistic fashion to suppress both keratin synthesis and epithelial morphology. The effects of vitamin A, EGF, and cell shape on intermediate filament (IF) expression seem to occur in a growth-independent manner, and they appear to be at the level of transcription or mRNA stability. Even so, their effects on IF expression do not appear to be rapid ones, and hence it is unlikely that these agents interact directly at the gene level to cause changes in IF gene expression.
Equilibration timescale of atmospheric secondary organic aerosol partitioning

Secondary organic aerosol (SOA) formed from partitioning of oxidation products of anthropogenic and biogenic volatile organic compounds (VOCs) accounts for a substantial portion of atmospheric particulate matter. In describing SOA formation, it is generally assumed that VOC oxidation products rapidly adopt gas‐aerosol equilibrium. Here we estimate the equilibration timescale,τeq, of SOA gas‐particle partitioning using a state‐of‐the‐art kinetic flux model. τeqis found to be of order seconds to minutes for partitioning of relatively high volatility organic compounds into liquid particles, thereby adhering to equilibrium gas‐particle partitioning. However,τeqincreases to hours or days for organic aerosol associated with semi‐solid particles, low volatility, large particle size, and low mass loadings. Instantaneous equilibrium partitioning may lead to substantial overestimation of particle mass concentration and underestimation of gas‐phase concentration.
Validity of a Model Based on Transaction Costs in Identifying the Benefits of IOS: The Electronic Data Interchange Case

Company competitiveness often depends on key relationships with other companies and information tech- nologies play a critical role in supporting these relationships. Nevertheless, tools to analyse the impact of technology on businesses are in short supply. This article presents the results of research performed in companies in the mass consumer industry aimed at verifying the validity of a proposed model based on transaction costs, to be used for impact evaluation of inter-organizational systems in companies. The model, which takes into account different kinds of benefits, is applied in an exploratory way to the identification of benefits from using electronic data interchange systems as an e-commerce tool to support business to business relationships. Verification of the proposed model confirms its usefulness for the identification of benefits, mainly for those occurring at the inter-organizative level. This research lies within the scope of the evaluation of results obtained with the introduction of an in- ter-organizational system (IOS) in the business process of companies. We propose a model that considers different types of benefits in terms of the transaction cost theory and, in an exploratory way, verifies the validity and limitations of this model in identifying the benefits obtained from using electronic data interchange (EDI) systems in companies in the consumer goods sector. Empirical verification of the usefulness of the proposed model in a standard technology in use for several years enables us to observe the wide ranging impact of this tech- nology on organizations and so ensure the validity of the test results and the proposed model. The use of EDI is considered in a value added networks setting. The model used to evaluate the impact of the information and communication technologies (ICTs) on companies draws on the conceptual proposal of the theory of transac- tion costs((1,2)) and so especially considers the impact on exchanges taking place within and outside companies. To verify the validity and limitations of the proposed model and its results, the following were considered: • Analysis of whether the cost and benefit components