Results 41 to 50 of about 1,354,069 (285)

Compiling constraint satisfaction problems

Artificial Intelligence, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Weigel, R., Faltings, B.
openaire   +3 more sources

Automated static symmetry breaking in constraint satisfaction problems [PDF]

, 2011
Variable symmetries in constraint satisfaction problems can be broken by adding lexicographic ordering constraints. Existing general methods of generating such sets of ordering constraints can produce a huge number of additional constraints. This adds
Grayland, Andrews
core   +2 more sources

The efference cascade, consciousness, and its self: naturalizing the first person pivot of action control

Frontiers in Psychology, 2013
The 20 billion neurons of the neocortex have a mere hundred thousand motor neurons by which to express cortical contents in overt behavior. Implemented through a staggered cortical "efference cascade" originating in the descending axons of ...
Bjorn Hellmut Merker
doaj   +1 more source

Counting Constraint Satisfaction Problems [PDF]

, 2017
This chapter surveys counting Constraint Satisfaction Problems (counting CSPs, or #CSPs) and their computational complexity. It aims to provide an introduction to the main concepts and techniques, and present a representative selection of results and ...
Jerrum, Mark
core   +1 more source

Optimal scheduling of power systems considering demand response

Journal of Modern Power Systems and Clean Energy, 2016
A novel optimal scheduling method considering demand response is proposed for power systems incorporating with large scale wind power. The proposed method can jointly dispatch the energy resources and demand side resources to mitigate the fluctuation of ...
Zhaohong Bie, Haipeng Xie, Guowei Hu, Gengfeng Li   +3 more
doaj   +1 more source

Directed evolution of enzymes at the crossroads of tradition and innovation

FEBS Open Bio, EarlyView.
An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova, Andrej Mirossay, Erik Sedlak   +2 more
wiley   +1 more source

Scale-Free Random SAT Instances

Algorithms, 2022
We focus on the random generation of SAT instances that have properties similar to real-world instances. It is known that many industrial instances, even with a great number of variables, can be solved by a clever solver in a reasonable amount of time ...
Carlos Ansótegui , Maria Luisa Bonet, Jordi Levy   +2 more
doaj   +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

University Course Timetabling using Constraint Programming [PDF]

مدیریت تولید و عملیات, 2017
University course timetabling problem is a challenging and time-consuming task on the overall structure of timetable in every academic environment. The problem deals with many factors such as the number of lessons, classes, teachers, students and working
Hadi Shahmoradi, Saeideh Ketabi, Majid Esmaelian   +2 more
doaj  

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