Conecte-se

Bibliografias temáticas / GRAFIK (Computer program language) / Artigos de revistas

Siga este link para ver outros tipos de publicações sobre o tema: GRAFIK (Computer program language).

Artigos de revistas sobre o tema "GRAFIK (Computer program language)"

Autor: Grafiati

Publicado: 25 de julho de 2024

Última modificação: 31 de julho de 2025

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 50 melhores artigos de revistas para estudos sobre o assunto "GRAFIK (Computer program language)".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.

1

Tito. "Pengembangan Modul Pembelajaran Desain Kemasan Dengan Menggunakan Sofware Coreldraw X4 Pada Mata Kuliah Desain Grafis." Jurnal Sains Informatika Terapan 1, no. 3 (2022): 138–43. http://dx.doi.org/10.62357/jsit.v1i3.106.

Texto completo da fonte

Resumo:

Research begins with the development of computer technology in particular has been used as a medium of learning Packaging Design Using CorelDraw programs in various fields of one form of education in the field of Fine Arts Visual Communication Design Study Program. This requires education student majoring in Fine Arts Communication Design Visual Languages and Arts Faculty, State University of Padang to be able to utilize these technologies in the field of Packaging Design, as computer technology has become a necessity for people, especially in the field of product design food packaging and log

Estilos ABNT, Harvard, Vancouver, APA, etc.

2

Mutijah, Mutijah, and Ulfah Rulli Hastuti. "PENGEMBANGAN BUKU PANDUAN PRAKTIKUM BERBASIS SOFTWARE R PADA MATA KULIAH PRAKTIKUM APLIKASI STATISTIK PENDIDIKAN." AXIOM : Jurnal Pendidikan dan Matematika 11, no. 1 (2022): 69. http://dx.doi.org/10.30821/axiom.v11i1.11002.

Texto completo da fonte

Resumo:

<div class="WordSection1"><p class="AfiliasiCxSpFirst">Buku panduan praktikum berbasis <em>software open source R</em> dipandang penting pada program studi yang masih baru dan memiliki mata kuliah praktikum. Salah satu mata kuliah praktikum pada Program Studi Tadris Matematika FTIK IAIN Purwokerto adalah Praktikum Aplikasi Statistik Pendidikan. Proses penyelenggaraan pembelajaran mata kuliah tersebut memerlukan laboratorium komputer lengkap dengan perangkat lunak atau <em>software</em> dan buku panduan praktikum untuk mendukung kelancaran pelaksanaannya. Pen

Estilos ABNT, Harvard, Vancouver, APA, etc.

3

Pitaloka, Diah, Onie Wiwid Jayanthi, Ary Giri Dwi Kartika, Ashari Wicaksono, Muh Syaifullah, and Irsyadatul Fikriah. "Pengolahan Data Arus Laut menggunakan Bahasa Program R." Buletin Oseanografi Marina 12, no. 2 (2023): 231–42. http://dx.doi.org/10.14710/buloma.v12i2.49511.

Texto completo da fonte

Resumo:

Penggunaan bahasa pemrograman merupakan salah satu dari penerapan kemudahan teknologi, melalui pemrosesan, pengolah, serta analisis data ,berupa output data yang jelas dan akurat secara cepat dan relevan. Bahasa program R dinilai cukup baik sebagai alat simulasi model, baik melalui kemampuan kalkulasi dan manipulasi data, maupun pada kemampuan peragaan grafik dan visualisasi data. Tujuan dari penelitian ini ialah mengetahui tahapan pengolahan data arus menggunakan bahasa program R. Keunggulan bahasa pemrograman tersebut ialah bersifat open source dan dapat digunakan untuk mengolah big data. Pe

Estilos ABNT, Harvard, Vancouver, APA, etc.

4

Karn, Helen E., and MacEnglish. "Pronunciation Plus (Computer Program)." TESOL Quarterly 30, no. 1 (1996): 176. http://dx.doi.org/10.2307/3587618.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

5

Solomon, Gabriela R., and Ford Language Institute. "The American Accent Program (Computer Program, Version 4.0)." TESOL Quarterly 27, no. 4 (1993): 774. http://dx.doi.org/10.2307/3587425.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

6

McMinn, Mark R., and James D. Foster. "A Computer Program to Teach Nonsexist Language." Teaching of Psychology 18, no. 2 (1991): 115–17. http://dx.doi.org/10.1207/s15328023top1802_16.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

7

Reps and Teitelbaum. "Language Processing in Program Editors." Computer 20, no. 11 (1987): 29–40. http://dx.doi.org/10.1109/mc.1987.1663414.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

8

Yalcin, Hatice, and Murat Demirekin. "Training Program Supporting Language Acquisition." International Journal of Modern Education and Computer Science 13, no. 3 (2021): 1–12. http://dx.doi.org/10.5815/ijmecs.2021.03.01.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

9

Schetz, Katherine F. "Computer-Aided Language/Concept Enrichment in Kindergarten." Language, Speech, and Hearing Services in Schools 20, no. 1 (1989): 2–10. http://dx.doi.org/10.1044/0161-1461.2001.02.

Texto completo da fonte

Resumo:

A model program for language/concept enrichment was set up with 22 kindergarten students as participants. A total screening score during routine kindergarten screenings relative to the areas of articulation, language and concepts was low for each of these students, but not low enough to recommend indepth diagnostic testing. The objective of the program was to demonstrate the role of the speech-language pathologist as consultant, an alternate service delivery model for public school speech-language services. Language/concept enrichment was provided by volunteers using four educational software

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

Underwood, John, Keith Cameron, Theo Bongaerts, Pieter de Haan, Sylvia Lobbe, and Herman Wekker. "Computer Assisted Language Learning: Program Structure and Principles." Modern Language Journal 74, no. 4 (1990): 511. http://dx.doi.org/10.2307/328534.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

11

Walczyk, Jeffrey J. "A computer program for constructing language comprehension tests." Computers in Human Behavior 9, no. 1 (1993): 113–16. http://dx.doi.org/10.1016/0747-5632(93)90026-o.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

12

Wolach, Allen H. "Developing a computer program to facilitate language training." Computers in Human Behavior 10, no. 4 (1994): 541–57. http://dx.doi.org/10.1016/0747-5632(94)90046-9.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

13

Baniassad, Elisa, and Clayton Myers. "An exploration of program as language." ACM SIGPLAN Notices 44, no. 10 (2009): 547–56. http://dx.doi.org/10.1145/1639949.1640132.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

Van Merriënboer, Jeroen J. G., and Marcel B. M. De Croock. "Strategies for Computer-Based Programming Instruction: Program Completion vs. Program Generation." Journal of Educational Computing Research 8, no. 3 (1992): 365–94. http://dx.doi.org/10.2190/mjdx-9pp4-kfmt-09pm.

Texto completo da fonte

Resumo:

Two instructional strategies were implemented in a two-and-a-half hour computer-based training program that was designed to teach elementary turtle graphics programming techniques to novice undergraduate students ( N = 40). Learning activities that either emphasized the completion of existing programs or the generation of new programs were studied for the two strategies. In the completion group, the information needed to perform the program completion tasks appeared to be largely available in the to-be-completed programs; in the generation group, students frequently had to search for useful ex

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

Baughan, Carolyn E. "Daedalus Integrated Writing Environment (Computer Program)." TESOL Quarterly 29, no. 2 (1995): 395. http://dx.doi.org/10.2307/3587635.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

Jacobs, Paul S. "TRUMP: A transportable language understanding program." International Journal of Intelligent Systems 7, no. 3 (1992): 245–76. http://dx.doi.org/10.1002/int.4550070303.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

Sulzmann, Martin, and Răzvan Voicu. "Language-Based Program Verification via Expressive Types." Electronic Notes in Theoretical Computer Science 174, no. 7 (2007): 129–47. http://dx.doi.org/10.1016/j.entcs.2006.10.041.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

18

Amrullah, Amrullah, and Mutasar Mutasar. "Membangun Framework Repository Source Code Algoritma Komputer pada Platform Web." JURNAL TIKA 5, no. 3 (2021): 105–9. http://dx.doi.org/10.51179/tika.v5i3.87.

Texto completo da fonte

Resumo:

Era Revolusi Industri 4.0 programmer dihadirkan platform CMS, Web builder yang mempercepat pembuatan program seperti create templete responsive/dinamis, CRUD dan grafik namun belum adanya framework untuk membangun source code pada platform web yang memecahkan alur proses pada sebuah algoritma sehingga akan membantu programmer/peneliti dalam menyelesaikan masalah aritmatika/logical proses pada sebuah algoritma/metode jika di-implementasikan kedalam source code platform web HTML, PHP, CSS. Urgensi permasalahan ini harus adanya sistem repository yang menyediakan source code algoritma komputer mel

Estilos ABNT, Harvard, Vancouver, APA, etc.

19

Jones, Mark P., and Iavor S. Diatchki. "Language and program design for functional dependencies." ACM SIGPLAN Notices 44, no. 2 (2009): 87–98. http://dx.doi.org/10.1145/1543134.1411298.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

20

Sklenar, Ivan. "Programming language assessments using the program profiles." ACM SIGPLAN Notices 20, no. 4 (1985): 80–86. http://dx.doi.org/10.1145/988316.988324.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

21

Zuidema, Johan, Gellof Kanselaar, H. Wichmann, M. Giezeman, L. Koster, and J. van der Veen. "Vrue Taalprodukties En De Computer." Computer-ondersteund talenonderwijs 33 (January 1, 1989): 33–39. http://dx.doi.org/10.1075/ttwia.33.05zui.

Texto completo da fonte

Resumo:

In second language teaching a great deal of attention is paid to the learning of communicative skills. The computer program PRESTIGE (Productive and Receptive English, a Smart Tutor and Intelligent Generator of Exercises) subscribes to the views currently held in communicative language teaching. Among these are learning the meaning of a word through deduction of the word's meaning from contexts, and emphasizing the use of productive language. The computer program PRESTIGE, written in PROLOG, consists of several parts: A parser, which checks if syntax, spelling and inflection of pupils' input s

Estilos ABNT, Harvard, Vancouver, APA, etc.

22

Leidy, Judy, Ann Burke, Anne Merkel, and Marlin Howard. "Using Computer Assisted Instruction in an ESL Language Program." IALLT Journal of Language Learning Technologies 15, no. 1 (2019): 13–24. http://dx.doi.org/10.17161/iallt.v15i1.9074.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

23

Sarkisyan, A. A., and Yu G. Shukuryan. "Program testing technology based on specification language." Cybernetics 26, no. 6 (1991): 795–804. http://dx.doi.org/10.1007/bf01069487.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

24

Ensink, Brian, Joel Stanley, and Vikram Adve. "Program Control Language: a programming language for adaptive distributed applications." Journal of Parallel and Distributed Computing 63, no. 11 (2003): 1082–104. http://dx.doi.org/10.1016/s0743-7315(03)00117-5.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

25

Vistein, Michael, Frank Ortmeier, Wolfgang Reif, Ralf Huuck, and Ansgar Fehnker. "An Abstract Specification Language for Static Program Analysis." Electronic Notes in Theoretical Computer Science 254 (October 2009): 181–97. http://dx.doi.org/10.1016/j.entcs.2009.09.066.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

26

Su, Zejia, Qingnan Fan, Xuelin Chen, Oliver Van Kaick, Hui Huang, and Ruizhen Hu. "Scene-Aware Activity Program Generation with Language Guidance." ACM Transactions on Graphics 42, no. 6 (2023): 1–16. http://dx.doi.org/10.1145/3618338.

Texto completo da fonte

Resumo:

We address the problem of scene-aware activity program generation, which requires decomposing a given activity task into instructions that can be sequentially performed within a target scene to complete the activity. While existing methods have shown the ability to generate rational or executable programs, generating programs with both high rationality and executability still remains a challenge. Hence, we propose a novel method where the key idea is to explicitly combine the language rationality of a powerful language model with dynamic perception of the target scene where instructions are ex

Estilos ABNT, Harvard, Vancouver, APA, etc.

27

Ravari, Navid Rostami, Rodziah Latih, and Abdullah Mohd Zin. "Multi-Language Program Understanding Tool." International Journal on Advanced Science, Engineering and Information Technology 13, no. 4 (2023): 1554. http://dx.doi.org/10.18517/ijaseit.13.4.18019.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

28

Telap, Cherry, Benny Pinontoan, and Jullia Titaley. "Derivation of Quantum Guarded Command Language Program for Average." d'CARTESIAN 4, no. 2 (2015): 163. http://dx.doi.org/10.35799/dc.4.2.2015.9055.

Texto completo da fonte

Resumo:

Has conducted research to determine the derivation of quantum guarded command language (qGCL) program for average. Initially calculation of average value was made in guaded command language (GCL) which is then implemented on a digital computer into the Pascal programming language. Furthermore GCL to calculate the average value was analyzed again to be made in the quantum guarded command language (qGCL). qGCL implementation is on a quantum computer is a future computer could perform calculations very quickly because it uses a superposition state is referred to as quantum bits (qubits). Keywords

Estilos ABNT, Harvard, Vancouver, APA, etc.

29

Irfayanti, Yulia, and Nitha Rahayu. "Analisa dan Pengembangan Sistem Persediaan Gudang Online pada PT. Dumo Diagnostik Indonesia." SENTINEL 3, no. 1 (2020): 221–30. http://dx.doi.org/10.56622/sentineljournal.v3i1.19.

Texto completo da fonte

Resumo:

PT Dumo Diagnostik Indonesia bergerak dalam bidang supplier alat-alat kesehatan. Saat inisistem stok gudang yang berjalan, masih memiliki banyak kekurangan dan kelemahan yangmenyebabkan kinerja perusahaan menjadi terhambat dan belum mampu menunjang segalakebutuhan yang diinginkan perusahaan seperti info stok terupdate khususnya untuk bagianmarketing, laporan barang masuk dan barang keluar. Tujuan penulisan ini untuk mempelajari,menganalisis, merancang dang mengimplementasikan Program Website untuk Gudang padaPT Dumo Diagnostik Indonesia dengan menggunakan PHP dan MySQL. Perangkat lunakyang dik

Estilos ABNT, Harvard, Vancouver, APA, etc.

30

Irshad, Mufeeda, Merel Keijzer, Martijn Wieling, and Marjolijn Verspoor. "Effectiveness of a dynamic usage based computer assisted language program." Dutch Journal of Applied Linguistics 8, no. 2 (2019): 137–62. http://dx.doi.org/10.1075/dujal.16018.irs.

Texto completo da fonte

Resumo:

Abstract The current paper explores whether a Dynamic Usage Based (DUB) approach – which takes authentic meaningful language use with repetition and scaffolding for comprehension as its basis – can also be implemented in a CALL environment. The effectiveness of the DUB-CALL program was tested in a semester-long experiment, comparing it with a teacher-fronted DUB program (using the same materials as the CALL program) and a traditional CLT program; 228 university undergraduates in Sri Lanka participated. Language gains were assessed in a pre-post design with an objective General English Proficie

Estilos ABNT, Harvard, Vancouver, APA, etc.

31

Mustaqim, Rosyadi. "Analis Trend Kepesertaan Program BPJS Ketenagakerjaan Cabang Pangkal Pinang Tahun 2013-2018." Holistic Journal of Management Research 5, no. 1 (2021): 26–37. http://dx.doi.org/10.33019/hjmr.v5i1.1754.

Texto completo da fonte

Resumo:

Tenga kerja merupakan salah satu faktor produksi yang mempunya peranan paling penting serta sebagai subjek dalam proses produksi guna menghasilkan barang dan jasa yang menjadi kebutuhan masyarakat dalam kegiatan ekonomi. Oleh karena itu, untuk menjamin kesejahteraan bagi tenaga kerja diperlukan adanya program jaminan sosial. Dalam hal ini peranan pemerintah sangat penting untuk menjalankan program jaminan sosial tenaga kerja yang diselenggarakan oleh Badan Penyelenggara Jaminan Sosial Ketenagakerjaan Cabang Pangkal Pinang. Penelitian ini bertujuan untuk mengatahui trend perkembangan kepesertaa

Estilos ABNT, Harvard, Vancouver, APA, etc.

32

Lomax, A. "The suitability of language syntaxes for program generation." ACM SIGPLAN Notices 22, no. 3 (1987): 95–101. http://dx.doi.org/10.1145/24697.24707.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

33

De Niel, Anne, Eddy Bevers, and Karel De Vlaminck. "Program bifurcation for a polymorphically typed functional language." ACM SIGPLAN Notices 26, no. 9 (1991): 142–53. http://dx.doi.org/10.1145/115866.115880.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

34

Hoch, Frances S. "COMPUTER LITERACY AN THE FOREIGN LANGUAGE TEACHER." CALICO Journal 3, no. 1 (2013): 17–19. http://dx.doi.org/10.1558/cj.v3i1.17-19.

Texto completo da fonte

Resumo:

This article is based on a presentation at CALICO '85. It discusses the problems inherent in making teachers computer literate. It then describes a staff development program for foreign language teachers in North Carolina which introduces them to the potential of CAI for foreign language instruction by providing hands-on experience with the computer which is directly applicable to this instructional area.

Estilos ABNT, Harvard, Vancouver, APA, etc.

35

Takalo, Ronald. "LANGUAGE TEST GENERATOR." CALICO Journal 2, no. 4 (2013): 45–46. http://dx.doi.org/10.1558/cj.v2i4.45-46.

Texto completo da fonte

Resumo:

The computer can be especially useful for constructing foreign language and ESL tests from a data bank. Once established and saved to disk, the computer can quickly write a random order test complete with answer blanks and answer key. The program described here can serve as a template to create tests for many subjects and items, being easily modifiable by anyone with a modicum of programming experience.

Estilos ABNT, Harvard, Vancouver, APA, etc.

36

Shelekhov, Vladimir Ivanovich. "TRANSFORMATION AND VERIFICATION OF THE OS PROGRAM SORTING DEVICES IN A COMPUTER BUS." System Informatics, no. 18 (2021): 1–34. http://dx.doi.org/10.31144/si.2307-6410.2021.n18.p1-34.

Texto completo da fonte

Resumo:

The transformation and verification of the bus_sort_breadthfirst program, which belongs to the Linux OS kernel and implements sorting of devices are described. The C program is transformed into the cP language performing macros unfolding, structure changes, and elimination of pointers. Transformed program is translated into the WhyML functional language. For the received program, a specification is constructed. Deductive verification is carried out in the tool Why3.

Estilos ABNT, Harvard, Vancouver, APA, etc.

37

Sharvelle, Derek J. "A BASIC language computer program for intraocular lens power calculations." American Intra-Ocular Implant Society Journal 11, no. 4 (1985): 400–405. http://dx.doi.org/10.1016/s0146-2776(85)80074-4.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

38

Gallimore, R. M. "UMIST OBJ: a Language for Executable Program Specifications." Computer Journal 32, no. 5 (1989): 413–21. http://dx.doi.org/10.1093/comjnl/32.5.413.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

39

Gillam, Ronald B. "Computer-Assisted Language Intervention Using Fast ForWord®." Language, Speech, and Hearing Services in Schools 30, no. 4 (1999): 363–70. http://dx.doi.org/10.1044/0161-1461.3004.363.

Texto completo da fonte

Resumo:

A computer-assisted language intervention program called Fast ForWord® (Scientific Learning Corporation, 1998) has received a great deal of attention at professional meetings and in the popular media. Newspaper and magazine articles about this program contain statements like, "On average, after only 6 to 7 weeks of training, language-learning impaired children ages 4 to 12 showed improvement of more than one and a half years in speech processing and language ability." (Scientific Learning Corporation, 1997). Are the claims that are being made about this intervention approach just a matter of p

Estilos ABNT, Harvard, Vancouver, APA, etc.

40

Simpson, Mark W., and Sheila Bolduc-Simpson. "DEVELOPING A COMPUTER-ASSISTED READING INSTRUCTION PROGRAM." CALICO Journal 2, no. 1 (2013): 34–39. http://dx.doi.org/10.1558/cj.v2i1.34-39.

Texto completo da fonte

Resumo:

CARI is a computer assisted reading instruction program that was designed by two English Language teachers for the purpose of providing supplementary and relevant material for their students in three subskill areas. The program was written for intermediate level adults learning English in a business environment. The reading subskills include skimming, scanning and guessing. The paper describes in detail the content and structure of the program and outlines the steps involved in its development. Following the description are comments and suggestions for teachers on how to evaluate effective cou

Estilos ABNT, Harvard, Vancouver, APA, etc.

41

Pezold, Mollee J., Caitlin M. Imgrund, and Holly L. Storkel. "Using Computer Programs for Language Sample Analysis." Language, Speech, and Hearing Services in Schools 51, no. 1 (2020): 103–14. http://dx.doi.org/10.1044/2019_lshss-18-0148.

Texto completo da fonte

Resumo:

Purpose Although language sample analysis is widely recommended for assessing children's expressive language, few school-based speech-language pathologists routinely use it, citing a lack of time, resources, and training ( Pavelko, Owens, Ireland, & Hahs-Vaughn, 2016 ). The purpose of this clinical tutorial is (a) to describe options for language sample analysis using computer programs and (b) to demonstrate a process of using language sample analysis focused on the assessment of 2 preschool children as case studies. Method We provide an overview of collecting and analyzing child language

Estilos ABNT, Harvard, Vancouver, APA, etc.

42

Jo, Yong-gu. "Listing Informational texts for Korean language education." Korean Association For Learner-Centered Curriculum And Instruction 24, no. 7 (2024): 721–32. http://dx.doi.org/10.22251/jlcci.2024.24.7.721.

Texto completo da fonte

Resumo:

Objectives The purpose of this study is to list information texts for Korean language education. Methods Four steps were taken: texts collection, evaluation, classification, and computer program implementation. Results Approximately 2,000 information texts were listed by grade bands from the 1st grade to 8th grade. Conclusions Computer program allows users to search and utilize texts for their own purposes. Users can also analyze new texts.

Estilos ABNT, Harvard, Vancouver, APA, etc.

43

COSTANTINI, STEFANIA. "SEMANTICS OF A METALOGIC PROGRAMMING LANGUAGE." International Journal of Foundations of Computer Science 01, no. 03 (1990): 233–47. http://dx.doi.org/10.1142/s0129054190000175.

Texto completo da fonte

Resumo:

This paper presents the declarative and procedural semantics of Reflective Prolog, a new logic language able to represent metaknowledge and use it in the proof process via an extended resolution procedure including forms of implicit reflection. The declarative semantics of a Reflective Prolog definite program is provided in terms of the Least Reflective Herbrand Model of the program, characterized by means of a suitable mapping. The extended resolution is then shown to be sound and complete with respect to the Least Reflective Herband Model.

Estilos ABNT, Harvard, Vancouver, APA, etc.

44

Dévai, Gergely, Zoltán Gera, and Zoltán Kelemen. "Language abstractions for low level optimization techniques." Computer Science and Information Systems 11, no. 4 (2014): 1499–514. http://dx.doi.org/10.2298/csis130224080d.

Texto completo da fonte

Resumo:

Programmers are often forced to implement performance-critical applications at a low abstraction level. This leads to programs that are hard to develop and maintain because the program text is mixed with low level optimization tricks and is far from the algorithm it implements. Even if compilers are smart nowadays and provide the user with many automatically applied optimizations, practice shows that in some cases it is hopeless to optimize the program automatically without the programmer?s knowledge. A complementary approach is to allow the programmer to fine tune the program by providing him

Estilos ABNT, Harvard, Vancouver, APA, etc.

45

Chen, I.-Ju, Chieh-Hsiang Chuang, and Kai-Ru Cheng. "Relationship between English Speaking Performance and Foreign Language Anxiety in Online Peer Learning." Journal of English Language Teaching and Applied Linguistics 4, no. 4 (2022): 80–84. http://dx.doi.org/10.32996/jeltal.2022.4.4.10.

Texto completo da fonte

Resumo:

This study investigated the relationship between English speaking performance and foreign language anxiety before and after an online peer learning program at the college level. A total of 59 students enrolled in a one-semester English Speaking Communication course at a university in central Taiwan participated in the study. The course entailed a 7-week online peer learning program. The participants took a computer-based speaking proficiency test and completed the Foreign Language Classroom Anxiety Scale questionnaire before and after the program. The collected quantitative data were analyzed

Estilos ABNT, Harvard, Vancouver, APA, etc.

46

McKee, Jane. "Computer-assisted vocabulary acquisition: an evaluation of the text analysis program." ReCALL 5, no. 8 (1993): 9–15. http://dx.doi.org/10.1017/s0958344000005383.

Texto completo da fonte

Resumo:

The Text Analysis Program (TAP) was designed by a team from the Department of European Studies and Modern Languages and the Computer Services Department of the University of Ulster with a view to enhancing language learning techniques for third level language students. Work on the program was funded jointly by the CTI and the University of Ulster. A Multiple Choice Question (MCQ) program was also developed as part of the same project. The program came into service in the academic year 1989-90 when it was tested on three groups of students. Some minor modifications were made before it was reuse

Estilos ABNT, Harvard, Vancouver, APA, etc.

47

Davison, Ned. "AN INTERACTIVE CONCORDANCE PROGRAM FOR THE SMALL COMPUTER." CALICO Journal 1, no. 1 (2013): 24–26. http://dx.doi.org/10.1558//cj.v1i1.24-26.

Texto completo da fonte

Resumo:

An interest in literary analysis usually begins with a curiosity about themes, philosophical implications, and the human experiences a work embodies. After such initial interests, our attention often turns to the way specific words and phrases relate to those broader features.

Estilos ABNT, Harvard, Vancouver, APA, etc.

48

Dobizha, N. "The use of computer training program in the foreign language classroom." Інформаційні технології в освіті, Вип. 2 (35) (2018): 89–99.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

49

Kochkonbaeva, Buazhar Osmonalievna, and Zhulduz Srajdinovna Egemberdieva. "ALGORITHM OF THE COMPUTER PROGRAM FOR EFFECTIVE LEARNING OF ENGLISH LANGUAGE." Bulletin of Osh State University 2, no. 1 (2021): 174–81. http://dx.doi.org/10.52754/16947452_2021_2_1_171.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

50

Dobizha, N. "THE USE OF COMPUTER TRAINING PROGRAM IN THE FOREIGN LANGUAGE CLASSROOM." Information Technologies in Education 2, no. 35 (2018): 89–99. http://dx.doi.org/10.14308/ite000669.

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!