Results 91 to 100 of about 373,540 (293)
, 1999 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-called catch. The catch provides the features of the proof which are relevant for reusing it in subsequent verification tasks and may also suggest useful lemmata.
Kolbe, Thomas, Walther, Christoph
openaire +1 more source
FEBS Open Bio, EarlyView.Glioblastoma cells express calcitonin receptor variants (CT receptor isoforms) that may help them survive stress. Using qPCR, transcript‐specific long‐read nanopore sequencing, immunofluorescence co‐localisation and comparative sequence analysis, this study identifies a novel alternatively spliced CALCR transcript that encodes the CTb receptor isoform ...
Pragya Gupta +7 more
wiley +1 more source
A minimal cellulosome‐like system in Cellulosilyticum lentocellum
FEBS Open Bio, EarlyView.Cellulose‐degrading bacteria typically use cellulosomes, large multi‐enzyme complexes on a scaffold protein. In Cellulosilyticum lentocellum, we characterise a far smaller arrangement, a single scaffold bound to one cellulase through a single cohesin‐dockerin interaction.
John Allan +2 more
wiley +1 more source
Denitrification research based on green electron supply and cell metabolism regulation
能源环境保护As a key link in the nitrogen cycle, microbial denitrification plays an important role in removing nitrate pollution from the water environment, realizing the return of nitrogen to the atmosphere, and maintaining nitrogen balance.
LIU Chao +5 more
doaj +1 more source
FEBS Open Bio, EarlyView.The neurokinin 1 receptor exists as full‐length (NK1L) and C‐terminally truncated (NK1S) splice variants. We show that NK1S heterodimerizes with NK1L, impairing Gαq coupling and Ca2+ mobilization while enhancing β‐arrestin1 recruitment. NK1S suppresses substance P‐driven gene expression and cell migration, revealing NK1S as an endogenous biased ...
Lan Phuong Nguyen +8 more
wiley +1 more source
Docomomo Journal, 2019 The essay is part of an ongoing research work about the heritage of modernism, especially the relationship between material, information and message — projected on the genesis of values and a cultural practice of modern reuse, not least on our present legacy and an upcoming circular society.
openaire +3 more sources
FEBS Open Bio, EarlyView.Human ABCE1 cannot functionally replace its yeast ortholog. Yeast–human chimera analysis identified NBD1 as a major interspecies barrier. Genetic screening yielded hABCE1 revertants that rescue yeast viability but fail to suppress aberrant translation reinitiation in the 3′ UTR.
Eriko Nakata +3 more
wiley +1 more source
Hazard and risk assessment for indirect potable reuse schemes: An approach for use in developing Water Safety Plans [PDF]
, 2010 This is the post-print version of the final paper published in Water Research. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and ...
Dominguez-Chicas, A +3 more
core +1 more source
Recent insights into the molecular mechanism of ubiquinol oxidation by cytochrome bc1
FEBS Open Bio, EarlyView.The review reflects on the mechanism of the catalytic reaction in cytochrome bc1: the electron bifurcation that involves the separation of two electrons derived from the quinol oxidation to opposite sides of the enzyme across the membrane. This review summarizes the long‐standing effort to understand the mechanism of quinol oxidation catalyzed by ...
Anna Wójcik‐Augustyn +2 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Variants in SLC6A1, encoding the GABA transporter 1 (GAT‐1), cause epilepsy, autism spectrum disorder, and developmental delay via loss of GABA uptake, impaired trafficking, and ER retention. We previously found that 4‐Phenylbutyrate (PBA), an FDA‐approved drug, restores GABA uptake and reduces seizures in SLC6A1‐related disorders ...
Melissa B. DeLeeuw +5 more
wiley +1 more source