Results 91 to 100 of about 50,089 (313)

Independence in constraint logic programs

, 1993
Studying independence of literals, variables, and substitutions has proven very useful in the context of logic programming (LP). Here we study independence in the broader context of constraint logic programming (CLP).
Hermenegildo, Manuel V., Marriott, K., García de la Banda, M.   +2 more
core  

Screening Routine Clinical Notes for Epilepsy Surgery Candidates Using Large Language Models

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Epilepsy surgery is severely underutilized despite proven efficacy, with substantial under‐referral of eligible patients in routine clinical practice. This study evaluated the potential role of large language models (LLMs) as decision‐support tools for screening unstructured clinical notes to identify epilepsy surgery candidates and ...
Uriel Fennig, Nadav Amir, Maya Schiller, Roni Loebenstein, Johnatan Nissan, Marina Boxer, Shany Guly Gofrit, Gal Goshen, Sándor Beniczky, Nicola Maggio   +9 more
wiley   +1 more source

Enhanced Exact Methods for Optimizing Energy Delivery in Preemptive Electric Vehicle Charging Scheduling Problems

Mathematical and Computational Applications
The increasing adoption of electric vehicles (EVs) requires efficient management of charging infrastructure, particularly in optimizing the allocation of limited charging resources. This paper addresses the preemptive electric vehicle charging scheduling
Abdennour Azerine, Mahmoud Golabi, Ammar Oulamara, Lhassane Idoumghar   +3 more
doaj   +1 more source

Reduction of dimensionality in dynamic programming-based solution methods for nonlinear integer programming

International Journal of Mathematics and Mathematical Sciences, 1988
This paper suggests a method of formulating any nonlinear integer programming problem, with any number of constraints, as an equivalent single constraint problem, thus reducing the dimensionality of the associated dynamic programming problem.
Balasubramanian Ram, A. J. G. Babu
doaj   +1 more source

A collection of Constraint Programming models for the three-dimensional stable matching problem with cyclic preferences. [PDF]

Constraints, 2022
Cseh Á, Escamocher G, Genç B, Quesada L.   +3 more
europepmc   +1 more source

Effective compilation of constraint models

, 2010
Constraint Programming is a powerful technique for solving large-scale combinatorial (optimisation) problems. However, it is often inaccessible to users without expert knowledge in the area, precluding the wide-spread use of Constraint Programming ...
Rendl, Andrea
core  

Finding reliable solutions:Event-driven probabilistic constraint programming [PDF]

, 2009
Real-life management decisions are usually made in uncertain environments, anddecision support systems that ignore this uncertainty are unlikely to provide realistic guidance.
Hnich, B., Rossi, Roberto, Tarim, S. Armagan, Rossi, Roberto; id_orcid, S. Armagan Tarim, Tarim, S Armagan, Hnich, Brahim, Rossi, R., Prestwich, Steven, Prestwich, S., TARIM, ŞAHAP ARMAĞAN, Steven Prestwich, Brahim Hnich, Roberto Rossi, Tarim, S.A.   +14 more
core   +1 more source

Neurochemical Endpoints to Inform Early‐Stage Trials of Spinocerebellar Ataxia 2 and 3 in a Multisite Setting

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Neurochemical levels measured by brain MR spectroscopy (MRS) have been proposed as endpoints for clinical trials in early‐stage spinocerebellar ataxia (SCA) trials. We tested their trial‐readiness by quantifying neurochemicals in three affected brain regions in early‐stage cohorts of SCA2 and SCA3, examining their reproducibility in ...
James M. Joers, Yaqiao Wei, Dinesh K. Deelchand, Adam Berrington, Young Woo Park, Guita Banan, Michal Povazan, Jens T. Rosenberg, André J. W. van der Kouwe, Tetsuo Ashizawa, Khalaf O. Bushara, Chiadi U. Onyike, Sub H. Subramony, Jeremy D. Schmahmann, Brian J. Soher, Peter B. Barker, Thomas H. Mareci, Eva‐Maria Ratai, Lynn E. Eberly, Gülin Öz   +19 more
wiley   +1 more source

Integrating Patient‐Reported Quality Measures in Systemic Lupus Erythematosus: Development of the American College of Rheumatology Implementation Guide

Arthritis Care &Research, EarlyView.
Objective To support high‐quality, patient‐centered care for systemic lupus erythematosus (SLE), the American College of Rheumatology (ACR) developed evidence‐based measures incorporating clinical and patient‐reported outcome measures (PROMs). Using the Consolidated Framework for Implementation Research (CFIR), we conducted semistructured interviews ...
Catherine Nasrallah, Cherish Wilson, Christine Hariz, Christie M. Bartels, Shanthini Kasturi, Wambui Machua, Amy Bennett, Kate Chiseri, Allison Plitman, Starla Hairston Blanks, April Jorge, Patti Katz, Jinoos Yazdany, Shivani Garg   +13 more
wiley   +1 more source

A specialised binary constraint for the stable marriage problem [PDF]

, 2005
We present a specialised binary constraint for the stable marriage problem. This constraint acts between a pair of integer variables where the domains of those variables represent preferences. Our constraint enforces stability and disallows bigamy. For a
Unsworth, C., Chris Unsworth, Patrick Prosser, Prosser, P.   +3 more
core   +1 more source