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.

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

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