Suchergebnisse - "branching algorithms"

Branching rules for satisfiability

Autoren: V. Vinay John N. Hooker

Quelle: Journal of Automated Reasoning. 15:359-383

Schlagwörter: 150399 Business and Management not elsewhere classified, FOS: Economics and business, branching algorithms, satisfiability, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, Jeroslow-Wang rule, 02 engineering and technology, Theorem proving (deduction, resolution, etc.)

Dateibeschreibung: application/xml

Zugangs-URL: https://dblp.uni-trier.de/db/journals/jar/jar15.html#HookerV95
https://doi.org/10.1007/BF00881805
http://repository.cmu.edu/tepper/195/
https://link.springer.com/article/10.1007%2FBF00881805

Modèles multi-échelles de photobioréacteurs solaires et méthode de Monte Carlo ; Multi-scale models of solar photobioreactors and Monte Carlo method

Autoren: Gattepaille, Victor Université Clermont Auvergne (2021-.) Cornet, Jean-François

Weitere Verfasser: Gattepaille, Victor Université Clermont Auvergne (2021-.) Cornet, Jean-François

Schlagwörter: Méthode de Monte Carlo, Photobioréacteur, Énergie solaire, Multi-échelles, Formulation en intégrales de chemins, Algorithmes branchés, Monte Carlo method, Photobioreactor, Solar energy, Multi-scale, Path integral formulation, Branching algorithms

Relation: http://www.theses.fr/2021UCFAC014/document

Verfügbarkeit: http://www.theses.fr/2021UCFAC014/document

Multi-scale models of solar photobioreactors and Monte Carlo method ; Modèles multi-échelles de photobioréacteurs solaires et méthode de Monte Carlo

Autoren: Gattepaille, Victor Institut Pascal (IP) Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne) et al.

Weitere Verfasser: Gattepaille, Victor Institut Pascal (IP) Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne) et al.

Quelle: https://theses.hal.science/tel-03600307 ; Génie des procédés. Université Clermont Auvergne, 2021. Français. ⟨NNT : 2021UCFAC014⟩.

Schlagwörter: Monte Carlo method, Photobioreactor, Solar energy, Multi-scale, Path integral formulation, Branching algorithms, Méthode de Monte Carlo, Photobioréacteur, Énergie solaire, Multi-échelles, Formulation en intégrales de chemins, Algorithmes branchés, [SPI.GPROC]Engineering Sciences [physics]/Chemical and Process Engineering

Relation: NNT: 2021UCFAC014

Verfügbarkeit: https://theses.hal.science/tel-03600307
https://theses.hal.science/tel-03600307v1/document
https://theses.hal.science/tel-03600307v1/file/2021UCFAC014_GATTEPAILLE.pdf

Multi-scale models of solar photobioreactors and Monte Carlo method

Autoren: Gattepaille, Victor STAR, ABES

Weitere Verfasser: Gattepaille, Victor STAR, ABES

Schlagwörter: Monte Carlo method, Branching algorithms, Solar energy, [SPI.GPROC] Engineering Sciences [physics]/Chemical and Process Engineering, Path integral formulation, Formulation en intégrales de chemins, Photobioreactor, Algorithmes branchés, Multi-échelles, Méthode de Monte Carlo, Énergie solaire, Multi-scale, Photobioréacteur

Dateibeschreibung: application/pdf

Zugangs-URL: https://theses.hal.science/tel-03600307v1

Discrete Filtering Using Branching and Interacting Particle Systems

Autoren: D. Crisan P. Del Moral T. Lyons et al.

Weitere Verfasser: D. Crisan P. Del Moral T. Lyons et al.

Quelle: http://www-sv.cict.fr/lsp/Delmoral/bips.ps.gz.

Schlagwörter: Filtering, Particle Systems, Branching Algorithms, Interacting Algorithms, Measure Valued Processes, Numerical Solutions

Dateibeschreibung: application/postscript

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.9157
http://www-sv.cict.fr/lsp/Delmoral/bips.ps.gz

Parametrizované algoritmy pro podchycování podgrafů ; Parameterized Algorithms for Hitting Subgraphs

Autoren: Radovan Červený Suchý Ondřej Fiala Jiří

Weitere Verfasser: Radovan Červený Suchý Ondřej Fiala Jiří

Schlagwörter: grafové algoritmy, parametrizovaná složitost, parametrizované algoritmy, kernelizace, algoritmy založené na větvení, iterativní komprese, Expansion Lemma, automatizovaný návrh algoritmů, problémy mazání vrcholů, d-Hitting Set, F-Subgraph Vertex Deletion, d-Path Vertex Cover, graph algorithms, parameterized complexity, parameterized algorithms, kernelization, branching algorithms, iterative compression, automated algorithm design, vertex deletion problems

Dateibeschreibung: application/pdf

Relation: http://hdl.handle.net/10467/118283

Verfügbarkeit: http://hdl.handle.net/10467/118283

Parallélisation massive des algorithmes de branchement

Autoren: Pastrana Cruz, Andres Lafond, Manuel

Weitere Verfasser: Pastrana Cruz, Andres Lafond, Manuel

Schlagwörter: Équilibrage de charge, Couverture de sommet, Algorithmes parallèles, Parallélisme évolutif, Algorithmes de branchement, Load balancing, Vertex cover, Parallel algorithms, Scalable parallelism, Branching algorithms

Relation: http://hdl.handle.net/11143/18687

Verfügbarkeit: http://hdl.handle.net/11143/18687

Common Structure Among Maximum Agreement Forests of Phylogenetic Trees

Autoren: Dempsey, Jordan Faculty of Computer Science Master of Computer Science et al.

Weitere Verfasser: Dempsey, Jordan Faculty of Computer Science Master of Computer Science et al.

Schlagwörter: phylogenetics, theoretical computer science, algorithms, graph theory, agreement forests, combinatorics, cluster reduction, lateral gene transfer, branching algorithms, fixed-parameter tractability

Dateibeschreibung: application/pdf

Relation: https://hdl.handle.net/10222/80798

Verfügbarkeit: https://hdl.handle.net/10222/80798

Discrete filtering using branching and interacting particle systems

Autoren: Crisan, D. Del Moral, P. Lyons, T.

Schlagwörter: Discrete-time control/observation systems, discrete-time filtering, nonlinear filtering, branching algorithms, measure valued processes, Stochastic particle methods, interacting algorithms, Nonlinear systems in control theory, numerical solutions, particle systems, Filtering in stochastic control theory, Random measures

Dateibeschreibung: application/xml

Zugangs-URL: https://zbmath.org/1358322