Improving the Semantics of Conceptual-Modeling Grammars:A New Perspective on an Old Problem

A core activity in information systems development involves understanding the
conceptual model of the domain that the information system supports. Any conceptual model is ultimately created using a conceptual-modeling (CM) grammar. Accordingly, just as high quality conceptual models facilitate high quality systems development, high quality CM grammars facilitate high quality conceptual modeling. This paper seeks to provide a new perspective on improving the quality of CM grammar semantics. For the past twenty years, the leading approach to this topic has drawn on ontological theory. However, the ontological approach captures just half of the story. It needs to be coupled with a logical approach. We show how ontological quality and logical quality interrelate and we outline three contributions of a logical approach: the ability to see familiar conceptualmodeling problems in simpler ways, the illumination of new problems, and the ability to prove the benefit of modifying CM grammars.

Engineering Innovative Products: A Practical Experience

Engineering Innovative Products: A Practical Experience is a pioneering book that will be of key use to senior undergraduate and graduate engineering students who are being encouraged to explore innovation and commercialization as part of their courses. The book will teach the essential skills of entrepreneurship and address the fundamental requirements needed to establish a successful technology company.

Pre-clinical development of a combination microbicide vaginal ring containing dapivirine and darunavir

Objectives: Combination microbicide vaginal rings may be more effective than single microbicide rings at reducing/preventing sexual transmission of HIV. Here, we report the preclinical development and macaque pharmacokinetics of matrix-type silicone elastomer vaginal rings containing dapivirine and darunavir.

Methods: Macaque rings containing 25 mg dapivirine, 300 mg darunavir and 100 mg dapivirine, and 300 mg darunavir were manufactured and characterised by differential scanning calorimetry. In vitro release was assessed into isopropanol/water and simulated vaginal fluid. Macaque vaginal fluid and blood serum concentrations for both antiretrovirals were measured during 28-day ring use. Tissue levels were measured on day 28. Ex vivo challenge studies were performed on vaginal fluid samples and IC50 values calculated.

Results: Darunavir caused a concentration-dependent reduction in the dapivirine melting temperature in both solid drug mixes and in the combination ring. In vitro release from rings was dependent on drug loading, the number of drugs present, and the release medium. In macaques, serum concentrations of both microbicides were maintained between 101–102 pg/mL. Vaginal fluid levels ranged between 103–104 ng/g and 104–105 ng/g for dapivirine and darunavir, respectively. Tissue concentrations ranges for each drug were: vagina (1.8×103–3.8×103 ng/g) > cervix (9.4×101–3.9×102 ng/g) > uterus (0–108 ng/g) > rectum (0–40 ng/g). Measured IC50 values were > 2 ng/mL for both compounds.

Conclusions: Based on these results, and in light of recent clinical progress of the 25mg dapivirine ring, a combination vaginal ring containing dapivirine and darunavir is a viable second-generation HIV microbicide candidate.

Disability benefit growth and disability reform in the US: lessons from other OECD nations

Unsustainable growth in program costs and beneficiaries, together with a growing recognition that even people with severe impairments can work, led to fundamental disability policy reforms in the Netherlands, Sweden, and Great Britain. In Australia, rapid growth in disability recipiency led to more modest reforms. Here we describe the factors driving unsustainable DI program growth in the U.S., show their similarity to the factors that led to unsustainable growth in these other four OECD countries, and discuss the reforms each country implemented to regain control over their cash transfer disability program. Although each country took a unique path to making and implementing fundamental reforms, shared lessons emerge from their experiences.

Elucidation of the Burkholderia cenocepacia hopanoid biosynthesis pathway uncovers functions for conserved proteins in hopanoid-producing bacteria

Hopanoids are bacterial surrogates of eukaryotic membrane sterols and among earth's most abundant natural products. Their molecular fossils remain in sediments spanning more than a billion years. However, hopanoid metabolism and function are not fully understood. Burkholderia species are environmental opportunistic pathogens that produce hopanoids and also occupy diverse ecological niches. We investigated hopanoids biosynthesis in Burkholderia cenocepacia by deletion mutagenesis and structural characterization of the hopanoids produced by the mutants. The enzymes encoded by hpnH and hpnG were essential for production of all C35 extended hopanoids, including bacteriohopanetetrol (BHT), BHT glucosamine and BHT cyclitol ether. Deletion of hpnI resulted in BHT production, while ΔhpnJ produced only BHT glucosamine. Thus, HpnI is required for BHT glucosamine production while HpnJ is responsible for its conversion to the cyclitol ether. The ΔhpnH and ΔhpnG mutants could not grow under any stress condition tested, whereas ΔhpnI, ΔhpnJ and ΔhpnK displayed wild-type growth rates when exposed to detergent, but varying levels of sensitivity to low pH and polymyxin B. This study not only elucidates the biosynthetic pathway of hopanoids in B. cenocepacia, but also uncovers a biosynthetic role for the conserved proteins HpnI, HpnJ and HpnK in other hopanoid-producing bacteria.whereas ΔhpnI, ΔhpnJ and ΔhpnK displayed wild-type growth rates when exposed to detergent, but varying levels of sensitivity to low pH and polymyxin B. This study not only elucidates the biosynthetic pathway of hopanoids in B. cenocepacia, but also uncovers a biosynthetic role for the conserved proteins HpnI, HpnJ and HpnK in other hopanoid-producing bacteria.

Investigation of secure wireless regions using configurable beamforming on WARP

In this paper, we examine a novel approach to network security against passive eavesdroppers in a ray-tracing model and implement it on a hardware platform. By configuring antenna array beam patterns to transmit the data to specific regions, it is possible to create defined regions of coverage for targeted users. By adapting the antenna configuration according to the intended user’s channel state information, this allows the vulnerability of the physical regions to eavesdropping to be reduced. We present the application of our concept to 802.11n networks where an antenna array is employed at the access point. A range of antenna array configurations are examined by simulation and then realized using the Wireless Open-Access Research Platform(WARP)

Creating secure wireless regions using configurable beamforming

We present a novel approach to network security against passive eavesdroppers by employing a configurable beam-forming technique to create tightly defined regions of coverage for targeted users. In contrast to conventional encryption methods, our security scheme is developed at the physical layer by configuring antenna array beam patterns to transmit the data to specific regions. It is shown that this technique can effectively reduce vulnerability of the physical regions to eavesdropping by adapting the antenna configuration according to the intended user's channel state information. In this paper we present the application of our concept to 802.11n networks where an antenna array is employed at the access point, and consider the issue of minimizing the coverage area of the region surrounding the targeted user. A metric termed the exposure region is formally defined and used to evaluate the level of security offered by this technique. A range of antenna array configurations are examined through analysis and simulation, and these are subsequently used to obtain the optimum array configuration for a user traversing a coverage area.

IPPro: FPGA based Image Processing Processor

The paper presents IPPro which is a high performance, scalable soft-core processor targeted for image processing applications. It has been based on the Xilinx DSP48E1 architecture using the ZYNQ Field Programmable Gate Array and is a scalar 16-bit RISC processor that operates at 526MHz, giving 526MIPS of performance. Each IPPro core uses 1 DSP48, 1 Block RAM and 330 Kintex-7 slice-registers, thus making the processor as compact as possible whilst maintaining flexibility and programmability. A key aspect of the approach is in reducing the application design time and implementation effort by using multiple IPPro processors in a SIMD mode. For different applications, this allows us to exploit different levels of parallelism and mapping for the specified processing architecture with the supported instruction set. In this context, a Traffic Sign Recognition (TSR) algorithm has been prototyped on a Zedboard with the colour and morphology operations accelerated using multiple IPPros. Simulation and experimental results demonstrate that the processing platform is able to achieve a speedup of 15 to 33 times for colour filtering and morphology operations respectively, with a reduced design effort and time.