Academic literature on the topic 'Independent use of computer tests'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Independent use of computer tests.'

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 "Independent use of computer tests"

1

Muljono, Muljono, Umriya Afini, Catur Supriyanto, and Raden Arief Nugroho. "The Development of Indonesian POS Tagging System for Computer-aided Independent Language Learning." International Journal of Emerging Technologies in Learning (iJET) 12, no. 11 (2017): 138. http://dx.doi.org/10.3991/ijet.v12i11.7383.

Full text
Abstract:
Word processing tool is a basic need in learning a language. One of the word processors needed by a language learner is part of speech (POS) tagging. While many POS Tagging tools for Indonesian language have been developed, no systems have been addressed specifically for language learners. This paper presents a study on an Indonesian part of speech (POS) tagging system developed as one of word processing tools for language learners. We use resources from previous Indonesian POS tagging research, such as MorphInd for the morphological analysis and IPOSTagger for part of speech tagging. Objectiv
APA, Harvard, Vancouver, ISO, and other styles
2

Wang, Xian, Paula Tarrío, Ana María Bernardos, Eduardo Metola, and José Ramón Casar. "User-independent accelerometer-based gesture recognition for mobile devices." ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal 1, no. 3 (2013): 11–25. http://dx.doi.org/10.14201/adcaij20121311125.

Full text
Abstract:
Many mobile devices embed nowadays inertial sensors. This enables new forms of human-computer interaction through the use of gestures (movements performed with the mobile device) as a way of communication. This paper presents an accelerometer-based gesture recognition system for mobile devices which is able to recognize a collection of 10 different hand gestures. The system was conceived to be light and to operate in a user-independent manner in real time. The recognition system was implemented in a smart phone and evaluated through a collection of user tests, which showed a recognition accura
APA, Harvard, Vancouver, ISO, and other styles
3

Axak, Natalia, and Andrii Тatarnykov A. "The system of monitoring students’ behavior during e-tests." Bulletin of Kharkov National Automobile and Highway University, no. 96 (May 24, 2022): 7. http://dx.doi.org/10.30977/bul.2219-5548.2022.96.0.7.

Full text
Abstract:
Problem. In connection with the transfer of the educational process to a fundamentally new level, the role of independent work of students, which has become the main form of the knowledge, is growing significantly. Therefore, the computer testing is becoming increasingly important as a means of monitoring the students' learning materials. These speedsup the control process and ensures its objectivity. However, the testing process is vulnerable to possible students’ abuse – use of aids, outside help, etc. Goal. The goal is developing a client-server system for analyzing students' behavior durin
APA, Harvard, Vancouver, ISO, and other styles
4

Mokhtarnia, Shabnam, and Mohammad Alavi. "Computer-assisted Writing: An Investigation of Metacognitive Awareness of Writing Strategies of Iranian EFL Learners." JOURNAL OF SOCIAL SCIENCE RESEARCH 9, no. 3 (2015): 1894–902. http://dx.doi.org/10.24297/jssr.v9i3.3794.

Full text
Abstract:
The purpose of this study was to compare the reported use of writing strategies of Iranian EFL learners in two different venues of technology-assisted and conventional writing classes. Overall, thirty two EFL students participated in this study, eighteen in a technology-assisted and fourteen in a conventional English class who responded to a 64-item Likert scale writing strategy inventory adapted from Wei and Chen (2004) and Griffiths and Jordan (2005). The results of the independent sample t-tests revealed that there was a statistically significant difference between the reported use of lang
APA, Harvard, Vancouver, ISO, and other styles
5

WU, EDMOND H. C., PHILIP L. H. YU, and W. K. LI. "VALUE AT RISK ESTIMATION USING INDEPENDENT COMPONENT ANALYSIS-GENERALIZED AUTOREGRESSIVE CONDITIONAL HETEROSCEDASTICITY (ICA-GARCH) MODELS." International Journal of Neural Systems 16, no. 05 (2006): 371–82. http://dx.doi.org/10.1142/s0129065706000779.

Full text
Abstract:
We suggest using independent component analysis (ICA) to decompose multivariate time series into statistically independent time series. Then, we propose to use ICA-GARCH models which are computationally efficient to estimate the multivariate volatilities. The experimental results show that the ICA-GARCH models are more effective than existing methods, including DCC, PCA-GARCH, and EWMA. We also apply the proposed models to compute value at risk (VaR) for risk management applications. The backtesting and the out-of-sample tests validate the performance of ICA-GARCH models for value at risk esti
APA, Harvard, Vancouver, ISO, and other styles
6

HOLMAN, ERIC W. "APPROXIMATELY INDEPENDENT FEATURES OF LANGUAGES." International Journal of Modern Physics C 19, no. 02 (2008): 215–20. http://dx.doi.org/10.1142/s0129183108012029.

Full text
Abstract:
To facilitate the testing of models for the evolution of languages, the present paper offers a set of linguistic features that are approximately independent of each other. To find these features, the adjusted Rand index (R′) is used to estimate the degree of pairwise relationship among 130 linguistic features in a large published database. Many of the R′ values prove to be near zero, as predicted for independent features, and a subset of 47 features is found with an average R′ of -0.0001. These 47 features are recommended for use in statistical tests that require independent units of analysis.
APA, Harvard, Vancouver, ISO, and other styles
7

Wild, Katherine, Nora Mattek, Nicole Sharma, Jennifer Marcoe, Rachel Wall, and Jeffrey Kaye. "USE OF TECHNOLOGY BY FOUR DIVERSE COHORTS OF OLDER ADULTS: FINDINGS FROM THE CART STUDY." Innovation in Aging 3, Supplement_1 (2019): S328. http://dx.doi.org/10.1093/geroni/igz038.1196.

Full text
Abstract:
Abstract Early studies of technology adoption and computer use identified a “digital divide” between older adults and the general population. As that gap has narrowed, other demographic variables have been identified as continuing to foster disparities in access to and use of computers and related technologies. For example, gender, socioeconomic status, education, and ethnicity have been recognized as predictors of computer use among community living older adults. The ORCATECH Collaborative Aging (In Place) Research Using Technology (CART) initiative was designed to develop and validate an inf
APA, Harvard, Vancouver, ISO, and other styles
8

Ferreira, Aristides I., Leandro S. Almeida, and Gerardo Prieto. "Construction of a Memory Battery for Computerized Administration, Using Item-Response Theory." Psychological Reports 111, no. 2 (2012): 585–609. http://dx.doi.org/10.2466/03.04.pr0.111.5.585-609.

Full text
Abstract:
In accordance with Item Response Theory, a computer memory battery with six tests was constructed for use in the Portuguese adult population. A factor analysis was conducted to assess the internal structure of the tests ( N = 547 undergraduate students). According to the literature, several confirmatory factor models were evaluated. Results showed better fit of a model with two independent latent variables corresponding to verbal and non-verbal factors, reproducing the initial battery organization. Internal consistency reliability for the six tests were α = .72 to .89. IRT analyses (Rasch and
APA, Harvard, Vancouver, ISO, and other styles
9

Adam, Nawal Abdalla. "An Empirical Investigation of the Impact of Technological Factors on Computer – Based Information Systems (CBIS) Usage by Managers in Banking Sector in Sudan." Journal of Social Science Studies 3, no. 1 (2015): 12. http://dx.doi.org/10.5296/jsss.v3i1.7819.

Full text
Abstract:
<p>Computers are becoming more available in Sudanese banks with more sophisticated software and advanced information systems. But factors that might affect acceptance and utilization of these systems by managers need to be examined. This paper seeks to assess the influence of technological factors on computer-based information systems usage by managers in Sudanese banks with reference to the Technology Acceptance Model (TAM). A questionnaire was distributed to a sample of 120 randomly selected middle level managers from different banks in Khartoum State and Gezira State in Sudan. Linear
APA, Harvard, Vancouver, ISO, and other styles
10

Shang, Hui-Fang. "Incorporating Computer-Mediated Communications in EFL Reading." Technical Communication 70, no. 2 (2023): 72–85. http://dx.doi.org/10.55177/tc454765.

Full text
Abstract:
Purpose: The incorporation of computer-mediated communication (CMC) has been widely used in recent English as a foreign language (EFL) teaching and learning due to the rapid advancement of technology. Despite the prevalence of online CMC communications, previous research has yielded mixed results, and empirical evidence on how online communications affect student reading comprehension is limited. This study compares the effects of online asynchronous and synchronous communications on EFL reading comprehension in a Taiwanese collaborative learning context. Method: Ten reading comprehension test
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Independent use of computer tests"

1

Zakeri, Zohreh. "Optimised use of independent component analysis for EEG signal processing." Thesis, University of Birmingham, 2017. http://etheses.bham.ac.uk//id/eprint/7430/.

Full text
Abstract:
Electroencephalography (EEG) is the prevalent technique for monitoring brain function. It employs a set of electrodes on the scalp to measure the electrical activity of the brain. EEG is mainly used by researchers to study the brain’s responses to a specific stimulus - the event-related potentials (ERPs). Different types of unwanted signals, which are known as artefacts, usually mix with the EEG at any point during the recording process. As the amplitudes of the EEG and ERPs are very small (in the order of microvolts), they can be buried in the artefacts which have very high amplitudes in the
APA, Harvard, Vancouver, ISO, and other styles
2

Howard, Joseph Michael. "On low power and circuit parameter independent tests, and a new method of test response compaction." Diss., University of Iowa, 2010. https://ir.uiowa.edu/etd/815.

Full text
Abstract:
Testing an integrated circuit once it has been manufactured is required in order to identify faulty and fault-free circuits. As the complexity of integrated circuits increases so does the difficulty of creating efficient and high quality tests that can detect a variety of defect types that can occur throughout the manufacturing process. Three issues facing manufacturing test are the power consumed during testing, addressing different types of fault, and test data volume. In regards to the power consumed during testing, abnormal switching activity, far above that seen by functional operation, m
APA, Harvard, Vancouver, ISO, and other styles
3

Bartholomew, Kimberly W. "Patient Portals: Achieving Technology Acceptance and Meaningful Use in Independent Physician-Managed Practices." NSUWorks, 2016. http://nsuworks.nova.edu/gscis_etd/969.

Full text
Abstract:
As the bulk of medical health records shift from paper-based file systems to electronic formats, the promise of the transformation process called healthcare reform included adding efficiencies to medical practice workflows, lower costs, improved quality of care and most important, and the freeing of patient information from traditional propriety silos. With this incoming largess of protected health information data now viewable through online patient portals, patients can be empowered to become educated and active in their own health care decisions, but only if they have admission to their inf
APA, Harvard, Vancouver, ISO, and other styles
4

Duh, Been-Lirn. "Use of an independent visual background to alleviate simulator sickness in the virtual environments that employ wide-field displays /." Thesis, Connect to this title online; UW restricted, 2001. http://hdl.handle.net/1773/10681.

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

Grantz, David G. "Analysis of patterns of data use by teachers at Seaford Middle School." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file 2.34Mb, 238 p, 2005. http://wwwlib.umi.com/dissertations/fullcit/3181866.

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

Sabalele, Tabisa. "The potential use of e-learning to support teaching, learning and assessment in Information Systems at Walter Sisulu University." Thesis, Rhodes University, 2008. http://hdl.handle.net/10962/d1006209.

Full text
Abstract:
This research is an investigation of the potential means to make the Information Systems (IS) course more accessible to Walter Sisulu University (WSU) students. As some IS students at this institution are unable to attend classes on a regular basis, this study aims to establish if and how the WSU Accounting Department (which offers the IS course) could use e-Iearning to support the teaching, learning and assessment of IS. This qualitative study was approached from an interpretive perspective. The study has undergone one cycle of an action research approach. The methods used in the study includ
APA, Harvard, Vancouver, ISO, and other styles
7

Holz, Elisa Mira [Verfasser], Andrea [Gutachter] Kübler, and Johannes [Gutachter] Hewig. "Systematic evaluation of non-invasive brain-computer interfaces as assistive devices for persons with severe motor impairment based on a user-centred approach – in controlled settings and independent use / Elisa Mira Holz. Gutachter: Andrea Kübler ; Johannes Hewig." Würzburg : Universität Würzburg, 2016. http://d-nb.info/1111887365/34.

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

Zhang, Jiayu. "The role of independent advocacy groups in RFID technology use the current status of RFID technology adoption in New Zealand : a thesis submitted to Auckland University of Technology in partial fulfilment of the requirements for the degree of Master of Computer and Information Sciences (MCIS), 2008 /." Click here to access this resource online, 2007. http://hdl.handle.net/10292/543.

Full text
Abstract:
Thesis (MCIS - Computer and Information Sciences)--AUT University, 2007.<br>Includes bibliographical references. Also held in print (vii, 94 leaves ; 30 cm.) in the Archive at the City Campus (T 658.514 ZHA).
APA, Harvard, Vancouver, ISO, and other styles
9

Prats, Sedano Maria Angeles. "COGNITIVE PROCESSING AND BRAIN COMMUNICATION IN AMYOTROPHIC LATERAL SCLEROSIS." Doctoral thesis, Università degli studi di Padova, 2017. http://hdl.handle.net/11577/3421928.

Full text
Abstract:
Amyotrophic Lateral Sclerosis (ALS) is a fatal neurodegenerative disease characterized by progressive paralysis of limbs and bulbar musculature. This severe physical impairment makes cognitive evaluation a big challenge, thus there is a great need for an assessment that does not require overt motor responses. Moreover, we need of augmentative communication strategies because the disease generally leads to complete paralysis and, therefore, patients are unable to communicate with the external world by any means. For this purpose, Brain Computer Interfaces (BCIs) seem a promising approach to fac
APA, Harvard, Vancouver, ISO, and other styles
10

Holz, Elisa Mira. "Systematic evaluation of non-invasive brain-computer interfaces as assistive devices for persons with severe motor impairment based on a user-centred approach – in controlled settings and independent use." Doctoral thesis, 2015. https://nbn-resolving.org/urn:nbn:de:bvb:20-opus-126334.

Full text
Abstract:
Brain-computer interfaces (BCIs) are devices that translate signals from the brain into control commands for applications. Within the last twenty years, BCI applications have been developed for communication, environmental control, entertainment, and substitution of motor functions. Since BCIs provide muscle independent communication and control of the environment by circumventing motor pathways, they are considered as assistive technologies for persons with neurological and neurodegenerative diseases leading to motor paralysis, such as amyotrophic lateral sclerosis (ALS), muscular dystrophy,
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Independent use of computer tests"

1

V, Couch James, ed. Computer use in psychology: A directory of software. American Psychological Association, 1987.

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

V, Couch James, ed. Computer use in psychology: A directory of software. 2nd ed. American Psychological Association, 1988.

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

V, Couch James, ed. Computer use in psychology: A directory of software. 3rd ed. American Psychological Association, 1992.

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

Kogan, Efim, and Galina Zhukova. Theory of functions of a complex variable and operational calculus. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1058889.

Full text
Abstract:
The textbook contains theoretical information in a volume of the lecture course are discussed in detail and examples of typical tasks and test tasks and tasks for independent work. &#x0D; Designed for students studying in areas of training 01.03.02 "Applied mathematics and Informatics", 15.03.03 "Applied mechanics" 10.05.03 "Information security of automated systems" 09.03.01 "computer science", 15.03.01 mechanical engineering, 15.03.04 "automation of technological processes and production", 27.03.04 "Management in technical systems". Can be used by teachers for conducting practical classes.
APA, Harvard, Vancouver, ISO, and other styles
5

Kirsanov, Mihail, and Ol'ga Kuznecova. Mathematical analysis. Collection of problems and solutions using the Maple system. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1160964.

Full text
Abstract:
The collection contains theoretical material, conditions and examples of solutions to problems with answers, as well as more than 400 test questions on mathematical analysis to control the assimilation of theoretical and practical material. All tasks and test questions can be used both for independent solution, and as control works and standard tasks for full-time, part-time and distance learning. The manual contains recommendations for using the Maple computer mathematics system for solving problems and a short guide to the main commands of this system.&#x0D; For students and teachers of tech
APA, Harvard, Vancouver, ISO, and other styles
6

Scrams, David J. Making use of response times in standardized tests: Are accuracy and speed measuring the same thing? Law School Admission Council, 1999.

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

Lyndon B. Johnson Space Center., ed. On the optimal use of fictitious time in variation of parameters methods with application to BG14. National Aeronautics and Space Administration, Lyndon B. Johnson Space Center, 1991.

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

Klimova, Natal'ya. Economic analysis (with traditional and interactive forms of education). INFRA-M Academic Publishing LLC., 2024. https://doi.org/10.12737/2089374.

Full text
Abstract:
The textbook reveals the role, subject, methods and techniques of economic analysis, methodology for analyzing the use of resources and the achieved results of financial and economic activities of organizations, including the search for economic reserves; control questions, tasks for independent work of students, business games, tests and tasks in the discipline "Economic analysis" are given. For teachers, graduate students and students of economic specialties, as well as for practitioners — accountants, financiers, managers, entrepreneurs and heads of organizations.
APA, Harvard, Vancouver, ISO, and other styles
9

Atarov, Nikolay. Resistance of materials in examples and tasks. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1991017.

Full text
Abstract:
The textbook contains in detail considered and solved problems in the discipline "Resistance of materials", as well as brief theoretical information and formulas, tasks for independent solution. Will assist in the execution of calculation and graphic works, preparation for control works, computer testing, tests and exams.&#x0D; Meets the requirements of the federal state educational standards of higher education of the latest generation.&#x0D; It is intended for students of construction areas of training and specialties of universities. It can be useful for students of other technical areas of
APA, Harvard, Vancouver, ISO, and other styles
10

Suhotinskaya, Aleksandra. Russian language. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/989175.

Full text
Abstract:
In the textbook, the rules of Russian spelling and punctuation are grouped by topics: "Spelling of roots", "Spelling of suffixes and endings", "Use of hyphens", "Colons and dashes", etc.&#x0D; Training exercises will help to consolidate the theoretical material. The summary tables and answers to the exercises given at the end of the book allow you to control yourself during independent classes.&#x0D; The reference nature of the book contributes to the rapid and successful preparation for control works, tests and exams in the Russian language.&#x0D; Meets the requirements of the federal state s
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Independent use of computer tests"

1

Walrand, Jean. "Digital Link—B." In Probability in Electrical Engineering and Computer Science. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-49995-2_8.

Full text
Abstract:
AbstractChapter 7 explained the detection and hypothesis testing problems, Huffman codes and the situation where errors are independent and Gaussian. In this chapter, we prove the optimality of the Huffman code in Sect. 8.1 and the Neyman–Pearson Theorem in Sect. 8.2. Section 8.3 discusses the theory of jointly Gaussian random variables that is used to analyze the modulation schemes of Sect. 7.5 . Section 8.4 uses the results on jointly Gaussian random variables to explain hypothesis tests that arise when analyzing data. That section discusses the chi-squared test and the F-test. Section 8.5 is devoted to the LDPC codes that are widely used in high-speed communication links. These codes augment a group of bits to be transmitted over a noisy channel with additional bits computed from those in the group. When it receives the bits, when the augmented bits are not consistent, the receiver attempts to determine the bits that are most likely to have been corrupted by noise.
APA, Harvard, Vancouver, ISO, and other styles
2

Mikriukov, Georgii, Gesina Schwalbe, Christian Hellert, and Korinna Bade. "Revealing Similar Semantics Inside CNNs: An Interpretable Concept-Based Comparison of Feature Spaces." In Communications in Computer and Information Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-74630-7_1.

Full text
Abstract:
Abstract Safety-critical applications require transparency in artificial intelligence (AI) components, but widely used convolutional neural networks (CNNs) widely used for perception tasks lack inherent interpretability. Hence, insights into what CNNs have learned are primarily based on performance metrics, because these allow, e.g., for cross-architecture CNN comparison. However, these neglect how knowledge is stored inside. To tackle this yet unsolved problem, our work proposes two methods for estimating the layer-wise similarity between semantic information inside CNN latent spaces. These allow insights into both the flow and likeness of semantic information within CNN layers, and into the degree of their similarity between different network architectures. As a basis, we use two renowned explainable artificial intelligence (XAI) techniques, which are used to obtain concept activation vectors, i.e., global vector representations in the latent space. These are compared with respect to their activation on test inputs. When applied to three diverse object detectors and two datasets, our methods reveal that (1) similar semantic concepts are learned regardless of the CNN architecture, and (2) similar concepts emerge in similar relative layer depth, independent of the total number of layers. Finally, our approach poses a promising step towards semantic model comparability and comprehension of how different CNNs process semantic information.
APA, Harvard, Vancouver, ISO, and other styles
3

Mol, Frank N., Luuk van der Hoek, Baoqiang Ma, et al. "MRI-Based Head and Neck Tumor Segmentation Using nnU-Net with 15-Fold Cross-Validation Ensemble." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-83274-1_13.

Full text
Abstract:
Abstract The superior soft tissue differentiation provided by MRI may enable more accurate tumor segmentation compared to CT and PET, potentially enhancing adaptive radiotherapy treatment planning. The Head and Neck Tumor Segmentation for MR-Guided Applications challenge (HNTSMRG-24) comprises two tasks: segmentation of primary gross tumor volume (GTVp) and metastatic lymph nodes (GTVn) on T2-weighted MRI volumes obtained at (1) pre-radiotherapy (pre-RT) and (2) mid-radiotherapy (mid-RT). The training dataset consists of data from 150 patients, including MRI volumes of pre-RT, mid-RT, and pre-RT registered to the corresponding mid-RT volumes. Each MRI volume is accompanied by a label mask, generated by merging independent annotations from a minimum of three experts. For both tasks, we propose adopting the nnU-Net V2 framework by the use of a 15-fold cross-validation ensemble instead of the standard number of 5 folds for increased robustness and variability. For pre-RT segmentation, we augmented the initial training data (150 pre-RT volumes and masks) with the corresponding mid-RT data. For mid-RT segmentation, we opted for a three-channel input, which, in addition to the mid-RT MRI volume, comprises the registered pre-RT MRI volume and the corresponding mask. The mean of the aggregated Dice Similarity Coefficient for GTVp and GTVn is computed on a blind test set and determines the quality of the proposed methods. These metrics determine the final ranking of methods for both tasks separately. The final blind testing (50 patients) of the methods proposed by our team, $$RUG\_UMCG$$ R U G _ U M C G , resulted in an aggregated Dice Similarity Coefficient of 0.81 (0.77 for GTVp and 0.85 for GTVn) for Task 1 and 0.70 (0.54 for GTVp and 0.86 for GTVn) for Task 2.
APA, Harvard, Vancouver, ISO, and other styles
4

Harmer, Terence, Peter Wright, Christina Cunningham, and Ron Perrott. "Provider-Independent Use of the Cloud." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-03869-3_44.

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

Kappé, Tobias, Paul Brunet, Alexandra Silva, Jana Wagemaker, and Fabio Zanasi. "Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness." In Lecture Notes in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_20.

Full text
Abstract:
AbstractConcurrent Kleene Algebra (CKA) extends basic Kleene algebra with a parallel composition operator, which enables reasoning about concurrent programs. However, CKA fundamentally misses tests, which are needed to model standard programming constructs such as conditionals and $$\mathsf {while}$$ while -loops. It turns out that integrating tests in CKA is subtle, due to their interaction with parallelism. In this paper we provide a solution in the form of Concurrent Kleene Algebra with Observations (CKAO). Our main contribution is a completeness theorem for CKAO. Our result resorts on a more general study of CKA “with hypotheses”, of which CKAO turns out to be an instance: this analysis is of independent interest, as it can be applied to extensions of CKA other than CKAO.
APA, Harvard, Vancouver, ISO, and other styles
6

van der Berg, Freark I. "LLMC: Verifying High-Performance Software." In Computer Aided Verification. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_32.

Full text
Abstract:
AbstractMulti-threaded unit tests for high-performance thread-safe data structures typically do not test all behaviour, because only a single scheduling of threads is witnessed per invocation of the unit tests. Model checking such unit tests allows to verify all interleavings of threads. These tests could be written in or compiled to LLVM IR. Existing LLVM IR model checkers like divine and Nidhugg, use an LLVM IR interpreter to determine the next state. This paper introduces llmc, a multi-core explicit-state model checker of multi-threaded LLVM IR that translates LLVM IR to LLVM IR that is executed instead of interpreted. A test suite of 24 tests, stressing data structures, shows that on average llmc clearly outperforms the state-of-the-art tools divine and Nidhugg.
APA, Harvard, Vancouver, ISO, and other styles
7

Hoffmann, Jörg. "A Heuristic for Domain Independent Planning and Its Use in an Enforced Hill-Climbing Algorithm." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-39963-1_23.

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

Plantec, Alain, Frank Singhoff, Pierre Dissaux, and Jérôme Legrand. "Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16558-0_3.

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

Bordais, Benjamin, Patricia Bouyer, and Stéphane Le Roux. "Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30829-1_26.

Full text
Abstract:
AbstractWe investigate concurrent two-player win/lose stochastic games on finite graphs with prefix-independent objectives. We characterize subgame optimal strategies and use this characterization to show various memory transfer results: 1) For a given (prefix-independent) objective, if every game that has a subgame almost-surely winning strategy also has a positional one, then every game that has a subgame optimal strategy also has a positional one; 2) Assume that the (prefix-independent) objective has a neutral color. If every turn-based game that has a subgame almost-surely winning strategy also has a positional one, then every game that has a finite-choice (notion to be defined) subgame optimal strategy also has a positional one.We collect or design examples to show that our results are tight in several ways. We also apply our results to Büchi, co-Büchi, parity, mean-payoff objectives, thus yielding simpler statements.
APA, Harvard, Vancouver, ISO, and other styles
10

Friedewald, Michael, Ina Schiering, Nicholas Martin, and Dara Hallinan. "Data Protection Impact Assessments in Practice." In Computer Security. ESORICS 2021 International Workshops. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-95484-0_25.

Full text
Abstract:
AbstractIn the context of the project A Data Protection Impact Assessment (DPIA) Tool for Practical Use in Companies and Public Administration an operationalization for Data Protection Impact Assessments was developed based on the approach of Forum Privatheit. This operationalization was tested and refined during twelve tests with startups, small- and medium sized enterprises, corporations and public bodies. This paper presents the operationalization and summarizes the experience from the tests.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Independent use of computer tests"

1

Biedron, Robert, and Elizabeth Lee-Rausch. "Blade Displacement Predictions for the Full-Scale UH-60A Airloads Rotor." In Vertical Flight Society 70th Annual Forum & Technology Display. The Vertical Flight Society, 2014. http://dx.doi.org/10.4050/f-0070-2014-9446.

Full text
Abstract:
An unsteady Reynolds-Averaged Navier-Stokes solver for unstructured grids is loosely coupled to a rotorcraft comprehensive code and used to simulate two different test conditions from a wind-tunnel test of a full-scale UH-60A rotor. Performance data and sectional airloads from the simulation are compared with corresponding tunnel data to assess the level of fidelity of the aerodynamic aspects of the simulation. The focus then turns to a comparison of the blade displacements, both rigid (blade root) and elastic. Comparisons of computed root motions are made with data from three independent meas
APA, Harvard, Vancouver, ISO, and other styles
2

Archer, E. D., R. Brook, R. G. J. Edyvean, and H. A. Videla. "Selection of Steels for Use in SRB Environments." In CORROSION 2001. NACE International, 2001. https://doi.org/10.5006/c2001-01261.

Full text
Abstract:
Abstract Hydrogen sulphide produced by bacterial action in offshore oil and gas wells has been known to cause brittle failure of some high strength stainless steels. Four grades of high strength steels have been investigated with respect to their suitability for use in such “sour” environments. The alloys studied were a martensitic stainless steel ER410, a controlled transformation stainless steel FV520B, and two grades of super duplex stainless steels ER329 and Zeron 100M. Plain wires were tested in tension, and under constant strain, while exposed to the “sour” environment, and in controlled
APA, Harvard, Vancouver, ISO, and other styles
3

Dziuba, Lindsey L. "Use of a Best Estimate Power Monitoring Tool to Maximize Power Plant Generation." In 14th International Conference on Nuclear Engineering. ASMEDC, 2006. http://dx.doi.org/10.1115/icone14-89543.

Full text
Abstract:
The Best Estimate Power Monitor (BEPM) is a tool that was developed to maximize nuclear power plant generation, while ensuring regulatory compliance in the face of venturi fouling, industry ultra-sonic flowmeter issues and other technical challenges. The BEPM uses ASME approved “best estimate” methodology described in PTC 19.1-1985, “Measurement Uncertainty”, Section 3.8, “Weighting Method.” The BEPM method utilizes many different and independent indicators of core thermal power and independently computes the core thermal power (CTP) from each parameter. The uncertainty of each measurement is
APA, Harvard, Vancouver, ISO, and other styles
4

Johannesson, H. L. "System Independent Product Models in Computer Aided Elastomeric Compact Seal Design." In ASME 1988 Design Technology Conferences. American Society of Mechanical Engineers, 1988. http://dx.doi.org/10.1115/detc1988-0003.

Full text
Abstract:
Abstract In this work the problem of designing a CAD-system independent product model data base, to be used in computer aided elastomeric seal design, is treated. It is shown how a general purpose turn-key CAD-system can be used together with an external product model data base and external calculation programs. The importance of storing product information in a CAD-system independent data base instead of on drawings in one particular CAD-system is pointed out. This is of special interest from long time storage point of view, as product related information is expected to live longer in a manuf
APA, Harvard, Vancouver, ISO, and other styles
5

Astanina, Anna, Tatiana Rasskazova, and Irina Beliaeva. "PROVIDING COMPUTER-BASED TESTING FOR LOW-LEVEL STUDENTS AT A RUSSIAN UNIVERSITY." In eLSE 2017. Carol I National Defence University Publishing House, 2017. http://dx.doi.org/10.12753/2066-026x-17-020.

Full text
Abstract:
The method of computer-based testing is not new, being widely introduced both as cost-effective, quick for administering. Universities where English is not the language of tuition also seek ways of efficient assessment with the help of computer-based tests. However, there are some challenges of testing low-level learners, as there are very few valid ready-made tests designed for pre-A1 adult learners due to numerous factors: insufficient number of test versions, limitations of defining appropriate language items for testing, etc. Test-designers face challenges connected with choosing test cons
APA, Harvard, Vancouver, ISO, and other styles
6

Emdas, Rabea, and Ahmed Alruwaili. "What are the Aspects of Adopting Computer-Based Exams and do they Impact Negatively on Students?" In 2nd International Conference on Blockchain and Internet of Things (BIoT 2021). AIRCC Publishing Corporation, 2021. http://dx.doi.org/10.5121/csit.2021.110808.

Full text
Abstract:
Computer-based exams (CBEs) have been used in various courses, such as schools, universities and other training centres. As there are many educational institutions which have chosen to convert from paper test system to computer- based exam. However, adopting computer tests may lead to some difficulties for the students, which relates to technical defects and lake of computer skills of some students when they applying the computer based exams. The purpose of the essay was to determine negative and positive effects on the students of using computer-based exams and focus on some of suggesting sol
APA, Harvard, Vancouver, ISO, and other styles
7

Paisilazarescu, Mihaela, Maria magdalena Stan, and Sofia loredana Tudor. "COMPUTER IN CHILDREN'S AND ADOLESCENTS' LIVES." In eLSE 2014. Editura Universitatii Nationale de Aparare "Carol I", 2014. http://dx.doi.org/10.12753/2066-026x-14-111.

Full text
Abstract:
Computer impact on people's lives is a controversial subject because it has both positive and negative implications on behavior and mental development. The aim of this study is to identify the positive and negative effects of computer use on psychological mechanisms, behavior, school results, physical condition, interpersonal relationship, socio- emotional development and perception of reality. Experts in education and also practitioners have found that those children and adolescents who use computer excessively (video games, Internet communication, etc..) have poor school performance, low int
APA, Harvard, Vancouver, ISO, and other styles
8

Stanciu, Ionutdorin, Musata Bocos, and Daniel cosmin Andronache. "COMPUTER-MEDIATED SELF-REGULATION OF LEARNING." In eLSE 2012. Editura Universitara, 2012. http://dx.doi.org/10.12753/2066-026x-12-052.

Full text
Abstract:
The pervasiveness of ITC, both in daily and school activities, makes the utilization of computers not only an interesting research topic but also a relevant indicator of the student’s academic learning activities. The learning activities become increasingly more self-regulated as the student’s age increases and advances through the educational levels. The utilization of ITC for learning is ultimately intended to provide an efficient tool for enhancing the academic proficiency of the learner. However, this utilization depends on various other factors, including the computer literacy of the user
APA, Harvard, Vancouver, ISO, and other styles
9

Childs, Dara W., and George F. Kleynhans. "Theory Versus Experiment for Short (L/D = 1/6) Honeycomb and Smooth Annular Pressure Seals." In ASME 1993 Design Technical Conferences. American Society of Mechanical Engineers, 1993. http://dx.doi.org/10.1115/detc1993-0191.

Full text
Abstract:
Abstract A study which compares theoretical predictions of experimental rotordynamic and leakage results is presented for short (L/D = 1/6) honeycomb and smooth annular pressure seals. A computer code used in this comparison has been developed from a theory that employs a perturbation analysis of the governing equations flow and uses Moody’s pipe friction relationship for the surface friction of the rotor and stator. This study was undertaken to investigate how well an existing code could predict these characteristics with input provided from recorded test data and independent flat-plate tests
APA, Harvard, Vancouver, ISO, and other styles
10

Mamutovic, Anastasija, Marija Markovic, and Zorica Stanisavljevic petrovic. "COMPUTER GAMES AND COGNITIVE DEVELOPMENT OF PRESCHOOL CHILDREN." In eLSE 2020. University Publishing House, 2020. http://dx.doi.org/10.12753/2066-026x-20-006.

Full text
Abstract:
The aim of the research was to examine the attitudes of educators on the influence of preschool children`s playing computer games on their cognitive development. Participants were 188 educators from preschool institutions in the territory of Serbia. Educators' attitudes were analyzed in relation to their level of education, place of work, year of age and years of service in order to identify tendencies that occur with changes in the structure of the research sample. The data obtained from the research were processed in the SPSS program, by using parametric statistics and the F test in the stat
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Independent use of computer tests"

1

Kolgatina, Larisa, Lyudmyla Bilousova, and Oleksandr Kolgatin. Pedagogical diagnostics with use of computer technologies. CEUR-WS, 2013. http://dx.doi.org/10.31812/123456789/3222.

Full text
Abstract:
The technology of the automated pedagogical diagnostics is analysed. The testing strategy, oriented for pedagogical diagnostics purpose, and grading algorithm, which corresponds to Ukrainian school grading standards, are suggested. "Expert 3.05”software for automated pedagogical testing is designed. The methods of administration of the database of the test items are proposed. Some tests on the mathematical topics are prepared with "Expert 3.05". The approbation of these tests in the educational process of Kharkov National Pedagogical University named after G.S.Skovoroda is analysed.
APA, Harvard, Vancouver, ISO, and other styles
2

George. L52299 Revised Analysis of Orifice Meter Expansion Factor Data. Pipeline Research Council International, Inc. (PRCI), 2008. http://dx.doi.org/10.55274/r0010289.

Full text
Abstract:
Orifice meter expansion factor data collected at Southwest Research Institute (SwRI) between 2003 and 2005 have been reviewed to assess the effect of an assumption made during data reduction. In accordance with the North American orifice meter standard, AGA Report No. 3, Part 1, the data were originally analyzed using a constant value of the isentropic exponent, k = 1.3. By comparison, the expansion factor equation adopted by ISO employs the real isentropic exponent, K, which is a function of pressure, temperature, and gas composition. The SwRI orifice meter expansion factor data have been re-
APA, Harvard, Vancouver, ISO, and other styles
3

Stuedlein, Armin, Ali Dadashiserej, and Amalesh Jana. Models for the Cyclic Resistance of Silts and Evaluation of Cyclic Failure during Subduction Zone Earthquakes. Pacific Earthquake Engineering Research Center, University of California, Berkeley, CA, 2023. http://dx.doi.org/10.55461/zkvv5271.

Full text
Abstract:
This report describes several advances in the cyclic failure assessment of silt soils with immediate and practical benefit to the geotechnical earthquake engineering profession. First, a database of cyclic loading test data is assembled, evaluated, and used to assess trends in the curvature of the CRR-N (cyclic resistance ratio - the number of equivalent cycles) relationship. This effort culminated in a plasticity index-dependent function which can be used to estimate the exponent b in the power law describing cyclic resistance, and may be used to estimate the cyclic resistance of silt soils a
APA, Harvard, Vancouver, ISO, and other styles
4

Ye, Feifei. Validity, Reliability, and Concordance of the Duolingo English Test. Duolingo, 2014. http://dx.doi.org/10.46999/eixn6416.

Full text
Abstract:
Duolingo has developed a computer adaptive test of English competency for non-native English learners. This research study of the validity and reliability of the Duolingo English Test was independently conducted from February-April of 2014. The study lasted for approximately eight weeks. Participants were recruited from Duolingo users who studied English, international students in several United States universities, and people who took Test of English as Foreign Language (TOEFL) at several TOEFL centers in China. Participants were at least 18 years of age and had taken the TOEFL within the las
APA, Harvard, Vancouver, ISO, and other styles
5

Kahwati, Leila, Matthew Avenarius, Leslie Brouwer, et al. Blood-Based Tests for Multiple Cancer Screening: A Systematic Review. AHRQ, 2025. https://doi.org/10.23970/ahrqepcsrmultiple.

Full text
Abstract:
Objectives. Screening for multiple cancers in a single blood test is potentially transformative. The objective of this review was to assess the benefits, harms, and accuracy of screening with blood-based multicancer screening tests (MCST) in asymptomatic adults. Data sources. Medline, Cochrane Library, trial registries, relevant government and commercial websites through December 2024; surveillance was conducted through March 31, 2025. Study Selection. Eligible designs included controlled studies for benefit outcomes (e.g., cancer mortality, cancer detection, quality of life), controlled and u
APA, Harvard, Vancouver, ISO, and other styles
6

Lavrentieva, Olena, and Oleh Tsys. The theory and practice of managing students’ independent study activities via the modern information technologies. [б. в.], 2019. http://dx.doi.org/10.31812/123456789/4552.

Full text
Abstract:
Theoretical foundations and existent practical experience in providing scientifically grounded management of students' independent study activities with the use of the latest information technologies have been studied in the research. The issues of organization of various types of management of students' independent study activities have been considered. It has been reported, that there are direct, indirect, and dynamic types of management. The possibilities of ICTs in the implementation of each type of management the students' independent study activities have been shown. It has been taken in
APA, Harvard, Vancouver, ISO, and other styles
7

Goncharenko, Tatiana, Nataliia Yermakova-Cherchenko, and Yelyzaveta Anedchenko. Experience in the Use of Mobile Technologies as a Physics Learning Method. [б. в.], 2020. http://dx.doi.org/10.31812/123456789/4468.

Full text
Abstract:
Swift changes in society, related to sciences technicians’ development, technologies, by the increase of general volume of information, pull out new requirements for maintenance, structure, and quality of education. It requires teachers to diversify a tool in the direction of the increase in possibilities of the use of mobile technologies and computer systems. Lately in the world, more attention spared to the use of mobile learning, which in obedience to «Recommendations of UNESCO on the questions of a policy in the area of mobile learning» foresees the use of mobile technology, both separate
APA, Harvard, Vancouver, ISO, and other styles
8

Hale, Christie, Norman Abrahamson, and Yousef Bozorgnia. Probabilistic Seismic Hazard Analysis Code Verification. Pacific Earthquake Engineering Research Center, University of California, Berkeley, CA, 2018. http://dx.doi.org/10.55461/kjzh2652.

Full text
Abstract:
Over the past decade, the use of Probabilistic Seismic Hazard Analysis (PSHA) to assess seismic hazards has expanded, leading to the creation of a number of new PSHA computer codes throughout the industry. Additionally, recent seismic source and ground-motion characterization studies have led to more complex source and ground-motion models, which necessitate implementation in PSHA codes. This project was undertaken to update previous PSHA computer code verification efforts by running an expanded set of verification tests on codes currently in use for PSHA calculations. Following an announcemen
APA, Harvard, Vancouver, ISO, and other styles
9

Williams and Maxey. NR198709 Evaluation of a Heat-Treated X80 Grade Pipe. Pipeline Research Council International, Inc. (PRCI), 1987. http://dx.doi.org/10.55274/r0011140.

Full text
Abstract:
Steel producers have developed in recent years a number of new types of line pipe to meet demand for high strength pipe with superior low temperature toughness and good field weldability. Obtaining independent evaluation of these new products is the objective, so that information on these pipes will be available when construction activities increase. Tests to determine the susceptibility of the pipe to hydrogen-induced stepwise cracking showed it to be susceptible; considerable cracking was observed after exposure to the NACE test solution. The pipe was not produced for use in the transport of
APA, Harvard, Vancouver, ISO, and other styles
10

Холошин, Ігор Віталійович, Ольга Володимирівна Бондаренко, Олена Вікторівна Ганчук, and Катерина Олегівна Шмельцер. Cloud ArcGIS Online as an innovative tool for developing geoinformation competence with future geography teachers. CEUR-WS.org, 2018. http://dx.doi.org/10.31812/123456789/3258.

Full text
Abstract:
Abstract. The article dwells upon the scientifically relevant problem of using cloud-based GIS-technologies when training future geography teachers (based on ArcGIS Online application). The authors outline the basic principles for implementing ArcGIS Online in the educational process (interdisciplinary integration, the sequence of individualization in training, communicability, distance education and regional studies), and provide an example of an interactive map created with the help of the specified cloud GIS, since this kind of map is the most popular a form of research by geography student
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!