Relevant bibliographies by topics / MINES (Computer program language)

Academic literature on the topic '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:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

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

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
More sources

Dissertations / Theses on the topic "MINES (Computer program language)"

1

Wedding, Donald K. "Extending the data mining software packages SAS Enterprise Miner and SPSS Clementine to handle fuzzy cluster membership : implementation with examples /." Abstract Full Text (PDF), 2009. http://eprints.ccsu.edu/archive/00000553/02/1997FT.pdf.

Full text
Abstract:
Thesis (M.S.) -- Central Connecticut State University, 2009.
Thesis advisor: Roger Bilisoly. "... in partial fulfillment of the requirements for the degree of Master of Science in Data Mining." Includes bibliographical references (leaves 119-124). Also available via the World Wide Web.
APA, Harvard, Vancouver, ISO, and other styles
2

Shepherd, David. "Natural language program analysis combining natural language processing with program analysis to improve software maintenance tools /." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 176 p, 2007. http://proquest.umi.com/pqdweb?did=1397920371&sid=6&Fmt=2&clientId=8331&RQT=309&VName=PQD.

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

Chou, Robert Shih-pei. "A program design language for COBOL." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/13200.

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

Richardson, Joel E. "E a persistent systems implementation language /." Madison, Wis. : University of Wisconsin-Madison, Computer Sciences Dept, 1989. http://catalog.hathitrust.org/api/volumes/oclc/20839601.html.

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

Gordon, Christopher Todd. "A visual language for ADA program unit specifications." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06232009-063007/.

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

Martin, Walter E. "Cview, a graphical program generator for the C programming language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10224.

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

Yessenov, Kuat T. "A lightweight specification language for bounded program verification." Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/53184.

Full text
Abstract:
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.
Cataloged from PDF version of thesis.
Includes bibliographical references (p. 63-64).
This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented languages such as Java. The language is amenable to bounded verification analysis by a tool called JForge that interprets JFSL specifications, fully integrates with a mainstream development environment, and assists programmers in examining counter example traces and debugging specifications. JFSL attempts to address challenges of specification languages such as inheritance, frame conditions, dynamic dispatch, and method calls inside specifications in the context of bounded verification. A collection of verification tasks illustrates the expressiveness and conciseness of JForge specifications and demonstrates effectiveness of the bounded verification technique.
by Kuat T. Yessenov.
M.Eng.
APA, Harvard, Vancouver, ISO, and other styles
8

Leoutsarakos, Nikolaos. "A context sensitive command language /." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63274.

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

Gibson, Barbara Brunner. "Ada as a design specification language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10215.

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

Ouren, Leslie Serine. "Integrating computer software within the Houghton Mifflin Language Arts program." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2918.

Full text
Abstract:
This project was created for third grade teachers who use the Houghton Mifflin Language Arts series and want to integrate computer software into their writing curriculum. The website created includes all the writing assignments that the students are to complete and the required software used to complete the assignment.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "MINES (Computer program language)"

1

Weir, Sylvia. Cultivating minds: A logo casebook. New York: Harper & Row, 1987.

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

Duda, Frank T. A computer program to rapidly screen explosion-proof enclosures. Washington, D.C: U.S. Dept. of the Interior, Bureau of Mines, 1989.

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

Minds in play: Computer game design as a context for children's learning. Hillsdale, N.J: L. Erlbaum Associates, 1995.

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

Edwards, John C. Computer simulation of oxygen requirements for evacuating miners. Pgh. [i.e. Pittsburgh] Pa: U.S. Dept. of the Interior, Bureau of Mines, 1986.

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

Customer segmentation and clustering using SAS Enterprise Miner. 2nd ed. Cary, N.C: SAS, 2011.

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

Edwards, John C. Fire location model. Washington, D.C: U.S. Dept. of theInterior, Bureau of Mines, 1990.

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

Edwards, John C. Fire location model. Washington, DC: Dept. of the Interior, 1990.

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

D, Pea Roy, Sheingold Karen, and Bank Street College of Education. Center for Children and Technology., eds. Mirrors of minds: Patterns of experience in educational computing : papers from the Center for Children and Technology, Bank Street College. Norwood, N.J: Ablex Pub. Corp., 1987.

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

Olga, Pekelny, ed. Computer language C. San Diego: Harcourt Brace Jovanovich, 1989.

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

Reid, Glenn C. PostScript language program design. Reading, Mass: Addison-Wesley, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "MINES (Computer program language)"

1

Weik, Martin H. "language program." In Computer Science and Communications Dictionary, 871. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_9931.

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

Weik, Martin H. "program design language." In Computer Science and Communications Dictionary, 1347. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_14835.

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

Craven, Paul Vincent. "What Is a Computer Language?" In Program Arcade Games, 33–40. Berkeley, CA: Apress, 2016. http://dx.doi.org/10.1007/978-1-4842-1790-0_3.

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

Volpano, Dennis, and Geoffrey Smith. "Language Issues in Mobile Program Security." In Lecture Notes in Computer Science, 25–43. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/3-540-68671-1_3.

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

Harf, Mait, Kristiina Kindel, Vahur Kotkas, Peep Küngas, and Enn Tyugu. "Automated Program Synthesis for Java Programming Language." In Lecture Notes in Computer Science, 157–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45575-2_17.

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

Roșu, Grigore. "From Rewriting Logic, to Programming Language Semantics, to Program Verification." In Lecture Notes in Computer Science, 598–616. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23165-5_28.

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

Kobayashi, Naoki. "Higher-Order Program Verification and Language-Based Security." In Advances in Computer Science - ASIAN 2009. Information Security and Privacy, 17–23. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10622-4_2.

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

Dimock, Allyn, Ian Westmacott, Robert Muller, Franklyn Turbak, J. B. Wells, and Jeffrey Considine. "Program Representation Size in an Intermediate Language with Intersection and Union Types." In Lecture Notes in Computer Science, 27–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45332-6_2.

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

Sridhar, S. "An implementation of OBJ2: An object-oriented language for abstract program specification." In Lecture Notes in Computer Science, 81–95. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-17179-7_5.

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

Doveri, Kyveli, Pierre Ganty, and Nicolas Mazzocchi. "FORQ-Based Language Inclusion Formal Testing." In Computer Aided Verification, 109–29. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2_6.

Full text
Abstract:
Abstract We propose a novel algorithm to decide the language inclusion between (nondeterministic) Büchi automata, a PSpace-complete problem. Our approach, like others before, leverage a notion of quasiorder to prune the search for a counterexample by discarding candidates which are subsumed by others for the quasiorder. Discarded candidates are guaranteed to not compromise the completeness of the algorithm. The novelty of our work lies in the quasiorder used to discard candidates. We introduce FORQs (family of right quasiorders) that we obtain by adapting the notion of family of right congruences put forward by Maler and Staiger in 1993. We define a FORQ-based inclusion algorithm which we prove correct and instantiate it for a specific FORQ, called the structural FORQ, induced by the Büchi automaton to the right of the inclusion sign. The resulting implementation, called Forklift, scales up better than the state-of-the-art on a variety of benchmarks including benchmarks from program verification and theorem proving for word combinatorics. Artifact:https://doi.org/10.5281/zenodo.6552870
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "MINES (Computer program language)"

1

Gu, Xiaodong, Hongyu Zhang, Dongmei Zhang, and Sunghun Kim. "DeepAM: Migrate APIs with Multi-modal Sequence to Sequence Learning." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/514.

Full text
Abstract:
Computer programs written in one language are often required to be ported to other languages to support multiple devices and environments. When programs use language specific APIs (Application Programming Interfaces), it is very challenging to migrate these APIs to the corresponding APIs written in other languages. Existing approaches mine API mappings from projects that have corresponding versions in two languages. They rely on the sparse availability of bilingual projects, thus producing a limited number of API mappings. In this paper, we propose an intelligent system called DeepAM for automatically mining API mappings from a large-scale code corpus without bilingual projects. The key component of DeepAM is based on the multi-modal sequence to sequence learning architecture that aims to learn joint semantic representations of bilingual API sequences from big source code data. Experimental results indicate that DeepAM significantly increases the accuracy of API mappings as well as the number of API mappings when compared with the state-of-the-art approaches.
APA, Harvard, Vancouver, ISO, and other styles
2

Shekhar, Himanshu, and Siddhartha Agarwal. "Automated Analysis through Natural Language Processing of DGMS Fatality Reports on Indian Non-Coal Mines." In 2021 5th International Conference on Information Systems and Computer Networks (ISCON). IEEE, 2021. http://dx.doi.org/10.1109/iscon52037.2021.9702346.

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

Yang, Xiaoli, Rong Ge, and Charles Tseng. "Visualizing genetic recombination with interactive computer program." In 2010 International Conference on Audio, Language and Image Processing (ICALIP). IEEE, 2010. http://dx.doi.org/10.1109/icalip.2010.5685128.

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

Kim, Sung-Hun, Jin-Tak Choi, and Kil-Hong Joo. "Development of Cyber Sign Language Interpreting App Program for Deaf." In Next Generation Computer and Information Technology 2017. Science & Engineering Research Support soCiety, 2017. http://dx.doi.org/10.14257/astl.2017.145.03.

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

Ling, Xiang, Guoqing Wu, and Bo Huang. "Comparing program to requirement and design using language acceptance." In 2012 2nd International Conference on Computer Science and Network Technology (ICCSNT). IEEE, 2012. http://dx.doi.org/10.1109/iccsnt.2012.6525961.

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

Qin, Yi, and Guonian Wang. "A computer-aided Chinese pronunciation training program for English-speaking learners." In 2014 International Conference on Asian Language Processing (IALP). IEEE, 2014. http://dx.doi.org/10.1109/ialp.2014.6973499.

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

Menotti, Ricardo, Joao M. P. Cardoso, Marcio M. Fernandes, and Eduardo Marques. "LALP: A Novel Language to Program Custom FPGA-Based Architectures." In 2009 21st International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). IEEE, 2009. http://dx.doi.org/10.1109/sbac-pad.2009.23.

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

Qin, Weida, Yinhu Wei, and Ricai Luo. "Program Design and Implementation of Y Class Matrix Eigenvalue Based on Python Language." In 2022 Asia-Pacific Computer Technologies Conference (APCT). IEEE, 2022. http://dx.doi.org/10.1109/apct55107.2022.00022.

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

Dovhopolova, Hanna. "COMPUTER PROGRAM AS A METHOD OF DEVELOPING STUDENTS’ FOREIGN LANGUAGE COMMUNICATION SKILLS." In THEORETICAL AND EMPIRICAL SCIENTIFIC RESEARCH: CONCEPT AND TRENDS. European Scientific Platform, 2020. http://dx.doi.org/10.36074/24.07.2020.v3.02.

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

Jin, Yuqiang, Yuliang Chen, Zijian Lin, and Junwei Lei. "Research on PID control and Simulation with M Language of Matlab Program." In 2nd International Conference on Electronics, Network and Computer Engineering (ICENCE 2016). Paris, France: Atlantis Press, 2016. http://dx.doi.org/10.2991/icence-16.2016.98.

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

Reports on the topic "MINES (Computer program language)"

1

Makhachashvili, Rusudan K., Svetlana I. Kovpik, Anna O. Bakhtina, and Ekaterina O. Shmeltser. Technology of presentation of literature on the Emoji Maker platform: pedagogical function of graphic mimesis. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3864.

Full text
Abstract:
The article deals with the technology of visualizing fictional text (poetry) with the help of emoji symbols in the Emoji Maker platform that not only activates students’ thinking, but also develops creative attention, makes it possible to reproduce the meaning of poetry in a succinct way. The application of this technology has yielded the significance of introducing a computer being emoji in the study and mastering of literature is absolutely logical: an emoji, phenomenologically, logically and eidologically installed in the digital continuum, is separated from the natural language provided by (ethno)logy, and is implicitly embedded into (cosmo)logy. The technology application object is the text of the twentieth century Cuban poet José Ángel Buesa. The choice of poetry was dictated by the appeal to the most important function of emoji – the expression of feelings, emotions, and mood. It has been discovered that sensuality can reconstructed with the help of this type of meta-linguistic digital continuum. It is noted that during the emoji design in the Emoji Maker program, due to the technical limitations of the platform, it is possible to phenomenologize one’s own essential-empirical reconstruction of the lyrical image. Creating the image of the lyrical protagonist sign, it was sensible to apply knowledge in linguistics, philosophy of language, psychology, psycholinguistics, literary criticism. By constructing the sign, a special emphasis was placed on the facial emogram, which also plays an essential role in the transmission of a wide range of emotions, moods, feelings of the lyrical protagonist. Consequently, the Emoji Maker digital platform allowed to create a new model of digital presentation of fiction, especially considering the psychophysiological characteristics of the lyrical protagonist. Thus, the interpreting reader, using a specific digital toolkit – a visual iconic sign (smile) – reproduces the polylaterial metalinguistic multimodality of the sign meaning in fiction. The effectiveness of this approach is verified by the poly-functional emoji ousia, tested on texts of fiction.
APA, Harvard, Vancouver, ISO, and other styles
2

Striuk, Andrii M., and Serhiy O. Semerikov. The Dawn of Software Engineering Education. [б. в.], February 2020. http://dx.doi.org/10.31812/123456789/3671.

Full text
Abstract:
Designing a mobile-oriented environment for professional and practical training requires determining the stable (fundamental) and mobile (technological) components of its content and determining the appropriate model for specialist training. In order to determine the ratio of fundamental and technological in the content of software engineers’ training, a retrospective analysis of the first model of training software engineers developed in the early 1970s was carried out and its compliance with the current state of software engineering development as a field of knowledge and a new the standard of higher education in Ukraine, specialty 121 “Software Engineering”. It is determined that the consistency and scalability inherent in the historically first training program are largely consistent with the ideas of evolutionary software design. An analysis of its content also provided an opportunity to identify the links between the training for software engineers and training for computer science, computer engineering, cybersecurity, information systems and technologies. It has been established that the fundamental core of software engineers’ training should ensure that students achieve such leading learning outcomes: to know and put into practice the fundamental concepts, paradigms and basic principles of the functioning of language, instrumental and computational tools for software engineering; know and apply the appropriate mathematical concepts, domain methods, system and object-oriented analysis and mathematical modeling for software development; put into practice the software tools for domain analysis, design, testing, visualization, measurement and documentation of software. It is shown that the formation of the relevant competencies of future software engineers must be carried out in the training of all disciplines of professional and practical training.
APA, Harvard, Vancouver, ISO, and other styles
3

Markova, Oksana, Serhiy Semerikov, and Maiia Popel. СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic Informatics”. Sun SITE Central Europe, May 2018. http://dx.doi.org/10.31812/0564/2250.

Full text
Abstract:
The role of neural network modeling in the learning сontent of special course “Foundations of Mathematic Informatics” was discussed. The course was developed for the students of technical universities – future IT-specialists and directed to breaking the gap between theoretic computer science and it’s applied applications: software, system and computing engineering. CoCalc was justified as a learning tool of mathematical informatics in general and neural network modeling in particular. The elements of technique of using CoCalc at studying topic “Neural network and pattern recognition” of the special course “Foundations of Mathematic Informatics” are shown. The program code was presented in a CofeeScript language, which implements the basic components of artificial neural network: neurons, synaptic connections, functions of activations (tangential, sigmoid, stepped) and their derivatives, methods of calculating the network`s weights, etc. The features of the Kolmogorov–Arnold representation theorem application were discussed for determination the architecture of multilayer neural networks. The implementation of the disjunctive logical element and approximation of an arbitrary function using a three-layer neural network were given as an examples. According to the simulation results, a conclusion was made as for the limits of the use of constructed networks, in which they retain their adequacy. The framework topics of individual research of the artificial neural networks is proposed.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'MINES (Computer program language)' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography