Search Results - Logic AND constraint programming General Terms Algorithms~
-
1
Authors: et al.
Source: Computation; Jan2025, Vol. 13 Issue 1, p10, 27p
Subject Terms: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving
-
2
Authors: et al.
Source: BMC Veterinary Research. 10/2/2025, Vol. 21 Issue 1, p1-12. 12p.
Subjects: Machine learning, Electronic health records, Open source software, Patient care, Veterinary medicine, Diagnosis, Classification algorithms, Synchronization
HTML Full Text PDF Full Text -
3
Authors:
Contributors:
Subject Terms: 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
File Description: application/pdf
-
4
Authors: et al.
Source: Frontiers in Veterinary Science. 2025, p1-19. 19p.
HTML Full Text PDF Full Text -
5
Alternate Title: Hayvancılıkta Yapay Zekâ Teknolojilerinin Uygulanması.
Authors:
Source: Journal of Animal Science & Economics. Jul2025, Vol. 4 Issue 2, p64-74. 11p.
Subjects: Natural language processing, Artificial neural networks, Supervised learning, Artificial intelligence, Agriculture
PDF Full Text -
6
-
7
Contributors: Burke, J [Univ. of Washington, Seattle, WA (United States). Dept. of Mathematics]
Source: SIAM Journal on Numerical Analysis (Society for Industrial and Applied Mathematics); (United States); 27:4
File Description: Medium: X; Size: Pages: 1081-1102
Access URL: http://www.osti.gov/scitech/biblio/6969493
-
8
Authors: et al.
Source: Nutrients. Aug2025, Vol. 17 Issue 15, p2542. 45p.
HTML Full Text PDF Full Text -
9
Authors: et al.
Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3515. 45p.
HTML Full Text PDF Full Text -
10
Authors:
Source: Expert Systems with Applications. Nov2023:Part A, Vol. 229, pN.PAG-N.PAG. 1p.
Subject Terms: *LINEAR programming, *LOGIC programming, *FUZZY logic, *EXPERT systems, *FUZZY expert systems, *CONSTRAINT programming, *CRYPTOSYSTEMS, *PUBLIC key cryptography
-
11
-
12
Authors: et al.
Contributors: et al.
Subject Terms: F.4.1 [Theory of Computation, Mathematical Logic— logic and constraint programming, model theory General Terms Algorithms, Theory Keywords Constraint Satisfaction Problems, Phylogenetic Reconstruction, Computational Complexity, Datalog, ω-categorical structures
File Description: application/pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
14
Authors:
Resource Type: eBook.
Subjects: 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
PDF Full Text ePub Full Text -
15
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.4.6 [Operating Systems, Security and protection – Access controls, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic – Logic and constraint programming General Terms, Security, Logic Additional Key Words and Phrases, Authorization, Access control, Policy, Hoare logic
File Description: application/pdf
-
16
Authors:
Contributors:
Subject Terms: 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
File Description: 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
-
17
Authors:
Source: Health care management science [Health Care Manag Sci] 2025 Oct 18. Date of Electronic Publication: 2025 Oct 18.
Publication Type: Journal Article
Journal Info: Publisher: Baltzer Science Publishers Country of Publication: Netherlands NLM ID: 9815649 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1572-9389 (Electronic) Linking ISSN: 13869620 NLM ISO Abbreviation: Health Care Manag Sci Subsets: MEDLINE
-
18
Authors: et al.
Contributors: et al.
Subject Terms: and constraint programming General Terms Languages, Performance, Standardization Keywords C++ memory model, concurrency, model finding, SAT solving, higher-order logic, Isabelle/HOL, Nitpick, Kodkod
File Description: application/pdf
-
19
Authors: et al.
Contributors: et al.
Subject Terms: 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
File Description: application/pdf
-
20
Authors: Demirel, Ayca Nur Sahin1 (AUTHOR) aycanur.sahin@igdir.edu.tr
Source: Acta Agriculturae Scandinavica: Section A, Animal Science. Sep-Dec2024, Vol. 73 Issue 3/4, p192-202. 11p.
Subjects: Climate change adaptation, Agricultural economics, Sustainable agriculture, Agricultural productivity, Honey
HTML Full Text PDF Full Text
Full Text Finder 
Nájsť tento článok vo Web of Science