Search Results - Algorithms in computer science

A Survey of Quantum Algorithms for Computer Science

Authors: Ajay Kumar A. J. Singh Sanjay Kumar

Source: Communications in Computer and Information Science ISBN: 9783031860683

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

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Subjects: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

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

Enhancing Learning Algorithms in Computer Science on YouTube: A Personalized Educational System, EduTube AI

Authors: Farzanehpour, Sahar Computer Science and Applications Brown, Dwayne Christian et al.

Contributors: Farzanehpour, Sahar Computer Science and Applications Brown, Dwayne Christian et al.

Subject Terms: AI, Software Engineering, Education

File Description: ETD; application/pdf

Access URL: https://hdl.handle.net/10919/137518

The Everyday Life of an Algorithm

Authors: Daniel Neyland

Resource Type: eBook.

Subjects: Technology, Computer science, Technology--Sociological aspects, Culture, Data structures (Computer scienc, Electronic data processing

Categories: SOCIAL SCIENCE / General, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Social Aspects

Proceedings of the 2023 International Conference on Image, Algorithms and Artificial Intelligence (ICIAAI 2023)

Authors: Pushpendu Kar Jiayang Li Yuhang Qiu

Resource Type: eBook.

Subjects: Artificial intelligence--Congresses, Algorithms--Congresses

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Science, MATHEMATICS / Applied

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 I

Authors: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Subjects: Artificial intelligence, Computer system performance, Software engineering, Logic design, Computer science, Computer industry, Electronic data processing

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dirk Beyer Marieke Huisman

Resource Type: eBook.

Subjects: Data structures (Computer science), Computer logic, Computers, Computer science, Computer system failures, Software engineering, Electronic data processing, Electronic digital computers

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / 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

Study and use of recursive algorithms in computer science teacher training

Authors: Ju. M. Martynyuk V. S. Vankova S. V. Danilenko

Source: Chebyshevskii Sbornik. 23:258-268

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I

Authors: Sriram Sankaranarayanan Natasha Sharygina

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science

THE DESIGN OF EVOLUTIONARY ALGORITHMS: A COMPUTER SCIENCE PERSPECTIVE ON THE COMPATIBILITY OF EVOLUTION AND DESIGN

Authors: Peter Jeavons

Source: Zygon: Journal of Religion and Science. 57

Subject Terms: 0301 basic medicine, 0303 health sciences, 03 medical and health sciences

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

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

Authors: Armin Biere David Parker

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Computer Architecture, COMPUTERS / Hardware / General, MATHEMATICS / Applied

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dana Fisman Grigore Rosu

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Computer and Information Sciences

Authors: Tadeusz Czachórski Erol Gelenbe Krzysztof Grochla et al.

Resource Type: eBook.

Subjects: Optical data processing, Software engineering, Computer science--Congresses, Information technology--Congresses, Computer networks, Artificial intelligence

Categories: COMPUTERS / Networking / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Image Processing, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Probability & Statistics / General

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

Authors: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Hardware / General

Algorithms for Sparse Linear Systems

Authors: Jennifer Scott Miroslav Tůma

Resource Type: eBook.

Subjects: Sparse matrices, Linear systems, Algorithms

Categories: MATHEMATICS / Numerical Analysis, COMPUTERS / Computer Science, MATHEMATICS / Algebra / Linear, MATHEMATICS / Applied

Modelos mentales y algoritmos de programación en estudiantes de media técnica en informática.

Alternate Title: Mental models and programming algorithms in computer science technical high school students.

Authors: Osorio, Yazmín Eliana Cifuentes Pardo, Ingrid Durley Torres González Gil, Marta

Source: Revista Virtual Universidad Católica del Norte. may-ago2023, Issue 69, p98-134. 37p.

Subject Terms: Vocational high schools, Problem solving, Computer science, Computer programming, Algorithms, Student participation

Response to the compatibility of evolution and design:with Zachary Ardern, 'The Contentious Compatibility of Evolution and Design: Introduction to the Book Symposium'; David H. Glass, 'An Evaluation of the Biological Case for Design'; Meghan D. Page, 'Thomist or Tumblrist: Comments on The Compatibility of Evolution and Design by E. V. R. Kojonen'; Peter Jeavons, 'The Design of Evolutionary Algorithms: A Computer Science Perspective on the Compatibility of Evolution and Design'; Denis R. Alexander, 'Evolution, Chance, Necessity, and Design'; Bethany N. Sollereder, 'Response to The Compatibility of Evolution and Design'; Mats Wahlberg, 'Divine Design and Evolutionary Evil'; and Erkki V. R. Kojonen, 'Response: The Compatibility of Evolution and Design.'

Authors: Sollereder, Bethany N.

Source: Sollereder, B N 2022, ' Response to the compatibility of evolution and design : with Zachary Ardern, “The Contentious Compatibility of Evolution and Design: Introduction to the Book Symposium”; David H. Glass, “An Evaluation of the Biological Case for Design”; Meghan D. Page, “Thomist or Tumblrist: Comments on The Compatibility of Evolution and Design by E. V. R. Kojonen”; Peter Jeavons, “The Design of Evolutionary Algorithms: A Computer Science Perspective on the Compatibility of Evolution and Design”; Denis R. Alexander, “Evolution, Chance, Necessity, and Design”; Bethany N. Sollereder, “Response to The Compatibility of Evolution and Design”; Mats Wahlberg, “Divine Design and Evolutionary Evil”; and Erkki V. R. Kojonen, “Response: The Compatibility of Evolution and Design.” ', Zygon, vol. 57, no. 4, pp. 1083-1094 . https://doi.org/10.1111/zygo.12846

Subject Terms: biology, pareidolia, design argument, metaphors, Stephen Freeland

File Description: application/pdf

Access URL: https://hdl.handle.net/20.500.11820/a8d1e34c-974f-4559-9650-cf064ce7c28d
https://www.pure.ed.ac.uk/ws/files/303417389/SollerederZygon2022ResponseToTheCompatibility.pdf