Results 21 to 30 of about 3,135,943 (59)
Revising Z: part I - logic and semantics [PDF]
, 1999 This is the first of two related papers. We introduce a simple specification logic ZC comprising a logic and a semantics (in ZF set theory) within which the logic is sound.
Reeves, Steve, Henson, Martin C.
core +1 more source
, 2003 In this paper we introduce and investigate an improved kernel logic Zc for the specification language Z. Unlike standard accounts, this logic is consistent and is easily shown to be sound.
Reeves, Steve, Henson, Martin C.
core +1 more source
Z logic and its consequences [PDF]
, 2003 This paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and Reeves have co-written since 1997 ...
Reeves, Steve +2 more
core
Zaburzenia depresyjne z ewolucyjnego punktu widzenia
, 2017 Epizod depresyjny stanowi częste zaburzenie zdrowia psychicznego. Jednak zgodnie z teoriami ewolucji cechy wpływające negatywnie na dostosowanie są usuwane z populacji przez selekcję naturalną, czego w przypadku epizodu depresyjnego się nie obserwuje.
Marcin Piotr Nowak
core +1 more source
Sprawozdanie z XXIII konferencji szkoleniowo-naukowej z cyklu „Farmakoterapia, psychoterapia i rehabilitacja zaburzeń afektywnych” – „Nastroje, emocje, umysł – pamięci Profesora Jerzego Vetulaniego” [PDF]
, 2018 W dniach 2–3 marca 2018 r. odbyła się kolejna, 23. edycja konferencji szkoleniowo-edukacyjnej z cyklu „Farmakoterapia, psychoterapia i rehabilitacja zaburzeń afektywnych”.
Mruwczyński, Marcin +1 more
core +1 more source
<h2>What's Changed</h2> <ul> <li>Develop by @z-haiman in https://github.com/z-haiman/RBC-GEM/pull/6</li> <li>Notebooks updated to generate preprint figures</li> <li>Added reactions, genes, and metabolites ...
z-haiman
core +1 more source
Krwawienia z przewodu pokarmowego
, 2011 Krwawienia z przewodu pokarmowego dzieli się ze względu na lokalizację, diagnostykę i sposób leczenia na: krwawienia z górnego odcinka przewodu pokarmowego (GOPP) pochodzenia nieżylakowego, krwawienia z żylaków przełyku oraz krwawienia z dolnego ...
Łukasz Durko, Ewa Małecka-Panas
core
An Eclipse Environment for Z [PDF]
, 2006 This thesis reports on the design, implementation and evaluation of a new interactive Z environment that is integrated into the Eclipse environment.
Xu, Chengdong
core
, 2010 Leki przeciwkrzepliwe i przeciwpłytkowe są stosowane coraz powszechniej, przyczyniając się do powstawania powikłań leczenia, w tym krwawienia z przewodu pokarmowego.
Jarosław Kowal +4 more
core
Terapia indywidualna i rodzinna w pracy z dziećmi z lękiem nocnym
, 2014 W artykule została opisana terapia indywidualna i rodzinna, prowadzona w przypadku zgłaszanych przez rodziców zaburzeń snu u dzieci. Objawy dotyczyły dzieci w wieku 7–12 lat i polegały na trudnościach w zasypianiu bez fizycznej bliskości rodzica lub ...
Małgorzata Talarczyk
core +1 more source