Results 61 to 70 of about 712 (135)
Proof Pearl: The Termination Analysis of Terminator [PDF]
, 2007 TERMINATOR is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in higher order logic of the program analysis employed by Terminator, and verifies that if the analysis succeeds then program termination logically follows.
openaire +1 more source
Homofobia, homouprzedzenie czy homosceptycyzm?
Psychiatria i Psychologia Kliniczna, 2011 Autor artykułu analizuje problem homofobii, homouprzedzenia i homonegatywizmu. Termin homofobia zgodnie ze swym semantycznym źródłosłowem oraz współczesnymi klasyfikacjami chorób i zaburzeń psychicznych – ICD‑10 i DSM‑IV – powinien oznaczać zaburzenie ...
Andrzej Margasiński
doaj
Terminal Lucidity: Envisioning the Future of the Terminal
2025 IEEE/ACM 33rd International Conference on Program Comprehension (ICPC)The Unix terminal, or just simply, the terminal, can be found being applied in almost every facet of computing. It is available across all major platforms and often integrated into other applications. Due to its ubiquity, even marginal improvements to the terminal have the potential to make massive improvements to productivity on a global scale.
Michael MacInnis +2 more
openaire +2 more sources
Forum LingwistyczneCelem badania jest analiza ewolucji terminu Asperger w językach polskim i włoskim. Badania porównawcze wykazały, że zespół Aspergera stopniowo przestaje być postrzegany wyłącznie w kategoriach medycznych, a jego rozumienie ewoluuje w kierunku podejścia ...
Dominika Dykta, Lucyna Marcol-Cacoń
doaj +1 more source
Terminal care. Home terminal care.
Nihon Naika Gakkai Zasshi, 1996 在宅ターミナルケアは家族の負担はあるものの患者にとっては贅沢な医療である.現在の日本で在宅医療を行うには,まだまだ多くの問題がある.しかしながら,患者,家族がそれを望む以上,医療者も行政もそれに応えるシステムをつくる時期にきていることも事実である.在宅ターミナルケアでは患者のみならず家族の身体的・精神的ケア,インフォームドコンセント,また臨死期の対応など多くの課題を抱えている.本稿ではそれらについて考察した.
openaire +2 more sources
Urząd kościelny w prawie kanonicznym
Kościół i PrawoAutor analizuje łaciński termin officium oraz jego znaczenie semantyczne, filozoficzne, teologiczne, eklezjalne i kanoniczne. W terminologii kanonicznej termin ten oznacza zazwyczaj urząd kościelny.
Štefan Brinda
doaj +1 more source
Probabilistic termination versus fair termination
Theoretical Computer Science, 1989 The probabilistic almost everywhere termination of concurrent programs is proved to be expressible by a \(\Pi^ 0_ 2\) arithmetic formula and hence it has the complexity equivalent to that of deterministic program termination. This is much simpler then the \(\Pi^ 1_ 1\) complexity of ``fair'' termination.
openaire +2 more sources
Filologia – co dziś ten termin znaczy?
Postscriptum Polonistyczne, 2020 brak
Stanisław Gajda +2 more
doaj
Reakcja wybranych gatunków pszenicy ozimej na termin siewu
Agronomy Science, 2006 Badania polowe przeprowadzono w latach 2005–2007 na terenie Gospodarstwa Doświadczalnego Felin AR w Lublinie. Ich celem było określenie wpływu dwóch terminów siewu: optymalnego i opóźnionego (o 2 tygodnie) na plonowanie, elementy struktury plonu oraz ...
GRZEGORZ SZUMIŁO, LESZEK RACHOŃ
doaj