Results 131 to 140 of about 3,379,264 (310)

Multi‐omics and low‐input proteomics profiling reveals dynamic regulation driving pluripotency initiation in early mouse embryos

FEBS Open Bio, EarlyView.
Mouse pre‐implantation development involves a transition from totipotency to pluripotency. Integrating transcriptomics, epigenetic profiling, low‐input proteomics and functional assays, we show that eight‐cell embryos retain residual totipotency features, whereas cytoskeletal remodeling regulated by the ubiquitin‐proteasome system drives progression ...
Wanqiong Li, Xi Xiao, Lingbin Qi, Chanyi Li, Sirui Song, Jiaying Qin, Zhigang Xue, Jinfeng Xue, Huaifang Li   +8 more
wiley   +1 more source

C2α‐carbanion‐protonating glutamate discloses tradeoffs between substrate accommodation and reaction rate in actinobacterial 2‐hydroxyacyl‐CoA lyase

FEBS Open Bio, EarlyView.
Enzymes of the 2‐hydroxyacyl‐CoA lyase group catalyze the condensation of formyl‐CoA with aldehydes or ketones. Thus, by structural adaptation of active sites, practically any pharmaceutically and industrially important 2‐hydroxyacid could be biotechnologically synthesized. Combining crystal structure analysis, active site mutations and kinetic assays,
Michael Zahn, Barbara Seroka, Ryszard Lazny, Zenon Lotowski, Thore Rohwerder   +4 more
wiley   +1 more source

2-SAT discrete Hopfield neural networks optimization via Crow search and fuzzy dynamical clustering approach

AIMS Mathematics
Within the swiftly evolving domain of neural networks, the discrete Hopfield-SAT model, endowed with logical rules and the ability to achieve global minima of SAT problems, has emerged as a novel prototype for SAT solvers, capturing significant ...
Caicai Feng , Saratha Sathasivam, Nurshazneem Roslan , Muraly Velavan   +3 more
doaj   +1 more source

Augmenting an electronic Ising machine to effectively solve boolean satisfiability. [PDF]

Sci Rep, 2023
Sharma A, Burns M, Hahn A, Huang M.
europepmc   +1 more source

Cutaneous Melanoma Drives Metabolic Changes in the Aged Bone Marrow Immune Microenvironment

Aging and Cancer, EarlyView.
Melanoma, the deadliest form of skin cancer, increasingly affects older adults. Our study reveals that melanoma induces changes in iron and lipid levels in the bone marrow, impacting immune cell populations and increasing susceptibility to ferroptosis.
Alexis E. Carey, Murilo Ramos Rocha, Cheyenne Palm, Vania Wang, Denys Balandin, Ethan Black, Kevin Y. Zhang, Fan Huang, Daniel J. Zabransky, Yash Chhabra, Mareike Peters, Gabriel Ghiaur, Ashani Weeraratna   +12 more
wiley   +1 more source

Post‐COVID Fatigue Is Associated With Reduced Cortical Thickness After Hospitalization

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Neuropsychiatric symptoms are among the most prevalent sequelae of COVID‐19, particularly among hospitalized patients. Recent research has identified volumetric brain changes associated with COVID‐19. However, it currently remains poorly understood how brain changes relate to post‐COVID fatigue and cognitive deficits.
Tim J. Hartung, Florentin Steigerwald, Amy Romanello, Cathrin Kodde, Matthias Endres, Sandra Frank, Peter Heuschmann, Philipp Koehler, Stephan Krohn, Daniel Pape, Jens Schaller, Sophia Stöcklein, Istvan Vadasz, Janne Vehreschild, Martin Witzenrath, Thomas Zoller, Carsten Finke, on behalf of the NAPKON Study Group, Y. Ahlgrimm, C. Finke, J. Fricke, T. Keil, L. Krist, N. Lisewsky, M. Mittermaier, M. Mueller‐Plathe, C. Pley, S. Schmidt, A. Stege, F. Steinbeis, S. Steinbrecher, C. Wildberg, M. Witzenrath, E. Zessin, T. Zoller, C. Arendt, C. Bellinghausen, S. Cremer, A. Groh, A. Gruenewaldt, Y. Khodamoradi, S. Klinsing, G. Rohde, M. Vehreschild, T. Vogl, S. Frank, J. C. Hellmuth, M. Huber, S. Kaeaeb, O. T. Keppler, E. Khatamzas, C. Mandel, S. Mueller, M. Muenchhoff, L. Reeh, C. Scherer, H. Stubbe, M. von Bergwelt, L. Weiss, B. Zwissler, S. Cleef, M. E. Figuera Basso, J. Franzenburg, K. Franzpoetter, A. Friedrichs, A. Hermes, J. Heyckendorf, C. Kujat, I. Lehmann, C. Maetzler, S. Meier, D. Pape, S. Poick, L. Reinke, A. K. Russ, A. M. Scheer, D. Schunk, T. Tamminga, S. Bohnet, D. Droemann, K. F. Franzen, R. Hoerster, N. Kaeding, M. Nissen, P. Parschke, J. Rupp, S. Caesar, H. Einsele, S. Frantz, A. Frey, A. Grau, K. Haas, C. Haertel, K. G. Haeusler, G. Hein, J. Herrmann, A. Horn, R. Jahns, P. Meybohm, F. A. Montellano, C. Morbach, J. Schmidt, P. Schulze, S. Stoerk, J. Volkmann, T. Bahmer, A. Hermes, M. Krawczak, W. Lieb, S. Schreiber, T. Tamminga, B. Balzuweit, S. Berger, J. Fricke, M. Hummel, A. Krannich, L. Krist, F. Kurth, J. Lienau, R. Lorbeer, C. Pley, J. Schaller, S. Schmidt, C. Thibeault, M. Witzenrath, T. Zoller, I. Bernemann, T. Illig, M. Kersting, N. Klopp, V. Kopfnagel, S. Muecke, M. Kraus, B. Lorenz‐Depiereux, G. Anton, A. Kuehn‐Steven, S. Kunze, M. K. Tauchert, K. Appel, M. Brechtel, I. Broehl, K. Fiedler, R. Geisler, S. M. Hopff, K. Knaub, C. Lee, S. Nunes de Miranda, S. Raquib, G. Sauer, M. Scherer, J. J. Vehreschild, P. Wagner, L. Wolf, J. C. Hellmuth, K. Guenther, F. Haug, J. Haug, A. Horn, M. Kohls, C. Fiessler, P. U. Heuschmann, O. Miljukov, C. Nuernberger, J. P. Reese, L. Schmidbauer, I. Chaplinskaya, S. Hanss, D. Krefting, C. Pape, M. Rainers, A. Schoneberg, N. Weinert, T. Bahls, W. Hoffmann, M. Nauck, C. Schaefer, M. Schattschneider, D. Stahl, H. Valentin, P. Heuschmann, A. L. Hofmann, S. Jiru‐Hillmann, J. P. Reese, S. Herold, P. Heuschmann, R. Heyder, W. Hoffmann, T. Illig, S. Schreiber, J. J. Vehreschild, M. Witzenrath   +190 more
wiley   +1 more source

Lightweight Hash Function Design for the Internet of Things: Structure and SAT-Based Cryptanalysis

Algorithms
This paper introduces a lightweight cryptographic hash algorithm, LWH-128, developed using a sponge-based construction and specifically adapted for operation under constrained computational and energy conditions typical of embedded systems and Internet ...
Kairat Sakan, Kunbolat Algazy, Nursulu Kapalova, Andrey Varennikov   +3 more
doaj   +1 more source

Clustering Algorithm Reveals Dopamine‐Motor Mismatch in Cognitively Preserved Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To explore the relationship between dopaminergic denervation and motor impairment in two de novo Parkinson's disease (PD) cohorts. Methods n = 249 PD patients from Parkinson's Progression Markers Initiative (PPMI) and n = 84 from an external clinical cohort.
Rachele Malito, Chiara Meneghini, Alice Galli, Luca Gallo, Pierfrancesco Mitrotti, Paola Dimartino, Marianna Inglese, Cinzia Zatti, Alessandro Lupini, Andrea Pilotto, Alessandro Padovani, Micol Avenali, Enza Maria Valente, Cristina Tassorelli, Silvia P. Caminiti   +14 more
wiley   +1 more source

A verified SAT solver with watched literals using imperative HOL

Certified Programs and Proofs, 2018
M. Fleury, J. Blanchette, P. Lammich
semanticscholar   +1 more source

mSAT:An OCaml SAT Solver

, 2017
mSAT : a SAT solving library in OCaml. It solves the satisfibility of propositional clauses. It is Modular : the user provides the theory. And it produces formal proofs.
openaire   +1 more source