Results 61 to 70 of about 2,778,405 (314)
Combining human error verification and timing analysis
, 2008 Designs can often be unacceptable on performance grounds. In this work, we integrate a GOMS-like ability to predict execution times into the generic cognitive architecture developed for the formal verification of human error related correctness ...
Jonathan Back +7 more
core +1 more source
Finite Volume Method and Its Applications in Computational Fluid Dynamics
AxiomsVarious numerical techniques have been developed to address multiple problems in computational fluid dynamics (CFD). The finite volume method (FVM) is a numerical technique used for solving partial differential equations that represent conservation laws ...
Abdulkafi Mohammed Saeed +1 more
doaj +1 more source
Ｒesearch on the Error Compensation Technique of Internal Ｒesistance of Battery
Journal of Harbin University of Science and Technology, 2017 For the current resistance measurement is accurate，we research the basic principle of the internal resistance of battery，through analyzing the characteristics of the internal resistance of the battery，establish the measurement model of the internal ...
WANG Hai-ying +3 more
doaj +1 more source
FEBS Letters, EarlyView.In this study, we found that human cervical‐derived adipocytes maintain intracellular iron level by regulating the expression of iron transport‐related proteins during adrenergic stimulation. Melanotransferrin is predicted to interact with transferrin receptor 1 based on in silico analysis.
Rahaf Alrifai +9 more
wiley +1 more source
Objective Bayesian Analysis of a Measurement Error Small Area Model
, 2012 We consider small area estimation under a nested error linear regression model with measurement errors in the covariates. We propose an objective Bayesian analysis of the model to estimate the finite population means of the small areas. In particular, we
ARIMA, SERENA +2 more
core +1 more source
ACQUISITION OF KOREAN NEGATION BY ROMANIAN SPEAKERS: CHALLENGES AND INSIGHTS [PDF]
Studii de gramatică contrastivăThis study delves into the acquisition of Korean negation by Romanian native speakers, exploring the challenges encountered and giving insight into the language learning process.
Alexandra Bîja
doaj +1 more source
Tau acetylation at K331 has limited impact on tau pathology in vivo
FEBS Letters, EarlyView.We mapped tau post‐translational modifications in humanized MAPT knock‐in mice and in amyloid‐bearing double knock‐in mice. Acetylation within the repeat domain, particularly around K331, showed modest increases under amyloid pathology. To test functional relevance, we generated MAPTK331Q knock‐in mice.
Shoko Hashimoto +3 more
wiley +1 more source
A priori error estimates for energy-based quasicontinuum approximations of a periodic chain [PDF]
, 2011 We derive a priori error estimates for three prototypical energy-based quasicontinuum (QC) methods: the local QC method, the energy-based QC method, and the quasi-nonlocal QC method.
Christoph Ortner +3 more
core +1 more source
MachinesThis paper is aimed to address the issue of decreased accuracy in the ship block docking caused by the structural errors of posture adjustment mechanism.
Hongyu Shen +5 more
doaj +1 more source
Short-Term Wind Power Forecasting Based on VMD Decomposition, ConvLSTM Networks and Error Analysis
IEEE Access, 2020 Improving the predicted accuracy of wind power is beneficial to maintaining the secure operation and dispatching of the power system. Therefore, a combined model consisting of the variational mode decomposition(VMD), Convolutional Long short memory ...
Zexian Sun, Mingyu Zhao
doaj +1 more source