Knowledge maintenance and the frame problem

Knowledge maintenance is a major challenge for both knowledge management and the Semantic Web. Operating over the Semantic Web, there will be a network of collaborating agents, each with their own ontologies or knowledge bases. Change in the knowledge state of one agent may need to be propagated across a number of agents and their associated ontologies. The challenge is to decide how to propagate a change of knowledge state. The effects of a change in knowledge state cannot be known in advance, and so an agent cannot know who should be informed unless it adopts a simple ‘tell everyone – everything’ strategy. This situation is highly reminiscent of the classic Frame Problem in AI. We argue that for agent-based technologies to succeed, far greater attention must be given to creating an appropriate model for knowledge update. In a closed system, simple strategies are possible (e.g. ‘sleeping dog’ or ‘cheap test’ or even complete checking). However, in an open system where cause and effect are unpredictable, a coherent cost-benefit based model of agent interaction is essential. Otherwise, the effectiveness of every act of knowledge update/maintenance is brought into question.

Transglutaminase 2 null macrophages respond to lipopolysaccharide stimulation by elevated proinflammatory cytokine production due to an enhanced αvβ3 integrin-induced Src tyrosine kinase signaling

Transglutaminase 2 (TG2) is a protein crosslinking enzyme with several additional biochemical functions. Loss of TG2 in vivo results in impaired phagocytosis of apoptotic cells and altered proinflammatory cytokine production by macrophages engulfing apoptotic cells leading to autoimmunity. It has been proposed that TG2 acts as an integrin ß(3) coreceptor in the engulfment process, while altered proinflammatory cytokine production is related to the lack of latent TGFß activation by TG2 null macrophages. Here we report that TG2 null macrophages respond to lipopolysaccharide treatment by elevated IL-6 and TNFa production. Though TGFß has been proposed to act as a feed back regulator of proinflammatory cytokine production in LPS-stimulated macrophages, this phenomenon is not related to the lack of active TGFß production. Instead, in the absence of TG2 integrin ß(3) maintains an elevated basal Src family kinase activity in macrophages, which leads to enhanced phosphorylation and degradation of the I?Ba. Low basal levels of I?Ba explain the enhanced sensitivity of TG2 null macrophages to signals that regulate NF-?B. Our data suggest that TG2 null macrophages bear a proinflammatory phenotype, which might contribute to the enhanced susceptibility of these mice to develop autoimmunity and atherosclerosis.

Is the clustering of neurofibrillary tangles in Alzheimer's patients related to the cells of origin of specific cortico-cortical projections?

The spatial pattern of cellular neurofibrillary tangles (NFT) was studied in the supra- and infragranular layers of various cortical regions in cases of Alzheimer's disease (AD). The objective was to test the hypothesis that NFT formation was associated with the cells of origin of specific cortico-cortical projections. The novel feature of the study was that pattern analysis enabled the dimension and spacing of NFT clusters along the cortical ribbon to be estimated. In the majority of brain regions studied, NFT occurred in clusters of neurons which were regularly spaced along the cortical strip. This pattern is consistent with the predicted distribution of the cells of origin of specific cortico-cortico projections. Mean NFT cluster size varied from 250 to > 12800 microns in different cortical tissues suggesting either variation in the size of the cell clusters or a dynamic process in the development of NFT in relation to these cell clusters. The formation of NFT in cell clusters which may give rise to the feed-forward and feed-back cortico-cortical projections suggests a possible route of spread of NFT pathology in AD between cortical regions and from the cortex to subcortical areas.

Could lichens grow on Mars?

Lichens meet some but not all of the criteria that must be fulfilled by inhabitants of Mars. They could withstand many aspects of the hostile environment especially if they live within the rocks as they do in the dry valleys of Antarctica. Lichens, however, are dual organisms and we have to presuppose the successful establishment of a variety of microorganisms on Mars and especially algae and fungi. To date, the evidence for the existence of microorganisms in Martian meteorites is controversial and there is no conclusive evidence of present life on the surface. In addition, if endolithic lichens have evolved on Mars and are alive today they would be subjected to a considerably more hostile environment than the extreme environments on Earth, which are regarded as at the limit of tolerance of present day lichens. The lack of liquid water over most of the surface and the problem of obtaining sufficient nitrogen resources are particular problems for Martian lichens. Further landings on Mars, scheduled for 2005 and future missions are likely to increase substantially our knowledge of the Martian surface and the possibilities for life by attempting to bring back samples of rock and minerals. In addition, the use of techniques such as Laser Raman technology and the development of gas chromatographic methods for use in space increase the probability that an answer to the question of whether lichens have existed on Mars will be obtained in the near future.

The sedimentology and diagenesis of the Pendleside limestone group in the Craven Basin of Northern England. Available in 2 volumes.

This thesis describes the stratigraphy, sedimentology and diagenesis of the Pendleside Limestone (Asbian age), a sequence of limestones, shales and dolostones in the Clitheroe area of N. W. England. Field study of 19 measured sections indicates that it was deposited in a rhythmically subsiding basin (Craven Basin) because of movements on the Mid-Craven Fault which was active in Dinantian times. The sequence is up to 190m thick and consists mostly of distal turbidite deposits which have been reworked at horizons when sediment accumulation built up to the wave base. The original depositional fabric and mineralogy of the Pendleside Limestone Group has been extensively modified by diagenetic processes including cementation, authi­genesis, dolomitization and silicification. These processes have been studied using a wide variety of laboratory techniques. The carbonate cements of the PendIeside Limestone consist predominantly of ferroan calcite and non-ferroan calcite with microdolomite incIusions. The former is probably a stable replacement of original-high-magnesian calcite. Cementation was accompanied by the formation of authigenic albite and quartz. Much of the upper part of the Pendleside Limestone has been extensively dolomitized and chertified. Several distinct zones of dolomitization are found which increase in thickness and intensity towards the top of the Pendleside Limestone Group. The dolostone horizons correspond to coarser-grained lithologies deposited during periods of shallow water sedimentation. The composition of the dolomites changes from ferroan dolomite in the lower part of the Group to non-ferroan dolomite in the upper part. The low strontium and sodium content of the dolostones in association with the other evidence suggests that the dolomitization was brought about in an open system by the mixing of marine and fresh water in phreatic lens which were established at periodic intervals. The dolomitization was closely associated with chertification although this was initiated by the dissolution of siliceous spicules which provided the necessary source of silica.

Refinement methods for software architecture design using the software architecture model

Modern software systems are often large and complicated. To better understand, develop, and manage large software systems, researchers have studied software architectures that provide the top level overall structural design of software systems for the last decade. One major research focus on software architectures is formal architecture description languages, but most existing research focuses primarily on the descriptive capability and puts less emphasis on software architecture design methods and formal analysis techniques, which are necessary to develop correct software architecture design. ^ Refinement is a general approach of adding details to a software design. A formal refinement method can further ensure certain design properties. This dissertation proposes refinement methods, including a set of formal refinement patterns and complementary verification techniques, for software architecture design using Software Architecture Model (SAM), which was developed at Florida International University. First, a general guideline for software architecture design in SAM is proposed. Second, specification construction through property-preserving refinement patterns is discussed. The refinement patterns are categorized into connector refinement, component refinement and high-level Petri nets refinement. These three levels of refinement patterns are applicable to overall system interaction, architectural components, and underlying formal language, respectively. Third, verification after modeling as a complementary technique to specification refinement is discussed. Two formal verification tools, the Stanford Temporal Prover (STeP) and the Simple Promela Interpreter (SPIN), are adopted into SAM to develop the initial models. Fourth, formalization and refinement of security issues are studied. A method for security enforcement in SAM is proposed. The Role-Based Access Control model is formalized using predicate transition nets and Z notation. The patterns of enforcing access control and auditing are proposed. Finally, modeling and refining a life insurance system is used to demonstrate how to apply the refinement patterns for software architecture design using SAM and how to integrate the access control model. ^ The results of this dissertation demonstrate that a refinement method is an effective way to develop a high assurance system. The method developed in this dissertation extends existing work on modeling software architectures using SAM and makes SAM a more usable and valuable formal tool for software architecture design. ^

The drivers of perception: Identifying the driving factors of resident perceptions of municipal service quality in cities of South Florida

The idea of comparative performance assessment is crucial. Recent study findings show that in South Florida the use by most municipalities of external benchmarks for performance comparison is virtually non-existent. On one level this study sought to identify the factors impacting resident perceptions of municipal service quality. On a different and more practical level, this study sought to identify a core set of measures that could serve for multi jurisdictional comparisons of performance. ^ This study empirically tested three groups of hypotheses. Data were collected via custom designed survey instruments from multiple jurisdictions, representing diverse socioeconomic backgrounds, and across two counties. A second layer of analysis was conducted on municipal budget documents for the presence of performance measures. A third layer of analysis was conducted via face-to-face interviews with residents at the point of service delivery. Research questions were analyzed using descriptive and inferential statistic methodologies. ^ Results of survey data yielded inconsistent findings. In absolute aggregated terms, the use of sociological determinants to guide inquiry failed to yield conclusive answers regarding the factors impacting resident perceptions of municipal service quality. At disaggregated community levels, however, definite differences emerged but these had weak predictive ability. More useful were the findings of performance measures reporting via municipal budget documents and analyses of interviews with residents at the point of service delivery. Regardless of socio-economic profile, neighborhood characteristics, level of civic engagement or type of community, the same aspects were important to citizens when making assessments of service quality. For parks and recreation, respondents most frequently cited maintenance, facility amenities, and program offerings as important while for garbage collection services timely and consistent service delivery mattered most. Surprisingly municipalities participating in the study track performance data on items indicated as important by citizen assessments but regular feed back from residents or reporting to the same is rarely done. ^ The implications of these findings suggest that endeavors, such as the one undertaken in this study, can assist in determining a core set of measures for cross jurisdictional comparisons of municipal service quality, improving municipal delivery of services, and to communicate with the public. ^

Radiation fluxes, soil heat flux, air temperature, soil temperature, soil moisture and vegetation at dwarf shrubs and wet sedges in Kytalyk, NE Siberia

Vegetation changes, such as shrub encroachment and wetland expansion, have been observed in many Arctic tundra regions. These changes feed back to permafrost and climate. Permafrost can be protected by soil shading through vegetation as it reduces the amount of solar energy available for thawing. Regional climate can be affected by a reduction in surface albedo as more energy is available for atmospheric and soil heating. Here, we compared the shortwave radiation budget of two common Arctic tundra vegetation types dominated by dwarf shrubs (Betula nana) and wet sedges (Eriophorum angustifolium) in North-East Siberia. We measured time series of the shortwave and longwave radiation budget above the canopy and transmitted radiation below the canopy. Additionally, we quantified soil temperature and heat flux as well as active layer thickness. The mean growing season albedo of dwarf shrubs was 0.15 ± 0.01, for sedges it was higher (0.17 ± 0.02). Dwarf shrub transmittance was 0.36 ± 0.07 on average, and sedge transmittance was 0.28 ± 0.08. The standing dead leaves contributed strongly to the soil shading of wet sedges. Despite a lower albedo and less soil shading, the soil below dwarf shrubs conducted less heat resulting in a 17 cm shallower active layer as compared to sedges. This result was supported by additional, spatially distributed measurements of both vegetation types. Clouds were a major influencing factor for albedo and transmittance, particularly in sedge vegetation. Cloud cover reduced the albedo by 0.01 in dwarf shrubs and by 0.03 in sedges, while transmittance was increased by 0.08 and 0.10 in dwarf shrubs and sedges, respectively. Our results suggest that the observed deeper active layer below wet sedges is not primarily a result of the summer canopy radiation budget. Soil properties, such as soil albedo, moisture, and thermal conductivity, may be more influential, at least in our comparison between dwarf shrub vegetation on relatively dry patches and sedge vegetation with higher soil moisture.

Les interventions régulatrices groupales et l'efficacité des équipes de travail : développement et vérification d'un modèle théorique

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Rôle de l'apprentissage moteur à long terme dans la récupération motrice chez les patients hémiparétiques

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Les interventions régulatrices groupales et l'efficacité des équipes de travail : développement et vérification d'un modèle théorique

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Rôle de l'apprentissage moteur à long terme dans la récupération motrice chez les patients hémiparétiques

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Complete framework for efficient characterisation of non-Markovian processes

A non-Markovian process is one that retains `memory' of its past. A systematic understanding of these processes is necessary to fully describe and harness a vast range of complex phenomena; however, no such general characterisation currently exists. This long-standing problem has hindered advances in understanding physical, chemical and biological processes, where often dubious theoretical assumptions are made to render a dynamical description tractable. Moreover, the methods currently available to treat non-Markovian quantum dynamics are plagued with unphysical results, like non-positive dynamics. Here we develop an operational framework to characterise arbitrary non-Markovian quantum processes. We demonstrate the universality of our framework and how the characterisation can be rendered efficient, before formulating a necessary and sufficient condition for quantum Markov processes. Finally, we stress how our framework enables the actual systematic analysis of non-Markovian processes, the understanding of their typicality, and the development of new master equations for the effective description of memory-bearing open-system evolution.

Authentizität und Lernen - das Fach in der Fachdidaktik. Gesellschaft für Didaktik der Chemie und Physik Jahrestagung in Berlin 2015

Die 42. Jahrestagung der Gesellschaft für Didaktik der Chemie und Physik (GDCP) wurde im September 2015 an der Humboldt-Universität zu Berlin ausgerichtet. Zum Tagungsthema „Authentizität und Lernen - Das Fach in der Fachdidaktik“ diskutierten neben den Plenarreferentinnen und -referenten eine große Anzahl an Tagungsgästen. Der vorliegende Band umfasst die ausgearbeiteten Beiträge der Teilnehmerinnen und Teilnehmer. (DIPF/Orig.)

Multipartite entanglement in harmonic oscillators subjected to dissipative quantum dynamics

Una detallada descripción de la dinámica de bajas energías del entrelazamiento multipartito es proporcionada para sistemas armónicos en una gran variedad de escenarios disipativos. Sin hacer ninguna aproximación central, esta descripción yace principalmente sobre un conjunto razonable de hipótesis acerca del entorno e interacción entorno-sistema, ambas consistente con un análisis lineal de la dinámica disipativa. En la primera parte se deriva un criterio de inseparabilidad capaz de detectar el entrelazamiento k-partito de una extensa clase de estados gausianos y no-gausianos en sistemas de variable continua. Este criterio se emplea para monitorizar la dinámica transitiva del entrelazamiento, mostrando que los estados no-gausianos pueden ser tan robustos frente a los efectos disipativos como los gausianos. Especial atención se dedicada a la dinámica estacionaria del entrelazamiento entre tres osciladores interaccionando con el mismo entorno o diferentes entornos a distintas temperaturas. Este estudio contribuye a dilucidar el papel de las correlaciones cuánticas en el comportamiento de la corrientes energéticas.