Academic literature on the topic 'Assistant logiciel'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Assistant logiciel.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Assistant logiciel"
Contamines, Julien, Gilbert Paquette, and Richard Hotte. "LÉO, assistant logiciel pour une scénarisation pédagogique dirigée par les compétences." Revue internationale des technologies en pédagogie universitaire 6, no. 2-3 (2009): 26. http://dx.doi.org/10.7202/1000009ar.
Full textRibaud, Vincent, Philippe Saliou, and Claude Y. Laporte. "Un assistant de mémoire pour les très petits projets d’ingénierie du logiciel." Études de communication, no. 36 (June 1, 2011): 67–86. http://dx.doi.org/10.4000/edc.2631.
Full textDonin, Nicolas, and Jacques Theureau. "L’atelier d’un réalisateur en informatique musicale." Circuit 18, no. 1 (April 29, 2008): 31–38. http://dx.doi.org/10.7202/017906ar.
Full textChaix, B., G. Lobre, S. Mahboub, G. Delamon, J. E. Bibault, and B. Brouard. "Le chatbot, outil d’accompagnement thérapeutique de la dépression chez les patientes atteintes d’un cancer du sein." Psycho-Oncologie 14, no. 1-2 (March 2020): 17–21. http://dx.doi.org/10.3166/pson-2020-0113.
Full textChandrakar, Chandu Lal, and Yuan Bentao. "From Learning Theory to Academic Organisation: The Institutionalisation of Higher Education Teaching Assistant Position in China." International Journal of Higher Education 7, no. 3 (May 28, 2018): 124. http://dx.doi.org/10.5430/ijhe.v7n3p124.
Full textNiu, Yue, Jonathan Sterling, Harrison Grodin, and Robert Harper. "A cost-aware logical framework." Proceedings of the ACM on Programming Languages 6, POPL (January 16, 2022): 1–31. http://dx.doi.org/10.1145/3498670.
Full textSt Dizier de Almeida, Valérie. "Modélisation d'une assistance interactive pour améliorer l'accessibilité d'un logiciel." Sciences et techniques éducatives 4, no. 1 (1997): 13–39. http://dx.doi.org/10.3406/stice.1997.1326.
Full textGuha, Joy. "Student Assistant: Bot Acting as a Students Personal Assistant." International Journal for Research in Applied Science and Engineering Technology 9, no. VI (June 10, 2021): 317–28. http://dx.doi.org/10.22214/ijraset.2021.34743.
Full textFleurquin, Régis, and Chouki Tibermacine. "Une assistance pour l'évolution des logiciels à base de composants." L'objet 13, no. 1 (March 7, 2007): 9–44. http://dx.doi.org/10.3166/objet.13.1.9-44.
Full textKuokka, Daniel, Stanley Jefferson, Lee Barford, and Felix Frayman. "A parametric design assistant for concurrent engineering." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 9, no. 2 (April 1995): 135–44. http://dx.doi.org/10.1017/s0890060400002171.
Full textDissertations / Theses on the topic "Assistant logiciel"
BIENVENU, OLIVIER. "Conception d'un assistant pour un logiciel d'elements finis dedie aux calculs de champs electromagnetiques." Paris 6, 1998. http://www.theses.fr/1998PA066033.
Full textZimmermann, Théo. "Challenges in the collaborative evolution of a proof language and its ecosystem." Thesis, Université de Paris (2019-....), 2019. http://www.theses.fr/2019UNIP7163.
Full textIn this thesis, I present the application of software engineering methods and knowledge to the development, maintenance, and evolution of Coq —an interactive proof assistant based on type theory— and its package ecosystem. Coq has been developed at Inria since 1984, but has only more recently seen a surge in its user base, which leads to much stronger concerns about its maintainability, and the involvement of external contributors in the evolution of both Coq, and its ecosystem of plugins and libraries.Recent years have seen important changes in the development processes of Coq, of which I have been a witness and an actor (adoption of GitHub as a development platform, first for its pull request mechanism, then for its bug tracker, adoption of continuous integration, switch to shorter release cycles, increased involvement of external contributors in the open source development and maintenance process). The contributions of this thesis include a historical description of these changes, the refinement of existing processes, and the design of new ones, the design and implementation of new tools to help the application of these processes, and the validation of these changes through rigorous empirical evaluation.Involving external contributors is also very useful at the level of the package ecosystem. This thesis additionally contains an analysis of package distribution methods, and a focus on the problem of the long-term maintenance of single-maintainer packages
Savary-Leblanc, Maxime. "Augmenting software engineers with modeling assistants." Thesis, Université de Lille (2018-2021), 2021. https://pepite-depot.univ-lille.fr/LIBRE/EDMADIS/2021/2021LILUB027.pdf.
Full textDomain knowledge is a prerequisite to produce software design and implementation tailored to stakeholders’ requirements. One common way to formalize that knowledge is achieved through conceptual models, which are commonly used to describe or simulate a system. Acquiring such expertise requires to discuss with knowledgeable stakeholders and/or to get an access to useful documents, which both might not always be easily accessible. In the same time, more and more model samples can be gathered from multiple sources, what represents an increasing number of already formalized and accessible knowledge pieces. For example, some companies keep archives of internal model repositories. There also exist numerous open source projects that contain models while some modeling tools even offer the possibility to create public projects that are free to browse. Such data sources could be exploited to create domain knowledge that could be provided to software engineers while modeling. To be useful, this knowledge must be of high quality, but must also be well integrated into the software modeling process. The focus of this thesis is to provide a framework to exploit knowledge to assist users of computer-based modeling tools with software modeling assistants. This thesis first introduces our research questions based on a systematic mapping study about software assistants for software engineering, and then focuses on software assistants for modeling. It reports on the design of modeling assistants based on a user-centered approach. We present the conclusions of interviews conducted with experts in modeling, a stage in which requirements are collected. Then, we develop the creation of a prototype modeling knowledge base allowing (i) to create general and specific artificial modeling knowledge, and (ii) to make them available to any software client via recommendations. After introducing the results of an experiment regarding the accuracy of the system, we discuss these preliminary results. Finally, this thesis presents a software modeling assistant implementation integrated to the Papyrus tool, which aims to cognify the UML modeling environment by integrating the previously created knowledge. Our work helps to clarify the need for assistance during software modeling work, presents an initial approach to the design of software assistants for software modeling, and identify research challenges in modeling assistance
Delépine, Ludovic. "L'assistance à la navigation hyperdocumentaire : un assistant logiciel d'aide à la recherche de documents visités par un lecteur dans le contexte du Web : une approche sémio-technologique." Dijon, 2003. http://www.theses.fr/2003DIJOS009.
Full textFilou, Vincent. "Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq." Thesis, Bordeaux 1, 2012. http://www.theses.fr/2012BOR14708/document.
Full textThe goal of this work is to build a framework allowing the study, in aformal setting, of the correctness of local computations systems aswell as the expressivity of this model. A local computation system isa set of graph relabelling rules with limited scope, corresponding to a class of distributed algorithms.Our first contribution is the formalisation, in the Coq proofassistant, of a relationnal semantic for local computation systems.This work is based on an original formal graph theory for Coq.Ambiguities inherent to a "pen and paper" definition of local computations are corrected, and we prove that our definition captures all sub-classes of relabelling relations studied in the remainder. We propose a draft of a proof methodology for local computation systems in Coq. Our second contribution is the study of the expressivity of classes of local computations inside our framework. We provide,for instance, a formal proof of D. Angluin results on election and graph coverings. We propose original "meta-theorems" concerningthe LC0 class of local computation, and use these theorem to produce formal impossibility proofs.Finally we study possible transformations of local computation systemsand of their proofs. To this end, we adapt the notion of ForwardSimulation, originally formulated by N. Lynch, to localcomputations. We use this notion to define certified transformationsof LC0 systems. We show how those certified transformation can be useto study the expressivity of certain class of algorithm in ourframework. We define, as certified transformation, two notions ofcomposition for LC0 systems.A Coq library of ~ 50000 lines of code, containing the formal proofs of the theorems presented in the thesis has been produced in collaboration with Pierre Castéran
Lelay, Catherine. "Repenser la bibliothèque réelle de Coq : vers une formalisation de l'analyse classique mieux adaptée." Thesis, Paris 11, 2015. http://www.theses.fr/2015PA112096/document.
Full textReal analysis is pervasive to many applications, if only because it is a suitable tool for modeling physical or socio-economical systems. As such, its support is warranted in proof assistants, so that the users have a way to formally verify mathematical theorems and correctness of critical systems. The Coq system comes with an axiomatization of standard real numbers and a library of theorems on real analysis. Unfortunately, this standard library is lacking some widely used results. For instance, the definitions of integrals and derivatives are based on dependent types, which make them cumbersome to use in practice. This thesis first describes various state-of-the-art libraries available in proof assistants. To palliate the inadequacies of the Coq standard library, we have designed a user-friendly formalization of real analysis: Coquelicot. An easier way of writing formulas and theorem statements is achieved by relying on total functions in place of dependent types for limits, derivatives, integrals, power series, and so on. To help with the proof process, the library comes with a comprehensive set of theorems that cover not only these notions, but also some extensions such as parametric integrals and asymptotic behaviors. Moreover, an algebraic hierarchy makes it possible to apply some of the theorems in a more generic setting, such as complex numbers or matrices. Coquelicot is a conservative extension of the classical analysis of Coq's standard library and we provide correspondence theorems between the two formalizations. We have exercised the library on several use cases: in an exam at university entry level, for the definitions and properties of Bessel functions, and for the solution of the one-dimensional wave equation
Nemouchi, Yakoub. "Model-based Testing of Operating System-Level Security Mechanisms." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLS061/document.
Full textFormal methods can be understood as the art of applying mathematical reasoningto the modeling, analysis and verification of computer systems. Three mainverification approaches can be distinguished: verification based on deductive proofs,model checking and model-based testing.Model-based testing, in particular in its radical form of theorem proving-based testingcite{brucker.ea:2012},bridges seamlessly the gap between the theory, the formal model, and the implementationof a system. Actually,theorem proving based testing techniques offer a possibility to directly interactwith "real" systems: via differentformal properties, tests can be derived and executed on the system under test.Suitably supported, the entire process can fully automated.The purpose of this thesis is to create a model-based sequence testing environmentfor both sequential and concurrent programs. First a generic testing theory basedon monads is presented, which is independent of any concrete program or computersystem. It turns out that it is still expressive enough to cover all common systembehaviours and testing concepts. In particular, we consider here: sequential executions,concurrent executions, synchronised executions, executions with abort.On the conceptual side, it brings notions like test refinements,abstract test cases, concrete test cases,test oracles, test scenarios, test data, test drivers, conformance relations andcoverage criteria into one theoretical and practical framework.In this framework, both behavioural refinement rules and symbolic executionrules are developed for the generic case and then refined and used for specificcomplex systems. As an application, we will instantiate our framework by an existingsequential model of a microprocessor called VAMP developed during the Verisoft-Project.For the concurrent case, we will use our framework to model and test the IPC API of areal industrial operating system called PikeOS.Our framework is implemented in Isabelle/HOL. Thus, our approach directly benefitsfrom the existing models, tools, and formal proofs in this system
Guettala, Abdelheq Et-Tahir. "VizAssist : un assistant utilisateur pour le choix et le paramétrage des méthodes de fouille visuelle de données." Thesis, Tours, 2013. http://www.theses.fr/2013TOUR4017/document.
Full textIn this thesis, we deal with the problem of automating the process of choosing an appropriate visualization and its parameters in the context of visual data mining. To solve this problem, we developed a user assistant "VizAssist" which mainly assist users (experts and novices) during the process of exploration and analysis of their dataset. We illustrate the approach used by VizAssit to help users in the visualization selection and parameterization process. VizAssist proposes a process based on two steps. In the first step, VizAssist collects the user’s objectives and the description of his dataset, and then proposes a subset of candidate visualizations to represent them. In this step, VizAssist suggests a different mapping between the database for representation and the set of visualizations it manages. The second step allows user to adjust the different mappings suggested by the system. In this step, VizAssist uses an interactive genetic algorithm to allow users to visually evaluate and adjust such mappings. We present finally the results that we have obtained during the user evaluation that we performed and the contributions of our tool to accomplish some tasks of data mining
Braun, David. "Approche combinatoire pour l'automatisation en Coq des preuves formelles en géométrie d'incidence projective." Thesis, Strasbourg, 2019. http://www.theses.fr/2019STRAD020.
Full textThis thesis work is part of the general field of computer-assisted proof and is methodologically based. The primary objective of proof assistants is to verify that handwritten demonstration is correct; the question here is how within such a system, it is possible to help a user to make a formal proof of the result in which he is interested. These questions around the verification of proofs, in particular in software certification, and beyond their traceability and readability have indeed become significant with the importance that algorithms have taken on in our society. Obviously, answering the question of proof assistance in all its generality goes far beyond the scope of this thesis. This is why we focus our work on proof in mathematics in a particular framework that is well known in our team: geometry and its formalization in the Coq system. In this field, we first highlight the levels at which we can work, namely the scientific context through the formalization methods but also the methodological and technical context within the Coq proof assistant. In a second step, we try to show how our methods and ideas can be generalized to other disciplines. In this way, we are putting in place the first steps towards effective proof assistance in a simple but omnipresent geometric context. Through a classical approach based on synthetic geometry and a complementary combinatorial approach using the concept of rank from matroid theory, we provide the user with general principles and tools to facilitate the development of formal proof. In this sense, we compare the automation capabilities of these two approaches in the specific context of finite geometries before finally constructing an automatic prover of geometric configurations of incidence
Boudissa, Mehdi. "Réduction virtuelle des fractures complexes du bassin à l'aide du premier simulateur biomécanique patient-spécifique Computer-assisted surgery in acetabular fractures: Virtual reduction of acetabular fracture using the first patient-specific biomechanical model simulator Computer Assisted Surgery in Preoperative Planning of Acetabular Fracture Surgery: State of the Art." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAS038.
Full textL’objectif de cette thèse est de développer et valider une nouvelle méthode de planification pré-opératoire en chirurgie traumatique de l’acetabulum reposant sur un modèle biomécanique patient-spécifique. La première partie de ce travail a consisté en l’élaboration et l’amélioration progressive de ce nouvel outil de planification. La première étape était de générer des modèles tri-dimensionnels de plusieurs fractures acétabulaires à l’aide d’une méthode de segmentation semi-automatique. Dans le même temps, nous avons démontré que les fragments osseux segmentés pouvaient être utile pour classer correctement les fractures acétabulaires par des internes non expérimentés. La seconde étape était de générer un modèle biomécanique patient-spécifique, le plus simplement possible pour pouvoir être compatible avec une pratique clinique régulière. Une revue de la littérature à propos des différentes méthodes de planifications péri-opératoire en traumatologie de l’acetabulum a été réalisée afin d’identifier qu’un nouveau paradigme était nécessaire du fait des limites des méthodes existantes. Une fois les objectifs d’une modélisation biomécanique patient-spécifique définis, une revue de la littérature des différents modèles biomécanique de la hanche a été réalisée pour définir les propriétés biomécaniques des différents éléments à modéliser. Un compromis entre simplicité et comportement réaliste du modèle a été trouvé pour générer un modèle biomécanique patient-spécifique, dans un temps limité, compatible avec une utilisation courante en pratique clinique. Des études cliniques portant sur 14 cas de fractures acétabulaires opérées, puis 29 et finalement 39 cas ont été réalisées pour valider rétrospectivement les simulations biomécaniques. Les résultats montraient une parfaite adéquation avec la réalité. Seuls des logiciels en libre accès, avec leurs faiblesses, étaient utilisés car la fiabilité et la validité de la simulation étaient nécessaires avant d’envisager plus d’investissements. La preuve de concept était donnée. Enfin, une étude clinique prospective a démontré l’efficacité de la simulation biomécanique patient-spécifique et sa faisabilité en pratique clinique quotidienne. Ce travail ouvre la porte à de nouvelles approches en matière de planification chirurgicale et de modélisation patient-spécifique
Books on the topic "Assistant logiciel"
Khawaja, Sarmad. Measuring statistical capacity building: A logical framework approach. [Washington, D.C.]: International Monetary Fund, Statistics Department, 2001.
Find full textBook chapters on the topic "Assistant logiciel"
Chatzikyriakidis, Stergios, and Zhaohui Luo. "Proof Assistants for Natural Language Semantics." In Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016), 85–98. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53826-5_6.
Full textEl-Fiqi, Heba, Kathryn Kasmarik, and Hussein A. Abbass. "Logical Shepherd Assisting Air Traffic Controllers for Swarm UAV Traffic Control Systems." In Unmanned System Technologies, 245–63. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-60898-9_11.
Full text"Operator Assistance." In Why Did the Logician Cross the Road? Bloomsbury Academic, 2021. http://dx.doi.org/10.5040/9781350178946.ch-006.
Full textChoi, Jeeyae, and Yeounsoo Kim-Godwin. "Website for Women Who Abuse Opioids: What Are the Essential Components?" In Studies in Health Technology and Informatics. IOS Press, 2021. http://dx.doi.org/10.3233/shti210757.
Full textInwood, Brad. "6. Logic." In Stoicism: A Very Short Introduction, 88–99. Oxford University Press, 2018. http://dx.doi.org/10.1093/actrade/9780198786665.003.0006.
Full textMaleewong, Krissada, Chutiporn Anutariya, and Vilas Wuwongse. "Enabling Intelligence in Web-Based Collaborative Knowledge Management System." In Mobile and Web Innovations in Systems and Service-Oriented Engineering, 63–82. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-2470-2.ch004.
Full textDobson, Phillip, John Myles, and Paul Jackson. "Making the Case for Critical Realism." In Emerging Systems Approaches in Information Technologies, 329–44. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-976-2.ch019.
Full textDobson, Phillip, John Myles, and Paul Jackson. "Making the Case for Critical Realism." In Information Resources Management, 1894–909. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-61520-965-1.ch702.
Full textZeadally, Sherali. "Audio Streaming to IP-Enabled Bluetooth Devices." In Encyclopedia of Multimedia Technology and Networking, Second Edition, 90–97. IGI Global, 2009. http://dx.doi.org/10.4018/978-1-60566-014-1.ch013.
Full textCopeland, Jack. "Colossus and the Rise of the Modern Computer." In Colossus. Oxford University Press, 2006. http://dx.doi.org/10.1093/oso/9780192840554.003.0017.
Full textConference papers on the topic "Assistant logiciel"
Maiorano, Massimo, and Enrico Sciubba. "Heat Exchangers Networks Synthesis and Optimisation Performed by an Exergy-Based Expert Assistant." In ASME 1999 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 1999. http://dx.doi.org/10.1115/imece1999-0851.
Full textMcVea, William M., and Kamyar Haghighi. "KADS2: A Next Generation Knowledge Aided Design System." In ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/dac-4312.
Full textSrivastava, Shashank, Amos Azaria, and Tom Mitchell. "Parsing Natural Language Conversations using Contextual Cues." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/571.
Full textLiu, Qian, Robert de Simone, Xiaohong Chen, and Jing Liu. "Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress." In 2020 International Conference on Embedded Software (EMSOFT). IEEE, 2020. http://dx.doi.org/10.1109/emsoft51651.2020.9244041.
Full textLiu, Qian, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, and Hui Wang. "Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System." In 2020 27th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 2020. http://dx.doi.org/10.1109/apsec51365.2020.00050.
Full textCastro, Elena, Dolores Cuadra, Paloma Martinez, and Ana Iglesias. "Integrating Intelligent Methodological and Tutoring Assistance in a CASE Platform: The PANDORA Experience." In 2002 Informing Science + IT Education Conference. Informing Science Institute, 2002. http://dx.doi.org/10.28945/2458.
Full textWada, S. I., and T. Nakamura. "Automatic Fault Tracing Using an E-Beam Tester with Reference to a Good Sample." In ISTFA 1997. ASM International, 1997. http://dx.doi.org/10.31399/asm.cp.istfa1997p0243.
Full textXu, Q. L., S. K. Ong, and A. Y. C. Nee. "Design Synthesis and Evaluation in a Design Reuse System." In ASME 2005 International Mechanical Engineering Congress and Exposition. ASMEDC, 2005. http://dx.doi.org/10.1115/imece2005-79463.
Full textYedidiah, S. "The Potential of Using CFD in Order to Design Better Centrifugal Pumps." In ASME 2008 International Mechanical Engineering Congress and Exposition. ASMEDC, 2008. http://dx.doi.org/10.1115/imece2008-66141.
Full textMenzel, Thaddäus, and Thiago de Borba. "Methodology for Automated Definition of Critical Scenarios." In FISITA World Congress 2021. FISITA, 2021. http://dx.doi.org/10.46720/f2020-acm-073.
Full textReports on the topic "Assistant logiciel"
Reproductive decisionmaking in the context of HIV/AIDS in Ndola, Zambia. Population Council, 1999. http://dx.doi.org/10.31899/rh1999.1018.
Full text