2,863 research outputs found

    Quantification of reachable attractors in asynchronous discrete dynamics

    Full text link
    Motivation: Models of discrete concurrent systems often lead to huge and complex state transition graphs that represent their dynamics. This makes difficult to analyse dynamical properties. In particular, for logical models of biological regulatory networks, it is of real interest to study attractors and their reachability from specific initial conditions, i.e. to assess the potential asymptotical behaviours of the system. Beyond the identification of the reachable attractors, we propose to quantify this reachability. Results: Relying on the structure of the state transition graph, we estimate the probability of each attractor reachable from a given initial condition or from a portion of the state space. First, we present a quasi-exact solution with an original algorithm called Firefront, based on the exhaustive exploration of the reachable state space. Then, we introduce an adapted version of Monte Carlo simulation algorithm, termed Avatar, better suited to larger models. Firefront and Avatar methods are validated and compared to other related approaches, using as test cases logical models of synthetic and biological networks. Availability: Both algorithms are implemented as Perl scripts that can be freely downloaded from http://compbio.igc.gulbenkian.pt/nmd/node/59 along with Supplementary Material.Comment: 19 pages, 2 figures, 2 algorithms and 2 table

    The Summary Judgment Revolution that Wasn\u27t

    Full text link
    The U.S. Supreme Court decided a trilogy of cases on summary judgment in 1986. Questions remain as to how much effect these cases have had on judicial decision-making in terms of wins and losses for plaintiffs. Shifts in wins, losses, and what cases get to decisions on the merits impact access to justice. We assemble novel datasets to examine this question empirically in three areas of law that are more likely to respond to shifts in the standard for summary judgment: antitrust, securities regulation, and civil rights. We find that the Supreme Court’s decisions had a statistically significant effect in antitrust, an ambiguous effect in civil rights cases, and no effect in securities regulation. We also find that, in the trilogy’s wake, antitrust appellate cases were far more likely to cite trilogy cases— particularly the one trilogy case that was an antitrust case—than appellate cases in the other areas. This suggests that the lone trilogy case that arose in antitrust had an effect on decision making in that field, but that the trilogy had a limited effect across other substantive areas of law. This finding differs from Twombly and Iqbal where an antitrust decision ultimately reshaped the entire body of law across doctrines around motions to dismiss

    Possible explanations for different surface quality in laser cutting with 1 micron and 10 microns beams

    Get PDF
    In laser cutting of thick steel sheets, quality difference is observed between cut surfaces obtained with 1 micron and 10 micron laser beams. This paper investigates physical mechanisms for this interesting and important problem of the wavelength dependence. First, striation generation process is described, based on a 3D structure of melt flow on a kerf front, which was revealed for the first time by our recent experimental observations. Two fundamental processes are suggested to explain the difference in the cut surface quality: destabilization of the melt flow in the central part of the kerf front and downward displacement of discrete melt accumulations along the side parts of the front. Then each of the processes is analyzed using a simplified analytical model. The results show that in both processes, different angular dependence of the absorptivity of the laser beam can result in the quality difference. Finally we propose use of radial polarization to improve the quality with the 1 micron wavelength

    The path programming problem and a partial path relaxation

    Get PDF
    We introduce the class of path programming problems, which can be used to model many known optimization problems. A path programming problem can be formulated as a binary programming problem, for which the pricing problem can be modeled as a shortest path problem with resource constraints when column generation is used to solve its linear programming relaxation. Many optimization problems found in the literature belong to this class. We provide a framework for obtaining a partial path relaxation of a path programming problem. Like traditional path relaxations, the partial path relaxation allows the computational complexity of the pricing problem to be reduced, at the expense of a weaker linear programming bound. We demonstrate the versatility of this framework by providing different examples of partial path relaxations for a crew scheduling problem and vehicle routing problem

    A Branch-and-Price Approach for a Ship Routing Problem with Multiple Products and Inventory Constraints

    Get PDF
    In the oil industry, different oil components are blended in a refinery to fuel products. These products are transported to different harbors by ship. Due to the limited storage capacity at the harbors and the undesirability of a stock-out, inventory levels at the harbors have to be taken into account during the construction of the ship routes. In this paper, we give a detailed description of this problem, which we call the ship routing problem with multiple products and inventory constraints. Furthermore, we formulate this problem as a generalized set-covering problem, and we present a Branch-and-Price algorithm to solve it. The pricing problems have a very complex nature. We discuss a dynamic programming algorithm to solve them to optimality

    Structural and magnetic properties of E-Fe_{1-x}Co_xSi thin films deposited via pulsed laser deposition

    Get PDF
    We report pulsed laser deposition synthesis and characterization of polycrystalline Fe1-xCox Si thin films on Si (111). X-ray diffraction, transmission electron, and atomic force microscopies reveal films to be dense, very smooth, and single phase with a cubic B20 crystal structure. Ferromagnetism with significant magnetic hysteresis is found for all films including nominally pure FeSi films in contrast to the very weak paramagnetism of bulk FeSi. For Fe1-xCoxSi this signifies a change from helimagnetism in bulk, to ferromagnetism in thin films. These ferromagnetic thin films are promising as a magnetic-silicide/silicon system for polarized current production, manipulation, and detection.Comment: 12 pages, 4 figures accepted in the Applied Physics Letter

    Computer Mediated Communication

    Get PDF
    What will the age of the telephone-computer be like? In this thesis we present an answer to this question. We will base this answer on a conceptual framework being developed by the research group in which this work has been done, namely the Caltech/NCR Project; the work of this Project is embodied in the New World of Computing System. This framework will be stated as a paradigm for human information activities. The main contributions of this thesis are, first, an examination of the implications of this framework for the communication aspects of information processing. The second is the design of the communication aspects of the New World of Computing System, reflecting the results of this examination. The System, in its totality, provides a computer environment for the telephone computer age
    • …
    corecore