Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Using the methods of formal synthesis and verification of parallel time-parameterized models for solving the system of linear equations by Gaussian elimination
Moroz, Olha, Tolstoluzka, Olena
Published in Vìsnik Harkìvsʹkogo nacìonalʹnogo unìversitetu ìmenì V.N. Karazìna. Serìâ Matematične modelûvannâ, ìnformacìjnì tehnologìï, avtomatizovanì sistemi upravlìnnâ (29.11.2021)
Published in Vìsnik Harkìvsʹkogo nacìonalʹnogo unìversitetu ìmenì V.N. Karazìna. Serìâ Matematične modelûvannâ, ìnformacìjnì tehnologìï, avtomatizovanì sistemi upravlìnnâ (29.11.2021)
Get full text
Journal Article
Sequential Source Coding for Stochastic Systems Subject to Finite Rate Constraints
Stavrou, Photios A., Skoglund, Mikael, Tanaka, Takashi
Published in IEEE transactions on automatic control (01.08.2022)
Published in IEEE transactions on automatic control (01.08.2022)
Get full text
Journal Article
Patterns and Direct/Indirect Signaling Pathways in Cardiovascular System in the Condition of Transient Increase of NO
Ondrias, Karol, Grman, Marian, Tomasova, Lenka, Berenyiova, A., Kurakova, Lucia, Misak, Anton, Cacanyiova, Sona
Published in BioMed research international (2020)
Published in BioMed research international (2020)
Get full text
Journal Article
CYP3A4-based drug–drug interaction: CYP3A4 substrates’ pharmacokinetic properties and ketoconazole dose regimen effect
Boulenc, Xavier, Nicolas, Olivier, Hermabessière, Stéphanie, Zobouyan, Isabelle, Martin, Valérie, Donazzolo, Yves, Ollier, Céline
Published in European journal of drug metabolism and pharmacokinetics (01.02.2016)
Published in European journal of drug metabolism and pharmacokinetics (01.02.2016)
Get full text
Journal Article
Effectiveness of two methods of tobacco cessation among tuberculosis patients: Visiting directly observed treatment short-course (DOTS) centers in Delhi, India
Malhotra, Sneha, Mohanty, Vikrant, Balappanavar, Aswini, Khanna, Ashwani
Published in Tobacco induced diseases (02.09.2021)
Published in Tobacco induced diseases (02.09.2021)
Get full text
Journal Article
Automatic Identification of Similar Pull-Requests in GitHub’s Repositories Using Machine Learning
Eyal Salman, Hamzeh, Alshara, Zakarea, Seriai, Abdelhak-Djamel
Published in Information (Basel) (01.02.2022)
Published in Information (Basel) (01.02.2022)
Get full text
Journal Article
Time in Specific Glucose Ranges, Glucose Management Indicator, and Glycemic Variability: Impact of Continuous Glucose Monitoring (CGM) System Model and Sensor on CGM Metrics
Pleus, Stefan, Kamecke, Ulrike, Waldenmaier, Delia, Link, Manuela, Zschornack, Eva, Jendrike, Nina, Haug, Cornelia, Freckmann, Guido
Published in Journal of diabetes science and technology (01.09.2021)
Published in Journal of diabetes science and technology (01.09.2021)
Get full text
Journal Article