Filters








5 Hits in 2.1 sec

Asymptotic Monadic Second-Order Logic [chapter]

Achim Blumensath, Olivier Carton, Thomas Colcombet
2014 Lecture Notes in Computer Science  
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

Adrian L Sanborn, Benjamin T Yeh, Jordan T Feigerle, Cynthia V Hao, Raphael J L Townshend, Erez Lieberman-Aiden, Ron O Dror, Roger D Kornberg
2021 eLife  
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

Achim Blumensath, Thomas Colcombet, Paweł Parys
14 Leibniz International Proceedings in Informatics Schloss Dagstuhl-Leibniz-Zentrum für Informatik   unpublished
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

D. T. Stoddard
1855 Journal of the American Oriental Society  
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

(:Unkn) Unknown
1835
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