A Method to Identify and Analyze Biological Programs through Automated Reasoning.

Predictive biology is elusive because rigorous, data-constrained, mechanistic models of complex biological systems are difficult to derive and validate. Current approaches tend to construct and examine static interaction network models, which are descriptively rich but often lack explanatory and predictive power, or dynamic models that can be simulated to reproduce known behavior. However, in such approaches implicit assumptions are introduced as typically only one mechanism is considered, and exhaustively investigating all scenarios is impractical using simulation. To address these limitations, we present a methodology based on automated formal reasoning, which permits the synthesis and analysis of the complete set of logical models consistent with experimental observations. We test hypotheses against all candidate models, and remove the need for simulation by characterizing and simultaneously analyzing all mechanistic explanations of observed behavior. Our methodology transforms knowledge of complex biological processes from sets of possible interactions and experimental observations to precise, predictive biological programs governing cell function

Benchmarking of sustainability to assess practices and performances of the management of the end of life cycle of electronic products: A study of Brazilian manufacturing companies

The relentless pursuit of lower production costs causes companies to invest in more efficient production systems so that they can remain economically competitive, while the actions focusing on more sustainable operations from an environmental point of view are usually performed to meet the political government regulating environmental control. However, it is common for companies to focus their efforts to minimize the environmental impacts at an early stage of the product life cycle, neglecting sustainability management in the post-use phase. Given the context, this study seeks to develop sustainability indicators that can be used by the electronics industry to assess the level of practice and performance during production that are related to product recovery after the use phase, in order to better understand how companies are acting to reduce the environmental impacts of their products at the end of their life cycle. Initially, critical success factors related to environmental management of the product’s end-of-life are obtained. Then, some of those critical success factors are prioritized, giving rise to the indicators of sustainability used in the benchmarking method. Benchmarking was performed in electronics Brazilian companies, and the data was obtained by means of a questionnaire and interviews. It is concluded from the results that the proposed indicators are suitable for measuring the levels of practices and performance of the participant companies in environmental management at the end of the product life cycle as the indicators were able to portray faithfully the reality of each company

Complete moduli of cubic threefolds and their intermediate Jacobians

The intermediate Jacobian map, which associates to a smooth cubic threefold its intermediate Jacobian, does not extend to the GIT compactification of the space of cubic threefolds, not even as a map to the Satake compactification of the moduli space of principally polarized abelian fivefolds. A much better "wonderful" compactification of the space of cubic threefolds was constructed by the first and fourth authors --- it has a modular interpretation, and divisorial normal crossing boundary. We prove that the intermediate Jacobian map extends to a morphism from the wonderful compactification to the second Voronoi toroidal compactification of the moduli of principally polarized abelian fivefolds --- the first and fourth author previously showed that it extends to the Satake compactification. Since the second Voronoi compactification has a modular interpretation, our extended intermediate Jacobian map encodes all of the geometric information about the degenerations of intermediate Jacobians, and allows for the study of the geometry of cubic threefolds via degeneration techniques. As one application we give a complete classification of all degenerations of intermediate Jacobians of cubic threefolds of torus rank 1 and 2.Comment: 56 pages; v2: multiple updates and clarification in response to detailed referee's comment

Super edge-magic deficiency of join-product graphs

A graph $G$ is called \textit{super edge-magic} if there exists a bijective function $f$ from $V(G) \cup E(G)$ to $\{1, 2, \ldots, |V(G) \cup E(G)|\}$ such that $f(V(G)) = \{1, 2, \ldots, |V(G)|\}$ and $f(x) + f(xy) + f(y)$ is a constant $k$ for every edge $xy$ of $G$. Furthermore, the \textit{super edge-magic deficiency} of a graph $G$ is either the minimum nonnegative integer $n$ such that $G \cup nK_1$ is super edge-magic or $+\infty$ if there exists no such integer. \emph{Join product} of two graphs is their graph union with additional edges that connect all vertices of the first graph to each vertex of the second graph. In this paper, we study the super edge-magic deficiencies of a wheel minus an edge and join products of a path, a star, and a cycle, respectively, with isolated vertices.Comment: 11 page

The Architecture of Transaction Networks: A Comparative Analysis of Hierarchy in Two Sectors

Many products are manufactured in networks of firms linked by transactions, but comparatively little is known about how or why such transaction networks differ. This article investigates the transaction networks of two large sectors in Japan at a single point in time. In characterizing these networks, our primary measure is “hierarchy,” defined as the degree to which transactions flow in one direction, from “upstream” to “downstream.” Our empirical results show that the electronics sector exhibits a much lower degree of hierarchy than the automotive sector because of the presence of numerous inter-firm transaction cycles. These cycles, in turn, reveal that a significant group of firms have two-way “vertically permeable boundaries”: (i) they participate in multiple stages of an industry’s value chain, hence are vertically integrated, but also (ii) they allow both downstream units to purchase intermediate inputs from and upstream units to sell intermediate goods to other sector firms. We demonstrate that the 10 largest electronics firms had two-way vertically permeable boundaries while almost no firms in the automotive sector had adopted that practice

The Economics of Reprocessing vs. Direct Disposal of Spent Nuclear Fuel

This report assesses the economics of reprocessing versus direct disposal of spent nuclear fuel. The breakeven uranium price at which reprocessing spent nuclear fuel from existing light-water reactors (LWRs) and recycling the resulting plutonium and uranium in LWRs would become economic is assessed, using central estimates of the costs of different elements of the nuclear fuel cycle (and other fuel cycle input parameters), for a wide range of range of potential reprocessing prices. Sensitivity analysis is performed, showing that the conclusions reached are robust across a wide range of input parameters. The contribution of direct disposal or reprocessing and recycling to electricity cost is also assessed. The choice of particular central estimates and ranges for the input parameters of the fuel cycle model is justified through a review of the relevant literature. The impact of different fuel cycle approaches on the volume needed for geologic repositories is briefly discussed, as are the issues surrounding the possibility of performing separations and transmutation on spent nuclear fuel to reduce the need for additional repositories. A similar analysis is then performed of the breakeven uranium price at which deploying fast neutron breeder reactors would become competitive compared with a once-through fuel cycle in LWRs, for a range of possible differences in capital cost between LWRs and fast neutron reactors. Sensitivity analysis is again provided, as are an analysis of the contribution to electricity cost, and a justification of the choices of central estimates and ranges for the input parameters. The equations used in the economic model are derived and explained in an appendix. Another appendix assesses the quantities of uranium likely to be recoverable worldwide in the future at a range of different possible future prices

Low-density MDS codes and factors of complete graphs

We present a class of array code of size n×l, where l=2n or 2n+1, called B-Code. The distances of the B-Code and its dual are 3 and l-1, respectively. The B-Code and its dual are optimal in the sense that i) they are maximum-distance separable (MDS), ii) they have an optimal encoding property, i.e., the number of the parity bits that are affected by change of a single information bit is minimal, and iii) they have optimal length. Using a new graph description of the codes, we prove an equivalence relation between the construction of the B-Code (or its dual) and a combinatorial problem known as perfect one-factorization of complete graphs, thus obtaining constructions of two families of the B-Code and its dual, one of which is new. Efficient decoding algorithms are also given, both for erasure correcting and for error correcting. The existence of perfect one-factorizations for every complete graph with an even number of nodes is a 35 years long conjecture in graph theory. The construction of B-Codes of arbitrary odd length will provide an affirmative answer to the conjecture