Results 91 to 100 of about 32,982,640 (297)

Interfacing Coq + SSReflect with GAP [PDF]

, 2012
Presentation slides and preprint both provided by author. Preprint published in Electronic Notes in Theoretical Computer Science: Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers (UITP10).We report on an extendable ...
Komendantsky, Vladimir, Linton, Stephen Alexander, Konovalov, Alexander, Linton, Steve   +3 more
core   +1 more source

Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation

FEBS Letters, EarlyView.
Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz, Mihály Mérey, Rebeka Vásárhelyi, Ramóna Pék, Victor Imburchia, László Henn, Adrián Kószó, Nicholas D. Lakin, Ivan Ahel, Sébastien Huet, Ágnes Czibula, Gyula Timinszky   +11 more
wiley   +1 more source

Smart crop disease monitoring system in IoT using optimization enabled deep residual network

Scientific Reports
The Internet of Things (IoT) has recently attracted substantial interest because of its diverse applications. In the agriculture sector, automated methods for detecting plant diseases offer numerous advantages over traditional methods.
Ashish Saini, Nasib Singh Gill, Preeti Gulia, Anoop Kumar Tiwari, Priti Maratha, Mohd Asif Shah   +5 more
doaj   +1 more source

Applications and Science in Soft Computing [PDF]

, 2004
I - Artificial Neural Networks.- A Recurrent Self-Organizing Map for Temporal Sequence Processing.- Optimisation of Neural Network Topology and Input Parameters for Prosody Modelling of Synthetic Speech.- Using ART1 Neural Networks to Determine Clustering Tendency.- High Performance Associative Memories and Structured Weight Dilution.- Neural Network ...
openaire   +1 more source

Personal Reflections on 50 Years of Scientific Computing: 1967–2017

, 2017
Computer hardware, software, numerical algorithms, and science and engineering applications are traced for a half century from the author's ...
Watson, Layne T.
core  

An isoform of 14‐3‐3 protein regulates transbilayer lipid movement at the plasma membrane

FEBS Letters, EarlyView.
Loss of 14‐3‐3ζ in CHO cells confers resistance to exogenous phosphatidylserine (PS) and impairs endocytosis‐independent inward flip‐flop of fluorescent PS at the plasma membrane. RNAi‐mediated knockdown reproduces this defect, while no additive effect is seen in ATP11C‐deficient cells.
Akiko Yamaji‐Hasegawa, Akira Hattori, Masafumi Tsujimoto, Toshihide Kobayashi   +3 more
wiley   +1 more source

The human gut microbiome across the life course

FEBS Letters, EarlyView.
Despite significant individual variation and continuous change throughout life, the human gut microbiome follows some life stage‐specific trends. This article provides a brief overview of how gut microbiome composition shifts across different phases of life. Created in BioRender. Özkurt, E. (2026) https://BioRender.com/8q4nrnc.
Alise J. Ponsero, Basak Bahcivanci, Antonietta Hayhoe, Animesh Acharjee, Ezgi Özkurt   +4 more
wiley   +1 more source

Beginners in Computer Science Studies

, 2020
Computer Science is a dynamic and interdisciplinary field that encompasses the study of algorithms, data structures, programming languages, and computational theory, with applications spanning across virtually all domains of modern life.
Dr. Ignatious Herman, Er. S. Nagarajan, Er. S. P. Sudha   +2 more
core   +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

Reliability with multiple causes of failures: Modeling and practice through a case study on ultrasound probes for medical imaging

International Journal of Metrology and Quality Engineering
In this paper, we deal with statistical modeling and a related case study for reliability when multiple failure causes are present. At first, we present in detail two main approaches for competing risk modeling, e.g.
Berni Rossella, Bertocci Francesco, Magrini Alessandro, Nikiforova Nedka D.   +3 more
doaj   +1 more source