Design de objetos de aprendizagem digital do ponto de vista da usabilidade

Technological resources and the media are contributing to socioeconomic development, including the education sector. Application of Digital Learning Objects support learning, serving as a tool for distance learning arrangements and classroom. The quality of design in instructional materials is one factor that implies the motivation of students and support their learning, within this context, the creation of educational interactive multimedia applications should excel the content and good usability, while facilitating user interaction. The aim of this paper was to establish parameters for the creation and management of Digital Learning Objects.

Design e inovação em contexto de ensino-aprendizagem

This paper presents part of the results of a post-doctoral research project which is called "Hypermedia Design involved with the User Experience". The discussion will be undertaken in this article assumes that the use of a hypermedia environment facing the field of Design can facilitate the process of teaching and learning in an undergraduate degree in Design. The theme that guides the paper of the following question: if the education and training in design does not allow access, involvement and knowledge of the technologies in its primary base that practitioners and researchers are forming for the near future? For both this study focuses on the use of a digital environment by reporting of an experiment of using hypermedia digital book "Design, Education and Technology" as a teaching tool in undergraduate courses in design, results and notes on issues involving interactivity and user experience. The methodology has a qualitative bias, developed along the lines of exploratory research in the form of a case study, lectures, and workshops for the dynamic observation, a questionnaire and analysis of results were applied

An introductory informatics theoretical framework, based on an integrable lattice model using quantized function algebras, for studying DNA-ionized gas interaction system

Usually we observe that Bio-physical systems or Bio-chemical systems are many a time based on nanoscale phenomenon in different host environments, which involve many particles can often not be solved explicitly. Instead a physicist, biologist or a chemist has to rely either on approximate or numerical methods. For a certain type of systems, called integrable in nature, there exist particular mathematical structures and symmetries which facilitate the exact and explicit description. Most integrable systems, we come across are low-dimensional, for instance, a one-dimensional chain of coupled atoms in DNA molecular system with a particular direction or exist as a vector in the environment. This theoretical research paper aims at bringing one of the pioneering ‘Reaction-Diffusion’ aspects of the DNA-plasma material system based on an integrable lattice model approach utilizing quantized functional algebras, to disseminate the new developments, initiate novel computational and design paradigms.

Design, implementação e estudo de uma rede sócio profissional de professores de matemática

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Inovação em design: planejamento e estratégias para um parque tecnológico na região de Bauru - SP

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

EROSION LOSSES FROM RUNOFF: INTERACTION OF SOIL COVER AND EROSION CONTROL PRACTICE

The flow of sediment from cropped land is the main pollutant of water sources in rural areas. Due to this fact, it is necessary to develop and implement technologies that will reduce water and sediment discharges. Accordingly, an experiment was conducted in the Department of Biosystems Engineering - ESALQ / USP, Piracicaba - SP with the objective to evaluate the effect of different soil cover (bean, grass and bare ground) and erosion control practices (wide base terraces and infiltration furrows in slopes (no practices to control erosion)) while measuring water losses in runoff. The statistical design adopted was randomized blocks in a 3x3 factorial scheme resulting in 9 treatments with 3 replicates (blocks). The period of rainfall data collection was December 6, 2007 to April 11, 2008. A 21.1 cm diameter rain gauge was installed in the experimental area. Terraces were the most efficient practices for reducing erosion losses in the treatments with infiltration furrows being better than the control treatment. Bean was more effective than grass in reducing erosion. Bare ground was the least efficient.

Influence of temperature, light and nutrients on the growth rates of the macroalga Gracilaria domingensis in synthetic seawater using experimental design

In the present study, the daily relative growth rates (DRGR, in percent per day) of the red macroalga Gracilaria domingensis in synthetic seawater was investigated for the combined influence of five factors, i.e., light (L), temperature (T), nitrate (N), phosphate (P), and molybdate (M), using a statistical design method. The ranges of the experimental cultivation conditions were T, 18-26A degrees C; L, 74-162 mu mol photons m(-2) s(-1); N, 40-80 mu mol L-1; P, 8-16 mu mol L-1; and M, 1-5 nmol L-1. The optimal conditions, which resulted in a maximum growth rate of a parts per thousand yen6.4% d(-1) from 7 to 10 days of cultivation, were determined by analysis of variance (ANOVA) multivariate factorial analysis (with a 2(5) full factorial design) to be L, 74 mu mol photons m(-2) s(-1); T, 26A degrees C; N, 80 mu mol L-1; P, 8 mu mol L-1; and M, 1 nmol L-1. In additional, these growth rate values are close to the growth rate values in natural medium (von Stosch medium), i.e., 6.5-7.0% d(-1). The results analyzed by the ANOVA indicate that the factors N and T are highly significant linear terms, X (L), (alpha = 0.05). On the other hand, the only significant quadratic term (X (Q)) was that for L. Statistically significant interactions between two different factors were found between T vs. L and N vs. T. Finally, a two-way (linear/quadratic interaction) model provided a quite reasonable correlation between the experimental and predicted DRGR values (R (adjusted) (2) = 0.9540).

Strategies in identifying individuals in a segregant population of common bean and implications of genotype x environment interaction in the success of selection

The objective of this study was to compare the BLUP selection method with different selection strategies in F-2:4 and assess the efficiency of this method on the early choice of the best common bean (Phaseolus vulgaris) lines. Fifty-one F-2:4 progenies were produced from a cross between the CVIII8511 x RP-26 lines. A randomized block design was used with 20 replications and one-plant field plots. Character data on plant architecture and grain yield were obtained and then the sum of the standardized variables was estimated for simultaneous selection of both traits. Analysis was carried out by mixed models (BLUP) and the least squares method to compare different selection strategies, like mass selection, stratified mass selection and between and within progeny selection. The progenies selected by BLUP were assessed in advanced generations, always selecting the greatest and smallest sum of the standardized variables. Analyses by the least squares method and BLUP procedure ranked the progenies in the same way. The coincidence of the individuals identified by BLUP and between and within progeny selection was high and of the greatest magnitude when BLUP was compared with mass selection. Although BLUP is the best estimator of genotypic value, its efficiency in the response to long term selection is not different from any of the other methods, because it is also unable to predict the future effect of the progenies x environments interaction. It was inferred that selection success will always depend on the most accurate possible progeny assessment and using alternatives to reduce the progenies x environments interaction effect.

The effect of implant design on insertion torque and immediate micromotion

Objectives: To evaluate the effect of insertion torque on micromotion to a lateral force in three different implant designs. Material and methods: Thirty-six implants with identical thread design, but different cutting groove design were divided in three groups: (1) non-fluted (no cutting groove, solid screw-form); (2) fluted (901 cut at the apex, tap design); and (3) Blossomt (Patent pending) (non-fluted with engineered trimmed thread design). The implants were screwed into polyurethane foam blocks and the insertion torque was recorded after each turn of 901 by a digital torque gauge. Controlled lateral loads of 10N followed by increments of 5 up to 100N were sequentially applied by a digital force gauge on a titanium abutment. Statistical comparison was performed with two-way mixed model ANOVA that evaluated implant design group, linear effects of turns and displacement loads, and their interaction. Results: While insertion torque increased as a function of number of turns for each design, the slope and final values increased (Po0.001) progressively from the Blossomt to the fluted to the non-fluted design (M +/- standard deviation [SD] = 64.1 +/- 26.8, 139.4 +/- 17.2, and 205.23 +/- 24.3 Ncm, respectively). While a linear relationship between horizontal displacement and lateral force was observed for each design, the slope and maximal displacement increased (Po0.001) progressively from the Blossomt to the fluted to the non-fluted design (M +/- SD 530 +/- 57.7, 585.9 +/- 82.4, and 782.33 +/- 269.4 mm, respectively). There was negligible to moderate levels of association between insertion torque and lateral displacement in the Blossomt, fluted and non-fluted design groups, respectively. Conclusion: Insertion torque was reduced in implant macrodesigns that incorporated cutting edges, and lesser insertion torque was generally associated with decreased micromovement. However, insertion torque and micromotion were unrelated within implant designs, particularly for those designs showing the least insertion torque.

STATISTICAL TEST FOR GENOTYPE AND ENVIRONMENT CONTRIBUTION IN THE GENOTYPES x ENVIRONMENTS INTERACTION MATRIX

The objective of the present work was to propose a method for testing the contribution of each level of the factors in a genotypes x environments (GxE) interaction using multi-environment trials analyses by means of an F test. The study evaluated a data set, with twenty genotypes and thirty-four environments, in a block design with four replications. The sum of squares within rows (genotypes) and columns (environments) of the GxE matrix was simulated, generating 10000 experiments to verify the empirical distribution. Results indicate a noncentral chi-square distribution for rows and columns of the GxE interaction matrix, which was also verified by the Kolmogorov-Smirnov test and Q-Q plot. Application of the F test identified the genotypes and environments that contributed the most to the GxE interaction. In this way, geneticists can select good genotypes in their studies.

Design of a Dinuclear Nickel(II) Bioinspired Hydrolase to Bind Covalently to Silica Surfaces: Synthesis, Magnetism, and Reactivity Studies

Presented herein is the design of a dinuclear Ni-II synthetic hydrolase [Ni-2(HBPPAMFF)(mu-OAc)(2)(H2O)]-BPh4 (1) (H(2)BPPAMFF = 2-[(N-benzyl-N-2-pyridylmethylamine)]-4-methyl-6-[N-(2-pyridylmethyl)aminomethyl)])-4- methyl-6-formylphenol) to be covalently attached to silica surfaces, while maintaining its catalytic activity. An aldehyde-containing ligand (H(2)BPPAMFF) provides a reactive functional group that can serve as a cross-linking group to bind the complex to an organoalkoxysilane and later to the silica surfaces or directly to amino-modified surfaces. The dinuclear Ni-II complex covalently attached to the silica surfaces was fully characterized by different techniques. The catalytic turnover number (k(cat)) of the immobilized (NiNiII)-Ni-II catalyst in the hydrolysis of 2,4-bis(dinitrophenyl)phosphate is comparable to the homogeneous reaction; however, the catalyst interaction with the support enhanced the substrate to complex association constant, and consequently, the catalytic efficiency (E - k(cat)/K-M) and the supported catalyst can be reused for subsequent diester hydrolysis reactions.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

Molecular basis oh herpes simplex virus entry into the cell and retargeting of the viral tropism for the design of oncolytic herpesviruses

Herpes simplex virus 1 (HSV-1) infects oral epitelial cells, then spreads to the nerve endings and estabilishes latency in sensory ganglia, from where it may, or may not reactivate. Diseases caused by virus reactivation include mild diseases such as muco-cutaneous lesions, and more severe, and even life-threatening encephalitis, or systemic infections affecting diverse organs. Herpes simplex virus represents the most comprehensive example of virus receptor interaction in Herpesviridae family, and the prototype virus encoding multipartite entry genes. In fact, it encodes 11-12 glycoproteins and a number of additional membrane proteins: five of these proteins play key roles in virus entry into subsceptible cells. Thus, glycoprotein B (gB) and glycoprotein C (gC) interact with heparan sulfate proteoglycan to enable initial attachment to cell surfaces. In the next step, in the entry cascade, gD binds a specific surface receptor such as nectin1 or HVEM. The interaction of glycoprotein D with the receptor alters the conformation of gD to enable the activation of gB, glycoprotein H, and glycoprotein L, a trio of glycoproteins that execute the fusion of the viral envelope with the plasma membrane. In this thesis, I described two distinct projects: I. The retargeting of viral tropism for the design of oncolytic Herpesviruses: • capable of infecting cells through the human epitelial growth factor receptor 2 (HER2), overexpressed in highly malignant mammary and ovarian tumors and correlates with a poor prognosis; • detargeted from its natural receptors, HVEM and nectin1. To this end, we inserted a ligand to HER2 in gD. Because HER2 has no natural ligand, the selected ligand was a single chain antibody (scFv) derived from MAb4D5 (monoclonal antibody to HER2), herein designated scHER2. All recombinant viruses were targeted to HER2 receptor, but only two viruses (R-LM113 and R-LM249) were completely detargeted from HVEM and nectin1. To engineer R-LM113, we removed a large portion at the N-terminus of gD (from aa 6 to aa 38) and inserted scHER2 sequence plus 9-aa serine-glycine flexible linker at position 39. On the other hand, to engineer R-LM249, we replaced the Ig-folded core of gD (from aa 61 to aa 218) with scHER2 flanked by Ser-Gly linkers. In summary, these results provide evidence that: i. gD can tolerate an insert almost as big as gD itself; ii. the Ig-like domain of gD can be removed; iii. the large portion at the N-terminus of gD (from aa 6 to aa 38) can be removed without loss of key function; iv. R-LM113 and R-LM249 recombinants are ready to be assayed in animal models of mammary and ovary tumour. This finding and the avaibility of a large number of scFv greatly increase the collection of potential receptors to which HSV can be redirected. II. The production and purification of recombinant truncated form of the heterodimer gHgL. We cloned a stable insect cell line expressing a soluble form of gH in complex with gL under the control of a metalloprotein inducible promoter and purified the heterodimer by means of ONE-STrEP-tag system by IBA. With respect to biological function, the purified heterodimer is capable: • of reacting to antibodies that recognize conformation dependent epitopes and neutralize virion infectivity; • of binding a variety cells at cell surface. No doubt, the availability of biological active purified gHgL heterodimer, in sufficient quantities, will speed up the efforts to solve its crystal structure and makes it feasible to identify more clearly whether gHgL has a cellular partner, and what is the role of this interaction on virus entry.

Uniquitous internet middleware: architecture design and prototype evaluation

Technology advances in recent years have dramatically changed the way users exploit contents and services available on the Internet, by enforcing pervasive and mobile computing scenarios and enabling access to networked resources almost from everywhere, at anytime, and independently of the device in use. In addition, people increasingly require to customize their experience, by exploiting specific device capabilities and limitations, inherent features of the communication channel in use, and interaction paradigms that significantly differ from the traditional request/response one. So-called Ubiquitous Internet scenario calls for solutions that address many different challenges, such as device mobility, session management, content adaptation, context-awareness and the provisioning of multimodal interfaces. Moreover, new service opportunities demand simple and effective ways to integrate existing resources into new and value added applications, that can also undergo run-time modifications, according to ever-changing execution conditions. Despite service-oriented architectural models are gaining momentum to tame the increasing complexity of composing and orchestrating distributed and heterogeneous functionalities, existing solutions generally lack a unified approach and only provide support for specific Ubiquitous Internet aspects. Moreover, they usually target rather static scenarios and scarcely support the dynamic nature of pervasive access to Internet resources, that can make existing compositions soon become obsolete or inadequate, hence in need of reconfiguration. This thesis proposes a novel middleware approach to comprehensively deal with Ubiquitous Internet facets and assist in establishing innovative application scenarios. We claim that a truly viable ubiquity support infrastructure must neatly decouple distributed resources to integrate and push any kind of content-related logic outside its core layers, by keeping only management and coordination responsibilities. Furthermore, we promote an innovative, open, and dynamic resource composition model that allows to easily describe and enforce complex scenario requirements, and to suitably react to changes in the execution conditions.

Liquid crystal polymers: macromolecular design for enhanced performances

During this work, done mainly in the laboratories of the department of Industrial Chemistry and Materials of the University of Bologna but also in the laboratories of the Carnegie Mellon University in collaboration with prof. K. Matyjaszewski and at the university of Zaragoza in collaboration with prof. J. Barberá, was focused mainly on the synthesis and characterization of new functional polymeric materials. In the past years our group gained a deep knowledge about the photomodulation of azobenzene containing polymers. The aim of this thesis is to push forward the performances of these materials by the synthesis of well defined materials, in which, by a precise control over the macromolecular structures, better or even new functionality can be delivered to the synthesized material. For this purpose, besides the rich photochemistry of azoaromatic polymers that brings to the application, the control offered from the recent techniques of controlled radical polymerization, ATRP over all, gives an enormous range of opportunity for the developing of a new generation of functional materials whose properties are determinate not only by the chemical nature of the functional center (e.g. azoaromatic chromophore) but are tuned and even amplified by a synergy with the whole macromolecular structure. Old materials in new structures. In this contest the work of this thesis was focused mainly on the synthesis and characterization of well defined azoaromatic polymers in order to establish, for the first time, precise structure-properties correlation. In fact a series of well defined different azopolymers, chiral and achiral, with different molecular weight and highly monodisperse were synthesized and their properties were studied, in terms of photoexpansion and photomodulation of chirality. We were then able to study the influence of the macromolecular structure in terms of molecular weight and ramification on the studied properties. The huge amount of possibility offered by the tailoring of the macromolecular structure were exploited for the synthesis of new cholesteric photochromic polymers that can be used as a smart label for the certification of the thermal history of any thermosensitive product. Finally the ATRP synthesis allowed us to synthesize a total new class of material, named molecular brushes: a flat surface covered with an ultra thin layer of polymeric chain covalently bond onto the surface from one end. This new class of materials is of extreme interest as they offer the possibility to tune and manage the interaction of the surface with the environment. In this contest we synthesized both azoaromatic surfaces, growing directly the polymer from the surface, and mixed brushes: surfaces covered with incompatible macromolecules. Both type of surfaces acts as “smart” surfaces: the first it is able to move the orientation of a LC cell by simply photomodulation and, thanks to the robustness of the covalent bond, can be used as a command surface overcoming all the limitation due to the dewetting of the active layer. The second type of surface, functionalized by a grafting-to method, can self assemble the topmost layer responding to changed environmental conditions, exposing different functionality according to different environment.