LLVM-based Static Analysis Tool Using Type and Effect Systems by M. A. Belyaev, V. A. Tsesko

“…The principal idea behind the design of this tool is to use type and effect systems for static analysis of real programs. The tool uses LLVM bitcode files as input, thus extending the set of analyzed languages to those supported by LLVM compiler infrastructure. …”
Get full text

Random Model Sampling: Making Craig Interpolation Work When It Should Not by Marat Akhin, Sam Kolton, Vladimir Itsykson

“…One of the most serious problems when doing program analyses is dealing with function calls. While function inlining is the traditional approach to this problem, it nonetheless suffers from the increase in analysis complexity due to the state space explosion. …”
Get full text

THE EFFECT OF GOOD CORPORATE GOVERNANCE MECHANISMS AND COMPANY SIZE ON THE TIMELINESS OF FINANCIAL STATEMENT SUBMISSION IN PROPERTY AND REAL ESTATE SECTOR COMPANIES LISTED ON THE I... by Putri Afrilia, Sri Rahayu, Misni Erwati

Get full text

A MULTI-INDUSTRY MODEL OF INDICATIVE PLANNING by N. M. Abdikeyev, F. F. Pashchenko, V. B. Gusev, V. V. Pavelyev, N. V. Kuznetsov

“…The article examines the impact of such tools as target-program approach,distributed and decentralized management and indicative planning on the economic and social sphere of the region. …”
Get full text

Leveraging Game Theory to Design Incentive-Compatible Time-Varying electricity pricing with Demand-Side management by Magda I. El-Afifi, Bishoy E. Sedhom, Abdelfattah A. Eladl, Padmanaban Sanjeevikumar, Samaa Fawzy

“…This study investigates a novel approach to improve energy efficiency through a Demand Response (DR) program with a Game Theory (GT)-based Time-of-Use (ToU) pricing model. …”
Get full text

Maintenir une homogénéité culturelle et linguistique : mise en perspective diachronique des stratégies de découpages territoriaux de la périphérie flamande de Bruxelles-Capitale... by Clotilde Bonfiglioli

“…This step has strengthened the territorialisation of the Vlaamse Rand (literally the “Flemish periphery”) whose administrations and ministerial offices now promote more punctual delimitations of space, of program, and more or less displayed perimeters of action. …”
Get full text

Dataset of NIR, MIR, FIR and NMR spectroscopy and GC-MS of real samples of e-liquids from MalaysiaMendeley DataMendeley DataMendeley DataMendeley Data by Noor Hazfalinda Hamzah, Farah Natasha Mohd Aris, Nur Hayatna Mukhni, Stéphane Balayssac, Saïda Danoun, Véronique Gilard, Mohd Rashidi Abdull Manap

Get full text

Acute kidney injury, the present on admission (POA) indicator and sex disparities: observational study of inpatient real-world data in a Swiss tertiary healthcare system. Explorati... by Michael Simon, Sarah N Musy, Karen Triep, Olga Endrich

Get full text

Comparison of the egg recovery rates and limit of detection for soil-transmitted helminths using the Kato-Katz thick smear, faecal flotation and quantitative real-time PCR in human... by Patsy A Zendejas-Heredia, Vito Colella, Sze Fui Hii, Rebecca J Traub

Get full text

Comparison of isatuximab-pomalidomide-dexamethasone <i>versus</i> elotuzumab-pomalidomidedexamethasone in relapsed/refractory multiple myeloma patients: a target trial emulation us... by Enrica Antonia Martino, Annalisa Pitino, Massimo Offidani, Roberta Della Pepa, Alessandro Gozzetti, Velia Bongarzoni, Antonio Maroccia, Valeria Amico, Paola Stefanoni, Elena Zamagni, Sofia Terlizzi, Daniele Derudas, Salvatore Palmieri, Rosario Bianco, Concetta Conticello, Marino Brunori, Angela Rago, Flavia Lotti, Raffaele Fontana, Nicola Sgherza, Elena Rossi, Anna Maria Cafro, Massimiliano Arangio Febbo, Angela Maria Quinto, Claudio Cerchione, Gloria Margiotta Casaluci, Annalisa Citro, Catello Califano, Renato Zambello, Silvia Mangiacavalli, Carmine Liberatore, Gabriele Buda, Claudio De Magistris, Angela Amendola, Ernesto Vigna, Antonella Bruzzese, Emiliano Barbieri, Micol Quaresima, Daniela Roccotelli, Francesca Farina, Jacopo Micozzi, Iolanda Donatella Vincelli, Giuseppe Tarantini, Elisabetta Antonioli, Sara Aquino, Alessandro Maggi, Alessandra Lombardo, Giuseppe Bertuglia, Anna Furlan, Anna Mele, Ombretta Annibali, Emilia Cotzia, Pietro Benvenuti, Lorenzo De Paoli, Gregorio Barilà, Sonia Morè, Valerio De Stefano, Francesco Di Raimondo, Maria Teresa Petrucci, Niccolò Bolli, Pellegrino Musto, Antonino Neri, Fortunato Morabito, Giovanni Tripepi, Massimo Gentile

Get full text

Does the Implementation of a Telestroke Program Play a Role in Improving the Clinical Outcomes of Acute Stroke Patients in South East Asian Region?: A Literature Review by Amalia L

Get full text

Impact of an adapted diabetes prevention program in a spanish primary care setting: protocol for a type II hybrid effectiveness-implementation cluster-randomized trial (ALADIM) by Miquel Bennasar-Veny, Manuela Abbate, Miquel Colom-Rosselló, Laura Capitán-Moyano, Ivonne C. Hernández-Bermúdez, Ignacio Ricci-Cabello, Aina M. Yañez, Maria E. Fernandez, the ALADIM investigators

“…Lifestyle modification programs, such as the Diabetes Prevention Program (DPP), can effectively reduce T2D risk among individuals with prediabetes. …”
Get full text

Exploring diabetic foot screening programs with integrated consolidated framework for implementation: Rapid review protocol [version 1; peer review: 2 approved, 1 approved with res... by Yassin Andoulsi, Maya Fakhfakh, Caroline McIntosh, Jennifer A Pallin, Magali Brousseau-Foley, Laura M Drudi, Claire Buckley, Virginie Blanchette, Janet L Kuhnke, Charles de Mestral

“…Discussion Findings will inform policy, practice and decision making regarding the implementation of screening programs. This can promote the development of screening programs for diabetic foot complications across Canada or in other countries.…”
Get full text

RC48-ADC monotherapy or in combination with immunotherapy for locally advanced or metastatic urothelial carcinoma with HER2 low and null expression: a multicenter, real-world, retr... by Daining Wang, Manming Cao, Yijun Zhang, Liangkuan Bi, Meiting Chen, Mengqian Ni, Qiufan Zheng, Kai Yao, Zhuowei Liu, Xia Yang, Yanxia Shi, Zhiming Wu, Xin An

“…Methods Patients with locally advanced or metastatic UC (la/mUC) with HER2 low (IHC 1+) and null (IHC 0) expression who received RC48-ADC monotherapy or in combination with programmed cell death protein 1 (PD‐1) inhibitors were enrolled in this multi-center, retrospective study. …”
Get full text

Real-world survival of patients treated with taxane therapy after exposure to immunotherapy and platinum-based chemotherapy for advanced non-small-cell lung cancer without actionab... by S.V. Liu, X. Hu, D. Chirovsky, W. Meng, A. Samkari

Get full text

Comparative performance of Kato–Katz, POC-CCA and real-time PCR in detecting Schistosoma mansoni infection at different endemicity settings in northwest Ethiopia: a cross-sectional... by Getaneh Alemu, Endalkachew Nibret, Abaineh Munshea, Melaku Anegagrie, María Flores-Chávez, Tadesse Hailu, Arancha Amor

“…Therefore, we recommend the adoption of the POC-CCA test in Ethiopia’s SCH control and elimination programs.…”
Get full text

Tumor-derived immunoglobulin-like transcript 3 inhibition reshapes the immunosuppressive tumor microenvironment and potentiates programmed cell death ligand 1 blockade immunotherap... by Leirong Wang, Qing Li, Yanxin Sun, Shuyun Wang, Xuebing Fu, Xiufen Wang, Yan Zheng, Aiqin Gao, Yuping Sun, Juan Li

“…The impact of ILT3 and apolipoprotein E (APOE) on tumor-associated macrophage (TAM) recruitment and polarization were evaluated by transwell assay, flow cytometry (FCM), and real-time PCR, while their impact on T cell survival and cytotoxicity was detected by CFSE, apoptotic assay, FCM and ELISA. …”
Get full text

Optimizing Transportation Costs: Enhancing Logistics Efficiency and Resource Utilization in Dynamic Environments by Cao Ngoc Anh, Tran Bich Thao, Tran Ba Hung, Trinh Thu Huong, Nguyen Viet Hung

Get full text

Leveraging near-real-time patient and population data to incorporate fluctuating risk of severe COVID-19: development and prospective validation of a personalised risk prediction t... by Kaitlin Swinnerton, Nathanael R. Fillmore, Austin Vo, Jennifer La, Danne Elbers, Mary Brophy, Nhan V. Do, Paul A. Monach, Westyn Branch-Elliman

Get full text

THE REALIZATION OF SYSTEMATIC CADASTRE WORKS IN THE PERSPECTIVE OF THE SUSTAINABLE DEVELOPMENT OF THE VINEYARD AND FRUIT-GROWING SECTOR IN ROMANIA by Cristian HUȚANU, Oprea RADU

“…The creation by the Cadastre and Real Estate Publicity Agency of an integrated cadastre and land book system, as a “multipurpose” type system within the National Cadastre and Land Book Program, would help the Payments and Intervention Agency for Agriculture to identify agricultural real estate, which includes vineyards/fruit trees, and would encourage the owners of such plantations to access projects from the European Union funds for the modernisation, maintenance in good condition or expansion of vineyard and fruit-growing. …”
Get full text