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

Συγγραφείς: López-Rodríguez, Domingo, Ojeda-Hernández, Manuel, Pattison, Tim

Πηγή: Knowledge-Based Systems. 318

Θεματικοί όροι: Attribute implications, Divide-and-conquer algorithms, Formal concept analysis, Implicational systems, Knowledge representation

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Youssouf Mezzar, Kacem Belghaba

Πηγή: Communications in Mathematics and Applications. 14:707-719

Θεματικοί όροι: 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

Συγγραφείς: Hou, Donggu, Zhang, Wei

Πηγή: 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

Συγγραφείς: Thießen, Thore^Aff9, Vahrenhold, Jan^Aff9

Συνεισφορές: 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

Πηγή: 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

Συγγραφείς: Deyu Zhou, Yanzheng Xiang, Linhai Zhang, Chenchen Ye, Qianwen Zhang, Yunbo Cao

Πηγή: Findings of the Association for Computational Linguistics: EMNLP 2021. :4798-4808

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: https://aclanthology.org/2021.findings-emnlp.412.pdf

Fast associated classical orthogonal polynomial transforms

Συγγραφείς: Klippenstein, Brock, Slevinsky, Richard Mikaël ^⁎

Πηγή: 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

Συγγραφείς: Wei Gao, Muhammad Aamir, Ani Shabri, Raimi Dewan, Adnan Aslam

Πηγή: IEEE Access, Vol 7, Pp 149908-149925 (2019)

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Mohamed, Hanène, Robert, Philippe

Πηγή: The Annals of Applied Probability, 2005 Nov 01. 15(4), 2445-2471.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/30038512

Spectral Division Methods for Block Generalized Schur Decompositions

Συγγραφείς: Sun, Xiaobai

Πηγή: Mathematics of Computation, 2004 Oct 01. 73(248), 1827-1847.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/4100056

A divide-and-conquer algorithm for quantum state preparation

Συγγραφείς: Francesco Petruccione, Israel F. Araujo, Adenilton J. da Silva, Daniel K. Park

Πηγή: Sci Rep
Scientific Reports, Vol 11, Iss 1, Pp 1-12 (2021)

Θεματικοί όροι: 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)

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Huang, Hau-Wen ^{a, ⁎}, Li, Wen-Ching Winnie ^b

Πηγή: In Journal of Number Theory November 2017 180:251-279

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

Συγγραφείς: Sivakumar Thirupathi, Nirmala Thamaraiselvan

Πηγή: International Journal of Analysis and Applications, Vol 21, Pp 87-87 (2023)

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: https://doaj.org/article/355d59aa3294443989f0516aa7f1ae80

Solving a Polynomial Equation: Some History and Recent Progress

Συγγραφείς: Pan, Victor Y.

Πηγή: SIAM Review, 1997 Jun 01. 39(2), 187-220.

Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/2133107

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

Συγγραφείς: Cesaratto, Eda, Clément, Julien, Daireaux, Benoît, Lhote, Loïck, Maume-Deschamps, Véronique, Vallée, Brigitte

Συνεισφορές: 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)

Πηγή: Journal of Symbolic Computation. 44:726-767

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/11336/242416

Proving Divide and Conquer Complexities in Isabelle/HOL

Συγγραφείς: Eberl, Manuel

Πηγή: Journal of Automated Reasoning. April 2017 58(4):483-508

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

Συγγραφείς: Jochen Alber, Henning Fernau, Rolf Niedermeier

Πηγή: Lecture Notes in Computer Science ISBN: 9783540424949

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/xml

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Sagi Dalyot, Daniel Eggert

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

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Cherki Daoui, Mohammed Abbad, Mohamed Tkiouat

Πηγή: Advances in Operations Research. 2010:1-19

Θεματικοί όροι: 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

Συγγραφείς: Campos, Marco Devesas, Barbosa, L. S.

Συνεισφορές: Universidade do Minho

Πηγή: Electronic Notes in Theoretical Computer Science. 255:45-64

Θεματικοί όροι: 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)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Pablo A. Goloboff, Diego Pol

Πηγή: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: 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