Results 21 to 30 of about 4,741 (185)
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.
Sandro Etalle, Maurizio Gabbrielli
openaire +6 more sources
Prednosti in omejitve uporabe kazalcev sonaravnega razvoja
Dela, 2006 Prispevek prinaša kritično vrednotenje napredka na področju uporabe kazalcev sonaravnega razvoja v zadnjem desetletju. Predstavlja tudi nekatera metodološka in teoretična izhodišča njihove uporabe, različne modele kazalcev in merila, ki naj bi jim ...
Katja Vintar Mally
doaj +1 more source
Mode Locking of the Hermite-Gaussian Modes of a Nanolaser [PDF]
Physical Review Letters, 2019 Mode-locking is predicted in a nanolaser cavity forming an effective photonic harmonic potential. The cavity is substantially more compact than a Fabry-Perot resonator with comparable pulsing period, which is here controlled by the potential. In the limit of instantaneous gain and absorption saturation, mode-locking corresponds to a stable dissipative ...
Sun, Yifan +3 more
openaire +5 more sources
Vojnotehnički Glasnik, 2017 The increasing use of electronic services that use electronic certificates and the increasing implementation of public key infrastructures require their interconnection and interoperability.
Radomir I. Prodanović, Ivan B. Vulić
doaj +1 more source
Journal of Philosophical Logic, 2013 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Menni, Matías, Smith, Clara
openaire +3 more sources
Modele jako forma organizacji wiedzy teologicznej
Polonia Sacra, 2022 Artykuł podejmuje temat stosowania modeli we współczesnej teologii. Pierwsza część rozważań dotyczy metodologicznych kwestii związanych z organizowaniem wiedzy w formie modeli.
Aneta Krupka
doaj +1 more source
Ponudba dela in odločanje o zaposlovanju na kmečkih gospodarstvih v Sloveniji
Acta Agriculturae Slovenica, 2002 V prispevku skušamo z uporabo modela kmečkih gospodarstev kvantificirati vpliv dejavnikov, na odločanje o zaposlitvi na kmečkih gospodarstvih v Sloveniji.
Luka JUVANČIČ
doaj +1 more source
Acta Agriculturae Slovenica, 2000 Proizvodnost plemenskih živali je pogosto merjena v zaporednih intervalih, kot so lastnosti mlečnosti, rasti, zauživanje krme in zunanjost. Meritve, zbrane ob različnem času ali na različnem mestu, so med seboj odvisne.
Špela MALOVRH, Milena KOVAČ
doaj +1 more source
Gospodarka Narodowa. The Polish Journal of EconomicsUnexpected events, such as financial crises, pandemics, or armed conflicts, generate shocks that disturb economic mechanisms. For the events to be appropriately described and empirically analyzed, econometric models capable of taking into account the ...
Aleksander Welfe +2 more
doaj +1 more source
Vojnotehnički Glasnik, 2015 Frakcioni račun je oblast matematičke analize koja se bavi izučavanjem i primenom izvoda i integrala proizvoljnog reda. Ovom teorijom bavili su se mnogi poznati matematičari među kojima su Ojler, Riman, Liuvil, Abel i Furije.
Branka D. Mikavica +2 more
doaj +1 more source