Výsledky vyhľadávania - Theory of computation → Algorithm design techniques

Computing Generalized Convolutions Faster Than Brute Force

Autori: Esmer, Barış Can Kulik, Ariel Marx, Dániel a ďalší

Prispievatelia: Esmer, Barış Can Kulik, Ariel Marx, Dániel a ďalší

Zdroj: Algorithmica
17th International Symposium on Parameterized and Exact Computation
Leibniz International Proceedings in Informatics

Predmety: 0301 basic medicine, FOS: Computer and information sciences, Fast Fourier Transform, Generalized Convolution, 0102 computer and information sciences, 01 natural sciences, Article, 03 medical and health sciences, Computer Science - Data Structures and Algorithms, Theory of computation → Parameterized complexity and exact algorithms, Data Structures and Algorithms (cs.DS), Theory of computation → Algorithm design techniques, ddc:004, Fast Subset Convolution

Popis súboru: application/pdf

Prístupová URL adresa: https://pubmed.ncbi.nlm.nih.gov/38188497
http://arxiv.org/abs/2209.01623
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2022.12
http://hdl.handle.net/21.11116/0000-000C-1EE8-E
http://hdl.handle.net/21.11116/0000-000C-1EE6-0
http://hdl.handle.net/21.11116/0000-000E-36C4-8
http://hdl.handle.net/21.11116/0000-000E-36C6-6

Practical Computation of Graph VC-Dimension

Autori: Coudert, David Csikós, Mónika Ducoffe, Guillaume a ďalší

Prispievatelia: Coudert, David Csikós, Mónika Ducoffe, Guillaume a ďalší

Predmety: FOS: Computer and information sciences, algorithm, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], graph, VC-dimension, Algorithm, Theory of computation → Graph algorithms analysis, Computer Science - Data Structures and Algorithms, Theory of computation → Parameterized complexity and exact algorithms, Data Structures and Algorithms (cs.DS), ddc:004, Theory of computation → Algorithm design techniques, Graphs

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2405.07588
https://hal.science/hal-04553784v1
https://doi.org/10.4230/lipics.sea.2024.8
https://hal.science/hal-04553784v1/document
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SEA.2024.8

Word-processing-based routing for Cayley graphs

Autori: Aguirre Guerrero, Daniela

Prispievatelia: 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

Zdroj: TDX (Tesis Doctorals en Xarxa)

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/667410

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

Autori: Trapote Barreira, César

Prispievatelia: 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

Zdroj: TDX (Tesis Doctorals en Xarxa)

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

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/350317
https://dx.doi.org/10.5821/dissertation-2117-96080

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Biere, Armin Parker, David

Predmety: 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

Popis súboru: application/pdf

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

Prístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37722

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

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

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

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

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

Autori: Chen Wang

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

Peer Reviewed: N

Počet strán: 338

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

Prístupová URL adresa: 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

Multi-scale topological design of structural materials : an integrated approach

Autori: Ferrer Ferré, Àlex

Prispievatelia: University/Department: Universitat Politècnica de Catalunya. Departament d'Enginyeria Civil i Ambiental

Thesis Advisors: Oliver, J. (Javier Oliver Olivella), Cante Terán, Juan Carlos

Zdroj: TDX (Tesis Doctorals en Xarxa)

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/406354
https://dx.doi.org/10.5821/dissertation-2117-108498
http://mediaserver.csuc.cat/tdx/documents/13/31/50/133150883298287832326828316795393171528/

Advanced Mathematical Science for Mobility Society

Prispievatelia: Ikeda, Kazushi Kawamura, Yoshiumi Makino, Kazuhisa a ďalší

Predmety: 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

Popis súboru: application/pdf

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/90475

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

Autori: von Davier, Matthias

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

Peer Reviewed: Y

Počet strán: 13

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

DynaVLC 13 towards dynamic GTS allocation in VLC networks

Autori: Kurunathan, John Harrison Gutiérrez Gaitán, Miguel Sámano-Robles, Ramiro a ďalší

Prispievatelia: Kurunathan, John Harrison Gutiérrez Gaitán, Miguel Sámano-Robles, Ramiro a ďalší

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

Popis súboru: application/pdf

Dostupnosť: http://hdl.handle.net/10400.22/25318

Leveraging Multicriteria Integer Programming Optimization for Effective Team Formation

Autori: Pallavi Singh Phat K. Huynh Dang Nguyen a ďalší

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

Peer Reviewed: Y

Počet strán: 13

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

LIPIcs, Volume 100, FUN'18, Complete Volume

Autori: Ito, Hiro Leonardi, Stefano Pagli, Linda a ďalší

Prispievatelia: Ito, Hiro Leonardi, Stefano Pagli, Linda a ďalší

Predmety: Theory of computation, Complexity classes, Algorithm design techniques, Computability, Approximation algorithms analysis, Mathematics of computing

Popis súboru: application/pdf

Relation: Is Part Of LIPIcs, Volume 100, 9th International Conference on Fun with Algorithms (FUN 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018

Dostupnosť: https://doi.org/10.4230/LIPIcs.FUN.2018
https://nbn-resolving.org/urn:nbn:de:0030-drops-89311
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2018

Schema-Based Instruction with Enumerative Combinatorics and Recursion to Develop Computer Engineering Students' Problem-Solving Skills

Autori: Cabodi, G Camurati, P Pasini, P a ďalší

Prispievatelia: Cabodi, G Camurati, P Pasini, P a ďalší

Predmety: applied computing, education, schema-based instruction, theory of computation, algorithm design technique, recursion, problem solving

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000561987400009; volume:36; issue:5; firstpage:1505; lastpage:1528; numberofpages:24; journal:INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION; https://hdl.handle.net/11583/2854921; https://www.ijee.ie/contents/c360520.html

Dostupnosť: https://hdl.handle.net/11583/2854921
https://www.ijee.ie/contents/c360520.html

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

Autori: Choudhury PR Mishra SK Yadav S a ďalší

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

Spôsob vydávania: Journal Article; Review

Informácie o časopise: 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

Výrazy zo slovníka MeSH: Peptides*/chemistry , Peptides*/chemical synthesis , Drug Design*, Molecular Dynamics Simulation ; Machine Learning ; Deep Learning ; Humans ; Computer Simulation

Fine-grained completeness for optimization in P

Autori: Bringmann, Karl Cassis, Alejandro Fischer, Nick a ďalší

Prispievatelia: Bringmann, Karl Cassis, Alejandro Fischer, Nick a ďalší

Zdroj: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
Leibniz International Proceedings in Informatics
Leibniz International Proceedings in Informatics (LIPIcs), 207
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2021)
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2021

Predmety: ddc:004, FOS: Computer and information sciences, Completeness, Fine-grained Complexity & Algorithm Design, Hardness of approximation in P, 0102 computer and information sciences, Computational Complexity (cs.CC), 7. Clean energy, 01 natural sciences, 12. Responsible consumption, Dimensionality reductions, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS), 0101 mathematics, Dimensionality Reductions, Hardness of Approximation in P, 4. Education, DATA processing & computer science, Theory of computation → Problems, reductions and completeness, 16. Peace & justice, Computer Science - Computational Complexity, Fine-grained complexity & algorithm design

Popis súboru: application/pdf; application/application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2107.01721
https://dblp.uni-trier.de/db/journals/corr/corr2107.html#abs-2107-01721
https://drops.dagstuhl.de/opus/volltexte/2021/14702/pdf/LIPIcs-APPROX9.pdf/
https://arxiv.org/pdf/2107.01721
https://drops.dagstuhl.de/opus/volltexte/2021/14702/
https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_3331360
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.APPROX/RANDOM.2021.9
http://hdl.handle.net/21.11116/0000-0009-B411-8
http://hdl.handle.net/21.11116/0000-0009-B413-6
http://hdl.handle.net/21.11116/0000-0008-E26A-2
http://hdl.handle.net/21.11116/0000-0008-E26C-0
https://publikationen.bibliothek.kit.edu/1000175568
https://publikationen.bibliothek.kit.edu/1000175568/155261145
https://doi.org/10.5445/IR/1000175568
http://hdl.handle.net/20.500.11850/507986

Decomposition techniques for computational limit analysis

Autori: Rabiei, Nima

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

Thesis Advisors: Muñoz Romero, José Javier

Zdroj: TDX (Tesis Doctorals en Xarxa)

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/284217
https://dx.doi.org/10.5821/dissertation-2117-95522

Electromagnetic Wave Scattering by Aerial and Ground Radar Objects

Prispievatelia: Sukharevsky, Oleg I.

Predmety: Electromagnetics and Microwaves, Communications System Design, Aerospace Engineering, ENG, ElectricalEngineering, MechanicalEngineering, SCI-TECH, STM, Computational Electrodynamics, Electromagnetic Scattering Theory, Electromagnetic Wave Scattering, Physical Optics Approximation, Radar Cross-Section Prediction, Radar Detection Algorithms, Radar Microwaves, Radar Recognition Algorithms, Radar Scattering Computation, Radar Scattering Software, RCS Prediction, Reduction of Radar Observability, Sergey V. Nechitaylo, Stealth Technology, Valery M. Orlenko, Vitaly A. Vasilets, Microwave technology, Mobile phone technology, Mechanical engineering

Popis súboru: application/pdf

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/41695

Resource and performance trade-offs in real-time embedded control systems

Autori: Lozoya Gámez, Rafael Camilo

Prispievatelia: University/Department: Universitat Politècnica de Catalunya. Institut d'Organització i Control de Sistemes Industrials

Thesis Advisors: Martí Colom, Pau, Velasco García, Manel

Zdroj: TDX (Tesis Doctorals en Xarxa)

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/109158
https://dx.doi.org/10.5821/dissertation-2117-94775

Future Potential of Quantum Computing and Simulations in Biological Science.

Autori: Pal S Bhattacharya M Dash S a ďalší

Zdroj: Molecular biotechnology [Mol Biotechnol] 2024 Sep; Vol. 66 (9), pp. 2201-2218. Date of Electronic Publication: 2023 Sep 17.

Spôsob vydávania: Journal Article; Review

Informácie o časopise: Publisher: Springer Country of Publication: Switzerland NLM ID: 9423533 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1559-0305 (Electronic) Linking ISSN: 10736085 NLM ISO Abbreviation: Mol Biotechnol Subsets: MEDLINE

Výrazy zo slovníka MeSH: Quantum Theory* , Algorithms*, Computer Simulation ; Biological Science Disciplines/trends ; Humans