A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Asymptotic Monadic Second-Order Logic
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
Finally, we introduce a certain kind of tiling problems that is equivalent to the satisfiability problem of the weak fragment of asymptotic monadic second-order logic, i.e., the restriction with quantification ...
Hence, the syntax of 'asymptotic monadic second-order logic' is the one of MSO, extended by number quantifiers ∃r, ∀s ranging over N and by predicates of the form d(x) < r and d(x) ≥ s, where x is a first-order ...
Consequently, we consider two special cases of tiling systems: monotone and lossy ones. ...
doi:10.1007/978-3-662-44522-8_8
fatcat:zzcfmekgnbhc5cmkujmycqemha
Simple biochemical features underlie transcriptional activation domain diversity and dynamic, fuzzy binding to Mediator
2021
eLife
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Finally, a neural network trained on AD sequences accurately predicted ADs in human proteins and in other yeast proteins, including chromosomal proteins and chromatin remodeling complexes. ...
These findings solve the longstanding enigma of AD structure and function and provide a rationale for their role in biology. ...
Comparison of ADpred (Erijman et al., 2020) predictions on 30-aa tiles in Arg81 (blue), 1043 smoothed with a 15-aa moving average, with experimental measurements of activation 1044 on 53-aa tiles (green ...
doi:10.7554/elife.68068
pmid:33904398
pmcid:PMC8137143
fatcat:ojj7mlzf55hy3l2akds3p74i6i
Editors: Nicolas Ollinger and Heribert Vollmer; Article No. 19
14 Leibniz International Proceedings in Informatics Schloss Dagstuhl-Leibniz-Zentrum für Informatik
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
AMSO does not have a built in ability to refer to the size of sets. ...
We prove that satisfiability over infinite words is decidable for a fragment of asymptotic monadic second-order logic. ...
On a Fragment of AMSO and Tiling Systems Figure 1 On the left we have an example diagonal schema. Elements of gl(B) are shaded in gray. ...
fatcat:sowdlldumrdutcrsff7nx7fo7q
Grammar of the Modern Syriac Language, as spoken in Oroomiah, Persia, and in Koordistan
1855
Journal of the American Oriental Society
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Syriac to express the idea of existence, having the talkana on it (H. ? 121, 2, c.), and fragments of the personal pronouns. ...
AMSO
to thrust.
& , to remember.
-.SL\ to fall down (as a wall).
,,
A^lk to perish. 1 and 2.
LJ^ to perish, be lost. 1 and 2.
W^_-to spill (intr.). 1 and 2. ...
Breath, one of my missionary associates, who has from the first superintended our press, and cut with great taste and skill all our fonts of Syriac type, except in a single instance.* D. T. STODDARD. ...
doi:10.2307/592220
fatcat:sapwhocm5jgwpjuvg552wrnz5u
Easton Gazette July 1835
1835
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
IS FREE "Literature swell'of ill-conducted, is tfce Heati and teaches us our Duty-fcMorality refines the t ,neby Which ail ilarfUU* nftst ultimate* o j£| ^ polulcs pro"^. ...
rer of hou ses were owaofedl ov injured, several bams injured, and one of consinleiabl* •i*e Mown to fragment*. ...
AMso, another Lot whereon Jerry Ban-ning (rwgro) resides, tho improvements there on belonging to said Jerry. Tho above p^rop- ity will pe sold separate and distinct. ...
doi:10.13016/m2xw47w6z
fatcat:vlserm6ns5gzxaqgf6ym73pdx4