Log in

Relevant bibliographies by topics / Assistant logiciel / Journal articles

To see the other types of publications on this topic, follow the link: Assistant logiciel.

Journal articles 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 top 50 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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

11

Ceulemans, Joris, Andreas Nuyts, and Dominique Devriese. "BiSikkel: A Multimode Logical Framework in Agda." Proceedings of the ACM on Programming Languages 9, POPL (2025): 210–40. https://doi.org/10.1145/3704844.

Full text

Abstract:

Embedding Multimode Type Theory (MTT) as a library enables the usage of additional reasoning principles in off-the-shelf proof assistants without risking soundness or compatibility. Moreover, by interpreting embedded MTT terms in an internally constructed model of MTT, we can extract programs and proofs to the metalanguage and obtain interoperability between the embedded language and the metalanguage. The existing Sikkel library for Agda achieves this for Multimode Simple Type Theory (MSTT) with an internal presheaf model of dependent MTT. In this work, we add, on top of the simply-typed layer

APA, Harvard, Vancouver, ISO, and other styles

12

Guha, Joy. "Student Assistant: Bot Acting as a Students Personal Assistant." International Journal for Research in Applied Science and Engineering Technology 9, no. VI (2021): 317–28. http://dx.doi.org/10.22214/ijraset.2021.34743.

Full text

Abstract:

Chat-bots assistant area of computer programs coded to possess a matter or verbal spoken language that is logical or intelligent. Chat-bots area unit designed to create humans believe that they're reprimand a human; however instead they're actually reprimand a machine. Taking advantage of this transparency property of chat-bot, a man-made character and temperament may be given to a chat-bot that acts sort of a person of a particular profession. This paper describes AN approach the concept of implementing “STUDENT ASSISTANT” a larva can solve several issues associated with students studies or t

APA, Harvard, Vancouver, ISO, and other styles

13

Fleurquin, Régis, and Chouki Tibermacine. "Une assistance pour l'évolution des logiciels à base de composants." L'objet 13, no. 1 (2007): 9–44. http://dx.doi.org/10.3166/objet.13.1.9-44.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

ADARSH H J, Bhaskar Reddy P.V, Suhasini S Hosamani, Sharat S K, and Pavana Shivaram. "Health Care Chatbot Assistant System." Journal of Advanced Zoology 44, S6 (2023): 998–1003. http://dx.doi.org/10.17762/jaz.v44is6.2335.

Full text

Abstract:

Rasa stack consists of many open source AI apparatuses solely utilized in plan to make a logical chatbot. It consists of incredible APIs embedded along the Rasa stack that incorporates Natural language understanding. It incorporates the sack of words calculation helping in streamlining portrayl utilized in measurable displaying and AI stages and furthermore trend setting innovation. The proposed framework is to make an option in contrast to this ordinary strategy for visiting a clinic and making a meeting with a specialist to get analysis. From the user queries chatbot will, predicts the infec

APA, Harvard, Vancouver, ISO, and other styles

15

Mendes, Jorge, Emanuel Peres, Filipe Neves dos Santos, et al. "VineInspector: The Vineyard Assistant." Agriculture 12, no. 5 (2022): 730. http://dx.doi.org/10.3390/agriculture12050730.

Full text

Abstract:

Proximity sensing approaches with a wide array of sensors available for use in precision viticulture contexts can nowadays be considered both well-know and mature technologies. Still, several in-field practices performed throughout different crops rely on direct visual observation supported on gained experience to assess aspects of plants’ phenological development, as well as indicators relating to the onset of common plagues and diseases. Aiming to mimic in-field direct observation, this paper presents VineInspector: a low-cost, self-contained and easy-to-install system, which is able to meas

APA, Harvard, Vancouver, ISO, and other styles

16

Kuokka, 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 (1995): 135–44. http://dx.doi.org/10.1017/s0890060400002171.

Full text

Abstract:

AbstractThe Explorer parametric design assistant, an interactive tool that provides intelligent support for searching concurrent-engineering trade-spaces under multiple, conflicting objectives, is described. The system provides a convenient means for specifying multiple, cross-disciplinary constraints in terms of tables, formulas, and logical sentences. Based on these data, the system performs interactive constraint checking, computes feasible designs, and provides graphical analysis facilities, allowing users to compare designs based on multiple criteria. As a first application, Explorer has

APA, Harvard, Vancouver, ISO, and other styles

17

Paiva, José Carlos, José Paulo Leal, and Álvaro Figueira. "Incremental Repair Feedback on Automated Assessment of Programming Assignments." Electronics 14, no. 4 (2025): 819. https://doi.org/10.3390/electronics14040819.

Full text

Abstract:

Automated assessment tools for programming assignments have become increasingly popular in computing education. These tools offer a cost-effective and highly available way to provide timely and consistent feedback to students. However, when evaluating a logically incorrect source code, there are some reasonable concerns about the formative gap in the feedback generated by such tools compared to that of human teaching assistants. A teaching assistant either pinpoints logical errors, describes how the program fails to perform the proposed task, or suggests possible ways to fix mistakes without r

APA, Harvard, Vancouver, ISO, and other styles

18

BINDER, ROBERT V., and JEFFREY J. P. TSAI. "KB/RMS: AN INTELLIGENT ASSISTANT FOR REQUIREMENT DEFINITION." International Journal on Artificial Intelligence Tools 01, no. 04 (1992): 503–22. http://dx.doi.org/10.1142/s021821309200003x.

Full text

Abstract:

In this paper, we present a conceptual framework and a system model for an intelligent assistant for requirement definition, KB/RMS. The requirement definition process is characterized by the Requirement Context Model. Informal and formal methods for requirement definition are considered in the light of this model, which serves as the logical schema for the KB/RMS database. We summarize conventional and knowledge-based system support for requirement definition. The use of natural language processing, a semantic model of the problem and solution spaces, domain and technology models, inference d

APA, Harvard, Vancouver, ISO, and other styles

19

Poiret, Josselin, Gaëtan Gilbert, Kenji Maillard, et al. "All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants." Proceedings of the ACM on Programming Languages 9, POPL (2025): 2253–81. https://doi.org/10.1145/3704912.

Full text

Abstract:

Proof assistants based on dependent type theory, such as Coq, Lean and Agda, use different universes to classify types, typically combining a predicative hierarchy of universes for computationally-relevant types, and an impredicative universe of proof-irrelevant propositions. In general, a universe is characterized by its sort, such as Type or Prop, and its level, in the case of a predicative sort. Recent research has also highlighted the potential of introducing more sorts in the type theory of the proof assistant as a structuring means to address the coexistence of different logical or compu

APA, Harvard, Vancouver, ISO, and other styles

20

Van Muylder, Antoine, Andreas Nuyts, and Dominique Devriese. "Internal and Observational Parametricity for Cubical Agda." Proceedings of the ACM on Programming Languages 8, POPL (2024): 209–40. http://dx.doi.org/10.1145/3632850.

Full text

Abstract:

Two approaches exist to incorporate parametricity into proof assistants based on dependent type theory. On the one hand, parametricity translations conveniently compute parametricity statements and their proofs solely based on individual well-typed polymorphic programs. But they do not offer internal parametricity: formal proofs that any polymorphic program of a certain type satisfies its parametricity statement. On the other hand, internally parametric type theories augment plain type theory with additional primitives out of which internal parametricity can be derived. But those type theories

APA, Harvard, Vancouver, ISO, and other styles

21

Valliammai, V. "Memory Assistance." Memory Assistance 9, no. 1 (2024): 11. https://doi.org/10.5281/zenodo.10499769.

Full text

Abstract:

It is worth noting that lifestyle changes can have adverse effects on people's health, and amnesia is  one of the health issues that may arise. Amnesia is char- acterized by the partial or complete loss of memory,  caused by factors such as brain injury, disease, or psycho- logical trauma, which can cause difficulty in recalling  past events or forming new memories. To address this, a  research paper suggests a system called "Memory Assis- tance" that includes features like face recognition, games,  to-do lists, memory albums, and diaries to promote inde- pendence for

APA, Harvard, Vancouver, ISO, and other styles

22

Huang, Zhouli, Ying Zhou, Tommy Tanu Wijaya, and Ke Yan. "Improve The Logical Reasoning Ability of Primary School Students by Using Video Learning Assistant Teaching." Journal on Education 3, no. 4 (2021): 329–39. http://dx.doi.org/10.31004/joe.v3i4.396.

Full text

Abstract:

Under the current situation of epidemic prevention and control, to ensure the continuous progress of student learning, Chinese Ministry of Education put forward the initiative of "suspension of classes without suspension of school". Primary and secondary schools have adopted online learning at home for students to "open schools in the cloud. There is a big difference between online learning and classroom learning. In this process, problems such as increased teaching burden of teachers, lack of interaction between teachers and students, and students' lack of active learning are also exposed. Vi

APA, Harvard, Vancouver, ISO, and other styles

23

Couture-Charron, Fanny May, Roxanne Dion, François Paradis, Geneviève Desaulnier, and Nathalie Chenel. "Optimisation du parcours du médicament à la suite de l’implantation du nouveau logiciel informatique GESPHARx8." Pharmactuel 58, no. 1 (2025): 43–47. https://doi.org/10.63209/2025.1574.

Full text

Abstract:

Objectif : Optimiser le circuit du médicament, de la numérisation des ordonnances jusqu’à l’envoi aux unités de soins de l’Hôpital régional de Rimouski. Description de la problématique : L’implantation d’un nouveau système d’information en pharmacie nécessite un changement des pratiques pouvant augmenter les délais de traitement des ordonnances. L’évaluation du circuit du médicament apparaît essentielle afin de cibler les éléments limitants et d’améliorer les processus de travail. Résolution de la problématique : Une collecte de données prospective consistait à noter l’heure d’envoi des médica

APA, Harvard, Vancouver, ISO, and other styles

24

Tzvetkova, Galia V. "ROBONAUT 2: MISSION, TECHNOLOGIES, PERSPECTIVES." Journal of Theoretical and Applied Mechanics 44, no. 1 (2014): 97–102. http://dx.doi.org/10.2478/jtam-2014-0006.

Full text

Abstract:

Abstract The paper focuses on key aspects of scientific and techno- logical solutions implemented in the joint project of NASA and General Motors, Robonaut 2, a humanoid robot designed to work in space as a real assistant to astronauts.

APA, Harvard, Vancouver, ISO, and other styles

25

Timany, Amin, Armaël Guéneau, and Lars Birkedal. "The Logical Essence of Well-Bracketed Control Flow." Proceedings of the ACM on Programming Languages 8, POPL (2024): 575–603. http://dx.doi.org/10.1145/3632862.

Full text

Abstract:

A program is said to be well-bracketed if every called function must return before its caller can resume execution. This is often the case. Well-bracketedness has been captured semantically as a condition on strategies in fully abstract games models and multiple prior works have studied well-bracketedness by showing correctness/security properties of programs where such properties depend on the well-bracketed nature of control flow. The latter category of prior works have all used involved relational models with explicit state-transition systems capturing the relevant parts of the control flow

APA, Harvard, Vancouver, ISO, and other styles

26

Kaldanova, Gülüm. "MEDICINE OF THE FUTURE: ARTIFICIAL INTELLIGENCE AS A DOCTOR'S ASSISTANT TOOL." Eurasian Science Review An International peer-reviewed multidisciplinary journal 1, no. 3 (2025): 2238–50. https://doi.org/10.63034/esr-381.

Full text

Abstract:

The modern era is an era of development. Today is a time of rapid advancement in science and technology. Innovations are entering all spheres of society, and the standard of living has improved. The main feature of this era is the dominance of information technologies, which are fundamentally changing human life. This article is focused on the development of the healthcare sector through the use of artificial intelligence, in line with the demands of the modern age. With the advancement of digital literacy, mastering the direction of artificial intelligence and simplifying the work of doctors

APA, Harvard, Vancouver, ISO, and other styles

27

Kowalski, R. "Reflections on the role of logical frameworks in the management of development assistance." International Journal of Management Practice 2, no. 4 (2007): 297. http://dx.doi.org/10.1504/ijmp.2007.012747.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Widerski, Paweł. "The Legal Framework for Assisting Displaced Persons from Ukraine in Meeting Their Housing Needs in Poland Introduced by the Act of March 12, 2022 on Assistance to Citizens of Ukraine in Connection with the Armed Conflict in the Territory of That State." Juridical Tribune - Review of Comparative and International Law 14, no. 1 (2024): 60–82. http://dx.doi.org/10.62768/tbj/2024/14/1/04.

Full text

Abstract:

The article presents the issue of assistance to displaced persons from Ukraine in meeting their housing needs in Poland, which is provided on the basis of a special act dated March 12, 2022 regarding assistance to citizens of Ukraine in connection with the armed conflict in the territory of that state. The aim of the article is to discuss this specific legal regulation with subsequent assessment of its effectiveness in meeting the housing needs of displaced Ukrainians who settled in Poland due to the armed conflict in their country. Logical-linguistic and comparative legal methods are used her

APA, Harvard, Vancouver, ISO, and other styles

29

Romanov, S. F. "Analysis of functionality requirements for digital assistant software of Arctic offshore drilling platforms." Transactions of the Krylov State Research Centre S-I, no. 2 (2021): 66–69. http://dx.doi.org/10.24937/2542-2324-2021-2-s-i-66-69.

Full text

Abstract:

This paper describes the study intended to work out functionality requirements of a digital assistant software for Arctic offshore drilling platforms. The study followed the method of logical analysis. The criteria used to formulate key requirements to the software functionality were based on the interview with competent experts working at marine drilling platforms and chosen as per their respective work experience in offshore drilling. Arctic developments have become especially relevant in the last years because oil and gas reserves of the Eastern Siberia and mainland fields in the Russian No

APA, Harvard, Vancouver, ISO, and other styles

30

Əzizxan oğlu Eyyubov, Ramazan, Leyla Elxan qızı Bayramova, and Zeynəb Mirsəməd qızı Sadıqova. "Computer architecture and John von Neumann principles." SCIENTIFIC WORK 15, no. 2 (2021): 11–15. http://dx.doi.org/10.36719/2663-4619/63/11-15.

Full text

Abstract:

The program is stored in the machine's memory from any external device. The control device organizes its execution, taking into account the program in memory. The mathematical-logical device performs mathematical and logical calculations in accordance with the entered commands. Thus, the computer performs calculations without human assistance. Key words: computer, software, device, information, scheme

APA, Harvard, Vancouver, ISO, and other styles

31

Yan-Ling, Li, Fang Mao-Fa, and Zeng Ke. "One scheme for remote quantum logical gates with the assistance of a classical field." Chinese Physics B 19, no. 1 (2010): 010307–5. http://dx.doi.org/10.1088/1674-1056/19/1/010307.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

KIRCHNER, DANIEL, CHRISTOPH BENZMÜLLER, and EDWARD N. ZALTA. "MECHANIZING PRINCIPIA LOGICO-METAPHYSICA IN FUNCTIONAL TYPE-THEORY." Review of Symbolic Logic 13, no. 1 (2019): 206–18. http://dx.doi.org/10.1017/s1755020319000297.

Full text

Abstract:

AbstractPrincipia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory (inspired by ideas of Ernst Mally, formalized by Zalta) that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintro

APA, Harvard, Vancouver, ISO, and other styles

33

Sanford, John F., and Jaideep T. Naidu. "Mathematical Modeling And Computational Thinking." Contemporary Issues in Education Research (CIER) 10, no. 2 (2017): 158–68. http://dx.doi.org/10.19030/cier.v10i2.9925.

Full text

Abstract:

The paper argues that mathematical modeling is the essence of computational thinking. Learning a computer language is a valuable assistance in learning logical thinking but of less assistance when learning problem-solving skills. The paper is third in a series and presents some examples of mathematical modeling using spreadsheets at an advanced level such as high school or early college.

APA, Harvard, Vancouver, ISO, and other styles

34

Sebastian, Danny, and Kristian Adi Nugraha. "IMPROVING LOGICAL THINKING COMPETENCE USING GAMES FOR HIGH SCHOOL STUDENTS." Servirisma 3, no. 1 (2023): 1–9. http://dx.doi.org/10.21460/servirisma.2023.31.31.

Full text

Abstract:

Online learning makes students bored and lazy. This condition requires teachers to think of other ways of teaching and learning activities. Gamification is a learning method using games as a teaching and learning tool. This service uses games on the code.org website application to increase high school-level students' interest in learning. In addition to gamification, several methods are applied to increase students' interest in learning, one of which is by providing personal assistance. The method applied was considered successful in increasing the interest and focus of the participants.

APA, Harvard, Vancouver, ISO, and other styles

35

Supardi, Moh, and Frans Sayogie. "The Logical Pattern of Argument: A Case Study of National University Debating Championship." Elsya : Journal of English Language Studies 4, no. 1 (2022): 65–76. http://dx.doi.org/10.31849/elsya.v4i1.8466.

Full text

Abstract:

In academic field, argument is an essential factor of understanding statements. In this regard, the present paper aims to analyse National University Debate Contest (NUDC) 2016 using Toulmin model argumentative structure and its relation with the implied meaning from National University Debate Contest. This paper employs descriptive qualitative analysis to examine the logical pattern of arguments through linguistic expressions that occurred in the debate. The data were taken from NUDC in Mercu Buana University focusing on (part 1) the statement of the government proponent (Bina Nusantara Unive

APA, Harvard, Vancouver, ISO, and other styles

36

Antony Vigil M S. "Integration of Retrieval-Augmented Generation and Multimodal Technologies for Advanced Virtual Research Assistants." Journal of Information Systems Engineering and Management 10, no. 37s (2025): 716–29. https://doi.org/10.52783/jisem.v10i37s.6508.

Full text

Abstract:

Researchers now rely on AI-powered IVRAs for a wide range of tasks, including providing instantaneous access to research resources and general academic support. When it comes to complicated, multimodal data and providing personalised, context-sensitive replies, however, current technologies can be inadequate. This study investigates potential solutions to these problems by combining multimodal technology with Retrieval-Augmented Generation (RAG). The RAG assistant can find the right information and put it together in a logical way since it uses generative models in addition to information retr

APA, Harvard, Vancouver, ISO, and other styles

37

TREU, SIEGFRIED. "RECOGNITION OF LOGICAL INTERFACE STRUCTURES TO ENHANCE HUMAN-COMPUTER INTERACTION." International Journal of Pattern Recognition and Artificial Intelligence 03, no. 02 (1989): 217–36. http://dx.doi.org/10.1142/s0218001489000176.

Full text

Abstract:

The objects of pattern recognition have in the past been primarily physical in nature, describable in terms of some physical units of measurement. The patterns of interest in this paper are conceptual or logical. They are to be representative of structures known to be operative in the human mind. A hybrid technique is proposed, involving the use of structural prototypes from pattern recognition combined with production systems from artificial intelligence. The purpose is to enable the computer interface to observe, detect, identify and anticipate conceptual structures. As a result, the interfa

APA, Harvard, Vancouver, ISO, and other styles

38

Stašys, Rimantas, and Gintautas Virketis. "Conceptual models of emergency management." Management Theory and Studies for Rural Business and Infrastructure Development 36, no. 3 (2014): 644–52. http://dx.doi.org/10.15544/mts.2014.061.

Full text

Abstract:

The essence of emergency medical assistance management comprise: accident and disease prevention, preparation to act in case of accident or disease, quick response and treatment. The point of entire emergency assistance management is to reduce the number of deaths and disabil ty. The purpose of research is to review the components of emergency medical assistance, generalise and teoretically compare the emergency medical assistance management models, which are used worldwide. For evaluation of emergency medical assistance structure, there are used systematic given practice regulating documentat

APA, Harvard, Vancouver, ISO, and other styles

39

Warsitasari, Wahyu Dwi, and Imam Rofiki. "UTILIZING GEOGEBRA FOR SOLVING ECONOMIC MATHEMATICS PROBLEMS: PROMOTING LOGICAL REASONING IN PROBLEM-BASED LEARNING." AKSIOMA: Jurnal Program Studi Pendidikan Matematika 12, no. 3 (2023): 3445. http://dx.doi.org/10.24127/ajpm.v12i3.7300.

Full text

Abstract:

Logical reasoning is very important to be used by as the basis of creative activities such as creating or applying mathematical concepts in the real world. By implementing Problem-Based Learning (PBL) with GeoGebra's assistance, logical reasoning abilities can be developed. This research intends to investigate the effect of utilizing GeoGebra to support PBL on students' capacity for logical reasoning while addressing economic mathematics problems. This study employed a quantitative method with one group pretest-posttest quasi-experimental research design. GeoGebra was used in classroom instruc

APA, Harvard, Vancouver, ISO, and other styles

40

Berraouna, Abdelkader. "Developing A New Model for Context-Awareness in Ambient Intelligence." Global Journal of Computer Sciences: Theory and Research 13, no. 2 (2023): 92–108. http://dx.doi.org/10.18844/gjcs.v13i2.9196.

Full text

Abstract:

Ontologies are a powerful way to model context, thanks to their expressiveness, ability to share knowledge, support for logical inference, and extensibility. While there are many generic ontology that capture and represent general context concepts, such as the SOCAM and CoOL projects, they are not tailored specifically for ambient intelligence and smart homes. This research aims to develop a specific ontology for these domains, building on existing generic ontologies and incorporating logical inference capabilities to assist people with reduced mobility and the elderly in carrying out their da

APA, Harvard, Vancouver, ISO, and other styles

41

KADJI-NGASSAM, Martial Tangui. "The role of public actors in the business models of open source collaborative projects (free software): a case study in Cameroon and France." Cahiers du cedimes 18, no. 2 (2023): 29–47. https://doi.org/10.69611/cahiers18-2-02.

Full text

Abstract:

Free software projects and communities (open source) are closely followed by the scientific community. In this open-source domain dominated by large commercial companies such as Microsoft or SAP, the role of public actors has not yet been sufficiently explored by previous works. As part of this research, we offer two case studies of open-source projects in France and Cameroon. Our work shows, in a comparative way and with varying proportions, how public actors can effectively contribute to the development and adoption of open-source software through public commissioning, research and developme

APA, Harvard, Vancouver, ISO, and other styles

42

Prasetyono, Rizki Noor, and Rito Cipta Sigitta Hariyono. "Pengaruh Flipbook Gerbang Logika dengan Menggunakan Livewire Terhadap Kemampuan Berpikir Logis Mahasiswa Teknik Informatika." Joined Journal (Journal of Informatics Education) 2, no. 2 (2020): 50. http://dx.doi.org/10.31331/joined.v2i2.927.

Full text

Abstract:

The purpose of the research to explain how the effect of the use of logic gates flipbook using livewire against logical thinking ability of students. The research subjects were informatics engineering students who took digital circuit courses in semester 6 of 2018/2019. The research design was pre-experimental design with one group pretest-posttest type. From the results of simple regression data using SPSS that is obtained p Value Sig. 0,000 <0,05, which means that the use of flipbook logic gates using livewire has an effect on the ability to think logically in informatics engineering stud

APA, Harvard, Vancouver, ISO, and other styles

43

Lie, Yann, Pablo Ortiz, Richard Vendamme, Karolien Vanbroekhoven, and Thomas J. Farmer. "BioLogicTool: A Simple Visual Tool for Assisting in the Logical Selection of Pathways from Biomass to Products." Industrial & Engineering Chemistry Research 58, no. 35 (2019): 15945–57. http://dx.doi.org/10.1021/acs.iecr.9b00575.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Habibah, Siti Maizul. "PENGUATAN KEMAMPUAN BERPIKIR LOGIS PADA GURU-GURU PPKn DI MGMP MAGETAN." Jurnal ABDI: Media Pengabdian Kepada Masyarakat 7, no. 1 (2021): 50. http://dx.doi.org/10.26740/ja.v7n1.p50-59.

Full text

Abstract:

Logical thinking is a way of thinking that leads a person to be able to make correct statements and decisions based on logic and rationale. This skill is indispensable in communicating and writing scientific papers. Based on preliminary observations made, this is one of the obstacles experienced by PPKn teachers in Magetan in scientific writing. Therefore, through this logical thinking exercise, efforts were made to strengthen the logical thinking skills of teachers who are members of the MGMP PPKn Magetan. In accordance with that, the purpose of this service activity is to increase teacher un

APA, Harvard, Vancouver, ISO, and other styles

45

Gregersen, Simon Oddershede, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, and Lars Birkedal. "Asynchronous Probabilistic Couplings in Higher-Order Separation Logic." Proceedings of the ACM on Programming Languages 8, POPL (2024): 753–84. http://dx.doi.org/10.1145/3632868.

Full text

Abstract:

Probabilistic couplings are the foundation for many probabilistic relational program logics and arise when relating random sampling statements across two programs. In relational program logics, this manifests as dedicated coupling rules that, e.g., say we may reason as if two sampling statements return the same value. However, this approach fundamentally requires aligning or "synchronizing" the sampling statements of the two programs which is not always possible. In this paper, we develop Clutch, a higher-order probabilistic relational separation logic that addresses this issue by supporting a

APA, Harvard, Vancouver, ISO, and other styles

46

Sun, Jingru, Zerui Li, Meiqi Jiang, and Yichuang Sun. "Efficient Data Transfer and Multi-Bit Multiplier Design in Processing in Memory." Micromachines 15, no. 6 (2024): 770. http://dx.doi.org/10.3390/mi15060770.

Full text

Abstract:

Processing in Memory based on memristors is considered the most effective solution to overcome the Von Neumann bottleneck issue and has become a hot research topic. The execution efficiency of logical computation and in-memory data transmission is crucial for Processing in Memory. This paper presents a design scheme for data transmission and multi-bit multipliers within MAT (a data storage set in MPU) based on the memristive alternating crossbar array structure. Firstly, to improve the data transfer efficiency, we reserve the edge row and column of the array as assistant cells for OR AND (OA)

APA, Harvard, Vancouver, ISO, and other styles

47

Tulchinskii, V. V., V. I. Tulchinskii, S. I. Kondratyev, and A. L. Boran-Keshishian. "Automatic assistance system for visual control of targets." Journal of Physics: Conference Series 2061, no. 1 (2021): 012076. http://dx.doi.org/10.1088/1742-6596/2061/1/012076.

Full text

Abstract:

Abstract The article discusses the possibility of creating a system for automating the process of searching and assessing the danger of targets using machine vision and existing ship systems. The technologies for processing images from the ship’s camera system are analyzed: object recognition by a ready-made convolutional neural retrained network, as well as object detection by SURF algorithms. The parameters of the danger of goals within the framework of the problem to be solved have been analyzed and developed, and a structural analysis has been elaborated. The functionality of the automatic

APA, Harvard, Vancouver, ISO, and other styles

48

Ignatenko, Evgeniy A., Anzhelika I. Lyakhova, Elena F. Lukyanchikova, Irina V. Savelieva, and Galina V. Starodubova. "International Standards for the Safety of Persons Assisting in Criminal Justice." Cuestiones Políticas 37, no. 65 (2020): 74–81. http://dx.doi.org/10.46398/cuestpol.3865.05.

Full text

Abstract:

The objective of the research was to analyze some international standards for the safety of people who attend criminal justice from different approaches and perspectives of analysis. Based on a meaningful analysis of the provisions of international and regional regulatory legal acts, the document presents approaches to the formation of standards to ensure the safety of persons who contribute to criminal justice. Methodologically, the work applied the provisions of dialectics, general, special and particular scientific methods. In the course of the study, scientific-historical, formal-legal, fo

APA, Harvard, Vancouver, ISO, and other styles

49

Tchigirinsky, Julius, Nadezhda Gribanova, Alina Gontar, and Nataly Chigirinskaya. "Multidimensional Model of Product Quality Formation." MATEC Web of Conferences 346 (2021): 01006. http://dx.doi.org/10.1051/matecconf/202134601006.

Full text

Abstract:

Based on the analysis of the functional capabilities of modern information systems, the paper substantiates the applicability of multidimensional combined information structures for computer-assistant planning in machinery production. A multidimensional optimization model has been developed for elementary technological surface-treatment routing in the case of using complex quality indicators determined by the operational properties of products. The dimensions of its coordinate space are determined by the number of technical constraints that govern the quality of the product. The paper provides

APA, Harvard, Vancouver, ISO, and other styles

50

Coulibaly, Issa, Sylvestre Traoré, Seydou L. Coulibaly, Zeynab H. Sita, Mohamed S. Traoré, and Saibou Maiga. "Connaissances, attitudes et pratiques des pharmaciens dans l’utilisation de tableaux de bords appliqués à la gestion des stocks de médicaments au niveau des officines privées de pharmacie de Bamako, Mali." Journal Africain de Technologie Pharmaceutique et Biopharmacie (JATPB) 2, no. 1 (2023): 36–41. http://dx.doi.org/10.57220/jatpb.v2i1.43.

Full text

Abstract:

Résumé L’objet de ce travail a porté sur les connaissances, les attitudes et les pratiques des pharmaciens dans l’utilisation du tableau de bord dans la gestion des stocks dans les officines de pharmacie. Il s’agissait d’une étude descriptive et transversale qui s’est déroulée de mars 2022 mars 2023 dans 60 Officines privées du district de Bamako. L’étude était portée sur les pharmaciens titulaires et assistants. La population fut interrogée à l’aide de questionnaire fiches d’enquêtes. L’analyse des données a été faite avec le logiciel SPSS.20, le traitement de texte et la saisie sur Mic

APA, Harvard, Vancouver, ISO, and other styles

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!