Suchergebnisse - Logic and constraint programming General Terms Algorithms

Treffer weiter einschränken
  1. 1

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

    Autoren: Gu, Xin Krish, Muralee Sohail, Shaleeza et al.

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

    Schlagwörter: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

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

    Autoren: Kong, Chun Yin Vasquez, Picasso Farhoodimoghadam, Makan et al.

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

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

    HTML Volltext PDF-Volltext
    Zu den Favoriten
  3. 3

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

    Autoren: Daniel Le Berre Pascal Rapicault The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Daniel Le Berre Pascal Rapicault The Pennsylvania State University CiteSeerX Archives

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

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Optimising the selection of welfare indicators in farm animals.

    Autoren: Day, Jon Ben Haddou, Mohamed Kylling, Rita et al.

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

    HTML Volltext PDF-Volltext
    Zu den Favoriten
  5. 5

    Application of Artificial Intelligence Technologies in Livestock Management.

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

    Autoren: DİLAVER, Hatice DİLAVER, Kamil Fatih

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

    Schlagworte: Natural language processing, Artificial neural networks, Supervised learning, Artificial intelligence, Agriculture

    PDF-Volltext
    Zu den Favoriten
  6. 6

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

    Autoren: Grivas, Gerasimos V. Safari, Kousar

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

    HTML Volltext PDF-Volltext
    Zu den Favoriten
  7. 7

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

    Weitere Verfasser: Burke, J [Univ. of Washington, Seattle, WA (United States). Dept. of Mathematics]

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

    Dateibeschreibung: Medium: X; Size: Pages: 1081-1102

    Zugangs-URL: http://www.osti.gov/scitech/biblio/6969493

    View record at SciTech Connect Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  8. 8

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

    Autoren: Marin, Ruxandra-Cristina Ianculescu, Marilena Costescu, Mihnea et al.

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

    HTML Volltext PDF-Volltext
    Zu den Favoriten
  9. 9

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

    Autoren: Ngo, Kaitlyn Mekhail, Simone Chan, Virginia et al.

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

    HTML Volltext PDF-Volltext
    Zu den Favoriten
  10. 10

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

    Autoren: Cabrero-Holgueras, José Pastrana, Sergio

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

    Schlagwörter: *LINEAR programming, *LOGIC programming, *FUZZY logic, *EXPERT systems, *FUZZY expert systems, *CONSTRAINT programming, *CRYPTOSYSTEMS, *PUBLIC key cryptography

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    Local consistency as a reduction between constraint satisfaction problems

    Autoren: Dalmau, Victor Opršal, Jakub

    Index Begriffe: Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, text

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

    View this record from OAIster Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    The Complexity of Rooted Phylogeny Problems

    Autoren: Manuel Bodirsky Cnrs/lix École Polytechnique Jens K. Mueller et al.

    Weitere Verfasser: Manuel Bodirsky Cnrs/lix École Polytechnique Jens K. Mueller et al.

    Quelle: http://www.edbt.org/Proceedings/2010-Lausanne/icdt/papers/p0165-Bodirsky.pdf.

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.408.6637
    http://www.edbt.org/Proceedings/2010-Lausanne/icdt/papers/p0165-Bodirsky.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    A Constraint Propagation for First-Order Logic and Inductive Definitions

    Autoren: Johan Wittocx Marc Denecker Maurice Bruynooghe et al.

    Weitere Verfasser: Johan Wittocx Marc Denecker Maurice Bruynooghe et al.

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

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  14. 14

    Today's TBB

    Autoren: Michael J. Voss James R. Reinders

    Resource Type: eBook.

    Schlagworte: 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-Volltext ePub Volltext
    Zu den Favoriten
  15. 15

    A logic for state-modifying authorization policies

    Autoren: Moritz Y. Becker Mathematical Modelling The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Moritz Y. Becker Mathematical Modelling The Pennsylvania State University CiteSeerX Archives

    Quelle: http://se.inf.ethz.ch/people/nanz/publications/becker-nanz_tissec10.pdf.

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.7280
    http://se.inf.ethz.ch/people/nanz/publications/becker-nanz_tissec10.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  16. 16

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

    Autoren: Neil Yorke-smith Carmen Gervet The Pennsylvania State University CiteSeerX Archives

    Weitere Verfasser: Neil Yorke-smith Carmen Gervet The Pennsylvania State University CiteSeerX Archives

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

    Schlagwörter: 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

    Dateibeschreibung: 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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  17. 17

    Multi-objective dynamic prioritized routing and scheduling for home healthcare services with cooperating service providers.

    Autoren: Parçaoğlu M Salman FS Araz OM

    Quelle: Health care management science [Health Care Manag Sci] 2025 Oct 18. Date of Electronic Publication: 2025 Oct 18.

    Publikationsart: Journal Article

    Info zur Zeitschrift: 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

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  18. 18

    Nitpicking C++ concurrency

    Autoren: Jasmin Christian Blanchette T. U. München Tjark Weber et al.

    Weitere Verfasser: Jasmin Christian Blanchette T. U. München Tjark Weber et al.

    Quelle: http://www4.in.tum.de/~blanchet/ppdp2011-cpp-mem.pdf.

    Schlagwörter: and constraint programming General Terms Languages, Performance, Standardization Keywords C++ memory model, concurrency, model finding, SAT solving, higher-order logic, Isabelle/HOL, Nitpick, Kodkod

    Dateibeschreibung: application/pdf

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

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.3138
    http://www4.in.tum.de/~blanchet/ppdp2011-cpp-mem.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  19. 19

    Boolean Formulae

    Autoren: Lucas Bordeaux Marco Cadoli Università Di Roma “la Sapienza et al.

    Weitere Verfasser: Lucas Bordeaux Marco Cadoli Università Di Roma “la Sapienza et al.

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

    Schlagwörter: 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

    Dateibeschreibung: application/pdf

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

    Climate change analysis on organic honey yield in Artvin via XGBoost machine learning.

    Autoren: Demirel, Ayca Nur Sahin1 (AUTHOR) aycanur.sahin@igdir.edu.tr

    Quelle: Acta Agriculturae Scandinavica: Section A, Animal Science. Sep-Dec2024, Vol. 73 Issue 3/4, p192-202. 11p.

    Schlagworte: Climate change adaptation, Agricultural economics, Sustainable agriculture, Agricultural productivity, Honey

    HTML Volltext PDF-Volltext
    Zu den Favoriten

Suchwerkzeuge: