Results 91 to 100 of about 828,996 (313)
, 2010 Truth and Verification PresentationPowerpoint Presentation of the Truth and Verification LectureTruth and Verification Presentation -- lecture8.pptxThe work(s) contained within this record have been analyzed and cataloged by members of the University ...
Stony Brook University. School of Journalism. Center for News Literacy.
core
On Using First-Order Theorem Provers in the Jahob Data Structure Verification System [PDF]
, 2006 This paper presents our integration of efficient resolution-based theorem provers into the Jahob data structure verification system. Our experimental results show that this approach enables Jahob to automatically verify the correctness of a range of
Charles Bouillaguet +9 more
core +1 more source
Journal of Radiation Research and Applied SciencesIt is necessary to accurately judge the fault state of the charging module of DC charging pile in order to ensure the safe and reliable operation of DC charging pile.
Yongmin Zhang +6 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
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
, 2014 Mountain climber Alex Honnold seems to defy gravity, scaling sheer, steep rock faces with no rope and apparently no fear.Truth and Verification Presentation -- lecture8.pptx Recitation: How does one verify information?
newslitstaff
core
Enterprise model verification and validation : an approach [PDF]
, 2003 This article presents a verification and validation approach which is used here in order to complete the classical tool box the industrial user may utilize in enterprise modeling and integration domain. This approach, which has been defined independently
Chapurlat, Vincent +2 more
core +1 more source
Data Assimilative Optimization of WSA Source Surface and Interface Radii using Particle Filtering
Space Weather, 2020 The Wang‐Sheeley‐Arge (WSA) model estimates solar wind speed and interplanetary magnetic field polarity in the inner heliosphere using global photospheric magnetic field maps.
Grant David Meadors +5 more
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
Distorted Fingerprint Verification System [PDF]
Fingerprint verification is one of the most reliable personal identification methods. Fingerprint matching is affected by non-linear distortion introduced in fingerprint impression during the image acquisition process. This non-linear deformation changes
Jeyalatha SIVARAMAKRISHNAN +1 more
core +1 more source