Výsledky vyhledávání - exact construction algorithm with cubic complexity

CParty: hierarchically constrained partition function of RNA pseudoknots.

Autoři: Gray, Mateo Trinity, Luke Stege, Ulrike a další

Zdroj: Bioinformatics; Jan2025, Vol. 41 Issue 1, p1-11, 11p

Témata: PARTITION functions, PARALLEL algorithms, NUCLEOTIDE sequence, DYNAMIC programming, RNA analysis

Research on Path Planning Algorithm of Driverless Ferry Vehicles Combining Improved A* and DWA.

Autoři: Wang, Zhaohong Li, Gang

Zdroj: Sensors (14248220); Jul2024, Vol. 24 Issue 13, p4041, 30p

Témata: FERRIES, AUTONOMOUS vehicles, ALGORITHMS

Smoothing Splines for Discontinuous Signals.

Autoři: Storath, Martin Weinmann, Andreas

Zdroj: Journal of Computational & Graphical Statistics. Apr-Jun2024, Vol. 33 Issue 2, p651-664. 14p.

Témata: *SPLINES, *UNITS of time, *DATA analysis

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 I

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 III

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

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 II

Autoři: Sriram Sankaranarayanan Natasha Sharygina

Resource Type: eBook.

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

Categories: COMPUTERS / Computer Science

A ERSF-VIPA framework: scalable wildlife movement modelling for conflict mitigation.

Autoři: Chen, Xiaoyi Li, Jie Cao, Xinyu a další

Zdroj: Movement Ecology. 10/30/2025, Vol. 13 Issue 1, p1-14. 14p.

The Rank-Reduced Kalman Filter: Approximate Dynamical-Low-Rank Filtering In High Dimensions

Autoři: Schmidt, Jonathan Hennig, Philipp Nick, Jörg a další

Témata: Statistics - Machine Learning, Computer Science - Machine Learning, text

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

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 II

Autoři: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

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

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

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 II

Autoři: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

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

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

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

Fast Summarization of Long Time Series with Graphics Processor.

Autoři: Zymbler, Mikhail Goglachev, Andrey

Zdroj: Mathematics (2227-7390); May2022, Vol. 10 Issue 10, p1781-1781, 19p

Témata: TIME series analysis, EUCLIDEAN distance, PARALLEL algorithms

Healthy Lifestyle, Metabolic Signature, and Risk of Cardiovascular Diseases: A Population-Based Study.

Autoři: Wang, Yuhua Tian, Fei Qian, Zhengmin a další

Zdroj: Nutrients. Oct2024, Vol. 16 Issue 20, p3553. 17p.

Tools and Algorithms for the Construction and Analysis of Systems

Autoři: Dirk Beyer Marieke Huisman

Resource Type: eBook.

Témata: Software engineering, Computer logic, Computer science, Computer organization, Computers

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

Smoothing splines for discontinuous signals

Autoři: Storath, Martin Weinmann, Andreas

Témata: Mathematics - Numerical Analysis, Mathematics - Statistics Theory, 65D07, 65K10, 62G08, text

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

Algorithms and Complexity

Autoři: Irene Finocchi Loukas Georgiadis

Resource Type: eBook.

Categories: COMPUTERS / Software Development & Engineering / Computer Graphics

A Novel Direct Trajectory Planning Approach Based on Generative Adversarial Networks and Rapidly-Exploring Random Tree.

Autoři: Zhao, Cong Zhu, Yifan Du, Yuchuan a další

Zdroj: IEEE Transactions on Intelligent Transportation Systems; Oct2022, Vol. 23 Issue 10, p17910-17921, 12p

Algorithms and Complexity

Autoři: Marios Mavronicolas

Resource Type: eBook.

Témata: Computational complexity--Congresses, Algorithms--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / Computer Graphics, COMPUTERS / Hardware / General, MATHEMATICS / Algebra / General

An Analysis Of The Concept Of Law And Its Importance In Society And Education Of Jean-Jacques Rousseau.

Autoři: P. P., Yathukrishna Neena, T. S.

Zdroj: Journal of Advanced Zoology. 2024, Vol. 45 Issue 2, p42-44. 3p.

Unconditional advantage of noisy qudit quantum circuits over biased threshold circuits in constant depth.

Autoři: de Oliveira M Subramanian S Mendes L a další

Zdroj: Nature communications [Nat Commun] 2025 Apr 15; Vol. 16 (1), pp. 3559. Date of Electronic Publication: 2025 Apr 15.

Způsob vydávání: Journal Article

Informace o časopise: Publisher: Nature Pub. Group Country of Publication: England NLM ID: 101528555 Publication Model: Electronic Cited Medium: Internet ISSN: 2041-1723 (Electronic) Linking ISSN: 20411723 NLM ISO Abbreviation: Nat Commun Subsets: PubMed not MEDLINE; MEDLINE