1,367 research outputs found
The performance of pulsed-pressure wetted-wall distillation columns
The main purpose of this work was to investigate
the characteristics and operational performance of pulsed
wetted-wall distillation columns at total reflux and using
the binary system methylcyclohexane/toluene.
The results of a detailed study on three
concentric-tube, wetted-wall columns are given both with
the application of pulsations on the vapour phase and
without. Marked improvement in the performance of the
columns expressed as number of transfer units (N.T.U.)
was obtained by using pulsations in the range of 0â21
cycles/sec, even to the extent of quadrupling the efficiency.
It was found that an increase in efficiency was obtained
for both increase in amplitude and frequency and that
there exists a maximum efficiency at an approximate
frequency of 17 cycles per second. [Continues.
Recommended from our members
Fewer epistemological challenges for connectionism
Seventeen years ago, John McCarthy wrote the note Epistemological challenges for connectionism as a response to Paul Smolenskyâs paper 'On the proper treatment of connectionism'. I will discuss the extent to which the four key challenges put forward by McCarthy have been solved, and what are the new challenges ahead. I argue that there are fewer epistemological challenges for connectionism, but progress has been slow. Nevertheless, there is now strong indication that neural-symbolic integration can provide effective systems of expressive reasoning and robust learning due to the recent developments in the field
Recommended from our members
Connectionist modal logic: Representing modalities in neural networks
AbstractModal logics are amongst the most successful applied logical systems. Neural networks were proved to be effective learning systems. In this paper, we propose to combine the strengths of modal logics and neural networks by introducing Connectionist Modal Logics (CML). CML belongs to the domain of neural-symbolic integration, which concerns the application of problem-specific symbolic knowledge within the neurocomputing paradigm. In CML, one may represent, reason or learn modal logics using a neural network. This is achieved by a Modalities Algorithm that translates modal logic programs into neural network ensembles. We show that the translation is sound, i.e. the network ensemble computes a fixed-point meaning of the original modal program, acting as a distributed computational model for modal logic. We also show that the fixed-point computation terminates whenever the modal program is well-behaved. Finally, we validate CML as a computational model for integrated knowledge representation and learning by applying it to a well-known testbed for distributed knowledge representation. This paves the way for a range of applications on integrated knowledge representation and learning, from practical reasoning to evolving multi-agent systems
Review of biphasic insulin aspart in the treatment of type 1 and 2 diabetes
Nazia Raja-Khan, Sarah S Warehime, Robert A GabbayDivision of Endocrinology, Diabetes, and Metabolism, Penn State Institute for Diabetes and Obesity, Pennsylvania State University College of Medicine, Hershey, Pennsylvania, USABackground: Insulin is an effective treatment for achieving glycemic control and preventing complications in patients with diabetes. In order to make insulin therapy more acceptable to patients, newer formulations of insulin have been developed, such as biphasic insulins. Biphasic insulins conveniently provide both prandial and basal insulin in a single injection. One of the most well-studied biphasic insulins is biphasic insulin aspart 70/30.Objective: Our goal was to review the current literature on the safety and efficacy of biphasic insulin aspart in type 1 and type 2 diabetes.Methods: A MEDLINE search was conducted using the terms “biphasic insulin aspart” to identify clinical studies and reviews.Results: Biphasic insulin aspart more effectively reduces post-prandial glucose compared to other biphasic insulins and basal insulins. Compared to biphasic insulin aspart, fasting glucose levels are lower with NPH, similar with glargine, and similar or lower with biphasic human insulin. Treat-to-target trials have shown that a goal HbA1c below 6.5 or 7% can be achieved with biphasic insulin aspart. The risk of hypoglycemia is similar to or less than that seen with other biphasic insulins or NPH insulin.Conclusion: Biphasic insulin aspart 70/30 is a safe and effective treatment option for patients with diabetes.Keywords: biphasic insulin aspart, insulin, diabete
Decidability of quantified propositional intuitionistic logic and S4 on trees
Quantified propositional intuitionistic logic is obtained from propositional
intuitionistic logic by adding quantifiers \forall p, \exists p over
propositions. In the context of Kripke semantics, a proposition is a subset of
the worlds in a model structure which is upward closed. Kremer (1997) has shown
that the quantified propositional intuitionistic logic H\pi+ based on the class
of all partial orders is recursively isomorphic to full second-order logic. He
raised the question of whether the logic resulting from restriction to trees is
axiomatizable. It is shown that it is, in fact, decidable. The methods used can
also be used to establish the decidability of modal S4 with propositional
quantification on similar types of Kripke structures.Comment: v2, 9 pages, corrections and additions; v1 8 page
Diffusion-induced vortex filament instability in 3-dimensional excitable media
We studied the stability of linear vortex filaments in 3-dimensional (3D)
excitable media, using both analytical and numerical methods. We found an
intrinsic 3D instability of vortex filaments that is diffusion-induced, and is
due to the slower diffusion of the inhibitor. This instability can result
either in a single helical filament or in chaotic scroll breakup, depending on
the specific kinetic model. When the 2-dimensional dynamics were in the chaotic
regime, filament instability occurred via on-off intermittency, a failure of
chaos synchronization in the third dimension.Comment: 5 pages, 5 figures, to appear in PRL (September, 1999
A powerful intervention: general practitioners' use of sickness certification in depression
<b>Background</b> Depression is frequently cited as the reason for sickness absence, and it is estimated that sickness certificates are issued in one third of consultations for depression. Previous research has considered GP views of sickness certification but not specifically in relation to depression. This study aimed to explore GPs views of sickness certification in relation to depression.<p></p>
<b>Methods</b> A purposive sample of GP practices across Scotland was selected to reflect variations in levels of incapacity claimants and antidepressant prescribing. Qualitative interviews were carried out between 2008 and 2009.<p></p>
<b>Results</b> A total of 30 GPs were interviewed. A number of common themes emerged including the perceived importance of GP advocacy on behalf of their patients, the tensions between stakeholders involved in the sickness certification system, the need to respond flexibly to patients who present with depression and the therapeutic nature of time away from work as well as the benefits of work. GPs reported that most patients with depression returned to work after a short period of absence and that it was often difficult to predict which patients would struggle to return to work.<p></p>
<b>Conclusions</b>
GPs reported that dealing with sickness certification and depression presents distinct challenges. Sickness certificates are often viewed as powerful interventions, the effectiveness of time away from work for those with depression should be subject to robust enquiry
Algebras of Measurements: the logical structure of Quantum Mechanics
In Quantum Physics, a measurement is represented by a projection on some
closed subspace of a Hilbert space. We study algebras of operators that
abstract from the algebra of projections on closed subspaces of a Hilbert
space. The properties of such operators are justified on epistemological
grounds. Commutation of measurements is a central topic of interest. Classical
logical systems may be viewed as measurement algebras in which all measurements
commute. Keywords: Quantum measurements, Measurement algebras, Quantum Logic.
PACS: 02.10.-v.Comment: Submitted, 30 page
Cut-free Calculi and Relational Semantics for Temporal STIT Logics
We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames
- âŠ