Results 91 to 100 of about 1,105,161 (348)

Partial Quantifier Elimination By Certificate Clauses

, 2021
We study partial quantifier elimination (PQE) for propositional CNF formulas. In contrast to full quantifier elimination, in PQE, one can limit the set of clauses taken out of the scope of quantifiers to a small subset of target clauses.
Goldberg, Eugene
core  

Exploring patients’ profiles associated with the resolution of acute calcium pyrophosphate arthritis treatedwith colchicine and prednisone: post hoc analysis of a randomized controlled trial

Arthritis Care &Research, Accepted Article.
Objective The objective was to identify factors determining acute arthritis resolution and safety with colchicine and prednisone in acute calcium pyrophosphate (CPP) crystal arthritis. Methods We conducted a post hoc analysis of the COLCHICORT trial, which compared colchicine and prednisone for the treatment of acute CPP crystal arthritis, using a ...
Tristan Pascart, Laurène Norberciak, Pascal Richette, Pierre Robinet, Aurore Pacaud, Gauthier Marchasson, Thibault Rabin, Hélène Luraschi, Pierre Maciejasz, Anne‐France Georgel, Augustin Latourte, Hang‐Korng Ea, Sébastien Ottaviani, Charlotte Jauffret, Vincent Ducoulombier   +14 more
wiley   +1 more source

Inhibition of Glutamine Metabolism Attenuates Tumor Progression Through Remodeling of the Macrophage Immune Microenvironment

Advanced Biology, EarlyView.
The prodrug strategy used in this study offers new promise for cancer metabolism‐based therapies. JHU083, a prodrug that, when cleaved by protease in the tumor microenvironment, yields the glutamine antagonist DON. JHU083 inhibits tumor growth by targeting glutamine‐addicted cancer cells and suppressing glutamine‐dependent M2 macrophages, leading to a ...
Tianhe Li, Sepehr Akhtarkhavari, Sumeng Qi, Jiawei Fan, Tu‐Yung Chang, Yao‐An Shen, JinMing Yang, Barbara S. Slusher, Ie‐Ming Shih, Stephanie Gaillard, Tian‐Li Wang   +10 more
wiley   +1 more source

Loss of Stat3 in Prx1+ Progenitors Impairs Molar Root Development

Advanced Biology, EarlyView.
Stat3 critically regulates mandibular first molar and alveolar bone morphogenesis. Conditional ablation of Stat3 disrupts the osteogenic capacity of Prx1+ mesenchymal progenitors, as evidenced across in vivo and in vitro models. Abstract Signal Transducer and Activator of Transcription 3 (Stat3) acts as a central transcriptional modulator coordinating ...
Xin Feng, Wangyu Luo, Yichen Yao, Lichieh Lin, Laiting Chan, Jiarui Lu, Zijing Huang, Jingyi Feng, Le Zhao, Xiaolei Zhang, Liu Yang   +10 more
wiley   +1 more source

Blind Admission? The ability of NSC maths to signal competence in university commerce courses as compared to the former SC Higher Grade maths [PDF]

Mathematics is an important signal used for admission into commerce courses in South African universities. In 2008 the new National Senior Certificate replaced the former Senior Certificate. This new exam no longer had different grades and thus created a
Hunt, Karin, Nthuli, Miracle, Rankin, Neil A., Schöer, Volker, Sebastiao, Claire   +4 more
core   +1 more source

Transforming educational experience for children, parents and teachers practitioner research from the CDI/NUIM Masters Programme 2013 [PDF]

, 2014
The purpose of this action research thesis was to implement an evidence based initiative that could help better engage students in school. This research investigated factors that affected students' choice of Leaving Certificate Science subjects and ...

core  

Development and Preliminary In Vivo Study of 3D‐Printed Bioactive Glass Scaffolds with Trabecular Architecture

Advanced Engineering Materials, EarlyView.
This study reports the fabrication of trabecular bioactive glass scaffolds (composition “1d”: 46.1SiO2‐28.7CaO‐8.8MgO‐6.2P2O5‐5.7CaF2‐4.5Na2O wt%) through vat photopolymerization and the relevant results from mechanical testing and in vivo implantation procedures in rabbit femora, showing great promise for bone tissue engineering applications.
Dilshat Tulyaganov, Roberta Gabrieli, Avzal Akbarov, Nigora Nigmatova, Bekhzod Khabilov, Alessandro Schiavi, Martin Schwentenwein, Enrica Verné, Francesco Baino   +8 more
wiley   +1 more source

Das Zertifikat „Epidemiologie“ der Fachgesellschaften DGEpi, GMDS, DGSMP und IBS-DR: Aktualisierung 2012 [The certificate “epidemiology” of the scientific societies DGEpi, GMDS, DGSMP and IBS-DR: Update 2012]

GMS Medizinische Informatik, Biometrie und Epidemiologie, 2013
[english] The certificate “epidemiology” provides an opportunity for epidemiologists in Germany to have their postgraduate further education in epidemiology certified by the scientific societies.
Zeeb, Hajo, Bickeböller, Heike, Jöckel, Karl-Heinz, Stang, Andreas, Stark, Klaus, Steindorf, Karen, Swart, Enno, Waldmann, Annika   +7 more
doaj   +1 more source

Efficient and Scalable Radiative Cooling for Photovoltaics Using Solution‐Processable and Solar‐Transparent Mesoporous Nanoparticles

Advanced Functional Materials, EarlyView.
Graded refractive index (GRI) structures are prepared from the layer‐by‐layer spray coating of the mesoporous SiO2 nanoparticles, showing high solar transparency and thermal emissivity. Under outdoor conditions, after 50 days, the GRI‐coated photovoltaics show on average 6.65 ± 1.48 °C lower than that of the non‐coated references, maintaining 80.9 ± 8 ...
Heesuk Jung, Sung Yoon Min, Byungsoo Kang, Yongseok Yoo, Jihun Jang, Yeoun‐Woo Jang, Hyojeong Choi, Hyeong Won Lee, Swarup Biswas, Yongju Lee, Mansoo Choi, Phillip Lee, Min Seok Jang, Hyeok Kim, Shu Yang   +14 more
wiley   +1 more source

Tradeoffs in Key Rotation Strategies for Industrial Internet of Things Devices and Firmware

Applied Sciences
This paper provides an overview of several secure boot architectures with a focus on key rotation. It expands on a practitioner note that the authors submitted to the 2023 IEEE Secure Development Conference. Key rotation is important due to the frequency
Sunil Joshi, Kenneth Crowther, Jarvis Robinson   +2 more
doaj   +1 more source