Výsledky vyhledávání - "Verification"

A federated learning approach to smart advertising

Autoři: Seyghaly, Rasool

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: García Almiñana, Jordi, Masip Bruin, Xavier

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Federated Learning (FL), Edge Computing, Smart Advertising, Privacy-Preserving Machine Learning, Personalized Ads, Whale Optimization Algorithm (WOA), Meta-Heuristic Aggregation, User Engagement, Click-Through Rate (CTR), Scalability in AI Systems, Indoor Positioning Systems, Real-Time Data Processing, Model Verification and Validation, GDPR & CCPA Compliance, Formal Verification in AI Systems, Àrees temàtiques de la UPC::Informàtica, 004 - Informàtica

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/694786
https://dx.doi.org/10.5821/dissertation-2117-433346

Formal Verification for Preventing Misconfigured Access Policies in Kubernetes Clusters

Autoři: Sissodiya, Aditya Chiquito, Eric Bodin, Ulf a další

Zdroj: Green Transition North (GTN) Digitala Stambanan IndTech RemaNet IEEE Access. 13:141798-141813

Témata: Attribute-based access control, cloud-native security, formal verification, kubernetes, policy-as-code, role-based access control, SMT solvers, Cyberfysiska system, Cyber-Physical Systems, Pervasive Mobile Computing, Distribuerade datorsystem

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-114384
https://doi.org/10.1109/access.2025.3597504

Objective verification of audibility in bone conduction devices

Autoři: Persson, Ann -Charlotte Håkansson, Bo Fredén Jansson, Karl-Johan a další

Zdroj: International Journal of Audiology. 64(3):217-223

Témata: skin microphone, objective verification, audibility, hearing rehabilitation, Bone conduction devices

Popis souboru: electronic

Přístupová URL adresa: https://research.chalmers.se/publication/540748
https://research.chalmers.se/publication/540748/file/540748_Fulltext.pdf

Reinforcement Learning in Mechatronic Systems: A Case Study on DC Motor Control

Autoři: Nüssgen, Alexander Lerch, Alexander Degen, René a další

Zdroj: Circuits and Systems. 16(1):1-24

Témata: Artificial Intelligence in Product Development, Mechatronic Systems, Reinforcement Learning for Control, System Integration and Verification, Adaptive Optimization Processes, Knowledge-Based Engineering

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-552258
https://doi.org/10.4236/cs.2025.161001

Efficient finite difference modeling of infrasound propagation in realistic 3D domains: Validation with wind turbine measurements

Autoři: Mattsson, Ken Eriksson, Gustav Persson, Leif a další

Zdroj: Applied Acoustics. 243

Témata: Finite difference methods, Infrasound measurement, Infrasound simulations, Validation, Verification

Popis souboru: electronic

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-48810
https://doi.org/10.1016/j.apacoust.2025.111156

Semiannual Report to Congress, No. 90. October 1, 2024-March 31, 2025

Autoři: Office of Inspector General (ED)

Zdroj: Office of Inspector General, US Department of Education. 2025.

Peer Reviewed: N

Page Count: 53

Descriptors: Public Agencies, Departments, Inspection, Audits (Verification), Financial Audits, Deception, Prevention, Accountability, Efficiency, Program Evaluation, Program Effectiveness, Federal Programs, Federal Aid, Student Financial Aid, Elementary Secondary Education, Pandemics, COVID-19, Federal Legislation, Disclosure, Investigations, Reports

Laws, Policies and Program Identifiers: Coronavirus Aid Relief and Economic Security Act 2020

Formal verification of bioinformatics software using model checking and theorem proving Open Access.

Autoři: Weerasena, Hansika Jayasena, Aruna Boucher, Christina a další

Zdroj: Briefings in Bioinformatics. Jul2025, Vol. 26 Issue 4, p1-13. 13p.

Témata: *SOFTWARE libraries (Computer programming), *SOFTWARE reliability, *LOGIC, BIOINFORMATICS software, SOFTWARE verification, BIOINFORMATICS, SOFTWARE validation

On the Verification of Quantum Circuits (Research Challenges and Opportunities)

Autoři: Aziz Abdulla, Parosh Chen, Y. -G Chen, Y. -F a další

Zdroj: Lecture Notes in Computer Science. :320-341

Témata: Quantum computers, Verification, Global scale, Pressung, Program behavior, Quantum circuit, Quantum phenomena, Quantum system, Quantum technologies, Research challenges, Research opportunities, Verification tools, Quantum optics

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-73984

An Innovative Heuristic to Detect Special States in Concurrent Software Systems.

Autoři: Pira, Einollah Rouhi, Alireza

Zdroj: Quality & Reliability Engineering International. Dec2025, Vol. 41 Issue 8, p3686-3697. 12p.

Témata: *HEURISTIC, *VERIFICATION of computer systems, *SOFTWARE development tools, *COMPUTER performance, *STATE-space methods, *SOFTWARE validation, *PARALLEL programs (Computer programs)

Formalising and analysing SMMT models using the mCRL2 toolset.

Autoři: van Laarhoven, J. E. P. M. Bunte, O. van Gool, L. C. M. a další

Zdroj: International Journal on Software Tools for Technology Transfer. Oct2025, Vol. 27 Issue 5, p511-532. 22p.

Témata: *SOFTWARE verification, *PROGRAMMING language semantics, *SOFTWARE validation, *CODE generators, *FINITE state machines, *COMPUTER software

A Road-Map to Readily Available Early Validation and Verification of System Behaviour in Model-Based Systems Engineering using Software Engineering Best Practices

Autoři: Cederbladh, Johan Cicchetti, Antonio Jongeling, Robbert

Zdroj: ACM Transactions on Software Engineering and Methodology. 34(5)

Témata: Behaviour, Early, Models, Systems, Validation, Verification, Computer aided software engineering, Computer operating systems, Computer software maintenance, Computer software selection and evaluation, Model checking, Software design, Software quality, Behavior, Engineering best practice, Model-based system engineerings, Roadmap, System, System behaviors, Validation and verification, Verification method, System of systems

Popis souboru: print

Přístupová URL adresa: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-72169
https://doi.org/10.1145/3708520

U.S. Department of Education's Assessment and Recoupment of Liabilities from Closed Institutions of Higher Education. Inspection Report. ED-OIG/I24GA0163

Autoři: Office of Inspector General (ED)

Zdroj: Office of Inspector General, US Department of Education. 2025.

Peer Reviewed: N

Page Count: 37

Descriptors: School Closing, Colleges, Legal Responsibility, Audits (Verification), Educational Legislation, Federal Legislation, Higher Education, Federal Aid, Public Agencies, Evaluation

Laws, Policies and Program Identifiers: Higher Education Act Title IV

Unveiling Accuracy-Fairness Trade-Offs: Investigating Machine Learning Models in Student Performance Prediction

Autoři: Raymond A. Opoku Bo Pei Wanli Xing

Zdroj: Journal of Learning Analytics. 2025 12(2):125-139.

Peer Reviewed: Y

Page Count: 15

Descriptors: Prediction, Accuracy, Electronic Learning, Artificial Intelligence, Learning Analytics, Models, Bias, Open Universities, Demography, Audits (Verification), Accountability, Trust (Psychology), Ethics, Algorithms

Detection of Aberrant Testing Behaviour in Unproctored CAT via a Verification Test

Autoři: Ebru Balta Arzu Uçar

Zdroj: International Journal of Assessment Tools in Education. 2025 12(3):681-700.

Peer Reviewed: Y

Page Count: 20

Descriptors: Adaptive Testing, Computer Assisted Testing, Paper and Pencil Tests, Test Validity, Audits (Verification), Cheating, Student Behavior, Scores

Transcription in Computing Education Research: A Review and Recommendations

Autoři: Lutz Terfloth Vivien Lohmer Friederike Kern a další

Zdroj: Informatics in Education. 2025 24(2):377-405.

Peer Reviewed: Y

Page Count: 29

Descriptors: Phonetic Transcription, Computer Science Education, Educational Research, Credibility, Bias, Accountability, Standards, Trust (Psychology), Audits (Verification), Transcripts (Written Records)

Ethical Challenges Associated with the Use of Artificial Intelligence in University Education

Autoři: Yuri Reina Marín Omer Cruz Caro Angelica María Carrasco Rituay a další

Zdroj: Journal of Academic Ethics. 2025 23(4):2443-2467.

Peer Reviewed: Y

Page Count: 25

Descriptors: Ethics, Artificial Intelligence, Technology Uses in Education, Higher Education, Technology Integration, College Faculty, Teacher Attitudes, College Students, Student Attitudes, Foreign Countries, Privacy, Information Security, Accountability, Personal Autonomy, Supervision, Audits (Verification), Digital Literacy, Training, Risk

Geografický termín: Peru

The School Inspector Calls

Autoři: Hussain, Iftikhar

Zdroj: Education Next. Sum 2013 13(3):66-72.

Peer Reviewed: Y

Page Count: 7

Descriptors: Foreign Countries, Inspection, School Visitation, Scores, School Effectiveness, Audits (Verification), Accountability, Achievement Rating, Sanctions, Benchmarking, Observation, Educational Quality, Educational Assessment

Geografický termín: United Kingdom (England)

Přístupová URL adresa: https://educationnext.org/the-school-inspector-calls/

Public University Degree Audits: Who Incurs Excess Credit and Why

Autoři: Marcos D. Rivera Shanna S. Jaggars Rebecca Cepeda

Zdroj: Educational Policy. 2025 39(7):1420-1446.

Peer Reviewed: Y

Page Count: 27

Descriptors: Public Colleges, College Credits, School Policy, Costs, College Students, Student Behavior, Audits (Verification), Course Selection (Students)

Age Verification Systems Will Be a Personal Identifiable Information Nightmare.

Autoři: Scheffler, Sarah¹ (AUTHOR) sscheffl@andrew.cmu.edu

Zdroj: Communications of the ACM. Jul2024, Vol. 67 Issue 7, p31-33. 3p.

Témata: *ELECTRONIC authentication, *ACCESS control, *INTERNET privacy, *RIGHT of privacy, AGE verification systems, INTERNET privacy laws, PERSONALLY identifiable information, INTERNET & children

Telling Human and Machine Handwriting Apart

Autoři: Luis A. Leiva Moises Diaz Nuwan T. Attygalle a další

Přispěvatelé: Luis A. Leiva Moises Diaz Nuwan T. Attygalle a další

Zdroj: IEEE Transactions On Systems Man Cybernetics-Systems[ISSN 2168-2216], (2025)
accedaCRIS portal de investigación de la Universidad de las Palmas de Gran Canaria
instname

Témata: 33 Ciencias tecnológicas, Deep Learning, Biometrics, Verification, Reverse Turing Test, Online, Write, Signature, Classification

Přístupová URL adresa: https://accedacris.ulpgc.es/handle/10553/143230
https://publications.polymtl.ca/66707/
https://doi.org/10.1109/tsmc.2025.3579921