Back to school with tablets embedded in digital desks

A digital-desk pilot program, named One Laptop Per Child (OPLC), in Brazil uses a unique display design to provide an interactive interface developed to enhance education and minimize ergonomic concerns. The one-to-one computer strategy as proposed by Nicholas Negroponte is a way of circumventing the tragedy of the locked computer lab because it gives children full access to computers anytime. The OLPC program has focused on a solution that minimizes power consumption, which also limits the display's maximum size and processor performance because the LCD backlights are responsible for a significant part of the power consumption in laptops. The government has also developed a new type of low-cost tablet that is based on a resistive principle. High transparencies can be obtained in the 90% range in the tablet, while robustness is guaranteed by the outstanding tribological characteristics of Sn02 on glass.

Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

Display, disclosure and concealment: the organization of raw materials in the chambered tombs of Bohuslän

The Neolithic chambered tombs of Bohuslan on the west coast of Sweden were built out of locally occurring raw materials. These exhibit a wide variety of colours, textures and mineral inclusions, and all were used to contrive a series of striking visual effects. Certain of these would have been apparent to the casual observer but others would only have been apparent to someone inside the passage or the burial chamber. There is no evidence that the materials were organized according to a single scheme. Rather, they permitted a series of improvisations, so that no two monuments were exactly alike. The effects that they created are compared with those found in megalithic art where the design elements were painted or carved, but in Bohuslan all the designs were created using the natural properties of the rock.

Who owns the copyright of architectural works and designs?

Copyright protects the rights and interests of authors on their original works of authorship such as literary, dramatic, musical, artistic, and certain other intellectual works including architectural works and designs. It is automatic once a tangible medium of expression in any form of an innovative material, which conforms the Copyright Designs and Patents Act 1988 (CDPA 1988), is created. This includes the building, the architectural plans and drawings. There is no official copyright registry, no requirements on any fees need to be paid and they can be published or unpublished materials. Copyrights owners have the rights to control the reproduction, display, publication, and even derivation of the design. However, there are limitations on the rights of the copyright owners concerning copyrights infringements. Infringement of copyright is an unauthorised violation of the exclusive rights of the copyright author. Architects and engineers depend on copyright law to protect their works and design. Copyrights are protected on the arrangements of spaces and elements as well as the overall form of the architectural design. However, it does not cover the design of functional elements and standard features. Although copyright law provides automatic protection to all original architectural plans, the limitation is that copyright only protects the expression of ideas but not the ideas themselves. It can be argued that architectural drawings and design, including models are recognised categories of artistic works which are protected under the copyright law. This research investigates to what extent copyrights protect the rights and interests of the designers on architectural works and design.

Variance dispersion graphs for comparing blocked response surface designs

In this paper, we extend the use of the variance dispersion graph (VDG) to experiments in which the response surface (RS) design must be blocked. Through several examples we evaluate the prediction performances of RS designs in non-orthogonal block designs compared with the equivalent unblocked designs and orthogonally blocked designs. These examples illustrate that good prediction performance of designs in small blocks can be expected in practice. Most importantly, we show that the allocation of the treatment set to blocks can seriously affect the prediction properties of designs; thus, much care is needed in performing this allocation.

Row-column response surface designs

Factorial experiments are widely used in industry to investigate the effects of process factors on quality response variables. Many food processes, for example, are not only subject to variation between days, but also between different times of the day. Removing this variation using blocking factors leads to row-column designs. In this paper, an algorithm is described for constructing factorial row-column designs when the factors are quantitative, and the data are to be analysed by fitting a polynomial model. The row-column designs are constructed using an iterative interchange search, where interchanges that result in an improvement in the weighted mean of the efficiency factors corresponding to the parameters of interest are accepted. Some examples illustrating the performance of the algorithm are given.

Visualization designs for constraint logic programming

We address the design and implementation of visual paradigms for observing the execution of constraint logic programs, aiming at debugging, tuning and optimization, and teaching. We focus on the display of data in CLP executions, where representation for constrained variables and for the constrains themselves are seeked. Two tools, VIFID and TRIFID, exemplifying the devised depictions, have been implemented, and are used to showcase the usefulness of the visualizations developed.

Assessment Of Robustness On Analysis Using Headspace Solid-phase Microextraction And Comprehensive Two-dimensional Gas Chromatography Through Experimental Designs.

Plackett-Burman experimental design was applied for the robustness assessment of GC×GC-qMS (Comprehensive Two-Dimensional Gas Chromatography with Fast Quadrupolar Mass Spectrometric Detection) in quantitative and qualitative analysis of volatiles compounds from chocolate samples isolated by headspace solid-phase microextraction (HS-SPME). The influence of small changes around the nominal level of six factors deemed as important on peak areas (carrier gas flow rate, modulation period, temperature of ionic source, MS photomultiplier power, injector temperature and interface temperature) and of four factors considered as potentially influential on spectral quality (minimum and maximum limits of the scanned mass ranges, ions source temperature and photomultiplier power). The analytes selected for the study were 2,3,5-trimethylpyrazine, 2-octanone, octanal, 2-pentyl-furan, 2,3,5,6-tetramethylpyrazine, and 2-nonanone e nonanal. The factors pointed out as important on the robustness of the system were photomultiplier power for quantitative analysis and lower limit of mass scanning range for qualitative analysis.

Effect of different ferrule designs on the fracture resistance and failure pattern of endodontically treated teeth restored with fiber posts and all-ceramic crowns

OBJECTIVE: This study investigated the effect of different ferrule heights on endodontically treated premolars. MATERIAL AND METHODS: Fifty sound mandibular first premolars were endodontically treated and then restored with 7-mm fiber post (FRC Postec Plus #1 Ivoclar-Vivadent) luted with self-polymerized resin cement (Multilink, Ivoclar Vivadent) while the coronal section was restored with hybrid composite core build-up material (Tetric Ceram, Ivoclar-Vivadent), which received all-ceramic crown. Different ferrule heights were investigated: 1-mm circumferential ferrule without post and core (group 1 used as control), a circumferential 1-mm ferrule (group 2), non-uniform ferrule 2-mm buccally and 1-mm lingually (group 3), non-uniform ferrule 3-mm buccally and 2-mm lingually (group 4), and finally no ferrule preparation (group 5). The fracture load and failure pattern of the tested groups were investigated by applying axial load to the ceramic crowns (n=10). Data were analyzed statistically by one-way ANOVA and Tukey's post-hoc test was used for pair-wise comparisons (α=0.05). RESULTS: There were no significant differences among the failure load of all tested groups (P<0.780). The control group had the lowest fracture resistance (891.43±202.22 N) and the highest catastrophic failure rate (P<0.05). Compared to the control group, the use of fiber post reduced the percentage of catastrophic failure while increasing the ferrule height did not influence the fracture resistance of the restored specimens. CONCLUSIONS: Within the limitations of this study, increasing the ferrule length did not influence the fracture resistance of endodontically treated teeth restored with glass ceramic crowns. Insertion of a fiber post could reduce the percentage of catastrophic failure of these restorations under function.

Influence of separate and mixed experimental designs on reaction times to two simple visual stimuli

Testing contexts have been shown to critically influence experimental results in psychophysical studies. One of these contexts that show important modulation of the behavioral effects of different stimulatory conditions is the separate (blocked) or mixed presentation of these stimulatory conditions. The study presents evidence that the apparent discriminabilities of two target stimuli can change according to which of these two testing contexts is used. A cross inside a ring and a vertical line inside a ring were presented as go stimuli in a go/no-go reaction time task. In one experiment, each of these stimuli was presented to a different group of volunteers and in another experiment they were presented to the same group of volunteers, randomly mixed in the blocks of trials. Similar reaction times were obtained for the two stimuli in the first experiment, and different reaction times (faster for the cross) in the second experiment. The latter result indicates that the two stimuli have different discriminabilities from the no-go stimulus; the cross having greater discriminability. This difference is however masked, presumably by the adoption of specific compensatory attentional sets, in a separate testing context.

Identification and Characterization of Ixodes scapularis Antigens That Elicit Tick Immunity Using Yeast Surface Display

Repeated exposure of rabbits and other animals to ticks results in acquired resistance or immunity to subsequent tick bites and is partially elicited by antibodies directed against tick antigens. In this study we demonstrate the utility of a yeast surface display approach to identify tick salivary antigens that react with tick-immune serum. We constructed an Ixodes scapularis nymphal salivary gland yeast surface display library and screened the library with nymph-immune rabbit sera and identified five salivary antigens. Four of these proteins, designated P8, P19, P23 and P32, had a predicted signal sequence. We generated recombinant (r) P8, P19 and P23 in a Drosophila expression system for functional and immunization studies. rP8 showed anti-complement activity and rP23 demonstrated anti-coagulant activity. Ixodes scapularis feeding was significantly impaired when nymphs were fed on rabbits immunized with a cocktail of rP8, rP19 and rP23, a hall mark of tick-immunity. These studies also suggest that these antigens may serve as potential vaccine candidates to thwart tick feeding.

Identification of Novel Immunoregulatory Molecules in Human Thymic Regulatory CD4(+)CD25(+) T Cells by Phage Display

Thymic CD4(+)CD25(+) cells play an important role in immune regulation and are continuously developed in the thymus as an independent lineage. How these cells are generated, what are their multiple pathways of suppressive activity and which are their specific markers are questions that remain unanswered. To identify molecules involved in the function and development of human CD4(+)CD25(+) T regulatory cells we targeted thymic CD4(+)CD25(+) cells by peptide phage display. A phage library containing random peptides was screened ex vivo for binding to human thymic CD4(+)CD25(+) T cells. After four rounds of selection on CD4(+)CD25(+) enriched populations of thymocytes, we sequenced several phage displayed peptides and selected one with identity to the Vitamin D Receptor (VDR). We confirmed the binding of the VDR phage to active Vitamin D in vitro, as well as the higher expression of VDR in CD4(+)CD25(+) cells. We suggest that differential expression of VDR on natural Tregs may be related to the relevance of Vitamin D in function and ontogeny of these cells.

Experimental investigation on adaptive robust controller designs applied to a free-floating space manipulator

This paper aims to formulate and investigate the application of various nonlinear H(infinity) control methods to a fiee-floating space manipulator subject to parametric uncertainties and external disturbances. From a tutorial perspective, a model-based approach and adaptive procedures based on linear parametrization, neural networks and fuzzy systems are covered by this work. A comparative study is conducted based on experimental implementations performed with an actual underactuated fixed-base planar manipulator which is, following the DEM concept, dynamically equivalent to a free-floating space manipulator. (C) 2011 Elsevier Ltd. All rights reserved.

Effects of the preventive and corrective adjustments in economical designs for online process control for attributes with misclassification errors

The procedure for online process control by attributes consists of inspecting a single item at every m produced items. It is decided on the basis of the inspection result whether the process is in-control (the conforming fraction is stable) or out-of-control (the conforming fraction is decreased, for example). Most articles about online process control have cited the stoppage of the production process for an adjustment when the inspected item is non-conforming (then the production is restarted in-control, here denominated as corrective adjustment). Moreover, the articles related to this subject do not present semi-economical designs (which may yield high quantities of non-conforming items), as they do not include a policy of preventive adjustments (in such case no item is inspected), which can be more economical, mainly if the inspected item can be misclassified. In this article, the possibility of preventive or corrective adjustments in the process is decided at every m produced item. If a preventive adjustment is decided upon, then no item is inspected. On the contrary, the m-th item is inspected; if it conforms, the production goes on, otherwise, an adjustment takes place and the process restarts in-control. This approach is economically feasible for some practical situations and the parameters of the proposed procedure are determined minimizing an average cost function subject to some statistical restrictions (for example, to assure a minimal levelfixed in advanceof conforming items in the production process). Numerical examples illustrate the proposal.