Log in

Relevant bibliographies by topics / Procedural programming knowledge / Journal articles

To see the other types of publications on this topic, follow the link: Procedural programming knowledge.

Journal articles on the topic 'Procedural programming knowledge'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

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 'Procedural programming knowledge.'

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

Schor, Marshall I. "Declarative Knowledge Programming: Better Than Procedural?" IEEE Expert 1, no. 1 (1986): 36–43. http://dx.doi.org/10.1109/mex.1986.5006497.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Koubek, R., G. Salvendy, and H. Dunsmore. "Cap: A Knowledge Extraction Methodology for Computer Programming." Proceedings of the Human Factors Society Annual Meeting 30, no. 5 (1986): 492–96. http://dx.doi.org/10.1177/154193128603000519.

Full text

Abstract:

A current bottleneck In the automation of software Is the lack of available, standardized, reliable and valid methods for extracting knowledge from expert programmers. This paper discusses the development of Computer Aided Protocol (CAP) to automatically collect the general and specific cognitive task components of a programmer. Results Indicate that CAP was able to collect lower level goals while protocol analysis collected only 56 percent of these lower level goals. However, protocol analysis was able to obtain significantly more procedural knowledge relating to cognitive states of the subje

APA, Harvard, Vancouver, ISO, and other styles

3

Lin, Yu-Tzu, Cheng-Chih Wu, and Chiung-Fang Chiu. "The Use of Wiki in Teaching Programming." International Journal of Distance Education Technologies 16, no. 3 (2018): 18–45. http://dx.doi.org/10.4018/ijdet.2018070102.

Full text

Abstract:

This article explores the feasibility of employing cooperative program editing tools in teaching programming. A quasi-experimental study was conducted, in which the experimental group co-edited the programs with peers using the wiki. The control group co-edited the programs with peers using only the face-to-face approach. The findings show that the co-editing platform was effective in assisting collaborative learning of programming, especially for program implementation. By observing editing histories, students could compare programs and then reflect more deeply about programming. The use of t

APA, Harvard, Vancouver, ISO, and other styles

4

Kazimoglu, Cagin, Mary Kiernan, Liz Bacon, and Lachlan MacKinnon. "Understanding Computational Thinking before Programming." International Journal of Game-Based Learning 1, no. 3 (2011): 30–52. http://dx.doi.org/10.4018/ijgbl.2011070103.

Full text

Abstract:

This paper outlines an innovative game-based approach to learning introductory programming that is grounded in the development of computational thinking at an abstract conceptual level, but also provides a direct contextual relationship between game-play and learning traditional introductory programming. The paper proposes a possible model for, and guidelines in support of, this games-based approach contextualized by an analysis of existing research into the issues of learning programming and game based learning approaches. Furthermore, the proposed game-based learning model focuses not only o

APA, Harvard, Vancouver, ISO, and other styles

5

Jiang, Qing, Hai Ying Hu, Xiu Fang Jia, Cui Ping Lu, and Ru Jing Wang. "A Hybrid Knowledge-Base System Approach for Disaster Emergency and Relief Decision." Advanced Materials Research 791-793 (September 2013): 2234–37. http://dx.doi.org/10.4028/www.scientific.net/amr.791-793.2234.

Full text

Abstract:

Hybrid knowledge representation schemes, including production rules, object-oriented programming, and procedural methods, are employed to express expert heuristics and standard emergency knowledge during the development of the knowledge-based system (KBS) for emergency decision for disaster reduction. This approach renders it possible to take advantages of the characteristics of each method. The system can provide the user with advice on Preliminary plan evaluation, Plan optimization, Plan evaluation ,Plan summary and Miscellaneous.

APA, Harvard, Vancouver, ISO, and other styles

6

LE, VAN HUNG, FEI LIU, and DINH KHANG TRAN. "Fuzzy linguistic logic programming and its applications." Theory and Practice of Logic Programming 9, no. 3 (2009): 309–41. http://dx.doi.org/10.1017/s1471068409003779.

Full text

Abstract:

AbstractThe paper introduces fuzzy linguistic logic programming, which is a combination of fuzzy logic programming, introduced by P. Vojtáš, and hedge algebras in order to facilitate the representation and reasoning on human knowledge expressed in natural languages. In fuzzy linguistic logic programming, truth values are linguistic ones, e.g., VeryTrue, VeryProbablyTrue and LittleFalse, taken from a hedge algebra of a linguistic truth variable, and linguistic hedges (modifiers) can be used as unary connectives in formulae. This is motivated by the fact that humans reason mostly in terms of lin

APA, Harvard, Vancouver, ISO, and other styles

7

KAMINSKI, TOBIAS, THOMAS EITER, and KATSUMI INOUE. "Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning." Theory and Practice of Logic Programming 18, no. 3-4 (2018): 571–88. http://dx.doi.org/10.1017/s1471068418000261.

Full text

Abstract:

AbstractMeta-Interpretive Learning (MIL) learns logic programs from examples by instantiating meta-rules, which is implemented by the Metagol system based on Prolog. Viewing MIL-problems as combinatorial search problems, they can alternatively be solved by employing Answer Set Programming (ASP), which may result in performance gains as a result of efficient conflict propagation. However, a straightforward ASP-encoding of MIL results in a huge search space due to a lack of procedural bias and the need for grounding. To address these challenging issues, we encode MIL in the HEX-formalism, which

APA, Harvard, Vancouver, ISO, and other styles

8

Ward, R. D., and D. Sleeman. "Learning to use the S.1 knowledge engineering tool." Knowledge Engineering Review 2, no. 4 (1987): 265–76. http://dx.doi.org/10.1017/s026988890000415x.

Full text

Abstract:

AbstractIt is often claimed that it is easy to write expert systems. This claim was examined by monitoring experienced programmers learning to use the S.I knowledge engineering tool. Their achievements and difficulties were examined using a framework that has emerged from previous research into novices learning to use standard programming languages. Even though the experienced programmers all had several years' experience of programming in more than one standard language, there were similarities between their difficulties in learning to use S.I and the difficulties of complete novices learning

APA, Harvard, Vancouver, ISO, and other styles

9

ZHENG, ZIJIAN, and WEI LI. "A HYBRID KNOWLEDGE ENGINEERING DEVELOPMENT ENVIRONMENT (KEDE)." International Journal on Artificial Intelligence Tools 01, no. 04 (1992): 463–502. http://dx.doi.org/10.1142/s0218213092000028.

Full text

Abstract:

This paper presents a brief overview of knowledge-based system building tools. Then a hybrid knowledge engineering development environment called KEDE is described as a powerful toolkit for large AI problems. It provides five kinds of knowledge representations: extended frames, semantic nets, procedural knowledge, object-oriented technique, and predicate logic. Correspondingly, it supports: procedure-oriented, data-oriented, object-oriented, and logic-oriented programming. KEDE gains a very powerful inheritance mechanism using frames. It further provides an automatic retrieval technique for pr

APA, Harvard, Vancouver, ISO, and other styles

10

SINGH, NARINDER, MICHAEL GENESERETH, and MUSTAFA SYED. "A DISTRIBUTED AND ANONYMOUS KNOWLEDGE SHARING APPROACH TO SOFTWARE INTEROPERATION." International Journal of Cooperative Information Systems 04, no. 04 (1995): 339–67. http://dx.doi.org/10.1142/s0218843095000159.

Full text

Abstract:

The support for automatic interoperation of software components can reduce cost and provide greater functionality. This paper describes a novel approach to software interoperation based on specification sharing. Software components, called agents, provide machine processable descriptions of their capabilities and needs. Agents can be realized in different programming languages, and they can run in different processes on different machines. In addition, agents can be dynamic — at run time agents can join the system or leave. The system uses the declarative agent specifications to automatically

APA, Harvard, Vancouver, ISO, and other styles

11

McGhee, Scott, Sivrama Nalluri, Ron Reeve, Robert Rongo, Fritz Prinz, and Jim Hemmerle. "Automatic Programming System for Shipyard Robots." Journal of Ship Production 13, no. 02 (1997): 93–100. http://dx.doi.org/10.5957/jsp.1997.13.2.93.

Full text

Abstract:

The application of robots to variable tasks in unstructured environments presents a series of problems that must be solved in order to achieve viable results Common teaching-type robots cannot be applied in these cases as the programming time and labor investment far exceed the time and cost of direct manual production. Numerically controlled (NC) robots programmed off-line by modified NC methods have been applied with economic success to program robots directly from computer-aided design (CAD) data where tasks are sufficiently repetitive and the operating environment is sufficiently structure

APA, Harvard, Vancouver, ISO, and other styles

12

Karnalim, Oscar, and Aldi Aldiansyah. "Python Source Code Plagiarism Attacks in Object-Oriented Environment." Computer Engineering and Applications Journal 6, no. 3 (2017): 87–84. http://dx.doi.org/10.18495/comengapp.v6i3.217.

Full text

Abstract:

Since source code plagiarism is an emerging issue on Computer Science major and Python is a new popular programming language, this paper aims to empirically enlist plagiarism attacks that might be occurred on Python source code. As our case study, our work will be focused on source code plagiarism in object-oriented environment. The result of this work is expected to become either an evaluation baseline or a prior knowledge for developing Python-targeted plagiarism detection system. Based on 280 plagiarism-suspected pairs that were extracted from four Basic Data Structure classes, four finding

APA, Harvard, Vancouver, ISO, and other styles

13

Voskobitova, L. A. "Criminal Justice and Digital Technology: Compatibility Issue." Lex Russica, no. 5 (May 31, 2019): 91–104. http://dx.doi.org/10.17803/1729-5920.2019.150.5.091-104.

Full text

Abstract:

The paper discusses individual advantages and benefits that the digitalization of criminal procedures can provide. The forms of positive use of digital technologies in practice and the possibility of expanding their use are shown. It is proposed to do this by experimental implementation: a) to introduce them in parallel, along with the traditional ones, or b) to use them completely for different stages of the procedure that are most suitable for formalization and programming. There are three groups of criteria that need to be taken into account: objective characteristics of the nature of crimi

APA, Harvard, Vancouver, ISO, and other styles

14

Garrett, J. H., and A. Jain. "Encore: an object-oriented knowledge-based system for transformer design." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 2, no. 2 (1988): 123–34. http://dx.doi.org/10.1017/s0890060400000603.

Full text

Abstract:

The design of electronic power transformers is an activity that requires the application of well-established algorithms from electromagnetic theory and heuristic, judgmental techniques derived from experience in the design and manufacturing of these devices. This paper describes an object-oriented knowledge-based system, Encore, that was developed at Houston Downhole Sensors (a division of Schlumberger Well Services). Encore combines object-oriented, rule-based, and procedural programming techniques to design 60 Hz power transformers. The system uses a heuristic search strategy to generate des

APA, Harvard, Vancouver, ISO, and other styles

15

Borowczyk, Henryk, Marek Zboiński, Przemysław Jóźwiak, Kamila Dobosz, Andrzej Czarnecki, and Ewa Zarzycka. "Prototype of the expert tribological diagnostic system of turbine engine." Journal of KONBiN 48, no. 1 (2018): 323–40. http://dx.doi.org/10.2478/jok-2018-0058.

Full text

Abstract:

Abstract The article presents issues related to the construction of a prototype of an expert tribological diagnostic system for a turbine engine. The database consists of the results of tests on the chemical composition and concentration of the wear products in the oil sample as well as the physico-chemical parameters of the oil. For all diagnostic parameters, threshold values have been defined to classify the level of wear (normal, elevated, increased and emergency). PC Shell software enabling the combination of a rule representation of knowledge and procedural programming was used to build t

APA, Harvard, Vancouver, ISO, and other styles

16

Kyllonen, Patrick C. "Factors in Predicting Success in the Acquisition of Cognitive Skill." Proceedings of the Human Factors Society Annual Meeting 32, no. 14 (1988): 843–47. http://dx.doi.org/10.1518/107118188786762162.

Full text

Abstract:

This paper reviews two studies that have examined the relationship between performance on basic cognitive tasks, administered on microcomputers, and performance on two learning tasks. One learning task involved computer programming, the other involved learning to trace signals through logic gates, a component of electronics troubleshooting skill. From previous research, we have established a four-source framework: we assume that observed learner differences are due to differences in processing speed; processing capacity; and the breadth, extent, and accessibility of conceptual knowledge and pr

APA, Harvard, Vancouver, ISO, and other styles

17

Gorzelle, Gregg, Michael Skrajner, Cassie Best, and Drew Walker. "An Innovative Model of Dementia Programming for Community-Dwelling Older Adults With Family Caregivers." Innovation in Aging 4, Supplement_1 (2020): 272–73. http://dx.doi.org/10.1093/geroni/igaa057.872.

Full text

Abstract:

Abstract Decide, Discover, and Do!TM (D3) is an alpha-version iPad application developed and evaluated in a National Institute on Aging-funded Phase 1 SBIR project. The goal of D3 is to enhance the quality of life and care for community-dwelling persons living with dementia whose primary care partners are family members. D3 consists of (1) evidence-based activities for care partners to facilitate with their loved ones and (2) video-based interactive training on best practices in dementia care, for care partners. The activities are unique in that they create an overarching narrative for daily a

APA, Harvard, Vancouver, ISO, and other styles

18

Zhu, Zeng Bao, Jun Ji, Can Li, and Ji Xu Rong. "3-D Precise Modeling of Modified Gear Based on Visual Basic." Advanced Materials Research 591-593 (November 2012): 777–80. http://dx.doi.org/10.4028/www.scientific.net/amr.591-593.777.

Full text

Abstract:

The design process of involute spur modified gear is very complicated, especially the accurate mapping of the tooth profile curve, in which it must demands specialized knowledge to designers by procedural programming method. According to the tooth profile curve calculation method as well as its relationship with cutter, get the curve equation of involute and tooth root transition curve. Compiled each the program of the calculating curve of tooth profile by Visual Basic, and built the precision model of involute spur modification gear based on the SolidWorks through the secondary development. T

APA, Harvard, Vancouver, ISO, and other styles

19

Hong, Heekyung. "Development of a Basic Liberal Arts Curriculum Related to Coding to Strengthen Core Competencies －Focusing on Python programming basics." Korean Association of General Education 15, no. 4 (2021): 187–203. http://dx.doi.org/10.46392/kjge.2021.15.4.187.

Full text

Abstract:

Today's university education derives the core competencies of future talent. In addition, in order to strengthen these targeted core competencies, teaching and learning methods and educational evaluation methods are being studied through various approaches. Within this trend, the need for performance evaluation is being emphasized more in a curriculum that requires technical, procedural, and experiential knowledge in order that it might be evaluated in connection with core competencies, such as coding education. Also, the need to develop a rubric that can guarantee the reliability of the resul

APA, Harvard, Vancouver, ISO, and other styles

20

Boyle, James M., and Terence J. Harmer. "A practical functional program for the CRAY X-MP." Journal of Functional Programming 2, no. 1 (1992): 81–126. http://dx.doi.org/10.1017/s0956796800000289.

Full text

Abstract:

AbstractOne can have all the advantages of functional programming – correctness, clarity, simplicity, and flexibility – without any sacrifice in performance, even for a scientifically significant computation on a supercomputer. Therefore, why use Fortran? We demonstrate parity – equality of speed and storage use – between a program generated automatically from a functional specification and a program written by hand in the procedural style. To our knowledge, this demonstration of parity is the first for a program that solves a scientifically significant problem – quasi-linear hyperbolic partia

APA, Harvard, Vancouver, ISO, and other styles

21

Gorzelle, Gregg, Michael Skrajner, John Zeisel, Cassie Best, and Drew Walker. "DECIDE, DISCOVER, AND DO: AN INTERVENTION FOR COMMUNITY-DWELLING INDIVIDUALS WITH DEMENTIA." Innovation in Aging 3, Supplement_1 (2019): S463. http://dx.doi.org/10.1093/geroni/igz038.1730.

Full text

Abstract:

Abstract Decide, Discover, and Do!TM (D3) is a mobile application being developed and evaluated in an NIA-funded Phase 1 SBIR project. The goal of D3 is to enhance the quality of life and care for community-dwelling individuals with dementia (IWD) whose primary care partners (CPs) are their family members. D3 consists of (1) video-based, interactive training for family CPs on best practices in dementia care and (2) evidence-based activities for CPs to facilitate with their loved ones. The study examines the impact of D3 training modules on knowledge transfer and the effects of D3 activities on

APA, Harvard, Vancouver, ISO, and other styles

22

Brack, Cristopher L., and Peter L. Marshall. "A test of knowledge-based forest operations scheduling procedures." Canadian Journal of Forest Research 26, no. 7 (1996): 1193–202. http://dx.doi.org/10.1139/x26-133.

Full text

Abstract:

Five knowledge-based approaches (three search routines and two expert systems) to forest operations scheduling were compared with mathematical programming (linear programming and mixed integer programming) and simulation approaches for two plantation forests in New South Wales, Australia. Strategies produced using these approaches were compared on the basis of scores for timber volume flow, scenic beauty, stand health, and water quality. Timber flow scores were highest for the linear programming strategies, but some of the strategies produced by the knowledge-based approaches scored almost as

APA, Harvard, Vancouver, ISO, and other styles

23

Popelka, Ondřej, and Jiří Šťastný. "WWW portal usage analysis using genetic algorithms." Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis 57, no. 6 (2009): 201–8. http://dx.doi.org/10.11118/actaun200957060201.

Full text

Abstract:

The article proposes a new method suitable for advanced analysis of web portal visits. This is part of retrieving information and knowledge from web usage data (web usage mining). Such information is necessary in order to gain better insight into visitor’s needs and generally consumer behaviour. By leveraging this information a company can optimize the organization of its internet presentations and offer a better end-user experience. The proposed approach is using Grammatical evolution which is computational method based on genetic algorithms. Grammatical evolution is using a context-free g

APA, Harvard, Vancouver, ISO, and other styles

24

Friedrich, G., G. Gottlob, and W. Nejdl. "Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques." Computers & Mathematics with Applications 20, no. 9-10 (1990): 57–72. http://dx.doi.org/10.1016/0898-1221(90)90112-w.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Chakroborty, Sajal, and M. Babul Hasan. "An Impeccable Solution Procedure of Stochastic Programming Problems by Inserting Scenarios in Deterministic Case." GANIT: Journal of Bangladesh Mathematical Society 36 (June 3, 2017): 19–32. http://dx.doi.org/10.3329/ganit.v36i0.32770.

Full text

Abstract:

In this paper, a new technique has been developed for solving stochastic programming problems by using the idea of decomposition based pricing method. A computer code has also been developed by using a mathematical programming language AMPL and a real life oriented model has been developed. The technique has been demonstrated by analyzing the model for different data sets which has been collected for different scenarios. To our knowledge, this is the first work for solution procedure of stochastic programming problems by using decomposition based pricing method.GANIT J. Bangladesh Math. Soc.Vo

APA, Harvard, Vancouver, ISO, and other styles

26

KAINDL, HERMANN, and HOLGER G. ZIEGELER. "REASONING TYPES AND AI PROGRAMMING PARADIGMS." International Journal of Software Engineering and Knowledge Engineering 02, no. 01 (1992): 107–19. http://dx.doi.org/10.1142/s0218194092000063.

Full text

Abstract:

This article investigates the notion of reasoning types and tries to contribute to its clarification, placing special emphasis on relationships to AI programming paradigms. There are probably several different dimensions of reasoning. Here we identify two dimensions, one of which orders reasoning types along the scale "inductive/deductive", whereas the other is closely related to programming paradigms. We would argue for the combination of reasoning types along both these dimensions. In fact, we have integrated heuristic and causal reasoning with various AI programming paradigms and traditiona

APA, Harvard, Vancouver, ISO, and other styles

27

SAKAMA, CHIAKI, and KATSUMI INOUE. "An abductive framework for computing knowledge base updates." Theory and Practice of Logic Programming 3, no. 6 (2003): 671–715. http://dx.doi.org/10.1017/s1471068403001716.

Full text

Abstract:

This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive programs to update programs which are logic programs specifying changes on abductive hypotheses. Then, extended abduction, which was introduced by the same authors as a generalization of traditional abduction, is computed by the answer sets of update programs. Next, different types of updates, view updates and theory updates are characterized by abductive programs and computed by update programs. The task of consistency

APA, Harvard, Vancouver, ISO, and other styles

28

Zaika, I. V. "THE WORK WITH DYNAMIC ARRAYS AND TEXT FILES IN THE VISUAL PROGRAMMING ENVIRONMENT DELPH." Informatics in school, no. 4 (July 3, 2020): 44–48. http://dx.doi.org/10.32517/2221-1993-2020-19-4-44-48.

Full text

Abstract:

No programming language can do without a description of structured data types such as arrays. The article discusses the possibility of working with dynamic arrays and text files in Delphi 7. The Notebook program is developed in the visual programming environment Delphi 7, which can be used to study object oriented programming in a school informatics course. The procedures and functions for working with dynamic arrays in Delphi 7 are presented. The necessary theoretical information for working with records and text files in Delphi 7 is presented. The code listings are given with detailed explan

APA, Harvard, Vancouver, ISO, and other styles

29

FEIER, CRISTINA, and STIJN HEYMANS. "Reasoning with Forest Logic Programs and f-hybrid knowledge bases." Theory and Practice of Logic Programming 13, no. 3 (2011): 395–463. http://dx.doi.org/10.1017/s1471068411000597.

Full text

Abstract:

AbstractOpen Answer Set Programming (OASP) is an undecidable framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist. In this paper, we provide a sound, complete, and terminating algorithm for satisfiability checking w.r.t. Forest Logic Programs (FoLPs), a fragment of OASP where rules have a tree shape and allow for inequality atoms and constants. The algorithm establishes a decidability result for FoLPs. Although believed to be decidable, so far only the decidability for two small subsets of FoLPs, local

APA, Harvard, Vancouver, ISO, and other styles

30

Devyatkov, V. V., and A. R. Kadyrbaeva. "Verification of Knowledge Obtained in the Study of Business Process Models." Herald of the Bauman Moscow State Technical University. Series Instrument Engineering, no. 4 (133) (December 2020): 99–113. http://dx.doi.org/10.18698/0236-3933-2020-4-99-113.

Full text

Abstract:

The paper focuses on the method of formal verification of knowledge obtained in the study of business process models. As a formal language for the presentation and verification of business processes, a certain version of π-calculus was chosen, and linear temporal modal logic was chosen as a language for formulating test assignments, i.e., questions, to be checked. The paper gives the rationale for such choice, and considers the principles of developing the test assignments in the language of modal logic and their usage for knowledge verification. The study proposes to automate knowledge testin

APA, Harvard, Vancouver, ISO, and other styles

31

Andreev, Dmitry, Sergey Lyokhin, Olga Poletaeva, and Victor Nikolaev. "DEVELOPMENT OF SOFTWARE FOR DESIGN ONTOLOGICAL REPRESENTATIONS OF PRODUCTION TECHNOLOGIES." ENVIRONMENT. TECHNOLOGIES. RESOURCES. Proceedings of the International Scientific and Practical Conference 2 (June 20, 2019): 28. http://dx.doi.org/10.17770/etr2019vol2.4064.

Full text

Abstract:

The features of the progressive methodological basis for the construction of formalized descriptions of technologies for their subsequent analysis are discussed. The existing possibilities of ontological knowledge engineering applied to the problem of the structural representation of technologies using computer tools are noted. Presented functionality of the developed software that allows automating staged algorithmic procedures for constructing unified decomposition structures of formalized descriptions of technologies. Analysed following development tools: Java Standard Edition programming p

APA, Harvard, Vancouver, ISO, and other styles

32

You, An Bi, and Bin Yu. "Trial Development of a Virtual Mine." Advanced Materials Research 268-270 (July 2011): 2087–90. http://dx.doi.org/10.4028/www.scientific.net/amr.268-270.2087.

Full text

Abstract:

To deepen the student’s comprehension and visual impression of mining knowledge while avoiding the risk and cost of visiting real mines, a virtual mine teaching platform was developed with 3DS as modelling tool and virtools as programming tool. Having this teaching platform, students can visually obverse the 3D layout of mines and mining procedures, roam about the mine, and even manipulate the mining device interactively, get judgment of his actions. This teaching platform greatly enhance the efficiency, safety and quality of mining speciality education, it also has good prospect to mine staff

APA, Harvard, Vancouver, ISO, and other styles

33

Dolinsky, M. S., and M. A. Dolinskaya. "Technology of differentiated training bases of algorithmization and programming on the first course of the university on the basis of the DL.GSU.BY system of distance learning." Informatics and education, no. 6 (September 26, 2021): 60–66. http://dx.doi.org/10.32517/0234-0453-2021-36-6-60-66.

Full text

Abstract:

The article describes the technology of teaching text-based programming on the basis of the DL.GSU.BY website. The main advantages of the technology include: “zero entry threshold”, training adapted to the student, many years of practical experience, efficiency, scalability. The following issues are consistently considered in the article: idealized goal setting; the use by students of a programming language of their choice from a variety of modern programming languages when performing practical tasks in the discipline; a clear verification of goal achievement; blended learning; effective perso

APA, Harvard, Vancouver, ISO, and other styles

34

ORSI, GIORGIO, and LETIZIA TANCA. "Introduction to the TPLP special issue, logic programming in databases: From Datalog to semantic-web rules." Theory and Practice of Logic Programming 10, no. 3 (2010): 243–50. http://dx.doi.org/10.1017/s1471068410000086.

Full text

Abstract:

Much has happened in data and knowledge base research since the introduction of the relational model in Codd (1970) and its strong logical foundations influence its advances ever since. Logic has been a common ground where Database and Artificial Intelligence research competed and collaborated with each other for a long time (Abiteboul et al. 1995). The product of this joint effort has been a set of logic-based formalisms, such as the Relational Calculus (Codd 1970), Datalog (Ceri et al. 1990), Description Logics (Baader et al. 2007), etc., capturing not only the structure but also the semanti

APA, Harvard, Vancouver, ISO, and other styles

35

Azarov, Olexiy, Leonid Krupelnitsky, and Hanna Rakytyanska. "Television Rating Control in the Multichannel Environment Using Trend Fuzzy Knowledge Bases and Monitoring Results †." Data 3, no. 4 (2018): 57. http://dx.doi.org/10.3390/data3040057.

Full text

Abstract:

The purpose of this study is to control the ratio of programs of different genres whenforming the broadcast grid in order to increase and maintain the rating of a channel. In themultichannel environment, television rating controls consist of selecting content, the ratings ofwhich are completely restored after advertising. The hybrid approach to rule set refinement basedon fuzzy relational calculus simplifies the process of expert recommendation systems construction.By analogy with the problem of the inverted pendulum control, the managerial actions aim to retainthe balance between the fuzzy de

APA, Harvard, Vancouver, ISO, and other styles

36

Hudec, Premysl, and Viktor Adler. "On the Testing of Advanced Automotive Radar Sensors by Means of Target Simulators." Sensors 20, no. 9 (2020): 2714. http://dx.doi.org/10.3390/s20092714.

Full text

Abstract:

The rapid development and wide commercial implementation of automotive radar sensors are strengthening the already considerable interest in matching radar target simulators. Such simulators boast promising results when used for both essential functional inspections of active sensors and the high-speed testing of numerous traffic scenarios while examining complex reactions of automobile electronic systems. For these purposes, advanced versions of target simulators enabling a generation of multiple targets moving at different velocities and ranges are required. The design, practical implementati

APA, Harvard, Vancouver, ISO, and other styles

37

Beckworth, Colin, Alison Riddle, Victoria Sauveplane-Stirling, et al. "Mobilizing Knowledge: A Comprehensive Toolkit for Quality Assured Nutrition Data and Piloting Gender Indicators." Current Developments in Nutrition 4, Supplement_2 (2020): 1159. http://dx.doi.org/10.1093/cdn/nzaa056_006.

Full text

Abstract:

Abstract Objectives Nutrition International (NI) sought to standardize and add novel indicators to the multiple coverage surveys conducted each year on maternal, newborn, infant and child nutrition programs to assure quality and timely, gender-related data that meets next-generation monitoring needs. Methods In collaboration with Campbell Collaboration (CC) and University of Toronto (UT), NI developed a comprehensive step-wise survey toolkit with multiple intervention modules using a systematic process for selecting and contextualizing indicators (NI), validating data quality (NI-UT) and pilot

APA, Harvard, Vancouver, ISO, and other styles

38

Mares, Jaromir, Vaclav Zajicek, Aly Hawa Camara, and Katerina Pochobradska. "Operation of Military Equipment and Utilization of New Pedagogical Approaches to Improve the Efficiency in the Educational Process." International conference KNOWLEDGE-BASED ORGANIZATION 22, no. 1 (2016): 72–77. http://dx.doi.org/10.1515/kbo-2016-0014.

Full text

Abstract:

Abstract The paper deals with the enhancement efficiency of pedagogical procedures of military equipment operation. The aim of the paper is to point out how there were created selected sequences of logistics processes implemented in the use and maintenance, including information support for available analytical tools. There were also redefined logistics processes to understand management functions and logistics processes. As a result of the research a software was developed, which by basic analogous methods and programming helps to develop the educational e-learning program. The program is app

APA, Harvard, Vancouver, ISO, and other styles

39

DOMINEY, PETER FORD, ANTHONY MALLET, and EIICHI YOSHIDA. "REAL-TIME SPOKEN-LANGUAGE PROGRAMMING FOR COOPERATIVE INTERACTION WITH A HUMANOID APPRENTICE." International Journal of Humanoid Robotics 06, no. 02 (2009): 147–71. http://dx.doi.org/10.1142/s0219843609001711.

Full text

Abstract:

An apprentice is an able-bodied individual that will interactively assist an expert, and through this interaction, acquire knowledge and skill in the given task domain. A humanoid apprentice should have a useful repertoire of sensory-motor acts that the human can command with spoken language, along with a real-time behavioral sequence acquisition ability. The learned sequences should function as executable procedures that can operate in a flexible manner that are not rigidly sensitive to initial conditions. Our study integrates these capabilities in a real-time system on the HRP-2 humanoid, fo

APA, Harvard, Vancouver, ISO, and other styles

40

Hutter, F., H. H. Hoos, K. Leyton-Brown, and T. Stuetzle. "ParamILS: An Automatic Algorithm Configuration Framework." Journal of Artificial Intelligence Research 36 (October 30, 2009): 267–306. http://dx.doi.org/10.1613/jair.2861.

Full text

Abstract:

The identification of performance-optimizing parameter settings is an important part of the development and application of algorithms. We describe an automatic framework for this algorithm configuration problem. More formally, we provide methods for optimizing a target algorithms performance on a given class of problem instances by varying a set of ordinal and/or categorical parameters. We review a family of local-search-based algorithm configuration procedures and present novel techniques for accelerating them by adaptively limiting the time spent for evaluating individual configurations. We

APA, Harvard, Vancouver, ISO, and other styles

41

Zannoni, Elena, and Robert G. Reynolds. "Learning to Control the Program Evolution Process with Cultural Algorithms." Evolutionary Computation 5, no. 2 (1997): 181–211. http://dx.doi.org/10.1162/evco.1997.5.2.181.

Full text

Abstract:

Traditional software engineering dictates the use of modular and structured programming and top-down stepwise refinement techniques that reduce the amount of variability arising in the development process by establishing standard procedures to be followed while writing software. This focusing leads to reduced variability in the resulting products, due to the use of standardized constructs. Genetic programming (GP) performs heuristic search in the space of programs. Programs produced through the GP paradigm emerge as the result of simulated evolution and are built through a bottom-up process, i

APA, Harvard, Vancouver, ISO, and other styles

42

Wawrzosek, Jacek, and Szymon Ignaciuk. "Postoptimization of the model of water supply for urban and industrial agglomeration." ITM Web of Conferences 23 (2018): 00035. http://dx.doi.org/10.1051/itmconf/20182300035.

Full text

Abstract:

A case study of the tools used by an analyst of the economic aspects of the operation of the water supply network has been undertaken in this paper. All issues discussed here are formulated by using degenerated linear programming models ( PL ). Below, it is noted that the linear dependence of binding constraints ( CO ) distorts standard postoptimization procedures in PL. This observed fact makes postoptimization analysis mostly unhelpful for an average analyst due to problems with the int erpretation of ambiguous sensitivity reports which are obtained from popular computer packages. In standar

APA, Harvard, Vancouver, ISO, and other styles

43

Cardoso, L., F. Marins, R. Magalhães, et al. "Abstract Computation in Schizophrenia Detection through Artificial Neural Network Based Systems." Scientific World Journal 2015 (2015): 1–10. http://dx.doi.org/10.1155/2015/467178.

Full text

Abstract:

Schizophrenia stands for a long-lasting state of mental uncertainty that may bring to an end the relation among behavior, thought, and emotion; that is, it may lead to unreliable perception, not suitable actions and feelings, and a sense of mental fragmentation. Indeed, its diagnosis is done over a large period of time; continuos signs of the disturbance persist for at least 6 (six) months. Once detected, the psychiatrist diagnosis is made through the clinical interview and a series of psychic tests, addressed mainly to avoid the diagnosis of other mental states or diseases. Undeniably, the ma

APA, Harvard, Vancouver, ISO, and other styles

44

Rao, J. R., and P. Y. Papalambros. "PRIMA: A Production-Based Implicit Elimination System for Monotonicity Analysis of Optimal Design Models." Journal of Mechanical Design 113, no. 4 (1991): 408–15. http://dx.doi.org/10.1115/1.2912797.

Full text

Abstract:

Monotonicity analysis is a useful method for analyzing optimal design models prior to numerical computation. Much of the information required for such analysis is represented in the monotonicity table. Rigorous procedures using the monotonicity principles and the implicit function theorem have been combined with heuristics, to extract additional constraint activity knowledge based only on the information contained in the monotonicity table. PRIMA is a production system implemented in the OPS5 programming environment. The system receives as input the monotonicity table of the initial model and

APA, Harvard, Vancouver, ISO, and other styles

45

Ma, Jun, Mei Fan, and Yi De Ma. "Program Simulation of Cell Division and Differentiation Based on P-Code." Advanced Materials Research 749 (August 2013): 221–27. http://dx.doi.org/10.4028/www.scientific.net/amr.749.221.

Full text

Abstract:

By observing the process of hatch chickens, then combined with the modern biological knowledge and computer programming technology the paper proposed a hypothesis--coding sequence of DNA in cell is a set of program code sequence which includes instructions and data. And by making some program model, the paper simulated the two key procedures in life phenomena, namely cell division and cell differentiation. Then we can get some interesting ideas: If we look DNA coding sequence as program code sequence, the life phenomena is fully consistent with the principle of computer process . It is a macro

APA, Harvard, Vancouver, ISO, and other styles

46

Zhou, Ying Nan. "Analysis of Characteristics and Safety of Numerically Controlled Lathe." Applied Mechanics and Materials 214 (November 2012): 887–92. http://dx.doi.org/10.4028/www.scientific.net/amm.214.887.

Full text

Abstract:

Numerically controlled lathe has the features of high flexibility and high precision machining, efficient and conducive to the production management, and requires the operator to high technology, knowledge of programming concepts. During operation, the following security issues can use the following ways to reduce: numerically controlled lathe’s commonly programmed must be right, numerically controlled lathe’s processing procedures must be checked to get rid of its being breakdown, coordinate system and tool radius compensation’s install must be right, pay attention to teaching and management

APA, Harvard, Vancouver, ISO, and other styles

47

Schobel, Johannes, Thomas Probst, Manfred Reichert, et al. "Measuring Mental Effort for Creating Mobile Data Collection Applications." International Journal of Environmental Research and Public Health 17, no. 5 (2020): 1649. http://dx.doi.org/10.3390/ijerph17051649.

Full text

Abstract:

To deal with drawbacks of paper-based data collection procedures, the QuestionSys approach empowers researchers with none or little programming knowledge to flexibly configure mobile data collection applications on demand. The mobile application approach of QuestionSys mainly pursues the goal to mitigate existing drawbacks of paper-based collection procedures in mHealth scenarios. Importantly, researchers shall be enabled to gather data in an efficient way. To evaluate the applicability of QuestionSys, several studies have been carried out to measure the efforts when using the framework in pra

APA, Harvard, Vancouver, ISO, and other styles

48

Begliardo Olivero, Hugo Félix, and Matías Bonelli Hernández. "Plane trusses optimization by means of parametric design and genetic algorithms applying visual programming." Ingeniería Investigación y Tecnología 20, no. 4 (2019): 1–10. http://dx.doi.org/10.22201/fi.25940732e.2019.20n4.038.

Full text

Abstract:

The optimization of structures is a wished goal, but it is not always achieved in engineering practice, due to either the large additional effort that it demands or the lack of necessary resources to carry it out. Structural engineers usually use batch procedures, consisting of utilizing the software, in which data are input, running the analysis and evaluating the results, along which it is decided whether the design is accepted or modifications must be made, in which case the process is repeated again. The consequence of this is that the final result, normally, will always be improvable. For

APA, Harvard, Vancouver, ISO, and other styles

49

Castilho, Bernardo de, and Francis Navin. "A rule-based system for highway route location." Canadian Journal of Civil Engineering 15, no. 5 (1988): 747–58. http://dx.doi.org/10.1139/l88-099.

Full text

Abstract:

Highway location is one of the basic but more complex problems in highway development. It is ill-structured by nature, involving the assessment of a variety of impacts, some of which are very difficult to quantify. Furthermore, the data available are often uncertain, especially in the early stages of the project.This paper outlines the use of Prolog for a prototype of a highway location assistant system. The main issues addressed are the way in which uncertain information is handled, the flexibility of the structures used to represent spatial data, and how conventional evaluation procedures ca

APA, Harvard, Vancouver, ISO, and other styles

50

O’Brien, Myles W., Nick W. Bray, Matthew J. Kivell, and Jonathon R. Fowles. "A scoping review of exercise referral schemes involving qualified exercise professionals in primary health care." Applied Physiology, Nutrition, and Metabolism 46, no. 9 (2021): 1007–18. http://dx.doi.org/10.1139/apnm-2020-1070.

Full text

Abstract:

Qualified exercise professionals (QEPs) have the training, knowledge, and scope of practice to effectively provide physical activity counselling, prescribe exercise, and deliver exercise programming to patients with or without chronic diseases. Healthcare providers identify an interest in referring patients to QEPs; however, the impact of exercise referral schemes (ERS) involving QEPs on patients’ physical health is unclear. A scoping review regarding the available evidence of ERS involving healthcare provider referrals to QEPs was performed. A literature search was conducted in 6 databases (i

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!