Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 8
Simbolično preiskovanje diagramov prehajanja stanj končnih avtomatov
Aleš Časar, Zmago Brezočnik
Diplomsko delo
Oznake: logična funkcija;končni avtomati;prehajalna funkcija;prehajalna relacija;karakteristična funkcija;CTL formule;binarni odločitveni grafi;
Simbolično preiskovanje diagramov prehajanja stanj končnih avtomatov : diplomsko delo
Leto: 1995 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Representation of Boolean functions with ROBDDs
Aleš Časar, Robert Meolic
Samostojni znanstveni sestavek ali poglavje v monografski publikaciji
Oznake: Boolove funkcije;algoritmi;binarni odločitveni diagram;struktura podatkov;Reduced Ordered Binary Decision Diagram;Boolean function;logic functions;logic design verification;hash table;
This paper describes data structures and algorithms for representation of Boolean functions with reduced ordered binary decision diagrams (ROBDDs). A hash table is used for quick search. Additional information about variables and functions is stored in binary trees. Manipulations on functions are ba ...
Leto: 2000 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
BDD programming package
Aleš Časar, Robert Meolic, Zmago Brezočnik
Programska oprema
Oznake: računalniški program;programski paket;
BDD programming package
Leto: 1995 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
EST - Efficient Symbolic Tools
Robert Meolic, Tatjana Kapus, Aleš Časar, Mirjam Sepesy Maučec, Zmago Brezočnik
Programska oprema
Oznake: računalništvo;računalniški programi;računalniška orodja;
EST - Efficient Symbolic Tools
Leto: 2000 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Development of a unified reversed-phase HPLC method for efficient determination of EP and USP process-related impurities in celecoxib using analytical quality by design principles
Tim Tome, Zdenko Časar, Aleš Obreza
Izvirni znanstveni članek
Oznake: RP-HPLC;AQbD;HPLC method development;HPLC method optimization;pharmacopeia;celecoxib;
This article presents the development of a reversed-phase (RP) high-performance liquid chromatographic (HPLC) method for determination of process-related impurities in a celecoxib drug substance following Analytical Quality by Design (AQbD) principles. The method from European Pharmacopeia (EP) for ...
Leto: 2020 Vir: Fakulteta za farmacijo (UL FFA)
Developing an improved UHPLC method for efficient determination of european pharmacopeia process-related impurities in ropinirole hydrochloride using analytical quality by design principles
Tim Tome, Aleš Obreza, Zdenko Časar
Izvirni znanstveni članek
Oznake: AQbD;UHPLC;method development;method optimization;design of experiments;pharmacopeia;ropinirole hydrochloride;
This article presents the development of a reversed-phase ultra-high-performance liquid chromatographic method for determining process-related impurities in ropinirole hydrochloride drug substance applying the analytical quality by design approach. The current pharmacopeial method suffers from selec ...
Leto: 2020 Vir: Fakulteta za farmacijo (UL FFA)
Razvoj in optimizacija metod tekočinske kromatografije visoke ločljivosti z vgrajeno kakovostjo pri razvoju zdravil
Tim Tome, Aleš Obreza, Zdenko Časar
Doktorska disertacija
Oznake: optimizacija metod HPLC;sproščanje učinkovin;celekoksib;
Razvoj novega zdravila v farmacevtski industriji je sestavljen iz različnih procesov, med katere uvrščamo tudi razvoj analiznih metod. Rezultati, ki jih dobimo z njihovo uporabo, nam omogočajo odločitev glede strategije za nadaljnji razvoj zdravila oziroma podajo informacijo, ali je zdravilo primern ...
Leto: 2020 Vir: Fakulteta za farmacijo (UL FFA)
Priporočila za obravnavo bolnikov s pljučnim rakom
Martina Vrankar, Nina Boc, Izidor Kern, Aleš Rozman, Karmen Stanič, Tomaž Štupnik, Mojca Unk, Maja Ebert Moltara, Vesna Zadnik, Katja Adamič, Jernej Benedik, Marko Bitenc, Jasna But Hadžić, Anton Crnjac, Marina Čakš, Dominik Časar, Eva Ćirić, Tanja Čufer, Ana Demšar, Rok Devjak, Goran Gačevski, Marta Globočnik Kukovica, Kristina Gornik-Kramberger, Maja Ivanetič, Marija Ivanović, Urška Janžič, Staša Jelerčič, Veronika Kloboves-Prevodnik, Mile Kovačević, Luka Ležaič, Mateja Marc-Malovrh, Katja Mohorčič, Loredana Mrak, Igor Požek, Nina Turnšek, Bogdan Vidmar, Dušanka Vidovič, Gregor Vlačić, Ana Lina Vodušek, Rok Zbačnik, Ivana Žagar
Strokovni članek
Oznake: pljučni rak;priporočila;
Leta 2019 so bila objavljena Priporočila za obravnavo bolnikov s pljučnim rakom, ki so v slovenski prostor vnesla prepotrebno poenotenje diagnostike in zdravljenja z namenom izboljšanja preživetja bolnikov s pljučnim rakom. Posodobitev Priporočil tri leta po izidu izvirnika prinaša največ novosti v ...
Leto: 2023 Vir: Onkološki inštitut Ljubljana (OI)
Št. zadetkov: 8
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: