Výsledky vyhľadávania - Moderately exponential time algorithm

A Moderately Exponential Time Algorithm for k-IBDD Satisfiability

Autori: Atsuki Nagao Junichi Teruyama Kazuhisa Seto

Zdroj: Lecture Notes in Computer Science ISBN: 9783319218397

Predmety: 2. Zero hunger, 0202 electrical engineering, electronic engineering, information engineering, 1. No poverty, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Prístupová URL adresa: http://dblp.uni-trier.de/db/conf/wads/wads2015.html#NagaoST15
https://rd.springer.com/chapter/10.1007/978-3-319-21840-3_46
https://link.springer.com/chapter/10.1007/978-3-319-21840-3_46
https://doi.org/10.1007/978-3-319-21840-3_46
https://dblp.uni-trier.de/db/conf/wads/wads2015.html#NagaoST15
https://dblp.uni-trier.de/db/journals/algorithmica/algorithmica80.html#NagaoST18
https://doi.org/10.1007/s00453-017-0332-2
https://link.springer.com/article/10.1007/s00453-017-0332-2
https://link.springer.com/article/10.1007/s00453-017-0332-2/fulltext.html

A Moderately Exponential Time Algorithm for Full Degree Spanning Tree

Autori: Saket Saurabh Serge Gaspers Alexey A. Stepanov

Zdroj: Lecture Notes in Computer Science ISBN: 9783540792277

Prístupová URL adresa: http://www.dim.uchile.cl/%7Esgaspers/papers/FDST.pdf
http://www.ii.uib.no/~serge/papers/Tamc2008.pdf
https://link.springer.com/content/pdf/10.1007/978-3-540-79228-4_42.pdf
https://dblp.uni-trier.de/db/conf/tamc/tamc2008.html#GaspersSS08
https://rd.springer.com/chapter/10.1007/978-3-540-79228-4_42
https://link.springer.com/chapter/10.1007%2F978-3-540-79228-4_42

A Satisfiability Algorithm for Deterministic Width-2 Branching Programs

Autori: Atsuki NAGAO Junichi TERUYAMA Kazuhisa SETO a ďalší

Zdroj: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 2022, E105.A(9):1298

A moderately exponential time algorithm for full degree spanning tree

Autori: Serge Gaspers Saket Saurabh Alexey A. Stepanov a ďalší

Prispievatelia: Serge Gaspers Saket Saurabh Alexey A. Stepanov a ďalší

Zdroj: http://www.dim.uchile.cl/%7Esgaspers/papers/FDST.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.179.3187; http://www.dim.uchile.cl/%7Esgaspers/papers/FDST.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.179.3187
http://www.dim.uchile.cl/%7Esgaspers/papers/FDST.pdf

A Moderately Exponential Time Algorithm for k-IBDD Satisfiability.

Autori: Nagao, Atsuki Seto, Kazuhisa Teruyama, Junichi

Zdroj: Algorithmica; Oct2018, Vol. 80 Issue 10, p2725-2741, 17p

Predmety: SATISFIABILITY (Computer science), BINARY number system, ALGORITHMS, MATHEMATICAL equivalence, POLYNOMIALS

A Moderately Exponential Time Algorithm for k-IBDD Satisfiability.

Autori: Nagao, Atsuki Seto, Kazuhisa Teruyama, Junichi

Zdroj: Algorithms & Data Structures (9783319218397); 2015, p554-565, 12p

A Moderately Exponential Time Algorithm for Full Degree Spanning Tree.

Autori: Gaspers, Serge Saurabh, Saket Stepanov, Alexey A.

Zdroj: Theory & Applications of Models of Computation (9783540792277); 2008, p479-489, 11p

Satisfiability Algorithm for Syntactic Read-k-times Branching Programs.

Autori: Nagao, Atsuki Seto, Kazuhisa Teruyama, Junichi

Zdroj: Theory of Computing Systems. 2020, Vol. 64 Issue 8, p1392-1407. 16p.

Predmety: *ALGORITHMS, COMPUTATIONAL complexity

Data Recovery Methods for Sensor Data in Water Distribution Systems Based on Spatiotemporal Redundancy.

Autori: Xu, Ang Tao, Lele Cai, Shuangshuang a ďalší

Zdroj: Water (20734441); Nov2025, Vol. 17 Issue 21, p3082, 22p

Predmety: DATA recovery, WATER management, DIMENSIONAL reduction algorithms, POLYNOMIAL approximation, REAL-time computing, HIERARCHICAL clustering (Cluster analysis), PREDICTION models

Predicting the time to detect moderately virulent African swine fever virus in finisher swine herds using a stochastic disease transmission model.

Autori: Malladi, Sasidhar Ssematimba, Amos Bonney, Peter J. a ďalší

Zdroj: BMC Veterinary Research. 3/2/2022, Vol. 18 Issue 1, p1-9. 9p.

Predmet: African swine fever virus, Classical swine fever, African swine fever, Infectious disease transmission, Animal herds, Monte Carlo method, Swine

Geografický termín: United States

Optimising the selection of welfare indicators in farm animals.

Autori: Day, Jon Ben Haddou, Mohamed Kylling, Rita a ďalší

Zdroj: Frontiers in Veterinary Science. 2025, p1-19. 19p.

A Moderately Exponential Time Algorithm for Full Degree Spanning Tree

Autori: Serge Gaspers Saket Saurabh Alexey A. Stepanov a ďalší

Prispievatelia: Serge Gaspers Saket Saurabh Alexey A. Stepanov a ďalší

Zdroj: http://www.ii.uib.no/~serge/papers/Tamc2008.pdf.

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.535; http://www.ii.uib.no/~serge/papers/Tamc2008.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.535
http://www.ii.uib.no/~serge/papers/Tamc2008.pdf

A Meta-Analysis of In Vitro Release of Hydrophilic Therapeutics from Contact Lenses Using Mathematical Modeling.

Autori: Carichino, Lucia Maki, Kara L. Gunputh, Narshini D. a ďalší

Zdroj: Pharmaceutics; Nov2025, Vol. 17 Issue 11, p1479, 34p

Predmety: CONTACT lenses, HYDROPHILIC compounds, HYDROGELS, MATHEMATICAL models, DIFFUSION coefficients, AGGREGATION (Statistics), CONTROLLED release drugs

Intelligent Prediction of Lost Circulation and Gas Invasion in Cementing Operations Based on ACO‐SWXGBoost.

Autori: Ji, Wei Xiong, Mengyuan Zheng, Shuangjin a ďalší

Zdroj: Geofluids; 6/24/2025, Vol. 2025, p1-16, 16p

Predmety: ANT algorithms, RANDOM forest algorithms, DECISION trees, PREDICTION models

Exact and Approximate Digraph Bandwidth.

Autori: Jain, Pallavi Kanesh, Lawqueen Lochet, Willian a ďalší

Zdroj: Theory of Computing Systems. Mar2025, Vol. 69 Issue 1, p1-29. 29p.

Evaluation of time series forecasting with SANN models for TerraClimate's hydroclimatic data and trend monitoring.

Autori: Hammoud, Yassine Allali, Youssef Saadane, Abderrahim

Zdroj: Water Science; Dec2025, Vol. 39 Issue 1, p66-86, 21p

Synthetic Ensemble Forecasts: Operations‐Based Evaluation and Inter‐Model Comparison for Reservoir Systems Across California.

Autori: Brodeur, Zachary P. Taylor, William Herman, Jonathan D. a ďalší

Zdroj: Water Resources Research; Jun2025, Vol. 61 Issue 6, p1-19, 19p

Predmety: EVIDENCE gaps, RISK assessment, HYDROLOGY, ALGORITHMS, STORAGE

Prediction of Mature Body Weight of Indigenous Camel (Camelus dromedarius) Breeds of Pakistan Using Data Mining Methods.

Autori: Zaborski, Daniel Grzesiak, Wilhelm Fatih, Abdul a ďalší

Zdroj: Animals (2076-2615); Jul2025, Vol. 15 Issue 14, p2051, 18p

Predmety: CAMELS, DATA mining, ARTIFICIAL neural networks, FERTILITY, WEIGHING instruments, ANIMAL breeds, MACHINE learning

Geografický termín: PAKISTAN

In Silico ADME Methods Used in the Evaluation of Natural Products.

Autori: Ancuceanu, Robert Lascu, Beatrice Elena Drăgănescu, Doina a ďalší

Zdroj: Pharmaceutics; Aug2025, Vol. 17 Issue 8, p1002, 58p

Predmety: NATURAL products, PHARMACOKINETICS, COMPUTER simulation, MOLECULAR models, PHARMACEUTICAL industry, ALGORITHMS, DRUG discovery

A satisfiability algorithm and average-case hardness for formulas over the full binary basis.

Autori: Seto, Kazuhisa Tamaki, Suguru

Zdroj: Computational Complexity; Jun2013, Vol. 22 Issue 2, p245-274, 30p

Predmety: ALGORITHMS, BINARY number system, EXPONENTIAL functions, BOOLEAN functions, ARITHMETIC mean