Minimal Synthesis of String To String Functions From Examples

We study the problem of synthesizing string to string transformations from a set of input/output examples. The transformations we consider are expressed using deterministic finite automata (DFA) that read pairs of letters, one letter from the input and one from the output. The DFA corresponding to these transformations have additional constraints, ensuring that each input string is mapped to exactly one output string. We suggest that, given a set of input/output examples, the smallest DFA consistent with the examples is a good candidate for the transformation the user was expecting. We therefore study the problem of, given a set of examples, finding a minimal DFA consistent with the examples and satisfying the functionality and totality constraints mentioned above. We prove that, in general, this problem (the corresponding decision problem) is NP-complete. This is unlike the standard DFA minimization problem which can be solved in polynomial time. We provide several NP-hardness proofs that show the hardness of multiple (independent) variants of the problem. Finally, we propose an algorithm for finding the minimal DFA consistent with input/output examples, that uses a reduction to SMT solvers. We implemented the algorithm, and used it to evaluate the likelihood that the minimal DFA indeed corresponds to the DFA expected by the user.Comment: SYNT 201

Caracterização físico-química e perfil lipídico da semente de maracujá do mato (Passiflora cincinnata Mast.).

O presente estudo tem como objetivo avaliar o potencial nutricional da semente de maracujá do mato por meio do conhecimento da composição físico química e perfil lipídico desse resíduo, verificando seu potencial de tecnológico para indústria de alimentos

On the nonequilibrium entropy of large and small systems

Thermodynamics makes definite predictions about the thermal behavior of macroscopic systems in and out of equilibrium. Statistical mechanics aims to derive this behavior from the dynamics and statistics of the atoms and molecules making up these systems. A key element in this derivation is the large number of microscopic degrees of freedom of macroscopic systems. Therefore, the extension of thermodynamic concepts, such as entropy, to small (nano) systems raises many questions. Here we shall reexamine various definitions of entropy for nonequilibrium systems, large and small. These include thermodynamic (hydrodynamic), Boltzmann, and Gibbs-Shannon entropies. We shall argue that, despite its common use, the last is not an appropriate physical entropy for such systems, either isolated or in contact with thermal reservoirs: physical entropies should depend on the microstate of the system, not on a subjective probability distribution. To square this point of view with experimental results of Bechhoefer we shall argue that the Gibbs-Shannon entropy of a nano particle in a thermal fluid should be interpreted as the Boltzmann entropy of a dilute gas of Brownian particles in the fluid

Ferulic acid: a key component in grass lignocellulose recalcitrance to hydrolysis

In the near future, grasses must provide most of the biomass for the production of renewable fuels. However, grass cell walls are characterized by a large quantity of hydroxycinnamic acids such as ferulic and p-coumaric acids, which are thought to reduce the biomass saccharification. Ferulic acid (FA) binds to lignin, polysaccharides and structural proteins of grass cell walls cross-linking these components. A controlled reduction of FA level or of FA cross-linkages in plants of industrial interest can improve the production of cellulosic ethanol. Here, we review the biosynthesis and roles of FA in cell wall architecture and in grass biomass recalcitrance to enzyme hydrolysis

Spatial and topological organization of DNA chains induced by gene co-localization

Transcriptional activity has been shown to relate to the organization of chromosomes in the eukaryotic nucleus and in the bacterial nucleoid. In particular, highly transcribed genes, RNA polymerases and transcription factors gather into discrete spatial foci called transcription factories. However, the mechanisms underlying the formation of these foci and the resulting topological order of the chromosome remain to be elucidated. Here we consider a thermodynamic framework based on a worm-like chain model of chromosomes where sparse designated sites along the DNA are able to interact whenever they are spatially close-by. This is motivated by recurrent evidence that there exists physical interactions between genes that operate together. Three important results come out of this simple framework. First, the resulting formation of transcription foci can be viewed as a micro-phase separation of the interacting sites from the rest of the DNA. In this respect, a thermodynamic analysis suggests transcription factors to be appropriate candidates for mediating the physical interactions between genes. Next, numerical simulations of the polymer reveal a rich variety of phases that are associated with different topological orderings, each providing a way to increase the local concentrations of the interacting sites. Finally, the numerical results show that both one-dimensional clustering and periodic location of the binding sites along the DNA, which have been observed in several organisms, make the spatial co-localization of multiple families of genes particularly efficient.Comment: Figures and Supplementary Material freely available on http://dx.doi.org/10.1371/journal.pcbi.100067

Measurement of the ttˉproductioncrosssectionint\bar{t} production cross section in p\bar{p}collisionsat collisions at \sqrt{s}$ = 1.8 TeV

We update the measurement of the top production cross section using the CDF detector at the Fermilab Tevatron. This measurement uses $t\bar{t}$ decays to the final states $e+\nu$+jets and $\mu+\nu$+jets. We search for $b$ quarks from $t$ decays via secondary-vertex identification or the identification of semileptonic decays of the $b$ and cascade $c$ quarks. The background to the $t\bar{t}$ production is determined primarily through a Monte Carlo simulation. However, we calibrate the simulation and evaluate its uncertainty using several independent data samples. For a top mass of 175 $GeV/c^2$, we measure $\sigma_{t\bar{t}}=5.1 \pm 1.5$ pb and $\sigma_{t\bar{t}}=9.2 \pm 4.3$ pb using the secondary vertex and the lepton tagging algorithms, respectively. Finally, we combine these results with those from other $t\bar{t}$ decay channels and obtain $\sigma_{t\bar{t}} = 6.5^{+1.7}_{-1.4}$ pb.Comment: The manuscript consists of 130 pages, 35 figures and 42 tables in RevTex. The manuscript is submitted to Physical Review D. Fixed typo in author lis

Search for Narrow Diphoton Resonances and for gamma-gamma+W/Z Signatures in p\bar p Collisions at sqrt(s)=1.8 TeV

We present results of searches for diphoton resonances produced both inclusively and also in association with a vector boson (W or Z) using 100 pb^{-1} of p\bar p collisions using the CDF detector. We set upper limits on the product of cross section times branching ratio for both p\bar p\to\gamma\gamma + X and p\bar p\to\gamma\gamma + W/Z. Comparing the inclusive production to the expectations from heavy sgoldstinos we derive limits on the supersymmetry-breaking scale sqrt{F} in the TeV range, depending on the sgoldstino mass and the choice of other parameters. Also, using a NLO prediction for the associated production of a Higgs boson with a W or Z boson, we set an upper limit on the branching ratio for H\to\gamma\gamma. Finally, we set a lower limit on the mass of a `bosophilic' Higgs boson (e.g. one which couples only to \gamma, W, and Z$ bosons with standard model couplings) of 82 GeV/c^2 at 95% confidence level.Comment: 30 pages, 11 figure