Results 101 to 110 of about 24,229,753 (306)

The Test of Property [PDF]

The Biblical World, 1917
Again we give our readers a study in the social application of Christianity in the form of a sermon. We do not want the magazine to be so academic as to lose the sense of religion and religious beliefs as vitally working affairs in life. The prevailing danger in all scholarship is that it shall deal with subject-matter rather than with folks.
openaire   +1 more source

Residual tail twisting in ascidian larvae is stabilized by asymmetric myofibrils that resist bilateral symmetry restoration

FEBS Letters, EarlyView.
Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure, Misaki K. Nishio, Satoru Okuda, Kohji Hotta   +3 more
wiley   +1 more source

Rab14 regulates the transport of human papillomavirus to the trans‐Golgi network for infectious cell entry

FEBS Letters, EarlyView.
This study reveals that the small GTPase Rab14 is necessary for human papillomavirus (HPV) infection and plays an essential role in the transport of virions to the trans‐Golgi network (TGN). HPV in the early endosome (EE), which harbors GTP‐bound Rab14, is transported to the TGN through the switch of Rab14 from its GTP‐bound to GDP‐bound form.
Yoshiyuki Ishii, Iwao Kukimoto
wiley   +1 more source

Property-Based Testing in Practice

International Conference on Software Engineering
Property-based testing (PBT) is a testing methodology where users write executable formal specifications of software components and an automated harness checks these specifications against many automatically generated inputs.
Harrison Goldstein, Joseph W. Cutler, D. Dickstein, Benjamin C. Pierce, Andrew Head   +4 more
semanticscholar   +1 more source

Property-Based Testing for Cybersecurity: Towards Automated Validation of Security Protocols

Computers
The validation of security protocols remains a complex and critical task in the cybersecurity landscape, often relying on labor-intensive testing or formal verification techniques with limited scalability. In this paper, we explore property-based testing
Manuel J. C. S. Reis
doaj   +1 more source

Advances in CALIPSO (IIR) cirrus cloud property retrievals – Part 1: Methods and testing [PDF]

Atmospheric Chemistry and Physics
In this study, we describe an improved Cloud-Aerosol Lidar and Infrared Pathfinder Satellite Observation (CALIPSO) satellite retrieval which uses the CALIPSO Imaging Infrared Radiometer (IIR) and the CALIPSO lidar for retrievals of ice particle number ...
D. L. Mitchell, A. Garnier, S. Woods, S. Woods   +3 more
doaj   +1 more source

Degradation mechanism of the von Willebrand factor A2 domain by nattokinase

FEBS Letters, EarlyView.
Nattokinase, a natto‐derived protease, exhibits potent antithrombotic effects. This study demonstrates that nattokinase directly cleaves the von Willebrand factor (vWF) A2 domain in vitro. Unlike the native regulator ADAMTS13, nattokinase degrades folded vWF independently of shear stress.
Ryuichi Hyakumoto, Masatomo So, Ayako Furukawa, Kenji Sugase   +3 more
wiley   +1 more source

Micromechanical testing and property upscaling of planetary rocks: A critical review

International Journal of Mining Science and Technology
Knowledge of the mechanical behavior of planetary rocks is indispensable for space explorations. The scarcity of pristine samples and the irregular shapes of planetary meteorites make it difficult to obtain representative samples for conventional ...
Yiwei Liu, Guoping Zhang, Jiangmei Qiao, Xuhai Tang   +3 more
doaj   +1 more source

The Painlevé Tests, Bäcklund Transformation and Bilinear Form for the KdV Equation with a Self-Consistent Source

Discrete Dynamics in Nature and Society, 2012
The Painlevé property and Bäcklund transformation for the KdV equation with a self-consistent source are presented. By testing the equation, it is shown that the equation has the Painlevé property.
Yali Shen, Fengqin Zhang, Xiaomei Feng
doaj   +1 more source

Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations

FEBS Letters, EarlyView.
The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas, Brigitta Maruzs, Zsófia E. Kálmán, Tomas Klumpler, Gyula Batta, Bálint Péterfia, Zoltán Gáspári   +6 more
wiley   +1 more source