Results 71 to 80 of about 235,564 (296)
Clinical Epidemiology and Global HealthBackground: Tuberculosis is a global public health challenge. More stringent activities are needed for evaluation of ongoing TB transmission. The study was aimed at estimating the prevalence of LTBI in children below 15 years who are household contacts ...
R. Swathy, Rekha Krishnan, S. Geetha
doaj +1 more source
CoRR, 2014 The aim of this short note is mainly pedagogical. It summarizes some knowledge about Boolean satisfiability (SAT) and the P=NP? problem in an elementary mathematical language. A convenient scheme to visualize and manipulate CNF formulae is introduced. Also some results like the formulae for the number of unsatisfied clauses and the number of solutions ...
openaire +3 more sources
Investigating transcription factor dynamics in health and disease using FRAP
FEBS Letters, EarlyView.FRAP analysis of GFP‐tagged transcription factors reveals how molecular mobility and target engagement change in response to drug treatment. By combining live‐cell imaging, quantitative model fitting, and statistical analysis, this approach uncovers transcription factor dynamics linked to disease mechanisms, providing a powerful framework for ...
Kannan Govindaraj +3 more
wiley +1 more source
A parallel search algorithm for the SAT
Journal of Computer Science and Technology, 2005 In order to be able to perform multimedia searches (like sounds, videos, images, etc.) we have to use data structures like the Spatial Approximation Tree (SAT).
Graciela Verónica Gil Costa +3 more
doaj
A Hybrid YOLOv11–Faster R-CNN Approach for PCB Defect Detection [PDF]
ITM Web of ConferencesPrinted circuit board (PCB) defect detection is critical for ensuring the performance and reliability of electronic products. However, traditional inspection methods suffer from low efficiency and poor stability.
Tang Yifan
doaj +1 more source
To SAT or Not to SAT: Scalable Exploration of Functional Dependency
IEEE Transactions on Computers, 2010 Functional dependency is concerned with rewriting a Boolean function f as a function h over a set of base functions {g1,?,gn}, i.e., f = h(g1,?,gn). It plays an important role in many aspects of electronic design automation (EDA). Prior approaches to the exploration of functional dependency are based on binary decision diagrams (BDDs), which may not be
Jiang, J.-H.R. +3 more
openaire +3 more sources
Conserved binding mode but diverse interfaces of MreC‐PBP2 interactions
FEBS Letters, EarlyView.The crystal structure of abMreC reveals a conserved two β‐barrel architecture and provides structural insights into its role within the bacterial elongasome. The abMreC–abPBP2 complex model identifies the molecular basis of MreC‐mediated PBP2 recognition, contributing to the regulation of peptidoglycan synthesis.
Hyunseok Jang +4 more
wiley +1 more source
Structure‐forward targeting of claudins with synthetic binders
FEBS Letters, EarlyView.Claudins form the paracellular barriers between epithelial and endothelial tissues at tight junctions and are targets for molecular binders with the goal of modulating barrier permeability. Claudin‐binding molecules are relevant in drug delivery or in altering claudin interactions with disease‐causing proteins.
Alex J. Vecchio
wiley +1 more source
SAT-Based Software Certification
, 2018 This report formalizes a notion of witnesses as the basis of certifying the correctness of software. The first part of the report is concerned with witnesses for the satisfaction of linear temporal logic specifications by infinite state programs and ...
Sagar Chaki (5356781)
core +1 more source
LIPIcs, Volume 236, SAT 2022, Complete Volume
, 2022 LIPIcs, Volume 236, SAT 2022, Complete ...
Strichman, Ofer, Meel, Kuldeep S.
core +1 more source