Flexible profile approach to the conjugate heat transfer problem

The flexible profile approach proposed earlier to create CTM (compact or reduced order thermal models) is extended to cover the area of conjugate heat transfer. The flexible profile approach is a methodology that allows building a highly boundary conditions independent CTM, with any desired degree of accuracy, that may adequately replace detailed 3D models for the whole spectrum of applications in which the modeled object may be used. The extension to conjugate problems radically solves the problem of interfacing two different domains. Each domain, fluid or solid, can be "compacted" independently creating two CTM that can be joined together to produce reliable results for any arbitrary set of external boundary conditions.Comment: Submitted on behalf of TIMA Editions (http://irevues.inist.fr/tima-editions

Modulational instability of ion-acoustic wave packets in quantum pair-ion plasmas

Amplitude modulation of quantum ion-acoustic waves (QIAWs) in a quantum electron-pair-ion plasma is studied. It is shown that the quantum coupling parameter $H$ (being the ratio of the plasmonic energy density to the Fermi energy) is ultimate responsible for the modulational stability of QIAW packets, without which the wave becomes modulational unstable. New regimes for the modulational stability (MS) and instability (MI) are obtained in terms of $H$ and the positive to negative ion density ratio $\beta$. The growth rate of MI is obtained, the maximum value of which increases with $\beta$ and decreases with $H$. The results could be important for understanding the origin of modulated QIAW packets in the environments of dense astrophysical objects, laboratory negative ion plasmas as well as for the next generation laser solid density plasma experiments.Comment: 4 pages, 2 figures (to appear in Astrophysics and Space Science

Nonlinear structures: explosive, soliton and shock in a quantum electron-positron-ion magnetoplasma

Theoretical and numerical studies are performed for the nonlinear structures (explosive, solitons and shock) in quantum electron-positron-ion magnetoplasmas. For this purpose, the reductive perturbation method is employed to the quantum hydrodynamical equations and the Poisson equation, obtaining extended quantum Zakharov-Kuznetsov equation. The latter has been solved using the generalized expansion method to obtain a set of analytical solutions, which reflect the possibility of the propagation of various nonlinear structures. The relevance of the present investigation to the white dwarfs is highlighted.Comment: 7 figure

Spin and Rotations in Galois Field Quantum Mechanics

We discuss the properties of Galois Field Quantum Mechanics constructed on a vector space over the finite Galois field GF(q). In particular, we look at 2-level systems analogous to spin, and discuss how SO(3) rotations could be embodied in such a system. We also consider two-particle `spin' correlations and show that the Clauser-Horne-Shimony-Holt (CHSH) inequality is nonetheless not violated in this model.Comment: 21 pages, 11 pdf figures, LaTeX. Uses iopart.cls. Revised introduction. Additional reference

Towards a canonical classical natural deduction system

This paper studies a new classical natural deduction system, presented as a typed calculus named \lml. It is designed to be isomorphic to Curien-Herbelin's calculus, both at the level of proofs and reduction, and the isomorphism is based on the correct correspondence between cut (resp. left-introduction) in sequent calculus, and substitution (resp. elimination) in natural deduction. It is a combination of Parigot's $\lambda\mu$-calculus with the idea of ``coercion calculus'' due to Cervesato-Pfenning, accommodating let-expressions in a surprising way: they expand Parigot's syntactic class of named terms. This calculus aims to be the simultaneous answer to three problems. The first problem is the lack of a canonical natural deduction system for classical logic. \lml is not yet another classical calculus, but rather a canonical reflection in natural deduction of the impeccable treatment of classical logic by sequent calculus. The second problem is the lack of a formalization of the usual semantics of Curien-Herbelin's calculus, that explains co-terms and cuts as, respectively, contexts and hole-filling instructions. The mentioned isomorphism is the required formalization, based on the precise notions of context and hole-expression offered by \lml. The third problem is the lack of a robust process of ``read-back'' into natural deduction syntax of calculi in the sequent calculus format, that affects mainly the recent proof-theoretic efforts of derivation of $\lambda$-calculi for call-by-value. An isomorphic counterpart to the $Q$-subsystem of Curien-Herbelin's-calculus is derived, obtaining a new $\lambda$-calculus for call-by-value, combining control and let-expressions.Fundação para a Ciência e a Tecnologia (FCT

Large scale analytic calculations in quantum field theories

We present a survey on the mathematical structure of zero- and single scale quantities and the associated calculation methods and function spaces in higher order perturbative calculations in relativistic renormalizable quantum field theories.Comment: 25 pages Latex, 1 style fil

Needle & knot : binder boilerplate tied up

To lighten the burden of programming language mechanization, many approaches have been developed that tackle the substantial boilerplate which arises from variable binders. Unfortunately, the existing approaches are limited in scope. They typically do not support complex binding forms (such as multi-binders) that arise in more advanced languages, or they do not tackle the boilerplate due to mentioning variables and binders in relations. As a consequence, the human mechanizer is still unnecessarily burdened with binder boilerplate and discouraged from taking on richer languages. This paper presents Knot, a new approach that substantially extends the support for binder boilerplate. Knot is a highly expressive language for natural and concise specification of syntax with binders. Its meta-theory constructively guarantees the coverage of a considerable amount of binder boilerplate for well-formed specifications, including that for well-scoping of terms and context lookups. Knot also comes with a code generator, Needle, that specializes the generic boilerplate for convenient embedding in COQ and provides a tactic library for automatically discharging proof obligations that frequently come up in proofs of weakening and substitution lemmas of type-systems. Our evaluation shows, that Needle & Knot significantly reduce the size of language mechanizations (by 40% in our case study). Moreover, as far as we know, Knot enables the most concise mechanization of the POPLmark Challenge (1a + 2a) and is two-thirds the size of the next smallest. Finally, Knot allows us to mechanize for instance dependentlytyped languages, which is notoriously challenging because of dependent contexts and mutually-recursive sorts with variables

Medication errors in the Middle East countries: a systematic review of the literature

Background: Medication errors are a significant global concern and can cause serious medical consequences for patients. Little is known about medication errors in Middle Eastern countries. The objectives of this systematic review were to review studies of the incidence and types of medication errors in Middle Eastern countries and to identify the main contributory factors involved. Methods: A systematic review of the literature related to medication errors in Middle Eastern countries was conducted in October 2011 using the following databases: Embase, Medline, Pubmed, the British Nursing Index and the Cumulative Index to Nursing & Allied Health Literature. The search strategy included all ages and languages. Inclusion criteria were that the studies assessed or discussed the incidence of medication errors and contributory factors to medication errors during the medication treatment process in adults or in children. Results: Forty-five studies from 10 of the 15 Middle Eastern countries met the inclusion criteria. Nine (20%) studies focused on medication errors in paediatric patients. Twenty-one focused on prescribing errors, 11 measured administration errors, 12 were interventional studies and one assessed transcribing errors. Dispensing and documentation errors were inadequately evaluated. Error rates varied from 7.1% to 90.5% for prescribing and from 9.4% to 80% for administration. The most common types of prescribing errors reported were incorrect dose (with an incidence rate from 0.15% to 34.8% of prescriptions), wrong frequency and wrong strength. Computerised physician rder entry and clinical pharmacist input were the main interventions evaluated. Poor knowledge of medicines was identified as a contributory factor for errors by both doctors (prescribers) and nurses (when administering drugs). Most studies did not assess the clinical severity of the medication errors. Conclusion: Studies related to medication errors in the Middle Eastern countries were relatively few in number and of poor quality. Educational programmes on drug therapy for doctors and nurses are urgently needed

Evaluation of a protocol-based intervention to promote timely switching from intravenous to oral paracetamol for post-operative pain management: an interrupted time series analysis

Rationale, aims and objectives: Timely switching from intravenous to oral therapy ensures optimized treatment and efficient use of health care resources. Intravenous (IV) paracetamol is widely used for post-operative pain management but not always switched to the oral form in a timely manner, leading to unnecessary increase in expenditure. This study aims to evaluate the impact of a multifaceted intervention to promote timely switching from the IV to oral form in the post-operative setting. Methods: An evidence-based prescribing protocol was designed and implemented by the clinical pharmacy team in a single district general hospital in Egypt. The protocol specified the criteria for appropriate prescribing of IV paracetamol. Doctors were provided with information and educational sessions prior to implementation. A prospective, quasi-experimental study was undertaken to evaluate its impact on IV paracetamol utilization and costs. Data on monthly utilization and costs were recorded for 12 months before and after implementation (January 2012 to December 2013). Data were analysed using interrupted time series analysis. Results: Prior to implementation, in 2012, total spending on IV paracetamol was 674 154.00 Egyptian Pounds (L.E.) (23 668.00). There was a non-significant (P > 0.05) downward trend in utilization (−32 ampoules per month) and costs [reduction of 632 L.E. (222) per month]. Following implementation, immediate decrease in utilization and costs (P