Search Results - Computer science Discrete mathematics in relation to computer science

Stable Approximation Algorithms for Dominating Set and Independent Set: Stable approximation algorithms for dominating set and independent set

Authors: Mark de Berg Arpan Sadhukhan Frits Spieksma et al.

Contributors: Mark de Berg Arpan Sadhukhan Frits Spieksma et al.

Source: SIAM Journal on Discrete Mathematics. 39:921-945

Subject Terms: FOS: Computer and information sciences, dynamic algorithms, Discrete Mathematics (cs.DM), Analysis of algorithms and problem complexity, General topics of discrete mathematics in relation to computer science, dominating set, stability, Approximation algorithms, bounded recourse, independent set, Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.), Graph algorithms (graph-theoretic aspects), Computer Science - Data Structures and Algorithms, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), Combinatorics (math.CO), ddc:004, approximation algorithms, Dynamic algorithms, Computer Science - Discrete Mathematics

File Description: application/xml; application/pdf

Access URL: http://arxiv.org/abs/2412.13358
https://zbmath.org/8037180
https://doi.org/10.1137/24m1644079
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.APPROX/RANDOM.2023.27

Dynamics of cycles in polyhedra I: The isolation lemma: Dynamics of cycles in polyhedra. I: The isolation lemma

Authors: Kessler, Jan Schmidt, Jens M.

Source: Journal of Combinatorial Theory, Series B. 173:329-364

Subject Terms: FOS: Computer and information sciences, isolating long cycles, Tutte cycle dynamics, 0102 computer and information sciences, 3-connected planar graphs, 01 natural sciences, Graph theory, circumference, polyhedral graphs, Discrete mathematics in relation to computer science, Combinatorics, essentially 4-connected, discharging, Computer Science - Data Structures and Algorithms, FOS: Mathematics, Mathematics - Combinatorics, Data Structures and Algorithms (cs.DS), Combinatorics (math.CO)

File Description: application/xml

Access URL: http://arxiv.org/abs/2002.07698
https://zbmath.org/8037102
https://doi.org/10.1016/j.jctb.2024.03.008

Characterization of Isometric Words based on Swap and Mismatch Distance: Characterization of isometric words based on swap and mismatch distance

Authors: Marcella Anselmo Giuseppa Castiglione Manuela Flores et al.

Source: International Journal of Foundations of Computer Science. 36:221-245

Subject Terms: Graph theory, FOS: Computer and information sciences, Discrete mathematics in relation to computer science, overlap with errors, Swap and mismatch distance, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, isometric words, Algorithms in computer science, swap and mismatch distance

File Description: application/xml

Access URL: http://arxiv.org/abs/2404.13577
https://hdl.handle.net/20.500.11769/644232

Linear Expected Complexity for Directional and Multiplicative Voronoi Diagrams: Linear expected complexity for directional and multiplicative Voronoi diagrams

Authors: Chenglin Fan Benjamin Raichel Chenglin Fan and Benjamin Raichel

Contributors: Chenglin Fan Benjamin Raichel Chenglin Fan and Benjamin Raichel

Source: Discrete & Computational Geometry. 73:1-24

Subject Terms: expected complexity, Computational Geometry (cs.CG), FOS: Computer and information sciences, Computational Geometry, Voronoi Diagrams, General topics of discrete mathematics in relation to computer science, 0102 computer and information sciences, 01 natural sciences, Voronoi diagrams, computational geometry, Computer Science - Computational Geometry, Geometric probability and stochastic geometry, ddc:004, 0101 mathematics, Expected Complexity

File Description: application/xml; application/pdf

Access URL: http://arxiv.org/abs/2004.09385
https://zbmath.org/7966734
https://doi.org/10.1007/s00454-024-00705-2
https://drops.dagstuhl.de/opus/volltexte/2020/12911/pdf/LIPIcs-ESA-2020-45.pdf/
https://dblp.uni-trier.de/db/journals/corr/corr2004.html#abs-2004-09385
https://drops.dagstuhl.de/opus/volltexte/2020/12911/
https://doi.org/10.4230/LIPIcs.ESA.2020.45
http://ui.adsabs.harvard.edu/abs/2020arXiv200409385F/abstract
https://arxiv.org/abs/2004.09385
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2020.45

Ortho-Radial Drawing in Near-Linear Time: Ortho-radial drawing in near-linear time

Authors: Yi-Jun Chang

Contributors: Yi-Jun Chang

Source: TheoretiCS. 4

Subject Terms: Computational Geometry (cs.CG), FOS: Computer and information sciences, Computing methodologies and applications, Graph drawing, Graph theory, graph drawing, topology-shape-metric framework, Discrete mathematics in relation to computer science, ortho-radial drawing, Computer Science - Data Structures and Algorithms, Computer Science - Computational Geometry, Data Structures and Algorithms (cs.DS), ddc:004

File Description: application/xml; application/pdf

Access URL: http://arxiv.org/abs/2305.00425
https://zbmath.org/8036758
https://doi.org/10.46298/theoretics.25.11
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2023.35

Repetition Factorization of Automatic Sequences: Repetition factorization of automatic sequences

Authors: Narad Rampersad Jeffrey Shallit Xinhao Xu

Source: International Journal of Foundations of Computer Science. 36:479-499

Subject Terms: period, Discrete mathematics in relation to computer science, repetition, repetition factorization, Thue-Morse word, 0202 electrical engineering, electronic engineering, information engineering, Sequences and sets, Theory of computing, automatic sequence, 0102 computer and information sciences, 02 engineering and technology, Fibonacci word, 01 natural sciences

File Description: application/xml

Access URL: https://zbmath.org/8034708
https://doi.org/10.1142/s0129054124430019

Stable Approximation Algorithms for the Dynamic Broadcast Range-Assignment Problem: Stable approximation algorithms for the dynamic broadcast range-assignment problem

Authors: Mark de Berg Arpan Sadhukhan Frits Spieksma et al.

Contributors: Mark de Berg Arpan Sadhukhan Frits Spieksma et al.

Source: SIAM Journal on Discrete Mathematics. 38:790-827

Subject Terms: Computational Geometry (cs.CG), FOS: Computer and information sciences, broadcast range assignment, online algorithms, stable approximation schemes, Analysis of algorithms and problem complexity, Discrete geometry, General topics of discrete mathematics in relation to computer science, 0102 computer and information sciences, 68W27, 68Q25, 01 natural sciences, Computational geometry, bounded recourse, F.2.2, F.2.3, Computer graphics, computational geometry (digital and algorithmic aspects), Computer Science - Data Structures and Algorithms, computational geometry, Computer Science - Computational Geometry, Data Structures and Algorithms (cs.DS), ddc:004, broadcast range assignement

File Description: application/xml; application/pdf

Access URL: http://arxiv.org/abs/2112.05426
https://research.tue.nl/en/publications/e5bf163d-884a-4515-8198-681071448b9c
https://doi.org/10.4230/LIPIcs.SWAT.2022.15
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SWAT.2022.15

Foundations of Software Science and Computation Structures

Authors: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Subjects: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Foundations of Software Science and Computation Structures

Authors: Mikołaj Bojańczyk Alex Simpson

Resource Type: eBook.

Subjects: Artificial intelligence, Software engineering--Congresses, Computer software--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Database Administration & Management, COMPUTERS / Programming / General, MATHEMATICS / Discrete Mathematics

Immune sets in monotone infection rules. Characterization and complexity

Authors: Fàbrega Canudas, José Martí Farré, Jaume Muñoz López, Francisco Javier et al.

Contributors: Fàbrega Canudas, José Martí Farré, Jaume Muñoz López, Francisco Javier et al.

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: Teoria de, Grafs, Teoria de, Target set selection, Classificació AMS::05 Combinatorics::05C Graph theory, Complexity, Computer science--Mathematics, Classificació AMS::68 Computer science::68R Discrete mathematics in relation to computer science, Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica discreta::Teoria de grafs, $k$-forcing, Graph theory, Grafs, Immune number, Informàtica--Matemàtica, Zero forcing, Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa, Bootstrap percolation

File Description: application/pdf

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Authors: Christel Baier Ugo Dal Lago

Resource Type: eBook.

Subjects: Computer software--Congresses, Software engineering--Congresses

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Discrete Mathematics

Proceedings of the 9th Mathematics, Science, and Computer Science Education International Seminar (MSCEIS 2023)

Authors: Fitri Khoerunnisa Galuh Yuliani Rizki Zakwandi

Resource Type: eBook.

Subjects: Electronic data processing--Study and teaching--Congresses, Chemistry--Congresses, Chemistry--Study and teaching--Congresses, Biology--Study and teaching--Congresses, Science--Study and teaching--Congresses, Biology--Congresses, Computer science--Congresses, Physics--Congresses, Physics--Study and teaching--Congresses, Mathematics--Study and teaching--Congresses, Computer science--Study and teaching--Congresses, Mathematics--Congresses

Categories: EDUCATION / General

Computer and Information Sciences

Authors: Tadeusz Czachórski Erol Gelenbe Krzysztof Grochla et al.

Resource Type: eBook.

Subjects: Optical data processing, Software engineering, Computer science--Congresses, Information technology--Congresses, Computer networks, Artificial intelligence

Categories: COMPUTERS / Networking / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Image Processing, COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Software Development & Engineering / General, MATHEMATICS / Probability & Statistics / General

A data science approach for spatiotemporal modelling of low and resident air pollution in Madrid (Spain): Implications for epidemiological studies

Authors: Gómez Losada, Álvaro Santos, Francisca M. Gibert, Karina et al.

Contributors: Gómez Losada, Álvaro Santos, Francisca M. Gibert, Karina et al.

Source: Brújula
Universidad Loyola Andalucía
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Digital.CSIC. Repositorio Institucional del CSIC
Consejo Superior de Investigaciones Científicas (CSIC)
instname
idUS. Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)

Subject Terms: Biomathematics, Àrees temàtiques de la UPC::Matemàtiques i estadística::Estadística matemàtica::Anàlisi multivariant, ModelsInverse distance weighting, Biomatemàtica, Classificació AMS::62 Statistics::62H Multivariate analysis, Classificació AMS::92 Biology and other natural sciences::92B Mathematical biology in general, Computer science--Mathematics, Classificació AMS::68 Computer science::68R Discrete mathematics in relation to computer science, 01 natural sciences, Ordinary kriging, Multivariate analysis, Hidden Markov, Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, 13. Climate action, Informàtica--Matemàtica, 11. Sustainability, Anàlisi multivariable, Air pollution exposure, Inverse distance weighting, Background pollution levels, Hidden Markov Models, 0105 earth and related environmental sciences

File Description: application/pdf

Access URL: https://hdl.handle.net/20.500.12412/5447
http://hdl.handle.net/10261/197393
https://hdl.handle.net/11441/138157
https://dblp.uni-trier.de/db/journals/urban/urban75.html#Gomez-LosadaSGP19
https://digital.csic.es/handle/10261/197393
https://repositorio-aberto.up.pt/bitstream/10216/123524/2/308304.pdf
https://www.sciencedirect.com/science/article/pii/S0198971518304447
https://repositorio-aberto.up.pt/handle/10216/123524
https://doi.org/10.1016/j.compenvurbsys.2018.12.005
https://hdl.handle.net/10216/123524
https://idus.us.es/handle//11441/138157
https://hdl.handle.net/2117/386407
https://doi.org/10.1016/j.compenvurbsys.2018.12.005

Algorithms for Contractibility of Compressed Curves on 3-Manifold Boundaries: Algorithms for contractibility of compressed curves on 3-manifold boundaries

Authors: Chambers, Erin Wolf Lazarus, Francis de Mesmay, Arnaud et al.

Contributors: Chambers, Erin Wolf Lazarus, Francis de Mesmay, Arnaud et al.

Source: Discrete & Computational Geometry. 70:323-354

Subject Terms: Fundamental group, presentations, free differential calculus, Computational Geometry (cs.CG), FOS: Computer and information sciences, 3-Manifolds, computational topology, surfaces, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG], low-dimensional topology, 01 natural sciences, Computational topology, Compressed curves, 3-manifolds, Surfaces, Discrete mathematics in relation to computer science, [INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG], [MATH.MATH-GT]Mathematics [math]/Geometric Topology [math.GT], compressed curves, Contractibility, Computer Science - Computational Geometry, contractibility, ddc:004, 0101 mathematics, [MATH.MATH-GT] Mathematics [math]/Geometric Topology [math.GT]

File Description: application/xml; application/pdf

Access URL: http://arxiv.org/abs/2012.02352
https://zbmath.org/7729236
https://doi.org/10.1007/s00454-022-00411-x
https://drops.dagstuhl.de/opus/volltexte/2021/13822/
https://cse.buffalo.edu/socg21/accepted.html#44
https://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-02352
https://doi.org/10.4230/LIPIcs.SoCG.2021.23
https://hal.archives-ouvertes.fr/hal-03432592
https://drops.dagstuhl.de/opus/volltexte/2021/13822/pdf/LIPIcs-SoCG-2021-23.pdf/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2021.23
https://hal.science/hal-03432592v1
https://doi.org/10.4230/lipics.socg.2021.23
https://hal.science/hal-03835041v1
https://doi.org/10.1007/s00454-022-00411-x

Applications of Category Theory to the Area of Algebraic Specification in Computer Science: Applications of category theory to the area of algebraic specification in computer science

Authors: Martin Große-Rhode Hartmut Ehrig Uwe Wolter

Source: Applied Categorical Structures. 6:1-35

Subject Terms: specification of abstract data types, Logic in computer science, Specification and verification (program logics, model checking, etc.), Discrete mathematics in relation to computer science, Functor categories, comma categories, Theories (e.g., algebraic theories), structure, and semantics, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, algebraic specifications, Abstract data types, algebraic specification, Categorical logic, topoi

File Description: application/xml

Access URL: https://zbmath.org/1138662
https://doi.org/10.1023/a:1008688122154
https://link.springer.com/content/pdf/10.1023/A:1008688122154.pdf
https://dblp.uni-trier.de/db/journals/acs/acs6.html#EhrigGW98
https://link.springer.com/article/10.1023/A%3A1008688122154

On the enumeration of some inequivalent monotone Boolean functions

Authors: Freixas Bosch, Josep Universitat Politècnica de Catalunya. Departament de Matemàtiques

Contributors: Freixas Bosch, Josep Universitat Politècnica de Catalunya. Departament de Matemàtiques

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: Classificació AMS::91 Game theory, economics, social and behavioral sciences::91B Mathematical economics, recurrence relations, Classificació AMS::65 Numerical analysis::65Q05 Difference and functional equations, recurrence relations, social and behavioral sciences::91B Mathematical economics, 0211 other engineering and technologies, Enumeration of Boolean functions, Enumeration of tripartite and quadripartite simple games, Simple games, 02 engineering and technology, Inequivalent monotone Boolean functions, Dedekind numbers, Algebra, Boolean, social and behavioral sciences::91A Game theory, 0502 economics and business, series, Jocs, Teoria de, Game theory, Classificació AMS::91 Game theory, economics, social and behavioral sciences::91A Game theory, Teoria de, 05 social sciences, Classificació AMS::91 Game theory, Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Teoria de jocs, economics, Jocs, Classificació AMS::65 Numerical analysis::65Q05 Difference and functional equations, Classificació AMS::68 Computer science::68R Discrete mathematics in relation to computer science, Algebra, Classificació AMS::40 Sequences, summability::40B05 Multiple sequences and series, Boolean, Àlgebra booleana, Classificació AMS::40 Sequences, series, summability::40B05 Multiple sequences and series

File Description: application/pdf

Access URL: https://hdl.handle.net/2117/382121
https://doi.org/10.1080/02331934.2022.2154126

On the algebraic immunity—resiliency trade-off, implications for Goldreich’s pseudorandom generator: On the algebraic immunity -- resiliency trade-off, implications for Goldreich's pseudorandom generator

Authors: Aurélien Dupin Pierrick Méaux Mélissa Rossi

Source: Designs, Codes and Cryptography. 91:3035-3079

Subject Terms: algebraic immunity, Cryptography, resiliency, General topics of discrete mathematics in relation to computer science, Boolean functions, local pseudorandom generator

File Description: application/xml

Access URL: https://zbmath.org/7735223
https://doi.org/10.1007/s10623-023-01220-w

Dynamic embeddings of dynamic single-source upward planar graphs

Authors: van der Hoog, Ivor Parada Muñoz, Irene María de Rotenberg, Eva et al.

Contributors: van der Hoog, Ivor Parada Muñoz, Irene María de Rotenberg, Eva et al.

Subject Terms: Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica discreta::Teoria de grafs, Àrees temàtiques de la UPC::Informàtica, Graph theory, Computer science--Mathematics, Computing Methodologies, Dynamic graphs, Data structures, Computational geometry, Graph drawing, Graph algorithms, Upward planarity, Grafs, Teoria de, Informàtica--Matemàtica, Informàtica, Classificació AMS::05 Combinatorics::05C Graph theory, Classificació AMS::68 Computer science::68R Discrete mathematics in relation to computer science, Classificació AMS::68 Computer science::68U Computing methodologies and applications

File Description: application/pdf

Relation: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2024.70; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-104129GB-I00/ES/TEORIA Y APLICACIONES DE CONFIGURACIONES DE PUNTOS Y REDES/; https://arxiv.org/abs/2209.14094; http://hdl.handle.net/2117/421904

Availability: http://hdl.handle.net/2117/421904
https://arxiv.org/abs/2209.14094
https://doi.org/10.4230/LIPIcs.ESA.2024.70

On the enumeration of bipartite simple games

Authors: Josep Freixas Dani Samaniego Universitat Politècnica de Catalunya. Departament de Matemàtiques et al.

Contributors: Josep Freixas Dani Samaniego Universitat Politècnica de Catalunya. Departament de Matemàtiques et al.

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: Classificació AMS::91 Game theory, economics, social and behavioral sciences::91B Mathematical economics, recurrence relations, Classificació AMS::65 Numerical analysis::65Q05 Difference and functional equations, recurrence relations, social and behavioral sciences::91B Mathematical economics, 0211 other engineering and technologies, Classification of bipartite simple games and bipartite Boolean functions, 02 engineering and technology, social and behavioral sciences::91A Game theory, Inequivalent monotonic Boolean functions, 0502 economics and business, 91 Game theory, economics, social and behavioral sciences::91B Mathematical economics [Classificació AMS], series, Enumeration of bipartite simple games and bipartite Boolean functions, Vot -- Models matemàtics, Voting -- Mathematical models, Jocs, Teoria de, 68 Computer science::68R Discrete mathematics in relation to computer science [Classificació AMS], Classificació AMS::91 Game theory, economics, social and behavioral sciences::91A Game theory, Game theory, 65 Numerical analysis::65Q05 Difference and functional equations, recurrence relations [Classificació AMS], Àrees temàtiques de la UPC::Matemàtiques i estadística, Teoria de, Dedekind numbers and simple games, 05 social sciences, Classificació AMS::91 Game theory, Matemàtiques i estadística [Àrees temàtiques de la UPC], economics, 91 Game theory, economics, social and behavioral sciences::91A Game theory [Classificació AMS], Jocs, Classificació AMS::65 Numerical analysis::65Q05 Difference and functional equations, Classificació AMS::68 Computer science::68R Discrete mathematics in relation to computer science, 40 Sequences, series, summability::40B05 Multiple sequences and series [Classificació AMS], Classificació AMS::40 Sequences, Enumeration of the bicameral meet and bicameral join voting systems, summability::40B05 Multiple sequences and series, Classificació AMS::40 Sequences, series, summability::40B05 Multiple sequences and series

File Description: application/pdf