Scientific research projects aim to produce new knowledge generally in domains of high specialization.Some of these projects have goals of improving the performance of companies.In this case,the issues of the capitali...Scientific research projects aim to produce new knowledge generally in domains of high specialization.Some of these projects have goals of improving the performance of companies.In this case,the issues of the capitalization and transfer of scientific knowledge and its rapid transformation into professional skills are directly addressed.However,there is no method to derive e-learning teaching material from project results.So,this paper presents the e-LITE Method and its application to the ISTA3 project to support the process of developing a e-learning training.This application has allowed us to highlight the contributions of the method that promotes better knowledge sharing between partners of a research project and the development and transfer of research results to the professional world.So,after the presentation of the method,an application to the ISTA3 project will be presented.展开更多
The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of t...The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of truth values areestablished.展开更多
The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diag...The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diagrams of theories inwhich shapes are tree bundles or directed graphs. Moreover, some transforma-tions from complicated cases to simple ones are established.展开更多
文摘Scientific research projects aim to produce new knowledge generally in domains of high specialization.Some of these projects have goals of improving the performance of companies.In this case,the issues of the capitalization and transfer of scientific knowledge and its rapid transformation into professional skills are directly addressed.However,there is no method to derive e-learning teaching material from project results.So,this paper presents the e-LITE Method and its application to the ISTA3 project to support the process of developing a e-learning training.This application has allowed us to highlight the contributions of the method that promotes better knowledge sharing between partners of a research project and the development and transfer of research results to the professional world.So,after the presentation of the method,an application to the ISTA3 project will be presented.
文摘The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of truth values areestablished.
文摘The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diagrams of theories inwhich shapes are tree bundles or directed graphs. Moreover, some transforma-tions from complicated cases to simple ones are established.
