Results 41 to 50 of about 596,156 (298)

Non-linear unbalanced Bessel beams: Stationary conical waves supported by nonlinear losses [PDF]

, 2004
Nonlinear losses accompanying Kerr self-focusing substantially impacts the dynamic balance of diffraction and nonlinearity, permitting the existence of localized and stationary solutions of the 2D+1 nonlinear Schrodinger equation which are stable against
Alberto Parola, Audrius Dubietis, C. Sulem, Daniele Faccio, Miguel A. Porras, Paolo Di Trapani, R. M. Herman, Y. Castin   +7 more
core   +2 more sources

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

Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM

FEBS Letters, EarlyView.
Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley   +1 more source

Sharper and Simpler Nonlinear Interpolants for Program Verification

, 2017
Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR.
A Gurfinkel, A Platzer, A Rybalchenko, EM Clarke, F Besson, G Stengle, H Peyrl, J Bochnak, J Harrison, KC Toh, KL McMillan, KL McMillan, L Dai, L Dai, M Putinar, P Roux, PA Parrilo, R Jhala, R Jhala, R Sharma, S Gao, S Kupferschmid, S Lang, S Rump, T Gan, T Terauchi, W Lin   +26 more
core   +1 more source

Enteropathogenic E. coli shows delayed attachment and host response in human jejunum organoid‐derived monolayers compared to HeLa cells

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, Pilar Samperio Ventayol, Natalie Burkard, Nicolas Schlegel, Carmen Aguilar, Sina Bartfeld   +5 more
wiley   +1 more source

Retrieval Priming in Product Verification: Evidence From Retrieval-Induced Forgetting

Journal of Numerical Cognition, 2018
The conditions under which multiplication verification (3 × 6 = 12, true or false?) involves product retrieval and comparison or familiarity-based recognition judgements has not been clearly established.
Josh Neudorf, Yalin Chen, Jamie I. D. Campbell   +2 more
doaj   +1 more source

Independent Test Verification: Consolidated Experience Report

Anais do XI Simpósio Brasileiro de Qualidade de Software (SBQS 2012), 2012
Independent verification and validation (IV&V) has been a key process for decades, and is highlighted in several international certification standards. One of the activities described in the “ESA ISVV Guide” is independent test verification (stated as Integration/Unit Test Procedures and Test Data Verification). This activity is commonly overlooked
Nuno Silva, Rui Lopes
openaire   +2 more sources

Reciprocal control of viral infection and phosphoinositide dynamics

FEBS Letters, EarlyView.
Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley   +1 more source

UNMANNED AERIAL SYSTEMS IN THE PROCESS OF JURIDICAL VERIFICATION OF CADASTRAL BORDER [PDF]

The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2013
Quite often in the verification of cadastral borders, owners of the parcels involved are not able to make their attendance at the appointed moment in time.
M. Rijsdijk, W. H. M. van Hinsbergh, W. Witteveen, G. H. M. ten Buuren, G. A. Schakelaar, G. Poppinga, M. van Persie, R. Ladiges   +7 more
doaj   +1 more source

Spatiotemporal and quantitative analyses of phosphoinositides – fluorescent probe—and mass spectrometry‐based approaches

FEBS Letters, EarlyView.
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho, Shin Morioka, Junko Sasaki, Takehiko Sasaki   +3 more
wiley   +1 more source