Suchergebnisse - theory of computation theory and algorithms for publications domains~

Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2024)

Autoren: Jaime Caro Shigeki Hagihara Shin-ya Nishizaki et al.

Resource Type: eBook.

Schlagworte: Computer science

Categories: COMPUTERS / General

High Dimensional Expanders in Analysis and Computation

Autoren: Kane, Daniel Lovett, Shachar Hopkins, Nathaniel Max Klevit

Index Begriffe: Computer science, publication

URL: https://escholarship.org/uc/item/9bp75230
https://escholarship.org/content/qt9bp75230/qt9bp75230.pdf

Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023)

Autoren: Jaime Caro Shigeki Hagihara Shin-ya Nishizaki et al.

Resource Type: eBook.

Schlagworte: Computational complexity--Congresses, Computer science--Congresses

Categories: COMPUTERS / General

The Theory and Computation of the Semi-Linear Reaction–Diffusion Equation with Dirichlet Boundaries.

Autoren: Chin, Pius W. M.

Quelle: Computation; Jul2024, Vol. 12 Issue 7, p142, 18p

Schlagwörter: FINITE difference method, GALERKIN methods, EQUATIONS, A priori

Signature‐Domain Calibration of Hydrological Models Using Approximate Bayesian Computation: Theory and Comparison to Existing Applications.

Autoren: Kavetski, Dmitri Fenicia, Fabrizio Reichert, Peter et al.

Quelle: Water Resources Research; Jun2018, Vol. 54 Issue 6, p4059-4083, 25p

Schlagwörter: BAYESIAN analysis, HYDROLOGIC cycle, STREAMFLOW, CALIBRATION, ALGORITHMS, HYDROLOGY

Data-Driven Early Warning Approach for Antimicrobial Resistance Prediction–Anomaly Detection Based on High-Level Indicators.

Autoren: Csorba, Szilveszter Vribék, Krisztián Farkas, Máté et al.

Quelle: Veterinary Sciences. Oct2025, Vol. 12 Issue 10, p935. 17p.

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

Of Rats and Men II A Pragmatist Reconstruction of the Basis of Agency via the Free-Energy Principle.

Alternate Title: О крысах и людях II Прагматистская реконструкция оснований агентности посредством принципа свободной энергии

Autoren: SŁUSZKIEWICZ, ZBIGNIEW¹

Quelle: Zoophilologica: Polish Journal of Animal Studies. 2025, Vol. 15 Issue 1, p1-37. 37p.

Schlagworte: Animal behavior, Metaphysics, Rats, Pragmatism, Agent (Philosophy)

A School-Based Five-Month Gardening Intervention Improves Vegetable Intake, BMI, and Nutrition Knowledge in Primary School Children: A Controlled Quasi-Experimental Trial.

Autoren: Elsahoryi, Nour Amin Alhaj, Omar A. Musharbash, Ruba et al.

Quelle: Nutrients. Oct2025, Vol. 17 Issue 19, p3133. 23p.

Inter-universal Teichmüller Theory III: Canonical Splittings of the Log-Theta-Lattice.

Autoren: Shinichi MOCHIZUKI¹ motizuki@kurims.kyoto-u.ac.jp

Quelle: Publications of the Research Institute for Mathematical Sciences. 2021, Vol. 57 Issue 1/2, p403-626. 224p.

Schlagwörter: *P-adic analysis, *PRIME numbers, *THETA functions, *MONOIDS, *ELLIPTIC curves, *NONCOMMUTATIVE algebras, *ARITHMETIC

Honeybee Sentience: Scientific Evidence and Implications for EU Animal Welfare Policy.

Autoren: Bava, Roberto Formato, Giovanni Liguori, Giovanna et al.

Quelle: Veterinary Sciences. Jul2025, Vol. 12 Issue 7, p661. 17p.

Substitution of the Fittest: A Novel Approach for Mitigating Disengagement in Coevolutionary Genetic Algorithms

Autoren: Alcaraz-Herrera, Hugo Cartlidge, John

Index Begriffe: Computer Science - Neural and Evolutionary Computing, text

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

The Modulo Radon Transform: Theory, Algorithms, and Applications.

Autoren: Beckmann, Matthias Bhandari, Ayush Krahmer, Felix

Quelle: SIAM Journal on Imaging Sciences; 2022, Vol. 15 Issue 2, p455-490, 36p

A Useful Undecidable Theory.

Autoren: Hutchison, David Kanade, Takeo Kittler, Josef et al.

Quelle: Computation & Logic in the Real World. 2007, p685-694. 10p.

A novel data-driven Boolean model for genetic regulatory networks

Weitere Verfasser: Chen, Leshi Kulasiri, Don Samarasinghe, Sandhya

Quelle: Chen, L., Kulasiri, D., & Samarasinghe, S. (2018). A novel data-driven Boolean model for genetic regulatory networks. Frontiers in Physiology, 9, 1328. doi:10.3389/fphys.2018.01328

Dateibeschreibung: 21 pages; Electronic-eCollection

Relation: The original publication is available from Frontiers Media - https://doi.org/10.3389/fphys.2018.01328 - https://doi.org/10.3389/fphys.2018.01328; Frontiers in Physiology

Verfügbarkeit: http://api.digitalnz.org/records/40337654/source

An introduction to statistical models used to characterize species-habitat associations with animal movement data.

Autoren: Florko, Katie R. N. Togunov, Ron R. Gryba, Rowenna et al.

Quelle: Movement Ecology. 4/17/2025, Vol. 13 Issue 1, p1-17. 17p.

Improved cattle farm classification: leveraging machine learning and linked national datasets.

Autoren: Schnidrig, Guy-Alain Struchen, Rahel Schärrer, Sara et al.

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

PUMA-V - Polyhedral User Mapping Assistant and Visualizer Final Technical Report

Weitere Verfasser: Lethin, Richard [Reservoir Labs, Inc., New York, NY (United States)]

Quelle: Other Information: Optimizing the domain wall fermion Dirac operator using the R-Stream source-to-source compiler, Meifeng Lin, Eric Papenhausen, M. Harper Langston, Benoit Meister, Muthu Baskaran, Taku Izubuchi, Chulwoo Jung, Proceedings of the 33rd International Symposium on Lattice Field Theory, July 14 -18, 2015, Kobe, JapanJournal ref: PoS(LATTICE 2015)022http://arxiv.org/abs/1512.01542

Dateibeschreibung: Medium: ED; Size: 138 p.

Zugangs-URL: http://www.osti.gov/scitech/servlets/purl/1252959

Accounting for behaviour in fine‐scale habitat selection: A case study highlighting methodological intricacies.

Autoren: Beumer, Larissa T. Schmidt, Niels M. Pohle, Jennifer et al.

Quelle: Journal of Animal Ecology. Oct2023, Vol. 92 Issue 10, p1937-1953. 17p.

Petri Net Synthesis

Autoren: Badouel, Eric Bernardinello, Luca Darondeau, Philippe et al.

Weitere Verfasser: Badouel, Eric Bernardinello, Luca Darondeau, Philippe et al.

Quelle: https://inria.hal.science/hal-01237142 ; Springer, pp.339, 2015, Text in Theoretical Computer Science, an EATCS Series, M. Henzinger, J. Hromkovic, M. Nielsen, G. Rozenberg, A. Salomaa, 978-3-662-47966-7. ⟨10.1007/978-3-662-47967-4⟩.

Schlagwörter: Petri nets, region theory, concurrency, process mining, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]

Verfügbarkeit: https://inria.hal.science/hal-01237142
https://inria.hal.science/hal-01237142v1/document
https://inria.hal.science/hal-01237142v1/file/Badouel_Petri%20Net%20Synthesis_Front%20matter.pdf
https://doi.org/10.1007/978-3-662-47967-4