Suchergebnisse - Python-based logic programming systems~

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch

Autoren: Tarau, Paul

Quelle: Electronic Proceedings in Theoretical Computer Science. 345:141-154

Schlagwörter: FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, embedded logic programming languages, ground term fact database indexing, Computer Science - Programming Languages, Computer Science - Artificial Intelligence, 02 engineering and technology, Machine Learning (cs.LG), Logic in Computer Science (cs.LO), logic programming, Artificial Intelligence (cs.AI), 0202 electrical engineering, electronic engineering, information engineering, neuro-symbolic logic programming, Python-based logic programming systems, logic programming language implementation, Python, Programming Languages (cs.PL)

Dateibeschreibung: Text

Zugangs-URL: https://arxiv.org/pdf/2109.08291
http://arxiv.org/abs/2109.08291
https://arxiv.org/abs/2109.08291
http://arxiv.org/pdf/2109.08291.pdf

Python Tabanlı Bulanık Mantık Modeli ile Rumen Fungal Ksilanaz Enzim Aktivitesinin Tahmini: Mikrobiyal Üretim.

Alternate Title: Prediction of Rumen Fungal Xylanase Enzyme Activity with Python Based Fuzzy Logic Model: Analysis of Microbial Production Conditions.

Autoren: YÜCEL, Halit EKİNCİ, Kübra

Quelle: Journal of Fungus / Mantar Dergisi. nis2025, Vol. 16 Issue 1, p71-80. 10p.

Schlagwörter: *FUNGAL enzymes, *MICROBIAL enzymes, *PYTHON programming language, *MEMBERSHIP functions (Fuzzy logic), *FUZZY logic

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

Vehicular Traffic Flow Detection and Monitoring for Implementation of Smart Traffic Light: A Case Study for Road Intersection in Limeira, Brazil.

Autoren: dos Santos Ximenes, Talía Simões de Oliveira Silva, Antonio Carlos de Martino, Guilherme Pieretti et al.

Quelle: Future Transportation; Dec2024, Vol. 4 Issue 4, p1388-1401, 14p

Schlagwörter: TRAFFIC flow measurement, TRAFFIC monitoring, TRAFFIC flow, TRAFFIC engineering, LOGIC programming

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

Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

Autoren: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Schlagworte: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms

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.

Adaptive Personalized Learning System with Generative AI.

Autoren: Parakh, Divyansh Lodha, Prerak C. N., Subalalitha

Quelle: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p2612-2637, 26p

Schlagwörter: GENERATIVE artificial intelligence, INSTRUCTIONAL systems, LANGUAGE models, DATABASES, INDIVIDUALIZED instruction, VIRTUAL classrooms, PYTHON programming language

Computational Infrastructure for Modern Greek: From Grammar to Ontology.

Autoren: Samaridi, Nikoletta E. Karanikolas, Nikitas N. Papakitsos, Evangelos C. et al.

Quelle: Computation; Nov2025, Vol. 13 Issue 11, p272, 27p

Schlagwörter: GRAMMAR, ONTOLOGY, NATURAL language processing, INFORMATION storage & retrieval systems, CONCEPTUAL structures, GREEK language, PHILOSOPHY of language

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming

Autoren: Chen, Ethan Chang, Jiwon Zhu, Yuhao

Index Begriffe: Computer Science - Programming Languages, Computer Science - Graphics, text

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

GPR: A Python implementation of an extremely simple classifier based on fuzzy logic and gene expression programming

Autoren: Anna Czmil Jacek Kluska Sylwester Czmil

Quelle: SoftwareX, Vol 22, Iss , Pp 101362- (2023)

Schlagwörter: Fuzzy rule-based classifier, Gene expression programming, Interpretability, Computer software, QA76.75-76.765

Dateibeschreibung: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352711023000584; https://doaj.org/toc/2352-7110

Zugangs-URL: https://doaj.org/article/a198f11c6eaa46a596d17c89897a7f1c

Open-source, Python-based, hardware and software for controlling behavioural neuroscience experiments.

Autoren: Akam, Thomas Lustig, Andy Rowland, James M. et al.

Quelle: eLife. 1/19/2022, p1-26. 26p.

Schlagwörter: *BEHAVIORAL neuroscience, *PYTHON programming language, *GRAPHICAL user interfaces

PyHLS: Intermediate Representation for Versatile High-Level Synthesis.

Autoren: Cieszewski, Radoslaw¹ radoslaw.cieszewski@pw.edu.pl

Quelle: International Journal of Electronics & Telecommunications. 2025, Vol. 71 Issue 4, p1-7. 9p.

Schlagwörter: *AUDITING, *VHDL (Computer hardware description language), *ELECTRONIC design automation, *SOFTWARE compatibility, *PYTHON programming language, *FIELD programmable gate arrays

CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming

Autoren: Ethan Chen Jiwon Chang Yuhao Zhu

Quelle: Proceedings of the ACM on Programming Languages. 8:846-875

Schlagwörter: FOS: Computer and information sciences, Computer Science - Programming Languages, Computer Science - Graphics, Graphics (cs.GR), Programming Languages (cs.PL)

Zugangs-URL: http://arxiv.org/abs/2409.02771

Boosting HPC data analysis performance with the ParSoDA-Py library.

Autoren: Belcastro, Loris Giampà, Salvatore Marozzo, Fabrizio et al.

Quelle: Journal of Supercomputing. May2024, Vol. 80 Issue 8, p11741-11761. 21p.

Schlagwörter: *DATA analysis, *PYTHON programming language, *DATA mining, *DATA libraries, *LIBRARY technical services, *HIGH performance computing, *BIG data

Transforming Hydrology Python Packages into Web Application Programming Interfaces: A Comprehensive Workflow Using Modern Web Technologies.

Autoren: Pulla, Sarva T. Yasarer, Hakan Yarbrough, Lance D.

Quelle: Water (20734441); Sep2024, Vol. 16 Issue 18, p2609, 22p

Schlagwörter: WATER management, HYDROLOGIC models, INTERNET access, WEB-based user interfaces, COMPUTER software development, PYTHON programming language

Continuous reasoning for adaptive container image distribution in the cloud–edge continuum.

Autoren: Azzolini, Damiano Forti, Stefano Ielo, Antonio

Quelle: Cluster Computing; Oct2025, Vol. 28 Issue 7, p1-17, 17p

Schlagwörter: EDGE computing, RESOURCE allocation, NETWORK performance

Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers

Autoren: Nikolaj Bjørner Irina Virbitskaite Andrei Voronkov

Resource Type: eBook.

Schlagworte: Computer science, Computer networks, Computers, Special purpose, Machine theory, Computer programming, Logic programming

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Programming / General

Hybrid Optimization Approaches for Impeller Design in Turbomachinery: Methods, Metrics, and Design Strategies.

Autoren: Remache, Abel Pérez-Sánchez, Modesto Hidalgo, Víctor Hugo et al.

Quelle: Water (20734441); Jul2025, Vol. 17 Issue 13, p1976, 35p

Schlagwörter: COMPUTATIONAL fluid dynamics, FINITE element method, RESPONSE surfaces (Statistics), MATHEMATICAL programming, CENTRIFUGAL pumps, MACHINE learning, TURBOMACHINES, EVOLUTIONARY algorithms

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Autoren: Pedro Lopez-Garcia John P. Gallagher Roberto Giacobazzi

Resource Type: eBook.

Schlagworte: Software engineering, Computer science

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Science