Search all Releases


Can also lookup by identifier or search for containers (eg, journals).

Showing first 25 out of 22,047,139 results

Proportionally Fair Clustering Revisited

   bright archive
Evi Micha, Nisarg Shah, Emanuela Merelli, Anuj Dawar, Artur Czumaj
2020 | International Colloquium on Automata, Languages and Programming
doi:10.4230/lipics.icalp.2020.85   dblp:conf/icalp/Micha020  

Coupled constitutive relations: a second law based higher order closure for hydrodynamics

   bright archive
Anirudh Singh Rana, Vinay Kumar Gupta, Henning Struchtrup
2018 | Proceedings of the Royal Society A accepted version
doi:10.1098/rspa.2018.0323   pmcid:PMC6237507   arXiv:1805.08077v2   version:v2  

Descriptive Complexity on Non-Polish Spaces II

   bright archive
Mathieu Hoyrup, Emanuela Merelli, Anuj Dawar, Artur Czumaj
2020 | International Colloquium on Automata, Languages and Programming
doi:10.4230/lipics.icalp.2020.132   dblp:conf/icalp/Hoyrup20  

When Can Matrix Query Languages Discern Matrices?

   bright archive
Floris Geerts, Jean Christoph Jung, Carsten Lutz
2020 | International Conference on Database Theory
doi:10.4230/lipics.icdt.2020.12   dblp:conf/icdt/Geerts20  

Medians in Median Graphs and Their Cube Complexes in Linear Time

   bright archive
Laurine Bénéteau, Jérémie Chalopin, Victor Chepoi, Yann Vaxès, Emanuela Merelli, Artur Czumaj, Anuj Dawar
2020 | International Colloquium on Automata, Languages and Programming
doi:10.4230/lipics.icalp.2020.10   dblp:conf/icalp/BeneteauCCV20  

Incidences Between Points and Curves with Almost Two Degrees of Freedom

   bright archive
Micha Sharir, Oleg Zlydenko, Danny Z. Chen, Sergio Cabello
2020 | International Symposium on Computational Geometry
doi:10.4230/lipics.socg.2020.66   dblp:conf/compgeom/SharirZ20  

The Complexity of Promise SAT on Non-Boolean Domains

   bright archive
Alex Brandts, Marcin Wrochna, Stanislav Živný, Emanuela Merelli, Anuj Dawar, Artur Czumaj
2020 | International Colloquium on Automata, Languages and Programming
doi:10.4230/lipics.icalp.2020.17   dblp:conf/icalp/BrandtsWZ20  

Stackelberg Game Modeling of Pricing for Mobile Virtual Network Operators

   bright archive
Yali Wang, Bo Gu, Song Liu, Peng Liu, Xiao Zhong
2015 | EAI Endorsed Transactions on Future Intelligent Educational Environments
doi:10.4108/icst.mobimedia.2015.259090   dblp:journals/fiee/WangGLLZ15  

Impact on procurement and training by research on the interaction design of medical devices

   bright archive
Paul Lee, Laura Meagher, Paul Curzon
2015 | EAI Endorsed Transactions on Collaborative Computing
doi:10.4108/eai.14-10-2015.2261766   dblp:journals/eetcc/LeeMC16  

k-Approximate Quasiperiodicity under Hamming and Edit Distance

   bright archive
Aleksander Kędzierski, Jakub Radoszewski, Oren Weimann, Inge Li Gørtz
2020 | Annual Symposium on Combinatorial Pattern Matching
doi:10.4230/lipics.cpm.2020.18   dblp:conf/cpm/KedzierskiR20  

Block Statistics in Subcritical Graph Classes

   bright archive
Dimbinaina Ralaivaosaona, Clément Requilé, Stephan Wagner, Clemens Heuberger, Michael Drmota
2020 | International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms
doi:10.4230/lipics.aofa.2020.24   dblp:conf/aofa/RalaivaosaonaR020  

Euclidean Distance Measure for the Electrocardiogram Fiducial Points Detection in the Phase-Space Formed with the Derivative Rule

   bright archive
Matej Zajc, Emil Plesnik
2015 | EAI Endorsed Transactions on Future Intelligent Educational Environments
doi:10.4108/eai.14-10-2015.2261633   dblp:journals/fiee/ZajcP16  

Optimal topology of gene-regulatory networks: role of the average shortest path

   bright archive
Ahmed Abdelzaher, Thang Dinh, Michael Mayo, Preetam Ghosh
2016 | EAI Endorsed Transactions on Self-Adaptive Systems
doi:10.4108/eai.3-12-2015.2262473   dblp:journals/sas/AbdelzaherDMG16  

Front Matter, Table of Contents, Preface, Conference Organization

   bright archive
Ricardo Queirós, Filipe Portela, Mário Pinto, Alberto Simões, Alberto Simões, Ricardo Queirós, Filipe Portela, Mário Pinto
2020 | International Computer Programming Education Conference
doi:10.4230/oasics.icpec.2020.0   dblp:conf/icpec/X20  

A Gentzen-Style Monadic Translation of Gödel's System T

   bright archive
Chuangjie Xu, Zena M. Ariola
2020 | International Conference on Formal Structures for Computation and Deduction
doi:10.4230/lipics.fscd.2020.25   dblp:conf/fscd/Xu20  

Improved Bounds for Matching in Random-Order Streams

   bright archive
Aaron Bernstein, Emanuela Merelli, Anuj Dawar, Artur Czumaj
2020 | International Colloquium on Automata, Languages and Programming
doi:10.4230/lipics.icalp.2020.12   dblp:conf/icalp/Bernstein20  

Polytopes, Lattices, and Spherical Codes for the Nearest Neighbor Problem

   bright archive
Thijs Laarhoven, Emanuela Merelli, Anuj Dawar, Artur Czumaj
2020 | International Colloquium on Automata, Languages and Programming
doi:10.4230/lipics.icalp.2020.76   dblp:conf/icalp/Laarhoven20  

On Implementing Straight Skeletons: Challenges and Experiences

   bright archive
Günther Eder, Martin Held, Peter Palfrader, Danny Z. Chen, Sergio Cabello
2020 | International Symposium on Computational Geometry
doi:10.4230/lipics.socg.2020.38   dblp:conf/compgeom/EderHP20  

Grundy Coloring & Friends, Half-Graphs, Bicliques

   bright archive
Pierre Aboulker, Édouard Bonnet, Eun Jung Kim, Florian Sikora, Markus Bläser, Christophe Paul
2020 | Symposium on Theoretical Aspects of Computer Science
doi:10.4230/lipics.stacs.2020.58   dblp:conf/stacs/AboulkerB0S20  

Detecting Performance Change in Enterprise Application Versions Using Resource Profiles

   bright archive
Andreas Brunnert, Helmut Krcmar
2015 | EAI Endorsed Transactions on Self-Adaptive Systems
doi:10.4108/icst.valuetools.2014.258184   dblp:journals/sas/BrunnertK15  

A delay-aware scheduling algorithm for enhancing video services QoS in LTE system

   bright archive
Peng Yang, Junjie Yan, Dapeng Wu, Na Shu
2015 | EAI Endorsed Transactions on Future Intelligent Educational Environments
doi:10.4108/icst.mobimedia.2015.259104   dblp:journals/fiee/YangYWS15  

Analysis of the Energy-Performance Tradeoff for Delayed Mobile Offloading

   bright archive
Huaming Wu, Katinka Wolter
2016 | EAI Endorsed Transactions on Energy Web
doi:10.4108/eai.14-12-2015.2262654   dblp:journals/ew/WuW16  

Efficient Full Higher-Order Unification

   bright archive
Petar Vukmirović, Alexander Bentkamp, Visa Nummelin, Zena M. Ariola
2020 | International Conference on Formal Structures for Computation and Deduction
doi:10.4230/lipics.fscd.2020.5   dblp:conf/fscd/VukmirovicBN20  

Metric Learning for Individual Fairness

   bright archive
Christina Ilvento, Aaron Roth
2020 | Symposium on Foundations of Responsible Computing
doi:10.4230/lipics.forc.2020.2   dblp:conf/forc/Ilvento20  

XR for XR – Context Craft: An extended reality platform that transforms local environments through play

   bright archive
Carl H. Smith, Jay F. Cousins
2019 | Electronic Visualisation and the Arts London Conference
doi:10.14236/ewic/eva2019.41   dblp:conf/eva/SmithC19  
« Previous   Showing results 0 — 25 out of 22,047,139 results   Next »