Search results for "Programming Languages"
showing 10 items of 138 documents
Symmetries in the angular distribution of exclusive semileptonic B decays
2010
We discuss a method to construct observables protected against QCD uncertainties based on the angular distribution of the exclusive Bd -> K(*0}(-> Kpi) l+ l- decay. We focus on the identification and the interpretation of all the symmetries of the distribution. They constitute a key ingredient to construct a set of so-called transverse observables. We work in the framework of QCD factorization at NLO supplemented by an estimate of power-suppressed Lambda/mb corrections. A discussion of the new physics properties of two of the transverse asymmetries, AT^{(2)} and AT^{(5)}, is presented. A comparison between the transverse asymmetry AT^{(2)} and the forward-backward asymmetry shows that…
Violation of the Time-Reversal and Particle-Hole Symmetries in Strongly Correlated Fermi Systems: A Review
2020
In this review, we consider the time reversal T and particle-antiparticle C symmetries that, being most fundamental, can be violated at microscopic level by a weak interaction. The notable example here is from condensed matter, where strongly correlated Fermi systems like heavy-fermion metals and high Tc superconductors exhibit C and T symmetries violation due to so-called non-Fermi liquid (NFL) behavior. In these systems, tunneling differential conductivity (or resistivity) is a very sensitive tool to experimentally test the above symmetry break. When a strongly correlated Fermi system turns out to be near the topological fermion condensation quantum phase transition (FCQPT), it exhibits t…
Optimization under Uncertainty and Linear Semi-Infinite Programming: A Survey
2001
This paper deals with the relationship between semi-infinite linear programming and decision making under uncertainty in imprecise environments. Actually, we have reviewed several set-inclusive constrained models and some fuzzy programming problems in order to see if they can be solved by means of a linear semi-infinite program. Finally, we present some numerical examples obtained by using a primal semi-infinite programming method.
PASSIM – an open source software system for managing information in biomedical studies
2007
Abstract Background One of the crucial aspects of day-to-day laboratory information management is collection, storage and retrieval of information about research subjects and biomedical samples. An efficient link between sample data and experiment results is absolutely imperative for a successful outcome of a biomedical study. Currently available software solutions are largely limited to large-scale, expensive commercial Laboratory Information Management Systems (LIMS). Acquiring such LIMS indeed can bring laboratory information management to a higher level, but often implies sufficient investment of time, effort and funds, which are not always available. There is a clear need for lightweig…
Graphical Template Language for Transformation Synthesis
2010
Higher-Order Transformations (HOT) have become an important support for the development of model transformations in various transformation languages. Most frequently HOTs are used to synthesize transformations from different kinds of models, for example, mapping models. This means that model driven development (MDD) is being successfully applied to transformations themselves too. The standard HOT solution is to create the transformation as a model using the abstract syntax. However, for graphical transformation languages a significantly more efficient solution would be to create the transformation using its graphical (concrete) syntax. An analogy could be the textual template languages such…
Biznesa procesu modelēšana, izmantojot metamodelēšanas paņēmienus : kopsavilkums
2007
Darba tēma ir saistīta ar biznesa procesu vadības sistēmu izstrādi. Šajā darbā biznesa procesu modelēšanas problēmas ir risinātas, izmantojot metamodelēšanas paņēmienus. Metamodelēšana ļauj dažādus biznesa modelēšanas aspektus aplūkot vienotā un vispārīgā formā, tai pat laikā nezaudējot precīzu jēdzienu nozīmi. Galvenie pētījumu rezultāti ir sekojoši: Izstrādāts vienots biznesa procesu un to apkārtnes metamodelis, kas parāda biznesa modelēšanas jēdzienus un to saistību. Izstrādāta biznesa modeļu jēdzienu kartēšanas metode jēdzienu kartēšanai no viena domēna uz vairākām modelēšanas valodām. Izstrādāta precīza Unified Modeling Language Aktivitāšu diagrammas (UML AD) izpildes semantika, izmant…
Minimal forbidden words and factor automata
1998
International audience; Let L(M) be the (factorial) language avoiding a given antifactorial language M. We design an automaton accepting L(M) and built from the language M. The construction is eff ective if M is finite. If M is the set of minimal forbidden words of a single word v, the automaton turns out to be the factor automaton of v (the minimal automaton accepting the set of factors of v). We also give an algorithm that builds the trie of M from the factor automaton of a single word. It yields a non-trivial upper bound on the number of minimal forbidden words of a word.
Extensible Visualizations of Ontologies in OWLGrEd
2019
OWLGrEd is a visual editor for OWL 2.0 ontologies that combines UML class diagram notation and textual OWL Manchester syntax for expressions. We review the basic OWLGrEd options for ontology presentation customization and consider the framework of OWLGrEd extensions that enables introducing rich use-case specific functionality to the editor. A number of available OWLGrEd extensions offering rich ontology management features to their end-users are described, as well.
Parallel and scalable short-read alignment on multi-core clusters using UPC++
2016
[Abstract]: The growth of next-generation sequencing (NGS) datasets poses a challenge to the alignment of reads to reference genomes in terms of alignment quality and execution speed. Some available aligners have been shown to obtain high quality mappings at the expense of long execution times. Finding fast yet accurate software solutions is of high importance to research, since availability and size of NGS datasets continue to increase. In this work we present an efficient parallelization approach for NGS short-read alignment on multi-core clusters. Our approach takes advantage of a distributed shared memory programming model based on the new UPC++ language. Experimental results using the …
Bayesian survival analysis with BUGS
2020
Survival analysis is one of the most important fields of statistics in medicine and biological sciences. In addition, the computational advances in the last decades have favored the use of Bayesian methods in this context, providing a flexible and powerful alternative to the traditional frequentist approach. The objective of this article is to summarize some of the most popular Bayesian survival models, such as accelerated failure time, proportional hazards, mixture cure, competing risks, multi-state, frailty, and joint models of longitudinal and survival data. Moreover, an implementation of each presented model is provided using a BUGS syntax that can be run with JAGS from the R programmin…