900 resultados para type systems, join calculus, ownership types, process calculus
Resumo:
Multiprofessional collaboration in all-day schools refers to teamwork and coordination that takes place between professionals with different vocational backgrounds. In Switzerland, all-day schoolscomprise regular school instruction and school-based extracurricular activities. Nevertheless, multiprofessional collaboration can also refer to collaboration between education professionals in all-day schools and professionals outside the school in a community-based setting of extracurricular activities. A synthesis of the literature shows that collaboration inside and outside the school setting is promoted by conditions in three areas: structural characteristics of the institution, characteristics of the team, and interpersonal processes (Schüpbach, Jutzi & Thomann 2012). In view of these findings, it was the aim of this study to analyze conditions of good collaboration practices in all-day schools in Switzerland. This qualitative study examined 10 all-day schools in five different cantons in the German-speaking part of Switzerland that showed good collaboration practice. In the course of this study, we conducted 18 problem-centered interviews and 10 focus group discussions. In the process of data evaluation, we applied the method of qualitative content analy sis. The findings show that all of the three areas of conditions promoting good collaboration proved to be relevant in the whole sample of all-day schools. Nevertheless, for the three different types of collaboration found? The school- oriented, the mixed/in termediate, and the social environment-oriented type? We identified different conditions of good collaboration practice.
Resumo:
Current models of embryological development focus on intracellular processes such as gene expression and protein networks, rather than on the complex relationship between subcellular processes and the collective cellular organization these processes support. We have explored this collective behavior in the context of neocortical development, by modeling the expansion of a small number of progenitor cells into a laminated cortex with layer and cell type specific projections. The developmental process is steered by a formal language analogous to genomic instructions, and takes place in a physically realistic three-dimensional environment. A common genome inserted into individual cells control their individual behaviors, and thereby gives rise to collective developmental sequences in a biologically plausible manner. The simulation begins with a single progenitor cell containing the artificial genome. This progenitor then gives rise through a lineage of offspring to distinct populations of neuronal precursors that migrate to form the cortical laminae. The precursors differentiate by extending dendrites and axons, which reproduce the experimentally determined branching patterns of a number of different neuronal cell types observed in the cat visual cortex. This result is the first comprehensive demonstration of the principles of self-construction whereby the cortical architecture develops. In addition, our model makes several testable predictions concerning cell migration and branching mechanisms.
Resumo:
Dynamically typed languages lack information about the types of variables in the source code. Developers care about this information as it supports program comprehension. Ba- sic type inference techniques are helpful, but may yield many false positives or negatives. We propose to mine information from the software ecosys- tem on how frequently given types are inferred unambigu- ously to improve the quality of type inference for a single system. This paper presents an approach to augment existing type inference techniques by supplementing the informa- tion available in the source code of a project with data from other projects written in the same language. For all available projects, we track how often messages are sent to instance variables throughout the source code. Predictions for the type of a variable are made based on the messages sent to it. The evaluation of a proof-of-concept prototype shows that this approach works well for types that are sufficiently popular, like those from the standard librarie, and tends to create false positives for unpopular or domain specific types. The false positives are, in most cases, fairly easily identifiable. Also, the evaluation data shows a substantial increase in the number of correctly inferred types when compared to the non-augmented type inference.
Resumo:
Salmonella typhimurium can colonize the gut, invade intestinal tissues, and cause enterocolitis. In vitro studies suggest different mechanisms leading to mucosal inflammation, including 1) direct modulation of proinflammatory signaling by bacterial type III effector proteins and 2) disruption or penetration of the intestinal epithelium so that penetrating bacteria or bacterial products can trigger innate immunity (i.e., TLR signaling). We studied these mechanisms in vivo using streptomycin-pretreated wild-type and knockout mice including MyD88(-/-) animals lacking an adaptor molecule required for signaling via most TLRs. The Salmonella SPI-1 and the SPI-2 type III secretion systems (TTSS) contributed to inflammation. Mutants that retain only a functional SPI-1 (M556; sseD::aphT) or a SPI-2 TTSS (SB161; DeltainvG) caused attenuated colitis, which reflected distinct aspects of the colitis caused by wild-type S. typhimurium: M556 caused diffuse cecal inflammation that did not require MyD88 signaling. In contrast, SB161 induced focal mucosal inflammation requiring MyD88. M556 but not SB161 was found in intestinal epithelial cells. In the lamina propria, M556 and SB161 appeared to reside in different leukocyte cell populations as indicated by differential CD11c staining. Only the SPI-2-dependent inflammatory pathway required aroA-dependent intracellular growth. Thus, S. typhimurium can use two independent mechanisms to elicit colitis in vivo: SPI-1-dependent and MyD88-independent signaling to epithelial cells and SPI-2-dependent intracellular proliferation in the lamina propria triggering MyD88-dependent innate immune responses.
Resumo:
The goal of the present article is to introduce dual-process theories – in particular the default-interventionist model – as an overarching framework for attention-related research in sports. Dual-process theories propose that two different types of processing guide human behavior. Type 1 processing is independent of available working memory capacity (WMC), whereas Type 2 processing depends on available working memory capacity. We review the latest theoretical developments on dual-process theories and present evidence for the validity of dual-process theories from various domains. We demonstrate how existing sport psychology findings can be integrated within the dual-process framework. We illustrate how future sport psychology research might benefit from adopting the dual-process framework as a meta-theoretical framework by arguing that the complex interplay between Type 1 and Type 2 processing has to be taken into account in order to gain a more complete understanding of the dynamic nature of attentional processing during sport performance at varying levels of expertise. Finally, we demonstrate that sport psychology applications might benefit from the dual-process perspective as well: dual-process theories are able to predict which behaviors can be more successfully executed when relying on Type 1 processing and which behaviors benefit from Type 2 processing.
Resumo:
The article proposes granular computing as a theoretical, formal and methodological basis for the newly emerging research field of human–data interaction (HDI). We argue that the ability to represent and reason with information granules is a prerequisite for data legibility. As such, it allows for extending the research agenda of HDI to encompass the topic of collective intelligence amplification, which is seen as an opportunity of today’s increasingly pervasive computing environments. As an example of collective intelligence amplification in HDI, we introduce a collaborative urban planning use case in a cognitive city environment and show how an iterative process of user input and human-oriented automated data processing can support collective decision making. As a basis for automated human-oriented data processing, we use the spatial granular calculus of granular geometry.
Resumo:
Information systems (IS) outsourcing projects often fail to achieve initial goals. To avoid project failure, managers need to design formal controls that meet the specific contextual demands of the project. However, the dynamic and uncertain nature of IS outsourcing projects makes it difficult to design such specific formal controls at the outset of a project. It is hence crucial to translate high-level project goals into specific formal controls during the course of a project. This study seeks to understand the underlying patterns of such translation processes. Based on a comparative case study of four outsourced software development projects, we inductively develop a process model that consists of three unique patterns. The process model shows that the performance implications of emergent controls with higher specificity depend on differences in the translation process. Specific formal controls have positive implications for goal achievement if only the stakeholder context is adapted, while they are negative for goal achievement if in the translation process tasks are unintendedly adapted. In the latter case projects incrementally drift away from their initial direction. Our findings help to better understand control dynamics in IS outsourcing projects. We contribute to a process theoretic understanding of IS outsourcing governance and we derive implications for control theory and the IS project escalation literature.
Resumo:
This article is meant as a starting point in the process of researching how theatre systems influence the functioning of theatre. The notion “theatre system” is understood as the set of organisational relationships within and between the domains of production, distribution and reception of theatre. Because the hypothesis of the Project on European Theatre Systems (STEP) is that the differences in these organisational patterns at least partly determine the types of theatre offered to city populations and their use of the supply, the present article attempts to make a start with a comparison between the theatre systems in Aarhus (Denmark), Bern (Switzerland), Debrecen (Hungary), Groningen (The Netherlands), Maribor (Slovenia), Tartu (Estonia) and Tyneside (United Kingdom). One of the findings of this comparison is that the structures of financial support for theatre by the various authorities do not differ very strongly among the countries on the European continent. However, the so-called city theatres in Central and Eastern Europe seem to have a more dominant position than in the Western European countries. For smaller, independent theatre organisations this is the other way round. In addition, the position of Bern is remarkable, because of the exceptional number of venues and theatre performances in this city. In Debrecen and Maribor, cultural centres appear to play quite an important role in the theatre life of these cities.
Resumo:
Conventional wisdom suggests that environmental non-governmental organizations (ENGOs) play a major role in pushing states towards more ambitious environmental policies. However, demonstrating that this presumption is in fact true is rather difficult, because the same system structures of democracies that may create more opportunities for ENGO activities are also, on their own, conducive to better environmental policies. This leaves open the possibility that the additional (marginal) impact of ENGOs on policy making is smaller than presumed. In trying to disentangle these effects, this paper examines the influence of ENGOs contingent on key structural characteristics of democratic systems. We develop the argument that presidential systems with a plurality electoral rule per se tend to provide more environmental public goods, which induces a smaller marginal impact of ENGOs. Conversely, parliamentary systems with a proportional representation electoral rule are likely to provide fewer environmental public goods, which allows for a larger marginal impact of ENGOs. We find robust empirical support for these hypotheses in analyses that focus on the ratification behavior of 75 democracies vis-à-vis 250 international environmental agreements in 1973–2002.
Resumo:
The purpose of this study is to investigate the effects of predictor variable correlations and patterns of missingness with dichotomous and/or continuous data in small samples when missing data is multiply imputed. Missing data of predictor variables is multiply imputed under three different multivariate models: the multivariate normal model for continuous data, the multinomial model for dichotomous data and the general location model for mixed dichotomous and continuous data. Subsequent to the multiple imputation process, Type I error rates of the regression coefficients obtained with logistic regression analysis are estimated under various conditions of correlation structure, sample size, type of data and patterns of missing data. The distributional properties of average mean, variance and correlations among the predictor variables are assessed after the multiple imputation process. ^ For continuous predictor data under the multivariate normal model, Type I error rates are generally within the nominal values with samples of size n = 100. Smaller samples of size n = 50 resulted in more conservative estimates (i.e., lower than the nominal value). Correlation and variance estimates of the original data are retained after multiple imputation with less than 50% missing continuous predictor data. For dichotomous predictor data under the multinomial model, Type I error rates are generally conservative, which in part is due to the sparseness of the data. The correlation structure for the predictor variables is not well retained on multiply-imputed data from small samples with more than 50% missing data with this model. For mixed continuous and dichotomous predictor data, the results are similar to those found under the multivariate normal model for continuous data and under the multinomial model for dichotomous data. With all data types, a fully-observed variable included with variables subject to missingness in the multiple imputation process and subsequent statistical analysis provided liberal (larger than nominal values) Type I error rates under a specific pattern of missing data. It is suggested that future studies focus on the effects of multiple imputation in multivariate settings with more realistic data characteristics and a variety of multivariate analyses, assessing both Type I error and power. ^
Resumo:
While many tend to think of memory systems in the brain as a single process, in reality several experiments have supported multiple dissociations of different forms of learning, such as spatial learning and response learning. In both humans and rats, the hippocampus has long been shown to be specialized in the storage of spatial and contextual memory whereas the striatum is associated with motor responses and habitual behaviors. Previous studies have examined how damage to hippocampus or striatum has affected the acquisition of either a spatial or response navigation task. However even in a very familiar environment organisms must continuously switch between place and response strategies depending upon circumstances. The current research investigates how these two brain systems interact under normal conditions to produce navigational behavior. Rats were tested using a task developed by Jacobson and colleagues (2006) in which the two types of navigation could be controlled and studied simultaneously. Rats were trained to solve a plus maze using both a spatial and a response strategy. A cue (flashing light) was employed to indicate the correct strategy on a given trial. When no light was present, the animals were rewarded for making a 90º right turn (motor response). When the light was on, the animals were rewarded for going to a specific goal location (place strategy). After learning the task, animals had a sham surgery or dorsal striatum or hippocampus damaged. In order to investigate the individual role of each brain system and evaluate whether these brain regions compete or cooperate for control over strategy, we utilized a within-animal comparisons. The configuration of the maze allowed for the comparison of behavior in individual animals before and after specific brain areas were damaged. Animals with hippocampal lesions showed selective deficits on place trials after surgery and learned the reversal of the motor response more rapidly than striatal lesioned or sham rats. Unlike previous findings regarding maze learning, animals with striatal lesions showed deficits in both place and response trials and had difficulty learning the reversal of motor response. Therefore, the effects of lesions on the ability to switch back and forth between strategies were more complex than previously suggested. This work may reveal important new insight on the integration of hippocampal and striatal learning systems, and facilitate a better understanding of the brain dynamics underlying similar navigational processes in humans.
Resumo:
In spite of the movement to turn political science into a real science, various mathematical methods that are now the staples of physics, biology, and even economics are thoroughly uncommon in political science, especially the study of civil war. This study seeks to apply such methods - specifically, ordinary differential equations (ODEs) - to model civil war based on what one might dub the capabilities school of thought, which roughly states that civil wars end only when one side’s ability to make war falls far enough to make peace truly attractive. I construct several different ODE-based models and then test them all to see which best predicts the instantaneous capabilities of both sides of the Sri Lankan civil war in the period from 1990 to 1994 given parameters and initial conditions. The model that the tests declare most accurate gives very accurate predictions of state military capabilities and reasonable short term predictions of cumulative deaths. Analysis of the model reveals the scale of the importance of rebel finances to the sustainability of insurgency, most notably that the number of troops required to put down the Tamil Tigers is reduced by nearly a full order of magnitude when Tiger foreign funding is stopped. The study thus demonstrates that accurate foresight may come of relatively simple dynamical models, and implies the great potential of advanced and currently unconventional non-statistical mathematical methods in political science.
Resumo:
Agrobacterium tumefaciens uses the VirB/D4 type IV secretion system (T4SS) to translocate oncogenic DNA (T-DNA) and protein substrates to plant cells. Independent of VirD4, the eleven VirB proteins are also essential for elaboration of a conjugative pilus termed the T pilus. The focus of this thesis is the characterization and analysis of two VirB proteins, VirB6 and VirB9, with respect to substrate translocation and T pilus biogenesis. Observed stabilizing effects of VirB6 on other VirB subunits and results of protein-protein interaction studies suggest that VirB6 mediates assembly of the secretion machine and T pilus through interactions with VirB7 and VirB9. Topology studies support a model for VirB6 as a polytopic membrane protein with a periplasmic N terminus, a large internal periplasmic loop, five transmembrane segments, and a cytoplasmic C terminus. Topology studies and Transfer DNA immunoprecipitation (TrIP) assays identified several important VirB6 functional domains: (i) the large internal periplasmic loop mediates interaction of VirB6 with the T-DNA, (ii) the membrane spanning region carboxyl-terminal to the large periplasmic loop mediates substrate transfer from VirB6 to VirB8, and (iii) the terminal regions of VirB6 are required for substrate transfer to VirB2 and VirB9. To analyze structure-function relationships of VirB9, the phenotypic consequences of dipeptide insertion mutations were characterized. Substrate discriminating mutations were shown to selectively export the oncogenic T-DNA and VirE2 to plant cells or a mobilizable IncQ plasmid to bacterial cells. Mutations affecting VirB9 interactions with VirB7 and VirB10 were localized to the C- and N- terminal regions respectively. Additionally, “uncoupling” mutations identified in VirB11 and VirB6 that block T pilus assembly, but not substrate transfer to recipient cells, were also identified in VirB9. These results in conjunction with computer analysis establish that VirB9, like VirB6, is also composed of distinct regions or domains that contribute in various ways to secretion channel activity and T pilus assembly. Lastly, in vivo immunofluorescent studies suggest that VirB9 localizes to the outer membrane and may play a role similar to that of secretion/ushers of types II and III secretion systems to facilitate substrate translocation across this final bacterial barrier. ^
Resumo:
El origen de este proyecto de tesis es la sospecha de que la sociedad argentina enseña a trasgredir. Un aspecto que llamó mi atención desde el comienzo fue cómo vincular la trasgresión con un hecho educativo, circunscrito a un proceso de enseñanza sistemático que debería implicar el fracaso del aprendizaje de las normas. Dando por sentado que el conocimiento prescriptivo es un dominio de conocimiento, conformado por distintos tipos de normas, se hace evidente que las concepciones y creencias transmitidas en la socialización primaria influirá en la comprensión de este dominio. Partimos de los siguientes interrogantes: ¿Qué concepciones se transmiten en la socialización primaria con respecto al conocimiento prescriptivo? ¿Existen modelos de transmisión? ¿Fomenta este proceso conductas desviadas en relación con los sistemas normativos? Objetivos: Analizar el proceso de transmisión de normas en situaciones cotidianas. Identificar el tratamiento de las sanciones en la socialización primaria. Relacionar los registros obtenidos con las concepciones elaboradas por el Derecho. Se utilizó una metodología cualitativa cuya información fue recogida a través de 30 entrevistas a madres profesionales (MPs) Se elaboró para el análisis: a) La siguiente matriz de análisis: 1) El contenido informativo de las normas 2) Uso de los conceptos: prohibir, permitir y obligar 3) Introducir la sanción como parte de una norma. a) Una tipología de Madres Profesionales (MP): 1) MP Profesionalizada 2) MP Realista 3) MP Interpretadora del deseo de su hijo Organización de los resultados: Reseña de la vida cotidiana del grupo Análisis de las diferentes tipologías en relación a la matriz de análisis. Análisis de los procedimientos inhibitorios atendiendo: el ejercicio de la autoridad, los tipos de procedimientos inhibitorios y los argumentos atenuantes. Comparación entre las justificaciones de la pena utilizados por las MP y las teorías elaboradas por el derecho. Conclusiones: El modelo asumido por la MP depende de la valoración personal respecto a la norma a transmitir independientemente de su valor intrínseco. Afecta esta posición: propia experiencia, las expectativas de inserción social del hijo y la dinámica cotidiana. Se analizaron las diferencias en cada uno de los modelos y se realizaron comparaciones con las normas jurídicas respecto al ejercicio de la autoridad y el uso de los modalizadores deónticos. Se observó que las MP tienen dificultades de cumplir con las sanciones por ellas impuestas. Las MP utilizan de argumentos "racionales" con el fin de justificar frente a sus hijos el no cumplimiento de la sanción que ellas mismas han impuesto. Esto promueve la trasgresión en la medida que fortalece la creencia que siempre es posible justificar la inimputabilidad de una acción desviada a través de un argumento. Las MP conciben la sanción desde una perspectiva retributiva salvo en situación complejas. Con el fin de responder los interrogantes de partida consideramos que las acciones de los diferentes modelos analizados favorecen la internalización de las normas asociadas a situaciones particulares en las cuales se transmiten y el uso de argumentos que permitan justificar en cada situación la trasgresión.
Resumo:
En la actualidad es posible contemplar una modificación en la mentalidad de gobierno sobre el sistema educativo y cómo éste debe aportar al mercado laboral sujetos 'competentes', formados según sus requerimientos que contribuyan al desarrollo económico de las naciones. El artículo pretende analizar el proceso de gobierno de la relación entre educación y trabajo desde el punto de vista de los tipos de conocimientos y prácticas pedagógicas que se constituyen en legítimas. En ese sentido se hace necesario el estudio y conceptualización de las nuevas formas de recontextualización del conocimiento oficial a ser transmitido en los sistemas educativos en relación con el 'mundo del trabajo'. También se trabaja sobre cómo es el proceso de pedagogización en formatos organizacionales y curriculares, los criterios utilizados para su distribución en los diversos fragmentos de los sistemas educativos, así como en el tipo de identidades pedagógicas que construye, en el contexto de identidades laborales y socio-políticas de los sujetos individuales y colectivos.