A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

De la régulation individuelle à la régulation d’équipe : intégration théorique et empirique de la théorie de l’autodétermination dans les équipes de travail

L’équipe de travail représente, de nos jours, une forme d’organisation du travail incontournable pour accroître la performance des entreprises. Il est maintenant largement reconnu que la composition d’une équipe de travail est susceptible d’affecter son efficacité et, plus particulièrement, la qualité des relations interpersonnelles au sein de l’équipe et la performance de ses membres. Des études se sont donc attardées à isoler certaines caractéristiques individuelles permettant d’influencer le contexte des équipes de travail. Ainsi, l’effet de la composition des équipes a été étudié sous l’angle des traits de personnalité des membres, de leurs attitudes et de leurs valeurs, ou encore en fonction des habiletés cognitives démontrées par chacun des coéquipiers. Malgré quelques invitations répétées à étudier davantage la motivation des équipes de travail et de leurs membres, peu de travaux ont porté sur la composition motivationnelle de ce contexte collectif. Dans la foulée des études portant sur les équipes de travail, on observe une tendance à ne considérer que la performance des équipes et des coéquipiers comme unique critère d’évaluation de leur efficacité. Devant les données alarmantes concernant les problèmes de santé psychologique vécus par les travailleurs, il appert qu’il est essentiel de se pencher sur les conditions nécessaires à mettre en place dans ce contexte de travail interpersonnel pour contribuer à la fois au bien-être et à la performance des coéquipiers. Avec l’utilisation du cadre d’analyse proposé par la théorie de l’autodétermination, la présente thèse vise à répondre à ces enjeux. Le premier article de la thèse propose un modèle théorique qui définit en quoi la composition d’une équipe de travail, en regard des styles de régulations individuelles des membres de l’équipe, est susceptible d’affecter les relations interpersonnelles au sein de l’équipe et d’avoir un impact sur la performance et le bien-être des membres. S’appuyant sur les mécanismes d’émergence proposés par les théories multiniveaux, ce cadre théorique suggère également que, sous certaines conditions, la composition motivationnelle d’une équipe de travail puisse entraîner la formation d’un phénomène singulier de motivation d’équipe. Les mécanismes favorisant cette émergence sont présentés dans l’article. Le second article de la thèse représente une première vérification empirique de certaines des propositions de l’article théorique. À partir d’un échantillon de 138 équipes, regroupant 680 travailleurs, il a été possible de vérifier, à partir d’analyses multiniveaux, l’impact de la composition autonome ou contrôlée d’une équipe sur la satisfaction au travail des participants. Les résultats de l’étude montrent qu’une forme de composition d’équipe de nature plus autonome est positivement reliée à la satisfaction des travailleurs. Plus encore, on observe une interaction entre la régulation autonome individuelle et la régulation autonome d’équipe quant à la satisfaction vécue au travail. Ainsi, la satisfaction au travail est plus élevée pour les participants dont le style de régulation est plus autonome et qui évoluent dans une équipe à composition motivationnelle plus autonome. Parallèlement, les résultats montrent que la composition motivationnelle plus contrôlée est négativement reliée à la satisfaction au travail. De façon générale, la présente thèse souligne la pertinence de considérer le contexte sociomotivationnel émergeant de la composition de l’équipe en regard des styles de régulations individuelles des membres qui la composent. Cette thèse permet de considérer, avec un regard nouveau, la motivation des équipes de travail et les variables de motivation à évaluer dans la formation des équipes de travail au sein de nos organisations.

The reform of electronic consumer contracts in Europe: towards an effective legal framework?

Christine Riefa is a lecturer in Consumer Law and Intellectual Property Law at Brunel University in the UK. She is an elected board member of the International Association of Consumer Law and an academic correspondent to the Euro-American Chair for the legal protection of consumers (University of Cantabria, Spain). In 2009-2010, Dr Riefa is a Fulbright EU Scholar-in-Residence at Cleveland-Marshall College of Law, Ohio USA. A first version of this article was presented at the Summer School in Consumer Law, organised by the GREDICC (Groupe de recherche en droit international et comparé de la consummation), UQAM, Montréal, 29th June – 4th July 2009.

L'étude de la relation entre la culture organisationnelle et la violence au travail

Ce mémoire a pour objectif d’étudier la relation entre la culture organisationnelle et la violence au travail. Plus spécifiquement, les résultats permettent de déterminer comment la perception des cultures organisationnelles de type groupal, développemental, hiérarchique et rationnel de l’approche des valeurs concurrentes de Cameron et Quinn (1999) s’associent aux conflits interpersonnels et au harcèlement physique et sexuel dans les organisations. Les données proviennent de l’Étude SALVEO, menée par l’Équipe de recherche sur le travail et la santé mentale de l’Université de Montréal. À notre connaissance, aucune étude n’a étudié les perceptions des cultures organisationnelles globales des entreprises. Les études antérieures se sont intéressées à certains traits spécifiques des cultures, telles que l’acceptation, la tolérance et la banalisation de la violence, sans considérer intégralement la culture organisationnelle. Il est possible d’utiliser le modèle de Cameron et Quinn (1999) avec l’échelle de Marchand, Haines et Dextras-Gauthier (2013) pour mesurer la perception que les travailleurs se font de leur culture organisationnelle pour pouvoir les associer avec les niveaux de conflits interpersonnels et de harcèlement physique et sexuel par la suite. Les analyses multiniveaux de cette recherche ont révélé que la culture groupale s’associe à des niveaux plus bas de conflits interpersonnels et la culture développementale à des niveaux plus élevés. Bien que les résultats ne soient pas significatifs pour tous les types de culture organisationnelle, les entreprises qui adoptent des caractéristiques de la culture groupale, telles que le soutien social, la participation des travailleurs et la justice organisationnelle, semblent mieux prévenir le phénomène de la violence au travail. D’autre part, l’intégration d’un grand nombre de variables contrôles a permis de déterminer que les facteurs individuels et organisationnels les plus associés à la violence sont : le fait d’être une femme, d’être jeune, d’être syndiqué, l’effort au travail et l’injustice organisationnelle.

La victimisation en milieu scolaire : une analyse des facteurs individuels, contextuels et environnementaux

Contexte et objectifs. Ce mémoire propose un modèle conceptuel écologique afin de mieux comprendre la violence dans les écoles. Les objectifs de cette recherche sont de ; 1) estimer l’effet des facteurs individuels, contextuels et environnementaux sur le risque de victimisation, 2) vérifier la présence d’interactions entre les différents facteurs. Méthodologie. Les élèves de 16 écoles primaires de la grande région métropolitaine de Montréal ont pris part à un sondage auto-révélé en lien avec différentes dimensions liées à la victimisation en milieu scolaire. Des analyses descriptives ont été menées, dans un premier temps, pour dresser le portrait de la violence en milieu scolaire. Dans un second temps, l’emploi d’un modèle linéaire hiérarchique généralisé (MLHG) a permis d’estimer les effets de variables propres à l’individu, au contexte et à l’environnement sur le risque de victimisation. Résultats. Les résultats aux analyses multiniveaux montrent que des variables individuelles, contextuelles et environnementales influent sur la probabilité d’être victime de violence verbale, physique et dans les médias sociaux. Ainsi, les élèves les plus délinquants sont aussi ceux qui rapportent le plus d’antécédents de victimisation. Toutefois, ces résultats ne sont pas entièrement imputables aux caractéristiques des individus. Le risque de victimisation est atténué lorsque les « gardiens » interviennent pour mettre un terme au conflit et que les victimes se défendent. Enfin, le risque de victimisation est moins élevé dans les écoles où il y a un grand nombre d’élèves. Interprétation. Les résultats suggèrent que plusieurs facteurs qui ne sont pas liés aux victimes et aux délinquants permettent de mieux comprendre le processus de victimisation en milieu scolaire. Le rôle des gardiens de même que la taille des écoles sont des éléments centraux à la compréhension du passage à l’acte.

L’adaptation des services de santé à l’égard de personnes migrantes : cas des services infirmiers en première ligne

Comment s’adaptent des organisations lorsqu’elles font face à des changements qui les dépassent? De cette question a émergé une recherche voulant comprendre comment et pourquoi des organisations de santé décident d’adapter (ou non) leurs services aux besoins et aux caractéristiques des populations migrantes accueillies sur leur territoire. Pour y répondre, cette thèse s’est intéressée à la gouvernance multiniveaux appliquée aux organisations de santé fournissant des services à des populations migrantes. Dans un contexte de régionalisation de l’immigration, la dynamique du processus migratoire est de mieux en mieux documentée, mais les capacités organisationnelles d’adaptation le sont beaucoup moins. Nous avons réalisé une étude de cas multiples à l’aide d’entrevues semi-directives auprès d’acteurs provenant de deux CSSS montéregiens (région au sud de Montréal, Québec) et des paliers locaux, régionaux et nationaux. Les résultats de cette étude ont permis (1) de mettre en évidence les différents acteurs impliqués dans ce processus d’adaptation, dont des acteurs de connectivité; (2) de cerner huit leviers d’action, divisés en trois catégories de leviers : administratif, émergent et d’habilitation. La possible imbrication de ces trois catégories de leviers facilite l’apparition de structures de connectivité, légitimant ainsi l’adaptation de l’organisation; et (3) de montrer l’ambigüité de l’adaptation à travers des facteurs d’influence qui favorisent ou entravent le processus d’adaptation à plusieurs niveaux de la gouvernance. Cette thèse est construite autour de quatre articles. Le premier, de nature conceptuelle, permet de circonscrire les concepts d’adaptation et de gouvernance multiniveaux à travers la lentille des théories de la complexité. Nous campons ainsi notre sujet dans une problématique liée à la vulnérabilité et la migration tout en appréhendant l’adaptation du système et son opérationnalisation au niveau local. Il en ressort un cadre conceptuel avec six propositions de recherches. Le second article permet quant à lui de comprendre les jeux des acteurs au sein d’une organisation de santé et à travers son Environnement. Le rôle spécifique d’acteurs de connectivité y est révélé. C’est dans un troisième article que nous nous intéressons davantage aux différents leviers d’action, analysés selon trois catégories : administrative, émergente et d’habilitation. Les acteurs peuvent les solliciter afin de d’adapter leurs pratiques au contexte particulier de la prise en charge de patients migrants. Un passage des acteurs aux structures de connectivité est alors rendu possible via un espace : la gouvernance multiniveaux. Enfin, le quatrième et dernier article s’articule autour de l’analyse des différents facteurs pouvant influencer l’adaptation d’une organisation de santé, en lien avec son Environnement. Il en ressort principalement que les facteurs identifiés sont pour beaucoup des leviers d’action (cf. article3) qui à travers le temps, et par récursivité, deviennent des facteurs d’influence. De plus, le type d’interdépendance développé par les acteurs a tendance soit à façonner un Environnement « stable », laissant reposer les besoins d’adaptation sur les acteurs opérationnels; soit à façonner un Environnement plus « accidenté », reposant davantage sur des interactions diversifiées entre les acteurs d’une gouvernance multiniveaux. De cette adéquation avec l’Environnement à façonner découle l’ambigüité de s’adapter ou non pour une organisation.

An exploration of the cases referred to victim-offender mediation within the framework of the juvenile justice system

Ce mémoire de maîtrise cherche à jeter un regard approfondi sur les cas des jeunes contrevenants référés au processus de médiation à Trajet, un organisme de justice alternative à Montréal. Plus précisément, les objectifs sont de décrire les caractéristiques des cas référés, d’explorer leur relation avec la participation au processus de médiation et avec le résultat de celui-ci, et de comparer ces mêmes éléments en regard de deux périodes inclues dans le projet : celle où s’appliquait la Loi sur les jeunes contrevenants et celle où la Loi sur le système de justice pénale pour les adolescents assortie de l’Entente cadre sont entrés en vigueur. Des méthodes de recherche quantitatives ont été utilisées pour analyser les cas référés à Trajet sur une période de 10 ans (1999-2009). Des analyses descriptives ont permis d’établir les caractéristiques communes ou divergentes entre les cas référés à Trajet et ceux référés à d’autres programmes de médiation. Des analyses bi-variées ont révélé qu’une relation significative existait entre la participation au processus de médiation et l’âge et le sexe des contrevenants, le nombre de crimes commis par ceux-ci, le nombre de victimes impliquées, le type de victime, l’âge et le sexe des victimes et, le délai entre la commission du crime et le transfert du dossier à Trajet. La réalisation d’une régression logistique a révélé que trois caractéristiques prédisent de manière significative la participation à la médiation : l’âge des contrevenants, le nombre de victimes impliquées et le délai entre la commission du crime et le transfert du dossier à Trajet. La faible proportion d’échecs du processus de médiation a rendu inutile la réalisation d’analyses bi et multi-variées eu égard au résultat du processus de médiation. Des différences significatives ont été trouvées entre les cas référés en médiation sous la Loi sur les jeunes contrevenants et ceux référés sous la Loi sur le système de justice pénale pour les adolescents assortie à l’Entente cadre en ce qui a trait au type de crime, au nombre de délits commis, à l’existence d’une référence précédente à Trajet, aux raisons pour lesquelles la médiation n’a pas eu lieu, à la restitution sous toutes ces formes et, plus spécialement, la restitution financière. La participation à la médiation est apparue plus probable sous la LSJPA que sous la LJC. Des corrélations partielles ont montré que différentes caractéristiques étaient associées à la participation à la médiation dans les deux périodes en question. Seule une caractéristique, le sexe des victimes, s’est avérée reliée significativement à la participation à la médiation tant sous la LJC que sous la LSJPA. Les résultats de ce projet ont donné lieu à une connaissance plus approfondie des cas référés à Trajet pour un processus de médiation et à une exploration de l’impact que la LSJPA et l’Entente cadre sur ce processus. Toutefois, l’échantillon étant limité au cas traités à Trajet ne permet pas la généralisation de ces résultats à l’ensemble des cas référés aux organismes de justice alternative du Québec pour le processus de médiation.

A unified framework for the comprehension of software's time dimension

Les logiciels sont de plus en plus complexes et leur développement est souvent fait par des équipes dispersées et changeantes. Par ailleurs, de nos jours, la majorité des logiciels sont recyclés au lieu d’être développés à partir de zéro. La tâche de compréhension, inhérente aux tâches de maintenance, consiste à analyser plusieurs dimensions du logiciel en parallèle. La dimension temps intervient à deux niveaux dans le logiciel : il change durant son évolution et durant son exécution. Ces changements prennent un sens particulier quand ils sont analysés avec d’autres dimensions du logiciel. L’analyse de données multidimensionnelles est un problème difficile à résoudre. Cependant, certaines méthodes permettent de contourner cette difficulté. Ainsi, les approches semi-automatiques, comme la visualisation du logiciel, permettent à l’usager d’intervenir durant l’analyse pour explorer et guider la recherche d’informations. Dans une première étape de la thèse, nous appliquons des techniques de visualisation pour mieux comprendre la dynamique des logiciels pendant l’évolution et l’exécution. Les changements dans le temps sont représentés par des heat maps. Ainsi, nous utilisons la même représentation graphique pour visualiser les changements pendant l’évolution et ceux pendant l’exécution. Une autre catégorie d’approches, qui permettent de comprendre certains aspects dynamiques du logiciel, concerne l’utilisation d’heuristiques. Dans une seconde étape de la thèse, nous nous intéressons à l’identification des phases pendant l’évolution ou pendant l’exécution en utilisant la même approche. Dans ce contexte, la prémisse est qu’il existe une cohérence inhérente dans les évènements, qui permet d’isoler des sous-ensembles comme des phases. Cette hypothèse de cohérence est ensuite définie spécifiquement pour les évènements de changements de code (évolution) ou de changements d’état (exécution). L’objectif de la thèse est d’étudier l’unification de ces deux dimensions du temps que sont l’évolution et l’exécution. Ceci s’inscrit dans notre volonté de rapprocher les deux domaines de recherche qui s’intéressent à une même catégorie de problèmes, mais selon deux perspectives différentes.

The berth allocation problem at port terminals : a column generation framework

Le problème d'allocation de postes d'amarrage (PAPA) est l'un des principaux problèmes de décision aux terminaux portuaires qui a été largement étudié. Dans des recherches antérieures, le PAPA a été reformulé comme étant un problème de partitionnement généralisé (PPG) et résolu en utilisant un solveur standard. Les affectations (colonnes) ont été générées a priori de manière statique et fournies comme entrée au modèle %d'optimisation. Cette méthode est capable de fournir une solution optimale au problème pour des instances de tailles moyennes. Cependant, son inconvénient principal est l'explosion du nombre d'affectations avec l'augmentation de la taille du problème, qui fait en sorte que le solveur d'optimisation se trouve à court de mémoire. Dans ce mémoire, nous nous intéressons aux limites de la reformulation PPG. Nous présentons un cadre de génération de colonnes où les affectations sont générées de manière dynamique pour résoudre les grandes instances du PAPA. Nous proposons un algorithme de génération de colonnes qui peut être facilement adapté pour résoudre toutes les variantes du PAPA en se basant sur différents attributs spatiaux et temporels. Nous avons testé notre méthode sur un modèle d'allocation dans lequel les postes d'amarrage sont considérés discrets, l'arrivée des navires est dynamique et finalement les temps de manutention dépendent des postes d'amarrage où les bateaux vont être amarrés. Les résultats expérimentaux des tests sur un ensemble d'instances artificielles indiquent que la méthode proposée permet de fournir une solution optimale ou proche de l'optimalité même pour des problème de très grandes tailles en seulement quelques minutes.

Les trajectoires de femmes victimes de violence conjugale : les facteurs qui expliquent la dynamique de la violence physique à travers le temps.

La violence conjugale peut prendre différentes formes et évoluer à travers le temps. On ne peut écarter la possibilité que les différentes trajectoires soient influencées par le contexte de vie dans lequel la victime se présente. Dans cet ordre d’idée, la perspective des parcours de vie se présente comme un cadre théorique approprié pour comprendre les différents changements temporels qui s’opèrent dans les trajectoires de victimisation en contexte conjugal. Toutefois, le soutien empirique sur les facteurs derrière le nombre d’épisodes de la violence et ses variations au fil du temps est mince; notamment en raison de la rareté des données longitudinales ou rétrospectives requises pour ce type de recherche. Cette étude propose de combler ces lacunes dans l’analyse des trajectoires individuelles des femmes qui ont été victimes de violence conjugale. Plus spécifiquement, elle analyse l’évolution de l’occurrence et de l’intensité de la violence physique à travers le temps. L’échantillon est composé de 53 femmes, toutes victimes de violence conjugale au courant des 36 derniers mois référées par plusieurs milieux (par exemple : maisons d’hébergement, Cour municipale, centres d’aide aux victimes d’acte criminel, centres de thérapie, maisons de transition). Cette recherche est basée sur des données rétrospectives des circonstances entourant la vie de ces femmes au cours des 36 derniers mois. Les trajectoires individuelles ont été reconstruites en utilisant la méthode des calendriers d’histoire de la vie. Cette méthode qui a fait ses preuves dans l’étude des carrières criminelles et de la victimisation permet de situer les trajectoires dans leur contexte de vie et de reconstruire la dynamique derrière les victimisations. L’utilisation de la modélisation de type multiniveaux comme stratégie d’analyse est privilégiée dans cette étude. Combiné avec le calendrier d’histoire de vie, ce type de modèle permet d’examiner les changements dans la chronicité et l’intensité de la violence au sein des trajectoires individuelles des victimes. Les résultats permettent une meilleure compréhension des éléments statiques et dynamiques dernières trajectoires des femmes victimes. Cette recherche se veut avant tout exploratoire et ouvre la porte à une multitude de possibilités à de futures recherches.

Multilevel Analysis of Trunk Surface Measurements for Noninvasive Assessment of Scoliosis Deformities.

Study Design. Reliability study. Objectives. To assess between-acquisition reliability of new multilevel trunk cross sections measurements, in order to define what is a real change when comparing 2 trunk surface acquisitions of a same patient, before and after surgery or throughout the clinical monitoring. Summary of Background Data. Several cross-sectional surface measurements have been proposed in the literature for noninvasive assessment of trunk deformity in patients with adolescent idiopathic scoliosis (AIS). However, only the maximum values along the trunk are evaluated and used for monitoring progression and assessing treatment outcome. Methods. Back surface rotation (BSR), trunk rotation (TR), and coronal and sagittal trunk deviation are computed on 300 cross sections of the trunk. Each set of 300 measures is represented as a single functional data, using a set of basis functions. To evaluate between-acquisition variability at all trunk levels, a test-retest reliability study is conducted on 35 patients with AIS. A functional correlation analysis is also carried out to evaluate any redundancy between the measurements. Results. Each set of 300 measures was successfully described using only 10 basis functions. The test-retest reliability of the functional measurements is good to very good all over the trunk, except above the shoulders level. The typical errors of measurement are between 1.20° and 2.2° for the rotational measures and between 2 and 6 mm for deviation measures. There is a very strong correlation between BSR and TR all over the trunk, a moderate correlation between coronal trunk deviation and both BSR and TR, and no correlation between sagittal trunk deviation and any other measurement. Conclusion. This novel representation of trunk surface measurements allows for a global assessment of trunk surface deformity. Multilevel trunk measurements provide a broader perspective of the trunk deformity and allow a reliable multilevel monitoring during clinical follow-up of patients with AIS and a reliable assessment of the esthetic outcome after surgery.

Stressors and turning points in high school and dropout : a stress process, life course framework

High school dropout is commonly seen as the result of a long-term process of failure and disengagement. As useful as it is, this view has obscured the heterogeneity of pathways leading to dropout. Research suggests, for instance, that some students leave school not as a result of protracted difficulties but in response to situations that emerge late in their schooling careers, such as health problems or severe peer victimization. Conversely, others with a history of early difficulties persevere when their circumstances improve during high school. Thus, an adequate understanding of why and when students drop out requires a consideration of both long-term vulnerabilities and proximal disruptive events and contingencies. The goal of this review is to integrate long-term and immediate determinants of dropout by proposing a stress process, life course model of dropout. This model is also helpful for understanding how the determinants of dropout vary across socioeconomic conditions and geographical and historical contexts.

Electron-Phonon Interaction Within the Framework of the Fluctuating Valence of Copper Atoms — a Theoretical Model for High Temperature Superconductivity

Electron-phonon interaction is considered within the framework of the fluctuating valence of Cu atoms. Anderson's lattice Hamiltonian is suitably modified to take this into account. Using Green's function technique tbe possible quasiparticle excitations' are determined. The quantity 2delta k(O)/ kB Tc is calculated for Tc= 40 K. The calculated values are in good agreement with the experimental results.

Cooperative Caching Framework for Mobile Cloud Computing

Due to the advancement in mobile devices and wireless networks mobile cloud computing, which combines mobile computing and cloud computing has gained momentum since 2009. The characteristics of mobile devices and wireless network makes the implementation of mobile cloud computing more complicated than for fixed clouds. This section lists some of the major issues in Mobile Cloud Computing. One of the key issues in mobile cloud computing is the end to end delay in servicing a request. Data caching is one of the techniques widely used in wired and wireless networks to improve data access efficiency. In this paper we explore the possibility of a cooperative caching approach to enhance data access efficiency in mobile cloud computing. The proposed approach is based on cloudlets, one of the architecture designed for mobile cloud computing.

A Framework of Statistical Machine Translator from English to Malayalam

In this paper we describe the methodology and the structural design of a system that translates English into Malayalam using statistical models. A monolingual Malayalam corpus and a bilingual English/Malayalam corpus are the main resource in building this Statistical Machine Translator. Training strategy adopted has been enhanced by PoS tagging which helps to get rid of the insignificant alignments. Moreover, incorporating units like suffix separator and the stop word eliminator has proven to be effective in bringing about better training results. In the decoder, order conversion rules are applied to reduce the structural difference between the language pair. The quality of statistical outcome of the decoder is further improved by applying mending rules. Experiments conducted on a sample corpus have generated reasonably good Malayalam translations and the results are verified with F measure, BLEU and WER evaluation metrics