Knowledge base support for dynamic information system management

Enterprise activities are governed by regulations and laws that are multiple, heterogeneous and not always easy to understand. The arising and/or the modification of these regulations and laws can cause a significant impact in the business context, especially in terms of enterprise information systems adaptation. Currently, there are many methodological and technological tools that facilitate the application of regulations and procedures, but they are not integrated enough to ensure a complete problem management. Therefore, they are not sufficient to support organizations and companies in the management of their business processes. In this paper we propose a methodological and technological solution, able to model, manage, execute and monitor business processes of complex domains. The system allows both the design of an information system and its prototyping as a web application, by the extension of an appropriately selected Business Process Management suite. During both the design and the usage phases of the prototyped information system, it is possible to interface with a knowledge base that contains information about regulations and aspects that characterize the enterprise (organizational chart, tasks, etc.).     

The contribution of proteomics towards deciphering the enigma of Coxiella burnetii

Coxiella burnetii, the causative agent of Q fever, is an intracellular bacterium and a potential weapon for bioterrorism. The widespread throughout the world, zoonosis is manifested clinically as a self-limited febrile illness, as pneumonia (acute Q fever) or as a chronic illness with endocarditis being its major complication. The recent Netherlands Q fever outbreak has driven the bacterium from a relatively cryptic, underappreciated, “niche” microorganism on the sideline of bacteriology, to one of possibly great impact on public health. Advances in the study of this microorganism proceeded slowly, primarily due to the, until recently, obligatory intracellular nature of the pathogen that in its virulent phase I must be manipulated under biosafety level-3 conditions. Proteomic studies, in particular, have generated a vast amount of information concerning several aspects of the bacterium such as virulence factors, detection/diagnostic and immunogenic biomarkers, inter-/intraspecies variation, resistance to antibiotics, and secreted effector proteins with significant clinical impact. The phenomenon observed following the genomics era, that of generation and accumulation of huge amount of data that ultimately end up unexploited on several databases, begins to emerge in the proteomics field as well. This review will focus on the advances in the field of C. burnetii proteomics through MS, attempting in parallel to utilize some of the proteomics findings by suggesting future directions for the improvement of Q fever diagnosis and therapy.     

A Comparative Study of Two Wayfinding Aids With Simulated Driving Tasks—GPS and a Dual-Scale Exploration Aid

Global Positioning System (GPS) is currently the most often used wayfinding aid for driving. Yet GPS is originally designed to provide a driving guide rather than to help users gain spatial knowledge. Accordingly, GPS might be less usable in situations where spatial knowledge is required. This study experimentally compared two wayfinding aids using simulated driving tasks in a virtual environment: a simulated GPS and a dual-scale exploration aid (DSEA). The DSEA, which provides two levels of details—both detailed and contextual information—was proposed to support participants in finding and selecting routes by themselves. The results show that although DSEA was less helpful in leading participants to their destination and corresponded to more turning errors in simulated driving, it was more useful for the corresponding participants to establish spatial awareness and a cognitive map. The influence of participants' spatial ability test score on wayfinding performance was measured and discussed. The proposed DSEA design and experimental results show some indications for designing new wayfinding aids aimed at reducing wayfinding errors and constructing cognitive maps while still providing easy navigation.     

Simultaneous domestic wastewater treatment and renewable energy production using microbial fuel cells (MFCs)

Microbial fuel cells (MFCS) can be used in wastewater treatment and to simultaneously produce electricity (renewable energy). MFC technology has already been applied successfully in lab-scale studies to treat domestic wastewater, focussing on organic matter removal and energy production. However, domestic wastewater also contains nitrogen that needs to be treated before being discharged. The goal of this paper is to assess simultaneous domestic wastewater treatment and energy production using an air-cathode MFC, paying special attention to nitrogen compound transformations. An air-cathode MFC was designed and run treating 1.39 L d(-1) of wastewater with an organic load rate of 7.2 kg COD m(-3) d(-1) (80% removal efficiency) and producing 1.42 W m(-3). In terms of nitrogen transformations, the study demonstrates that two different processes took place in the MFC: physical-chemical and biological. Nitrogen loss was observed increasing in line with the power produced. A low level of oxygen was present in the anodic compartment, and ammonium was oxidised to nitrite and nitrate.     

Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics

We present a semantic study of a family of modal intuitionistic linear systems, providing various logics with both an algebraic semantics and a relational semantics, to obtain completeness results. We call modality a unary operator on formulas which satisfies only one rale (regularity), and we consider any subsetW of a list of axioms which defines the exponential of course of linear logic. We define an algebraic semantics by interpreting the modality as a unary operation on an IL-algebra. Then we introduce a relational semantics based on pretopologies with an additional binary relationr between information states. The interpretation of is defined in a suitable way, which differs from the traditional one in classical modal logic. We prove that such models provide a complete semantics for our minimal modal system, as well as, by requiring the suitable conditions onr (in the spirit of correspondence theory), for any of its extensions axiomatized by any subsetW as above. We also prove an embedding theorem for modal IL-algebras into complete ones and, after introducing the notion of general frame, we apply it to obtain a duality between general frames and modal IL-algebras.     

Imposing temporal consistency on deep monocular body shape and pose estimation

Computational Visual Media - Accurate and temporally consistent modeling of human bodies is essential for a wide range of applications, including character animation, understanding human social...