Log in

Relevant bibliographies by topics / MINES (Computer program language) / Journal articles

Journal articles on the topic 'MINES (Computer program language)'

To see the other types of publications on this topic, follow the link: MINES (Computer program language).

Author: Grafiati

Published: 10 December 2022

Last updated: 28 January 2023

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 'MINES (Computer program language).'

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

Lin, Xiaobo. "Method and Realization of Efficient Extraction of Basic Geological Data from Two-Dimensional Mine Drawings." Complexity 2021 (January 16, 2021): 1–12. http://dx.doi.org/10.1155/2021/6624142.

Full text

Abstract:

In coal mining technology systems, it is very important to acquire, store, and represent basic geological data comprehensively and accurately. Based on the current working mode and information level in mining geology at coal mines, this paper proposes a process of building basic geological database for modeling of coal mines by using existing results’ data of mining geology and develops the efficient program for getting the basic geological data from the important 2D plane drawings’ achievement at mines, such as the contour maps of mine coal seam floors, geological cross-sections, underground drilling results, and geological survey results, based on AutoLISP, which is a programming language for the secondary development of AutoCAD. The obtained data in general text format is stored and managed by the MongoDB database, which realizes the storage, query, analysis, and correction of massive data of geological objects in the space of the underground coalmine. The application results show that compared with the previous data acquisition methods such as manual input and graphic transformation attribute, the extraction of spatial and attribute data from the existing mine 2D plane drawings by programming can effectively avoid the prominent problems such as artificial gross error, distortion of graph conversion, and different database structure, make the obtained spatial geological data more comprehensive, accurate, and effective, and, meanwhile, increase the rate by more than 60%, which plays an important role in data support for the construction of the geological modeling systems for transparent mines.

APA, Harvard, Vancouver, ISO, and other styles

2

Nurcholis, Ahmad, Nuryani Nuryani, Heri Efendi, and Syaikhu Ihsan Hidayatullah. "Epistemology of Arabic Language Learning Technology Development." Jurnal Al Bayan: Jurnal Jurusan Pendidikan Bahasa Arab 13, no. 1 (February 4, 2021): 73–89. http://dx.doi.org/10.24042/albayan.v13i1.7090.

Full text

Abstract:

Students' lack of Arabic language skills might be caused by some factors, such as the models and strategies used by teachers, the students’ excitement in learning and their character. This study aimed to research on the epistemology of Arabic learning based on ICT. It was designed to find the Arabic learning model based on ICT. It assumed that integrating various fields of study with ICT, including Arabic language learning, is essential to be developed in this digital era. However, there are obstacles experienced by several schools, especially the teachers, they do not have a specific format for using ICT to integrate both scientific subjects. Descriptive qualitative research was used in this research. The data collection was done through observation, interviewing the teachers and one hundred X grade students, and documentation. The data were analyzed by using the Miles and Huberman technique. The results showed that the design of the ICT-based in Arabic learning model development is “al-hasub al-ittishalî”, this is an innovative Arabic learning model based on ICT. In this model, the materials and other learning tools are designed in a computer program. As stated by E. L. Criswell, computers provide opportunities for students to participate and respond to the student’s activities actively. This model contributes in making the teaching and learning process more effective. With this model, the teacher is expectedly able to become a learning motivator and a mediator to explain some materials to the students. Besides, the use of ICT is a must considering the digital era.

APA, Harvard, Vancouver, ISO, and other styles

3

Anjani, Artica Rizza, Sisca Wulansari Saputri, and Aa Qona’atun. "A TRANSLATION EQUIVALENCE ANALYSIS OF ABSTRACT TRANSLATION IN FACULTY OF COMPUTER SCIENCE UNIVERSITY OF BANTEN JAYA 2019." Journal of English Language Teaching and Literature (JELTL) 4, no. 1 (February 28, 2021): 1–15. http://dx.doi.org/10.47080/jeltl.v4i1.1224.

Full text

Abstract:

The research is content analysis which explores the using of translation equivalences applied in Faculty of Computer Science. Considering that the Faculty of Computer Science indirectly and unconsciously often carry out the process of translation in daily activities in the programming language used. The research thus aims to provide how is translation equivalence and what is the dominant translation equivalence used in translation of abstract internship report in Faculty of Computer Science 7th semester in Banten Jaya University 2019. The data conducted from 3 sections of collecting data which taken randomly from 20 abstract translations of internship report, divided into 10 abstracts from Information System Program and 10 abstracts from Information Engineering Program. The Mona Baker’s theories applied in the order to identified and classify the translation equivalences. Furthermore, Miles and Huberman method also used to analyzed the abstract of internship report to find out the first question. In the other hand a formula by Butler used to find out the second question. As the result of this research, the most dominant translation equivalence used is Above Word Level Equivalence with 35 cases (28.69%), which followed by Pragmatic Equivalence with 30 cases (24.59%), Word Level Equivalence with 26 cases (21.31%), Grammatical Equivalence with 16 cases (13.11%), and Textual Equivalence with 15 cases (12.30%).The research concludes that the translation equivalence in translations process depend on the translator point of view.

APA, Harvard, Vancouver, ISO, and other styles

4

Zustiyantoro, Dhoni. "Efektivitas Pembelajaran Daring Masa Pandemi Covid-19 Mata Kuliah Evaluasi Pembelajaran Prodi Pendidikan Bahasa Dan Sastra Jawa FBS UNNES." Piwulang : Jurnal Pendidikan Bahasa Jawa 9, no. 2 (December 2, 2021): 195–208. http://dx.doi.org/10.15294/piwulang.v9i2.48538.

Full text

Abstract:

Education is one of the aspects affected by the Covid-19 pandemic. The online learning that has been taken since the outbreak began in March 2020 has an impact on the effectiveness of the learning outcomes themselves. This research is a qualitative research that aims to obtain a description of online learning for the Learning Evaluation course at the Javanese Language and Literature Education Study Program, Faculty of Language and Arts, Universitas Negeri Semarang, even semester 2020/2021. Online learning at Unnes uses the Elena system to support optimizing lecture outcomes. The technique of collecting data in this study used a questionnaire technique with 92 respondents in the sixth semester of the Java Language and Literature Education Study Program who took the Learning Evaluation course. The data analysis technique uses the Miles & Huberman (1994) technique which consists of three stages, namely data reduction, data display, and drawing conclusions and reflections. The results of this study indicate that online learning has been effective in achieving the learning objectives of the course, but it needs to be improved so that it is more structured in providing online material. The results of this study are used as guidelines for improving online learning, especially in the Learning Evaluation course in the coming semester and online learning in all courses in general.

APA, Harvard, Vancouver, ISO, and other styles

5

Salwiczek, Lucie H., and Wolfgang Wickler. "The shaping of animals’ minds." Interaction Studies 6, no. 3 (November 1, 2005): 393–411. http://dx.doi.org/10.1075/is.6.3.06sal.

Full text

Abstract:

Mind is seen as a collection of abilities to take decisions in biologically relevant situations. Mind shaping means to form habits and decision rules of how to proceed in a given situation. Problem-specific decision rules constitute a modular mind; adaptive mind-shaping is likely to be module-specific. We present examples from different behaviour ‘faculties’ throughout the animal kingdom, grouped according to important mind-shaping factors to illustrate three basically different mind-shaping processes: (I) external stimuli guide the differentiation of a nervous structure that controls a given behaviour; (II) information comes in to direct a fixed behaviour pattern to its biological goal, or to complete an inherited behaviour program; (III) specific stimuli activate or inactivate a pre-programmed behaviour. Mind-shaping phenomena found in the animal kingdom are suggested as ‘null-hypotheses’ when looking at how human minds might be shaped.

APA, Harvard, Vancouver, ISO, and other styles

6

Tabroni, Imam, Nashirotun Fitriani Rahmi, Nurpita Sari, and Rita Ratnasari. "Management Of The Madrasah Aliyah Curriculum Of Religious Sciences Program At MAN 1 Purwakarta." Jurnal Multidisiplin Madani 2, no. 2 (February 26, 2022): 811–20. http://dx.doi.org/10.54259/mudima.v2i2.445.

Full text

Abstract:

This study aims to determine how the curriculum management in MAN 1 PURWAKARTA, namely planning, implementing, and evaluating the curriculum, including obstacles in curriculum management. This study uses a qualitative method with a case study approach. The research subjects consisted of the principal of the madrasa, the deputy head of the madrasa, and the teaching staff. The object of research: learning activities, and school conditions. Collecting data in this study using interviews, observation, and document analysis. The validity of the data is done by testing the credibility, transferability, dependability, and confirmability. Data analysis used Miles-Huberman interactive analysis which consisted of data reduction, data presentation, and drawing conclusions. The results of this study indicate that curriculum planning is planned through workshops that are guided by the national curriculum and the development of local excellence. This evaluation is also carried out in the form of mid-semester assessments, end-of-semester assessments and national exams. The inhibiting factors for managing this curriculum include: program modules that are not standardized and diktat books are not systematic; lack of patience of educators in making learning tools and smooth mastery of computer technology; infrastructure facilities that are still inadequate; student discipline problems in participating in learning; crowded school activities, and organizations reduce the focus of student learning; and language skills of children who have not been able to understand the text as a whole.

APA, Harvard, Vancouver, ISO, and other styles

7

Yasa, I. Nyoman. "Utilization of university E-learning assisted social media in learning contemporary Indonesian literature." World Journal on Educational Technology: Current Issues 14, no. 5 (September 30, 2022): 1259–78. http://dx.doi.org/10.18844/wjet.v14i5.7267.

Full text

Abstract:

This study aims to describe (1) the use of university e-learning assisted social media in learning contemporary Indonesian literature during the Covid-19 pandemic and (2) students' understanding of contemporary Indonesian literature taken from the source of university e-learning assisted social media. This research is a qualitative descriptive study. The subjects of this study were the lecturer and third semester students in the Indonesian Language and Literature Education Study Program, Faculty of Language and Arts, Universitas Pendidikan Ganesha. This research used observation, documentation, and semi-structured interview techniques. The data analysis technique used the Miles and Hubermans analysis technique. The results showed that the implementation of contemporary Indonesian literature learning utilizing literary works which sources were from university e-learning assisted social media had the TPACK principle and the students had good skills in analyzing the structure, themes, and social problems in literature. Keywords: Social Media; Literature Learning; E-learning; Covid-19

APA, Harvard, Vancouver, ISO, and other styles

8

Alfiah, Alfiah. "Kemampuan Calon Pendidik Bahasa Jawa dalam Menentukan Teknik Penilaian Pembelajaran Bahasa Jawa di Sekolah." Piwulang : Jurnal Pendidikan Bahasa Jawa 10, no. 1 (July 4, 2022): 21–34. http://dx.doi.org/10.15294/piwulang.v10i1.56588.

Full text

Abstract:

Educational assessment is a process of collecting and processing information to measure the achievement of student learning outcomes. An assessment process that is carried out properly can have an impact on the learning process and can be a reference in determining further policies. The accuracy of the selection of the assessment method will greatly affect the objectivity and validity of the assessment results which in the end are objective and valid information on the quality of education. On the other hand, errors in selecting and applying assessment methods also result in invalid information regarding learning and educational outcomes. One of the competencies that must be mastered by prospective educators is an understanding of the process of assessing student learning outcomes, both theoretically and practically. The purpose of writing this article is to describe the extent to which the objectives of the Java Language Learning Evaluation lecture have been achieved, particularly in learning outcomes to study and select assessment techniques based on the basic competencies measured. This research was conducted at PGRI University Semarang, with the data source being 19 students in the 4th (fourth) semester of the Regional Language and Literature Education Study Program. The data in this study is the ability of students to examine and select or determine assessment techniques based on the measured basic competencies. Data collection techniques used are test and non-test techniques. Based on the data that has been collected, it is analyzed using the interactive analysis technique of the Miles and Huberman model which consists of the stages of data reduction (data reduction), data presentation (data display), and conclusion drawing/verification. Meanwhile, to measure the achievement of the objectives of the implementation of the Javanese Language Learning Evaluation course, a goals-oriented program evaluation model was used. The results showed that most of the students had a good understanding of the application of various types of learning outcomes assessment techniques, namely 57.8% of students got a score of 100, 31.5% of students got a score of 94, 5.2% of students got 89 and 5, 2% of students got 78. Moreover, in the psychomotor or skill domain, the results showed that 41.2% of students got a score of 100, 42.1% of students got a score of 75, and 16% of students got a score of 50.

APA, Harvard, Vancouver, ISO, and other styles

9

COLLINS, NICK, ALEX McLEAN, JULIAN ROHRHUBER, and ADRIAN WARD. "Live coding in laptop performance." Organised Sound 8, no. 3 (December 2003): 321–30. http://dx.doi.org/10.1017/s135577180300030x.

Full text

Abstract:

Seeking new forms of expression in computer music, a small number of laptop composers are braving the challenges of coding music on the fly. Not content to submit meekly to the rigid interfaces of performance software like Ableton Live or Reason, they work with programming languages, building their own custom software, tweaking or writing the programs themselves as they perform. Often this activity takes place within some established language for computer music like SuperCollider, but there is no reason to stop errant minds pursuing their innovations in general scripting languages like Perl. This paper presents an introduction to the field of live coding, of real-time scripting during laptop music performance, and the improvisatory power and risks involved. We look at two test cases, the command-line music of slub utilising, amongst a grab-bag of technologies, Perl and REALbasic, and Julian Rohrhuber's Just In Time library for SuperCollider. We try to give a flavour of an exciting but hazardous world at the forefront of live laptop performance.

APA, Harvard, Vancouver, ISO, and other styles

10

Zhou, Jieqiong, Zhenhua Wei, and Jianwei Shi. "Teaching Application and Evaluation of Ideological and Political Courses Based on Multisource Data Fusion." Security and Communication Networks 2022 (June 13, 2022): 1–9. http://dx.doi.org/10.1155/2022/7048698.

Full text

Abstract:

Domestic education and scientific nature of realization automatic evaluation have become issues of concern. The integration of information technology in the teaching field of ideological and political theory courses in colleges and universities (hereinafter referred to as “ideological and political courses”) inevitably has an important impact on the teaching of traditional ideological and political courses. ASP.NET is the main interface technology of .NET. .NET is an environment that can provide support for building development and execution in multiple languages, and realizes the functions of language development, code compilation, building configuration, program operation, and object interaction. The system development tool is ASP.NET (Visual Studio 2013), the background database development tool is Microsoft SQL Server 2008, and the system development environment is Windows 7 ×64. The core of the system is multisource data fusion. Firstly, the data are preprocessed to extract useful information data to form data object fusion. Then, convert the code table into a transaction library. In view of the large amount of data to be mined and easily affect mining quality, the improved Apriori-P algorithm based on partitioning in association with rule technology is applied. This algorithm is used to generate frequent itemsets. According to the given minimum confidence, a data fusion rule is generated. Then, the fusion result is generated from the corresponding data report. Before data fusion, system administrators should select data sources from historical databases or existing evaluation databases. When querying rules, different users can log in to the system to query their own data content, students can query the teacher’s evaluation results, teachers can query their own evaluation results, and school administrators can view the data fusion results. After evaluating teachers through the campus network, all evaluation data can be integrated and analyzed, and the system automatically generates analysis results corresponding to users. The stability of the teaching evaluation system is better, and the system performance can reach 89% at 5,000 person-hours. The degree of integration between the form of informatization teaching and the teaching content of ideological and political courses, and the information literacy of teachers of ideological and political courses in colleges and universities need to be further improved. This research helps in scientific education. For the problems existing in the current research, starting from the three aspects of teaching concept, teaching mode, and teachers’ information literacy, it proposes corresponding effective ways to promote the deep integration of information technology and ideological and political teaching in colleges and universities.

APA, Harvard, Vancouver, ISO, and other styles

11

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Bhattacharya, Usree, Lei Jiang, and Suresh Canagarajah. "Race, Representation, and Diversity in the American Association for Applied Linguistics." Applied Linguistics 41, no. 6 (February 15, 2019): 999–1004. http://dx.doi.org/10.1093/applin/amz003.

Full text

Abstract:

Abstract Since its inception, the American Association for Applied Linguistics (AAAL) has advocated for diversity within the organization and in the discipline. This culminated in the passing of the resolution, ‘Affirming Commitment to Promoting Diversity’ (2013), hailing racial and other kinds of diversity as ‘an asset within our community and a source of learning and opportunity’. Despite this resolution, AAAL faces continuing challenges in realizing diversity in practice. This study turns the spotlight on the uneven professional mobility and visibility of scholars of color (SOCs) within AAAL, examining historical trends in the representation of SOCs in structures of power within AAAL as well as in recognition of meritorious scholarship. The data were mined from annual conference programs and official websites, and analyzed using computer software. Our analysis reveals stark disparity in the representation of SOCs across both metrics. We finally argue that cultivating greater racial diversity within AAAL is imperative for highlighting issues of race and inequality in applied linguistics; in expanding our epistemological field; and, ultimately, sustaining our vibrancy and strength as a discipline.

APA, Harvard, Vancouver, ISO, and other styles

18

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

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

Full text

Abstract:

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 programs for the microcomputer. Concepts taught included quantity, quality, time/sequence, nouns, and verbs. Program structure, implementation, and evaluation are discussed.

APA, Harvard, Vancouver, ISO, and other styles

25

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

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 (August 1992): 365–94. http://dx.doi.org/10.2190/mjdx-9pp4-kfmt-09pm.

Full text

Abstract:

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 examples while they were performing their program generation tasks. It is hypothesized that during practice, the direct availability of examples in the form of incomplete computer programs facilitates the acquisition of programming language templates, especially because students cannot complete a program without carefully studying it so that “mindful abstraction” is explicitly provoked. Data in this study on learning outcomes support this hypothesis: the completion group showed a superior use of programming language templates in both a program construction test and a multiple choice test that measured the knowledge of language statements.

APA, Harvard, Vancouver, ISO, and other styles

28

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

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 (January 29, 2019): 13–24. http://dx.doi.org/10.17161/iallt.v15i1.9074.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

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 (November 2003): 1082–104. http://dx.doi.org/10.1016/s0743-7315(03)00117-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Qian, Bing Yun. "Mine Pump Control System Based on KJD30Z Industrial Control Computer." Applied Mechanics and Materials 313-314 (March 2013): 374–77. http://dx.doi.org/10.4028/www.scientific.net/amm.313-314.374.

Full text

Abstract:

With the increase of mining depth, the condition of underground water gushing becomes more complicated and uncertain; thus, the traditional pump control program cannot meet all the needs of safety production in coal mines. To this condition, the automatic pump control system based on KJD30Z mine intrinsically safe industrial control computer has been put forward, and pump automatic control system is formed. The automatic control of pump turn-on, turn-off and shift are realized according to the change of water bunker level. And so the real-time monitor of underground pump station from ground centralized control, In this way, better communication and alarm function can be formed, which is also quite helpful for the reliability of drainage system and the operation of economy.

APA, Harvard, Vancouver, ISO, and other styles

35

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Ahangaran, Daryoush Kaveh, Amir Bijan Yasrebi, Andy Wetherelt, and Patrick Foster. "Real –time dispatching modelling for trucks with different capacities in open pit mines / Modelowanie w czasie rzeczywistym przewozów ciężarówek o różnej ładowności w kopalni odkrywkowej." Archives of Mining Sciences 57, no. 1 (October 29, 2012): 39–52. http://dx.doi.org/10.2478/v10267-012-0003-8.

Full text

Abstract:

Application of fully automated systems for truck dispatching plays a major role in decreasing the transportation costs which often represent the majority of costs spent on open pit mining. Consequently, the application of a truck dispatching system has become fundamentally important in most of the world’s open pit mines. Recent experiences indicate that by decreasing a truck’s travelling time and the associated waiting time of its associated shovel then due to the application of a truck dispatching system the rate of production will be considerably improved. Computer-based truck dispatching systems using algorithms, advanced and accurate software are examples of these innovations. Developing an algorithm of a computer- based program appropriated to a specific mine’s conditions is considered as one of the most important activities in connection with computer-based dispatching in open pit mines. In this paper the changing trend of programming and dispatching control algorithms and automation conditions will be discussed. Furthermore, since the transportation fleet of most mines use trucks with different capacities, innovative methods, operational optimisation techniques and the best possible methods for developing the required algorithm for real-time dispatching are selected by conducting research on mathematical-based planning methods. Finally, a real-time dispatching model compatible with the requirement of trucks with different capacities is developed by using two techniques of flow networks and integer programming.

APA, Harvard, Vancouver, ISO, and other styles

37

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

Full text

Abstract:

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 courseware.

APA, Harvard, Vancouver, ISO, and other styles

38

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

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 (April 11, 2019): 137–62. http://dx.doi.org/10.1075/dujal.16018.irs.

Full text

Abstract:

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 Proficiency (GEP) test and a writing task. The results show that the students in the DUB-CALL condition performed significantly better on the GEP test than the students in the two teacher-fronted classes. The results of the writing tests show that all groups improved significantly, but here there were no differences among groups.

APA, Harvard, Vancouver, ISO, and other styles

40

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

41

Mendes, Mauricio Teixeira. "Narrativas de evolução." Texto Livre: Linguagem e Tecnologia 14, no. 1 (December 21, 2020): e26711. http://dx.doi.org/10.35699/1983-3652.2021.26711.

Full text

Abstract:

O presente trabalho é uma análise de narrativa que foi proposta como atividade de fechamento da disciplina “Pesquisa Narrativa”, do programa de pós-graduação em Estudos Linguísticos da Universidade Federal de Minas Gerais (UFMG) que ocorreu no primeiro semestre de 2019. No texto, é explanado brevemente o conceito de pesquisa narrativa, e algumas questões pontuais encontradas durante a leitura e análise de uma narrativa de aprendizagem de tecnologia digital de uma pós graduanda dessa instituição. Nessas análises são observados alguns pontos como: metáforas, marcos históricos, pequenas histórias e outras observações. Além disso, na conclusão é feita uma comparação da narrativa analisada com a trajetória de vida do autor deste texto.

APA, Harvard, Vancouver, ISO, and other styles

42

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.

Full text

Abstract:

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 sentences, words, and verbs are correct. The parser is the heart of the program, and is capable of analysing most English sentence structures which are used in the first years of secondary education. A database of descriptions of words and context sentences in everyday English (taken from Collins COBUBLD English Language Dictionary). Both databases can be consulted by the pupil at any moment and thus constitute an extensive help facility. A database of texts. These texts are taken from a method called "Notting Hill Gate" (Malmberg). A generator of exercises. The program is able to generate exercises for both receptive and productive language use. Receptive: a story fragment is selected from the database. For every word, pupils can ask for a description (in English) or for a context sentence in which the word is used. Productive: several different exercises can be generated. They vary from cloze texts: the parser leaves out words that belong to a certain grammatical class (adjectives, prepostions, etc.), to free language productions: writing a composition. Furthermore, exercises can be generated in which interrogative or negative sentences have to be made. When the pupil is writing a composition, the parser checks whether the sentences are grammatically correct. Here as well, all help options from the databases are available. Pupil registration. For every pupil the program keeps track of the words that (s)he has studied, what kind of help (s)he has asked for, and what the results of the exercises are. The advantage of PRESTIGE over existing courseware for second language teaching is the open structure of the program, which makes free input of language possible. In the article the possibilities of the parser are shown and illustrated by examples. The article concludes with a discussion of the uses of PRESTIGE as an intelligent generator of exercises, and some plans for further research.

APA, Harvard, Vancouver, ISO, and other styles

43

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

44

Inozemtsev, Maxim, Svetlana Nikitina, and Mikhail Kononov. "Monitoring the Displacement the Roof of Underground Mines for Safety of Mining Operations." E3S Web of Conferences 41 (2018): 01021. http://dx.doi.org/10.1051/e3sconf/20184101021.

Full text

Abstract:

In the article the necessity of continuous control over the condition of the roof of mine workings is considered, to increase the safety in the conduct of mining operations. Provided the rationale for monitoring in complex mining and geological conditions, as well as in areas prone to rock blows and sudden coal emissions. The existing methods for controlling the displacement of the roof rocks are described, and their shortcomings are given. An idea is given of an automated system for monitoring the displacement of the workings. The stages of the system as a whole are considered, including the choice of a linear displacement sensor, a platform for software development, and a programming language. In order to ensure integration into other systems and subsequent analysis of the results, it is envisaged to output data to spreadsheets. Are shown the interfaces of the program and the output of the readings from the sensors to the monitors of the mining manager.

APA, Harvard, Vancouver, ISO, and other styles

45

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

Full text

Abstract:

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 product promotion, or is this really a scientifically proven remedy for language-learning impairments? This article critiques the theoretical basis of Fast ForWord®, the documented treatment outcomes, and the clinical methods associated with the procedure. Fifteen cautionary statements are provided that clinicians may want to consider before they recommend Fast ForWord® intervention for the children they serve.

APA, Harvard, Vancouver, ISO, and other styles

46

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

Full text

Abstract:

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 : GCL, qGCL, Quantum Computer

APA, Harvard, Vancouver, ISO, and other styles

47

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 (January 8, 2020): 103–14. http://dx.doi.org/10.1044/2019_lshss-18-0148.

Full text

Abstract:

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 samples and describe 3 programs for language sample analysis: 2 dedicated software programs (Computerized Language Analysis [ MacWhinney, 2000 ] and Systematic Analysis of Language Transcripts [ Miller & Iglesias, 2015 ]) and 1 protocol for using word processing software to analyze language samples (Sampling Utterances and Grammatical Analysis Revised; Pavelko & Owens, 2017 ). We also present analysis results from each program for play-based language samples from 2 preschool children and detailed analysis of the samples with potential treatment goals. Results Each program offers different analyses, comparison databases, and sampling contexts. We present options for additional analysis, clinical interpretations, and potential treatment goals based on the 2 preschool cases. Conclusion Clinicians can use computer programs for language sample analysis as part of a process to make naturalistic language assessment more feasible. Supplemental Material https://doi.org/10.23641/asha.10093403

APA, Harvard, Vancouver, ISO, and other styles

48

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

49

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.

Full text

Abstract:

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 with language features that make the optimization easier. These are language abstractions that make optimization techniques explicit without adding too much syntactic noise to the program text. This paper presents such language abstractions for two well-known optimizations: bitvectors and SIMD (Single Instruction Multiple Data). The language features are implemented in the embedded domain specific language Feldspar which is specifically tailored for digital signal processing applications. While we present these language elements as part of Feldspar, the ideas behind them are general enough to be applied in other language definition projects as well.

APA, Harvard, Vancouver, ISO, and other styles

50

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

Find full text

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!