Suchergebnisse - Theory Keywords JavaScript*

A Complete Automation of Unit Testing for JavaScript Programs

Autoren: Mohammad Alshraideh

Quelle: Journal of Computer Science. 4:1012-1019

Schlagwörter: FOS: Computer and information sciences, JavaScript, Software Defect Prediction, FOS: Mechanical engineering, 02 engineering and technology, Unit testing, Database, Automation, Engineering, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Dynamic Test Generation, Keyword-driven testing, Automated Testing, Source Code Analysis, Software construction, Software engineering, Automated Software Testing Techniques, Unit (ring theory), Software development, Computer science, Mechanical engineering, Mathematics education, Programming language, Operating system, Computer Science, Physical Sciences, Software Reliability Assessment and Prediction, Software, Mathematics, Empirical Studies in Software Engineering, Information Systems

Zugangs-URL: http://thescipub.com/pdf/10.3844/jcssp.2008.1012.1019
https://thescipub.com/abstract/jcssp.2008.1012.1019

A Trusted Mechanised JavaScript Specification

Autoren: Martin Bodin Arthur Charguéraud Daniele Filaretti et al.

Weitere Verfasser: Martin Bodin Arthur Charguéraud Daniele Filaretti et al.

Quelle: http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf.

Schlagwörter: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords JavaScript, mechanised semantics, Coq

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.1400; http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.1400
http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf

Dynamic Decision Trees.

Autoren: Vidal, Joseph Jha, Spriha Liang, Zhenyuan et al.

Quelle: Knowledge; Dec2024, Vol. 4 Issue 4, p506-542, 37p

Schlagwörter: DECISION trees, KNOWLEDGE representation (Information theory), DATABASES, COGNITIVE load, KEYWORD searching

XFP-recognizer: detecting cross-file browser fingerprinting.

Autoren: Wang, Xiaoxi Liu, Zhenxu Zheng, Chunyang et al.

Quelle: Cybersecurity (2523-3246); 7/5/2025, Vol. 8 Issue 1, p1-20, 20p

Schlagwörter: DETECTION algorithms, RANDOM forest algorithms, ALGORITHMS, GRAPH theory

Heterogeneous Effects of Generative artificial intelligence (GenAI) on Knowledge Seeking in Online Communities.

Autoren: Quinn, Martin Gutt, Dominik

Quelle: Journal of Management Information Systems; 2025, Vol. 42 Issue 2, p370-399, 30p

Schlagwörter: GENERATIVE artificial intelligence, INFORMATION theory, THEORY of knowledge, CHATGPT, INFORMATION sharing, VIRTUAL communities

Code optimization opportunities in the JavaScript ecosystem with Rust.

Alternate Title: Oportunidades de optimización del código en el ecosistema JavaScript con Rust. (Spanish)

Autoren: Kozub, Volodymyr

Quelle: LatIA; 2024, Vol. 2 Issue 1, p1-9, 9p

Schlagwörter: SANITATION workers, WEB-based user interfaces, PROGRAMMING languages, ALGORITHMS, PERFORMANCE theory

GeoJSEval: An Automated Evaluation Framework for Large Language Models on JavaScript-Based Geospatial Computation and Visualization Code Generation.

Autoren: Chen, Guanyu Jiao, Haoyue Hou, Shuyang et al.

Quelle: ISPRS International Journal of Geo-Information; Oct2025, Vol. 14 Issue 10, p382, 43p

Schlagwörter: GEOGRAPHIC spatial analysis, EVALUATION methodology, LANGUAGE models, SEMANTIC computing, JAVASCRIPT programming language, CODE generators

PROPOSAL FOR AI-DRIVEN ADAPTIVE E-LEARNING SYSTEM FOR PERSONALIZED STEM KNOWLEDGE ASSESSMENT.

Autoren: Kamcheva, Emilija Spasova

Quelle: Knowledge: International Journal; 2025, Vol. 72 Issue 3, p333-338, 6p

Schlagwörter: STEM education, ARTIFICIAL intelligence, ADAPTIVE testing, INDIVIDUALIZED instruction, DIGITAL learning, RECURRENT neural networks, INTELLIGENT tutoring systems, KNOWLEDGE gap theory

Obfuscated Clone Search in JavaScript based on Reinforcement Subsequence Learning.

Autoren: Song, Leo Ding, Steven H. H. Tian, Yuan et al.

Quelle: ACM Transactions on Software Engineering & Methodology; Jul2025, Vol. 34 Issue 6, p1-28, 28p

Schlagwörter: JAVASCRIPT programming language, REINFORCEMENT learning, ABSTRACTION (Computer science), ARTIFICIAL neural networks

APPLYING GAME THEORY TO THE EXAMPLE OF AXELROD'S TOURNAMENT.

Autoren: Dukec, Damira Kecek, Damira Zic, Ivana

Quelle: Economic & Social Development: Book of Proceedings; 2019, p43-50, 8p

Schlagwörter: NASH equilibrium, PRISONER'S dilemma game, GAME theory, JAVASCRIPT programming language, DECISION theory

On an Interlocking Flexible Car Use Restriction Policy: Theory, Learning and Experiment.

Autoren: Li, Li Jiang, Xiquan Lin, Dianchao

Quelle: Transportation Science; Sep/Oct2025, Vol. 59 Issue 5, p883-908, 26p

Schlagwörter: TRAFFIC congestion, TRAVEL costs, RESOURCE allocation, BOUNDED rationality, LABORATORY techniques, TRANSPORTATION policy, GAME theory

Developing Educational Software Models for Teaching Cyclic Codes in Coding Theory.

Autoren: Aliev, Yuksel Ivanova, Galina Borodzhieva, Adriana

Quelle: Applied Sciences (2076-3417); Sep2025, Vol. 15 Issue 17, p9604, 43p

Schlagwörter: CYCLIC codes, CODING theory, ARTIFICIAL intelligence, GAMIFICATION, EXPERIMENTAL methods in education, EDUCATION software, STUDENT engagement, INSTRUCTIONAL systems

An empirical study of large language models for type and call graph analysis in Python and JavaScript.

Autoren: Venkatesh, Ashwin Prasad Shivarpatna Sunil, Rose Sabu, Samkutty et al.

Quelle: Empirical Software Engineering; Dec2025, Vol. 30 Issue 6, p1-50, 50p

SEAC: dynamic searchable symmetric encryption with lightweight update-search permission control.

Autoren: Hu, Zhuobin Wang, Jiabei Chen, Zhengkai et al.

Quelle: Cybersecurity (2523-3246); 10/9/2025, Vol. 8 Issue 1, p1-21, 21p

Schlagwörter: DATA privacy, ACCESS control, KEYWORD searching, HOSPITAL records, SCALABILITY

Mapping the marketing analytics landscape: unveiling the diverse proficiencies in marketing and technical know-how among practitioners.

Autoren: Haverila, Matti Haverila, Kai

Quelle: Journal of Marketing Analytics; Dec2025, Vol. 13 Issue 4, p1079-1093, 15p

Schlagwörter: BUSINESS analytics, RESOURCE-based theory of the firm, DATA analysis, INFORMATION technology, DECISION making, ANALYTICAL skills

Logical intuitions or matching heuristics? Examining the effect of deduction training on belief-based reasoning judgments.

Autoren: Ghasemi, Omid Handley, Simon J. Stephens, Rachel G.

Quelle: Memory & Cognition; Oct2025, Vol. 53 Issue 7, p2279-2300, 22p

Schlagwörter: RESEARCH funding, UNDERGRADUATES, PROBABILITY theory, STATISTICAL sampling, LEARNING, ETHICAL decision making, LOGIC, JUDGMENT (Psychology), ONLINE information services, REGRESSION analysis

Geografische Kategorien: AUSTRALIA

Improving lexico-semantic integration with gesture-enriched pictures: A word-learning study using the Picture-Word Interference paradigm.

Autoren: Kalénine, Solène Ott, Laurent Casalis, Séverine

Quelle: Memory & Cognition; Oct2025, Vol. 53 Issue 7, p2111-2125, 15p

Schlagwörter: RECOGNITION (Psychology), PROMPTS (Psychology), TASK performance, RESEARCH funding, PROBABILITY theory, LEARNING, DESCRIPTIVE statistics, PSYCHOLINGUISTICS, EXPERIMENTAL design, BODY language, MEMORY, SEMANTICS, VISUAL perception, VOCABULARY, COMPARATIVE studies, DATA analysis software

Geografische Kategorien: FRANCE

Design and Development of Interactive Software Models for Teaching Coding Theory: A Case Study on Hamming Codes—General Algorithm.

Autoren: Aliev, Yuksel Ivanova, Galina Borodzhieva, Adriana

Quelle: Applied Sciences (2076-3417); Apr2025, Vol. 15 Issue 8, p4231, 34p

Schlagwörter: CODING theory, HAMMING codes, SOFTWARE development tools, STUDENT engagement, ACHIEVEMENT gains (Education)

CROSS-PLATFORM DATA VISUALIZATION STRATEGIES FOR BUSINESS STAKEHOLDERS.

Autoren: Talluri, Manasa Rachamala, Niranjan Reddy Malaiyalan, Rajalingam et al.

Quelle: Lex Localis: Journal of Local Self-Government; 2025 Supplement, Vol. 23 Issue S3, p1-12, 12p

Schlagwörter: DATA visualization, USER interfaces, STAKEHOLDER theory, VISUAL analytics, DATA reduction, RESPONSIVE web design, AUGMENTED reality

Agentic Search Engine for Real-Time Internet of Things Data †.

Autoren: Elewah, Abdelrahman Elgazzar, Khalid Elnaffar, Said

Quelle: Sensors (14248220); Oct2025, Vol. 25 Issue 19, p5995, 26p

Schlagwörter: INTERNET of things, SEARCH engines, MACHINE-to-machine communications, REAL-time computing, KEYWORD searching, LANGUAGE models, ELECTRONIC data processing, INFORMATION sharing