Context-aware approach for formal verification Journal title: EAI Endorsed Transactions on Context-aware Systems and Applications Authors: Amel Benabbou, Safia Nait Bahloul, Dhaussy Philippe Subject(s): Computer and Information Science, Data Communication and Networks
Ant Colony Optimization Based Model Checking Extended by Smell-like Pheromone Journal title: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems Authors: Tsutomu Kumazawa, Chihiro Yokoyama, Munehiro Takimoto, Yasushi Kambayashi Subject(s): Computer and Information Science, Data Communication and Networks, Industrial Management
An Application of SMC to continuous validation of heterogeneous systems Journal title: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems Authors: Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Q... Subject(s): Computer and Information Science, Data Communication and Networks, Industrial Management
An Application of SMC to continuous validation of heterogeneous systems. Journal title: EAI Endorsed Transactions on Industrial Networks and Intelligent Systems Authors: Alexandre Arnold, Massimo Beleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Q... Subject(s): Computer and Information Science, Data Communication and Networks, Industrial Management
Immunotherapy in Prostate Cancer Journal title: The Bulletin of Urooncology Authors: Deniz Bolat MD, Ayfer Haydaroğlu, Subject(s): Medicine
Deformacja zgięciowa palucha w wyniku pourazowego zbliznowacenia brzuśca mięśnia zginacza długiego palucha - opis przypadku Journal title: Ortopedia Traumatologia Rehabilitacja Authors: Andrzej Boszczyk, Piotr Zakrzewski, Stanisław Pomianowski Subject(s):
Hallux Checkrein Deformity Resulting from the Scarring of Long Flexor Muscle Belly - Case Report Journal title: Ortopedia Traumatologia Rehabilitacja Authors: Andrzej Boszczyk, Piotr Zakrzewski, Stanisław Pomianowski Subject(s):
A METHOD OF DATA ENCODING/DECODING USING VARIABLE LOW DENSITY PARITY CHECK CODES Journal title: Informatyka Automatyka Pomiary w Gospodarce i Ochronie Środowiska Authors: Natally V. Patsei Subject(s):
METODA KODOWANIA/DEKODOWANIA DANYCH Z WYKORZYSTANIEM ZMIENNYCH KODÓW LDPC Journal title: Informatyka Automatyka Pomiary w Gospodarce i Ochronie Środowiska Authors: Natally V. Patsei Subject(s):
Human Rights and the role of courts in Thailand Journal title: Adam Mickiewicz University Law Review Authors: Subject(s):
WYBRANE ELEMENTY KONTROLI ZARZĄDZANIA KRYZYSOWEGO W SYSTEMIE ADMINISTRACJI PUBLICZNEJ. DOŚWIADCZENIA REPUBLIKI SŁOWACKIEJ (ZARYS PROBLEMATYKI) Journal title: Zeszyty Naukowe Wyższej Szkoły Finansów i Prawa w Bielsku-Białej Authors: Ján BUZALKA Subject(s):
Checklist of Mesozoic Curculionoidea (Coleoptera) with description of new taxa Journal title: Baltic Journal of Coleopterology Authors: Andrei A. Legalov Subject(s):
Verification of Modification Effect on Prototype Castings from GJV Using Ultrasound Checking Journal title: Archiwum Odlewnictwa Authors: B. Skrbek, O. Bouška, K. Nedělová, J. Heunisch Subject(s):
Use of NSI Determine Checklist to assess the risk of malnutrition in persons of advanced old age living in rural areas Journal title: Progress in Health Sciences Authors: ZB Wojszel Subject(s):
FAILURES OF BUILDING CONSTRUCTIONS CAUSED BY DESIGN ERRORS Journal title: Scientific Journal of the Military University of Land Forces Authors: Sylwester KOBIELAK, Edward HUTNIK, Zenon ZAMIAR Subject(s):