Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

The relationship between early and intermediate level spatial vision during typical development and in autism spectrum disorder

Certaines recherches ont investigué le traitement visuel de bas et de plus hauts niveaux chez des personnes neurotypiques et chez des personnes ayant un trouble du spectre de l’autisme (TSA). Cependant, l’interaction développementale entre chacun de ces niveaux du traitement visuel n’est toujours pas bien comprise. La présente thèse a donc deux objectifs principaux. Le premier objectif (Étude 1) est d’évaluer l’interaction développementale entre l’analyse visuelle de bas niveaux et de niveaux intermédiaires à travers différentes périodes développementales (âge scolaire, adolescence et âge adulte). Le second objectif (Étude 2) est d’évaluer la relation fonctionnelle entre le traitement visuel de bas niveaux et de niveaux intermédiaires chez des adolescents et des adultes ayant un TSA. Ces deux objectifs ont été évalué en utilisant les mêmes stimuli et procédures. Plus précisément, la sensibilité de formes circulaires complexes (Formes de Fréquences Radiales ou FFR), définies par de la luminance ou par de la texture, a été mesurée avec une procédure à choix forcés à deux alternatives. Les résultats de la première étude ont illustré que l’information locale des FFR sous-jacents aux processus visuels de niveaux intermédiaires, affecte différemment la sensibilité à travers des périodes développementales distinctes. Plus précisément, lorsque le contour est défini par de la luminance, la performance des enfants est plus faible comparativement à celle des adolescents et des adultes pour les FFR sollicitant la perception globale. Lorsque les FFR sont définies par la texture, la sensibilité des enfants est plus faible comparativement à celle des adolescents et des adultes pour les conditions locales et globales. Par conséquent, le type d’information locale, qui définit les éléments locaux de la forme globale, influence la période à laquelle la sensibilité visuelle atteint un niveau développemental similaire à celle identifiée chez les adultes. Il est possible qu’une faible intégration visuelle entre les mécanismes de bas et de niveaux intermédiaires explique la sensibilité réduite des FFR chez les enfants. Ceci peut être attribué à des connexions descendantes et horizontales immatures ainsi qu’au sous-développement de certaines aires cérébrales du système visuel. Les résultats de la deuxième étude ont démontré que la sensibilité visuelle en autisme est influencée par la manipulation de l’information locale. Plus précisément, en présence de luminance, la sensibilité est seulement affectée pour les conditions sollicitant un traitement local chez les personnes avec un TSA. Cependant, en présence de texture, la sensibilité est réduite pour le traitement visuel global et local. Ces résultats suggèrent que la perception de formes en autisme est reliée à l’efficacité à laquelle les éléments locaux (luminance versus texture) sont traités. Les connexions latérales et ascendantes / descendantes des aires visuelles primaires sont possiblement tributaires d’un déséquilibre entre les signaux excitateurs et inhibiteurs, influençant ainsi l’efficacité à laquelle l’information visuelle de luminance et de texture est traitée en autisme. Ces résultats supportent l’hypothèse selon laquelle les altérations de la perception visuelle de bas niveaux (local) sont à l’origine des atypies de plus hauts niveaux chez les personnes avec un TSA.

Computational Models Development and Demand Response Application for Smart Grids

This paper focuses on computational models development and its applications on demand response, within smart grid scope. A prosumer model is presented and the corresponding economic dispatch problem solution is analyzed. The prosumer solar radiation production and energy consumption are forecasted by artificial neural networks. The existing demand response models are studied and a computational tool based on fuzzy clustering algorithm is developed and the results discussed. Consumer energy management applications within the InovGrid pilot project are presented. Computation systems are developed for the acquisition, monitoring, control and supervision of consumption data provided by smart meters, allowing the incorporation of consumer actions on their electrical energy management. An energy management system with integration of smart meters for energy consumers in a smart grid is developed.

Development and Characterization of Biopolymers

Development and characterization of biopolymers was done in AIJU’s laboratories. AIJU, Technological Institute for children’s products and leisure is based in Spain. The work has the aim to study qualities and characteristics of bioplastics’ blends, in order to design where improvements can be executed. Biopolymers represent a sector with great development possibilities because they combine high technical potential and eco-sustainability. Nowadays, plastic pollution has becoming increasingly concerning, particularly in terms of management of waste. Bioplastics provide an alternative for the disposal of products, reducing the volume of waste and enhancing the end of life recovery. Despite the growing interest in biopolymers there is some gaps that need be filled. The main objective on this work, is the optimization of bioplastics mechanical properties, to find suitable substitutes, as similar as possible to conventional plastics. Firstly, investigations on processability of biomaterials has been deepen since the project deals with toy manufacturing’s sector. Thus, starting from laboratory scale the work aspires to expand industrially. By working with traditional machines, it was notable that, with some limited modifications, the equipment can perform the same functions. Therefore, operational processes do not emerge as an obstacle to the production chain. Secondly, after processing bio-blends, they are characterized by thermal tests (melt flow index, differential scanning calorimetry-DSC, thermogravimetry-TGA) and mechanical tests (traction and flexural tests, Charpy impact, SHORE D hardness and density). While the compatibility does not show relevant results, mechanical improvements has been visualized with addition of more ductile materials. The study was developed by inclusion of sustainable additive VINNEX® to blends. The thesis has highlighted that integration of more flexible materials provides elasticity without compromising bioplastics’ properties.

Development And Shelf-life Determination Of Pasteurized, Microfiltered, Lactose Hydrolyzed Skim Milk.

The segment of the world population showing permanent or temporary lactose intolerance is quite significant. Because milk is a widely consumed food with an high nutritional value, technological alternatives have been sought to overcome this dilemma. Microfiltration combined with pasteurization can not only extend the shelf life of milk but can also maintain the sensory, functional, and nutritional properties of the product. This studied developed a pasteurized, microfiltered, lactose hydrolyzed (delactosed) skim milk (PMLHSM). Hydrolysis was performed using β-galactosidase at a concentration of 0.4mL/L and incubation for approximately 21h at 10±1°C. During these procedures, the degree of hydrolysis obtained (>90%) was accompanied by evaluation of freezing point depression, and the remaining quantity of lactose was confirmed by HPLC. Milk was processed using a microfiltration pilot unit equipped with uniform transmembrane pressure (UTP) ceramic membranes with a mean pore size of 1.4 μm and UTP of 60 kPa. The product was submitted to physicochemical, microbiological, and sensory evaluations, and its shelf life was estimated. Microfiltration reduced the aerobic mesophilic count by more than 4 log cycles. We were able to produce high-quality PMLHSM with a shelf life of 21 to 27d when stored at 5±1°C in terms of sensory analysis and proteolysis index and a shelf life of 50d in regard to total aerobic mesophile count and titratable acidity.

Development And Characterization Of Microsatellite Loci For Ocotea Species (lauraceae) Threatened With Extinction.

The Atlantic rainforest species Ocotea catharinensis, Ocotea odorifera, and Ocotea porosa have been extensively harvested in the past for timber and oil extraction and are currently listed as threatened due to overexploitation. To investigate the genetic diversity and population structure of these species, we developed 8 polymorphic microsatellite markers for O. odorifera from an enriched microsatellite library by using 2 dinucleotide repeats. The microsatellite markers were tested for cross-amplification in O. catharinensis and O. porosa. The average number of alleles per locus was 10.2, considering all loci over 2 populations of O. odorifera. Observed and expected heterozygosities for O. odorifera ranged from 0.39 to 0.93 and 0.41 to 0.92 across populations, respectively. Cross-amplification of all loci was successfully observed in O. catharinensis and O. porosa except 1 locus that was found to lack polymorphism in O. porosa. Combined probabilities of identity in the studied Ocotea species were very low ranging from 1.0 x 10-24 to 7.7 x 10-24. The probability of exclusion over all loci estimated for O. odorifera indicated a 99.9% chance of correctly excluding a random nonparent individual. The microsatellite markers described in this study have high information content and will be useful for further investigations on genetic diversity within these species and for subsequent conservation purposes.

Development And Characterization Of Microsatellite Loci For Tabebuia Cassinoides (bignoniaceae).

Tabebuia cassinoides (Lam.) DC., popularly known as caxeta, is a tree species that belongs to the plant family Bignoniaceae. This species is endemic to the Brazilian Atlantic Forest and is widely exploited commercially. To date, little is known about its genetic structure, preventing the establishment of adequate management plans for this taxon. The objective of this study was to construct a microsatellite-enriched genomic library for T. cassinoides to select polymorphic loci, and standardize polymerase chain reaction amplification conditions. Of the 15 loci examined, 5 were polymorphic. The number of alleles per locus ranged from 2 to 8, with a mean of 4.4. The microsatellite loci described here represent the basis for detailed population genetic studies of this species, which will greatly contribute for the development of better conservation strategies for this taxon.

Development And Characterization Of 32 Microsatellite Loci In Genipa Americana (rubiaceae).

• Microsatellite primers were developed for the tree species Genipa americana (Rubiaceae) for further population genetic studies. • We identified 144 clones containing 65 repeat motifs from a genomic library enriched for (CT)8 and (GT)8 motifs. Primer pairs were developed for 32 microsatellite loci and validated in 40 individuals of two natural G. americana populations. Seventeen loci were polymorphic, revealing from three to seven alleles per locus. The observed and expected heterozygosities ranged from 0.24 to 1.00 and from 0.22 to 0.78, respectively. • The 17 primers identified as polymorphic loci are suitable to study the genetic diversity and structure, mating system, and gene flow in G. americana.

Development And Characterization Of A Cationic Lipid Nanocarrier As Non-viral Vector For Gene Therapy.

The aim of the present work was to produce a cationic solid lipid nanoparticle (SLN) as non-viral vector for protein delivery. Cationic SLN were produced by double emulsion method, composed of softisan(®) 100, cetyltrimethylammonium bromide (CTAB), Tween(®) 80, Span(®) 80, glycerol and lipoid(®) S75 loading insulin as model protein. The formulation was characterized in terms of mean hydrodynamic diameter (z-ave), polydispersity index (PI), zeta potential (ZP), stability during storage time, stability after lyophilization, effect of toxicity and transfection ability in HeLa cells, in vitro release profile and morphology. SLN were stable for 30days and showed minimal changes in their physicochemical properties after lyophilization. The particles exhibited a relatively slow release, spherical morphology and were able to transfect HeLa cells, but toxicity remained an obstacle. Results suggest that SLN are nevertheless promising for delivery of proteins or nucleic acids for gene therapy.

Development And Characterization Of Microsatellite Markers For Piptadenia Gonoacantha (fabaceae).

• Microsatellite primers were designed for Piptadenia gonoacantha (Fabaceae) and characterized to estimate genetic diversity parameters. The species is a native tree from the Atlantic Forest biome commonly used in forest restoration; it has medicinal potential and the wood is economically useful. • Twenty-eight microsatellite loci were identified from an enriched genomic library. Fifteen loci resulted in successful amplifications and were characterized in a natural population of 94 individuals. Twelve loci were polymorphic, with allele numbers ranging from three to 15 per locus, and expected and observed heterozygosities ranging from 0.2142 to 0.8325 and 0.190 to 0.769, respectively. • The developed markers will be used in further studies of population genetics of P. gonoacantha, aimed at conservation and management of the species in natural populations and in forest restoration projects.

Escala de autoaceitação para pessoas com cegueira congênita ou precoce : desenvolvimento e investigação psicométrica = Self-acceptance acale for people with congenital or early blindness : development and psychometric analysis

Universidade Estadual de Campinas . Faculdade de Educação Física

Reproductive behavior, development and eye regression in the cave armored catfish, Ancistrus cryptophthalmus Reis, 1987 (Siluriformes: Loricariidae), breed in laboratory

The troglobitic armored catfish, Ancistrus cryptophthalmus (Loricariidae, Ancistrinae) is known from four caves in the São Domingos karst area, upper rio Tocantins basin, Central Brazil. These populations differ in general body shape and degree of reduction of eyes and of pigmentation. The small Passa Três population (around 1,000 individuals) presents the most reduced eyes, which are not externally visible in adults. A small group of Passa Três catfish, one male and three females, reproduced spontaneously thrice in laboratory, at the end of summertime in 2000, 2003 and 2004. Herein we describe the reproductive behavior during the 2003 event, as well as the early development of the 2003 and 2004 offsprings, with focus on body growth and ontogenetic regression of eyes. The parental care by the male, which includes defense of the rock shelter where the egg clutch is laid, cleaning and oxygenation of eggs, is typical of many loricariids. On the other hand, the slow development, including delayed eye degeneration, low body growth rates and high estimated longevity (15 years or more) are characteristic of precocial, or K-selected, life cycles. In the absence of comparable data for close epigean relatives (Ancistrus spp.), it is not possible to establish whether these features are an autapomorphic specialization of the troglobitic A. cryptophthalmus or a plesiomorphic trait already present in the epigean ancestor, possibly favoring the adoption of the life in the food-poor cave environment. We briefly discuss the current hypotheses on eye regression in troglobitic vertebrates.

Development and validation of a simple and rapid capillary zone electrophoresis method for determination of nnrti nevirapine in pharmaceutical formulations

A simple and fast capillary zone electrophoresis (CZE) method has been developed and validated for quantification of a non-nucleoside reverse transcriptase inhibitor (NNRTI) nevirapine, in pharmaceuticals. The analysis was optimized using 10 mmol L-1 sodium phosphate buffer pH 2.5, +25 kV applied voltage, hydrodynamic injection 0.5 psi for 5 s and direct UV detection at 200 µm. Diazepam (50.0 µg mL-1) was used as internal standard. Under these conditions, nevirapine was analyzed in approximately less than 2.5 min. The analytical curve presented a coefficient of correlation of 0.9994. Limits of detection and quantification were 1.4 µg mL-1 and 4.3 µg mL-1, respectively. Intra- and inter-day precision expressed as relative standard deviations were 1.4% and 1.3%, respectively and the mean recovery was 100.81%. The active pharmaceutical ingredient was subjected to hydrolysis (acid, basic and neutral) and oxidative stress conditions. No interference of degradation products and tablet excipients were observed. This method showed to be rapid, simple, precise, accurate and economical for determination of nevirapine in pharmaceuticals and it is suitable for routine quality control analysis since CE offers benefits in terms of quicker method development and significantly reduced operating costs.

Maternal immunization with ovalbumin prevents neonatal allergy development and up-regulates inhibitory receptor Fc gamma RIIB expression on B cells

Background: Preconception allergen immunization prevents neonatal allergen sensitization in mice by a complex interaction between regulatory cells/factors and antibodies. The present study assessed the influence of maternal immunization with ovalbumin (OVA) on the immune response of 3 day-old and 3 week-old offspring immunized or non-immunized with OVA and evaluated the effect of IgG treatment during fetal development or neonatal period. Results: Maternal immunization with OVA showed increased levels of Fc gamma RIIb expression in splenic B cells of neonates, which were maintained for up to 3 weeks and not affected by additional postnatal OVA immunization. Maternal immunization also exerted a down-modulatory effect on both IL-4 and IFN-gamma-secreting T cells and IL-4 and IL-12-secreting B cells. Furthermore, immunized neonates from immunized mothers showed a marked inhibition of antigen-specifc IgE Ab production and lowered Th2/Th1 cytokine levels, whereas displaying enhanced Fc gamma RIIb expression on B cells. These offspring also showed reduced antigen-specific proliferative response and lowered B cell responsiveness. Moreover, in vitro evaluation revealed an impairment of B cell activation upon engagement of B cell antigen receptor by IgG from OVA-immunized mice. Finally, in vivo IgG transference during pregnancy or breastfeeding revealed that maternal Ab transference was able to increase regulatory cytokines, such as IL-10, in the prenatal stage; yet only the postnatal treatment prevented neonatal sensitization. None of the IgG treatments induced immunological changes in the offspring, as it was observed for those from OVA-immunized mothers. Conclusion: Maternal immunization upregulates the inhibitory Fc gamma RIIb expression on offspring B cells, avoiding skewed Th2 response and development of allergy. These findings contribute to the advancement of prophylactic strategies to prevent allergic diseases in early life.

Development and mechanical testing of a short intramedullary nail for fixation of femoral rotational osteotomy in cerebral palsy patients

Background: Rotational osteotomy is frequently indicated to correct excessive femoral anteversion in cerebral palsy patients. Angled blade plate is the standard fixation device used when performed in the proximal femur, but extensile exposure is required for plate accommodation. The authors developed a short locked intramedullary nail to be applied percutaneously in the fixation of femoral rotational osteotomies in children with cerebral palsy and evaluated its mechanical properties. Methods: The study was divided into three stages. In the first part, a prototype was designed and made based on radiographic measurements of the femoral medullary canal of ten-year-old patients. In the second, synthetic femoral models based on rapid-prototyping of 3D reconstructed images of patients with cerebral palsy were obtained and were employed to adjust the nail prototype to the morphological changes observed in this disease. In the third, rotational osteotomies were simulated using synthetic femoral models stabilized by the nail and by the AO-ASIF fixed-angle blade plate. Mechanical testing was done comparing both devices in bending-compression and torsion. Results: The authors observed proper adaptation of the nail to normal and morphologically altered femoral models, and during the simulated osteotomies. Stiffness in bending-compression was significantly higher in the group fixed by the plate (388.97 +/- 57.25 N/mm) than in that fixed by the nail (268.26 +/- 38.51 N/mm) as torsional relative stiffness was significantly higher in the group fixed by the plate (1.07 +/- 0.36 Nm/degrees) than by the nail (0.35 +/- 0.13 Nm/degrees). Conclusions: Although the device presented adequate design and dimension to fit into the pediatric femur, mechanical tests indicated that the nail was less stable than the blade plate in bending-compression and torsion. This may be a beneficial property, and it can be attributed to the more flexible fixation found in intramedullary devices.