Filters








98,238 Hits in 3.9 sec

KAT + B!

Niels Bjørn Bugge Grathwohl, Dexter Kozen, Konstantinos Mamouras
2014 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14  
In this paper we show how to axiomatically extend KAT with this extra feature in the form of mutable tests.  ...  It is known that certain program transformations require a small amount of mutable state, a feature not explicitly provided by Kleene algebra with tests (KAT).  ...  By Theorem 1 and Lemma 2, we have KAT + B! + ∆K e1 = α,β∈At p αβ α?β! KAT + B! + ∆K e2 = α,β∈At q αβ α?β!.  ... 
doi:10.1145/2603088.2603095 dblp:conf/csl/GrathwohlKM14 fatcat:dft4oqf4gzc5pehfiq4dtaugmq

Kat [chapter]

2019 Springer Reference Medizin  
Literatur Higashano K, Kudo S, Ohtani R et al (1976) Beschreibung In praxi sind die Enzymaktivitäten so niedrig, dass die Angaben in mkat (10 À6 kat), nkat (10 À9 kat) oder pkat (10 À12 kat) erfolgen  ...  B.  ... 
doi:10.1007/978-3-662-48986-4_300967 fatcat:fq5tiporzvgc5dfxya7vozsn4i

Dolgu Duvarlı Yapılarda Yumuşak Kat ve Zayıf Kat Düzensizliklerinin İncelenmesi

Duygu ERTÜRKMEN, İsmail Hakkı ÇAĞATAY
2016 Çukurova Üniversitesi Mühendislik-Mimarlık Fakültesi Dergisi  
Öz Bu çalışmada, 2007 Deprem Yönetmeliği'nde tanımlanan yapı düzensizliklerinden olan, yumuşak kat ve zayıf kat düzensizlikleri incelenmiştir.  ...  ve zayıf kat düzensizliği durumlarının oluşumu incelenmiştir.  ...  Şekil 5 (b).  ... 
doi:10.21605/cukurovaummfd.310297 fatcat:k5aimhpfazaclg4fapuiubl2om

The Poet Kat' ΕΞΟΧΗΝ

A. M. Harmon
1923 Classical Philology  
gts THE POET KAT’ EZOXHN By A. M.  ...  The prettiest example (839 b 30) runs: “They say . . . . using the Poet himself as a wit- 1 Guil.  ... 
doi:10.1086/360475 fatcat:wmmthr455fcb7plm4wed74rrqu

KAT and PHL in Coq

David Pereira, Nelma Moreira
2008 Computer Science and Information Systems  
We also present the Propositional Hoare Logic (PHL) encoding in KAT, by deriving its deduction rules as theorems of KAT.  ...  In this paper we describe an implementation of Kleene Algebras with Tests (KAT) in the Coq theorem prover.  ...  p {c'} ⇔ bb ∧ bp = bpc ∧ c ≤ c → b p = b pc Implementation of KAT in Coq A KAT is a combination of BA and KA.  ... 
doi:10.2298/csis0802137p fatcat:vhldkuka5vbhnevgjgfb4qxe5u

SELF-ETCH ADEZİVİN TEK KAT VEYA ÇOK KAT UYGULAMASININ MAKASLAMA DİRENCİ ÜZERİNE ETKİSİ

Adil NALÇACI, Meriç SALBAŞ
2003 Ankara Üniversitesi Diş Hekimliği Fakültesi Dergisi  
Adeziv Uygulamas› N Ortalama±SD Minimum Maksimum tek kat 15 7.8 ± 1.1 a 5.92 9.43 iki kat 15 10.6 ± 2.1 b 7.85 14.99 üç kat 15 7.9 ± 0.8 b 6.13 9.13 Toplam 45 8.7 ± 1.9 5.92  ...  İki kat uygulamas›: Örneklere iki defa üst üste tek kat uygulamas› yap›ld› (n=15). Üç kat uygulamas›: Örneklere üç defa üst üste tek kat uygulamas› yap›ld› (n=15).  ... 
doi:10.1501/dishek_0000000033 fatcat:vajcjwcambe2hng5uuy6vdf45q

Perforerende dermatitis bij een kat

N. Jongmans, S. Vandenabeele, J. Declercq
2013 Vlaams dierengeneeskundig tijdschrift  
Vooral in het geval van UV-B-fototherapie lijken deze behandelingsmethoden uit praktisch oogpunt echter minder geschikt voor de kat.  ...  Declercq Vakgroep Geneeskunde en Klinische Biologie van de Kleine Huisdieren Faculteit Diergeneeskunde, Universiteit Gent Salisburylaan 133, B-9820 Merelbeke nienkejongmans@gmail.com kat  ... 
doi:10.21825/vdt.v82i6.16681 fatcat:xdc4q5vkizanrbinykt4avq43a

Round about the Kit Kat

Nym Crinkle, Prominent Members
1894 The Quarterly Illustrator  
-sLppose the fellows who organ ized the Kit Kat-and how strange ly methodical it sounds to say they organized anything-I suppose they D,nTL, /9vy 0/b if-aff/ I'ERCITA IWEST.  ...  Ani artist is essentially a creature of sympathy, anid lhe is alvways hallf ConISciOuIS that h-iis temperament is miiisuniderstoocl b) the gr-eat anid necessar-y crowd of practical meni  ... 
fatcat:zsywy5r4qrekzj72bz2vicr6iy

H i observations of Sextans A and B with the SKA pathfinder KAT-7

B Namumba, C Carignan, S Passmoor
2018 Monthly notices of the Royal Astronomical Society  
HI observations of the Local Group dwarf irregular galaxies Sextans A and B, obtained with the Karoo Array Telescope (KAT-7) are presented.  ...  The KAT-7 wide field of view and excellent surface brightness sensitivity allows us to verify the true HI extent of the galaxies.  ...  ACKNOWLEDGEMENT We thank the entire SKA SA team for allowing us to obtain scientific data during the commissioning phase of KAT-7. We thank Tom Jarrett for providing the WISE luminosity profiles.  ... 
doi:10.1093/mnras/sty1056 fatcat:ala7mdbds5a7zb24lczxjtpx7i

Generalising KAT to verify weighted computations [article]

Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
2019 arXiv   pre-print
Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests.  ...  On this context, and in analogy to Kozen's encoding of Propositional Hoare Logic (PHL) in KAT [22], we discuss the encoding of a graded PHL in I-GKAT and of its while-free fragment in GKAT.  ...  . • A Hoare triple {b}p{c} is encoded in KAT as b; p;c = 0, which is equivalent to b; p = b; p; c.  ... 
arXiv:1911.01146v1 fatcat:45sut6pllbfjpjca3t7nrrb4u4

Neonatale iso-erytrolyse bij de kat

F. Snoeck, T. Rijsselaere, A. Van Soom
2013 Vlaams dierengeneeskundig tijdschrift  
Het is af te raden om te fokken met een moederpoes met bloedgroep B en een kater met bloedgroep A of AB.  ...  Neonatale iso-erytrolyse bij kittens kan enkel voorkomen wanneer de moederpoes bloedgroep B en de kater bloedgroep A of AB heeft.  ...  BLOEDGROEPEN BIJ DE KAT Bij de kat komen er drie bloedgroepen voor: fenotypisch zijn dat bloedgroep A, B en AB.  ... 
doi:10.21825/vdt.v82i6.16680 fatcat:gkcnmj7iwvbjxdcqbpoovnwvjq

KATs in cancer: functions and therapies

A Farria, W Li, S Y R Dent
2015 Oncogene  
KATs target both tails and globular domains of all 4 histone proteins. B.  ...  Tip60 has a haplo-insufficient tumor suppressor activity in both mouse and human. 114 Tip60 heterozygosity impairs Myc-induced DNA damage repair in B cells and accelerates the onset of Myc-induced B-cell  ...  understanding of the functions of KATs and HDACs in both normal cells and in cancer will also allow better design of combination therapies using inhibitors for these enzymes together with other epigenetic  ... 
doi:10.1038/onc.2014.453 pmid:25659580 pmcid:PMC4530097 fatcat:xwtikxaugjgh5cimbqizduqdhe

Deciding KAT and Hoare Logic with Derivatives

Ricardo Almeida, Sabine Broda, Nelma Moreira
2012 Electronic Proceedings in Theoretical Computer Science  
Both the equational theory of KAT and the encoding of PHL in KAT are known to be decidable.  ...  In this paper we present a new decision procedure for the equivalence of two KAT expressions based on the notion of partial derivatives.  ...  The abstract syntax of KAT expressions over an alphabet Σ ∪ T is given by the following grammar, b ∈ Bexp := 0 | 1 | t ∈ T | b | b 1 + b 2 | b 1 • b 2 e ∈ Exp := p ∈ Σ | b ∈ Bexp | e 1 + e 2 | e 1 • e  ... 
doi:10.4204/eptcs.96.10 fatcat:hw335oi3dbefzfbcc6qtwkzqtu

HASTANELERDE KAT HIZMETLERI VE MEMNUNIYET ANALIZI

Atila Karahan
2008 Usak University Journal of Social Sciences  
Bu nedenle hastanelerde kat hizmetlerinin önemi hastaların beklentilerindeki artıĢla birlikte daha fazla önem kazanmaya baĢlamıĢtır.  ...  Bu çalıĢma ile, kat hizmetlerinin Afyon Kocatepe Üniversitesi Hastanesinde yatarak tedavi gören hastaların memnuniyet düzeylerine etkisi saptanmaya çalıĢılmıĢtır.  ...  Kaynaklar Ak, B., Mete, M., Sargutan, E., (1998) Hastanelerde Ev İdaresi Hizmetleri Paksil Ltd.ġti. Yayını, No: 001, Ankara. s.1-10 Bearden William O.  ... 
doi:10.12780/uusbd19 fatcat:dildaoaoavblhcczj3k3iyz6oq

SİSMİK İZOLATÖRLÜ BİNALARDA KAT ADEDİ ETKİSİ

Metin Hakan SEVERCAN, Pınar ŞEN
2019 Ömer Halisdemir Üniversitesi Mühendislik Bilimleri Dergisi  
Sarkaç yerleşim yerleri en alt kat kolonlarının üstü olarak seçilmiştir.  ...  ÖZ Bu çalışmada, sismik izolatör kullanımının bina kat adedine bağlı olarak yapısal davranışa ve maliyete olan etkisi araştırılmıştır.  ...  Bina önem katsayısı (I) 1.5, zemin sınıfı Z2, zemin grubu B (sıkı kum, çakıl), spektrum karakteristik periyotları TA (sn)= 0.15 TB (sn)= 0.40, 1.  ... 
doi:10.28948/ngumuh.598230 fatcat:ouq2j2pxeffppkumz3lrvavedy
« Previous Showing results 1 — 15 out of 98,238 results