Akademische Ressourcen durchsuchen

"The failures that bugs in software lead to can sometimes be bypassed by the so called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to ...

"The failures that bugs in software lead to can sometimes be bypassed by the so-called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the failing one, to c...

In spite of the NP-completeness of the satisfiability decision problem (SAT problem), many researchers have been attracted by it because SAT has many applications in Artificial Intelligence. This paper presents a randomi...

TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, par...

The precise prediction of post-construction settlement for high-speed railways is one of the key techniques in successful construction of high-speed railways. The in-situ observation data show that the shapes of settleme...

With the rapid evolution of commercial space markets in the new space era, satellite design philosophy is transitioning from "performance supremacy" toward "cost-effectiveness priority." This research concentrates on sol...

Abstract In the digital image correlation research of fatigue crack growth rate, the accuracy of the crack tip position determines the accuracy of the calculation of the stress intensity factor, thereby affecting the lif...

Solving mathematical equations faster and more efficiently has been a Holy Grail for centuries for scientists and engineers across all disciplines. While electronic digital circuits have revolutionized equation solving i...

The solution of matrix eigenvalues has always been a research hotspot in the field of modern numerical analysis, which has important value in practical application of engineering technology and scientific research. Despi...

"Owing to wake effects, the power production of each turbine in a wind farm is highly coupled to the operating conditions of the other turbines. Wind farm control strategies must take into account these couplings and pro...

Abstract Objective To investigate the application effect of 3D printing combined with MR technology in teaching the percutaneous screw fixation of scaphoid fractures under C-arm fluoroscopy, providing new ideas to enhanc...

In controlling DC-DC buck converters, the issue of input uncertainties as well as load uncertainties is one of the important challenges in controller design. This paper addresses this issue as well as presents a new robu...

We study theoretically the double ionization of helium by 6 MeV proton impact. For suchfast projectiles, when considering the projectile-target interaction to first order, the four-body Schr¨odingerequation reduces to s...

The study of the marital relationship and of the evaluation of the effectiveness of interventions with couples can promote communication skills, affection and problem solving. Researches with dating couples are incipient...

This study employs a design-based research (DBR) framework to examine the impact of a comprehensive curriculum redesign in an introductory Foundations of Security module for undergraduate students in computing and cybers...

With the increasing integration of artificial intelligence (AI) across industries, there is a growing need to transform traditional teaching methods into more innovative, technology-driven, and practice-oriented approach...

This publication is a systematic Campbell review of the effect of the family therapy approach Family Behavior Therapy (FBT) for treatment for non‐opioid drug use (e.g., cannabis, amphetamine, ecstasy or cocaine) among ...

This work is focused on the simultaneous determination of different nucleosides (lamivudine, abacavir, zidovudine) and non-nucleoside (nevirapine, efavirenz) reverse transcriptase inhibitors (antiretrovirals) in river, t...

Young offenders have always marked their presence in society. The goal of the present study was to describe an intervention program with young offenders based in problem-solving strategies. The four male participants wer...

Abstract To satisfy the requirements for the precise formation of large-scale high-performance lightweight components with inner ring reinforcement, a new multidirectional loading rotary extrusion forming technology is d...

Teaching econometrics has been studied by a number of researchers, however, there is little information available on the quality of examination and on simplification of tests for demonstration the high-quality knowledge ...

A novel approach to approximately solving the restricted-control LQR problem online is substantiated and applied in two case-studies.  The first example is a one-dimensional system whose exact solution is known.  The o...

El acceso a la vivienda está atravesado por una serie de problemas socioeconómicos que afectan a la sociedad argentina desde hace décadas. Las políticas públicas pueden tender a mitigar o remover los obstáculos par...

Mathematics in the Modern World (MMW) is a core general education course that develops quantitative reasoning and applied problem solving, yet many first-year students struggle with its concepts and applications. Such ch...