Výsledky vyhledávání - Logic AND constraint programming General Terms Algorithms*

From Integer Programming to Machine Learning: A Technical Review on Solving University Timetabling Problems.

Autoři: Gu, Xin Krish, Muralee Sohail, Shaleeza a další

Zdroj: Computation; Jan2025, Vol. 13 Issue 1, p10, 27p

Témata: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving

Anna: an open-source platform for real-time integration of machine learning classifiers with veterinary electronic health records.

Autoři: Kong, Chun Yin Vasquez, Picasso Farhoodimoghadam, Makan a další

Zdroj: BMC Veterinary Research. 10/2/2025, Vol. 21 Issue 1, p1-12. 12p.

Témata: Machine learning, Electronic health records, Open source software, Patient care, Veterinary medicine, Diagnosis, Classification algorithms, Synchronization

Dependency Management for the Eclipse Ecosystem: Eclipse p2, Metadata and Resolution

Autoři: Daniel Le Berre Pascal Rapicault The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Daniel Le Berre Pascal Rapicault The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cril.univ-artois.fr/spip/publications/iwoce907-leberre.pdf.

Témata: Categories and Subject Descriptors D.2.7 [ Distribution, Maintenance, and Enhancement, Extensibility, D.2.13 [Reusable Software, Reusable li- braries, F.4.1 [Mathematical Logic, Logic and constraint programming General Terms Algorithms, Design, Experimentation Keywords OSGi

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.660

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.660
http://www.cril.univ-artois.fr/spip/publications/iwoce907-leberre.pdf

Application of Artificial Intelligence Technologies in Livestock Management.

Alternate Title: Hayvancılıkta Yapay Zekâ Teknolojilerinin Uygulanması.

Autoři: DİLAVER, Hatice DİLAVER, Kamil Fatih

Zdroj: Journal of Animal Science & Economics. Jul2025, Vol. 4 Issue 2, p64-74. 11p.

Témata: Natural language processing, Artificial neural networks, Supervised learning, Artificial intelligence, Agriculture

A Constraint Propagation for First-Order Logic and Inductive Definitions

Autoři: Johan Wittocx Marc Denecker Maurice Bruynooghe a další

Přispěvatelé: Johan Wittocx Marc Denecker Maurice Bruynooghe a další

Zdroj: http://tocl.acm.org/accepted/wittocx-denecker_constraints.pdf.

Témata: Categories and Subject Descriptors, I.2.4 [Artificial Intelligence, Knowledge Representation Formalisms and Methods—Predicate Logic, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and Constraint Programming General Terms, Algorithms, Theory Additional Key Words and Phrases, Aggregates, constraint propagation, first-order logic, inductive definitions ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5361

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.5361
http://tocl.acm.org/accepted/wittocx-denecker_constraints.pdf

Optimising the selection of welfare indicators in farm animals.

Autoři: Day, Jon Ben Haddou, Mohamed Kylling, Rita a další

Zdroj: Frontiers in Veterinary Science. 2025, p1-19. 19p.

Artificial Intelligence in Endurance Sports: Metabolic, Recovery, and Nutritional Perspectives.

Autoři: Grivas, Gerasimos V. Safari, Kousar

Zdroj: Nutrients. Oct2025, Vol. 17 Issue 20, p3209. 26p.

Integrated Medical and Digital Approaches to Enhance Post-Bariatric Surgery Care: A Prototype-Based Evaluation of the NutriMonitCare System in a Controlled Setting.

Autoři: Marin, Ruxandra-Cristina Ianculescu, Marilena Costescu, Mihnea a další

Zdroj: Nutrients. Aug2025, Vol. 17 Issue 15, p2542. 45p.

On the identification of active constraints; 2: The nonconvex case

Přispěvatelé: Burke, J [Univ. of Washington, Seattle, WA (United States). Dept. of Mathematics]

Zdroj: SIAM Journal on Numerical Analysis (Society for Industrial and Applied Mathematics); (United States); 27:4

Popis souboru: Medium: X; Size: Pages: 1081-1102

Přístupová URL adresa: http://www.osti.gov/scitech/biblio/6969493

The Use of Artificial Intelligence (AI) to Support Dietetic Practice Across Primary Care: A Scoping Review of the Literature.

Autoři: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia a další

Zdroj: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.

3Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data

Autoři: Neil Yorke-smith Carmen Gervet The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Neil Yorke-smith Carmen Gervet The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ai.sri.com/pubs/files/1710.pdf.

Témata: Categories and Subject Descriptors, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Logic and constraint programming General Terms, Algorithms, Reliability, Uncertainty Additional Key Words and Phrases, Incomplete and erroneous data, uncertain constraint satisfac- tion problem, closure, reliable solutions ACM Reference Format

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.503.3912; http://www.ai.sri.com/pubs/files/1710.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.503.3912
http://www.ai.sri.com/pubs/files/1710.pdf

Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming.

Autoři: Cabrero-Holgueras, José Pastrana, Sergio

Zdroj: Expert Systems with Applications. Nov2023:Part A, Vol. 229, pN.PAG-N.PAG. 1p.

Témata: *LINEAR programming, *LOGIC programming, *FUZZY logic, *EXPERT systems, *FUZZY expert systems, *CONSTRAINT programming, *CRYPTOSYSTEMS, *PUBLIC key cryptography

A hardware architecture for single and multiple ellipse detection using genetic algorithms and high-level synthesis tools.

Autoři: Iñiguez-Lomeli, Francisco J. Garcia-Capulin, Carlos H. Rostro-Gonzalez, Horacio

Zdroj: Microprocessors & Microsystems. Nov2024, Vol. 111, pN.PAG-N.PAG. 1p.

Témata: *FIELD programmable gate arrays, *PROGRAMMABLE logic devices, *HOUGH transforms, *GENETIC algorithms, *POWER resources, *PYTHON programming language

Local consistency as a reduction between constraint satisfaction problems

Autoři: Dalmau, Victor Opršal, Jakub

Témata: Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, text

URL: http://arxiv.org/abs/2301.05084

Today's TBB

Autoři: Michael J. Voss James R. Reinders

Resource Type: eBook.

Témata: Compilers (Computer programs), Computer programming, Algorithms, Artificial intelligence—Data processing

Categories: COMPUTERS / Programming / Compilers, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms

Boolean Formulae

Autoři: Lucas Bordeaux Marco Cadoli Università Di Roma “la Sapienza a další

Přispěvatelé: Lucas Bordeaux Marco Cadoli Università Di Roma “la Sapienza a další

Zdroj: http://research.microsoft.com/~lucasb/Papers/BordeauxCadoliMancini-submitted.pdf.

Témata: Categories and Subject Descriptors, F4.1 [Mathematical Logic and Formal Languages, Logic and Constraint Programming General Terms, Algorithms Additional Key Words and Phrases, Constraint Satisfaction, Quantified Constraints, Quantified

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.721

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.721
http://research.microsoft.com/~lucasb/Papers/BordeauxCadoliMancini-submitted.pdf

Boolean Formulae

Autoři: Lucas Bordeaux Marco Cadoli Università Di Roma “la Sapienza a další

Přispěvatelé: Lucas Bordeaux Marco Cadoli Università Di Roma “la Sapienza a další

Zdroj: http://www.acm.org/tocl/accepted/351bordeaux.pdf.

Témata: Categories and Subject Descriptors, F4.1 [Mathematical Logic and Formal Languages, Logic and Constraint Programming General Terms, Algorithms Additional Key Words and Phrases, Constraint Satisfaction, Quantified Constraints, Quantified

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.5422; http://www.acm.org/tocl/accepted/351bordeaux.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.5422
http://www.acm.org/tocl/accepted/351bordeaux.pdf

Branch-and-prune search strategies for numerical constraint solving

Autoři: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud a další

Přispěvatelé: Xuan-ha Vu Marius-călin Silaghi Djamila Sam-haroud a další

Zdroj: http://arxiv.org/pdf/cs/0512045v2.pdf.

Témata: Categories and Subject Descriptors, F.4.1 [Theory of Computation, Mathematical Logic and Formal Languages—Logic and Constraint Programming, I.2.8 [Computing Methodologies, Artificial Intelligence—Problem Solving, Control Methods, and Search General Terms, Algorithms, Theory, Computation Additional Key Words and Phrases, Constraint Progr

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392; http://arxiv.org/pdf/cs/0512045v2.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.7392
http://arxiv.org/pdf/cs/0512045v2.pdf

Logic and Formal Languages]: Mathematical Logic—Logic and Constraint Programming

Autoři: Agostino Dovier Carla Piazza Università Di Udine a další

Přispěvatelé: Agostino Dovier Carla Piazza Università Di Udine a další

Zdroj: http://tocl.acm.org/accepted/273piazza.pdf.

Témata: General Terms, Theory, Algorithms Additional Key Words and Phrases, Membership and Equality Constraints, Lists, Multisets, Compact Lists, Sets

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.9699; http://tocl.acm.org/accepted/273piazza.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.9699
http://tocl.acm.org/accepted/273piazza.pdf

Automatic Generation of Rule-Based Constraint Solvers over Finite Domains

Autoři: Slim Abdennadher Christophe Rigotti The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Slim Abdennadher Christophe Rigotti The Pennsylvania State University CiteSeerX Archives

Zdroj: http://liris.cnrs.fr/~crigotti/_downloads/tocl04.pdf.

Témata: General Terms, Algorithms, Design Additional Key Words and Phrases, Rule-Based Constraint Programming, Generation of Solvers, Finite Domains

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.6584; http://liris.cnrs.fr/~crigotti/_downloads/tocl04.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.423.6584
http://liris.cnrs.fr/~crigotti/_downloads/tocl04.pdf