347 research outputs found

    Effects of anabolic steroids on acute phase responses in intra-abdominal sepsis

    Get PDF
    The acute phase response is an important adaptive response to sepsis and injury. As anabolic steroids increase protein synthesis we postulated that these agents might also increase hepatic acute phase protein synthesis. Male Wistar rats were pretreated with testosterone or danazol for 48 h prior to caecal ligation and puncture (CLP). Thirty-six h following surgery the animals were killed and blood taken for full blood count, total protein, albumin, α, β and γ globulin fractions on serum electrophoresis, complement C3 and transferrin levels. Danazol increased the α1, α2 and β1 globulin serum protein fractions in comparison with no surgery and CLP alone groups. These results indicate that danazol increases plasma acute phase proteins, as measured by electrophoresis, in this model of intra-abdominal sepsis

    Parameterizing by the Number of Numbers

    Full text link
    The usefulness of parameterized algorithmics has often depended on what Niedermeier has called, "the art of problem parameterization". In this paper we introduce and explore a novel but general form of parameterization: the number of numbers. Several classic numerical problems, such as Subset Sum, Partition, 3-Partition, Numerical 3-Dimensional Matching, and Numerical Matching with Target Sums, have multisets of integers as input. We initiate the study of parameterizing these problems by the number of distinct integers in the input. We rely on an FPT result for ILPF to show that all the above-mentioned problems are fixed-parameter tractable when parameterized in this way. In various applied settings, problem inputs often consist in part of multisets of integers or multisets of weighted objects (such as edges in a graph, or jobs to be scheduled). Such number-of-numbers parameterized problems often reduce to subproblems about transition systems of various kinds, parameterized by the size of the system description. We consider several core problems of this kind relevant to number-of-numbers parameterization. Our main hardness result considers the problem: given a non-deterministic Mealy machine M (a finite state automaton outputting a letter on each transition), an input word x, and a census requirement c for the output word specifying how many times each letter of the output alphabet should be written, decide whether there exists a computation of M reading x that outputs a word y that meets the requirement c. We show that this problem is hard for W[1]. If the question is whether there exists an input word x such that a computation of M on x outputs a word that meets c, the problem becomes fixed-parameter tractable

    Minimal Synthesis of String To String Functions From Examples

    Full text link
    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

    Effect of Air Injection on Nucleation Rates: An Approach from Induction Time Statistics

    Get PDF
    From disruption of the supersaturated solution to improved mass transfer in the crystallizing suspension, the introduction of a moving gas phase in a crystallizer could lead to improved rates of nucleation and crystal growth. In this work, saturated air has been injected to batch crystallizers to study the effects on formation of the first crystal and subsequent turbidity buildup. To account for the typically large sample-to-sample variation, nucleation rates were evaluated for a large number of replicates using probability distributions of induction times. The slope and the intercept of the distributions were studied independently, allowing the simultaneous determination of the mean induction time and a certain detection delay related to the rate of crystal growth after formation of the first nucleus. When saturated air was injected in aqueous glycine solutions, the average detection delay was reduced from 69 to 13 min, and the mean induction time decreased from 128 to 36 min. The effect on aqueous solutions of l-arginine was less apparent, with a detection delay reduction from 15 to 3 min, and no significant changes on the rate of primary nucleation. These results demonstrate the potential of this technique for reduction in nucleation induction time and improved mass deposition rates in crystallization operations

    Mutation of Directed Graphs -- Corresponding Regular Expressions and Complexity of Their Generation

    Full text link
    Directed graphs (DG), interpreted as state transition diagrams, are traditionally used to represent finite-state automata (FSA). In the context of formal languages, both FSA and regular expressions (RE) are equivalent in that they accept and generate, respectively, type-3 (regular) languages. Based on our previous work, this paper analyzes effects of graph manipulations on corresponding RE. In this present, starting stage we assume that the DG under consideration contains no cycles. Graph manipulation is performed by deleting or inserting of nodes or arcs. Combined and/or multiple application of these basic operators enable a great variety of transformations of DG (and corresponding RE) that can be seen as mutants of the original DG (and corresponding RE). DG are popular for modeling complex systems; however they easily become intractable if the system under consideration is complex and/or large. In such situations, we propose to switch to corresponding RE in order to benefit from their compact format for modeling and algebraic operations for analysis. The results of the study are of great potential interest to mutation testing

    Multicentre observational study of adherence to Sepsis Six guidelines in emergency general surgery

    Get PDF
    Background Evidence-based interventions may reduce mortality in surgical patients. This study documented the prevalence of sepsis, adherence to guidelines in its management, and timing of source control in general surgical patients presenting as an emergency. Methods Patients aged 16 years or more presenting with emergency general surgery problems were identified over a 7-day period and then screened for sepsis compliance (using the Sepsis Six standards, devised for severe sepsis) and the timing of source control (whether radiological or surgical). Exploratory analyses examined associations between the mode (emergency department or general practitioner) and time of admission, adherence to the sepsis guidelines, and outcomes (complications or death within 30 days). Results Of a total of 5067 patients from 97 hospitals across the UK, 911 (18·0 per cent) fulfilled the criteria for sepsis, 165 (3·3 per cent) for severe sepsis and 24 (0·5 per cent) for septic shock. Timely delivery of all Sepsis Six guidelines for patients with severe sepsis was achieved in four patients. For patients with severe sepsis, 17·6–94·5 per cent of individual guidelines within the Sepsis Six were delivered. Oxygen was the criterion most likely to be missed, followed by blood cultures in all sepsis severity categories. Surgery for source control occurred a median of 19·8 (i.q.r. 10·0–35·4) h after diagnosis. Omission of Sepsis Six parameters did not appear to be associated with an increase in morbidity or mortality. Conclusion Although sepsis was common in general surgical patients presenting as an emergency, adherence to severe sepsis guidelines was incomplete in the majority. Despite this, no evidence of harm was apparent

    The preparation of graphic models for a virtual reality application in Unity

    Get PDF
    Although Virtual Reality has existed for decades, it is currently experiencing a boom. This is mainly due to the new powerful hardware devices available to many people. Accompanying this greater availability, the fields of use are also currently expanding – medicine, military, business, engineering, education, entertainment, etc. The main purpose of Virtual Reality is to provide the user with a real-looking simulated environment, including interaction. Specialised developer software tools are used in order to create Virtual Reality applications that exploit suitable 3D graphics models. This paper deals with the creation and preparation of such graphical models - including textures, and the problems of the conversion process, to a developer application. Blender is used to create models and UV maps. The export of these models and UV maps from Blender is set up for easy implementation in the Substance Painter software, where the textures are drawn - and later, into the Unity developer engine for Virtual Reality application. © 2020, Springer Nature Switzerland AG
    • …
    corecore