Výsledky vyhledávání - theory of computation theory and algorithms for applications domains

Dynamic Debt Swapping in Financial Networks

Autoři: Froese, Henri Hoefer, Martin Wilhelmi, Lisa a další

Přispěvatelé: Froese, Henri Hoefer, Martin Wilhelmi, Lisa a další

Zdroj: Saarbrücken/Wadern, : Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 330, 2:[1]-2:16 (2025). doi:10.4230/LIPICS.SAND.2025.2
4th Symposium on Algorithmic Foundations of Dynamic Networks : SAND 2025, June 9–11, 2025, Liverpool, GB / Edited by Kitty Meeks, Christian Scheideler
4th Symposium on Algorithmic Foundations of Dynamic Networks : SAND 2025, June 9–11, 2025, Liverpool, GB / Edited by Kitty Meeks, Christian Scheideler4. Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2025, Liverpool, UK, 2025-06-09-2025-06-11

Témata: Financial Networks, Debt Swap, Local Search, ddc:004, Networks → Network algorithms, Theory of computation → Theory and algorithms for application domains

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2025.2
https://publications.rwth-aachen.de/record/1018317

Theory and Algorithms on the Median Graph. Application to Graph-based Classification and Clustering

Autoři: Ferrer Sumsi, Miquel

Přispěvatelé: University/Department: Universitat Autònoma de Barcelona. Departament de Ciències de la Computació

Thesis Advisors: Valveny Llobet, Ernest, Serratosa i Casanelles, Francesc

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: Structural Pattern Recognition, Graph Matching, Median Graph, Tecnologies

Time: 519.1

Popis souboru: application/pdf

Přístupová URL adresa: http://www.tdx.cat/TDX-0212109-100250
http://hdl.handle.net/10803/5788

Formal Methods

Přispěvatelé: Platzer, Andre Rozier, Kristin Yvonne Pradella, Matteo a další

Témata: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/93255

Geometrical Optimal Navigation and Path Planning—Bridging Theory, Algorithms, and Applications.

Autoři: Jafarpourdavatgar, Hedieh Saeedinia, Samaneh Alsadat Mohaghegh, Mahsa

Zdroj: Sensors (14248220); Nov2025, Vol. 25 Issue 22, p6874, 32p

Témata: ROBOTIC path planning, TRAJECTORY optimization, AUTONOMOUS robots, MACHINE learning, ROBUST control, MATHEMATICAL optimization

A Sweep-plane Algorithm for Calculating the Isolation of Mountains

Autoři: Funke, Daniel Hüning, Nicolai Sanders, Peter a další

Přispěvatelé: Funke, Daniel Hüning, Nicolai Sanders, Peter a další

Témata: Computational Geometry (cs.CG), FOS: Computer and information sciences, sweepline algorithms, 4. Education, Theory of computation → Theory and algorithms for application domains, 15. Life on land, Geo-information systems, 13. Climate action, Computer Science - Data Structures and Algorithms, computational geometry, Computer Science - Computational Geometry, Data Structures and Algorithms (cs.DS), 14. Life underwater, ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2305.08470
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2023.51

Support Vector Machines: Theory, Algorithms, and Applications.

Autoři: Jabardi, Mohammed

Zdroj: Infocommunications Journal; Mar2025, Vol. 17 Issue 1, p66-75, 10p

Témata: SUPPORT vector machines, KERNEL functions, MACHINE theory, MACHINE learning, IMAGE processing

Model Uncertainties in Inverse Problems: Theory, Algorithms, and Applications in Computational Imaging

Autoři: Ni, Yuan

Témata: Applied mathematics

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/9z79697m
https://escholarship.org/content/qt9z79697m/qt9z79697m.pdf

Competitive Search in the Line and the Star with Predictions

Autoři: Angelopoulos, Spyros Spyros Angelopoulos

Přispěvatelé: Angelopoulos, Spyros Spyros Angelopoulos

Témata: consistency and robustness, Search problems, Computer Science - Data Structures and Algorithms, competitive ratio, line and star search, Theory of computation → Theory and algorithms for application domains, [INFO] Computer Science [cs], ddc:004, predictions, Theory of computation → Online algorithms

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2312.17539
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.12
https://hal.science/hal-04248709v1
https://doi.org/10.4230/lipics.mfcs.2023.12
https://hal.science/hal-04248709v1/document

Distributed edge artificial intelligence empowered data trading: Theories, algorithms, and applications.

Autoři: Mi, Bing Chen, Kongyang

Zdroj: Computer Science Review. Feb2026, Vol. 59, pN.PAG-N.PAG. 1p.

Leximax Approximations and Representative Cohort Selection

Autoři: Henzinger, Monika Peale, Charlotte Reingold, Omer a další

Přispěvatelé: Henzinger, Monika Peale, Charlotte Reingold, Omer a další

Témata: FOS: Computer and information sciences, cohort selection, 4. Education, leximin, fairness, 0102 computer and information sciences, 02 engineering and technology, Theory of computation → Theory and algorithms for application domains, 01 natural sciences, 3. Good health, 102031 Theoretische Informatik, maxmin, Computer Science - Computers and Society, 102031 Theoretical computer science, Computer Science - Data Structures and Algorithms, Computers and Society (cs.CY), 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), ddc:004, 10. No inequality

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2205.01157
https://ucrisportal.univie.ac.at/de/publications/571d7784-a94f-441f-86d2-e27afec0a0d7
https://doi.org/10.4230/LIPIcs.FORC.2022.2
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FORC.2022.2

Playing Guess Who with Your Kids

Autoři: Paz, Ami Peterfreund, Liat Ami Paz and Liat Peterfreund

Přispěvatelé: Paz, Ami Peterfreund, Liat Ami Paz and Liat Peterfreund

Témata: Theory of computation → Sorting and searching, Binary Search, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Erasure Codes, Theory of computation → Representations of games and their complexity, Theory of computation → Theory and algorithms for application domains, [INFO] Computer Science [cs], ddc:004, Error Correcting Codes, Guess Who?

Popis souboru: application/pdf

Přístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2022.23
https://hal.science/hal-04288778v1
https://doi.org/10.4230/lipics.fun.2022.23
https://hal.science/hal-04288778v1/document

On Fairness and Stability in Two-Sided Matchings

Autoři: Karni, Gili Rothblum, Guy N. Yona, Gal a další

Přispěvatelé: Karni, Gili Rothblum, Guy N. Yona, Gal a další

Témata: FOS: Computer and information sciences, 02 engineering and technology, Theory of computation → Theory and algorithms for application domains, algorithmic fairness, 01 natural sciences, 3. Good health, Computer Science - Computers and Society, Computer Science - Computer Science and Game Theory, Computer Science - Data Structures and Algorithms, Computers and Society (cs.CY), 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), ddc:004, 0101 mathematics, Computer Science and Game Theory (cs.GT)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2111.10885
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2022.92

Conjunctive queries with inequalities under updates

Autoři: Idris, Muhammad Ugarte, Martín Vansummeren, Stijn a další

Zdroj: Proceedings of the VLDB Endowment. 11:733-745

Témata: ddc:004, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Theory of computation, Theory and algorithms for application domains, Database theory, Database query processing and optimization (theory), 01 natural sciences, Rechentheorie, Theorie und Algorithmen für Anwendungsbereiche, Datenbanktheorie, Verarbeitung und Optimierung von Datenbankabfragen (Theorie)

Přístupová URL adresa: https://tud.qucosa.de/api/qucosa%3A33726/attachment/ATT-0/
http://www.vldb.org/pvldb/vol11/p733-idris.pdf
https://dl.acm.org/doi/10.14778/3192965.3192966
https://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/279063/Details
http://dblp.uni-trier.de/db/journals/pvldb/pvldb11.html#IdrisUVVL18
https://dblp.uni-trier.de/db/journals/pvldb/pvldb11.html#IdrisUVVL18
https://tud.qucosa.de/id/qucosa:79472
https://tud.qucosa.de/api/qucosa:79472/attachment/ATT-0/

Terrain prickliness: theoretical grounds for high complexity viewsheds

Autoři: Acharyya, Ankush Jallu, Ramesh Löffler, Maarten a další

Přispěvatelé: Acharyya, Ankush Jallu, Ramesh Löffler, Maarten a další

Zdroj: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
11th International Conference on Geographic Information Science (GIScience 2021)-Part II

Témata: Viewshed complexity, Classificació AMS::68 Computer science::68U Computing methodologies and applications, Matemàtiques i estadística::Matemàtica aplicada a les ciències [Àrees temàtiques de la UPC], Theory of computation → Theory and algorithms for application domains, Computing methodologies, Triangulated irregular network, Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, Informàtica, Polyhedral Terrain, Visibility, Digital elevation model, 68 Computer science::68U Computing methodologies and applications [Classificació AMS], ddc:004

Popis souboru: application/pdf

Přístupová URL adresa: https://research-portal.uu.nl/en/publications/6825fa18-3046-4233-b1bf-1100959069a0
https://doi.org/10.4230/LIPIcs.GIScience.2021.II.10
https://dblp.uni-trier.de/db/journals/corr/corr2103.html#abs-2103-06696
https://drops.dagstuhl.de/opus/volltexte/2021/14769/pdf/LIPIcs-GIScience-2021-II-10.pdf/
https://drops.dagstuhl.de/opus/volltexte/2021/14769/
https://dblp.uni-trier.de/db/conf/giscience/giscience2021-2.html#AcharyyaJLMSSS21
https://arxiv.org/abs/2103.06696
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GIScience.2021.II.10
http://hdl.handle.net/11104/0324652
https://dspace.library.uu.nl/handle/1874/423338

Algorithmic Foundations for Social Advancement

Přispěvatelé: Minato, Shin-ichi Uno, Takeaki Yasuda, Norihito a další

Témata: Algorithm, Enumeration, Satisfiability, Algorithmic Solution, Mathematical theory of computation, Algorithms and data structures

Popis souboru: application/pdf

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/99917

Polynomial Optimization for Nonlinear Dynamics: Theory, Algorithms and Applications.

Zdroj: Oberwolfach Reports; 2024, Vol. 21 Issue 3, p1975-2031, 57p

Témata: NONLINEAR control theory, NONLINEAR dynamical systems, PARTIAL differential equations, ORDINARY differential equations, ALGEBRAIC geometry

Reaction-diffusion systems on evolving domains with applications to the theory of biological pattern formation

Autoři: Venkataraman, Chandrasekhar

Témata: 519, QA Mathematics, QL0614 Fishes, QL0750 Animal behaviour

Přístupová URL adresa: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.554780

Algorithms for Big Data

Přispěvatelé: Bast, Hannah Korzen, Claudius Meyer, Ulrich a další

Témata: computer hardware, computer networks, computer programming, computer science, computer systems, directed graphs, distributed computer systems, distributed systems, engineering, graph theory, graphic methods, internet, mathematics, microprocessor chips, network protocols, parallel processing systems, processors, signal processing, telecommunication systems, theoretical computer science, Network hardware, Algorithms and data structures, Mathematical theory of computation

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science

Přístupová URL adresa: https://library.oapen.org/handle/20.500.12657/61296

Model-based integration of past & future in TimeTravel

Autoři: Khalefa, Mohamed E. Fischer, Ulrike Pedersen, Torben Bach a další

Zdroj: Khalefa, M E, Fischer, U, Pedersen, T B & Lehner, W 2012, 'Model-based Integration of Past & Future in TimeTravel', Proceedings of the VLDB Endowment, bind 5, nr. 12, s. 1974-1977. < http://vldb.org/pvldb/vol5/p1974_mohamedekhalefa_vldb2012.pdf >

Témata: ddc:004, Theorie des Datenrechnens, Theorie und Algorithmen für Anwendungsdomänen, Datenbanktheorie, Datenbankabfrageverarbeitung und -optimierung (Theorie), 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Theory of computation, Theory and algorithms for application domains, Database theory, Database query processing and optimization (theory)

Přístupová URL adresa: http://vldb.org/pvldb/vol5/p1974_mohamedekhalefa_vldb2012.pdf
https://vbn.aau.dk/da/publications/6db969b9-6da2-4aa2-8e97-a9c056fc6d10
http://www.scopus.com/inward/record.url?scp=84872912230&partnerID=8YFLogxK
https://vbn.aau.dk/en/publications/modelbased-integration-of-past--future-in-timetravel(6db969b9-6da2-4aa2-8e97-a9c056fc6d10).html
https://vbn.aau.dk/en/publications/model-based-integration-of-past-amp-future-in-timetravel
https://dblp.uni-trier.de/db/journals/pvldb/pvldb5.html#KhalefaFPL12
https://vldb.org/pvldb/vol5/p1974_mohamedekhalefa_vldb2012.pdf
http://dblp.uni-trier.de/db/journals/pvldb/pvldb5.html#KhalefaFPL12
https://dl.acm.org/doi/10.14778/2367502.2367551
https://tud.qucosa.de/id/qucosa:81154
https://tud.qucosa.de/api/qucosa:81154/attachment/ATT-0/

Application of Artificial Intelligence Technologies in Livestock Management.

Alternate Title: Hayvancılıkta Yapay Zekâ Teknolojilerinin Uygulanması.

Autoři: DİLAVER, Hatice DİLAVER, Kamil Fatih

Zdroj: Journal of Animal Science & Economics. Jul2025, Vol. 4 Issue 2, p64-74. 11p.

Témata: Natural language processing, Artificial neural networks, Supervised learning, Artificial intelligence, Agriculture