Acceder

Bibliografías temáticas / Electronic spreadsheets – Computer programs – Testing / Artículos de revistas

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Electronic spreadsheets – Computer programs – Testing.

Artículos de revistas sobre el tema "Electronic spreadsheets – Computer programs – Testing"

Autor: Grafiati

Publicado: 4 de junio de 2021

Última modificación: 1 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 40 mejores artículos de revistas para su investigación sobre el tema "Electronic spreadsheets – Computer programs – Testing".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Wilson, Virginia. "Female Public Library Patrons Value the Library for Services, Programs, and Technology." Evidence Based Library and Information Practice 4, no. 1 (2009): 17. http://dx.doi.org/10.18438/b8dp58.

Texto completo

Resumen

A Review of: Fidishun, Dolores. “Women and the Public Library: Using Technology, Using the Library.” Library Trends 56.2 (2007): 328-43.  Objective – This study attempts to give insight into why and how women use the public library and information technology, and how they learned to use the technology.  Design – Qualitative survey.  Setting – The research took place at the Chester County Library in Exton, Pennsylvania, USA.  Subjects – One hundred and eighty-four female library patrons 18 years and older.  Methods – An anonymous

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Klimasara, Anthony J. "Electronic Spreadsheets for XRF - Survey and Comparison." Advances in X-ray Analysis 39 (1995): 805–13. http://dx.doi.org/10.1154/s0376030800023272.

Texto completo

Resumen

The electronic spreadsheet market for the IBM or compatible PC has become competitive. One can find a dozen or more different spreadsheet programs available today which are very nicely graphically “dressed,” Computer journals indicate that the main spreadsheet competitors.

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Khumrin, Piyapong, Ariyaphong Wongnoppavich, Khemmapop Boonploy, and Volaluck Supajatura. "A new approach to Computer-Based Examinations using word documents and spreadsheets." INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY 12, no. 3 (2014): 3319–24. http://dx.doi.org/10.24297/ijct.v12i3.3241.

Texto completo

Resumen

This paper describes a new approach to computer based testing where lecturers submit questions via word document which is processed to produce an examination, with student results analyzed and reported in a spreadsheet. The overall process starts with lecturers sending question files in word document format via email to the service provider. The questions are passed through the approval process using the editing system and then transferred to the examination system. The examination system directly accesses information from the question files to create a test, which students complete by inserti

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Zheng, Peng, Theophilus A. Benson, and Chengchen Hu. "Building and Testing Modular Programs for Programmable Data Planes." IEEE Journal on Selected Areas in Communications 38, no. 7 (2020): 1432–47. http://dx.doi.org/10.1109/jsac.2020.2986693.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Hwang, S., and R. Rajsuman. "VLSI Testing for High Reliability: Mixing IDDQ Testing With Logic Testing." VLSI Design 5, no. 3 (1997): 299–311. http://dx.doi.org/10.1155/1997/59329.

Texto completo

Resumen

In this paper, we examine the effectiveness of combined logic and IDDQ testing to detect stuck-at and bridging faults. The stuck-at faults are detected by the logic test and IDDQ testing detects bridging faults.Near minimal stuck-at test sets are used for this combined logic and IDQQ test environment. These near minimal stuck-at test sets are generated using standard test programs, while using collapsed fault lists. We examined ISCAS '85 and ISCAS '89 benchmark circuits under this combined test environment. A comparison is given for the fault coverage obtained under this combined test environm

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Guignard, Anais, Jean-Marc Faure, and Gregory Faraut. "Model-Based Testing of PLC Programs With Appropriate Conformance Relations." IEEE Transactions on Industrial Informatics 14, no. 1 (2018): 350–59. http://dx.doi.org/10.1109/tii.2017.2695370.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Chukhray, Andrey, and Olena Havrylenko. "The method of student's query analysis while intelligent computer tutoring in SQL." RADIOELECTRONIC AND COMPUTER SYSTEMS, no. 2 (June 2, 2021): 78–86. http://dx.doi.org/10.32620/reks.2021.2.07.

Texto completo

Resumen

Recently, IT specialties have become one of the most demanded specialties in the world labor market. Simultaneously the traditional teaching in conditions of mass production, even with a professional teacher, has a significant drawback – the fundamental impossibility of adapting to each student. Since the 60s of the twentieth century, researchers worldwide have been developing various computer-tutoring tools that have, less or more, adaptive functions. Nevertheless, the task of the perfect computer tutor development is still far from being solved. The article's research subject is the process

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Qi, Ning, Qing Guan Chen, and Yao Xing Jiang. "General Design of a Kind of Electronic Testing System for Raw Silk." Advanced Materials Research 175-176 (January 2011): 424–28. http://dx.doi.org/10.4028/www.scientific.net/amr.175-176.424.

Texto completo

Resumen

To speed up the research pace of domestic electronic testing for raw silk in China, the hardware and software of single-spindle, the general design programs of multi-spindles, the solutions and theories of the existing domestic and international electronic testing for raw silk were discussed and summarized to form an electronic testing system and develop a software package. The system was supported by development environment of Virtual Instrument, the thread guide bayonet and circuit frequency of SD-1(a kind of raw silk instrument) sensor were improved to make the information of the raw silk s

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Putra, Rido, and Edidas Edidas. "KOMPARATIF HASIL BELAJAR MAHASISWA REGULER DENGAN MANDIRI PENDIDIKAN TEKNIK INFORMATIKA FT-UNP." Voteteknika (Vocational Teknik Elektronika dan Informatika) 7, no. 2 (2019): 126. http://dx.doi.org/10.24036/voteteknika.v7i2.104364.

Texto completo

Resumen

Padang State University is a state university that was established in West Sumatra with various faculties including engineering faculties in charge of various departments, one of which is electronics engineering majors consisting of electronics engineering study programs, electronic engineering education programs and informatics and computer engineering education courses . Various assumptions emerged with student admissions from both the regular and independent lane. To answer these assumptions, a study was conducted aimed at looking at a comparison of learning outcomes between regular entry s

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Kin, Kenzi, Orochi Oki, and Raiden Rai. "Impact Of Computer Anxiety On Computer Self Efficacy." IAIC Transactions on Sustainable Digital Innovation (ITSDI) 2, no. 1 (2020): 69–74. http://dx.doi.org/10.34306/itsdi.v2i1.354.

Texto completo

Resumen

Data innovation is as of now turning into a worldwide pattern, where it tends to be analyzed by the regular utilization of different incorporated exercises utilizing PC gadgets. When contrasted with manual frameworks, electronic frameworks additionally give a few favorable circumstances to its clients, for example, programmed posting, result volume, speed, mistake counteraction, etc. Aside from these preferences, frequently the outcomes to be accomplished in the utilization of frameworks are mechanized not accomplished, this is likewise because of the irregularity between the modernity of data

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

Chandra, Anshuman, Krishnendu Chakrabarty, and Mark C. Hansen. "Efficient Test Application for Core-Based Systems Using Twisted-Ring Counters." VLSI Design 12, no. 4 (2001): 475–86. http://dx.doi.org/10.1155/2001/75139.

Texto completo

Resumen

We present novel test set encoding and pattern decompression methods for core-based systems. These are based on the use of twisted-ring counters and offer a number of important advantages–significant test compression (over 10X in many cases), less tester memory and reduced testing time, the ability to use a slow tester without compromising test quality or testing time, and no performance degradation for the core under test. Surprisingly, the encoded test sets obtained from partially-specified test sets (test cubes) are often smaller than the compacted test sets generated by automatic test patt

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

Leo, Fabian, Miriam Songa Stegemann, and Florian Maurer. "Antibiotic Stewardship bei ambulant erworbener Pneumonie." DMW - Deutsche Medizinische Wochenschrift 145, no. 06 (2020): 383–92. http://dx.doi.org/10.1055/a-0993-1164.

Texto completo

Resumen

AbstractAntibiotic stewardship (ABS) denotes structured and continuous measures to improve the quality of prescribing anti-infectives. The aim is to achieve optimal treatment results and to minimize undesirable effects, especially the emergence of antibiotic resistance. This review summarizes the most important ABS principles based on recently published studies with implications for the management of community-acquired pneumonia. Local guidelines, education and training and “prospective audit and feedback” are established strategies to improve the management of patients with community-acquired

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

AKBAY, TUNCER. "Test Delivery Medium Matters: Cognitive Effort Exertion on Assessment." Malaysian Online Journal of Educational Technology 9, no. 2 (2021): 76–85. http://dx.doi.org/10.52380/mojet.2021.9.2.273.

Texto completo

Resumen

Integration of e-learning and computerized assessments into many levels of educational programs has been increasing as digital technology progresses. Due to a handful of prominent advantages of computer-based-testing (CBT), a rapid transition in test administration mode from paper-based-testing (PBT) to CBT has emerged. Recently, many national and international testing agencies have been offering an electronic version of some low- and high-stake tests along with their paper versions. In this study, we aim to examine test administration mode effect from a standpoint of cognitive effort exertion

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Laprovitta, Agustín, Gabriela Peretti, and Eduardo Romero. "Applying the Analog Configurability Test Approach in a Wireless Sensor Network Application." Journal of Electrical and Computer Engineering 2014 (2014): 1–14. http://dx.doi.org/10.1155/2014/309193.

Texto completo

Resumen

This work addresses the application of the analog configurability test (ACT) approach for an embedded analog configurable circuit (EACC), composed of operational amplifiers and interconnection resources that are embedded in the MSP430xG461x microcontrollers family. This test strategy is particularly useful for in-field application requiring reliability, safe operation, or fault tolerance characteristics. Our test proposal consists of programming a reduced set of available configurations for the EACC and testing its functionality by measuring only a few key parameters. The processor executes an

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Ammenwerth, E., and A. Hoerbst. "Quality and Certification of Electronic Health Records." Applied Clinical Informatics 01, no. 02 (2010): 149–64. http://dx.doi.org/10.4338/aci-2010-02-r-0009.

Texto completo

Resumen

Summary Background: Numerous projects, initiatives, and programs are dedicated to the development of Electronic Health Records (EHR) worldwide. Increasingly more of these plans have recently been brought from a scientific environment to real life applications. In this context, quality is a crucial factor with regard to the acceptance and utility of Electronic Health Records. However, the dissemination of the existing quality approaches is often rather limited. Objectives: The present paper aims at the description and comparison of the current major quality certification approaches to EHRs. Met

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Kamal, Arif, Janet Bull, and Amy Pickar Abernethy. "Development of an electronic point-of-care quality monitoring system for palliative care." Journal of Clinical Oncology 30, no. 34_suppl (2012): 291. http://dx.doi.org/10.1200/jco.2012.30.34_suppl.291.

Texto completo

Resumen

291 Background: Most current quality monitoring programs involve retrospective, manual data collection. These are inherently limited by accuracy issues and do not integrate well with national efforts to integrate electronic data documentation in all parts of medical practice. We aimed to build and test a prospective system for continuous quality monitoring in palliative care. Methods: Within a four-organization, academic/community quality consortium, we first conducted a focus group to inventory characteristics of an effective system. Then, with an interdisciplinary team of providers informati

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

Lopatin, Zakhar. "Remote Assessment of Professional Competencies Using Simulation Technologies in the Context of COVID-19." Virtual Technologies in Medicine 1, no. 3 (2021): 104–10. http://dx.doi.org/10.46594/2687-0037_2021_3_1311.

Texto completo

Resumen

Due to the spread of the COVID-19 pandemic, face-to-face educational events and classes were transferred to a distance format, so the traditional II All-Russian Olympiad with international participation in therapy was also held in absentia on April 26-28, 2021. This format provided the opportunity for 759 students and residents to participate in it from 82 educational and scientific organizations in Russia, Kazakhstan, Uzbekistan, Tajikistan and Belarus. This article analyzes the Olympiad held in order to study the possibility of assessing professional competencies using distance technologies

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

Cherif, Redouane Amine, Malika Boucetta, Yasmina Chaouche Khouane, et al. "Post-analytical phase: Improvement of the communication of test results by the development of a computer software in biochemistry laboratory at CHU Batna." Batna Journal of Medical Sciences (BJMS) 1, no. 2 (2014): 70–74. http://dx.doi.org/10.48087/bjmsoa.2014.1206.

Texto completo

Resumen

Background: A quality system in a clinical laboratory involves supervision of all the phases of the total testing process: pre-analytical, analytical, and post-analytical. Misinterpretations during the last phase may cause a wrong diagnosis. Aim: Improvement of the interpretation of test results in the laboratory of biochemistry - CHU Batna, by the introduction of computer software ensuring better delivery and interpretation of results. Method: The updating of the reference values was based on the biochemistry analysis guides and equipment method sheets used in the biochemistry laboratory. The

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

Sapakova, A. K., М. B. Munlykbaev, and М. K. Issenova. "SCIENTIFIC AND METHODOLOGICAL BASIS FOR THE PREPARATION OF AN ELECTRONIC EDUCATIONAL AND METHODOLOGICAL COMPLEX ON THE TOPIC «THE STRUCTURE OF THE ATOM»." Bulletin of Kazakh National Women's Teacher Training University, no. 2 (July 16, 2021): 67–77. http://dx.doi.org/10.52512/2306-5079-2021-86-2-67-77.

Texto completo

Resumen

The article describes the problem of low availability and inaccessibility of new information technologies in the Kazakh language in universities, analyzes the pros and cons of electronic textbooks based on theoretical data. The textbooks used by teachers show the effectiveness and usefulness of multimedia, in order to make them more valuable, it is necessary to add digital resources, such as academic games and interactive websites. The questions of the popularity of textbooks compiled using a computer are touched upon, the analysis and testing of programs for compiling electronic textbooks is

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

Usta, Selçuk, Serpil Gençoğlan, and Cafer Gençoğlan. "Sulama Otomasyonu Sistemlerinin Tasarımında Kullanılabilecek İş Akış Şemalarının Oluşturulması." Turkish Journal of Agriculture - Food Science and Technology 7, no. 7 (2019): 1014. http://dx.doi.org/10.24925/turjaf.v7i7.1014-1020.2507.

Texto completo

Resumen

Automation is a mechanical, electronic and computer based technology that enables the operation of various devices, systems and programs without the need for human intervention. The irrigation automation system should be planned with less manpower, more controlled and better quality agricultural production considering the environment, water resources and production cost. It should have the ability to implement the irrigation program in greenhouse, field and garden plants cultivation. Irrigation automation system is formed by following some process steps. These are; preparing the irrigation pro

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Dolgopolov, B. A., Yu G. Zayko, V. A. Mikhailov, and A. V. Trakhtomirov. "Calculation of an SPTA set using the Dialog computer simulation system (Part 1. General provisions for the calculation of an SPTA set)." Dependability 20, no. 1 (2020): 32–38. http://dx.doi.org/10.21683/1729-2646-2020-20-1-32-38.

Texto completo

Resumen

The paper describes the design concept of the DIALOG simulation software suite (SSS) intended for calculating the dependability indicators of electronic systems (ES) of random configuration, as well as solving problems associated with assuring the functional dependability of such systems. The DIALOG SSS employs a specially designed DIALOG-SINTEZ technology that enables automatic synthesis of event simulation models in the form of programs in the selected programming language. In DIALOG SSS, the input data include: system composition in the form of a combination of conventional blocks; criteria

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

de Oliveira, Gabriel Silva, José Marcato Junior, Caio Polidoro, et al. "Convolutional Neural Networks to Estimate Dry Matter Yield in a Guineagrass Breeding Program Using UAV Remote Sensing." Sensors 21, no. 12 (2021): 3971. http://dx.doi.org/10.3390/s21123971.

Texto completo

Resumen

Forage dry matter is the main source of nutrients in the diet of ruminant animals. Thus, this trait is evaluated in most forage breeding programs with the objective of increasing the yield. Novel solutions combining unmanned aerial vehicles (UAVs) and computer vision are crucial to increase the efficiency of forage breeding programs, to support high-throughput phenotyping (HTP), aiming to estimate parameters correlated to important traits. The main goal of this study was to propose a convolutional neural network (CNN) approach using UAV-RGB imagery to estimate dry matter yield traits in a guin

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

Kaľavský, Peter, Róbert Rozenberg, Peter Korba, et al. "Research of the Photo-Optical Method Application for Measuring Selected Data on the Movement of a Parachute for Type M-282." Applied Sciences 11, no. 12 (2021): 5637. http://dx.doi.org/10.3390/app11125637.

Texto completo

Resumen

Testing in the field of parachute technology provides space for the application of new and innovative methods of measuring operating and functional parameters. The main aim of the paper is to present the results of research for the verification of the photo-optical method of measuring the vertical speed of the M-282 parachutes, and for its use in testing, collecting, and investigating motion data in parachuting. As part of this measuring technology, twelve jumps were performed. It was verified that the experiment was completed for the M-282 parachute according to the regulation of SAE AS 8015B

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

Gabitov, Ildar I., Andrey V. Negovora, Filyus R. Safin, Ruslan Zh Magafurov, and Nikolay V. Rakov. "Assessment of the Technical Condition of Electric-Controlled Diesel Injectors According to the Fuel Supply Characteristics." Engineering Technologies and Systems 31, no. 2 (2021): 207–26. http://dx.doi.org/10.15507/2658-4123.031.202102.207-226.

Texto completo

Resumen

Introduction. Currently, there are no widely available technologies and equipment available at service stations and repair facilities to accurately assess the technical condition of Common Rail battery fuel supply system injectors. The methods implemented in practice mainly give a generalized assessment of the nozzle performance without identifying a specific defect, which entails an unjustified replacement of still working parts of electrically controlled injectors. The purpose of this article is to familiarize a wide range of specialists with a new non-slip test method for injectors with ele

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

LOUCKY, JOHN PAUL. "Improving access to target vocabulary using computerized bilingual dictionaries." ReCALL 14, no. 2 (2002): 295–314. http://dx.doi.org/10.1017/s0958344002000721.

Texto completo

Resumen

This study aims to compare various computerized bilingual dictionaries (henceforth CBDs) for their relative effectiveness in helping Japanese college students at several language proficiency levels to access new English target vocabulary. Its rationale was based on several observations and research claims (see Atkins & Knowles, 1990; Bejoint & Moulin, 1987; Laufer & Hadar, 1997) that bilingual and bilingualized dictionaries in general, as well as electronic dictionaries in particular appear to be much more rapid and effective than monolingual book dictionaries for the acquisition o

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

Lyu, Qian, Dalin Zhang, Rihan Da, and Hailong Zhang. "ReFuzz: A Remedy for Saturation in Coverage-Guided Fuzzing." Electronics 10, no. 16 (2021): 1921. http://dx.doi.org/10.3390/electronics10161921.

Texto completo

Resumen

Coverage-guided greybox fuzzing aims at generating random test inputs to trigger vulnerabilities in target programs while achieving high code coverage. In the process, the scale of testing gradually becomes larger and more complex, and eventually, the fuzzer runs into a saturation state where new vulnerabilities are hard to find. In this paper, we propose a fuzzer, ReFuzz, that acts as a complement to existing coverage-guided fuzzers and a remedy for saturation. This approach facilitates the generation of inputs that lead only to covered paths by omitting all other inputs, which is exactly the

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

Sridhar, Ramya, Jennifer Woods, Maya Jusza, and Sharon Drury. "An electronic audit tool to track the donning and doffing practices of personal protective equipment in the emergency department." Canadian Journal of Emergency Nursing 44, no. 2 (2021): 11–12. http://dx.doi.org/10.29173/cjen135.

Texto completo

Resumen

An electronic audit tool to track the donning and doffing practices of personal protective equipment in the emergency department Maya Jusza, Ramya Sridhar, Jennifer Woods, Sharon Drury Background: Maintaining the safety of patients and healthcare professionals is a priority in all healthcare settings. Infection prevention measures such as donning and doffing practices of personal protective equipment (PPE) have become even more imperative in light of the SARS-CoV-2 pandemic. Potential PPE breaches and the degree of frontline compliance are currently being analyzed through the use of paper PPE

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Borja Borja, Mario. "PLATAFORMA DE BRAZOS ROBÓTICOS DE TECNOLOGÍA ABIERTA PARA REALIZAR EXPERIENCIAS DE LABORATORIO DE CONTROL DE POSICIÓN, PLANIFICACIÓN DE TRAYECTORIA Y CONTROL DE VISIÓN ARTIFICIAL." Revista Cientifica TECNIA 26, no. 1 (2016): 101. http://dx.doi.org/10.21754/tecnia-26012016.10.

Texto completo

Resumen

RESUMEN El principal problema en el desarrollo de carreras de especialización en robótica en nuestro país es que no existen laboratorios con brazos robóticos que permitan hacer pruebas de control de posicionamiento, planificación de trayectoria y control con visión artificial y generalmente en entornos académicos se hace experimentos utilizando software de simulación.En el presente trabajo se propone una alternativa para mejorar el aprendizaje en el estudio de control de brazos robóticos utilizando brazos robóticos reales con una plataforma de tecnología abierta de software y hardware que perm

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

Borja Borja, Mario, Javier Rojas Tintaya, Rodney Rodas Regalado, Carlos Díaz Ramirez, and Cesar Paz Chavez Cesar Paz Chavez. "PLATAFORMA DE BRAZOS ROBÓTICOS DE TECNOLOGÍA ABIERTA PARA REALIZAR EXPERIENCIAS DE LABORATORIO DE CONTROL DE POSICIÓN, PLANIFICACIÓN DE TRAYECTORIA Y CONTROL DE VISIÓN ARTIFICIAL." Revista Cientifica TECNIA 26, no. 1 (2016): 101. http://dx.doi.org/10.21754/tecnia.v26i1.11.

Texto completo

Resumen

RESUMEN El principal problema en el desarrollo de carreras de especialización en robótica en nuestro país es que no existen laboratorios con brazos robóticos que permitan hacer pruebas de control de posicionamiento, planificación de trayectoria y control con visión artificial y generalmente en entornos académicos se hace experimentos utilizando software de simulación.En el presente trabajo se propone una alternativa para mejorar el aprendizaje en el estudio de control de brazos robóticos utilizando brazos robóticos reales con una plataforma de tecnología abierta de software y hardware que perm

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Xu, Wenjing, and Dianfu Ma. "A Framework for Model and Verification of Safety-Critical Operating System Based on ARINC653." Electronics 10, no. 16 (2021): 1934. http://dx.doi.org/10.3390/electronics10161934.

Texto completo

Resumen

As the scale and complexity of safety-critical software continue to grow, it is necessary to ensure safety and reliability to avoid minor errors leading to catastrophic disasters. Meantime, the traditional method, such as testing and simulation alone is insufficient to ensure the correctness of systems. This leads to using formal methods to provide sufficient evidence for systems. However, design a high assurance safety-critical system by formal methods is challenging due to the complexity of operating systems. In addition, the traditional interactive theorem prover used in system verification

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Dankwa, Stephen, and Lu Yang. "An Efficient and Accurate Depth-Wise Separable Convolutional Neural Network for Cybersecurity Vulnerability Assessment Based on CAPTCHA Breaking." Electronics 10, no. 4 (2021): 480. http://dx.doi.org/10.3390/electronics10040480.

Texto completo

Resumen

Cybersecurity practitioners generate a Completely Automated Public Turing test to tell Computers and Humans Apart (CAPTCHAs) as a form of security mechanism in website applications, in order to differentiate between human end-users and machine bots. They tend to use standard security to implement CAPTCHAs in order to prevent hackers from writing malicious automated programs to make false website registrations and to restrict them from stealing end-users’ private information. Among the categories of CAPTCHAs, the text-based CAPTCHA is the most widely used. However, with the evolution of deep le

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Takadama, Keiki. "Selected Papers from i-SAIRAS 2010." Journal of Advanced Computational Intelligence and Intelligent Informatics 15, no. 8 (2011): 1139. http://dx.doi.org/10.20965/jaciii.2011.p1139.

Texto completo

Resumen

This special issue features the selected papers from i-SAIRAS 2010 (The 10th International Symposium on Artificial Intelligence, Robotics and Automation in Space) at Sapporo, Japan on August 29 - September 1, 2010), which explores the technology of Artificial Intelligence (AI), Automation and Robotics, and its application in space. In the AI domain, in particular, i-SAIRAS focuses on the following issues: (1) spacecraft autonomy (e.g., inboard software for mission planning and execution, resource management, fault protection, science data analysis, guidance, navigation and control, smart senso

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

Carter, Christina E. "Undergraduate Science Students are Uncertain of How to Find Facts in E-books Compared to Print Books." Evidence Based Library and Information Practice 6, no. 2 (2011): 48. http://dx.doi.org/10.18438/b8hk89.

Texto completo

Resumen

Objective – To observe and compare the strategies that undergraduate science students use to perform information retrieval tasks in e-books and in print books.  Design – Qualitative analysis, employing a “prompted think-aloud” methodology and thematic analysis.  Setting – Taylor Library (serving the Faculty of Science), University of Western Ontario, London, Ontario, Canada.  Subjects – Twenty undergraduate science students (11 females, 9 males) who had completed at least two years of study in Faculty of Science programs at the University of Western Ontario.

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Salleh, Mohd Idzwan Mohd, Rosni Abdullah, and Nasriah Zakaria. "Evaluating the effects of electronic health records system adoption on the performance of Malaysian health care providers." BMC Medical Informatics and Decision Making 21, no. 1 (2021). http://dx.doi.org/10.1186/s12911-021-01447-4.

Texto completo

Resumen

Abstract Background The Ministry of Health of Malaysia has invested significant resources to implement an electronic health record (EHR) system to ensure the full automation of hospitals for coordinated care delivery. Thus, evaluating whether the system has been effectively utilized is necessary, particularly regarding how it predicts the post-implementation primary care providers’ performance impact. Methods Convenience sampling was employed for data collection in three government hospitals for 7 months. A standardized effectiveness survey for EHR systems was administered to primary health ca

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Nagy, Roland, Krisztián Németh, Dorottya Papp, and Levente Buttyán. "Rootkit Detection on Embedded IoT Devices." Acta Cybernetica, August 4, 2021. http://dx.doi.org/10.14232/actacyb.288834.

Texto completo

Resumen

IoT systems are subject to cyber attacks, including infecting embedded IoT devices with rootkits. Rootkits are malicious software that typically run with elevated privileges, which makes their detection challenging. In this paper, we address this challenge: we propose a rootkit detection approach for embedded IoT devices that takes advantage of a trusted execution environment (TEE), which is often supported on popular IoT platforms, such as ARM based embedded boards. The TEE provides an isolated environment for our rootkit detection algorithms, and prevents the rootkit from interfering with th

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

Volkova, Nataliia P., and Olha V. Lebid. "FROM THE EXPERIENCE OF IMPLEMENTATION OF THE EDUCATIONAL AND SCIENTIFIC PROGRAM “PROFESSIONAL EDUCATION” FOR RECIPIENTS OF THE THIRD (EDUCATIONAL AND SCIENTIFIC) LEVEL OF HIGHER EDUCATION IN SPECIALTY 015 “VOCATIONAL EDUCATION” (BY SPECIALIZATIONS)." Bulletin of Alfred Nobel University Series "Pedagogy and Psychology» 1, no. 21 (2021). http://dx.doi.org/10.32342/2522-4115-2021-1-21-15.

Texto completo

Resumen

The article reveals the experience of implementing the educational and scientific program “Professional Education” for applicants of the third (educational and scientific) level of higher education specialty 015 Professional Education (by specializations) at Alfred Nobel University. Features and purpose of the educational and scientific program “Professional Education”, as well as its structure (educational and scientific components) are described. The volume of the educational component of the educational and scientific program is given – 45 ECTS credits, of which the cycle of general (18 ECT

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

"Teacher education." Language Teaching 40, no. 1 (2007): 64–68. http://dx.doi.org/10.1017/s0261444806254119.

Texto completo

Resumen

07–76Banister, Savilla, Rachel A. Vannatta & Cynthia Ross (Bowling Green State U, USA), Testing electronic portfolio systems in teacher education: Finding the right fit. Action in Teacher Education (Association of Teacher Educators), 27.4 (2005), 81–90.07–77Carroll, David M. (Western Washington U, USA), Developing joint accountability in university–school teacher education partnerships. Action in Teacher Education (Association of Teacher Educators), 27.4 (2005), 3–11.07–78Clarke, Marie & Sheelagh Drudy (U College Dublin, Ireland), Teaching for diversity, social justice and global aware

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

"Language learning." Language Teaching 40, no. 1 (2007): 49–62. http://dx.doi.org/10.1017/s026144480622411x.

Texto completo

Resumen

07–20Angelova, Maria (Cleveland State U, USA), Delmi Gunawardena & Dinah Volk, Peer teaching and learning: co-constructing language in a dual language first grade. Language and Education (Mutilingual Matters) 20.2 (2006), 173–190.07–21Ansarin, Ali AkBar (Tabriz U, Iran; aa-ansarin@tabrizu.ac.ir), On availability of conscious knowledge in discrimination of vowel length. RELC Journal (Sage) 37.2 (2006), 249–259.07–22Bent, Tessa (North Western U, USA; t-bent@northwestern.edu), Ann R. Bradlow & Beverly A.Wright, The influence of linguistic experience on the cognitive processing of pitch in

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

"Reading & writing." Language Teaching 39, no. 3 (2006): 201–11. http://dx.doi.org/10.1017/s026144480623369x.

Texto completo

Resumen

06–475Al-Ali, Mohammed N. (Jordan U of Science and Technology, Irbid, Jordan), Genre-pragmatic strategies in English letter-of-application writing of Jordanian Arabic–English bilinguals. International Journal of Bilingual Education and Bilingualism (Multilingual Matters) 9.1 (2006), 119–139.06–476Anderson, Bill (Massey U College of Education, New Zealand; w.g.anderson@massey.ac.nz), Writing power into online discussion. Computers and Composition (Elsevier) 23.1 (2006), 108–124.06–477Blaır, Kristine & Cheryl Hoy (Bowling Green State U, USA; kblair@bgnet.bgsu.edu), Paying attention to adult

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

Downes, Daniel M. "The Medium Vanishes?" M/C Journal 3, no. 1 (2000). http://dx.doi.org/10.5204/mcj.1829.

Texto completo

Resumen

Introduction The recent AOL/Time-Warner merger invites us to re-think the relationships amongst content producers, distributors, and audiences. Worth an estimated $300 billion (US), the largest Internet transaction of all time, the deal is 45 times larger than the AOL/Netscape merger of November 1998 (Ledbetter). Additionally, the Time Warner/EMI merger, which followed hard on the heels of the AOL/Time-Warner deal and is itself worth $28 billion (US), created the largest content rights organisation in the music industry. The joining of the Internet giant (AOL) with what was already the world's

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!