On the analysis of compensation correctness

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Cinco para ouvir: discursos de ex-reclusos/as sobre a Prisão

Dissertação de mestrado integrado em Psicologia

Automatically estimating iSAX parameters

The Symbolic Aggregate Approximation (iSAX) is widely used in time series data mining. Its popularity arises from the fact that it largely reduces time series size, it is symbolic, allows lower bounding and is space efficient. However, it requires setting two parameters: the symbolic length and alphabet size, which limits the applicability of the technique. The optimal parameter values are highly application dependent. Typically, they are either set to a fixed value or experimentally probed for the best configuration. In this work we propose an approach to automatically estimate iSAX’s parameters. The approach – AutoiSAX – not only discovers the best parameter setting for each time series in the database, but also finds the alphabet size for each iSAX symbol within the same word. It is based on simple and intuitive ideas from time series complexity and statistics. The technique can be smoothly embedded in existing data mining tasks as an efficient sub-routine. We analyze its impact in visualization interpretability, classification accuracy and motif mining. Our contribution aims to make iSAX a more general approach as it evolves towards a parameter-free method.

Multibody systems formulation

"Series: Solid mechanics and its applications, vol. 226"

Planeamento de Experiências: Modelos e desafios dos Planos em Blocos Incompletos

O principal objetivo de um Planeamento de Experiências reside essencialmente na procura de relações entre variáveis e na comparação de níveis de fatores, recorrendo ao tratamento estatístico dos dados recolhidos. A utilização de blocos no Planeamento de Experiências é fundamental, pois permite reduzir ou eliminar a variabilidade introduzida por fatores que podem influenciar a experiência mas que não interessam e/ou não foram explicitamente incluídos durante o planeamento. Neste trabalho apresentamos os resultados do estudo e investigação dos Planos em Blocos Incompletos Equilibrados (BIBD), Planos em Blocos Incompletos Equilibrados com repetição de blocos (BIBDR) e Planos em Blocos Incompletos com blocos de diferentes dimensões (VBBD). Exploramos algumas propriedades e métodos de construção destes planos e ilustramos, sempre que possível, com exemplos. Tendo como base o planeamento em blocos, apresentamos uma aplicação dos BIBDR na área da Educação com o objetivo de comparar cinco domínios do pensamento algébrico de uma amostra de alunos do 1º ano do ensino superior em Cabo Verde. Para a análise dos dados da amostra foi utilizado o software R, versão 2.12.1. Pudemos constatar que existem diferenças significativas entre alguns dos domínios do pensamento algébrico, nomeadamente entre os domínios da Generalização da Aritmética e Tecnicismo Algébrico com os restantes domínios. Recomendamos a escolha de uma amostra mais representativa constituída por alunos de todas as instituições superiores de Cabo Verde.

Planeamento de experiências : modelos e desafios dos planos em blocos incompletos

The main purpose of an Experimental Design resides mainly in the search for relationships between variables and in comparing levels of factors, using statistical treatment of collected data. The use of blocks in Experimental Design is essential because it allows reducing or eliminating the variability introduced by factors that can influence the experience but are not of main interest and/or were not explicitly included during experiments. In this work we present the results of the study and research of Balanced Incomplete Block Designs (BIBD), Balanced Incomplete Block Designs with repeated blocks (BIBDR) and the Incomplete Blocks Designs with blocks with different dimensions (VBBD). We explore some properties and construction methods of such designs and illustrate, when possible, with examples. Based on Block Designs, we present an application of BIBDR in Education, with the aim of comparing five domains of algebraic thinking in a sample of 1st year students of higher education in Cape Verde. For the analysis of sample data, the software R was used, version 2.12.1. We observed that significant differences exist between some of the domains of algebraic thinking, especially among the domains of Generalization of Arithmetic and Algebraic Technicality with the remaining areas. For a more representative sample, we recommend a bigger sample consisting of students from all higher institutions of Cape Verde.

Planeamento de experiências : modelos e desafios dos planos em blocos incompletos

The main purpose of an Experimental Design resides mainly in the search for relationships between variables and in comparing levels of factors, using statistical treatment of collected data. The use of blocks in Experimental Design is essential because it allows reducing or eliminating the variability introduced by factors that can influence the experience but are not of main interest and/or were not explicitly included during experiments. In this work we present the results of the study and research of Balanced Incomplete Block Designs (BIBD), Balanced Incomplete Block Designs with repeated blocks (BIBDR) and the Incomplete Blocks Designs with blocks with different dimensions (VBBD). We explore some properties and construction methods of such designs and illustrate, when possible, with examples. Based on Block Designs, we present an application of BIBDR in Education, with the aim of comparing five domains of algebraic thinking in a sample of 1st year students of higher education in Cape Verde. For the analysis of sample data, the software R was used, version 2.12.1. We observed that significant differences exist between some of the domains of algebraic thinking, especially among the domains of Generalization of Arithmetic and Algebraic Technicality with the remaining areas. For a more representative sample, we recommend a bigger sample consisting of students from all higher institutions of Cape Verde.

O Dualismo Cultural: os Luso-Caboverdianos entre a Escola a Família e a Comunidade (Estudo de Caso)

A tese que ora findamos visa a obtenção do grau de doutora em Educação, na Especialidade de Desenvolvimento Curricular, pelo Departamento do Currículo e Tecnologia Educativa, do Instituto de Educação e Psicologia, da Universidade do Minho. Intitulado o dualismo cultural: os luso-caboverdianos entre a escola, a família e a comunidade, o presente estudo centra-se numa abordagem crítica da escolaridade básica obrigatória, no qual procurámos compreender e explicar as condições de realização deste nível de ensino pelos jovens de ascendência caboverdiana, nascidos em Portugal, na qualidade de sujeitos biculturais em consequência da simbiose das culturas caboverdeana e portuguesa. Isto para concluirmos se na oferta do serviço educativo e de formação estão acautelados os seus direitos de cidadania e de participação na sociedade em que se encontram inseridos e a que pertencem de facto. Nesta investigação foi fundamental analisar a oferta de educação básica, entender as representações de alunos lusocaboverdeanos acerca da sua identidade cultural e das suas percepções sobre a formação académica que recebem; reconhecer representações e percepções de professores acerca da realidade educativa portuguesa, o enquadramento da multiculturalidade e a docência em turmas com alunos luso-caboverdianos, e compreender as percepções de pais e encarregados da educação caboverdeanos acerca da realidade educativa portuguesa e do enquadramento dos seus filhos na escola, para perceber se o insucesso educativo dos luso-caboverdeanos está relacionado com a condição de aluno “culturalmente diferente” ou se tem a sua origem na escola e no currículo da escolaridade obrigatória e, assim, contribuir com subsídios teóricos e práticos para o aprofundamento da problemática da multiculturalidade em Portugal, com vista à sua potenciação e normalização no sistema educativo. Estando perante uma sociedade de formação multicultural reafirmada com a colonização, justifica-se, em Portugal, a preocupação com a temática da diversidade cultural nas políticas educativas, resultante da consciencialização da manifestação da diversidade cultural no contexto escolar, podendo a sua omissão constituir num factor de insucesso educativo. Por isso, integramos nesta investigação matérias como: uma conceptualização do multiculturalismo com vista a questionar e clarificar os conceitos e as perspectivas inerentes a este fenómeno. Uma tentativa de desocultar para perceber o conteúdo simbólico e os porquês das políticas de integração das minorias etnicoculturais que, ao que parece, nos tempos que correm, por quase toda a parte, se converteram numa prioridade absoluta e inadiável. Estabelecemos uma ponte entre a génese do campo curricular e a construção de um currículo multi e/ou intercultural, merecendo devida atenção as tendências que dominam as discussões e a produção científica actuais nestes domínios. Problematizámos o currículo e identidade na escolaridade obrigatória nas dimensões inserção sociocultural, promoção da igualdade de sucesso educativo e inclusão dos sujeitos e o currículo e a educação para o exercício da cidadania numa escola que se quer plural. Neste último debatemos o conteúdo político da educação para a cidadania, as políticas educativas e curriculares e a escolaridade básica obrigatória como uma proposta que continua em aberto, por isso, passível de adequação às necessidades de uma educação da e para a diversidade. Procurámos fazer uma análise das políticas de integração socioeducativa da diversidade cultural, com destaque para o quadro legal que regula a integração das minorias étnicas na escola básica portuguesa, com particular incidência sobre as crianças pertencentes à comunidade caboverdeana nascidas em território português, procurando concluir acerca da existência, ou não, de posições e opções de políticas educativas concretas face à necessidade de dar prosseguimento à educação multicultural neste contexto. Tratou-se de uma investigação qualitativa holística, que permitiu desenvolver compreensões profundas dos fenómenos a partir das evidências reunidas, do estudo das representações dos sujeitos sobre quem recaem os resultados da investigação, mas também de sujeitos que, assim como o meio envolvente, estabelecem uma relação indirecta com os mesmos resultados. Circunscrito a um estudo de caso, a reflexão e a partilha de conhecimento e informações possibilitou desenvolver uma compreensão sobre a problemática estudada. Dos resultados obtidos, destacámos aqui que, em Portugal, apesar da absorvência da diversidade cultural nas política educativa, não se concretizou, ainda, uma proposta que, na prática, crie a reciprocidade entre as questões etnicoculturais e o sucesso e/ou insucesso educativos das minorias em educação com ganhos decisivos no combate ao insucesso e ao abandono escolar. Continua-se a desenvolver uma educação igualitarista monocultural pela via da homogeneização curricular, assente na noção de que povos e grupos podem estar em condições de igualdade se reunidos numa cultura comum. Aparentemente sob pilares democráticos, esta educação multicultural segue a concepção liberal associando essencialismo, universalismo e igualitarismo, resultando num propósito civilizacional excludente das minorias etnicoculturais. As conclusões chegadas permitem-nos defender a dessacralização do currículo nacional comum e uniforme e a defesa de uma proposta curricular baseada numa cultura científica global e necessária, de acordo com as faixas etárias e níveis de ensino, com campos de integração obrigatória de conteúdos territorializados alicerçados no interculturalismo como estratégia promotora da interacção crítica e solidária entre diferentes sujeitos e grupos culturais, permissiva da construção de identidades próprias e da confissão da diferença cultural, associada ao intraculturalismo como uma via permeabilizadora da educação democrática como garante da cidadania plena a todos os indivíduos, como condição fundamental para o estabelecimento das condições de igualdade e de garantia de sucesso em educação.

Planeamento de experiências : modelos e desafios dos planos em blocos incompletos.

O principal objetivo de um Planeamento de Experiências reside essencialmente na procura de relações entre variáveis e na comparação de níveis de fatores, recorrendo ao tratamento estatístico dos dados recolhidos. A utilização de blocos no Planeamento de Experiências é fundamental, pois permite reduzir ou eliminar a variabilidade introduzida por fatores que podem influenciar a experiência mas que não interessam e/ou não foram explicitamente incluídos durante o planeamento. Neste trabalho apresentamos os resultados do estudo e investigação dos Planos em Blocos Incompletos Equilibrados (BIBD), Planos em Blocos Incompletos Equilibrados com repetição de blocos (BIBDR) e Planos em Blocos Incompletos com blocos de diferentes dimensões (VBBD). Exploramos algumas propriedades e métodos de construção destes planos e ilustramos, sempre que possível, com exemplos. Tendo como base o planeamento em blocos, apresentamos uma aplicação dos BIBDR na área da Educação com o objetivo de comparar cinco domínios do pensamento algébrico de uma amostra de alunos do 1º ano do ensino superior em Cabo Verde. Para a análise dos dados da amostra foi utilizado o software R, versão 2.12.1. Pudemos constatar que existem diferenças significativas entre alguns dos domínios do pensamento algébrico, nomeadamente entre os domínios da Generalização da Aritmética e Tecnicismo Algébrico com os restantes domínios. Recomendamos a escolha de uma amostra mais representativa constituída por alunos de todas as instituições superiores de Cabo Verde

Monnaie, citoyenneté et globalisation financière. Les citoyens entre protection sociale et promesses de la capitalisation boursière

La monnaie a été étudiée par des économistes hétérodoxes, des sociologues et des historiens qui ont souligné ses rapports à l'ordre collectif, mais elle n'est que rarement analysée sous l'angle de la citoyenneté. Notre thèse propose une réflexion théorique sur quatre types de fonctions (politique, symbolique, socioéconomique et psychoaffective) qui permettent à la monnaie de jouer un rôle de médiation de la citoyenneté. A partir d'une perspective qui combine les apports de l'économie politique internationale et de l'école de la régulation, nous montrons que cette médiation ne mobilise pas seulement des mécanismes sociopolitiques nationaux, mais aussi des mécanismes internationaux qui rétroagissent sur la sphère domestique des États et affectent leur capacité à définir leur régime de citoyenneté. Cette relation est analysée dans le contexte de l'institutionnalisation du système monétaire international de Bretton Woods (1944) et du développement de la globalisation financière depuis les années 1970. Si la monnaie a été mise au service d'un principe de protection des droits sociaux des citoyens contre les pressions financières extérieures après la Seconde guerre mondiale, elle contribue aujourd'hui à l'ouverture de la sphère domestique des Etats aux flux de capitaux transnationaux et à la création d'un ordre politique et juridique favorable aux droits des investisseurs. Cette dynamique est impulsée par l'essor de nouveaux intermédiaires financiers (notamment les agences de notation et les investisseurs institutionnels) et l'émergence concomitante d'une nouvelle forme d'Etat légitimée à partir d'un discours politique néolibéral insistant sur la quête de compétitivité, la réduction de la protection sociale et la responsabilisation individuelle. Elle se traduit par la privatisation des régimes de retraite et le développement des politiques d'éducation financière qui incitent les citoyens à se comporter en « preneurs de risques » actifs et responsables, assurant eux-mêmes leur sécurité économique à travers le placement de leur épargne retraite sur les marchés financiers. Nous soulignons toutefois les difficultés institutionnelles, cognitives et socioéconomiques qui rendent cette transformation de la citoyenneté contradictoire et problématique. Money has been studied by heterodox economists, sociologists and historians who stressed its relationship to collective order. However, it has hardly been analysed from the viewpoint of its relationship to citizenship. We propose a theoretical account of four types of functions (political, symbolic, socioeconomic and psychoaffective) enabling money to operate as a mediation of citizenship. From a perspective that combines the contributions of international political economy and the regulation school, we show that this mediation mobilises not only national sociopolitical mechanisms, but also international mechanisms which feed back on the domestic sphere of states and affect their capacity to define their regime of citizenship. This relationship is analysed in the context of the institutionalisation of the international monetary system of Bretton Woods (1944) and the development of financial globalization since the 1970s. If money has served to protect the social rights of citizens against external financial pressures after the Second World War, today it contributes to the opening of the domestic sphere of states to transnational capital flows and to the creation of a political and legal order favorable to the rights of investors. This dynamic is driven by the rise of new financial intermediaries (in particular rating agencies and institutional investisors) and the simultaneous emergence of a new form of state legitimized from a neoliberal political discourse emphasizing the quest for competitiveness, reduced social protection and individual responsibilization. It results in the privatization of pension systems and the development of policies of financial education that encourage citizens to behave as active and responsible « risk takers », ensuring their own economic security through the investment of their savings retirement on financial markets. However, we emphasize the institutional, cognitive and socioeconomic difficulties that make this transformation of citizenship contradictory and problematic. - Money has been studied by heterodox economists, sociologists and historians who stressed its relationship to collective order. However, it has hardly been analysed from the viewpoint of its relationship to citizenship. We propose a theoretical account of four types of functions (political, symbolic, socioeconomic and psychoaffective) enabling money to operate as a mediation of citizenship. From a perspective that combines the contributions of international political economy and the regulation school, we show that this mediation mobilises not only national sociopolitical mechanisms, but also international mechanisms which feed back on the domestic sphere of states and affect their capacity to define their regime of citizenship. This relationship is analysed in the context of the institutionalisation of the international monetary system of Bretton Woods (1944) and the development of financial globalization since the 1970s. If money has served to protect the social rights of citizens against external financial pressures after the Second World War, today it contributes to the opening of the domestic sphere of states to transnational capital flows and to the creation of a political and legal order favorable to the rights of investors. This dynamic is driven by the rise of new financial intermediaries (in particular rating agencies and institutional investisors) and the simultaneous emergence of a new form of state legitimized from a neoliberal political discourse emphasizing the quest for competitiveness, reduced social protection and individual responsibilization. It results in the privatization of pension systems and the development of policies of financial education that encourage citizens to behave as active and responsible « risk takers », ensuring their own economic security through the investment of their savings retirement on financial markets. However, we emphasize the institutional, cognitive and socioeconomic difficulties that make this transformation of citizenship problematic.

A System for Models of First Order Theories

If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.

La blogosphère et la fonction filtre : le cas de la campagne électorale de 2008 à São Paulo

Dans ce travail, j’étudie les relations entre la blogosphère politique dans la ville de São Paulo, au Brésil, et l’ensemble de l’écologie médiatique dans laquelle celle-ci est insérée. En établissant un dialogue avec les théories qui posent la dissémination des blogues comme le moment de répartition des moyens de production et de démocratisation de parole, je propose que la blogosphère doit plutôt être envisagée comme une instance de filtrage des produits des médias de masse. J’emprunte le concept de « dispositif » à Michel Foucault et à Giorgio Agamben, pour définir les médias du monde contemporain selon les termes d’un dispositif médiatique. J’emprunte aussi les concepts de « two-step flow of communications » et de « leader d’opinion » à Paul F. Lazarsfeld et Elihu Katz pour localiser la blogosphère dans l’ensemble de notre espace médiatique. Je défends également l’idée que les blogueurs exercent aujourd’hui une fonction semblable à celle des leaders d’opinion que décrivent Katz et Lazarsfeld – ce que je nomme la fonction-filtre de la blogosphère - et que ces blogueurs se situent dans la couche intermédiaire du flux d’informations dans les démocraties occidentales, c'est-à-dire celle qui se trouve entre les médias de masse et les récepteurs. Pour conduire ma recherche, j’ai réalisé une ethnographie virtuelle auprès des blogueurs de la ville de São Paulo, au Brésil, pendant la période de la campagne électorale de 2008 à la mairie. Ensuite, j’ai soumis l’ensemble de leur production discursive à une analyse sociolinguistique. Et je conclus que plutôt qu’étant le fruit d’une révolution, l’écologie médiatique contemporaine reprend - en les diversifiant et en les étendant - des processus que l’on ne pensait propres qu’aux dynamiques des médias de masse.

La racialisation comme constitution de la différence : une ethnographie documentaire de la santé publique aux États-Unis

On note de nos jours une intensification, aux États-Unis, de l’usage de la race en santé publique, une idée qui est parfois rejetée dans la mesure où elle est associée à des pratiques controversées. Les races sont vues, dans ce contexte, comme le produit du racisme, une technologie du pouvoir de l’État moderne qui a consisté à fragmenter l’humanité pour permettre les colonisations. C'est ainsi que la race a été prise en charge par le discours pour marquer la différence, discours qui est constitué d'un ensemble hétérogène de dispositifs, des institutions, des énoncés scientifiques, des normes et des règles. Le racisme s’est développé en parallèle avec l'affirmation d'un pouvoir sur la vie visant à assurer la gestion des corps et des populations, notamment par le biais des pratiques de santé publique. Cette thèse s'appuie sur une étude ethnographique réalisée sur un corpus de documents de la santé publique parus aux États-Unis et issus de bureaux fédéraux et d’une importante revue spécialisée dans le domaine sanitaire, et qui ont été publiés entre 2001 et 2009. Cette étude a analysé la manière dont la race est représentée, produite comme objet de connaissance, et régulée par les pratiques discursives dans ces documents. Les résultats confirment que le discours sur la race varie au cours du temps. Toutefois, les résultats indiquent la relative permanence en santé publique d'un régime racialisé de représentation qui consiste à identifier, à situer et à opposer les sujets et les groupes à partir de labels standardisés. Ce régime est composé d'un ensemble de pratiques représentationnelles qui, couplées aux techniques disciplinaires et à l’idée de culture, aboutissent à la caractérisation et à la formation d’objets racialisés et à des stéréotypes. De plus, cet ensemble d’opérations qui fabrique la racialisation, a tendance, avec la sanitarisation et la culturalisation, à naturaliser la différence, à reproduire l’ordre symbolique et à constituer les identités raciales. Par ailleurs, la racialisation apparaît tiraillée entre un pouvoir sur la vie et un pouvoir sur la mort. Enfin, cette étude propose une alternative postraciale qui envisage la constitution des groupes humains de manière fluide et déterritorialisée.

Développement et évaluation d’un environnement informatisé d’apprentissage pour faciliter l’intégration des sciences et de la technologie

Par cette recherche, nous voulons évaluer de manière exhaustive les bénéfices qu’apporte l’ExAO (Expérimentation Assistée par Ordinateur) dans les laboratoires scolaires de sciences et technologie au Liban. Nous aimerions aussi qu’elle contribue d’une manière tangible aux recherches du laboratoire de Robotique Pédagogique de l’Université de Montréal, notamment dans le développement du µlaboratoire ExAO. Nous avons voulu tester les capacités de l’ExAO, son utilisation en situation de classe comme : 1. Substitut d’un laboratoire traditionnel dans l’utilisation de la méthode expérimentale; 2. Outil d’investigation scientifique; 3. Outil d’intégration des sciences expérimentales et des mathématiques; 4. Outil d’intégration des sciences expérimentales, des mathématiques et de la technologie dans un apprentissage technoscientifique; Pour ce faire, nous avons mobilisé 13 groupe-classes de niveaux complémentaire et secondaire, provenant de 10 écoles libanaises. Nous avons désigné leurs enseignants pour expérimenter eux-mêmes avec leurs étudiants afin d’évaluer, de manière plus réaliste les avantages d’implanter ce micro laboratoire informatisé à l’école. Les différentes mise à l’essai, évaluées à l’aide des résultats des activités d’apprentissage réalisées par les étudiants, de leurs réponses à un questionnaire et des commentaires des enseignants, nous montrent que : 1. La substitution d’un laboratoire traditionnel par un µlaboratoire ExAO ne semble pas poser de problème; dix minutes ont suffi aux étudiants pour se familiariser avec cet environnement, mentionnant que la rapidité avec laquelle les données étaient représentées sous forme graphique était plus productive. 2. Pour l’investigation d’un phénomène physique, la convivialité du didacticiel associée à la capacité d’amplifier le phénomène avant de le représenter graphiquement a permis aux étudiants de concevoir et de mettre en œuvre rapidement et de manière autonome, une expérimentation permettant de vérifier leur prédiction. 3. L’intégration des mathématiques dans une démarche expérimentale permet d’appréhender plus rapidement le phénomène. De plus, elle donne un sens aux représentations graphiques et algébriques, à l’avis des enseignants, permettant d’utiliser celle-ci comme outil cognitif pour interpréter le phénomène. 4. La démarche réalisée par les étudiants pour concevoir et construire un objet technologique, nous a montré que cette activité a été réalisée facilement par l’utilisation des capteurs universels et des amplificateurs à décalage de l’outil de modélisation graphique ainsi que la capacité du didacticiel à transformer toute variable mesurée par une autre variable (par exemple la variation de résistance en variation de température, …). Cette activité didactique nous montre que les étudiants n’ont eu aucune difficulté à intégrer dans une même activité d’apprentissage les mathématiques, les sciences expérimentales et la technologie, afin de concevoir et réaliser un objet technologique fonctionnel. µlaboratoire ExAO, en offrant de nouvelles possibilités didactiques, comme la capacité de concevoir, réaliser et valider un objet technologique, de disposer pour ce faire, des capacités nouvelles pour amplifier les mesures, modéliser les phénomènes physiques, créer de nouveaux capteurs, est un ajout important aux expériences actuellement réalisées en ExAO.