Search Results - Theory of computation Design and analysis of algorithms Algorithm design techniques

ParkView: Visualizing Monotone Interleavings: Visualizing Monotone Interleavings

Authors: Beurskens, Thijs Van Den Broek, Steven Simons, Arjen et al.

Source: 2025 IEEE 18th Pacific Visualization Conference (PacificVis). :118-127

Subject Terms: Computational Geometry (cs.CG), FOS: Computer and information sciences, Human-centered computing - Visualization - Visualization techniques, Networks - Topology analysis and generation, Computer Science - Computational Geometry, Theory of computation - Design and analysis of algorithms

Access URL: http://arxiv.org/abs/2501.10728
https://research-portal.uu.nl/en/publications/b628947a-8e6f-47cf-a843-8f3ba8317ebb
https://doi.org/10.1109/PacificVis64226.2025.00018

A Technique to Speed up Symmetric Attractor-Based Algorithms for Parity Games

Authors: Thejaswini, K. S. Ohlmann, Pierre Jurdziński, Marcin et al.

Contributors: Thejaswini, K. S. Ohlmann, Pierre Jurdziński, Marcin et al.

Subject Terms: Quasipolynomial Algorithms, Theory of computation → Formal languages and automata theory, Theory of computation → Design and analysis of algorithms, Parity games, ddc:004, Theory of computation → Logic and verification, Attractor decomposition, Universal trees

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2022.44

Tools and Algorithms for the Construction and Analysis of Systems

Contributors: Biere, Armin Parker, David

Subject Terms: Theory of Computation, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Computer science, Mathematical theory of computation, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: http://library.oapen.org/handle/20.500.12657/37722

Combinatorial Designs Meet Hypercliques: Higher Lower Bounds for Klee’s Measure Problem and Related Problems in Dimensions d ≥ 4

Authors: Gorbachev, Egor Künnemann, Marvin Chambers, Erin W. et al.

Source: ISSN: 1868-8969.

Subject Terms: Fine-grained complexity theory, non-combinatorial lower bounds, computational geometry, clique detection, Theory of computation → Design and analysis of algorithms, ddc:004, DATA processing & computer science, info:eu-repo/classification/ddc/004

File Description: application/pdf

Relation: Leibniz International Proceedings in Informatics (LIPIcs); info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-273-0; info:eu-repo/semantics/altIdentifier/issn/1868-8969; https://publikationen.bibliothek.kit.edu/1000175555; https://publikationen.bibliothek.kit.edu/1000175555/155259158; https://doi.org/10.5445/IR/1000175555

Availability: https://publikationen.bibliothek.kit.edu/1000175555
https://publikationen.bibliothek.kit.edu/1000175555/155259158
https://doi.org/10.5445/IR/1000175555

Leveraging Multicriteria Integer Programming Optimization for Effective Team Formation

Authors: Pallavi Singh Phat K. Huynh Dang Nguyen et al.

Source: IEEE Transactions on Learning Technologies. 2025 18:72-84.

Peer Reviewed: Y

Page Count: 13

Descriptors: Teamwork, Group Dynamics, Research Design, Models, Skills, Background, Personality Traits, Algorithms, Task Analysis, Computation

Methodology for optimal design of efficient air transport network in a competitive environment

Authors: Trapote Barreira, César

Contributors: University/Department: Universitat Politècnica de Catalunya. Escola Tècnica Superior d'Enginyers de Camins, Canals i Ports de Barcelona

Thesis Advisors: Robusté Antón, Francesc

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Air transport network design, Airline network planning, Airline competition, Airline operations research, Fleet assignment, Aircraft routing, Crew scheduling, Tabu search, Game theory, Cournot model

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/350317
https://dx.doi.org/10.5821/dissertation-2117-96080

Word-processing-based routing for Cayley graphs

Authors: Aguirre Guerrero, Daniela

Contributors: University/Department: Universitat de Girona. Departament d'Arquitectura i Tecnologia de Computadors, University/Department: Universitat de Girona. Institut d'Informàtica i Aplicacions

Thesis Advisors: Vilà Talleda, Pere, Fàbrega i Soler, Lluís

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: Fault-tolerant routing, Encaminamiento tolerante a fallos, Encaminament tolerant a fallades, Cayley graphs, Grafos de Cayley, Grafs de Cayley, Automatic group theory, Teoría de grupos automáticos, Teoria de grups automàtics, Path computation algorithms, Algoritmos de búsqueda de caminos, Algoritmes de cerca de camins

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/667410

Advanced Mathematical Science for Mobility Society

Contributors: Ikeda, Kazushi Kawamura, Yoshiumi Makino, Kazuhisa et al.

Subject Terms: Mobility society, Many-body particle systems, Box-ball systems, Discrete integrable systems, LR transformations, Car-sharing systems, Control theory, Blockchains, Eigenvalue analysis, Tensor network formalism, Machine learning, Network algorithm, Mechanism design, Mathematical theory of computation, Mathematical modelling, Maths for engineers, Databases, Highway and traffic engineering

File Description: application/pdf

Access URL: https://library.oapen.org/handle/20.500.12657/90475

Better Space-Time-Robustness Trade-Offs for Set Reconciliation

Authors: Djamal, Belazzougui Kucherov, Gregory Walzer, Stefan et al.

Contributors: Djamal, Belazzougui Kucherov, Gregory Walzer, Stefan et al.

Source: Leibniz International Proceedings in Informatics (LIPIcs) ; 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024) ; https://cnrs.hal.science/hal-04799765 ; 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), Jul 2024, Tallinn, Estonia. pp.20:1-20:19, ⟨10.4230/LIPIcs.ICALP.2024.20⟩

Subject Terms: Theory of computation → Error-correcting codes, Theory of computation → Sketching and sampling, geometry and discrete structures, Theory of computation → Randomness, Theory of computation → Design and analysis of algorithms, BCH codes, random hypergraphs, invertible Bloom lookup tables, set reconciliation, hashing, data structures, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Subject Geographic: Tallinn, Estonia

Time: Tallinn, Estonia

Availability: https://cnrs.hal.science/hal-04799765
https://cnrs.hal.science/hal-04799765v1/document
https://cnrs.hal.science/hal-04799765v1/file/LIPIcs.ICALP.2024.20.pdf
https://doi.org/10.4230/LIPIcs.ICALP.2024.20

Better space-time-robustness trade-offs for set reconciliation

Authors: Belazzougui, Djamal Kucherov, Gregory Walzer, Stefan et al.

Contributors: Belazzougui, Djamal Kucherov, Gregory Walzer, Stefan et al.

Subject Terms: Theory of computation → Sketching and sampling, FOS: Computer and information sciences, invertible Bloom lookup tables, random hypergraphs, Theory of computation → Error-correcting codes, ddc:000, Theory of computation → Design and analysis of algorithms, information & general works, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Computer science, BCH codes, hashing, data structures, set reconciliation, Theory of computation → Randomness, Computer Science - Data Structures and Algorithms, geometry and discrete structures, Data Structures and Algorithms (cs.DS), ddc:004, Computer science, information & general works

File Description: application/pdf

Access URL: http://arxiv.org/abs/2404.09607
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.20
https://cnrs.hal.science/hal-04799765v1
https://cnrs.hal.science/hal-04799765v1/document
https://doi.org/10.4230/lipics.icalp.2024.20
https://publikationen.bibliothek.kit.edu/1000172842/153765734
https://publikationen.bibliothek.kit.edu/1000172842
https://doi.org/10.5445/IR/1000172842

auction algorithms for market equilibrium with weak gross substitute demands and their applications

Authors: Garg, Jugal Husić, Edin Végh, László A. et al.

Contributors: Garg, Jugal Husić, Edin Végh, László A. et al.

Source: 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021).

Subject Terms: Fisher equilibrium, auction algorithm, Nash social welfare, Theory of computation → Design and analysis of algorithms, Gale equilibrium, ddc:004, weak gross substitutes, Theory of computation → Algorithmic game theory and mechanism design

File Description: application/pdf

Access URL: https://experts.illinois.edu/en/publications/auction-algorithms-for-market-equilibrium-with-weak-gross-substit-2
https://drops.dagstuhl.de/opus/volltexte/2021/13678/
https://drops.dagstuhl.de/opus/volltexte/2021/13678/pdf/LIPIcs-STACS-2021-33.pdf/
https://dblp.uni-trier.de/db/conf/stacs/stacs2021.html#GargHV21
https://doi.org/10.4230/LIPIcs.STACS.2021.33
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2021.33
http://eprints.lse.ac.uk/113500/

DynaVLC 13 towards dynamic GTS allocation in VLC networks

Authors: Kurunathan, John Harrison Gutiérrez Gaitán, Miguel Sámano-Robles, Ramiro et al.

Contributors: Kurunathan, John Harrison Gutiérrez Gaitán, Miguel Sámano-Robles, Ramiro et al.

Subject Terms: Computer systems organization, Real-time systems, Networks, Network protocols, Theory of computation, Design and analysis of algorithms

File Description: application/pdf

Availability: http://hdl.handle.net/10400.22/25318

Methods of Calculating Prediction Error Variance and Prediction Accuracy for Restricted Best Linear Unbiased Prediction of Breeding Values.

Authors: Satoh, Masahiro¹ (AUTHOR) masahiro.satoh.d5@tohoku.ac.jp

Source: Journal of Animal Breeding & Genetics. Jul2025, Vol. 142 Issue 4, p363-372. 10p.

Subjects: Prediction algorithms, Estimation theory, Statistical models, Mathematical statistics, Statistical measurement, Heritability, Selection bias (Statistics), Phenotypes

In Silico Peptide Design: Methods, Resources, and Role of AI.

Authors: Choudhury PR Mishra SK Yadav S et al.

Source: Journal of peptide science : an official publication of the European Peptide Society [J Pept Sci] 2025 Dec; Vol. 31 (12), pp. e70063.

Publication Type: Journal Article; Review

Journal Info: Publisher: John Wiley & Sons Country of Publication: England NLM ID: 9506309 Publication Model: Print Cited Medium: Internet ISSN: 1099-1387 (Electronic) Linking ISSN: 10752617 NLM ISO Abbreviation: J Pept Sci Subsets: MEDLINE

MeSH Terms: Peptides*/chemistry , Peptides*/chemical synthesis , Drug Design*, Molecular Dynamics Simulation ; Machine Learning ; Deep Learning ; Humans ; Computer Simulation

High-Performance Psychometrics: The Parallel-E Parallel-M Algorithm for Generalized Latent Variable Models. Research Report. ETS RR-16-34

Authors: von Davier, Matthias

Source: ETS Research Report Series. Nov 2016 (v).

Peer Reviewed: Y

Page Count: 13

Descriptors: Psychometrics, Mathematics, Models, Statistical Analysis, Item Response Theory, Classification, Multitrait Multimethod Techniques, Computation

Fully Functional Suffix Trees and Optimal Text Searching in BWT-Runs Bounded Space

Authors: GAGIE Travis NAVARRO Gonzalo PREZZA Nicola

Source: Journal of the ACM. 67:1-54

Subject Terms: FOS: Computer and information sciences, Theory of computation, Design and analysis of algorithms, Data structures design and analysis, Pattern matching, Computer Science - Data Structures and Algorithms, Compressed text indexes, Data Structures and Algorithms (cs.DS), Repetitive string collections, Compressed suffix trees, 0102 computer and information sciences, Burrows-Wheeler transform, 01 natural sciences, Theory of computation, Design and analysis of algorithms, Data structures design and analysis, Pattern matching

File Description: application/pdf

Access URL: http://arxiv.org/pdf/1809.02792
http://arxiv.org/abs/1809.02792
https://arxiv.org/abs/1809.02792
https://dblp.uni-trier.de/db/journals/jacm/jacm67.html#GagieNP20
https://dl.acm.org/doi/10.1145/3375890
http://arxiv-export-lb.library.cornell.edu/abs/1809.02792
https://repositorio.uchile.cl/handle/2250/178684
https://arxiv.org/pdf/1809.02792.pdf
https://arxiv.org/abs/1809.02792
https://ui.adsabs.harvard.edu/abs/2018arXiv180902792G/abstract
https://hdl.handle.net/10278/3729797
https://doi.org/10.1145/3375890
https://dl.acm.org/doi/10.1145/3375890#d10052772e1
https://hdl.handle.net/11385/192324
https://doi.org/10.1145/3375890
https://dl.acm.org/doi/10.1145/3375890#d10052772e1

Decomposition techniques for computational limit analysis

Authors: Rabiei, Nima

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament de Matemàtica Aplicada III

Thesis Advisors: Muñoz Romero, José Javier

Source: TDX (Tesis Doctorals en Xarxa)

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/284217
https://dx.doi.org/10.5821/dissertation-2117-95522

Design of Colchicine-Based Tubulin Inhibitors as Anticancer Agents by In Silico Analysis of Colchicine-Based Tubulin Inhibitors: 3D-QSAR, Molecular Docking, and Molecular Dynamics Simulations for Anticancer Drug Development.

Authors: Bhandari SV Anardi SB Nighot SD et al.

Source: Chemistry & biodiversity [Chem Biodivers] 2025 Nov; Vol. 22 (11), pp. e00361. Date of Electronic Publication: 2025 Jul 29.

Publication Type: Journal Article

Journal Info: Publisher: Verlag Helvetica Chimica Acta Country of Publication: Switzerland NLM ID: 101197449 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1612-1880 (Electronic) Linking ISSN: 16121872 NLM ISO Abbreviation: Chem Biodivers Subsets: MEDLINE

MeSH Terms: Colchicine*/chemistry , Colchicine*/pharmacology , Colchicine*/chemical synthesis , Quantitative Structure-Activity Relationship* , Antineoplastic Agents*/chemistry , Antineoplastic Agents*/pharmacology , Antineoplastic Agents*/chemical synthesis , Molecular Dynamics Simulation* , Molecular Docking Simulation* , Tubulin*/metabolism , Tubulin Modulators*/chemistry , Tubulin Modulators*/pharmacology , Tubulin Modulators*/chemical synthesis , Drug Design* , Drug Development*, Humans ; Molecular Structure ; Drug Screening Assays, Antitumor ; Cell Proliferation/drug effects

Computational Learning Theory through a New Lens: Scalability, Uncertainty, Practicality, and beyond

Authors: Chen Wang

Source: ProQuest LLC. 2024Ph.D. Dissertation, Rutgers The State University of New Jersey, School of Graduate Studies.

Peer Reviewed: N

Page Count: 338

Descriptors: Computation, Learning Theories, Algorithms, Artificial Intelligence, Graphs, Privacy

Access URL: https://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:30993859

Clustering Under Perturbation Stability in Near-Linear Time

Authors: Agarwal, Pankaj K. Chang, Hsien-Chih Munagala, Kamesh et al.

Contributors: Agarwal, Pankaj K. Chang, Hsien-Chih Munagala, Kamesh et al.

Source: Leibniz International Proceedings in Informatics (LIPIcs), 182 ; 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)

Subject Terms: clustering, stability, local search, dynamic programming, coreset, polyhedral metric, trapezoid decomposition, range query, Theory of computation → Design and analysis of algorithms

File Description: application/application/pdf

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-174-0; http://hdl.handle.net/20.500.11850/465026

Availability: https://hdl.handle.net/20.500.11850/465026
https://doi.org/10.3929/ethz-b-000465026