Results 101 to 110 of about 189,113 (324)

Model Checking Procedural Programs [PDF]

, 2018
We consider the model-checking problem for sequential programs with procedure calls. We first present basic algorithms for solving the reachability problem and the fair computation problem. The algorithms are based on two techniques: summarization, which computes reachability information by solving a set of fixpoint equations, and saturation, which ...
Rajeev Alur, Ahmed Bouajjani, Javier Esparza   +2 more
openaire   +1 more source

From procedural child rights education to a relational child rights-based practice model

, 2023
Tara M. Collins, Kiaras Gharabaghi, Sheldon Caruana, Shannon Cherry, Richard Marcano-Henry   +4 more
openalex   +1 more source

Screening for lung cancer: A systematic review of overdiagnosis and its implications

Molecular Oncology, EarlyView.
Low‐dose computed tomography (CT) screening for lung cancer may increase overdiagnosis compared to no screening, though the risk is likely low versus chest X‐ray. Our review of 8 trials (84 660 participants) shows added costs. Further research with strict adherence to modern nodule management strategies may help determine the extent to which ...
Fiorella Karina Fernández‐Sáenz, Laura de la Torre‐Perez, David R Baldwin, Carlijn van der Aalst, Mangesh Thorat, David Ritchie, Andre L Carvalho, Carolina Espina, Ivan Solà, Carlos Canelo‐Aybar, Moira Magdalena Pissinis, Pablo Alonso‐Coello, Ana Carolina Pereira Nunes Pinto   +12 more
wiley   +1 more source

TexPro: Text-guided PBR texturing with procedural material modeling

Computational Visual Media
In this paper, we present TexPro, a novel method for high-fidelity material generation for input 3D meshes given text prompts. Unlike existing text-conditioned texture generation methods that typically generate RGB textures with baked lighting, TexPro is
Ziqiang Dang, Wenqi Dong, Zesong Yang, Bangbang Yang, Liang Li, Yuewen Ma, Zhaopeng Cui   +6 more
doaj   +1 more source

A survey of computer representations of trees for realistic and efficient rendering [PDF]

, 2006
This paper gives an overview of computer graphics representations of trees commonly used for the rendering of complex scene of vegetation. Looking for the right compromise between realism and efficiency has lead researchers to consider various types of ...
Boudon, Frédéric, Godin, Christophe, Meyer, Alexandre   +2 more
core  

Glycosylated LGALS3BP is highly secreted by bladder cancer cells and represents a novel urinary disease biomarker

Molecular Oncology, EarlyView.
Urinary LGALS3BP is elevated in bladder cancer patients compared to healthy controls as detected by the 1959 antibody–based ELISA. The antibody shows enhanced reactivity to the high‐mannose glycosylated variant secreted by cancer cells treated with kifunensine (KIF).
Asia Pece, Giulio Lovato, Ilaria Cela, Arianna Mercatelli, Benedetta Ferro, Jussi Nikkola, Sara Pagotto, Tommaso Grottola, Vincenzo De Laurenzi, Rossella Cicchetti, Antonio Marchetti, Luigi Schips, Rossano Lattanzio, Stefano Iacobelli, Emily Capone, Peter Black, Mads Daugaard, Michele Marchioni, Gianluca Sala   +18 more
wiley   +1 more source

Procedural simulation method for aggregating charging load model of private electric vehicle cluster

Journal of Modern Power Systems and Clean Energy, 2015
The usage of each private electric vehicle (PrEV) is a repeating behavior process composed by driving, parking, discharging and charging, in which PrEV shows obvious procedural characteristics.
Mingfei Ban, Jilai Yu
doaj   +1 more source

MODELS OF TRAINING PROCEDURES

Radio Electronics, Computer Science, Control, 2019
Context. The problem of justifying methods for constructing models of optimization procedures as dynamic objects, taking into account the features of the training procedures, is considered. The object of the study were models of the dynamics of training procedures. Objective.
Khodakov, V. Ye., Sokolov, A. Ye., Veselovskaya, G. V.   +2 more
openaire   +3 more sources

Liquid biopsy epigenetics: establishing a molecular profile based on cell‐free DNA

Molecular Oncology, EarlyView.
Cell‐free DNA (cfDNA) fragments in plasma from cancer patients carry epigenetic signatures reflecting their cells of origin. These epigenetic features include DNA methylation, nucleosome modifications, and variations in fragmentation. This review describes the biological properties of each feature and explores optimal strategies for harnessing cfDNA ...
Christoffer Trier Maansson, Anders Lade Nielsen, Boe Sandahl Sorensen   +2 more
wiley   +1 more source

Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting

Molecular Oncology, EarlyView.
CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia, Noelia Moares, Wenjie Yi‐He, Rosa Luna‐Espejo, Ricardo Fernandez‐Cisnal, Javier Ocaña‐Cuesta, Juan P. Muñoz‐Miranda, Antonio Gabucio, Cecilia M. Fernandez‐Ponce, Francisco Garcia‐Cozar   +9 more
wiley   +1 more source