Optimal Decision Rules in Logical Recognition Models

The task of smooth and stable decision rules construction in logical recognition models is considered. Logical regularities of classes are defined as conjunctions of one-place predicates that determine the membership of features values in an intervals of the real axis. The conjunctions are true on a special no extending subsets of reference objects of some class and are optimal. The standard approach of linear decision rules construction for given sets of logical regularities consists in realization of voting schemes. The weighting coefficients of voting procedures are done as heuristic ones or are as solutions of complex optimization task. The modifications of linear decision rules are proposed that are based on the search of maximal estimations of standard objects for their classes and use approximations of logical regularities by smooth sigmoid functions.

Combined quality function deployment and logical framework analysis to improve quality of emergency care in Malta

Purpose – The purpose of this paper is to develop an integrated patient-focused analytical framework to improve quality of care in accident and emergency (A&E) unit of a Maltese hospital. Design/methodology/approach – The study adopts a case study approach. First, a thorough literature review has been undertaken to study the various methods of healthcare quality management. Second, a healthcare quality management framework is developed using combined quality function deployment (QFD) and logical framework approach (LFA). Third, the proposed framework is applied to a Maltese hospital to demonstrate its effectiveness. The proposed framework has six steps, commencing with identifying patients’ requirements and concluding with implementing improvement projects. All the steps have been undertaken with the involvement of the concerned stakeholders in the A&E unit of the hospital. Findings – The major and related problems being faced by the hospital under study were overcrowding at A&E and shortage of beds, respectively. The combined framework ensures better A&E services and patient flow. QFD identifies and analyses the issues and challenges of A&E and LFA helps develop project plans for healthcare quality improvement. The important outcomes of implementing the proposed quality improvement programme are fewer hospital admissions, faster patient flow, expert triage and shorter waiting times at the A&E unit. Increased emergency consultant cover and faster first significant medical encounter were required to start addressing the problems effectively. Overall, the combined QFD and LFA method is effective to address quality of care in A&E unit. Practical/implications – The proposed framework can be easily integrated within any healthcare unit, as well as within entire healthcare systems, due to its flexible and user-friendly approach. It could be part of Six Sigma and other quality initiatives. Originality/value – Although QFD has been extensively deployed in healthcare setup to improve quality of care, very little has been researched on combining QFD and LFA in order to identify issues, prioritise them, derive improvement measures and implement improvement projects. Additionally, there is no research on QFD application in A&E. This paper bridges these gaps. Moreover, very little has been written on the Maltese health care system. Therefore, this study contributes demonstration of quality of emergency care in Malta.

Logical simulation of communication subsystem for Universal Serial Bus (USB)

The primary purpose of this thesis was to design a logical simulation of a communication sub block to be used in the effective communication of digital data between the host and the peripheral devices. The module designed is a Serial interface engine in the Universal Serial Bus that effectively controls the flow of data for communication between the host and the peripheral devices with the emphasis on the study of timing and control signals, considering the practical aspects of them. In this study an attempt was made to realize data communication in the hardware using the Verilog Hardware Description language, which is supported by most popular logic synthesis tools. Various techniques like Cyclic Redundancy Checks, bit-stuffing and Non Return to Zero are implemented in the design to provide enhanced performance of the module.

Stable algorithm for event detection in event-driven particle dynamics : logical states

Acknowledgments The authors gratefully acknowledge the support of the German Research Foundation (DFG) through the Cluster of Excellence ‘Engineering of Advanced Materials’ at the University of Erlangen-Nuremberg and through Grant Po 472/25.

Keynes’s "Treatise on Money" and the role of the State

Este artículo hace una reconstrucción crítica de la visión de Keynes sobre la relación entre gasto público, tipo de interés, salarios y desempleo, tal y como se formula en su Tratado sobre el Dinero. El trabajo defiende que el enfoque de Keynes lleva a propuestas de política económica que enfatizan la necesidad de intervención estatal directa en la provisión de bienes y servicios. Esta conclusión se deriva de una interpretación circuitista de su obra.

St. Louis to St. Paul Corridor Feasibility and Necessity Study: Consultant's Report to the States, 1990

The study analyzes the need for a four-lane highway between St. Louis and St. Paul, and finds it to be needed; it analyzes the highway's feasibility, and finds it to be feasible; it analyzes alternative design standards and suggests that it be built to expressway standards; and, the study evaluates alternative routes and presents four "finalist" routes for your consideration.

St. Louis to St. Paul Corridor Feasibility and Necessity Study: Consultant's Summary Report, 1990

The study analyzes the need for a four-lane highway between St. Louis and St. Paul, and finds it to be needed; it analyzes the highway's feasibility, and finds it to be feasible; it analyzes alternative design standards and suggests that it be built to expressway standards; and, the study evaluates alternative routes and presents four "finalist" routes for your consideration.

Do we really ponder about necessity of intravenous hydration in acute bronchiolitis?

Objective: The goal was to establish the role of intravenous hydration therapy on mild bronchiolitis. Methods: This was a retrospective case control study. Infants between 1 month and 2 years of age admitted to our general pediatrics ward between June 2012 and June 2013 with a diagnosis of uncomplicated acute bronchiolitis were enrolled to the study. Hospital medical files were reviewed to get information about children personal history, symptoms of the disease, disease severity scores and their management. Patients were classified into 4 groups according to the management; nebulized short-acting β2-agonist (salbutamol) +hydration; nebulized short-acting β2-agonist (salbutamol); hydration and neither bronchodilator nor hydration. We examined length of stay in the hospital as an outcome measure. Results: A total of 94 infants were studied. There was no significant difference between groups in terms of length of stay in hospital. Conclusions: IV hydration is not effective on length of stay in hospital in mild acute bronchiolitis patients.

Continuous quality improvement in a Maltese hospital using logical framework analysis

Purpose: The purpose of this paper is to present the application of logical framework analysis (LFA) for implementing continuous quality improvement (CQI) across multiple settings in a tertiary care hospital. Design/methodology/approach: This study adopts a multiple case study approach. LFA is implemented within three diverse settings, namely, intensive care unit, surgical ward, and acute in-patient psychiatric ward. First, problem trees are developed in order to determine the root causes of quality issues, specific to the three settings. Second, objective trees are formed suggesting solutions to the quality issues. Third, project plan template using logical framework (LOGFRAME) is created for each setting. Findings: This study shows substantial improvement in quality across the three settings. LFA proved to be effective to analyse quality issues and suggest improvement measures objectively. Research limitations/implications: This paper applies LFA in specific, albeit, diverse settings in one hospital. For validation purposes, it would be ideal to analyse in other settings within the same hospital, as well as in several hospitals. It also adopts a bottom-up approach when this can be triangulated with other sources of data. Practical implications: LFA enables top management to obtain an integrated view of performance. It also provides a basis for further quantitative research on quality management through the identification of key performance indicators and facilitates the development of a business case for improvement. Originality/value: LFA is a novel approach for the implementation of CQI programs. Although LFA has been used extensively for project development to source funds from development banks, its application in quality improvement within healthcare projects is scant.

Strategies to Promote Research and Logical Reasoning in the Teaching of Mathematics in the Schools

The purpose of this paper is to raise a debate on the urgent need for teachers to generate innovative situations in the teaching-learning process, in the field of Mathematics, as a way for students to develop logical reasoning and research skills applicable to everyday situations. It includes some statistical data and possible reasons for the poor performance and dissatisfaction of students towards Mathematics. Since teachers are called to offer meaningful and functional learning experiences to students, in order to promote the pleasure of learning, teacher training should include experiences that can be put into practice by teachers in the education centers. This paper includes a work proposal for Mathematics Teaching to generate discussion, curiosity and logical reasoning in students, together with the Mathematical problem solving study.

On Ordinal VC-Dimension and Some Notions of Complexity

We generalize the classical notion of Vapnik–Chernovenkis (VC) dimension to ordinal VC-dimension, in the context of logical learning paradigms. Logical learning paradigms encompass the numerical learning paradigms commonly studied in Inductive Inference. A logical learning paradigm is defined as a set W of structures over some vocabulary, and a set D of first-order formulas that represent data. The sets of models of ϕ in W, where ϕ varies over D, generate a natural topology W over W. We show that if D is closed under boolean operators, then the notion of ordinal VC-dimension offers a perfect characterization for the problem of predicting the truth of the members of D in a member of W, with an ordinal bound on the number of mistakes. This shows that the notion of VC-dimension has a natural interpretation in Inductive Inference, when cast into a logical setting. We also study the relationships between predictive complexity, selective complexity—a variation on predictive complexity—and mind change complexity. The assumptions that D is closed under boolean operators and that W is compact often play a crucial role to establish connections between these concepts. We then consider a computable setting with effective versions of the complexity measures, and show that the equivalence between ordinal VC-dimension and predictive complexity fails. More precisely, we prove that the effective ordinal VC-dimension of a paradigm can be defined when all other effective notions of complexity are undefined. On a better note, when W is compact, all effective notions of complexity are defined, though they are not related as in the noncomputable version of the framework.

Space frame walls : facilitating positive development

This paper reports on progress in developing new design and measurement concepts, and translating these concepts into practical applications. This research addresses gaps in ‘best practice’ green building, and is aimed ultimately at replacing green buildings with sustainable urban environments. Building on the author’s previously articulated concepts of Design for Eco-services and Positive Development, this research will demonstrate how to eco-retrofit cities so that they reverse the negative impacts of past design and generate net positive ecological impacts, at no extra cost. In contrast to ‘restorative’ design,this means increasing ecological carrying capacity and natural and social capital through built environment design. Some exemplars for facilitating Positive development will be presented in this talk,such as Green Scaffolding for retrofits, and Green Space Walls for new construction. These structures have been designed to grow and change over time, be easily deconstructed, and entail little waste. The frames support mini-ecospheres that provide a wide range of ecosystem services and biodiversity habitats, as well as heating, cooling and ventilating. In combination, the modules serve to improve human and environmental health. Current work is focused on developing a range of such space frame walls, optimised through an innovative marriage of eco-logical design and virtual modelling.

Promoting sustainable urban development in fast growing city-regions : practices from Kuala Lumpur and Hong Kong

The Asia‐Pacific region is characterised by rapid population growth and urbanisation. These trends often result in an increasing consumption of land, which in turn lead to spatially expansive and discontinuous urban development. As a consequence, local communities and the environment face strong pressures. Many cities in the region have developed policies to tackle the issue of rapid growth and its associated consequences, for example climate change. The broad aim of this paper is to identify the nature, trends and strategies of growth management in major Asia‐Pacific city‐regions, and their implications for natural resource management and infrastructure provision. More specifically, this research seeks to provide insights on sustainable urban development practice, particularly on the promotion of compact urbanisation within the Asia‐Pacific’s fastest growing regions. The methodology of the paper includes a detailed literature review and a comparative analysis of existing strategies and policies. The literature review focuses on the key concepts related to sustainable urban growth management. It also includes existing applications of urban growth management approaches and planning information system in managing growth. Following the literature review, the paper undertakes a comparative analysis of the strategies of major Asia‐Pacific city‐regions of Kuala Lumpur and Hong Kong in terms of their approaches to sustainable urban development. The findings of the paper provide a clear understanding of the necessity of sustainable urban development practices. It contributes to the development of a substantial base for further research. Ultimately, this research aims to shed light on sustainable urban development by providing insights on the management of growth, natural resources and urban infrastructures.

Modeling key compromise impersonation attacks on group key exchange protocols

A key exchange protocol allows a set of parties to agree upon a secret session key over a public network. Two-party key exchange (2PKE) protocols have been rigorously analyzed under various models considering different adversarial actions. However, the analysis of group key exchange (GKE) protocols has not been as extensive as that of 2PKE protocols. Particularly, the security attribute of key compromise impersonation (KCI) resilience has so far been ignored for the case of GKE protocols. We first model the security of GKE protocols addressing KCI attacks by both outsider and insider adversaries. We then show that a few existing protocols are not secure even against outsider KCI attacks. The attacks on these protocols demonstrate the necessity of considering KCI resilience for GKE protocols. Finally, we give a new proof of security for an existing GKE protocol under the revised model assuming random oracles.