Search academic resources

Subjects / keywords: Science: Mathematics

Subjects / keywords: examples, counterexamples, numerical methods in mechanics, mathematics; Science: Mathematics

"Automatic Program Repair (APR) is a practical research topic that studies techniques to automatically repair programs to fix bugs. Most existing APR techniques are designed for imperative programming languages, such as ...

This qualitative study examined EFL students’ perceptions of ChatGPT during a short, structured implementation in an undergraduate English Phonetics course. The focus was conceptual understanding and engagement rather ...

"Fault localization is a practical research topic that helps developers identify code locations that might cause bugs in a program. Most existing fault localization techniques are designed for imperative programs (e.g., ...

"Formal requirements specifications, eg, software cost reduction (SCR) specifications, are challenging to analyse using automated techniques such as model checking. Since such specifications are meant to capture requirem...

Test-based automated program repair (TB-APR) techniques automatically fix buggy programs by relying on a failing test suite. This test suite serves a dual purpose: pinpointing bugs and evaluating the validity of potentia...

The goal of the paper is to investigate the estimation precision of forecast error variance decomposition (FEVD) based on stable structural vector autoregressive models identified using short‑run and long‑run restric...

G-Drazin inverses and the G-Drazin partial order for square matrices have been both recently introduced by Wang and Liu. They proved the following implication: If A is below B under the G-Drazin partial order, then any G...

DynAlloy is an extension to the Alloy specifi cation language suitable for modeling properties of executions of software systems. DynAlloy provides fully automated support for verifying properties of programs, in the sty...

A hypothesized need to form and maintain strong, stable interpersonal relationships is evaluated in light of the empirical literature. The need is for frequent, nonaversive interactions within an ongoing relational bond....