Integration of semantically annotated data by the KnoFuss architecture

Most of the existing work on information integration in the Semantic Web concentrates on resolving schema-level problems. Specific issues of data-level integration (instance coreferencing, conflict resolution, handling uncertainty) are usually tackled by applying the same techniques as for ontology schema matching or by reusing the solutions produced in the database domain. However, data structured according to OWL ontologies has its specific features: e.g., the classes are organized into a hierarchy, the properties are inherited, data constraints differ from those defined by database schema. This paper describes how these features are exploited in our architecture KnoFuss, designed to support data-level integration of semantic annotations.

Optimising the nanoporous architecture of solid acid and base catalysts for biodiesel synthesis

Dwindling oil reserves and growing concerns over CO2 emissions and associated climate change are driving the utilisation of renewable feedstocks as alternative, sustainable fuel sources. While rising oil prices are improving the commercial feasibility of biodiesel production, many current processes still employ homogeneous acid and/or base catalysts to transform plant or algae oil into the fatty acid methyl ester (FAME) components of biodiesel. Fuel purification requires energy intensive aqueous quench and neutralization steps, thus the rational design of new high activity catalysts is required to deliver biodiesel as a major player in the 21st century sustainable energy portfolio. Advances in the development of heterogeneous catalysts for biodiesel synthesis require catalysts with pore architectures designed to improve the accessibility of bulky viscous reactants typical of plant oils. Here we discuss how improvements to active site accessibility and catalyst activity in transesterification or esterification reactions can be achieved either by designing hierarchical pore networks or by pore expansion and use of interconnected pore architectures.

Business Modeling of the Application Architecture of the Bulgarian Folklore Artery

In an attempt to answer the need of wider accessibility and popularization of the treasury of Bulgarian folklore, a team from the Institute of Mathematics and Informatics at the Bulgarian Academy of Sciences has planned to develop the Bulgarian folklore artery within the national project ―Knowledge Technologies for Creation of Digital Presentation and Significant Repositories of Folklore Heritage‖. This paper presents the process of business modeling of the application architecture of the Bulgarian folklore artery, which aids requirements analysis, application design and its software implementation. The folklore domain process model is made in the context of the target social applications—e-learning, virtual expositions of folklore artifacts, research, news, cultural/ethno-tourism, etc. The basic processes are analyzed and modeled and some inferences are made for the use cases and requirements specification of the Bulgarian folklore artery application. As a conclusion the application architecture of the Bulgarian folklore artery is presented.

Refinement methods for software architecture design using the software architecture model

Modern software systems are often large and complicated. To better understand, develop, and manage large software systems, researchers have studied software architectures that provide the top level overall structural design of software systems for the last decade. One major research focus on software architectures is formal architecture description languages, but most existing research focuses primarily on the descriptive capability and puts less emphasis on software architecture design methods and formal analysis techniques, which are necessary to develop correct software architecture design. ^ Refinement is a general approach of adding details to a software design. A formal refinement method can further ensure certain design properties. This dissertation proposes refinement methods, including a set of formal refinement patterns and complementary verification techniques, for software architecture design using Software Architecture Model (SAM), which was developed at Florida International University. First, a general guideline for software architecture design in SAM is proposed. Second, specification construction through property-preserving refinement patterns is discussed. The refinement patterns are categorized into connector refinement, component refinement and high-level Petri nets refinement. These three levels of refinement patterns are applicable to overall system interaction, architectural components, and underlying formal language, respectively. Third, verification after modeling as a complementary technique to specification refinement is discussed. Two formal verification tools, the Stanford Temporal Prover (STeP) and the Simple Promela Interpreter (SPIN), are adopted into SAM to develop the initial models. Fourth, formalization and refinement of security issues are studied. A method for security enforcement in SAM is proposed. The Role-Based Access Control model is formalized using predicate transition nets and Z notation. The patterns of enforcing access control and auditing are proposed. Finally, modeling and refining a life insurance system is used to demonstrate how to apply the refinement patterns for software architecture design using SAM and how to integrate the access control model. ^ The results of this dissertation demonstrate that a refinement method is an effective way to develop a high assurance system. The method developed in this dissertation extends existing work on modeling software architectures using SAM and makes SAM a more usable and valuable formal tool for software architecture design. ^

The New Architecture of EU Equality Law after CHEZ: Did the Court of Justice reconceptualise direct and indirect discrimination?

The Court of Justice’s decision of the 16 July 2015, in Case C-83/14 CHEZ Razpredelenie Bulgaria AD v Komisia za zashtita ot diskriminatsia, is a critically important case for two main reasons. First, it represents a further step along the path of addressing ethnic discrimination against Roma communities in Europe, particularly in Bulgaria, where the case arises. Second, it provides interpretations (sometimes controversial interpretations) of core concepts in the EU antidiscrimination Directives that will be drawn on in the application of equality law well beyond Bulgaria, and well beyond the pressing problem of ethnic discrimination against Roma. This article focuses particularly on the second issue, the potentially broader implications of the case. In particular, it will ask whether the Court of Justice’s approach in CHEZ is subtly redrawing the boundaries of EU equality law in general, in particular by expanding the concept of direct discrimination, or whether the result and the approach adopted is sui generis, one depending on the particular context of the case and the fact that it involves allegations of discrimination against Roma, and therefore of limited general application.

Enabling effective operational decision making on a Combined Heat and Power System using the 5C architecture

The use of Cyber Physical Systems (CPS) to optimise industrial energy systems is an approach which has the potential to positively impact on manufacturing sector energy efficiency. The need to obtain data to facilitate the implementation of a CPS in an industrial energy system is however a complex task which is often implemented in a non-standardised way. The use of the 5C CPS architecture has the potential to standardise this approach. This paper describes a case study where data from a Combined Heat and Power (CHP) system located in a large manufacturing company was fused with grid electricity and gas models as well as a maintenance cost model using the 5C architecture with a view to making effective decisions on its cost efficient operation. A control change implemented based on the cognitive analysis enabled via the 5C architecture implementation has resulted in energy cost savings of over €7400 over a four-month period, with energy cost savings of over €150,000 projected once the 5C architecture is extended into the production environment.

Evaluation of the in vitro bioactivity of bioceramics

Two common methods have been used to evaluate the in vitro bioactivity of bioceramics for the application of bone repair. One is to evaluate the ability of apatite formation by soaking ceramics in simulated body fluids (SBF); the other method is to evaluate the effect of ceramics on osteogenic differentiation using cell experiments. Both methods have their own drawbacks in evaluating the in vitro bioactivity of bioceramics. In this commentary paper we review the application of both methods in bioactivity of bioceramics and conclude that (i) SBF method is an efficient method to investigate the in vitro bioactivity of silicate-based bioceramics, (ii) cellular bioactivity of bioceramics should be investigated by evaluating their stimulatory ability using standard bioceramics as controls; and (iii) the combination of these two methods to evaluate the in vitro bioactivity of bioceramics can improve the screening efficiency for the selection of bioactive ceramics for bone regeneration.

Mathematical models for describing the shape of the in vitro unstretched human crystalline lens

We developed orthogonal least-squares techniques for fitting crystalline lens shapes, and used the bootstrap method to determine uncertainties associated with the estimated vertex radii of curvature and asphericities of five different models. Three existing models were investigated including one that uses two separate conics for the anterior and posterior surfaces, and two whole lens models based on a modulated hyperbolic cosine function and on a generalized conic function. Two new models were proposed including one that uses two interdependent conics and a polynomial based whole lens model. The models were used to describe the in vitro shape for a data set of twenty human lenses with ages 7–82 years. The two-conic-surface model (7 mm zone diameter) and the interdependent surfaces model had significantly lower merit functions than the other three models for the data set, indicating that most likely they can describe human lens shape over a wide age range better than the other models (although with the two-conic-surfaces model being unable to describe the lens equatorial region). Considerable differences were found between some models regarding estimates of radii of curvature and surface asphericities. The hyperbolic cosine model and the new polynomial based whole lens model had the best precision in determining the radii of curvature and surface asphericities across the five considered models. Most models found significant increase in anterior, but not posterior, radius of curvature with age. Most models found a wide scatter of asphericities, but with the asphericities usually being positive and not significantly related to age. As the interdependent surfaces model had lower merit function than three whole lens models, there is further scope to develop an accurate model of the complete shape of human lenses of all ages. The results highlight the continued difficulty in selecting an appropriate model for the crystalline lens shape.

A compact mock circulation loop for the in vitro testing of cardiovascular devices

In vitro cardiovascular device performance evaluation in a mock circulation loop (MCL) is a necessary step prior to in vivo testing.A MCL that accurately represents the physiology of the cardiovascular system accelerates the assessment of the device’s ability to treat pathological conditions. To serve this purpose, a compact MCL measuring 600 ¥ 600 ¥ 600 mm (L ¥ W¥ H) was constructed in conjunction with a computer mathematical simulation.This approach allowed the effective selection of physical loop characteristics, such as pneumatic drive parameters, to create pressure and flow, and pipe dimensions to replicate the resistance, compliance, and fluid inertia of the native cardiovascular system. The resulting five-element MCL reproduced the physiological hemodynamics of a healthy and failing heart by altering ventricle contractility, vascular resistance/compliance, heart rate, and vascular volume. The effects of interpatient anatomical variability, such as septal defects and valvular disease, were also assessed. Cardiovascular hemodynamic pressures (arterial, venous, atrial, ventricular), flows (systemic, bronchial, pulmonary), and volumes (ventricular, stroke) were analyzed in real time. The objective of this study is to describe the developmental stages of the compact MCL and demonstrate its value as a research tool for the accelerated development of cardiovascular devices.

CaSiO3 microstructure modulating the in vitro and in vivo bioactivity of poly (lactide-co-glycolide) microspheres

Poly (lactide-co-glycolide) (PLGA) microspheres have been used for regenerative medicine due to their ability for drug delivery and generally good biocompatibility, but they lack adequate bioactivity for bone repair application. CaSiO3 (CS) has been proposed as a new class of material suitable for bone tissue repair due to its excellent bioactivity. In this study, we set out to incorporate CS into PLGA microspheres to investigate how the phase structure (amorphous and crystal) of CS influences the in vitro and in vivo bioactivity of the composite microspheres, with a view to the application for bone regeneration. X-ray diffraction (XRD), N2 adsorption-desorption analysis and scanning electron microscopy (SEM) were used to analyze the phase structure, surface area/pore volume, and microstructure of amorphous CS (aCS) and crystal CS (cCS), as well as their composite microspheres. The in vitro bioactivity of aCS and cCS – PLGA microspheres was evaluated by investigating their apatite-mineralization ability in simulated body fluids (SBF) and the viability of human bone mesenchymal stem cells (BMSCs). The in vivo bioactivity was investigated by measuring their de novo bone-formation ability. The results showed that the incorporation of both aCS and cCS enhanced the in vitro and in vivo bioactivity of PLGA microspheres. cCS/PLGA microspheres improved better in vitro BMSC viability and de novo bone-formation ability in vivo, compared to aCS/PLGA microspheres. Our study indicates that controlling the phase structure of CS is a promising method to modulate the bioactivity of polymer microsphere system for potential bone tissue regeneration.