Results 71 to 80 of about 1,501,773 (255)

Transfer Function Synthesis without Quantifier Elimination [PDF]

, 2011
Recently it has been shown how transfer functions for linear template constraints can be derived for bit-vector programs by operating over propositional Boolean formulae. The drawback of this method is that it relies on existential quantifier elimination,
Andy King, Brauer, Jorg, Jörg Brauer, King, Andy, Miné, Antoine, Wang, Ji, Chen, Liqian, Cousot, Patrick   +7 more
core   +1 more source

Bridging the gap: a genetically validated avian chorioallantoic membrane platform for investigation of spontaneous circulating tumor cells

Molecular Oncology, EarlyView.
We established the avian chorioallantoic membrane (CAM) assay as a scalable in vivo model for studying circulating tumor cells (CTCs). Human gastrointestinal tumors spontaneously released genetically validated CTCs that were detected across multiple platforms, demonstrating that the CAM model provides an accessible tool for investigating early cancer ...
Dennis Roth, Rui P. L. Neves, Julia Geheb, Christian Ballmeyer, Nathalie Gaßmann, Kiki C. Andree, Monica Sudarsanam, Christiane Driemel, Celine Örencik, Andrè Franken, Eslam Elmaghraby, Sven H. Loosen, Roderburg Christoph, Sebastian Schoelch, Hans Neubauer, Wolfram T. Knoefel, Nikolas H. Stoecklein, Georg Fluegen   +17 more
wiley   +1 more source

Small RNA pathways in mammalian oocytes

FEBS Open Bio, EarlyView.
Three distinct small RNA pathways operate in mammalian oocytes: RNAi interference (RNAi), the microRNA (miRNA) pathway, and the PIWI‐associated RNA (piRNA) pathway. These pathways use small RNAs to guide sequence‐specific repression and contribute to oocyte biology by targeting genes and mobile elements or appear insignificant since different ...
Petr Svoboda, Josef Pasulka
wiley   +1 more source

Assessing the efficacy of thermotherapy combined with chemotherapy or cryotherapy for the eradication of grapevine leafroll-associated virus 3

Frontiers in Plant Science
IntroductionGrapevine leafroll-associated virus 3 (GLRaV-3) poses a significant threat to viticulture and is the major virus pathogen in New Zealand.
Solomon Peter Wante, Kar Mun Chooi, Ranjith Pathirana, Annabel Whibley, Ellie L. Bradley, Yusmiati Liau, Bhanupratap Reddy Vanga, Amy M. Hill, Darrell Lizamore   +8 more
doaj   +1 more source

Importin 7 mediates the nuclear import of HIV‐1 integrase via a specific interacting interface

FEBS Open Bio, EarlyView.
HIV‐1 integrase enables viral DNA integration into the host genome. By binding to the core domain of the host protein Importin 7 via its C‐terminal domain, the integrase is transported across the nuclear membrane into the nucleus, where integration of the viral genome into host DNA takes place. This translocation is a critical step for subsequent viral
Juana Bana, Avigail Yariv, Tal Oppenheim, Hadar Amartely, Dana Reichmann, Oded Livnah   +5 more
wiley   +1 more source

Efficacy of natural and synthetic inhibitors in the elimination of viruses in potato (Solanum tuberosum L.)

Труды по прикладной ботанике, генетике и селекции
Background. Developing new effective plant protection methods against viruses is a vital task for seed potato production. The use of virus inhibitors (mainly synthetic ones) is the most common method in potato virus control.
E. V. Shishchenko, I. V. Kim, E. N. Barsukova, I. M. Yermak, A. O. Kravchenko, A. G. Klykov   +5 more
doaj   +1 more source

Identification of (20R)‐protopanaxadiol from Panax ginseng as a novel anti‐SARS‐CoV‐2 compound

FEBS Open Bio, EarlyView.
We established a noninfectious BAC‐based SARS‐CoV‐2 replicon that enables antiviral screening under BSL‐2 conditions. Using this platform, we screened 373 food‐derived compounds and identified (20R)‐protopanaxadiol from Panax ginseng as a novel inhibitor of SARS‐CoV‐2 RNA replication, highlighting the value of safe replicon systems for antiviral ...
Midori Takeda, Natsue Maezono, Rina Uchikoshi, Nobuyuki Kato, Masanori Ikeda   +4 more
wiley   +1 more source

The impact of respiratory disease on production in the pig industry in Great Britain [PDF]

This thesis presents research on the epidemiology of respiratory diseases in pig herds in GB and their impact on pig morbidity and mortality. The role of management, characteristics of the herd, presence of multiple pathogens and control and ...
Evans, Charlotte Marie
core  

Removal of viruses from Lebanese fig varieties using tissue culture and thermotherapy

Phytopathologia Mediterranea, 2015
Two Lebanese fig accessions of local varieties (Biadi and Aswad), infected by Fig leaf mottle-associated virus 1 (FLMaV-1), Fig leaf mottle-associated virus 2 (FLMaV-2) and Fig mosaic virus (FMV), were subjected to tissue culture and thermotherapy for ...
Lamis CHALAK, Toufic ELBEAINO, Ahmad ELBITAR, Tala FATTAL, Elia CHOUEIRI   +4 more
doaj   +1 more source

Purification and preparation of Marchantia polymorpha Auxin Response Factor 2 for phase separation studies

FEBS Open Bio, EarlyView.
We describe detailed protocols for the purification and preparation of Marchantia polymorpha Auxin Response Factor 2 (MpARF2). This protein is fused to an MBP solubility tag and an mNG fluorescent tag and is purified from Escherichia coli. The presented procedures make it possible to study MpARF2 assemblies, which could arise from phase separation ...
Bas Janssen, Robin Romein, Willy A. M. van den Berg, Simon Lindhoud, Jan Willem Borst, Carlo P. M. van Mierlo   +5 more
wiley   +1 more source