Search Results - theory of computation theory and algorithms for publications domains machinery learning theory

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

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

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

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

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

Resource Type: eBook.

Subjects: Computer science

Categories: COMPUTERS / General

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

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

Resource Type: eBook.

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

Categories: COMPUTERS / General

Machine Learning Under Resource Constraints - Discovery in Physics

Authors: Katharina Morik Wolfgang Rhode

Resource Type: eBook.

Subjects: Machine learning, Particles (Nuclear physics)--Data processing

Categories: COMPUTERS / Information Technology, COMPUTERS / Data Science / General, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Programming / Algorithms

Grammatical Theory

Authors: Müller, Stefan

Resource Type: eBook.

Subjects: Language acquisition, Language and languages--Study and teaching, Germanic languages--Syntax, Computational linguistics, Grammar, Comparative and general, Generative grammar, Government (Grammar)

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Foundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings

Authors: Parosh Aziz Abdulla Delia Kesner

Resource Type: eBook.

Subjects: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Algorithms for Big Data : DFG Priority Program 1736

Authors: Hannah Bast Claudius Korzen Ulrich Meyer et al.

Resource Type: eBook.

Subjects: Computer algorithms, Big data

Categories: COMPUTERS / Networking / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, MATHEMATICS / Applied

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

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

Models and Theories : A Philosophical Inquiry

Authors: Roman Frigg

Resource Type: eBook.

Subjects: Science--Methodology, Science--Philosophy

Categories: PHILOSOPHY / General

Data Visualization with Category Theory and Geometry

Authors: Lukas Silvester Barth Hannaneh Fahimi Parvaneh Joharinad et al.

Resource Type: eBook.

Subjects: Dimension reduction (Statistics), Information visualization

Categories: MATHEMATICS / Applied

Deep Learning - Recent Findings and Research

Authors: Manuel Jesus Domínguez-Morales Javier Civit-Masot Luis Muñoz-Saavedra et al.

Resource Type: eBook.

Subjects: Deep learning (Machine learning)

Categories: COMPUTERS / Machine Theory

Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Naoki Kobayashi James Worrell

Resource Type: eBook.

Subjects: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Grammatical Theory

Authors: Müller, Stefan

Resource Type: eBook.

Subjects: Language arts

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Foundations of Software Science and Computation Structures

Authors: Patricia Bouyer Lutz Schröder

Resource Type: eBook.

Subjects: Information theory, Software engineering--Congresses, Computer software--Congresses, Computer systems

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Hardware / General, MATHEMATICS / Applied, MATHEMATICS / Logic

Grammatical Theory

Authors: Müller, Stefan

Resource Type: eBook.

Subjects: Computational linguistics, Language acquisition, Language and languages--Study and teaching, Linguistics, Generative grammar, Government (Grammar), Grammar, Comparative and general--Syntax, Germanic languages--Syntax

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Grammatical Theory

Authors: Müller, Stefan

Resource Type: eBook.

Subjects: Linguistics, Computational linguistics, Language and languages--Study and teaching, Generative grammar, Government (Grammar), Grammar, Comparative and general--Syntax, Germanic languages--Syntax

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

From Fieldwork to Linguistic Theory

Authors: Gibson, Edward Poliak, Moshe

Resource Type: eBook.

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

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

Search and Rescue Robotics - From Theory to Practice

Authors: N/A

Resource Type: eBook.

Subjects: Mechanical engineering and machinery

Categories: SOCIAL SCIENCE / Disasters & Disaster Relief

Grammatical Theory

Authors: Müller, Stefan

Resource Type: eBook.

Subjects: Language acquisition, Computational linguistics, Germanic languages--Syntax, Language and languages--Study and teaching, Government (Grammar), Generative grammar, Linguistics, Grammar, Comparative and general--Syntax

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / General