Results 51 to 60 of about 222,389 (210)
Z3: An Efficient SMT Solver [PDF]
, 2008 Satisfiability Modulo Theories (SMT) problem is a decision problem for logical first order formulas with respect to combinations of background theories such as: arithmetic, bit-vectors, arrays, and uninterpreted functions. Z3 is a new and efficient SMT Solver freely available from Microsoft Research.
Leonardo de Moura, Nikolaj Bjørner
openaire +1 more source
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.The use of image quality metrics in combination with machine learning enables automatic image quality assessment for fluorescence microscopy images. The method can be integrated into the experimental pipeline for optical microscopy and utilized to classify artifacts in experimental images and to build quality rankings with a reference‐free approach ...
Elena Corbetta, Thomas Bocklitz
wiley +1 more source
Pathogens, 2023 The goal of this study was to analyze the genetic expression of antiretroviral restriction factors (ARF) and acute phase proteins (APP), as well as their correlation with proviral and viral loads in cattle with aleukemic (AL) and persistent lymphocytosis
Ana S. González-Méndez +3 more
doaj +1 more source
A Deformation of Commutative Polynomial Algebras in Even Numbers of Variables
, 2010 We introduce and study a deformation of commutative polynomial algebras in even numbers of variables. We also discuss some connections and applications of this deformation to the generalized Laguerre orthogonal polynomials and the interchanges of right ...
Zhao, Wenhua
core +1 more source
Braiding properties of the N=1 super-conformal blocks (Ramond sector) [PDF]
, 2011 Using a super scalar field representation of the chiral vertex operators we develop a general method of calculating braiding matrices for all types of N=1 super-conformal 4-point blocks involving Ramond external weights.
Chorazkiewicz, Damian +2 more
core +2 more sources
Advanced Intelligent Systems, EarlyView.This work presents a robot‐assisted Doppler optical coherence tomography system for autonomous, wide‐field intraoperative assessment of microvascular anastomoses. Machine‐vision–guided probe positioning and adaptive scan planning enable three‐dimensional structural and hemodynamic imaging over extended vessel segments.
Xiaochen Li +10 more
wiley +1 more source
Foods, 2022 Zearalenone (ZEN) is harmful to animals and human beings, so it is very important to develop a rapid and sensitive method for the detection of ZEN. In this paper, we proposed a novel ZEN-monitoring method using two aptamers as recognition elements and ...
Xijing Yao +5 more
doaj +1 more source
Holomorphic Flows on Simply Connected Regions Have No Limit Cycles [PDF]
, 2003 The dynamical system or flow = f(z), where f is holomorphic on C, is considered. The behavior of the flow at critical points coincides with the behavior of the linearization when the critical points are non-degenerate: there is no center-focus dichotomy.
Broughan, Kevin A.
core +1 more source
Reconstructing Z3 Proofs With KeY
, 2021 KeY dient zur formalen Verifikation spezifizierter Eigenschaften von Java-Programmen.Dafür werden aus der formalen Spezifikation sowie dem Programm-Code Beweisverpflichtungen generiert. Diese werden dann Schritt für Schritt in eine Menge von Formeln der Prädikatenlogik erster Stufe überführt.
openaire +3 more sources
Corporate Social Responsibility and Environmental Management, EarlyView.ABSTRACT Public organisations often experience a discrepancy between improvements in technical efficiency and stakeholders' perceptions of integrity and performance. This study analyses the mechanisms that may underlie this efficiency–perception discrepancy in Spanish Defence Delegations during 2020–2023.
José Solana‐Ibáñez +1 more
wiley +1 more source