Countable Lawvere theories model computational effects such as exceptions, side-effects, interactive input/output, nondeterminism and probabilistic nondeterminism. The category of countable Lawvere theories has sums, tensors, and distributive tensors, modelling natural combinations of such effects. It is also closed under taking images. Enrichment in a category such as Cpo allows one to extend ...

Open source software components implementing features of the ELECTRE and PROMETHEE family of MCDA procedures have been developed at Université Libre de Bruxelles and École Centrale Paris, as part of the Decision Deck project. As these procedures share several computation routines, they have been implemented as a set of independent components which can then be assembled in various ways. Care has...

Our goal is to create a simple, yet robust, statistical model which can be used to quantify the risk present in a portfolio of mining assets. In pursuit of this goal we aim at explaining a systematic approach which takes as input a model which is constructed based on fundamental economic principles and simple statistical technniques (e.g. a mixed-effect linear model with explanatory variables c...

We present unified chemical and spectrophotometric evolutionary synthesis models that allow to describe composite stellar populations in a chemically consistent way. Keeping track of the ISM abundance at birth of each star and using sets of input physics (stellar yields, tracks, spectra) for different metallicities we account for the increasing initial metallicity of successive stellar generati...

BACKGROUND Solution-based targeted genomic enrichment (TGE) protocols permit selective sequencing of genomic regions of interest on a massively parallel scale. These protocols could be improved by: 1) modifying or eliminating time consuming steps; 2) increasing yield to reduce input DNA and excessive PCR cycling; and 3) enhancing reproducible. RESULTS We developed a solution-based TGE method ...

Semantic enrichment is a process of analyzing and examining a database to capture its structure and definitions at a higher level of meaning. This is done by enhancing a representation of an existing database's structure in order to make hidden semantics explicit. In contrast to other approaches, we present an approach that takes an existing relational database as input, obtains a copy of its m...

â  performance and capacity of sulfur recovery unit (sru) are greatly affected by the h2s:co2 ratio of the acid gas stream. the acid gases in iran contain around 35 mol% h2s and 60 mol% co2. this low concentration of h2s calls for more complex sulfur plant, larger equipments, and higher costs. acid gas enrichment processes (age) is run to upgrade low quality acid gas collected from gas treating...

Negative feedback can serve many different cellular functions, including noise reduction in transcriptional networks and the creation of circadian oscillations. However, only one special type of negative feedback ("integral feedback") ensures perfect adaptation, where steady-state output is independent of steady-state input. Here we quantitatively measure single-cell dynamics in the Saccharomyc...

There has been increasing societal concern about the welfare of farm animals residing in certain modern systems which provide less varied sensory input than natural surroundings (Harrison, 1964; Singer, 1976; Hason and Singer, 1980; Fox, 1984). Environmental complexity affects both central nervous system anatomical development and behavior (Bennett et al., 1964; Diamond et al., 1964; Greenough ...