Results 31 to 40 of about 198,492 (223)
The Journal of Logic Programming, 1999 Summary: Modes were introduced in logic programming to differentiate the input arguments of a predicate from its output arguments. This information can be used for verifying the most diverse properties of logic programs, notably absence of run-time errors and absence of deadlocks in presence of delay declarations.
Etalle, S, Gabbrielli, M
openaire +6 more sources
Microbubble surface modes [PDF]
IEEE Ultrasonics Symposium, 2004, 2005 We have investigated surface vibrations generated by ultrasound excitation of individual unencapsulated micron-sized bubbles. In addition, we present surface modes (n=2 and 3) observed for phospholipid-coated ultrasound contrast agents excited through excitation of radial modes at frequencies between 1 and 4 MHz.
Versluis, Michel +6 more
openaire +3 more sources
Nestrukturirani modeli mliječno-kiselog vrenja [PDF]
, 2011 To describe a microbial process, two kinds of models can be developed, structured and unstructured models. Contrary to structured models, which take into account some basic aspects of cell structure, their function and composition, no physiological ...
Abdallah Bouguettoucha +2 more
core +2 more sources
Cancer Medicine, Volume 15, Issue 4, April 2026.ABSTRACT Backgroud Different anti‐PD‐1 combination therapies are used to improve response rate and combat drug resistance for melanoma in the real world of China. While the reported safety data has remained scarce, especially for the controversial use of interferon.
Yuan Qiao +21 more
wiley +1 more source
Konceptualizacije odnosa između ličnosti i zdravstvenih ishoda
Psychological Topics, 2013 U recentnoj psihologijskoj literaturi predloženo je nekoliko vrlo plauzibilnih koncepcija odnosa između ličnosti i zdravstvenih ishoda. Radi se o četiri dominantna teorijska modela koja pokušavaju objasniti procese i mehanizme koji se nalaze u osnovi ...
Kristina Dankić
doaj +2 more sources
Türkiye’de kronik hastalık yönetiminde hemşirelik modellerinin kullanımı: sistematik derleme
Hemşirelikte Araştırma Geliştirme Dergisi, 2017 Amaç: Bu sistematik derlemenin amacı; Türkiye’de hemşireler tarafından yapılan kronik hastalık yönetiminde kuram ve modele dayalı araştırmaların sistematik olarak incelenmesidir.
Şenay Zuhur, Nurhan Özpancar
doaj +1 more source
Pravni Vjesnik, 2020 U ovom radu, autor se bavi tipiziranjem načina mijenjanja aktualnih ustava u svijetu, polazeći od uloge i značaja subjekata ustavnih promjena u postupku revidiranja ustava.
Jasmin Hušić
doaj +1 more source
Advanced Functional Materials, Volume 36, Issue 11, 5 February 2026.This review summarizes recent advances in closed‐cell in situ TEM strategies for accurate determination of the activity and stability of single‐atom catalyst systems during operation. Operando conditions causing dynamic changes of SAC systems are highlighted and we explain why ensemble average‐based optical techniques may benefit from the technological
Martin Ek +4 more
wiley +1 more source
المصطلح الأصولي عند الإمام الجويني من خلال كتابه البرهان- صيغة الأمر أنموذجاً-
Balagh - Journal of Islamic and Humanities Studiesيهدف هذا البحث إلى دراسة المصطلح الأصولي عند الإمام الجويني (إمام الحرمين) من خلال كتابه "البرهان في أصول الفقه"، مع التركيز على صيغة الأمر كنموذج تطبيقي، تُعد صيغة الأمر أساسًا للتكليف الشرعي، وفهمها الدقيق ضروري لعلماء الشريعة في استنباط الأحكام. يُقدم
Tuba Hacer Korkmaz, Ahmed Sinanoğlu
doaj +1 more source
MATHEMATICAL SIMULATION FOR ASSESSMENT OF THE SMALL BUSINESS EFFICIENCY: REGIONAL ASPECTS [PDF]
, 2016 Mathematical simulation of economic systems and processes are considered. The description of macroeconomic models for assets formation, consumer behaviour, production activity of an enterprise, and market balance is given.
Zamkovyy, Oleksandr
core