Results 21 to 30 of about 3,164,470 (70)

Z logic and its consequences [PDF]

open access: yes, 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  

z-haiman/RBC-GEM: 1.1.0

open access: yes
<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

Zaburzenia depresyjne z ewolucyjnego punktu widzenia

open access: yes, 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]

open access: yes, 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

Optat de Veghel, Benoit de Canfield (1562-1610). Sa vie, sa doctrine et son influence.

open access: yes, 1954
Ricard Robert. Optat de Veghel, Benoit de Canfield (1562-1610). Sa vie, sa doctrine et son influence. . In: Bulletin Hispanique, tome 56, n°3, 1954.
Ricard, Robert
core  

An Eclipse Environment for Z [PDF]

open access: yes, 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  

Krwawienia z przewodu pokarmowego

open access: yes, 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  

Profilaktyka krwawień z przewodu pokarmowego u chorych leczonych lekami hamującymi układ krzepnięcia z przyczyn kardiologicznych

open access: yes, 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

open access: yes, 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

Postępowanie z pacjentem z uchyłkami jelita grubego w zależności od postaci klinicznej choroby

open access: yes, 2013
Uchyłkowatość jelita grubego to obecność uchyłków w jelicie, które są przypominającymi kieszonki uwypukleniami (przepuklinami) błony śluzowej i podśluzowej przez błonę mięśniową jelita, w miejscach zmniejszonej oporności mięśniówki.
Ewa Tylec-Osóbka   +3 more
core  

Home - About - Disclaimer - Privacy