Results 11 to 20 of about 611,275 (302)
AUTOMATION AND GAMIFICATION OF COMPUTER SCIENCE STUDY
Studia Universitatis Babes-Bolyai: Series Informatica, 2019 A large part of the job of a university teacher in computer science is to verify student exercises. The task of verifying correctness, coding style, conventions, and grading is laborious and if done correctly leaves little time for questions. Automating
Imre ZSIGMOND
doaj +1 more source
Data preparation automation for computer simulation of cross-wedge rolling
Весці Нацыянальнай акадэміі навук Беларусі: Серыя фізіка-тэхнічных навук, 2020 Data preparation for computer simulation of cross-wedge rolling (CWR) process based on ANSYS/LS-DYNA finite element code is considered in the article. In order to automate the process of developing CWR models and performing their finite element analysis,
A. A. Abramov
doaj +1 more source
Norwegian Research and Development in the Field of Ship Automation [PDF]
Modeling, Identification and Control, 1984 This survey paper briefly describes how ship automation was developed in Norway as a joint effort of research institutes, industrial companies and the shipping companies and organizations.
Ibb Höivold
doaj +1 more source
Automated quality control in Computed Radiography [PDF]
La radiologia medica, 2006 The purpose of this paper is to describe the automation of quality control procedures on photo-stimulable imaging plates by means of an image-processing tool providing automatic reading of the images and automatic calculation of the quality parameters monitored.Quality-control procedures were performed according to the main available guidelines.
ROPOLO R +8 more
openaire +3 more sources
Multi-level computer systems for automation of scientific research [PDF]
ITM Web of ConferencesThe article is devoted to multi-level computer systems used to automate scientific research. The authors show that to automate scientific research, it is important to correctly formulate the composition of hardware and software for experimental ...
Kovalev Igor +3 more
doaj +1 more source
Design and Implementation of Microcontroller-Based Building Automation for Smart Computer Laboratory
IJIE (Indonesian Journal of Informatics Education), 2020 This research provided device management automation for computer laboratories using Arduino. Some devices in computer laboratories such as Air Conditioners and LCD Projectors were always on while the device not used.
Puspanda Hatta +2 more
doaj +1 more source
Automate IGP and EGP Routing Protocol Configuration using a Network Automation Library
JOIN: Jurnal Online Informatika, 2023 Data communication is sending data from client to client through a computer network. The increasing use of data communication makes computer networks more complex.
Yuansa Alfaresa +2 more
doaj +1 more source
ACM Transactions on Mathematical Software, 2010 We describe here a library aimed at automating the solution of partial differential equations using the finite element method. By employing novel techniques for automated code generation, the library combines a high level of expressiveness with efficient computation.
Logg, A, Wells, GN
openaire +2 more sources
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories [PDF]
, 2019 The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting complex logical features like alethic and ...
A Gewirth +16 more
core +2 more sources
Review on Computer Aided Sewer Pipeline Defect Detection and Condition Assessment
Infrastructures, 2019 Physical and operational inspection of sewer pipelines is critical to sustaining an acceptable level of system serviceability. Emerging inspection tools in addition to developments in sensor and lens technologies have facilitated sewer condition ...
Saeed Moradi +2 more
doaj +1 more source