pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation

Συγγραφείς: Gashi, Triera, Bosio, Sophie Adeline Solheim, Kristensen, Joachim Tilsted, Thomsen, Michael Kirkedal

Θεματικοί όροι: Computer Science - Programming Languages

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2309.04696

Massive Open Online Course in Elementary Statistics: From Analysis to Evaluation

Συγγραφείς: Joel Alvarez (ORCID 0000-0002-2774-614X), Sheena Mai A. Galman (ORCID 0000-0002-5044-4668)

Πηγή: Educational Process: International Journal. Article e2025086 2025 14.

Peer Reviewed: Y

Page Count: 22

Descriptors: Foreign Countries, Undergraduate Students, College Faculty, Statistics Education, MOOCs, Online Courses, Computer Assisted Instruction, Instructional Development, Instructional Effectiveness, Program Validation, Teacher Attitudes, Student Attitudes, Mathematical Concepts, Transformative Learning, Educational Change, Technology Integration

Γεωγραφικοί όροι: Philippines

Toward Implementing Computer-Assisted Foreign Language Assessment in the Official Spanish University Entrance Examination

Συγγραφείς: Sanz, Ana Gimeno, Pavón, Ana Sevilla

Πηγή: Research-publishing.net. 2015.

Peer Reviewed: Y

Page Count: 7

Descriptors: Program Implementation, Second Language Programs, Spanish, College Entrance Examinations, Computer Assisted Testing, High School Students, Pretesting, Program Validation, Participant Satisfaction, Usability, Questionnaires, Foreign Countries

Γεωγραφικοί όροι: Spain

Development of Prospective Teacher Student Worksheets through Interactive Case-Based Learning Model Assisted by Cublend App to Improve Mathematical Literacy Skills

Συγγραφείς: Ramdani Miftah, Lia Kurniawati, Kamal Fikri Musa

Πηγή: Mathematics Teaching Research Journal. 2024 16(4):76-93.

Peer Reviewed: Y

Page Count: 18

Descriptors: Foreign Countries, Inservice Teacher Education, Electronic Learning, Worksheets, Computer Uses in Education, Case Method (Teaching Technique), Numeracy, Mathematics Activities, Mathematics Instruction, Mathematics Skills, Mathematics Teachers, Mathematical Applications, Teacher Student Relationship, Program Validation, Program Development, Program Evaluation, Instructional Materials, Computer Assisted Instruction

Γεωγραφικοί όροι: Indonesia

“Stress-free” mobile app for Moroccan university students: “relaxation program” validation

Συγγραφείς: Hakima, El Madani, Maryem, Baya, Ikrame, Yazghich, Imane, Taoufiq, Chadya, Aarab, Mohamed, Berraho

Πηγή: 2020 International Conference on Intelligent Systems and Computer Vision (ISCV) Intelligent Systems and Computer Vision (ISCV), 2020 International Conference on. :1-5 Jun, 2020

Relation: 2020 International Conference on Intelligent Systems and Computer Vision (ISCV)

Leveraging speculative architectures for run-time program validation

Συγγραφείς: Martinez Santos, Juan Carlos, Fei, Yunsi

Πηγή: 2008 IEEE International Conference on Computer Design Computer Design, 2008. ICCD 2008. IEEE International Conference on. :498-505 Oct, 2008

Relation: 2008 IEEE International Conference on Computer Design (ICCD)

Insights on Usability Testing: The Effectiveness of an Adaptive E-Learning System for Secondary School Mathematics

Συγγραφείς: Liz Aliza Awang (ORCID 0009-0002-6888-8328), Farrah Dina Yusop (ORCID 0000-0002-5796-4463), Mahmoud Danaee (ORCID 0000-0002-5014-5684)

Πηγή: International Electronic Journal of Mathematics Education. 2024 19(3).

Peer Reviewed: Y

Page Count: 15

Descriptors: Foreign Countries, Secondary School Mathematics, Secondary School Students, Electronic Learning, Computer Assisted Instruction, Mathematics Instruction, Summative Evaluation, Program Effectiveness, Program Evaluation, Program Validation

Γεωγραφικοί όροι: Malaysia

Singapore Students' and Teachers' Perceptions of Computer-Supported Project Work Classroom Learning Environments

Συγγραφείς: Wong, Angela F. L., Quek, Choon-Lang, Divaharan, Shanti, Liu, Woon-Chia, Peer, Jarina, Williams, Michael D.

Πηγή: Journal of Research on Technology in Education. Sum 2006 38(4):449-479.

Peer Reviewed: Y

Page Count: 31

Descriptors: Foreign Countries, Educational Environment, Student Attitudes, Test Validity, Item Analysis, Virtual Classrooms, High Schools, Participant Satisfaction, Teacher Attitudes, Program Validation, Problem Based Learning, Research Methodology

Γεωγραφικοί όροι: Singapore

Σύνδεσμος πρόσβασης: https://www.iste.org/Content/NavigationMenu/Publications/JRTE/Issues/Volume_38/Number_4_Summer_2006/Singapore_Students_and_Teachers_Perceptions_of_Computer-Supported_Project_Work_Classroom_Learning_En.htm

Clinical digital neuropathology: experience and observations from a departmental digital pathology training programme, validation and deployment

Συγγραφείς: Bethany Jill Williams, Azzam Ismail, Arundhati Chakrabarty, Darren Treanor

Πηγή: Journal of Clinical Pathology. 74:456-461

Θεματικοί όροι: 0301 basic medicine, 03 medical and health sciences, Pathology, Clinical, 0302 clinical medicine, Neurology, Image Interpretation, Computer-Assisted, Humans, 3. Good health

Σύνδεσμος πρόσβασης: https://pubmed.ncbi.nlm.nih.gov/32139375

A procedure for PLC programs validation

Συγγραφείς: Gergely, E. I., Popentiu-Vladicescu, Fl., Madsen, H., Mang, G.E., Nagy, Z. T., Spoiala, D.

Πηγή: 2009 3rd International Workshop on Soft Computing Applications Soft Computing Applications, 2009. SOFA '09. 3rd International Workshop on. :171-176 Jul, 2009

Relation: 2009 3rd International Workshop on Soft Computing Applications (SOFA)

Approaches to Validation of Criterion-Referenced Tests and Computer-Based Instruction in a Military Prdject.

Συγγραφείς: Tatsuoka, Kikumi, Illinois Univ., Urbana. Computer-Based Education Research Lab.

Peer Reviewed: N

Page Count: 65

Sponsoring Agency: Advanced Research Projects Agency (DOD), Washington, DC.

Descriptors: Bayesian Statistics, Computer Assisted Instruction, Criterion Referenced Tests, Evaluation Methods, Mastery Learning, Mathematical Models, Military Training, Program Evaluation, Program Validation, Test Validity

Computer Science and Technology: Validation, Verification, and Testing for the Individual Programmer.

Συγγραφείς: Branstad, Martha A., National Bureau of Standards (DOC), Washington, DC. Inst. for Computer Sciences and Technology.

Peer Reviewed: N

Page Count: 26

Descriptors: Computer Programs, Design, Evaluation Methods, Evaluation Needs, Formative Evaluation, Guidelines, Program Development, Program Evaluation, Program Validation, Programing, Testing

Γεωγραφικοί όροι: U.S.; District of Columbia

Journal Code: RIEFEB1981

Faculty's Acceptance of Computer Based Technology: Cross-Validation of an Extended Model

Συγγραφείς: Ahmad, Tunku Badariah Tunku, Madarsha, Kamal Basha, Zainuddin, Ahmad Marzuki, Ismail, Nik Ahmad Hisham, Nordin, Mohamad Sahari

Πηγή: Australasian Journal of Educational Technology. 2010 26(2):268-279.

Peer Reviewed: Y

Page Count: 12

Descriptors: Structural Equation Models, Self Efficacy, Motivation, Foreign Countries, Models, Program Validation, Use Studies, Technology Uses in Education, Gender Differences, Age Differences, Questionnaires, College Faculty, Teacher Attitudes, Computer Attitudes

Γεωγραφικοί όροι: Malaysia

Σύνδεσμος πρόσβασης: https://www.ascilite.org.au/ajet/ajet26/ahmad.pdf

Development and Validation of a Computer-Administered Number Sense Scale for Fifth-Grade Children in Taiwan

Συγγραφείς: Li, Mao-Neng Fr, Yang, Der-Ching

Πηγή: School Science and Mathematics. Apr 2010 110(4):220-230.

Peer Reviewed: Y

Page Count: 11

Descriptors: Test Validity, Foreign Countries, Grade 5, Program Validation, Test Construction, Psychometrics, Mathematics Tests, Screening Tests, Computer Assisted Testing, Number Concepts, Number Systems, Numbers, Numeracy, Item Analysis, Pretests Posttests, Rating Scales

Γεωγραφικοί όροι: Taiwan

An Online Survey for Pharmacoepidemiological Investigation (Survey of Non-Medical Use of Prescription Drugs Program): Validation Study

Συγγραφείς: Black, Joshua Curtis, Rockhill, Karilynn, Forber, Alyssa, Amioka, Elise, May, K Patrick, Haynes, Colleen M, Dasgupta, Nabarun, Dart, Richard C

Πηγή: Journal of Medical Internet Research, Vol 21, Iss 10, p e15830 (2019)

Θεματικοί όροι: Computer applications to medicine. Medical informatics, R858-859.7, Public aspects of medicine, RA1-1270

Περιγραφή αρχείου: electronic resource

Relation: http://www.jmir.org/2019/10/e15830/; https://doaj.org/toc/1438-8871

Σύνδεσμος πρόσβασης: https://doaj.org/article/feb07edd4670457794af7af5bbe94df8

Virtual vitreoretinal surgery: validation of a training programme: validation of a training programme

Συγγραφείς: Vergmann, Anna Stage, Vestergaard, Anders Højslet, Grauslund, Jakob

Πηγή: Vergmann, A S, Vestergaard, A H & Grauslund, J 2017, 'Virtual vitreoretinal surgery : validation of a training programme', Acta Ophthalmologica, vol. 95, no. 1, pp. 60–65. https://doi.org/10.1111/aos.13209

Θεματικοί όροι: Adult, Male, 0301 basic medicine, validity, Internship and Residency, eyesi, Middle Aged, Vitreoretinal Surgery, surgical simulator, User-Computer Interface, Young Adult, 03 medical and health sciences, virtual vitreoretinal surgery, 0302 clinical medicine, Surgery, Computer-Assisted, 13. Climate action, Humans, Computer Simulation, Female, Clinical Competence, Educational Measurement

Σύνδεσμος πρόσβασης: https://pubmed.ncbi.nlm.nih.gov/27535480

Building Information Model and Safety Requirements for Spatial Program Validation

Συγγραφείς: Chaabane, Aymen, Ben, Feno, Mahenina, Remiel, Halin, Gilles, Messaoudi, Tommy, Moalla, Feriel

Συνεισφορές: École nationale supérieure d'architecture de Nancy (ENSA Nancy), Institut national de recherche et de sécurité (Vandoeuvre lès Nancy) (INRS ( Vandoeuvre lès Nancy)), Université de Lorraine (UL), Frédéric Noël, Felix Nyffenegger, Louis Rivest, Abdelaziz Bouras

Πηγή: IFIP Advances in Information and Communication Technology ; 19th IFIP International Conference on Product Lifecycle Management (PLM) ; https://inria.hal.science/hal-05420905 ; 19th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2022, Grenoble, France. pp.484-494, ⟨10.1007/978-3-031-25182-5_47⟩

Θεματικοί όροι: Safety requirements, Spatial organization, BIM, [INFO]Computer Science [cs]

Θέμα γεωγραφικό: Grenoble, France

Διαθεσιμότητα: https://inria.hal.science/hal-05420905
https://inria.hal.science/hal-05420905v1/document
https://inria.hal.science/hal-05420905v1/file/538048_1_En_47_Chapter.pdf
https://doi.org/10.1007/978-3-031-25182-5_47

Computer-Based Training for Loan Counselors.

Συγγραφείς: Bonello, David, Cavagnol, Richard M.

Πηγή: Performance Improvement. Sep 1996 35(8):20-24.

Peer Reviewed: Y

Page Count: 5

Descriptors: Computer Assisted Instruction, Computer System Design, Cost Effectiveness, Improvement, Instructional Design, Job Training, Organizational Effectiveness, Program Development, Program Effectiveness, Program Validation, Self Evaluation (Groups), Time Management

Instructional Methods in STEM and English Subjects: A Validation Study

Συγγραφείς: Zendler, Andreas, Klaudt, Dieter, Seitz, Cornelia

Πηγή: International Journal of Research in Education and Science. Sum 2018 4(2):686-702.

Peer Reviewed: Y

Page Count: 18

Descriptors: STEM Education, Teaching Methods, English Instruction, Science Instruction, Program Validation, Questionnaires, Knowledge Base for Teaching, Instructional Effectiveness, Mathematics Teachers, English Teachers, Computer Science, Cohort Analysis, Learning Processes, Quasiexperimental Design, Teacher Surveys, Predictor Variables, Hypothesis Testing, Instructional Material Evaluation, Foreign Countries, Statistical Analysis

Γεωγραφικοί όροι: Germany

Contrast-enhanced spectral mammography in recalls from the Dutch breast cancer screening program: validation of results in a large multireader, multicase study

Συγγραφείς: U. C. Lalji, I. P. L. Houben, R. Prevos, S. Gommers, M. van Goethem, S. Vanwetswinkel, R. Pijnappel, R. Steeman, C. Frotscher, W. Mok, P. Nelemans, M. L. Smidt, R. G. Beets-Tan, J. E. Wildberger, M. B. I. Lobbes

Πηγή: Eur Radiol
European radiology

Θεματικοί όροι: Computer. Automation, CEDM, Contrast-enhanced spectral mammography, Contrast Media, Breast Neoplasms, Middle Aged, Sensitivity and Specificity, 3. Good health, Diagnosis, Differential, 03 medical and health sciences, Breast cancer, 0302 clinical medicine, ROC Curve, CESM, Radiology Nuclear Medicine and imaging, Humans, Contrast-enhanced dual energy mammography, Female, Breast, Early Detection of Cancer, Aged, Mammography, Netherlands, Retrospective Studies

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007/s00330-016-4336-0.pdf
https://pubmed.ncbi.nlm.nih.gov/27097789
https://cris.maastrichtuniversity.nl/en/publications/3cf7ee2c-bec2-47ef-b4e5-54ace5f67c4a
https://doi.org/10.1007/s00330-016-4336-0
https://hdl.handle.net/10067/1392340151162165141