Miracle-dz/UniFAR-FTUs huggingface dataset:
Declarative workflows that support easy modification and dynamic browsing

A new programming paradigm named "Vortex" is introduced for specifying a wide range of decision-making activities including, in particular, workflows. In Vortex workflows are specified declaratively. A particular emphasis is on "object-focused" workflows, i.e., workflows focused on how individual input objects should be processed within an organization. Such workflows arise commonly in practice, including insurance claims processing, and many electronic commerce applications, and in the area of Customer Care, e.g., web-based storefronts. Vortex workflows are "attribute-centric", because they are centered around how the attribute values for an input object are gathered and computed. Initially, only a few attributes of an input object have assigned values. During processing of the object, additional attribute values may be assigned by external modules, or by internal modules, including "decision modules". Decision modules include "attribute rules" that specify contributions to specific attribute values; these are combined with one of a broad family of available semantics. In Vortex, enabling conditions are used to determine what attributes should be evaluated. A novel choice-based execution model provides a general framework for optimization strategies. The use of enabling conditions, attribute rules and declarative semantics makes Vortex workflows easier to modify and refine than traditional, procedurally specified workflows. Vortex supports modularity and permits the natural intermixing of Vortex workflows with traditional, procedural workflows. The paper introduces a novel spreadsheet-like interface for dynamic browsing of Vortex executions.
The Cloudlet Accelerator: Bringing Mobile-Cloud Face Recognition into Real-Time

A mobile-cloud architecture provides a practical platform for performing face recognition on a mobile device. However, using a mobile-cloud architecture to perform real-time face recognition presents several challenges including resource limitations and long network delays. In this paper, we determine three approaches for accelerating the execution of the face recognition application by utilizing an intermediate device called a cloudlet. We study in detail one of these approaches, using the cloudlet to perform pre-processing, and quantify the maximum attainable acceleration. Our experimental results show up to a 128x improvement in response time when appropriate cloudlet hardware is used.
A Semantic Web Repository for Managing and Querying Aligned Knowledge

Ontology alignment is the task of matching concepts and terminology from multiple ontologies. Ontology alignment is especially relevant in the semantic web domain as RDF documents and OWL ontologies are quite heterogenous, yet often describe related concepts. The end goal for ontology matching is to allow the knowledge sets to interoperate. To achieve this goal, it is necessary for queries to return results that include knowledge, and inferred knowledge, from multiple datasets and terminologies, using the alignment information. Furthermore, ontology alignment is not an exact science, and concept matchings often involve uncertainty. The goal of this paper is to provide a semantic web repository that supports applying alignments to the dataset and reasoning with alignments. Our goal is to provide high performance queries that return results that include inference across alignment matchings, and rank results using certainty information. Our semantic web repository uses distributed inference and probabilistic reasoning to allow datasets to be efficiently updated with ontology alignments. We materialize the inferred, aligned data and make it available in efficient queries.
Are Genetic Algorithms a good basis for economic learning models

section environmental and innovation economics university of kassel papers on agent-based economics nr 5 papers on agent-based economics nr 5 2 Abstract: Genetic Algorithms (GA) have been used for some years now to depict learning in economic models. Some authors criticize their use on the basis that they are a biologically motivated procedure having nothing to do with human learning. One argument of this paper is that the criticism of GA is focused at the wrong point – and was probably incurred by the much too simple applications we have seen so far. It is not primarily the origin of a model we should be concerned of, but its general characteristics and the specification in its current use. After a brief introduction into the procedure the paper tries to show why GA offer some important features for the modelling of bounded rationality. Learning models based on them are among the few that create novelty and describe the mechanisms of selection, recombination and variation by which novelty is generated. The paper discusses the criticism of GA and argues that the biological origin of the model should not be a substantial problem. The biological features of the model are only a shell in which the general mechanisms of evolutionary processes are imbedded. An up to now underestimated problem however lies in the adequate specification of the fitness function of GA. Proponents as well as critics of GA seemed to have overlooked the necessary distinction between internal fitness criteria of the agents and external criteria of the economy. Both are relevant for economic selection processes and have their proper place in the model. If this is respected GA based learning models can be a useful tool to investigate economic evolution.
A Visual Tracer for DLV

In software engineering, tracing is a specialized way for recording information about the execution of a program for debugging purposes. The more complex the system, the more difficult is developing a manageable, and thus practically useful, tracer. Answer Set Programming (ASP) systems represent no exception in this respect: the intrinsic complexity of reasoning required the design of elaborated evaluation algorithms. In this paper, we present a suitable solution to the problem of tracing the execution of an ASP system and its implementation into the ASP system DLV. The tool herein presented features a graphical user interface and an on-line tracing method that puts it on the way between tracing and debugging. The range of applicability counts: bug fixing, system optimization, ASP-developing aids, and educational purposes.
Geometric invariants and applications under catadioptric camera model

This paper presents geometric invariants of points and their applications under central catadioptric camera model. Although the image has severe distortions under the model, we establish some accurate projective geometric invariants of scene points and their image points. These invariants, being functions of principal point, are useful, from which a method for calibrating the camera principal point and a method for recovering planar scene structures are proposed. The main advantage of using these in variants for plane reconstruction is that neither camera motion nor the intrinsic parameters, except for the principal point, is needed. The theoretical correctness of the established invariants and robustness of the proposed methods are demonstrated by experiments. In addition, our results are found to be applicable to some more general camera models other than the catadioptric one
Putative Alleles for Increased Yield from Soybean Plant Introductions

Improving seed yield of soybean [Glycine max (L.) Merr. ] is an important breeding goal. The objective of this study was to evaluate two soybean PIs as sources of alleles for the enhancement of seed yield in North American cultivars. A population of 167 F 5 -derived lines was developed from a cross between 'BSR 101' and the experimental line LG82-8379. BSR 101 has nine of 10 major ancestral lines contributing to the commercial gene pool of North America, while LG82-8379 was selected from a cross between PI 68508 and FC 04007B. The F 5 -derived lines, divided into three sets based on maturity, were evaluated for 145 polymorphic simple sequence repeat (SSR) marker loci and for seed yield and other agronomic traits in 12 environments. Fifteen quantitative trait loci (QTL) were significantly [P 2.5] associated with seed yield in at least one set with two significant across all sets. For nine of the yield QTL, the LG82-8379 alleles were associated with yield increases of 1.7 to 5.4% while the BSR 101 alleles increased yield 2.4 to 4.4% at six yield QTL. Four yield QTL were associated with significant changes in R8, eight with plant height, and three with seed protein concentration. Additional QTL were identified for R8, plant height, lodging, and seed protein and oil concentration. These results indicate that soybean PIs have the genetic potential for improving seed yield of U.S. soybean cultivars.
Linear codes with covering radius R = 2, 3 and codimension tR

Let [n,n-r]/sub q/R denote a linear code over F/sub q/ with length n, codimension r, and covering radius R. We use a modification of constructions of [2q+1, 2q-3]/sub q/2 and [3q+1, 3q-5]/sub q/3 codes (q/spl ges/5) to produce infinite families of good codes with covering radius 2 and 3 and codimension tR.
Herminiimonas contaminans sp. nov., isolated as a contaminant of biopharmaceuticals.

A Gram-staining-negative, rod-shaped, non-spore-forming bacterium isolated as a contaminant from a biopharmaceutical process (strain CCUG 53591(T)) was studied for its taxonomic allocation. On the basis of 16S rRNA gene sequence similarity data, this strain was clearly allocated to the genus Herminiimonas. Herminiimonas saxobsidens was shown to be the most closely related species on the basis of 16S rRNA gene sequence similarity (99.9 %), followed by Herminiimonas glaciei (99.6 %) and Herminiimonas arsenicoxydans (98.8 %). Strain ND5, previously reported as H. glaciei, but showing 100 % 16S rRNA gene sequence similarity to strain CCUG 53591(T), was included in the comparative study. Similarities to all other species of the genus Herminiimonas were below 98.0 %. Chemotaxonomic data (major ubiquinone, Q-8; major polar lipids, phosphatidylethanolamine, phosphatidylglycerol and diphosphatidylglycerol; and major fatty acids, C(17 : 0) cyclo, C(19 : 0) cyclo ω8c and C(16 : 0,) with C(10 : 0) 3-OH as hydroxylated fatty acid) supported the affiliation of the isolate to the genus Herminiimonas. DNA-DNA hybridization results (mean values) for strain CCUG 53591(T) with H. saxobsidens CCUG 59860(T) (34 %), H. glaciei DSM 21140(T) (57 %), H. arsenicoxydans DSM 17148(T) (17 %) and Herminiimonas fonticola S-94(T) (11 %) clearly supported the separate taxonomic position of this strain. Strain ND5 showed DNA-DNA similarities of 78, 56 and 52 % to strain CCUG 53591(T), H. glaciei DSM 21140(T) and H. saxobsidens CCUG 59860(T), respectively. Phenotypic differentiation of the isolate from the most closely related species was possible by various features. Hence, strain CCUG 53591(T) represents a novel species, for which the name Herminiimonas contaminans sp. nov. is proposed, with the type strain CCUG 53591(T) ( = CCM 7991(T)). Strain ND5 is a second strain of this species.
RET expression and detection of KIF5B/RET gene rearrangements in Japanese lung cancer

RET encodes the tyrosine kinase receptor of growth factors belonging to the glial‐derived neurotrophic factor family. Recently, RET gene rearrangements with N‐terminal of KIF5B gene were identified in lung adenocarcinomas from large‐scale sequencing. We investigated RET mRNA expression by real‐time reverse‐transcriptase polymerase chain reaction (RT‐PCR) assay using LightCycler, and KIF5B/RET gene rearrangements using newly established fluorescence in situ hybridization (FISH) analysis in surgically treated nonsmall cell lung cancer (NSCLC) cases. RET protein expression was also investigated by immunohistochemistry (IHC). This study included 157 surgically removed NSCLC cases for mRNA level analyses. The RET/β actin mRNA levels were not significantly different between lung cancer (6.359 ± 15.268) and adjacent normal lung tissues (8.205 ± 28.931, P = 0.6332). Tumor/normal (T/N) ratio of RET/β actin mRNA levels was not different within gender, stage, smoking status, and pathological subtypes. T/N ratio of RET/β actin mRNA levels was significantly higher in KIF5B/RET rearrangement samples (161.763 ± 123.488) than in wild‐type samples (5.9013 ± 17.148, P = 0.044). Although RET IHC positivity was not perfectly correlated with KIF5B/RET arrangement, we have detected the KIF5B/RET rearrangements using FISH analysis. Thus, we have successfully introduced FISH for diagnosing KIF5B/RET positive lung adenocarcinoma. This method facilitates the molecular evaluation for RET fusions and could be applicable in clinical practice to detect lung cancer that may be responsive to RET inhibitors.
Simultaneous quantitative determination of multiple bioactive markers in Ocimum sanctum obtained from different locations and its marketed herbal formulations using UPLC-ESI-MS/MS combined with principal component analysis.

INTRODUCTION Ocimum sanctum L. , with phenolic acids, flavonoids, propenyl phenols and terpenoids as active pharmacological constituents, is a popular medicinal herb and is present as an ingredient in many herbal formulations. Therefore, development of a reliable analytical method for simultaneous determination of the pharmacologically active constituents of O. sanctum is of high importance. OBJECTIVE To develop and validate a new, rapid, sensitive and selective UPLC-ESI/MS/MS method for simultaneous determination of 23 bioactive markers including phenolic acids, flavonoids, propenyl phenol and terpenoid in the leaf extract and marketed herbal formulations of O. sanctum. METHODS An UPLC-ESI/MS/MS method using negative electrospray ionisation (ESI) in multiple-reaction-monitoring (MRM) mode was used for simultaneous determination. Chromatographic separation was achieved on an Acquity UPLC BEH C18 -column using a gradient elution with 0.1% formic acid in water and 0.1% formic acid in acetonitrile. Principal component analysis (PCA) was applied to correlate and discriminate eight geographical collections of O. sanctum based on quantitative data of the analytes. RESULTS The developed method was validated as per International Conference on Harmonization guidelines and found to be accurate, with overall recovery in the range 95.09-104.84% (RSD ≤ 1.85%), precise (RSD ≤ 1.98%) and linear (r(2) ≥ 0.9971) over the concentration range of 0.5-1000 ng/mL. Ursolic acid was found to be the most abundant marker in all the samples investigated, except for the marketed tablet. CONCLUSION The method established is simple, rapid and sensitive, hence it can be reliably utilised for the quality control of O. sanctum and derived herbal formulations.
Optimal Strategies for Simultaneous Vickrey Auctions with Perfect Substitutes

We derive optimal strategies for a bidding agent that participates in multiple, simultaneous second-price auctions with perfect substitutes. We prove that, if everyone else bids locally in a single auction, the global bidder should always place non-zero bids in all available auctions, provided there are no budget constraints. With a budget, however, the optimal strategy is to bid locally if this budget is equal or less than the valuation. Furthermore, for a wide range of valuation distributions, we prove that the problem of finding the optimal bids reduces to two dimensions if all auctions are identical. Finally, we address markets with both sequential and simultaneous auctions, non-identical auctions, and the allocative efficiency of the market.
Using Portable Transducers to Measure Tremor Severity

Background Portable motion transducers, suitable for measuring tremor, are now available at a reasonable cost. The use of these transducers requires knowledge of their limitations and data analysis. The purpose of this review is to provide a practical overview and example software for using portable motion transducers in the quantification of tremor. Methods Medline was searched via PubMed.gov in December 2015 using the Boolean expression “tremor AND (accelerometer OR accelerometry OR gyroscope OR inertial measurement unit OR digitizing tablet OR transducer). ” Abstracts of 419 papers dating back to 1964 were reviewed for relevant portable transducers and methods of tremor analysis, and 105 papers written in English were reviewed in detail. Results Accelerometers, gyroscopes, and digitizing tablets are used most commonly, but few are sold for the purpose of measuring tremor. Consequently, most software for tremor analysis is developed by the user. Wearable transducers are capable of recording tremor continuously, in the absence of a clinician. Tremor amplitude, frequency, and occurrence (percentage of time with tremor) can be computed. Tremor amplitude and occurrence correlate strongly with clinical ratings of tremor severity. Discussion Transducers provide measurements of tremor amplitude that are objective, precise, and valid, but the precision and accuracy of transducers are mitigated by natural variability in tremor amplitude. This variability is so great that the minimum detectable change in amplitude, exceeding random variability, is comparable for scales and transducers. Research is needed to determine the feasibility of detecting smaller change using averaged data from continuous long-term recordings with wearable transducers.
Polifenoles, capacidad antioxidante y factor de protección solar de Borago officinalis L. “borraja” dispensada en las farmacias naturales de EsSalud

Objetivos. Cuantificar los polifenoles, la capacidad antioxidante y el factor de protección solar de las hojas y flores de Borago officinalis L. dispensadas en las farmacias naturales de EsSalud. Materiales y métodos. Se prepararon tres extractos fluidos en etanol (96%, 70% y 40%) y dos extractos acuosos (decocto e infuso), se concentraron bajo vacío hasta obtener extractos secos (ES). Los polifenoles fueron cuantificados utilizando el método analítico de Folin-Ciocalteu, dichos valores fueron expresados como equivalentes de ácido gálico (EAG), la capacidad antioxidante fue determinada por el método de DPPH (1,1-difenil-2-picrilhidracilo), expresada en equivalentes de ácido ascórbico (EAA), del mismo modo como equivalentes de butilhidroxitolueno (EBHT). El factor de protección solar (FPS) se evaluó por el método espectrofotométrico en el rango de 290 a 320 nm. Resultados. Se cuantificaron polifenoles en el rango de 157,487 ± 3,628 y 66,777 ± 0,734 mg EAG/g ES del extracto fluido de 70 y 96%, respectivamente; la capacidad antioxidante entre 198,631 ± 5,636 y 73,699 ± 5,946 mg EAA/g ES del infuso y decocto, respectivamente, así como 388,694 ± 10,591 y 153,919 ± 11,174 mg EBHT/g ES del infuso y decocto; el FPS en el rango de 8,91 ± 0,07 y 5,53 ± 0,02 para el extracto fluido de 40% e infuso, respectivamente. Conclusiones. El infuso de Borago officinalis L. dispensada en las farmacias naturales de EsSalud, reportó polifenoles con la mayor capacidad antioxidante, y el extracto fluido de 40% presentó el mayor valor de FPS
ZigBee-assisted Power Saving Management for mobile devices

WiFi transmission can consume much energy on energy-constrained mobile devices. To improve energy efficiency, the Power Saving Management (PSM) has been standardized and applied. The standard PSM, however, may not deliver satisfactory energy efficiency in many cases as the wakeup strategy adopted by it cannot adapt dynamically to traffic pattern changes. Motivated by the fact that it has been more and more popular for a mobile device to have both WiFi and other low-power wireless interfaces such as Bluetooth and ZigBee, we propose a ZigBee-assisted Power Saving Management (ZPSM) scheme, leveraging the ZigBee interface to wake up WiFi interface on demand to improve energy efficiency without violating delay requirements. The simulation results have shown that ZPSM can save energy significantly without violating delay requirements in various scenarios.
On Anomaly Ranking and Excess-Mass Curves

Learning how to rank multivariate unlabeled observations depending on their degree of abnormality/novelty is a crucial problem in a wide range of applications. In practice, it generally consists in building a real valued "scoring" function on the feature space so as to quantify to which extent observations should be considered as abnormal. In the 1-d situation, measurements are generally considered as "abnormal" when they are remote from central measures such as the mean or the median. Anomaly detection then relies on tail analysis of the variable of interest. Extensions to the multivariate setting are far from straightforward and it is precisely the main purpose of this paper to introduce a novel and convenient (functional) criterion for measuring the performance of a scoring function regarding the anomaly ranking task, referred to as the Excess-Mass curve (EM curve). In addition, an adaptive algorithm for building a scoring function based on unlabeled data X1 , . , Xn with a nearly optimal EM is proposed and is analyzed from a statistical perspective.
Efficient distributed algorithms to build inverted files

We present three distributed algorithms to build global inverted files for very large text collections. The distributed environment we use is a high bandwidth network of workstations with a shared-nothing memory organization. The text collection is assumed to be evenly distributed among the disks of the various workstations. Our algorithms consider that the total distributed main memory is considerably smaller than the inverted file to be generated. The inverted file is compressed to save memory and disk space and to save time for moving data in/out disk and across the network. We analyze our algorithms and discuss the tradeoffs among them. We show that, with 8 processors and 16 megabytes of RAM available in each processor, the advanced variants of our algorithms are able to invert a 100 gigabytes collection (the size of the very large TREC-7 collection) in roughly 8 hours. Using 16 processors this time drops to roughly 4 hours.
Biological Characteristics of the Leukemia-Associated Transcriptional Factor AML1 Disclosed by Hematopoietic Rescue ofAML1-Deficient Embryonic Stem Cells by Using a Knock-in Strategy

ABSTRACT AML1 is one of the most frequently mutated genes associated with human acute leukemia and encodes the DNA-binding subunit of the heterodimering transcriptional factor complex, core-binding factor (CBF) (or polyoma enhancer binding protein 2 [PEBP2]). A null mutation in either AML1 or its dimerizing partner, CBFβ, results in embryonic lethality secondary to a complete block in fetal liver hematopoiesis, indicating an essential role of this transcription complex in the development of definitive hematopoiesis. The hematopoietic phenotype that results from the loss of AML1 can be replicated in vitro with a two-step culture system of murine embryonic stem (ES) cells. Using this experimental system, we now demonstrate that this hematopoietic defect can be rescued by expressing thePEBP2αB1 (AML1b) isoform under the endogenousAML1-regulatory sequences through a knock-in (targeted insertion) approach. Moreover, we demonstrate that the rescuedAML1 −/− ES cell clones contribute to lymphohematopoiesis within the context of chimeric animals. Rescue requires the transcription activation domain of AML1 but does not require the C-terminal VWRPY motif, which is conserved in all AML1 family members and has been shown to interact with the transcriptional corepressor, Groucho/transducin-like Enhancer of split. Taken together, these data provide compelling evidence that the phenotype seen inAML1-deficient mice is due solely to the loss of transcriptionally active AML1.