APPLICATION OF INCREMENTAL SATISFIABILITY PROBLEM SOLVERS FOR NON-DETERMINISTIC POLYNOMIAL-TIME HARD PROBLEMS AS ILLUSTRATED BY MINIMAL BOOLEAN FORMULA SYNTHESIS PROBLEM [PDF]
Научно-технический вестник информационных технологий, механики и оптики, 2020 Subject of Research. The paper considers a method for solution of the nondeterministic polynomial hard problem (NP-hard problem) of a minimal Boolean formula synthesis from a given truth table.
Konstantin I. Chukharev
doaj +1 more source
Comparative analysis of Kotlin coroutines with Java and Scala in parallel programming
Journal of Computer Sciences Institute, 2020 The article presents a comparison of Kotlin coroutines with analogous solutions in Java and Scala in parallel programming using chosen metric and non-metric criteria. For that purpose, a multi-module project with corresponding implementations of selected
Adrian Zieliński
doaj +1 more source
JISA (Jurnal Informatika dan Sains), 2023 The church is a gathering place for Christians to carry out worship. The Sumbawa Redeemer Catholic Church is a church that originates from Sumbawa Besar Regency, West Nusa Tenggara Province. This Catholic Church is the only church in Sumbawa Regency. The
Claudio Orlando De Araujo +1 more
doaj +1 more source
TECHNOLOGY OF IDENTIFYING ANTIPATTERNS IN ANDROID PROJECTS WRITTEN IN KOTLIN LANGUAGE
Вісник Національного технічного університету "ХПÌ": Системний аналіз, управління та інформаційні технології, 2020 The problem of the lack of instruments for identifying the characteristics of low-quality code in Android projects that are written in the Kotlin language is determined.
Ivan Yuriyovich Malik +3 more
doaj +1 more source
Soft Smart Biopatch for Continuous Authentication‐Enabled Cardiac Biometric Systems
Advanced Sensor Research, Volume 2, Issue 12, December 2023., 2023 The development of a novel biometric locking system using a continuous cardiac biometric wearable device designed for secure and efficient authentication is studied. The patch enhances data reliability and user comfort by combining microfabricated microphone technology, machine‐learning algorithms, and soft biocompatible materials.
Sung Hoon Lee +9 more
wiley +1 more source
Ediacara biota flourished in oligotrophic and bacterially dominated marine environments across Baltica. [PDF]
, 2018 Middle-to-late Ediacaran (575-541 Ma) marine sedimentary rocks record the first appearance of macroscopic, multicellular body fossils, yet little is known about the environments and food sources that sustained this enigmatic fauna.
Bekker, Andrey +7 more
core +3 more sources
High Level Tracker Triggers for CMS [PDF]
, 2002 Two fast trigger algorithms based on 3 innermost hits in the CMS Inner Tracker are presented. One of the algorithms will be applied at LHC low luminosity to select B decay channels.
Andrey Starodumov +4 more
core +3 more sources
First data on Dolichopodidae (Diptera) of the West Kotlin Nature Reserve (Saint Petersburg, Russia)
Acta Biologica Sibirica, 2017 First data on Dolichopodidae from the West Kotlin Nature Reserve resulted from the short-term visit (June, 2017) are presented. All 25 collected species are firstly recorded for the Kotlin Island.
I. Ya. Grichanov, E. I. Ovsyannikova
doaj +1 more source
Runtime Verification of Kotlin Coroutines
, 2022 Kotlin was introduced to Android as the recommended language for development. One of the unique functionalities of Kotlin is that of coroutines, which are lightweight tasks that can run concurrently inside threads. Programming using coroutines is difficult, among other things, because they can move between threads and behave unexpectedly.
Furian, Denis +3 more
openaire +2 more sources
Acoustic Integrity Codes: Secure Device Pairing Using Short-Range Acoustic Communication
, 2020 Secure Device Pairing (SDP) relies on an out-of-band channel to authenticate devices. This requires a common hardware interface, which limits the use of existing SDP systems.
Balfanz D. +6 more
core +1 more source