Systems of implications obtained using the CARVE decomposition of a formal context

Authors: López-Rodríguez, Domingo, Ojeda-Hernández, Manuel, Pattison, Tim

Source: Knowledge-Based Systems. 318

Subject Terms: Attribute implications, Divide-and-conquer algorithms, Formal concept analysis, Implicational systems, Knowledge representation

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-238480
https://doi.org/10.1016/j.knosys.2025.113475

Divide and Conquer Methods for Solving Linear Systems

Authors: Youssouf Mezzar, Kacem Belghaba

Source: Communications in Mathematics and Applications. 14:707-719

Subject Terms: LU decomposition, Geometry, Divide and conquer algorithms, Quantum mechanics, Gene, Biochemistry, Matrix decomposition, FOS: Mathematics, Complement (music), Biology, Matrix Algorithms and Iterative Methods, Eigenvalues and eigenvectors, Decomposition, Algebra over a field, Complementation, Ecology, Physics, 4. Education, Mathematical optimization, Pure mathematics, Algorithm, Chemistry, Phenotype, Computational Theory and Mathematics, Combinatorics, FOS: Biological sciences, Computer Science, Physical Sciences, Schur complement, Sparse Linear Systems, Inverse, Iterative Methods, Cholesky decomposition, Mathematics

Multi-warehouse Location of Logistics Based on Dijkstra and Divide-and-Conquer Algorithm

Authors: Hou, Donggu, Zhang, Wei

Source: 2017 10th International Symposium on Computational Intelligence and Design (ISCID) ISCID Computational Intelligence and Design (ISCID), 2017 10th International Symposium on. 1:442-447 Dec, 2017

Relation: 2017 10th International Symposium on Computational Intelligence and Design (ISCID)

Klee’s Measure Problem Made Oblivious

Authors: Thießen, Thore^Aff9, Vahrenhold, Jan^Aff9

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Castañeda, Armando, editor^Aff7, Rodríguez-Henríquez, Francisco, editor^Aff8

Source: LATIN 2022: Theoretical Informatics : 15th Latin American Symposium, Guanajuato, Mexico, November 7–11, 2022, Proceedings. 13568:121-138

A Divide-And-Conquer Approach for Multi-label Multi-hop Relation Detection in Knowledge Base Question Answering

Authors: Deyu Zhou, Yanzheng Xiang, Linhai Zhang, Chenchen Ye, Qianwen Zhang, Yunbo Cao

Source: Findings of the Association for Computational Linguistics: EMNLP 2021. :4798-4808

Subject Terms: Relation (database), Artificial intelligence, Divide and conquer algorithms, 02 engineering and technology, 01 natural sciences, Graph, Knowledge base, Theoretical computer science, Inference, Artificial Intelligence, Hop (telecommunications), Multi-label Text Classification in Machine Learning, Machine learning, 0202 electrical engineering, electronic engineering, information engineering, Question answering, Multi-label Learning, Data mining, Natural Language Processing, 0105 earth and related environmental sciences, Computer network, Geography, Knowledge Graph Embedding, Path (computing), 16. Peace & justice, Computer science, Programming language, Algorithm, Relational Data Modeling, Computer Science, Physical Sciences, Graph Neural Network Models and Applications, Benchmark (surveying), Geodesy

Access URL: https://aclanthology.org/2021.findings-emnlp.412.pdf

Fast associated classical orthogonal polynomial transforms

Authors: Klippenstein, Brock, Slevinsky, Richard Mikaël ^⁎

Source: In Journal of Computational and Applied Mathematics 15 March 2022 403

Forecasting Crude Oil Price Using Kalman Filter Based on the Reconstruction of Modes of Decomposition Ensemble Model

Authors: Wei Gao, Muhammad Aamir, Ani Shabri, Raimi Dewan, Adnan Aslam

Source: IEEE Access, Vol 7, Pp 149908-149925 (2019)

Subject Terms: Forecast Combination, Artificial intelligence, Demand Forecasting, 0211 other engineering and technologies, Social Sciences, Divide and conquer algorithms, 02 engineering and technology, Autoregressive model, Decision Sciences, Filter (signal processing), Engineering, Average mutual information, 0202 electrical engineering, electronic engineering, information engineering, Autoregressive conditional heteroskedasticity, Geography, Ensemble forecasting, Algorithm, Economics, Econometrics and Finance, Physical Sciences, West Texas Intermediate, crude oil price, Electrical engineering. Electronics. Nuclear engineering, Kalman filter, Geodesy, Economics and Econometrics, reconstruction, Time series, Electricity Price and Load Forecasting Methods, deterministic and stochastic components, Management Science and Operations Research, Hilbert–Huang transform, FOS: Economics and business, Machine learning, FOS: Electrical engineering, electronic engineering, information engineering, FOS: Mathematics, QA Mathematics, Econometrics, Electrical and Electronic Engineering, Volatility (finance), Autoregressive integrated moving average, Electricity Price Forecasting, Load Forecasting, decomposition ensemble model, Computer science, TK1-9971, Impact of Oil Price Shocks on Economy, Time Series Forecasting Methods, Computer vision, Benchmark (surveying), Mathematics, Forecasting

Access URL: https://ieeexplore.ieee.org/ielx7/6287639/8600701/08864986.pdf
https://doaj.org/article/d78bfc1fd7404763ad6a9ed5be5925d8
https://dblp.uni-trier.de/db/journals/access/access7.html#GaoASDA19
https://doaj.org/article/d78bfc1fd7404763ad6a9ed5be5925d8
https://ieeexplore.ieee.org/document/8864986

A Probabilistic Analysis of Some Tree Algorithms

Authors: Mohamed, Hanène, Robert, Philippe

Source: The Annals of Applied Probability, 2005 Nov 01. 15(4), 2445-2471.

Access URL: https://www.jstor.org/stable/30038512

Spectral Division Methods for Block Generalized Schur Decompositions

Authors: Sun, Xiaobai

Source: Mathematics of Computation, 2004 Oct 01. 73(248), 1827-1847.

Access URL: https://www.jstor.org/stable/4100056

A divide-and-conquer algorithm for quantum state preparation

Authors: Francesco Petruccione, Israel F. Araujo, Adenilton J. da Silva, Daniel K. Park

Source: Sci Rep
Scientific Reports, Vol 11, Iss 1, Pp 1-12 (2021)

Subject Terms: FOS: Computer and information sciences, Quantum Computation, Parallel computing, Computer Science - Machine Learning, Quantum circuit, Quantum information, Science, FOS: Physical sciences, Divide and conquer algorithms, Speedup, Quantum mechanics, 01 natural sciences, Article, Quantum, Machine Learning (cs.LG), Theoretical computer science, Artificial Intelligence, Quantum Computing and Simulation, Quantum computer, 0103 physical sciences, Quantum Machine Learning, Quantum Physics, Fault-tolerant Quantum Computation, Physics, Computer science, Quantum Information and Computation, Quantum state, Algorithm, Quantum network, Computational Theory and Mathematics, Quantum Simulation, Computer Science, Physical Sciences, Computation, Quantum algorithm, Medicine, Design and Simulation of Quantum-dot Cellular Automata, Qubit, Quantum Physics (quant-ph)

Access URL: https://www.nature.com/articles/s41598-021-85474-1.pdf
https://pubmed.ncbi.nlm.nih.gov/33737544
http://arxiv.org/abs/2008.01511
https://doaj.org/article/a136e05410b94f9092cfe162388ad960
https://europepmc.org/article/PMC/PMC7973527
http://www.ncbi.nlm.nih.gov/pubmed/33737544
https://www.nature.com/articles/s41598-021-85474-1.pdf
https://arxiv.org/abs/2008.01511
https://dblp.uni-trier.de/db/journals/corr/corr2008.html#abs-2008-01511
https://www.nature.com/articles/s41598-021-85474-1
http://export.arxiv.org/pdf/2008.01511
http://ui.adsabs.harvard.edu/abs/2020arXiv200801511A/abstract
https://arxiv.org/pdf/2008.01511.pdf
https://arxiv.org/pdf/2008.01511

A unified approach to the Galois closure problem

Authors: Huang, Hau-Wen ^{a, ⁎}, Li, Wen-Ching Winnie ^b

Source: In Journal of Number Theory November 2017 180:251-279

A Symbolic Algorithm for Solving Doubly Bordered k-Tridiagonal Interval Linear Systems

Authors: Sivakumar Thirupathi, Nirmala Thamaraiselvan

Source: International Journal of Analysis and Applications, Vol 21, Pp 87-87 (2023)

Subject Terms: Interval (graph theory), Symbolic Computing in Algebraic Geometry and Cryptography, Divide and conquer algorithms, 01 natural sciences, Mathematical analysis, Quantum mechanics, QA273-280, Bounded function, 0103 physical sciences, FOS: Mathematics, Floating-Point Arithmetic in Scientific Computation, Advanced Techniques in Digital Signal Processing, Interval Analysis, Accuracy-Guaranteed Bit-Width Optimization, Eigenvalues and eigenvectors, QA299.6-433, Algebra over a field, Semidefinite Programming, Physics, Pure mathematics, Tridiagonal matrix algorithm, Computer science, Algorithm, Tridiagonal matrix, Computational Theory and Mathematics, Combinatorics, Computer Science, Physical Sciences, Signal Processing, Computation, Interval arithmetic, Probabilities. Mathematical statistics, Analysis, Symbolic Computing, Mathematics

Access URL: https://doaj.org/article/355d59aa3294443989f0516aa7f1ae80

Solving a Polynomial Equation: Some History and Recent Progress

Authors: Pan, Victor Y.

Source: SIAM Review, 1997 Jun 01. 39(2), 187-220.

Access URL: https://www.jstor.org/stable/2133107

Regularity of the Euclid Algorithm; application to the analysis of fast GCD Algorithms

Authors: Cesaratto, Eda, Clément, Julien, Daireaux, Benoît, Lhote, Loïck, Maume-Deschamps, Véronique, Vallée, Brigitte

Contributors: Equipe AMACC - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), Facultad de Ingeniería Buenos Aires (FIUBA), Universidad de Buenos Aires Buenos Aires (UBA), IrisResearch Center, Laboratoire de Sciences Actuarielle et Financière (LSAF), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon, ANR-05-BLAN-0372,SADA,Structures aléatoires discrètes et algorithmes(2005)

Source: Journal of Symbolic Computation. 44:726-767

Subject Terms: FAST MULTIPLICATION, Algebra and Number Theory, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], TRANSFER OPERATORS, Euclid algorithm, DIVIDE AND CONQUER ALGORITHMS, Divide and conquer algorithms, Perron formula, 0102 computer and information sciences, ANALYSIS OF ALGORITHMS, PERRON FORMULA, 01 natural sciences, Fast multiplication, [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], Computational Mathematics, Transfer operators, EUCLID ALGORITHMS, Analysis of algorithms, 0101 mathematics

File Description: application/pdf

Access URL: http://hdl.handle.net/11336/242416

Proving Divide and Conquer Complexities in Isabelle/HOL

Authors: Eberl, Manuel

Source: Journal of Automated Reasoning. April 2017 58(4):483-508

Graph separators: a parameterized view: Graph separators: A parameterized view

Authors: Jochen Alber, Henning Fernau, Rolf Niedermeier

Source: Lecture Notes in Computer Science ISBN: 9783540424949

Subject Terms: Computer Networks and Communications, Analysis of algorithms and problem complexity, Applied Mathematics, 0102 computer and information sciences, 01 natural sciences, Divide-and-conquer algorithms, Planar graphs, geometric and topological aspects of graph theory, Theoretical Computer Science, Parameterized complexity, Graph separator theorems, Computational Theory and Mathematics, Graph theory (including graph drawing) in computer science, Fixed parameter tractability, Planar graph problems, 0101 mathematics

File Description: application/xml

Access URL: https://zbmath.org/2092875
https://doi.org/10.1016/s0022-0000(03)00072-2

OCTREE-BASED SIMD STRATEGY FOR ICP REGISTRATION AND ALIGNMENT OF 3D POINT CLOUDS

Authors: Sagi Dalyot, Daniel Eggert

Source: ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Vol I-3, Pp 105-110 (2012)

Subject Terms: Dewey Decimal Classification::500 | Naturwissenschaften::550 | Geowissenschaften, Technology, Artificial intelligence, Divide and conquer algorithms, Delaunay triangulation, 02 engineering and technology, Engineering (General). Civil engineering (General), Iterative closest point, Computer science, SIMD, TA1501-1820, Point cloud, Theoretical computer science, Octree, Data structure, Polygon mesh, 0202 electrical engineering, electronic engineering, information engineering, Applied optics. Photonics, Computer vision, TA1-2040, Konferenzschrift

File Description: application/pdf

Access URL: https://www.isprs-ann-photogramm-remote-sens-spatial-inf-sci.net/I-3/105/2012/isprsannals-I-3-105-2012.pdf
https://isprs-annals.copernicus.org/articles/I-3/105/2012/
https://doaj.org/article/df65b7600a0648c59bfcab002ed7abfd
http://ui.adsabs.harvard.edu/abs/2012ISPAn..I3..105E/abstract
https://www.repo.uni-hannover.de/bitstream/123456789/5239/1/isprsannals-I-3-105-2012.pdf
https://www.isprs-ann-photogramm-remote-sens-spatial-inf-sci.net/I-3/105/2012/isprsannals-I-3-105-2012.pdf
https://www.isprs-ann-photogramm-remote-sens-spatial-inf-sci.net/I-3/105/2012/isprsannals-I-3-105-2012.html
https://www.repo.uni-hannover.de/handle/123456789/5239

Exact Decomposition Approaches for Markov Decision Processes: A Survey

Authors: Cherki Daoui, Mohammed Abbad, Mohamed Tkiouat

Source: Advances in Operations Research. 2010:1-19

Subject Terms: Artificial intelligence, Learning and Inference in Bayesian Networks, Construct (python library), Variety (cybernetics), Markov chain, 0211 other engineering and technologies, Divide and conquer algorithms, 02 engineering and technology, Space (punctuation), Autonomic Computing and Self-Adaptive Systems, Component-Based Systems, Artificial Intelligence, Machine learning, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Markov process, Biology, Decomposition, Ecology, Mathematical optimization, Statistics, Computer science, Programming language, Algorithm, Operating system, FOS: Biological sciences, Computer Science, Physical Sciences, Software Reliability Assessment and Prediction, Markov decision process, State space, Software, Mathematics

Implementation of an Orchestration Language as a Haskell Domain Specific Language

Authors: Campos, Marco Devesas, Barbosa, L. S.

Contributors: Universidade do Minho

Source: Electronic Notes in Theoretical Computer Science. 255:45-64

Subject Terms: 0301 basic medicine, 03 medical and health sciences, Orc, Haskell, Coordination, 0202 electrical engineering, electronic engineering, information engineering, Thread-based Programming, Parallel Divide-and-Conquer Algorithms, Coordination Languages, 02 engineering and technology, 16. Peace & justice, Theoretical Computer Science, Computer Science(all)

File Description: application/pdf

Access URL: http://repositorium.sdum.uminho.pt/bitstream/1822/20248/1/FOCLASA-CamposBarbosa09.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs255.html#CamposB09
https://www.sciencedirect.com/science/article/abs/pii/S1571066109004447
https://doi.org/10.1016/j.entcs.2009.10.024
https://core.ac.uk/display/82644629
https://www.sciencedirect.com/science/article/pii/S1571066109004447
https://hdl.handle.net/1822/20248

On Divide-and-Conquer Strategies for Parsimony Analysis of Large Data Sets: Rec-I-DCM3 versus TNT

Authors: Pablo A. Goloboff, Diego Pol

Source: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

Subject Terms: 0106 biological sciences, Time Factors, Tree Searches, Divide and conquer algorithms, Evolutionary biology, 01 natural sciences, Cladistics, Agricultural and Biological Sciences, Biochemistry, Genetics and Molecular Biology, FOS: Mathematics, RNA Sequencing Data Analysis, Molecular Biology, Biology, Phylogeny, Ecology, Evolution, Behavior and Systematics, Statistics, Computational Biology, Life Sciences, Classification, Computer science, Algorithm, sequence alignment, Impact of Pollinator Decline on Ecosystems and Agriculture, Algorithms, Software, Mathematics

File Description: application/pdf

Access URL: https://academic.oup.com/sysbio/article-pdf/56/3/485/24203534/56-3-485.pdf
https://pubmed.ncbi.nlm.nih.gov/17562472
http://sysbio.oxfordjournals.org/content/56/3/485.full
https://academic.oup.com/sysbio/article-pdf/56/3/485/24203534/56-3-485.pdf
https://academic.oup.com/sysbio/article/56/3/485/1658052
https://europepmc.org/article/MED/17562472
https://www.ncbi.nlm.nih.gov/pubmed/17562472
https://ri.conicet.gov.ar/handle/11336/82978
http://hdl.handle.net/11336/82978