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

Lightweight aircraft design: Integrating biomechanics and algorithm optimization for drone construction using paper materials.

Autoři: Wang, Jiazheng Rajendran, Parvathy

Zdroj: Molecular & Cellular Biomechanics; 2024, Vol. 21 Issue 2, p1-21, 21p

Témata: DRONE aircraft, OPTIMIZATION algorithms, OPEN source software, MULTI-objective optimization, BIOMECHANICS, AIRPLANES, VERTICALLY rising aircraft

Pipeline Leak Identification and Prediction of Urban Water Supply Network System with Deep Learning Artificial Neural Network.

Autoři: Xi, Fei Liu, Luyi Shan, Liyu a další

Zdroj: Water (20734441); Oct2024, Vol. 16 Issue 20, p2903, 17p

Témata: ARTIFICIAL neural networks, OPTIMIZATION algorithms, MUNICIPAL water supply, LEAK detection, SEARCH algorithms, DEEP learning, WATER pipelines

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

Integration of Distributed Energy Resources in Unbalanced Networks Using a Generalized Normal Distribution Optimizer.

Autoři: Avellaneda-Gómez, Laura Sofía Cortés-Caicedo, Brandon Montoya, Oscar Danilo a další

Zdroj: Computation; Jun2025, Vol. 13 Issue 6, p146, 28p

Témata: PARTICLE swarm optimization, METAHEURISTIC algorithms, SEARCH algorithms, GAUSSIAN distribution, POWER resources

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

Association and Predictive Ability between Inflammatory Burden Index and Fever Following Endobronchial Forceps Biopsy in Lung Cancer Patients.

Autoři: Zhang, Minlong Yang, Cuiping Guo, Yinghua

Zdroj: Journal of Inflammation Research; May2025, Vol. 18, p5911-5922, 12p

Témata: CANCER patients, LOGISTIC regression analysis, DECISION making, C-reactive protein, LUNG cancer

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

The Cubic Dynamic Uncertain Causality Graph: A Methodology for Temporal Process Modeling and Diagnostic Logic Inference.

Autoři: Dong, Chunling Zhang, Qin

Zdroj: IEEE Transactions on Neural Networks & Learning Systems; Oct2020, Vol. 31 Issue 10, p4239-4253, 15p

Témata: FAULT diagnosis, LOGIC, ALGORITHMS, VECTOR error-correction models, APPROXIMATE reasoning, DYNAMICAL systems

An Ensemble Machine Learning Approach for High-Resolution Estimation of Groundwater Storage Anomalies.

Autoři: Yuan, Yanbin Shen, Dongyang Cao, Yang a další

Zdroj: Water (20734441); May2025, Vol. 17 Issue 10, p1445, 32p

Témata: MACHINE learning, STANDARD deviations, GROUNDWATER management, SPATIAL resolution, GROUNDWATER

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.

Comparative Study of Oscillator Dynamics Under Deterministic and Stochastic Influences with Soliton Robustness Darboux Transformations and Chaos Transition.

Autoři: Munawar, Maham Jhangeer, Adil Imran, Mudassar

Zdroj: Computation; Nov2025, Vol. 13 Issue 11, p263, 36p

Témata: NONLINEAR systems, SOLITONS, CHAOS theory, HARMONIC oscillators, EXPERIMENTAL design, CAUSAL models, SPECTRUM analysis, DARBOUX transformations

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

Interface Splitting Algorithm: A Parallel Solution to Diagonally Dominant Tridiagonal Systems.

Autoři: Hokpunna, Arpiruk

Zdroj: Computation; Sep2023, Vol. 11 Issue 9, p187, 24p

Témata: PARALLEL algorithms, CHANNEL flow, TURBULENT flow, REYNOLDS number, PARALLEL kinematic machines, TURBULENCE

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

Predicting Water Inflow in Tunnel Construction: A Fracture Network Model with Non-Darcy Flow Considerations.

Autoři: Hu, Ke Yao, Liang Liao, Jianxing a další

Zdroj: Water (20734441); Jul2024, Vol. 16 Issue 13, p1885, 26p

Témata: TUNNEL design & construction, WATER tunnels, HORIZONTAL wells

Geografický termín: GUIZHOU Sheng (China)