يعرض 1 - 10 نتائج من 125 نتيجة بحث عن '"De Bruijn sequence"', وقت الاستعلام: 1.13s تنقيح النتائج
  1. 1
    A note on the asymptotic expressiveness of ZF and ZFC

    المؤلفون: Maciej Bendkowski

    المصدر: Journal of Logic and Computation. 31:1598-1607

    مصطلحات موضوعية: Pure mathematics, Logic, Mathematics::General Topology, 0102 computer and information sciences, Consistency (knowledge bases), 01 natural sciences, Theoretical Computer Science, Arts and Humanities (miscellaneous), FOS: Mathematics, Mathematics - Combinatorics, Natural density, Axiom of choice, Set theory, 0101 mathematics, Representation (mathematics), Equivalence (measure theory), Mathematics, De Bruijn sequence, 010102 general mathematics, Mathematics - Logic, Extension (predicate logic), Mathematics::Logic, 010201 computation theory & mathematics, Hardware and Architecture, Combinatorics (math.CO), Logic (math.LO), Software

    الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bfbca311e078c1320ef8167aafa3708aTest
    https://doi.org/10.1093/logcom/exab038Test


    أضف إلى المفضلة
  2. 2
    Revisiting the Prefer-same and Prefer-opposite de Bruijn sequence constructions

    المؤلفون: Joe Sawada, Evan Sala, Abbas Alhakim

    المصدر: Theoretical Computer Science. 852:73-77

    مصطلحات موضوعية: De Bruijn sequence, Sequence, General Computer Science, 0102 computer and information sciences, 02 engineering and technology, Construct (python library), Lexicographical order, 01 natural sciences, Theoretical Computer Science, Combinatorics, Complex algorithm, 010201 computation theory & mathematics, Simple (abstract algebra), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Greedy algorithm, Representation (mathematics), Mathematics

    الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::c7e836840495ae540aef7dd0fc01529aTest
    https://doi.org/10.1016/j.tcs.2020.11.018Test


    أضف إلى المفضلة
  3. 3
    On greedy algorithms for binary de Bruijn sequences

    المؤلفون: Zuling Chang, Adamas Aqsa Fahreza, Martianus Frederic Ezerman

    المساهمون: School of Physical and Mathematical Sciences

    المصدر: Applicable Algebra in Engineering, Communication and Computing. 33:523-550

    مصطلحات موضوعية: Mathematics [Science], FOS: Computer and information sciences, De Bruijn sequence, Algebra and Number Theory, de Bruijn Sequences, Computer Science - Information Theory, Information Theory (cs.IT), Applied Mathematics, Binary number, 020206 networking & telecommunications, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 010201 computation theory & mathematics, Computer Science - Data Structures and Algorithms, Theory of computation, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Greedy Algorithm, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), Combinatorics (math.CO), Greedy algorithm, Algorithm, Mathematics

    وصف الملف: application/pdf

    الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::73b153a7bcff0d137f0749a4a759b6eaTest
    https://doi.org/10.1007/s00200-020-00459-3Test


    أضف إلى المفضلة
  4. 4
    HO$$\pi $$ in Coq

    المؤلفون: Alan Schmitt, Guillaume Ambal, Sergueï Lenglet

    المصدر: Journal of Automated Reasoning. 65:75-124

    مصطلحات موضوعية: De Bruijn sequence, Theoretical computer science, Computer science, Process (engineering), Carry (arithmetic), Process calculus, Prove it, 020207 software engineering, Context (language use), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computational Theory and Mathematics, 010201 computation theory & mathematics, Artificial Intelligence, Abstract syntax, 0202 electrical engineering, electronic engineering, information engineering, Software, Scope (computer science)

    الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::b6fc4c3538b08ed6718ca64384d0a880Test
    https://doi.org/10.1007/s10817-020-09553-0Test


    أضف إلى المفضلة
  5. 5
    Variable-order reference-free variant discovery with the Burrows-Wheeler Transform

    المؤلفون: Nadia Pisanti, Nicola Prezza, Marinella Sciortino, Giovanna Rosone

    المساهمون: University of Pisa - Università di Pisa, Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale (ERABLE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Università degli studi di Palermo - University of Palermo, Prezza N., Pisanti N., Sciortino M., Rosone G.

    المصدر: BMC Bioinformatics, Vol 21, Iss S8, Pp 1-20 (2020)
    BMC Bioinformatics
    BMC Bioinformatics, BioMed Central, 2020, 21 (S8), ⟨10.1186/s12859-020-03586-3⟩
    BMC Bioinformatics, 2020, 21 (S8), ⟨10.1186/s12859-020-03586-3⟩

    مصطلحات موضوعية: Burrows–Wheeler transform, Computer science, [SDV]Life Sciences [q-bio], Value (computer science), SNP, Assembly-free, 0102 computer and information sciences, lcsh:Computer applications to medicine. Medical informatics, 01 natural sciences, Biochemistry, Polymorphism, Single Nucleotide, 03 medical and health sciences, BWT, Chromosome (genetic algorithm), Structural Biology, Humans, Sensitivity (control systems), Molecular Biology, lcsh:QH301-705.5, Alignment-free, INDEL, 030304 developmental biology, De Bruijn sequence, 0303 health sciences, Settore INF/01 - Informatica, Applied Mathematics, Research, Genomics, Sequence Analysis, DNA, Data structure, Graph, Computer Science Applications, Variable (computer science), lcsh:Biology (General), 010201 computation theory & mathematics, Adjacency list, lcsh:R858-859.7, Suffix, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Algorithm, Algorithms

    الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d85e1e4776d0e539ea279779d0021de5Test
    http://link.springer.com/article/10.1186/s12859-020-03586-3Test


    أضف إلى المفضلة
  6. 6
    CALDERA: Finding all significant de Bruijn subgraphs for bacterial GWAS

    المؤلفون: Laurent Jacob, Fanny Perraudeau, Leandro Lima, Sandrine Dudoit, Hector Roux de Bézieux, Arnaud Mary

    المساهمون: Pendulum Therapeutics [San Francisco], European Bioinformatics Institute [Hinxton] (EMBL-EBI), EMBL Heidelberg, Baobab, Département PEGASE [LBBE] (PEGASE), Laboratoire de Biométrie et Biologie Evolutive - UMR 5558 (LBBE), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire de Biométrie et Biologie Evolutive - UMR 5558 (LBBE), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS), Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale (ERABLE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), University of California [Berkeley], University of California, Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), University of California [Berkeley] (UC Berkeley), University of California (UC), ANR-17-CE23-0011,FAST-BIG,Tests Statistiques efficaces pour les données de grande dimension: application à l'imagerie cérébrale et la génétique(2017)

    المصدر: Bioinformatics (Oxford, England), vol 38, iss Suppl 1
    Bioinformatics
    Bioinformatics, 2022, ⟨10.1093/bioinformatics/btac238⟩

    مصطلحات موضوعية: Statistics and Probability, Theoretical computer science, Computer science, Bioinformatics, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Genome-wide association study, 0102 computer and information sciences, Biochemistry, 01 natural sciences, De Bruijn graph, Mathematical Sciences, 03 medical and health sciences, symbols.namesake, [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST], Information and Computing Sciences, Genetics, Pruning (decision trees), Molecular Biology, Testability, 030304 developmental biology, Interpretability, De Bruijn sequence, 0303 health sciences, Bacteria, Human Genome, Sequence Analysis, DNA, DNA, Biological Sciences, [SDV.MP.BAC]Life Sciences [q-bio]/Microbiology and Parasitology/Bacteriology, Computer Science Applications, Computational Mathematics, Computational Theory and Mathematics, 010201 computation theory & mathematics, Multiple comparisons problem, symbols, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Sequence Analysis, Algorithms, Software, Reference genome, Genome-Wide Association Study, Biotechnology

    وصف الملف: application/pdf

    الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30f5a7e26ccae000c1d4760f1e10d13aTest
    https://hal.archives-ouvertes.fr/hal-03433563Test


    أضف إلى المفضلة
  7. 7
    A de Bruijn–Erdös Theorem for(q,q−4)-graphs

    المؤلفون: Rainer Schrader, Lukas Stenmans

    المصدر: Discrete Applied Mathematics. 279:198-201

    مصطلحات موضوعية: De Bruijn sequence, Conjecture, Applied Mathematics, Coxeter group, 0211 other engineering and technologies, 021107 urban & regional planning, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Finite graph, Combinatorics, Metric space, Betweenness centrality, 010201 computation theory & mathematics, Line (geometry), Discrete Mathematics and Combinatorics, Ternary operation, Mathematics

    الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::1cfd6981e59cb7d973bf584f3075fd56Test
    https://doi.org/10.1016/j.dam.2019.11.008Test


    أضف إلى المفضلة
  8. 8
    Longest subsequences shared by two de Bruijn sequences

    المؤلفون: Dongdai Lin, Yupeng Jiang

    المصدر: Designs, Codes and Cryptography. 88:1463-1475

    مصطلحات موضوعية: De Bruijn sequence, Sequence, Applied Mathematics, Periodic sequence, Binary number, Order (ring theory), 020206 networking & telecommunications, 0102 computer and information sciences, 02 engineering and technology, Longest increasing subsequence, 01 natural sciences, Computer Science Applications, Combinatorics, Maximum diameter, 010201 computation theory & mathematics, Subsequence, 0202 electrical engineering, electronic engineering, information engineering, Mathematics

    الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::c78ce1d3057f694a0c97dd3b0857252dTest
    https://doi.org/10.1007/s10623-020-00759-2Test


    أضف إلى المفضلة
  9. 9
    A Family of Tree-Based Generators for Bubbles in Directed Graphs

    المؤلفون: Leandro Lima, Giuseppe F. Italiano, Luca Pepè Sciarria, Marie-France Sagot, Blerina Sinaimeri, Vicente Acuña

    المساهمون: Center for Mathematical Modelling - Centro de Modelamiento Matematico [Santiago] (CMM), Universidad de Chile = University of Chile [Santiago] (UCHILE)-Centre National de la Recherche Scientifique (CNRS), European Bioinformatics Institute [Hinxton] (EMBL-EBI), EMBL Heidelberg, Libera Università Internazionale degli Studi Sociali Guido Carli [Roma] (LUISS), Equipe de recherche européenne en algorithmique et biologie formelle et expérimentale (ERABLE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Università degli Studi di Roma Tor Vergata [Roma], Baobab, Département PEGASE [LBBE] (PEGASE), Laboratoire de Biométrie et Biologie Evolutive - UMR 5558 (LBBE), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire de Biométrie et Biologie Evolutive - UMR 5558 (LBBE), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement (VAS)-Centre National de la Recherche Scientifique (CNRS), Center for Mathematical Modeling (CMM), Universidad de Chile = University of Chile [Santiago] (UCHILE), European Bioinformatics Institute [Cambridge, UK], University of Rome TorVergata

    المصدر: Combinatorial Algorithms
    IWOCA 2020-31st International Workshop on Combinatorial Algorithms
    IWOCA 2020-31st International Workshop on Combinatorial Algorithms, Jun 2020, Bordeaux, France. pp.17-29, ⟨10.1007/978-3-030-48966-3_2⟩
    Journal of Graph Algorithms and Applications
    Journal of Graph Algorithms and Applications, 2021, 25 (1), pp.549-562. ⟨10.7155/jgaa.00572⟩
    Journal of Graph Algorithms and Applications, Brown University, 2021, 25 (1), pp.549-562. ⟨10.7155/jgaa.00571⟩
    Lecture Notes in Computer Science ISBN: 9783030489656
    IWOCA

    مصطلحات موضوعية: Theoretical computer science, General Computer Science, Computer science, 0206 medical engineering, Context (language use), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Bottleneck, De Bruijn graph, Article, Theoretical Computer Science, Set (abstract data type), Physics::Fluid Dynamics, 03 medical and health sciences, symbols.namesake, Bubble generator, [INFO]Computer Science [cs], Tree based, Representation (mathematics), 030304 developmental biology, De Bruijn sequence, 0303 health sciences, [SDV.GEN]Life Sciences [q-bio]/Genetics, Directed graph, Graph, Computer Science Applications, Computational Theory and Mathematics, Bubble generator, directed graphs, alternative splicing, 010201 computation theory & mathematics, symbols, Geometry and Topology, 020602 bioinformatics, Generator (mathematics), Directed graphs, Alternative splicing

    الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d9e2dfc9e580c318ce416bc3b301441Test
    http://europepmc.org/articles/PMC7254895Test


    أضف إلى المفضلة
  10. 10
    OPPORTUNITIES TO MINIMIZE HARDWARE AND SOFTWARE COSTS FOR IMPLEMENTING BOOLEAN FUNCTIONS IN STREAM CIPHERS

    المؤلفون: Nikolay Alexandrovich Poluyanenko, Alexandr Kuznetsov, Serhii Ihnatenko, Igor Stelnyk, Oleksandr Volodymyrovych Potii, Danylo Mialkovsky

    المصدر: International Journal of Computing. :443-452

    مصطلحات موضوعية: De Bruijn sequence, Sequence, Computer Networks and Communications, business.industry, Computer science, 020206 networking & telecommunications, Cryptography, 0102 computer and information sciences, 02 engineering and technology, Encryption, 01 natural sciences, Nonlinear feedback shift register, 010201 computation theory & mathematics, Hardware and Architecture, 0202 electrical engineering, electronic engineering, information engineering, Computer Science (miscellaneous), Boolean function, business, Stream cipher, Software, Computer hardware, Information Systems, Generator (mathematics)

    الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::26301504aac35d53437f9dccff0baf46Test
    https://doi.org/10.47839/ijc.18.4.1614Test


    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث