Results 51 to 60 of about 12,303,072 (355)
Reactive Synthesis Modulo Theories Using Abstraction Refinement [PDF]
Reactive synthesis builds a system from a specification given as a temporal logic formula. Traditionally, reactive synthesis is defined for systems with Boolean input and output variables. Recently, new theories and techniques have been proposed to extend reactive synthesis to data domains, which are required for more sophisticated programs.
arxiv
Survey on Controlable Image Synthesis with Deep Learning [PDF]
Image synthesis has attracted emerging research interests in academic and industry communities. Deep learning technologies especially the generative models greatly inspired controllable image synthesis approaches and applications, which aim to generate particular visual contents with latent prompts.
arxiv
Metabolic dysfunction‐associated steatotic liver disease (MASLD) affects nearly one‐third of the global population and poses a significant risk of progression to cirrhosis or liver cancer. Here, we discuss the roles of hepatic dendritic cell subtypes in MASLD, highlighting their distinct contributions to disease initiation and progression, and their ...
Camilla Klaimi+3 more
wiley +1 more source
Thioredoxin reductase is an essential enzyme that plays a crucial role in maintaining cellular redox homeostasis by catalyzing the reduction of thioredoxin, which is involved in several vital cellular processes.
Anna Nikitjuka+4 more
doaj +1 more source
Surface reactions with participation of oxides of molybdenum and tungsten: the influence of external factors [PDF]
This work is a continuation of the article “Surface reactions with participation of oxides of molybdenum and tungsten”, published in the previous issue of the journal. The influence of the electric field and the pressure of oxygen in the gas phase on the
Guseva, A. F.+2 more
core +3 more sources
Making tau amyloid models in vitro: a crucial and underestimated challenge
This review highlights the challenges of producing in vitro amyloid assemblies of the tau protein. We review how accurately the existing protocols mimic tau deposits found in the brain of patients affected with tauopathies. We discuss the important properties that should be considered when forming amyloids and the benchmarks that should be used to ...
Julien Broc, Clara Piersson, Yann Fichou
wiley +1 more source
Effects of ursodeoxycholic acid on synthesis of cholesterol and bile acids in healthy subjects [PDF]
Background/Aims: Ursodeoxycholic acid ( UDCA) decreases biliary secretion of cholesterol and is therefore used for the dissolution of cholesterol gallstones.
Fischer, S.+5 more
core +1 more source
Unraveling Mycobacterium tuberculosis acid resistance and pH homeostasis mechanisms
Mycobacterium tuberculosis exhibits a remarkable resilience to acid stress. In this Review, we discuss some of the molecular mechanisms and metabolic pathways used by the tubercle bacilli to adapt and resist host‐mediated acid stress. Mycobacterium tuberculosis (Mtb) is a successful pathogen that has developed a variety of strategies to survive and ...
Janïs Laudouze+3 more
wiley +1 more source
Electrospray synthesis of PLGA TIPS microspheres [PDF]
We successfully demonstrate the synthesis of polymer microspheres using a single electrospray source, and show their physical characterisation. Electrospray has proven to be a versatile method to manufacture particles, giving tight control over size with
Bowen, J.+6 more
core
Toll‐like receptors (TLRs) are important in the innate immune system. This study explores the zinc‐binding ability of the TLR2 TIR domain (TLR2TIR). We found that TLR2TIR binds zinc with nanomolar affinity through its cysteine residues. Two of them, C673 and C713, are vital for receptor activation, indicating that zinc may play a role in initiating ...
Vladislav A. Lushpa+8 more
wiley +1 more source