Learning = playing: Interactive learning with game-based design principles

This paper explores the rapid escalation of demand for information in both complex and convergent forms of accessible technology. The authors contend that this growth creates a concomitant demand for a highly skilled information technology workforce. To ensure the preservation and continued development of this workforce, education of the information technology professional is increasingly acknowledged as one of the primary challenges
confronting educators and educational institutions. Many institutions have sought solutions to this educational conundrum in populist concepts of e-learning

Constraint-based conversion of fiction text to a time-based graphical representation

This paper presents a method for converting unrestricted fiction text into a time-based graphical form. Key concepts extracted from the text are used to formulate constraints describing the interaction of entities in a scene. The solution of these constraints over their respective time intervals provides the trajectories for these entities in a graphical representation.

Three types of entity are extracted from fiction books to describe the scene, namely Avatars, Areas and Objects. We present a novel method for modeling the temporal aspect of a fiction story using multiple time-line representations after which the information extracted regarding entities and time-lines is used to formulate constraints. A constraint solving technique based on interval arithmetic is used to ensure that the behaviour of the entities satisfies the constraints over multiple universally quantified time intervals. This approach is demonstrated by finding solutions to multiple time-based constraints, and represents a new contribution to the field of Text-to-Scene conversion. An example of the automatically produced graphical output is provided in support of our constraint-based conversion scheme.

Modelling based design of a pilot-scale membrane bioreactor for combined nutrient removal from domestic wastewater

A three stage-treatment of domestic wastewater including anaerobic, anoxic and aerobic phases is employed in this study while a clarifier unit is replaced with a submerged membrane in the aerobic unit. The effects of operational parameters on the performance of a pilot scale submerged membrane bioreactor (SMBR) namely hydraulic retention time (HRT), ratio of return activated sludge (QRS), ratio of internal recycle (QIR), solid retention time (SRT) and dissolved oxygen (DO) are evaluated by simulations, using a hybrid model composed of TUDP model, oxygen transfer model, biofouling model due to extra-cellular polymeric substances (EPS) and turbulent shear model. The results showed that anaerobic HRT of 3 hours, anoxic HRT of 6 hours, QRS of 20% and QIR of 300 % are satisfactory in obtaining a high removal efficiency (>90%) of COD, NH4-N, P04-P as well as a less sludge production. An increase of sludge production causes an increase in EPS, which fouls the membrane surface and increase the cleaning cycle of membrane. Operation of 5MBR system at 2 mg/I of DO and 30 days of SRT can extend the membrane cleaning cycle dramatically. The membrane cleaning cycle however is strongly dependent on the initial and terminal specific fluxes and displays inverse power relationships to those fluxes.

Genomics-based design of defined growth media for the plant pathogen Xylella fastidiosa

Based on the genetic analysis of the phytopathogen Xylella fastidiosa genome, five media with defined composition were developed and the growth abilities of this fastidious prokaryote were evaluated in liquid media and on solid plates. All media had a common salt composition and included the same amounts of glucose and vitamins but differed in their amino acid content. XDM1 medium contained amino acids threonine, serine, glycine, alanine, aspartic acid and glutamic acid, for which complete degradation pathways occur in X fastidiosa; XDM2 included serine and methionine, amino acids for which biosynthetic enzymes are absent, plus asparagine and glutamine, which are abundant in the xylem sap; XDM3 had the same composition as XDM2 but with asparagine replaced by aspartic acid due to the presence of complete degradation pathway for aspartic acid; XDM4 was a minimal medium with glutamine as a sole nitrogen source; XDM5 had the same composition as XDM4, plus methionine. The liquid and solidified XDM2 and XDM3 media were the most effective for the growth of X. fastidiosa. This work opens the opportunity for the in silico design of bacterial defined media once their genome is sequenced. (C) 2002 Federation of European Microbiological Societies. Published by Elsevier B.V. B.V. All rights reserved.

On relaxed LMI-based design for fuzzy controllers

Relaxed conditions for stability of nonlinear continuous-time systems given by fuzzy models axe presented. A theoretical analysis shows that the proposed method provides better or at least the same results of the methods presented in the literature. Digital simulations exemplify this fact. This result is also used for fuzzy regulators design. The nonlinear systems are represented by fuzzy models proposed by Takagi and Sugeno. The stability analysis and the design of controllers axe described by LMIs (Linear Matrix Inequalities), that can be solved efficiently using convex programming techniques.

A cost optimization-based design of precast concrete floors using genetic algorithms

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A Combined Study Using Ligand-Based Design, Synthesis, and Pharmacological Evaluation of Analogues of the Acetaminophen Ortho-Regioisomer with Potent Analgesic Activity

A ligand-based drug design study was performed to acetaminophen regioisomers as analgesic candidates employing quantum chemical calculations at the DFT/B3LYP level of theory and the 6-31G* basis set. To do so, many molecular descriptors were used such as highest occupied molecular orbital, ionization potential, HO bond dissociation energies, and spin densities, which might be related to quench reactivity of the tyrosyl radical to give N-acetyl-p-benzosemiquinone-imine through an initial electron withdrawing or hydrogen atom abstraction. Based on this in silico work, the most promising molecule, orthobenzamol, was synthesized and tested. The results expected from the theoretical prediction were confirmed in vivo using mouse models of nociception such as writhing, paw licking, and hot plate tests. All biological results suggested an antinociceptive activity mediated by opioid receptors. Furthermore, at 90 and 120 min, this new compound had an effect that was comparable to morphine, the standard drug for this test. Finally, the pharmacophore model is discussed according to the electronic properties derived from quantum chemistry calculations.

Constraint-based analysis of gene interactions using restricted boolean networks and time-series data

Abstract Background A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the Boolean network model and time-series data. Actually, the Boolean network is restricted in the sense that only a subset of all possible Boolean functions are considered. We explore some mathematical properties of the restricted Boolean networks in order to avoid the full search approach. The problem is modeled as a Constraint Satisfaction Problem (CSP) and CSP techniques are used to solve it. Results We applied the proposed algorithm in two data sets. First, we used an artificial dataset obtained from a model for the budding yeast cell cycle. The second data set is derived from experiments performed using HeLa cells. The results show that some interactions can be fully or, at least, partially determined under the Boolean model considered. Conclusions The algorithm proposed can be used as a first step for detection of gene/protein interactions. It is able to infer gene relationships from time-series data of gene expression, and this inference process can be aided by a priori knowledge available.

Reliability-based design optimization strategies based on FORM: a review

In deterministic optimization, the uncertainties of the structural system (i.e. dimension, model, material, loads, etc) are not explicitly taken into account. Hence, resulting optimal solutions may lead to reduced reliability levels. The objective of reliability based design optimization (RBDO) is to optimize structures guaranteeing that a minimum level of reliability, chosen a priori by the designer, is maintained. Since reliability analysis using the First Order Reliability Method (FORM) is an optimization procedure itself, RBDO (in its classical version) is a double-loop strategy: the reliability analysis (inner loop) and the structural optimization (outer loop). The coupling of these two loops leads to very high computational costs. To reduce the computational burden of RBDO based on FORM, several authors propose decoupling the structural optimization and the reliability analysis. These procedures may be divided in two groups: (i) serial single loop methods and (ii) unilevel methods. The basic idea of serial single loop methods is to decouple the two loops and solve them sequentially, until some convergence criterion is achieved. On the other hand, uni-level methods employ different strategies to obtain a single loop of optimization to solve the RBDO problem. This paper presents a review of such RBDO strategies. A comparison of the performance (computational cost) of the main strategies is presented for several variants of two benchmark problems from the literature and for a structure modeled using the finite element method.

Discrete Event Systems based Design Patterns for Diagnosability Analysis of Automated Manufacturing Systems

The main goal of this thesis is to facilitate the process of industrial automated systems development applying formal methods to ensure the reliability of systems. A new formulation of distributed diagnosability problem in terms of Discrete Event Systems theory and automata framework is presented, which is then used to enforce the desired property of the system, rather then just verifying it. This approach tackles the state explosion problem with modeling patterns and new algorithms, aimed for verification of diagnosability property in the context of the distributed diagnosability problem. The concepts are validated with a newly developed software tool.

Minimization of Intra-Operative Shaping of Orthopaedic Fixation Plates: A Population-Based Design

In this paper we present a new population-based method for the design of bone fixation plates. Standard pre-contoured plates are designed based on the mean shape of a certain population. We propose a computational process to design implants while reducing the amount of required intra-operative shaping, thus reducing the mechanical stresses applied to the plate. A bending and torsion model was used to measure and minimize the necessary intra-operative deformation. The method was applied and validated on a population of 200 femurs that was further augmented with a statistical shape model. The obtained results showed substantial reduction in the bending and torsion needed to shape the new design into any bone in the population when compared to the standard mean-based plates.

Population-Based Design of Mandibular Plates Based on Bone Quality and Morphology

In this paper we present a new population-based implant design methodology, which advances the state-of-the-art approaches by combining shape and bone quality information into the design strategy. The method enhances the mechanical stability of the fixation and reduces the intra-operative in-plane bending which might impede the functionality of the locking mechanism. The method is presented for the case of mandibular locking fixation plates, where the mandibular angle and the bone quality at screw locations are taken into account. Using computational anatomy techniques, the method automatically derives, from a set of computed tomography images, the mandibular angle and the bone thickness and intensity values at the path of every screw. An optimisation strategy is then used to optimise the two parameters of plate angle and screw position. Results for the new design are presented along with a comparison with a commercially available mandibular locking fixation plate. A statistically highly significant improvement was observed. Our experiments allowed us to conclude that an angle of 126° and a screw separation of 8mm is a more suitable design than the standard 120° and 9mm.

Population-based design of mandibular fixation plates with bone quality and morphology considerations

In this paper we present a new population-based implant design methodology, which advances the state-of-the-art approaches by combining shape and bone quality information into the design strategy. The method may enhance the mechanical stability of the fixation and reduces the intra-operative in-plane bending which might impede the functionality of the locking mechanism. The computational method is presented for the case of mandibular locking fixation plates, where the mandibular angle and the bone quality at screw locations are taken into account. The method automatically derives the mandibular angle and the bone thickness and intensity values at the path of every screw from a set of computed tomography images. An optimization strategy is then used to optimize the two parameters of plate angle and screw position. The method was applied to two populations of different genders. Results for the new design are presented along with a comparison with a commercially available mandibular locking fixation plate (MODUS(®) TriLock(®) 2.0/2.3/2.5, Medartis AG, Basel, Switzerland). The proposed designs resulted in a statistically significant improvement in the available bone thickness when compared to the standard plate. There is a higher probability that the proposed implants cover areas of thicker cortical bone without compromising the bone mineral density around the screws. The obtained results allowed us to conclude that an angle and screw separation of 129° and 9 mm for females and 121° and 10 mm for males are more suitable designs than the commercially available 120° and 9 mm.