Towards requirements aware systems:run-time resolution of design-time assumptions

In earlier work we proposed the idea of requirements-aware systems that could introspect about the extent to which their goals were being satisfied at runtime. When combined with requirements monitoring and self adaptive capabilities, requirements awareness should help optimize goal satisfaction even in the presence of changing run-time context. In this paper we describe initial progress towards the realization of requirements-aware systems with REAssuRE. REAssuRE focuses on explicit representation of assumptions made at design time. When such assumptions are shown not to hold, REAssuRE can trigger system adaptations to alternative goal realization strategies.

Run-time resolution of uncertainty

Requirements awareness should help optimize requirements satisfaction when factors that were uncertain at design time are resolved at runtime. We use the notion of claims to model assumptions that cannot be verified with confidence at design time. By monitoring claims at runtime, their veracity can be tested. If falsified, the effect of claim negation can be propagated to the system's goal model and an alternative means of goal realization selected automatically, allowing the dynamic adaptation of the system to the prevailing environmental context. © 2011 IEEE.

Matrix-assisted diffusion-ordered spectroscopy:application of surfactant solutions to the resolution of isomer spectra

The component spectra of a mixture of isomers with nearly identical diffusion coefficients cannot normally be distinguished in a standard diffusion-ordered spectroscopy (DOSY) experiment but can often be easily resolved using matrix-assisted DOSY, in which diffusion behaviour is manipulated by the addition of a co-solute such as a surfactant. Relatively little is currently known about the conditions required for such a separation, for example, how the choice between normal and reverse micelles affects separation or how the isomer structures themselves affect the resolution. The aim of this study was to explore the application of sodium dodecyl sulfate (SDS) normal micelles in aqueous solution and sodium 1,4-bis(2-ethylhexyl)sulfosuccinate (AOT) aggregates in chloroform, at a range of concentrations, to the diffusion resolution of some simple model sets of isomers such as monomethoxyphenols and short chain alcohols. It is shown that SDS micelles offer better resolution where these isomers differ in the position of a hydroxyl group, whereas AOT aggregates are more effective for isomers differing in the position of a methyl group. For both the normal SDS micelles and the less well-defined AOT aggregates, differences in the resolution of the isomers can in part be rationalised in terms of differing degrees of hydrophobicity, amphiphilicity and steric effects. Copyright © 2012 John Wiley & Sons, Ltd.

MicroRNA-155 promotes resolution of hypoxia-inducible factor 1α activity during prolonged hypoxia

The hypoxia-inducible factor (HIF) is a key regulator of the transcriptional response to hypoxia. While the mechanism underpinning HIF activation is well understood, little is known about its resolution. Both the protein and the mRNA levels of HIF-1a (but not HIF-2a) were decreased in intestinal epithelial cells exposed to prolonged hypoxia. Coincident with this, microRNA (miRNA) array analysis revealed multiple hypoxiainducible miRNAs. Among these was miRNA-155 (miR-155), which is predicted to target HIF-1a mRNA. We confirmed the hypoxic upregulation of miR-155 in cultured cells and intestinal tissue from mice exposed to hypoxia. Furthermore, a role for HIF-1a in the induction of miR-155 in hypoxia was suggested by the identification of hypoxia response elements in the miR-155 promoter and confirmed experimentally. Application of miR-155 decreased the HIF-1a mRNA, protein, and transcriptional activity in hypoxia, and neutralization of endogenous miR-155 reversed the resolution of HIF-1a stabilization and activity. Based on these data and a mathematical model of HIF-1a suppression by miR-155, we propose that miR-155 induction contributes to an isoform-specific negative-feedback loop for the resolution of HIF-1a activity in cells exposed to prolonged hypoxia, leading to oscillatory behavior of HIF-1a-dependent transcription. © 2011, American Society for Microbiology.

Visualization of Problems’ Solution

Джурджица Такачи - В доклада се разглеждат дидактически подходи за решаване на задачи, упражнения и доказване на теореми с използване на динамичен софтуер, по-специално – с вече широко разпространената система GeoGebra. Въз основа на концепция-та на Пойа се анализира използването на GeoGebra като когнитивно средство за решаване на задачи и за обсъждане на техни възможни обобщения.

Resolution of deep venous thrombosis in type 2 diabetes mice model : implication of fibrinolytic and matrix metalloproteinase systems

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Resolution of deep venous thrombosis in type 2 diabetes mice model : implication of fibrinolytic and matrix metalloproteinase systems

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

(Table 1) Age control and temporal resolution of paleoceanographic records of the North Atlantic

Short-term changes in sea surface conditions controlling the thermohaline circulation in the northern North Atlantic are expected to be especially efficient in perturbing global climate stability. Here we assess past variability of sea surface temperature (SST) in the northeast Atlantic and Norwegian Sea during Marine Isotope Stage (MIS) 2 and, in particular, during the Last Glacial Maximum (LGM). Five high-resolution SST records were established on a meridional transect (53°N-72°N) to trace centennial-scale oscillations in SST and sea-ice cover. We used three independent computational techniques (SIMMAX modern analogue technique, Artificial Neural Networks (ANN), and Revised Analog Method (RAM)) to reconstruct SST from planktonic foraminifer census counts. SIMMAX and ANN reproduced short-term SST oscillations of similar magnitude and absolute levels, while RAM, owing to a restrictive analog selection, appears less suitable for reconstructing "cold end" SST. The SIMMAX and ANN SST reconstructions support the existence of a weak paleo-Norwegian Current during Dansgaard-Oeschger (DO) interstadials number 4, 3, 2, and 1. During the LGM, two warm incursions of 7°C water to occurred in the northern North Atlantic but ended north of the Iceland Faroe Ridge. A rough numerical estimate shows that the near-surface poleward heat transfer from 53° across the Iceland-Faroe Ridge up to to 72° N dropped to less than 60% of the modern value during DO interstadials and to almost zero during DO stadials. Summer sea ice was generally confined to the area north of 70°N and only rarely expanded southward along the margins of continental ice sheets. Internal LGM variability of North Atlantic (>40°N) SST in the GLAMAP 2000 compilation (Sarnthein et al., 2003, doi:10.1029/2002PA000771; Pflaumann et al., 2003, doi:10.1029/2002PA000774) indicates maximum instability in the glacial subpolar gyre and at the Iberian Margin, while in the Nordic Seas, SST was continuously low.

Defining the Resolution of a Network for Transportation Analyses: a New Method to Improve Transportation Planning Decisions

Travel demand models are important tools used in the analysis of transportation plans, projects, and policies. The modeling results are useful for transportation planners making transportation decisions and for policy makers developing transportation policies. Defining the level of detail (i.e., the number of roads) of the transport network in consistency with the travel demand model’s zone system is crucial to the accuracy of modeling results. However, travel demand modelers have not had tools to determine how much detail is needed in a transport network for a travel demand model. This dissertation seeks to fill this knowledge gap by (1) providing methodology to define an appropriate level of detail for a transport network in a given travel demand model; (2) implementing this methodology in a travel demand model in the Baltimore area; and (3) identifying how this methodology improves the modeling accuracy. All analyses identify the spatial resolution of the transport network has great impacts on the modeling results. For example, when compared to the observed traffic data, a very detailed network underestimates traffic congestion in the Baltimore area, while a network developed by this dissertation provides a more accurate modeling result of the traffic conditions. Through the evaluation of the impacts a new transportation project has on both networks, the differences in their analysis results point out the importance of having an appropriate level of network detail for making improved planning decisions. The results corroborate a suggested guideline concerning the development of a transport network in consistency with the travel demand model’s zone system. To conclude this dissertation, limitations are identified in data sources and methodology, based on which a plan of future studies is laid out.

A representation-free description of the Kasevich-Chu interferometer: a resolution of the redshift controversy

Motivated by a recent claim by Muller et al (2010 Nature 463 926-9) that an atom interferometer can serve as an atom clock to measure the gravitational redshift with an unprecedented accuracy, we provide a representation-free description of the Kasevich-Chu interferometer based on operator algebra. We use this framework to show that the operator product determining the number of atoms at the exit ports of the interferometer is a c-number phase factor whose phase is the sum of only two phases: one is due to the acceleration of the phases of the laser pulses and the other one is due to the acceleration of the atom. This formulation brings out most clearly that this interferometer is an accelerometer or a gravimeter. Moreover, we point out that in different representations of quantum mechanics such as the position or the momentum representation the phase shift appears as though it originates from different physical phenomena. Due to this representation dependence conclusions concerning an enhanced accuracy derived in a specific representation are unfounded.

Purification, biochemical characterization and localization at single cell resolution of Matrix Gla Protein (MGP) and Bone Gla Protein (BGP) in the teleost fish Argyrosomus regius

Tese de dout. em Química, Faculdade de Ciências do Mar e do Ambiente, Univ. do Algarve, 2002

Analytic and heuristic processes in the detection and resolution of conflict

Previous research with the ratio-bias task found larger response latencies for conflict trials where the heuristic- and analytic-based responses are assumed to be in opposition (e.g., choosing between 1/10 and 9/100 ratios of success) when compared to no-conflict trials where both processes converge on the same response (e.g., choosing between 1/10 and 11/100). This pattern is consistent with parallel dualprocess models, which assume that there is effective, rather than lax, monitoring of the output of heuristic processing. It is, however, unclear why conflict resolution sometimes fails. Ratio-biased choices may increase because of a decline in analytical reasoning (leaving heuristic-based responses unopposed) or to a rise in heuristic processing (making it more difficult for analytic processes to override the heuristic preferences). Using the process-dissociation procedure, we found that instructions to respond logically and response speed affected analytic (controlled) processing (C), leaving heuristic processing (H) unchanged, whereas the intuitive preference for large nominators (as assessed by responses to equal ratio trials) affected H but not C. These findings create new challenges to the debate between dual-process and singleprocess accounts, which are discussed.

Towards the kinetic resolution of mechanically planar chiral rotaxanes

In this work, we reported the synthesis and characterization of two [2]rotaxanes endowed with a central ammonium group and two triazolium recognition stations on either side, acting as complexation sites for a dibenzo-24-crown-8 ether macrocycle. These mechanically interlocked architectures were obtained through the interlocking of a functionalized achiral macrocycle with Cs symmetry (where the symmetry element is a mirror plane corresponding to plane of the ring) and a C∞v symmetric axle (where a mirror plane and a C∞ principal axis are aligned along the axle length). We took advantage of the reversible acid/base triggered molecular shuttling of the ring between two lateral triazolium units to switch the rotaxanes between prochiral and mechanically planar chiral forms, which exists as two rapidly-interconverting co-conformers. We exploited the reactivity of the central amino group to attach an optically pure chiral substituent, with the goal of demonstrating the enantiomeric nature of the co-conformers and to obtain a non-zero diastereomeric excess in the resulting diastereomeric products through a dynamic kinetic resolution. To this end, two enantiopure reagents were chosen that could perform clean and fast reaction with amines: a sulfonyl chloride and an acyl chloride. Only the acyl chloride successfully produced an amide in high yield with the deprotonated rotaxane. The group added to the central amine station acted as a stopper against the shuttling of the macrocycle along the axis, thus preventing the fast interconversion of the two mechanically planar enantiomers. We analysed the results through static and dynamic NMR spectroscopic techniques by varying temperature and solvent used. Indeed, the presence of diastereomers was recorded alongside the configurational isomers resulting from the slow rotation of the CN-CO bond of the amide moiety, thus paving the way for a dynamic kinetic resolution.

Os padrões e a resolução de problemas no 1º ciclo do ensino básico: potencialidades para o ensino-aprendizagem da matemática

Mestrado (PES II), Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico, 27 de Junho de 2014, Universidade dos Açores (Relatório de Estágio).

Implementação ferramenta LEAN – TPM - serrote mecânico alternativo

Presentemente, com a economia cada vez mais globalizada e com a grande competitividade do mercado, as empresas de produção procuram cada vez mais ajustar-se às exigências dos clientes. Por esse motivo, o controlo do fluxo produtivo torna-se imprescindível para a resolução de problemas e para a própria melhoria contínua do processo. O sistema “Lean Manufacturing”, é um conjunto de atividades que tem como meta o aumento da capacidade de resposta às mudanças e à minimização dos desperdícios na produção, constituindo-se num verdadeiro empreendimento de gestão inovadora. O TPM – Total Productive Maintenance, é uma ferramenta de melhoria continua cada vez mais utilizada nas empresas com o objetivo de melhorar a eficiência dos seus equipamentos e atingir metas para a redução de desperdícios, incluindo a restauração e manutenção de condições padrão de funcionamento. O presente trabalho visa a implementação da ferramenta TPM num equipamento (Serrote Mecânico Alternativo) instalado no Laboratório das Oficinas Mecânicas do Instituto Superior de Engenharia do Porto. No contexto prático, este trabalho consistiu numa primeira fase por implementar a ferramenta 5S´s no posto de trabalho do equipamento em estudo. Durante esta implementação foi possível detetar algumas anomalias no equipamento, tendo sido sujeitas a uma análise para encontrar as suas causas raiz. Posteriormente foi implementada a ferramenta TPM, de modo, a criar melhores condições de acesso e simplificação das atividades de inspeção, lubrificação e limpeza. Além disso, foi executado e proposto algumas oportunidades de melhoria em alguns elementos, de forma a reduzir tempos de operação e tempos de setup, contribuindo para o aumento da eficiência do equipamento.