Výsledky vyhledávání - optimization general terms computer algorithms keywords loop parallelization*

Graph neural networks for conditional de novo drug design.

Autoři: Abate, Carlo Decherchi, Sergio Cavalli, Andrea

Zdroj: WIREs: Computational Molecular Science; Jul/Aug2023, Vol. 13 Issue 4, p1-23, 23p

Témata: DRUG design, DRUG discovery, ARTIFICIAL intelligence, MOLECULAR graphs, ALGORITHMS, DEEP learning

Optimization Algorithms : AI Techniques for Design, Planning, and Control Problems

Autoři: Alaa Khamis

Resource Type: eBook.

Témata: Nature-inspired algorithms, Machine learning, Mathematical optimization, Computer algorithms, Algorithms

Categories: COMPUTERS / Programming / Algorithms, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Languages / Python

Algorithms for Big Data : DFG Priority Program 1736

Autoři: Hannah Bast Claudius Korzen Ulrich Meyer a další

Resource Type: eBook.

Témata: Computer algorithms, Big data

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

17 Impact of High-Level Transformations within the ROCCC Framework

Autoři: Betul Buyukkurt John Cortes Jason Villarreal a další

Přispěvatelé: Betul Buyukkurt John Cortes Jason Villarreal a další

Zdroj: http://www.cs.ucr.edu/~najjar/papers/2010/ACM-TACO-2010.pdf.

Témata: Categories and Subject Descriptors, D.3.4 [Programming Languages, Processors—Retargetable compilers, optimization, B.5.2 [Register-Transfer-Level Implementation, Design Aids General Terms, Algorithms, Design, Performance Additional Key Words and Phrases, Compilers, code optimization, parallelization, ROCCC

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.429.2558

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.429.2558
http://www.cs.ucr.edu/~najjar/papers/2010/ACM-TACO-2010.pdf

Wielding the power of interactive molecular simulations.

Autoři: Lanrezac, André Férey, Nicolas Baaden, Marc

Zdroj: WIREs: Computational Molecular Science; Jul/Aug2022, Vol. 12 Issue 4, p1-32, 32p

Témata: DRUG design, HUMAN-computer interaction, COMPUTER graphics, INFORMATION science, COMPUTATIONAL biology, ALGORITHMS

Implementation of an Edge Detection Algorithm using FPGA Reconfigurable Hardware.

Alternate Title: الكشف عن خوارزمية الحانة عن طريق إعادة تشكيل الأجهزة باستخدام FPGA (Arabic)

Autoři: Abed, Sa’ed

Zdroj: Journal of Engineering Research (2307-1877); 2020, Vol. 8 Issue 1, p179-197, 19p

Témata: DIGITAL image processing, GATE array circuits, PARALLEL processing, ALGORITHMS

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

Autoři: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Témata: 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

Pre‐exascale HPC approaches for molecular dynamics simulations. Covid‐19 research: A use case.

Autoři: Wieczór, Miłosz Genna, Vito Aranda, Juan a další

Zdroj: WIREs: Computational Molecular Science; Jan/Feb2023, Vol. 13 Issue 1, p1-25, 25p

Témata: MOLECULAR dynamics, COVID-19 pandemic, COVID-19, ALGORITHMS, STATISTICAL mechanics, COMMUNITIES, HIGH performance computing

Optimization, Learning Algorithms and Applications

Autoři: Ana I. Pereira Andrej Košir Florbela P. Fernandes a další

Resource Type: eBook.

Témata: Computer algorithms--Congresses, Mathematical optimization--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

DFTpy: An efficient and object‐oriented platform for orbital‐free DFT simulations.

Autoři: Shao, Xuecheng Jiang, Kaili Mi, Wenhui a další

Zdroj: WIREs: Computational Molecular Science; Jan/Feb2021, Vol. 11 Issue 1, p1-16, 16p

Témata: PYTHON programming language, FAST Fourier transforms, METAL clusters, OPEN source software, LIQUID metals, DENSITY functionals

Optimization, Learning Algorithms and Applications

Autoři: Ana I. Pereira Florbela P. Fernandes João P. Coelho a další

Resource Type: eBook.

Témata: Computer algorithms--Congresses, Mathematical optimization--Congresses

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

Sublinear Computation Paradigm

Autoři: Naoki Katoh Yuya Higashikawa Hiro Ito a další

Resource Type: eBook.

Témata: Computer algorithms--Mathematics, Big data

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

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dirk Beyer Marieke Huisman

Resource Type: eBook.

Témata: 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

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: 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 : 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

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: 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

Harmony Search and Nature Inspired Optimization Algorithms

Autoři: Neha Yadav Anupam Yadav Jagdish Chand Bansal a další

Resource Type: eBook.

Témata: Data mining, Soft computing--Congresses, Computer algorithms--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Data Science / Data Analytics, MATHEMATICS / Probability & Statistics / General, TECHNOLOGY & ENGINEERING / Engineering (General)

Proceedings of the 2025 3rd International Conference on Image, Algorithms, and Artificial Intelligence (ICIAAI 2025)

Autoři: Yanan Sun

Resource Type: eBook.

Categories: COMPUTERS / General

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dana Fisman Grigore Rosu

Resource Type: eBook.

Témata: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

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

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

Autoři: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

Témata: System analysis--Congresses, Artificial intelligence, System design--Congresses, Computer software--Verification--Congresses

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

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

Autoři: Armin Biere David Parker

Resource Type: eBook.

Témata: System design--Congresses, System analysis--Congresses, Computer software--Verification--Congresses

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