The research investigation reported herein examined the quality and experience of the functional behavioral assessment (FBA) process as reported by educators working with students with emotional/behavioral disorders (EBD). The data accrued is based on a 30-item survey and participant telephone interviews examined the overall knowledge of the FBA process by educators and their general experience when conducting a FBA, specifically the procedural timeline, types of education professionals involved, and typical outcomes and results. Survey responses indicated two common barriers in the FBA implementation which often inhibit best practice: lack of true collaborative teamwork and insufficient communication among FBA team members. Survey responses also indicated a level of statistical significance from education professionals working in elementary school settings who self-rated positively higher when conducting a FBA than those education professionals working on either a secondary or special campus. Additionally, participant interviews indicated a growing awareness of the advantages of using the FBA as an early intervention process when dealing with challenging behaviors.

La información que se puede extraer, deducir e interpretar a partir de las transacciones realizadas con las tarjetas BIP (smart card) en conjunto con los datos entregados por el sistema de posicionamiento global (GPS) existente en los buses del sistema de transporte de la ciudad de Santiago son una nueva herramienta muy potente que provee gran cantidad de información que antes era impensado tener. El objetivo principal del presente trabajo de título es establecer una metodología sólida que sea capaz de realizar la extracción y el procesamiento de la información obtenida a partir de las transacciones BIP del sistema de transporte público de Santiago, proporcionando exámenes detallados de cada objeto dentro del sistema y determinando la correcta estimación del destino del viaje que comienza con cada transacción. Se revisaron experiencias mundiales que utilizan smart cards como medio de pago además de algunas metodologías de extracción de información y tratamientos de datos, identificando y adaptando (de acuerdo a las características del caso de Santiago) diversos supuestos que apuntan a la estimación de bajada, detección de errores, recuperación de información y generación de matrices origen-destino. Para la información disponible se determinó que las principales fortalezas radican en los altos porcentajes de información correcta y útil que presentan las bases de datos, mostrando un 97% de información completa para la ubicación de transacciones (lo que implica la posibilidad de tener dicho porcentaje de estimaciones de punto de bajada), y un 87% de registros de posición útiles que permiten el seguimiento de los usuarios. A partir de la sensibilidad con el problema adquirida al realizar un exhaustivo análisis exploratorio sobre una muestra pequeña de tarjetas, se llega al resultado final donde se plantea una metodología de 5 procesos principales que consideran la interacción entre los elementos presente en el sistema y que permite conocer los destinos de las etapas así como la composición de los viajes y características de éste. Destaca el proceso de estimación de bajada, el cual según el sitio donde se realiza la transacción (bus, metro ó zona paga) establece el procedimiento a seguir considerando la dinámica del sistema, e incorporando las características del modo utilizado, además en este proceso se enriquece los métodos encontrados en la literatura, incorporando en la elección del usuario la variable tiempo de viaje además de la mínima distancia, para las etapas de viaje realizadas en bus. Los procesos establecidos enriquecen la información disponible generando herramientas que facilitan el posterior análisis de ella.

Magíster en Ciencias, Mención Computación. Ingeniera Civil en Computación / La integración de tarjetas inteligentes en sistemas de transporte público ha permitido que los operadores, autoridades e investigadores, tengan acceso a una mejor perspectiva del servicio. La colección diaria de transacciones de tarjetas inteligentes trae consigo problemas propios del manejo de grandes volúmenes de datos: problemas metodológicos y nuevos desafíos. Por ejemplo, para hacer un análisis longitudinal del comportamiento de los usuarios, se necesitan los registros de transacciones en largos periodos de tiempo. No obstante, no todos los sistemas de transporte asocian información del usuario a las tarjetas inteligentes. Luego, las tarjetas se vuelven intercambiables, y no es posible asegurar la relación uno a uno entre usuarios y tarjetas. Este problema se vuelve una limitación mayor cuando el sistema presenta una alta renovación de tarjetas. El objetivo de esta tesis es medir la estabilidad y unicidad del comportamiento de usuarios de transporte público, con el fin de evaluar la posibilidad de reconocer a los usuarios a través de su movilidad. Para lograr lo anterior, se implementan tres algoritmos de caracterización y comparación de la movilidad humana: dos adaptaciones de algoritmos de la literatura, y uno diseñado y calibrado en esta tesis. Los tres algoritmos se evalúan bajo dos perspectivas: - Cuán variable es la movilidad de los usuarios a través del tiempo. - Cuán característica es la movilidad de los usuarios respecto a sus pares. Para medir cuán variables son los usuarios se utilizó una base de datos de registros de dos años del sistema de transporte público de Gatineau, Canadá. Para medir la capacidad de reconocer usuarios se utilizó una base de datos de registros de dos semanas, separadas por un intervalo de cinco meses, del sistema de transporte público de Santiago, Chile. Los tres algoritmos reportan diferencias en el grado de variabilidad de los usuarios y en la capacidad de distinguirlos según su movilidad. Sin embargo, se observa de manera transversal que a mayor cercanía entre los periodos observados menor es la variabilidad medida. Del mismo modo se observa que a mayor tamaño de los periodos comparados, mayor es la estabilidad de la movilidad. Por otra parte, si bien los usuarios presentan una alta variabilidad en la movilidad, la mayoría posee una componente estable en el tiempo. En relación a la capacidad de reconocer a los usuarios, se observa que hay un grupo de usuarios distinguible por los tres algoritmos, del mismo modo, hay usuarios no distinguibles por ninguno. Se concluye que es posible reconocer a usuarios mediante su movilidad en transporte público, pero con una alta tasa de error. / Este trabajo ha sido parcialmente financiado por el Instituto de Sistemas Complejos de Ingeniería (CONICYT-PIA_FB0816), el Fondo Nacional de Desarrollo Científico y Tecnológico (FONDECYT 116_1589, FONDEF D10E_1002), y el programa de estadías cortas de investigación del departamento de postgrado y postítulo de la Vicerrectoría de Asuntos Académicos de la Universidad de Chile

No description available.

The aim of this study was to describe and analyse implementation of Beskæftigelses Indikator Projektet (BIP) in project Sammansatt problematik i Kronobergs län (SPiK). The questions this study aimed to answer are: What motivated implementation of BIP in the project SPiK and what factors promoted and inhibited implementation of BIP in the project? Qualitative method was used to answer the research questions, eight interviews with individuals involved in the project were conducted as well as an observation of a conference. The perspective used in the study consists of a critical realist viewpoint. The data gathered in this study was analysed through content analysis and coded through deductive coding. The results of the study showcased that implementation of BIP was inhibited by many aspects. The key aspects which inhibited implementation were the late course about use of BIP as well as the many parallel interventions being implemented in the project at the same time as BIP. What promoted implementation of this work tool was the staffs previous experience of work with the target group for the project as well as their previous experiences of work in projects.

No description available.

No description available.

The establishment of non-resolving inflammation underlies the pathogenesis of chronic inflammatory diseases in humans. Super low dose (SLD) endotoxin has been associated with exacerbating inflammation and the pathogenesis of chronic inflammatory diseases. However, the underlying molecular mechanisms are not well studied. In this study, I tested the hypothesis that SLD endotoxin may potentiate non-resolving innate immune cell inflammation through disrupting cellular endoplasmic reticulum (ER) homeostasis. We chose to study the dynamics of ER homeostasis in macrophages stimulated with SLD endotoxin. In naïve cells, ER stressor such as tunicamycin (TM) not only will induce cellular stress and inflammation through JNK and NFkβ activation, but also will cause subsequent compensatory homeostasis through inducing homeostatic molecules such as XBP1 and GRP78/BiP. We observed that cells challenged with SLD endotoxin have significantly reduced expression of homeostatic molecules XBP1 and BiP. Mechanistically, we observed that SLD-LPS increases phosphorylated HCK expression in TM treated cells. Phosphorylated HCK activation resulted in the phosphorylation of Golgi protein GRASP, leading to unstacking of Golgi cisterna and overall dysfunction of the Golgi apparatus. Dysfunctional Golgi apparatus and its effect on protein transport and secretion, may account for decreased levels of Site 2 Protease, reduced generation of ATF6 and its transcriptional target BiP. Taken together, our study reveal that super low dose endotoxin exacerbates low grade inflammation through increasing phosphorylation of HCK, inducing Golgi dysfunction, and decreasing BiP /homeostatic protein expression in innate immune cells. / Ph. D.

Dans cette thèse, nous abordons le problème de la modélisation et de la vérification de systèmes complexes présentant des comportements à la fois probabilistes et temporisés. La conception de tels systèmes est devenue de plus en plus complexe en raison de l’hétérogénéité des composants impliqués, l’incertitude découlant d’un environnement ouvert et les contraintes temps réelinhérentes à leurs domaines d’application. La gestion à la fois du logiciel et du matériel dans une vue unifiée tout en incluant des informations sur les performances (par exemple, temps de calcul et de communication, consommation d’énergie, etc.) devient indispensable. Construire et analyser des modèles de performance est d’une importance primordiale pour donner des garanties sur les exigences fonctionnelles et extra-fonctionnelles des systèmes, et permettre uneprise de décision fondée sur des mesures quantitatives dès les premières étapes de la conception.Cette thèse apporte plusieurs nouvelles contributions. Tout d’abord, nous introduisons un nouveau formalisme de modélisation appelé BIP stochastique et temps réel (SRT-BIP) pour la modélisation, la simulation et la génération de code de systèmes à base de composants. Ce formalisme hérite du framework BIP ses capacités de modélisation basées sur les composants et le temps réel et, en outre, il fournit des primitives pour exprimer des comportements stochastiquescomplexes.Deuxièmement, nous étudions des techniques d’apprentissage automatique pour faciliter la construction de modèles de performance. Nous proposons d’améliorer et d’adapter une procédure d’apprentissage présentée dans la littérature pour déduire des modèles stochastiques et temporisés à partir d’exécutions concrètes du système, et de les exprimer dans le formalisme SRT-BIP.Troisièmement, étant donné les modèles de performance dans SRT-BIP, nous explorons l’utilisation du model checking statistique (SMC) pour l’analyse d’exigences concernant la fonctionnalité et les performances du système. Pour ce faire, nous fournissons un framework complet, appelé SBIP, en tant qu’outil de support pour la modélisation, la simulation et l’analyse des systèmes SRT-BIP. SBIP est un environnement de développement intégré (IDE) qui implémente des algorithmes SMC pour des analyses quantitatives, qualitatives et d’événementsrares, en plus d’une procédure d’automatisation pour l’exploration des paramètres d’une propriété. Nous validons nos propositions sur des études de cas réels touchant à des domaines variés tels que les protocoles de communication, les systèmes concurrents et les systèmesembarqués.Enfin, nous étudions plus en détail l’intérêt du SMC lorsqu’il est inclus dans des méthodes d’analyse de système élaborées. Nous illustrons cela en proposant deux approches d’évaluation des risques. Dans la première approche, nous introduisons une méthodologie en spirale pour modéliser des systèmes résilients avec des composants FDIR que nous validons à travers l’évaluation de la sécurité du système de locomotion d’un rover d’exploration planétaire. La deuxième approche concerne l’évaluation des politiques de sécurité des organisations selon une approche de sécurité offensive. L’objectif est de synthétiser des configurations de défense efficaces contre des stratégies d’attaque optimisées (qui minimisent le coût d’attaque et maximisent la probabilité de succès). Ces stratégies d’attaque sont obtenues en combinant l’apprentissage de modèles et les méthodes méta-heuristiques, dans lesquels le SMC a le rôle principal d’évaluer et de prioriser les potentielles stratégies candidates. / In this thesis, we address the problem of modeling and verification of complex systems exhibiting both probabilistic and timed behaviors. Designing such systems has become increasingly complex due to the heterogeneity of the involved components, the uncertainty resulting from open environment and the real-time constraints inherent to their application domains. Handling both software and (abstraction of) hardware in a unified view while also including performanceinformation (e.g. computation and communication times, energy consumption, etc.) becomes a must. Building and analyzing performance models is of paramount importance in order to give guarantees on the functional and extra-functional system requirements and to make well-founded design decisions based on quantitative measures at early design stages.This thesis brings several new contributions. First, we introduce a new modeling formalism called Stochastic Real-Time BIP (SRT-BIP) for the modeling, the simulation and the code generation of component-based systems. This formalism inherits from the BIP framework its component-based and real-time modeling capabilities and, extends it by providing comprehensive primitives to express complex stochastic behaviors.Second, we investigate machine learning techniques to ease the construction of performance models. We propose to enhance and adapt a state-of-the-art learning procedure to infer stochastic real-time models from concrete system execution and to represent them in the SRT-BIP formalism.Third, given performance models in SRT-BIP, we explore the use of statistical Model Checking (SMC) for the anaysis of system’s functional and performance requirements. To do so, we provide a full framework, called SBIP, as a support tool for the modeling, simulation and analysis of SRT-BIP systems. SBIP is an Integrated Development Environment (IDE) that implements SMC algorithms for quantitative, qualitative and rare events analyses together with an automated exploring procedure for parameterized requirements. We validate our proposalson real-life case studies ranging from communication protocols and concurrent systems to embedded systems.Finally, we further investigate the interest of SMC when included in elaborated system analysis workflows. We illustrate this by proposing two risk assessment approaches. In the first approach, we introduce a spiral methodology to build resilient systems with FDIR components that we validate on the safety assessment of a planetary rover locomotion system. The second approach is concerned with the security assessment of organization’s defenses following an offensive security approach. The goal is to synthesize impactful defense configurations against optimized attack strategies (that minimize attack cost and maximize success probability). These attack strategies are obtained by combining model learning with meta heuristics, and where SMC is used to score and prioritize potential candidate strategies.

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