347 research outputs found
Effects of anabolic steroids on acute phase responses in intra-abdominal sepsis
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
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
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
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
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
Redesign of a Grignard-Based Active Pharmaceutical Ingredient (API) Batch Synthesis to a Flow Process for the Preparation of Melitracen HCl
Multicentre observational study of adherence to Sepsis Six guidelines in emergency general surgery
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
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
- …