Search Results - Exact construction algorithm with cubic complexity~

CParty: hierarchically constrained partition function of RNA pseudoknots.

Authors: Gray, Mateo Trinity, Luke Stege, Ulrike et al.

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

Subject Terms: PARTITION functions, PARALLEL algorithms, NUCLEOTIDE sequence, DYNAMIC programming, RNA analysis

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

Authors: Wang, Zhaohong Li, Gang

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

Subject Terms: FERRIES, AUTONOMOUS vehicles, ALGORITHMS

Smoothing Splines for Discontinuous Signals.

Authors: Storath, Martin Weinmann, Andreas

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

Subject Terms: *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

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

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

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 : 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

Authors: Sriram Sankaranarayanan Natasha Sharygina

Resource Type: eBook.

Subjects: 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.

Authors: Chen, Xiaoyi Li, Jie Cao, Xinyu et al.

Source: 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

Authors: Schmidt, Jonathan Hennig, Philipp Nick, Jörg et al.

Index Terms: 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

Authors: Jan Friso Groote Kim Guldstrand Larsen

Resource Type: eBook.

Subjects: 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

Authors: Tomáš Vojnar Lijun Zhang

Resource Type: eBook.

Subjects: 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

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

Fast Summarization of Long Time Series with Graphics Processor.

Authors: Zymbler, Mikhail Goglachev, Andrey

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

Subject Terms: TIME series analysis, EUCLIDEAN distance, PARALLEL algorithms

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

Authors: Wang, Yuhua Tian, Fei Qian, Zhengmin et al.

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

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dirk Beyer Marieke Huisman

Resource Type: eBook.

Subjects: 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

Authors: Storath, Martin Weinmann, Andreas

Index Terms: Mathematics - Numerical Analysis, Mathematics - Statistics Theory, 65D07, 65K10, 62G08, text

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

Algorithms and Complexity

Authors: 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.

Authors: Zhao, Cong Zhu, Yifan Du, Yuchuan et al.

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

Algorithms and Complexity

Authors: Marios Mavronicolas

Resource Type: eBook.

Subjects: 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.

Authors: P. P., Yathukrishna Neena, T. S.

Source: 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.

Authors: de Oliveira M Subramanian S Mendes L et al.

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

Publication Type: Journal Article

Journal Info: 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