Relevant bibliographies by topics / Assistant logiciel

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Assistant logiciel'

Author: Grafiati
Published: 20 May 2022
Last updated: 30 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

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"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

Ribaud, 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 text
APA, Harvard, Vancouver, ISO, and other styles
3

Donin, Nicolas, and Jacques Theureau. "L’atelier d’un réalisateur en informatique musicale." Circuit 18, no. 1 (2008): 31–38. http://dx.doi.org/10.7202/017906ar.

Full text
Abstract:
Résumé Cet entretien avec Gilbert Nouno interroge le travail quotidien d’un assistant musical (ou réalisateur en informatique musicale). En février 2007, Nouno achevait une collaboration avec Xavier Dayer pour son oeuvre Delights (pour choeur, ensemble et électronique) et poursuivait une collaboration au long cours avec Jonathan Harvey à l’occasion de deux oeuvres : Wagner Dream et une nouvelle oeuvre pour orchestre. Ces projets impliquent des modalités de collaboration variées (périodicité, type d’implication du compositeur dans l’informatique, etc.) et divers usages du logiciel Max/MSP et de
APA, Harvard, Vancouver, ISO, and other styles
4

Kuehni, Morgane, and Julie Tiberghien. "Introduction d’un logiciel de gestion dans les services sociaux." Réseaux N° 249-250, no. 1-2 (2025): 247–75. https://doi.org/10.3917/res.249.0247.

Full text
Abstract:
Cet article s’appuie sur une étude ethnographique de dix mois, menée au sein de cinq services sociaux en Suisse romande. Il vise à explorer les reconfigurations du travail des assistantes sociales et assistants sociaux par le biais de l’introduction d’un logiciel de gestion en 2021. Il analyse les conséquences de la numérisation du travail sur les pratiques professionnelles quotidiennes, explorant les contraintes que le dispositif numérique impose et les effets qu’il suscite, notamment les sentiments de surveillance et de contrôle chez les professionnels. En son cœur, l’article révèle les arra
APA, Harvard, Vancouver, ISO, and other styles
5

Chaix, 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 (2020): 17–21. http://dx.doi.org/10.3166/pson-2020-0113.

Full text
Abstract:
Objectif : Le chatbot est un logiciel qui utilise l’apprentissage statistique et a pour objectif de simuler une conversation par message textuel ou vocal. Le chatbot Vik a été développé dans le but d’améliorer la qualité de vie des patients atteints d’un cancer ou d’une maladie chronique. L’objectif de cette étude pilote est de mesurer l’humeur de patients atteints d’un cancer du sein, avant et après accompagnement par le chatbot Vik. Matériel et méthodes : Les patients ont été recrutés lors de la première utilisation de Vik. Ils ont été triés en fonction des critères d’inclusion (âge > 18
APA, Harvard, Vancouver, ISO, and other styles
6

Chandrakar, 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 (2018): 124. http://dx.doi.org/10.5430/ijhe.v7n3p124.

Full text
Abstract:
This exploratory study critically investigates the teaching assistant regulations of higher education institutions of China. On the basis of content analysis of the teaching assistant regulations of five premier universities of China this study analyses the possible discrepancies that might compromise the principles of transparency, equal opportunity and encouraging excellence as stipulated in the vision, mission, and goal of the regulations. Teacher assistants do make more than two third of the academic staff at the universities in China. Besides, China has a second largest higher education s
APA, Harvard, Vancouver, ISO, and other styles
7

Rocha, Berenice I. "Language Assistant Programs and CLIL: Developing and Validating Questionnaires to Determine Program Training Needs." Journal of Language Teaching and Research 16, no. 2 (2025): 359–70. https://doi.org/10.17507/jltr.1602.01.

Full text
Abstract:
Research on language assistants in content and language integrated learning (CLIL) classrooms in the context of Spain has been scarce. Given the unique, demanding nature of CLIL instruction, more investigation into the implementation of language assistant programs in CLIL using validated research tools is essential. Therefore, this paper outlines the process for developing and validating questionnaires created to analyze the perceptions and training needs of language assistants, CLIL teachers, and bilingual program coordinators in relation to effectively implementing language assistant program
APA, Harvard, Vancouver, ISO, and other styles
8

Shazhaev, Ilman, Dmitry Mikhaylov, Abdulla Shafeeg, Arbi Tularov, and Islam Shazhaev. "Personal Voice Assistant: from Inception to Everyday Application." Indonesian Journal of Data and Science 4, no. 2 (2023): 64–72. http://dx.doi.org/10.56705/ijodas.v4i2.69.

Full text
Abstract:
The creation of automatic speech recognition systems is a popular trend in the development of information technology. These technologies are developing at a very fast pace, gradually covering more and more areas: already now we can say how firmly they have settled in our lives. The term "speech technologies" means a fairly large layer of information technologies, but one of the most advanced products in this area is a voice assistant, which includes the use of all types of speech technologies: speech recognition, speech synthesis, a system for developing and analyzing voice information, and vo
APA, Harvard, Vancouver, ISO, and other styles
9

Niu, Yue, Jonathan Sterling, Harrison Grodin, and Robert Harper. "A cost-aware logical framework." Proceedings of the ACM on Programming Languages 6, POPL (2022): 1–31. http://dx.doi.org/10.1145/3498670.

Full text
Abstract:
We present calf , a c ost- a ware l ogical f ramework for studying quantitative aspects of functional programs. Taking inspiration from recent work that reconstructs traditional aspects of programming languages in terms of a modal account of phase distinctions , we argue that the cost structure of programs motivates a phase distinction between intension and extension . Armed with this technology, we contribute a synthetic account of cost structure as a computational effect in which cost-aware programs enjoy an internal noninterference property: input/output behavior cannot depend on cost. As a
APA, Harvard, Vancouver, ISO, and other styles
10

St 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 text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Assistant logiciel"

1

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 text
Abstract:
Aujourd'hui, les logiciels de simulation sont devenus de plus en plus performants. Notamment, la methode des elements finis est de plus en plus utilisee pour determiner les caracteristiques ou bien encore pour optimiser un systeme. Cependant l'emploi de cette methode necessite des connaissances et de l'experience dans le domaine des techniques numeriques et de la physique du probleme traite. Afin de faciliter l'acces a la methode des elements finis, il a ete entrepris de realiser un logiciel d'aide aux utilisateurs. Apres avoir etudier differentes methodes, le choix s'est porte sur un assistan
APA, Harvard, Vancouver, ISO, and other styles
2

Zimmermann, 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 text
Abstract:
Dans cette thèse, je présente l'application de méthodes et de connaissances en génie logiciel au développement, à la maintenance et à l'évolution de Coq —un assistant de preuve interactif basé sur la théorie des types— et de son écosystème de paquets. Coq est développé chez Inria depuis 1984, mais sa base d’utilisateurs n’a cessé de s’agrandir, ce qui suscite désormais une attention renforcée quant à sa maintenabilité et à la participation de contributeurs externes à son évolution et à celle de son écosystème de plugins et de bibliothèques.D'importants changements ont eu lieu ces dernières ann
APA, Harvard, Vancouver, ISO, and other styles
3

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 text
Abstract:
La connaissance du domaine est une condition préalable à la conception et à la mise en œuvre de logiciels adaptés aux exigences des parties prenantes. Une façon courante de formaliser cette connaissance est réalisée par des modèles conceptuels, qui sont couramment utilisés pour décrire ou simuler un système. L'acquisition d'une telle expertise nécessite de discuter avec des parties prenantes bien informées et/ou d'avoir accès à des documents utiles, qui ne sont pas toujours facilement accessibles. Dans le même temps, de plus en plus d'échantillons de modèles peuvent être rassemblés à partir de
APA, Harvard, Vancouver, ISO, and other styles
4

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 text
APA, Harvard, Vancouver, ISO, and other styles
5

Zucchini, Rébecca. "Bibliothèque certifiée en Coq pour la provenance des données." Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG040.

Full text
Abstract:
La présente thèse se situe à l'intersection des méthodes formelles et des bases de données, et s'intéresse à la formalisation de la provenance des données à l'aide de l'assistant de preuve Coq. L'étude de la provenance des données, qui permet de retracer leur origine et leur historique, est essentielle pour assurer la qualité des données, éviter les interprétations erronées et favoriser la transparence dans le traitement des données. La thèse propose ainsi la formalisation de deux types de provenance des données couramment utilisés, la How-provenance et la Where-provenance. Cette formalisation
APA, Harvard, Vancouver, ISO, and other styles
6

Filou, 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 text
Abstract:
L'objectif de cette thèse est de produire un environnement permettant de raisonner formellement sur la correction de systèmes de calculs locaux, ainsi que sur l'expressivité de ce modèle de calcul. Pour ce faire, nous utilisons l'assistant de preuve Coq. Notre première contribution est la formalisation en Coq de la sémantique des systèmes de réétiquetage localement engendrés, ou calculs locaux. Un système de calculs locaux est un système de réétiquetage de graphe dont la portée est limitée. Nous proposons donc tout d'abord une implantation succincte de la théorie des graphes en Coq, et utiliso
APA, Harvard, Vancouver, ISO, and other styles
7

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 text
Abstract:
L'analyse réelle a de nombreuses applications car c'est un outil approprié pour modéliser de nombreux phénomènes physiques et socio-économiques. En tant que tel, sa formalisation dans des systèmes de preuve formelle est justifié pour permettre aux utilisateurs de vérifier formellement des théorèmes mathématiques et l'exactitude de systèmes critiques. La bibliothèque standard de Coq dispose d'une axiomatisation des nombres réels et d'une bibliothèque de théorèmes d'analyse réelle. Malheureusement, cette bibliothèque souffre de nombreuses lacunes. Par exemple, les définitions des intégrales et d
APA, Harvard, Vancouver, ISO, and other styles
8

Mouhcine, Houda. "Formal Proofs in Applied Mathematics : A Coq Formalization of Simplicial Lagrange Finite Elements." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPASG112.

Full text
Abstract:
Cette thèse est dédiée au développement de preuves formelles de théorèmes et propositions mathématiques dans le domaine de l'analyse réelle, en utilisant l'assistant de preuve Coq pour garantir leur exactitude. Le cœur de ce travail est divisé en deux parties principales.La première partie se concentre sur l'utilisation de Coq pour formaliser des principes mathématiques clés tels que le principe d'induction de Lebesgue et le théorème de Tonelli, permettant le calcul d'intégrales doubles sur des espaces produits en intégrant de manière itérative par rapport à chaque variable. Ce travail s'appui
APA, Harvard, Vancouver, ISO, and other styles
9

Nemouchi, Yakoub. "Model-based Testing of Operating System-Level Security Mechanisms." Thesis, Université Paris-Saclay (ComUE), 2016. http://www.theses.fr/2016SACLS061/document.

Full text
Abstract:
Le test à base de modèle, en particulier test basé sur des assistants à la preuve, réduit de façon transparente l'écart entre la théorie, le modèle formel, et l’implémentation d'un système informatique. Actuellement, les techniques de tests offrent une possibilité d'interagir directement avec de "vrais" systèmes : via différentes propriétés formelles, les tests peuvent être dérivés et exécutés sur le système sous test. Convenablement, l'ensemble du processus peut être entièrement automatisé. Le but de cette thèse est de créer un environnement de test de séquence à base de modèle pour les progr
APA, Harvard, Vancouver, ISO, and other styles
10

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 text
Abstract:
Nous nous intéressons dans cette thèse au problème de l’automatisation du processus de choix et de paramétrage des visualisations en fouille visuelle de données. Pour résoudre ce problème, nous avons développé un assistant utilisateur "VizAssist" dont l’objectif principal est de guider les utilisateurs (experts ou novices) durant le processus d’exploration et d’analyse de leur ensemble de données. Nous illustrons, l’approche sur laquelle s’appuie VizAssit pour guider les utilisateurs dans le choix et le paramétrage des visualisations. VizAssist propose un processus en deux étapes. La première
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Assistant logiciel"

1

Khawaja, Sarmad. Measuring statistical capacity building: A logical framework approach. International Monetary Fund, Statistics Department, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Morrison, Thomas K., and Sarmad Khawaja. Measuring Statistical Capacity Building: A Logical Framework Approach. International Monetary Fund, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Morrison, Thomas K., and Sarmad Khawaja. Measuring Statistical Capacity Building: A Logical Framework Approach. International Monetary Fund, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Morrison, Thomas K., and Sarmad Khawaja. Measuring Statistical Capacity Building: A Logical Framework Approach. International Monetary Fund, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Handbook of Research on Investigations in Artificial Life Research and Development. IGI Global, 2018.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Brown, Christopher D. Crash Course in Technology Planning. ABC-CLIO, LLC, 2016. http://dx.doi.org/10.5040/9798400633102.

Full text
Abstract:
This easy-to-use primer will empower anyone—even those with no IT background—to face the challenge of adding one or more technologies to library services or maintaining existing technologies. Most of the public libraries in the United States are operating on tight budgets without allocation for IT personnel; in school libraries, the librarian often takes on the lion's share of IT responsibility. This book is an invaluable guide for library staff members who are put in the position of maintaining their own networks and computers with very little training or support. Authored by an assistant lib
APA, Harvard, Vancouver, ISO, and other styles
7

Horan, Timothy. Create Your School Library Writing Center. ABC-CLIO, LLC, 2016. http://dx.doi.org/10.5040/9798400633164.

Full text
Abstract:
Colleges typically have writing centers to which students can bring their writing assignments to a peer tutor for assistance, but most high schools and middle schools do not. This book advocates for the creation of writing centers in 7–12 schools and explains why the school library is the best place for the writing center. There is a glaring absence of writing centers in today's K–12 schools. More and more students are being asked in college entrance testing to submit samples of their writing, and employers are expecting their workers to write correctly and clearly. This book addresses the cri
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Assistant logiciel"

1

Chatzikyriakidis, Stergios, and Zhaohui Luo. "Proof Assistants for Natural Language Semantics." In Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016). Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-53826-5_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

El-Fiqi, Heba, Kathryn Kasmarik, and Hussein A. Abbass. "Logical Shepherd Assisting Air Traffic Controllers for Swarm UAV Traffic Control Systems." In Unmanned System Technologies. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-60898-9_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Nirmala Devi, K., Pinaka Pani Kasetty, Surya Prakash Kukati, and Srikanth Kolakani. "IoT Based Logical Smart Glove Design with Voice Assistance to Support Deaf and Dumb People." In Lecture Notes in Electrical Engineering. Springer Nature Singapore, 2025. https://doi.org/10.1007/978-981-96-3694-5_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Maemura, Yu Oliver. "Jijodoryoku: The Spirit of Self-Help in Development Cooperation." In The Semantics of Development in Asia. Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-97-1215-1_9.

Full text
Abstract:
AbstractJijodoryoku “self-help effort” is a central and prominent ODA policy concept that undoubtedly resonates amongst policymakers and industry stakeholders in Japan. However, attempts to systematically define and operationalize the concept are noticeably lacking within the development assistance literature. What such a policy principle entails in terms of its impact on, or coherence with, institutional practice, program design, or project logic, is worthy of critical examination. This chapter critically re-examines and attempts to refine the definition of jijodoryoku as a policy principle,
APA, Harvard, Vancouver, ISO, and other styles
5

Chan, Jonathan, and Stephanie Weirich. "Stratified Type Theory." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-91118-7_10.

Full text
Abstract:
Abstract A hierarchy of type universes is a rudimentary ingredient in the type theories of many proof assistants to prevent the logical inconsistency resulting from combining dependent functions and the type-in-type axiom. In this work, we argue that a universe hierarchy is not the only option for universes in type theory. Taking inspiration from Leivant’s Stratified System F, we introduce Stratified Type Theory (), where rather than stratifying universes by levels, we stratify typing judgements and restrict the domain of dependent functions to strictly lower levels. Even with type-in-type, th
APA, Harvard, Vancouver, ISO, and other styles
6

"Operator Assistance." In Why Did the Logician Cross the Road? Bloomsbury Academic, 2021. http://dx.doi.org/10.5040/9781350178946.ch-006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Dingli Alexiei, Abela Charlie, and D'Ambrogio Ilenia. "A Pervasive Assistant for Hospital Staff." In Ambient Intelligence and Smart Environments. IOS Press, 2011. https://doi.org/10.3233/978-1-60750-795-6-751.

Full text
Abstract:
Owing to the increasing population health needs, the ratio of nurses and doctors to patients keeps diminishing, yet the quality in healthcare services is expected to rise. PINATA seeks to tackle this matter through the merging of Ambient Intelligence (AmI) and semantic web technologies. The quality of healthcare services is enhanced by the use of pervasive devices to help doctors and nurses to concentrate on the patient. In this paper we discuss similar AmI system architectures; sum up the physical and logical design of PINATA; give details of the knowledgebase modelled in RDF/S and the ontolo
APA, Harvard, Vancouver, ISO, and other styles
8

Tharpe, Kimberly. "Assisting Teachers With Grieving Students." In Advances in Educational Marketing, Administration, and Leadership. IGI Global, 2024. http://dx.doi.org/10.4018/979-8-3693-1375-6.ch007.

Full text
Abstract:
The educational setting has provided students with supports in the event of emotional struggles such as grief. Teachers are often the first individual a student seeks for support and some understanding. This chapter involves dividing the content into logical, structured sections that guide educators and counselors through understanding the role of the school, school counselors and teachers when effectively assisting grieving students. Issues of grief associated with the impact of COVID and the school will be addressed. A brief theoretical background examining relational developmental systems (
APA, Harvard, Vancouver, ISO, and other styles
9

Schlichtkrull Anders. "Formalization of Algorithms and Logical Inference Systems in Proof Assistants." In Frontiers in Artificial Intelligence and Applications. IOS Press, 2015. https://doi.org/10.3233/978-1-61499-589-0-188.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Ciabattoni Agata, Vetterlein Thomas, and Adlassnig Klaus-Peter. "A Formal Logical Framework for Cadiag-2." In Studies in Health Technology and Informatics. IOS Press, 2009. https://doi.org/10.3233/978-1-60750-044-5-648.

Full text
Abstract:
Cadiag-2—where “Cadiag” stands for “computer-assisted diagnosis”— is an expert system based on fuzzy logic assisting in the differential diagnosis in internal medicine. With its aid, it is possible to derive from possibly vague information about a patient's symptoms, signs, laboratory test results, and clinical findings conjectures about present diseases. In this paper, we provide a mathematical formalization of the inferential mechanism of Cadiag-2. The aim is to have a formal logical calculus at hand which corresponds to the mode of
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Assistant logiciel"

1

Geetha, R., S. Kalpana, R. Roopa Chandrika, M. Preetha, P. Santhoshini, and Ezhil E. Nithila. "An Advanced Decentralized Architecture enabled Logical Identity based Encryption Logic using Blockchain Assistance." In 2024 4th International Conference on Intelligent Technologies (CONIT). IEEE, 2024. http://dx.doi.org/10.1109/conit61985.2024.10626801.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

S, Arvinthan D., Gugan K, Kalaimanivel K. A, and Kumar P. "Smart Industrial Automation System Using Logical Sensors with IoT Assistance." In 2023 3rd International Conference on Pervasive Computing and Social Networking (ICPCSN). IEEE, 2023. http://dx.doi.org/10.1109/icpcsn58827.2023.00188.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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 text
Abstract:
Abstract This paper presents a novel method for the design of “optimal” (or quasi-optimal) HEN. The method consists of an Expert System (“ES”) based on a small number of powerful and strongly selective heuristic rules. The important contribution of this study does not lie in the formulation of the rules, that have been adapted from the existing literature, but in their expression as logical propositions, and in their subsequent implementation in a prototype ES that performs interactively with the user. It is not unusual to find chemical processes with as many as 100 interacting streams, and ev
APA, Harvard, Vancouver, ISO, and other styles
4

Schroeder, Gustavo Lazarotto, Leonardo dos Santos Paula, Rosemary Francisco, and Jorge Luis Victória Barbosa. "A-Track: An Ontological Approach to Assisting Anxiety Management." In Simpósio Brasileiro de Computação Aplicada à Saúde. Sociedade Brasileira de Computação - SBC, 2025. https://doi.org/10.5753/sbcas.2025.6928.

Full text
Abstract:
Anxiety, a natural survival mechanism, becomes chronic under modern stressors, escalating into chronic disorders with multifaceted health impacts. While early detection is crucial, healthcare systems struggle with scalability. This study introduces the A-Track Ontology, a digital tool designed to model anxiety through personalized context histories. Validated through logical consistency, domain coverage, and utility assessments, the ontology synthesizes multimodal data into actionable insights for proactive intervention. Integrating ontological reasoning with real-world context awareness, this
APA, Harvard, Vancouver, ISO, and other styles
5

McVea, 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 text
Abstract:
Abstract Research has been conducted in the areas of design methodology, automation and use of knowledge based systems as a tool to improve the design efficiency, accuracy and consistency for mechanical power transmissions. The research capitalized on previous work related to component level design synthesis and analysis. The next logical step in the research progression was to look into system development and integration of design synthesis and analysis tools. Deliverables from this research include new knowledge acquisition techniques, a more complete model of design information flow and dev
APA, Harvard, Vancouver, ISO, and other styles
6

Srivastava, Shashank, Amos Azaria, and Tom Mitchell. "Parsing Natural Language Conversations using Contextual Cues." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/571.

Full text
Abstract:
In this work, we focus on semantic parsing of natural language conversations. Most existing methods for semantic parsing are based on understanding the semantics of a single sentence at a time. However, understanding conversations also requires an understanding of conversational context and discourse structure across sentences. We formulate semantic parsing of conversations as a structured prediction task, incorporating structural features that model the `flow of discourse' across sequences of utterances. We create a dataset for semantic parsing of conversations, consisting of 113 real-life se
APA, Harvard, Vancouver, ISO, and other styles
7

Liu, 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 text
APA, Harvard, Vancouver, ISO, and other styles
8

Liu, Qian, Robert de Simone, Xiaohong Chen, et al. "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 text
APA, Harvard, Vancouver, ISO, and other styles
9

Wakatani, Akiyoshi, and Toshiyuki Maeda. "Prototype Advisory System for Learning C Programming Using Generative AI." In 15th International Conference on Education and Educational Psychology. Emanate Publishing House Ltd., 2024. https://doi.org/10.70020/eesh.2024.12.5.

Full text
Abstract:
The technology of generative AI using LLM (Large Language Models) has made remarkable progress, and attempts to apply the technology of program code generation to programming education have attracted much attention. In this paper, we evaluate the suitability of a virtual TA (Teaching Assistant) system for beginner-level learners using OpenAI’s API, which takes C programs with errors and error messages as input to the LLM and outputs appropriate advice. Among the programming errors, the proposed system was generally effective in generating appropriate advice for syntactic and semantic errors, w
APA, Harvard, Vancouver, ISO, and other styles
10

Castro, 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 text
Abstract:
Database Design discipline involves so different aspects as conceptual and logical modelling knowledge or domain understanding. That implies a great effort to carry out the real world abstraction task and represent it through a data model. CASE tools emerge in order to automating the database development process. These platforms try to help to the database designer in different database design phases. Nevertheless, this tools are frequently mere diagrammers and do not carry completely out the design methodology that they are supposed to support; furthermore, they do not offer intelligent metho
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Assistant logiciel"

1

Reproductive decisionmaking in the context of HIV/AIDS in Ndola, Zambia. Population Council, 1999. http://dx.doi.org/10.31899/rh1999.1018.

Full text
Abstract:
Family planning (FP) programs are increasingly being considered as a logical focal point for STD and HIV/AIDS prevention services because they serve large numbers of women at risk, address the sensitive issue of sexual behavior and fertility control, and the methods for preventing unwanted pregnancy and disease can be the same. FP programs, by providing contraceptive methods, are currently one of the few sources of assistance in the sub-Saharan African region for preventing perinatal transmission of HIV, while the promotion of barrier methods contributes to the prevention of heterosexual trans
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Assistant logiciel' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography