Search Results - ((automatizacii OR automation) OR automatizacii) programming general terms algorithms

Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Authors: Shmuel Tomi Klein Carlos Martín-Vide Dana Shapira

Resource Type: eBook.

Subjects: Computer science, Machine theory, Algorithms, Computer programming, Artificial intelligence, Computer science—Mathematics, Mathematical statistics

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Probability & Statistics / General

Application of Artificial Intelligence Technologies in Livestock Management.

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

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

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

Body Weight Estimation in Holstein × Zebu Crossbred Heifers: Comparative Analysis of XGBoost and LightGBM Algorithms.

Authors: Herrera‐Camacho, Jose Tırınk, Cem Parra‐Cortés, Rosa Inés et al.

Source: Veterinary Medicine & Science. Jul2025, Vol. 11 Issue 4, p1-10. 10p.

Subjects: Machine learning, Milk yield, Body weight, Heifers, Rural geography

Automata Theory and Formal Languages

Authors: Wladyslaw Homenda Witold Pedrycz

Resource Type: eBook.

Subjects: Machine theory, Computer science--Mathematics, Formal languages

Categories: COMPUTERS / Information Theory, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Logic

Massively Parallel Lagrangian Relaxation Algorithm for Solving Large-Scale Spatial Optimization Problems Using GPGPU.

Authors: Lei, Ting L. Wang, Rongrong Lei, Zhen

Source: ISPRS International Journal of Geo-Information. Nov2025, Vol. 14 Issue 11, p419. 22p.

Subject Terms: *DEEP learning, *OPTIMIZATION algorithms, *RESOURCE allocation, *GRAPHICS processing units, *RELAXATION methods (Mathematics), *LOCATION problems (Programming), *GEOSPATIAL data

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

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

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

Subject Terms: CONSTRAINT programming, UNIVERSITIES & colleges, BLENDED learning, HIGHER education, DEEP diving

Natural language processing in veterinary pathology: A review.

Authors: Stimmer, Lev Kuiper, Raoul V. Polledo, Laura et al.

Source: Veterinary Pathology. Nov2025, Vol. 62 Issue 6, p829-848. 20p.

Short-term Underground Mine Scheduling: An Industrial Application of Constraint Programming

Authors: Åstrand, Max Johansson, Mikael, Professor Carlsson, Mats, Docent

Contributors: Åstrand, Max Johansson, Mikael, Professor Carlsson, Mats, Docent

Source: TRITA-EECS-AVL.

Subject Terms: scheduling, mining, underground mines, constraint programming, large neighborhood search, korttidsplanering, gruvdrift, underjordsgruvor, villkorsprogrammering, Electrical Engineering, Elektro- och systemteknik

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-294959
https://kth-se.zoom.us/j/61783664494

Organization of the Optimal Shift Start in an Automotive Environment.

Authors: Lakatos, Gábor Vámos, Bence Zoltán Aupek, István et al.

Source: Computation; Aug2025, Vol. 13 Issue 8, p181, 17p

Subject Terms: SHIFT systems, ASSIGNMENT problems (Programming), WORKFLOW, AUTOMOBILE industry, RESOURCE allocation, LABOR productivity

Reviews & Products: MOODLE (Computer software)

Improving Estimates Accuracy of Voter Transitions. Two New Algorithms for Ecological Inference Based on Linear Programming.

Authors: Pavía, Jose M. Romero, Rafael

Source: Sociological Methods & Research; Aug2024, Vol. 53 Issue 3, p1491-1533, 43p

Subject Terms: MATHEMATICAL programming, CONTINGENCY tables, TRANSFER matrix, ALGORITHMS, PROBABILITY theory

Exploring the Landscape of Operating Room Scheduling: A Bibliometric Analysis of Recent Advancements and Future Prospects.

Authors: Amin, Md Al Hadid, Majed Elomri, Adel et al.

Source: Biomedical Engineering & Computational Biology; 8/16/2025, p1-16, 16p

Subject Terms: OPERATING rooms, VALUE-based healthcare, HEURISTIC algorithms, SCHOLARLY method, SURGERY practice, HOSPITAL administration, BIBLIOMETRICS

Automated Calibration of SWMM for Improved Stormwater Model Development and Application.

Authors: Ahmadi, Hossein Scott, Durelle Sample, David J. et al.

Source: Hydrology (2306-5338); Jun2025, Vol. 12 Issue 6, p129-N.PAG, 26p

Subject Terms: MULTI-objective optimization, STANDARD deviations, URBAN watersheds, OPTIMIZATION algorithms, URBAN runoff

ReviewGenie: a novel automated system for systematic reviews—an exploratory study in speech and language disorders.

Authors: Al-Marridi, Abeer Z. Bensaid, Ahmed Ulde, Samawiyah M. et al.

Source: Systematic Reviews; 8/18/2025, Vol. 14 Issue 1, p1-12, 12p

Subject Terms: ARTIFICIAL intelligence, AUTOMATION, INFORMATION retrieval, ECONOMIC efficiency, DATA scrubbing, SPEECH disorders

Method and practice of improving fitness training effect based on transfer learning from a biomechanics perspective.

Authors: Qian, Huawei

Source: Molecular & Cellular Biomechanics; 2025, Vol. 22 Issue 3, p1-17, 17p

Subject Terms: BIOMECHANICS, MOLECULAR biology, ARTIFICIAL intelligence, AEROBIC exercises, CYTOLOGY, PHYSICAL training & conditioning, TRANSFER of training

Improvement in Sizing Constrained Analog IC via Ts-CPD Algorithm.

Authors: Lagos-Eulogio, Pedro Miranda-Romagnoli, Pedro Seck-Tuoh-Mora, Juan Carlos et al.

Source: Computation; Nov2023, Vol. 11 Issue 11, p230, 26p

Subject Terms: PARTICLE swarm optimization, OPERATIONAL amplifiers, ELECTRONIC design automation, CIRCUIT complexity, ALGORITHMS, DIFFERENTIAL amplifiers

Automata, Languages and Programming : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Authors: Samson Abramsky Cyril Gavoille Claude Kirchner et al.

Resource Type: eBook.

Subjects: Software engineering, Computer programming, Computer networks, Algorithms, Artificial intelligence, Computer science

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

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

Authors: Grivas, Gerasimos V. Safari, Kousar

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

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata

Authors: Zhou, Zhe Ye, Qianchuan Delaware, Benjamin et al.

Index Terms: Computer Science - Programming Languages, D.3.0, F.3.1, text

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

Detection of Malicious Websites Using Symbolic Classifier.

Authors: Anđelić, Nikola Baressi Šegota, Sandi Lorencin, Ivan et al.

Source: Future Internet. Dec2022, Vol. 14 Issue 12, p358. 30p.

Subject Terms: *Websites, *Automation, Symbolic computation, Gene expression, Genetic programming, Standard deviations

Genetic Algorithms and Machine Learning for Programmers

Authors: Frances Buontempo

Resource Type: eBook.

Subjects: Genetic algorithms, Genetic programming (Computer science), Artificial intelligence, Machine learning

Categories: COMPUTERS / Data Science / Machine Learning, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Machine Theory, COMPUTERS / Programming / General, COMPUTERS / Computer Engineering, COMPUTERS / Mathematical & Statistical Software, SCIENCE / Life Sciences / Genetics & Genomics