Results 31 to 40 of about 2,951,513 (284)
Jurnal Pendidikan: Teori, Penelitian, dan Pengembangan, 2021 : The aims of this study is to investigate the effect of guided inquiry learning and verification of metacognitive knowledge of Grade XI science students on hydrolysis topic. The research used quasi experiment design. The analysis is done using t-test at
Sri Eni Armiati +2 more
doaj +1 more source
Spectral analysis of forecast error investigated with an observing system simulation experiment [PDF]
Tellus: Series A, Dynamic Meteorology and Oceanography, 2015 The spectra of analysis and forecast error are examined using the observing system simulation experiment framework developed at the National Aeronautics and Space Administration Global Modeling and Assimilation Office.
Nikki C. Privé, Ronald M. Errico
doaj +1 more source
Distributed Aperture Coherence-synthetic Radar Technology
Leida xuebao, 2017 The distributed aperture coherence-synthetic radar could accomplish long-range and high-precision detection performance according to include multi-unit radars and energy synthesize in space.
Lu Yaobing, Gao Hongwei, Zhou Baoliang
doaj +1 more source
An experience report on the verification of autonomic protocols in the cloud [PDF]
Innovations in Systems and Software Engineering, 2013 Cloud applications are often complex distributed applications composed of multiple software components running on separate virtual machines. Setting up, (re)configuring, and monitoring these applications are complicated tasks because a software application may depend on several remote software and virtual machine configurations.
Salaün, Gwen +5 more
openaire +4 more sources
EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS
International Journal of Computing, 2014 This paper presents a case study in the application of formal methods to the verification of communication protocols. We analyze one component block of telephone switching software developed in the SDL language at Alcatel Network Systems Romania. We use the IF toolset from VERIMAG Grenoble to build a state-transition model of the system and verify ...
Marius Minea +2 more
openaire +3 more sources
Dynamics Verification Experiment of the Stewart Parallel Manipulator
International Journal of Advanced Robotic Systems, 2015 As the basis of dynamic analysis and driving force calculation, dynamic models and dynamic parameters are important issues in mechanical design and control.
Zhu-Feng Shao +2 more
doaj +1 more source
FEBS Letters, EarlyView.Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi +5 more
wiley +1 more source
Thread Verification - An Experience Report
Electronic Notes in Theoretical Computer Science, 2007 AbstractThe paper details the author's thread verification experiences with four applications: Linux kernel code, the Red Hat Linux POSIX Thread library, a portable PThread library, which was developed by the author for NASA, and a HandyChecker prototype.
openaire +1 more source
FEBS Letters, EarlyView.Structural and biochemical characterisations show that the planar cell polarity (PCP) protein Inturned harbours a unique PDZ‐like domain that does not bind canonical PDZ‐binding motifs (PBMs) like that of another PCP protein Vangl2. In contrast, the apical‐basal polarity protein Scribble contains four PDZ domains that bind Vangl2, but one PDZ domain ...
Stephan Wilmes +4 more
wiley +1 more source
1991 crop research : Klamath Agricultural Experiment Station [PDF]
The Klamath Experiment Station (KES) staff are pleased to present the annual report on KES research programs conducted in 1991. This is the fifth in a current series of special reports dating back to 1987.
Oregon State University. Agricultural Experiment Station +2 more
core +6 more sources