×

Found 145 Documents (Results 1–100)

Scientific computing in electrical engineering. SCEE 2022, Amsterdam, The Netherlands, July 11–14, 2022. Proceedings of the 14th international conference. (English) Zbl 07819854

Mathematics in Industry 43. The European Consortium for Mathematics in Industry. Cham: Springer (ISBN 978-3-031-54516-0/hbk; 978-3-031-54519-1/pbk; 978-3-031-54517-7/ebook). xv, 230 p. (2024).
MSC:  65-06 78-06 00B25
PDFBibTeX XMLCite
Full Text: DOI

Model predictive control: a survey of dynamic energy management. (English) Zbl 07770845

Gusikhin, Oleg (ed.) et al., ICINCO 2021. Proceedings of the 18th international conference on informatics in control, automation and robotics, virtual, July 6–8, 2021. Setúbal: SCITEPRESS – Science and Technology Publications. 123-129 (2021).
MSC:  93B45
PDFBibTeX XMLCite
Full Text: DOI

Contention resolution, matrix scaling and fair allocation. (English) Zbl 07603896

Koenemann, Jochen (ed.) et al., Approximation and online algorithms. 19th international workshop, WAOA 2021, Lisbon, Portugal, September 6–10, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12982, 252-274 (2021).
MSC:  68W25 68W27
PDFBibTeX XMLCite
Full Text: DOI

Connectedness of markets with heterogeneous agents and the information cascades. (English) Zbl 1470.91313

Laha, Arnab Kumar (ed.), Applied advanced analytics. Selected papers based on the presentations of the sixth IIMA international conference on advanced data analysis, business analytics and intelligence, Indian Institute of Management Ahmedabad (IIMA), Ahmedabad, India, April 6–7, 2019. Singapore: Springer. Springer Proc. Bus. Econ., 219-234 (2021).
MSC:  91G45
PDFBibTeX XMLCite
Full Text: DOI

On satisficing in quantitative games. (English) Zbl 1467.68161

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 20-37 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. (English) Zbl 07120154

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 185-196 (2019).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automata vs linear-programming discounted-sum inclusion. (English) Zbl 1511.68138

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part II. Cham: Springer Open. Lect. Notes Comput. Sci. 10982, 99-116 (2018).
MSC:  68Q45 68Q25 90C05
PDFBibTeX XMLCite
Full Text: DOI

Packing sporadic real-time tasks on identical multiprocessor systems. (English) Zbl 07561425

Hsu, Wen-Lian (ed.) et al., 29th international symposium on algorithms and computation, ISAAC 2018, December 16–19, 2018, Jiaoxi, Yilan, Taiwan. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 123, Article 71, 14 p. (2018).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Comparator automata in quantitative verification. (English) Zbl 1504.68126

Baier, Christel (ed.) et al., 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. Cham: Springer. Lect. Notes Comput. Sci. 10803, 420-437 (2018).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

A new decision procedure for finite sets and cardinality constraints in SMT. (English) Zbl 1475.68430

Olivetti, Nicola (ed.) et al., Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9706, 82-98 (2016).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Deciding local theory extensions via E-matching. (English) Zbl 1381.68280

Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-21667-6/pbk; 978-3-319-21668-3/ebook). Lecture Notes in Computer Science 9207, 87-105 (2015).
MSC:  68T20 68T15
PDFBibTeX XMLCite
Full Text: DOI arXiv

A 2-competitive algorithm for online convex optimization with switching costs. (English) Zbl 1375.68222

Garg, Naveen (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. Proceedings of the 18th international workshop on approximation algorithms for combinatorial optimization problems (APPROX 2015) and the 19th international workshop on randomization and computation (RANDOM 2015), Princeton, NJ, USA, August 24–26, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-89-7). LIPIcs – Leibniz International Proceedings in Informatics 40, 96-109 (2015).
MSC:  68W27 68M20 90C25
PDFBibTeX XMLCite
Full Text: DOI

Minimizing maximum flow-time on related machines. (English) Zbl 1375.90116

Garg, Naveen (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. Proceedings of the 18th international workshop on approximation algorithms for combinatorial optimization problems (APPROX 2015) and the 19th international workshop on randomization and computation (RANDOM 2015), Princeton, NJ, USA, August 24–26, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-89-7). LIPIcs – Leibniz International Proceedings in Informatics 40, 85-95 (2015).
MSC:  90B35 68W25 68W27
PDFBibTeX XMLCite
Full Text: DOI

Sponge based CCA2 secure asymmetric encryption for arbitrary length message. (English) Zbl 1358.94058

Foo, Ernest (ed.) et al., Information security and privacy. 20th Australasian conference, ACISP 2015, Brisbane, QLD, Australia, June 29 – July 1, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19961-0/pbk; 978-3-319-19962-7/ebook). Lecture Notes in Computer Science 9144, 93-106 (2015).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Better algorithms and hardness for broadcast scheduling via a discrepancy approach. (English) Zbl 1422.68288

Chekuri, Chandra (ed.), Proceedings of the 25th annual ACM-SIAM symposium on discrete algorithms, SODA 2014, Portland, OR, USA, January 5–7, 2014. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 55-71 (2014).
MSC:  68W25 68Q17 90B35
PDFBibTeX XMLCite
Full Text: DOI Link

Approximating real-time scheduling on identical machines. (English) Zbl 1407.68071

Pardo, Alberto (ed.) et al., LATIN 2014: theoretical informatics. 11th Latin American symposium, Montevideo, Uruguay, March 31 – April 4, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8392, 550-561 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Multicast routing for energy minimization using speed scaling. (English) Zbl 1383.68009

Even, Guy (ed.) et al., Design and analysis of algorithms. First Mediterranean conference on algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3–5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-34861-7/pbk). Lecture Notes in Computer Science 7659, 37-51 (2012).
PDFBibTeX XMLCite
Full Text: DOI

A deviation based outlier intrusion detection system. (English) Zbl 1207.68061

Meghanathan, Natarajan (ed.) et al., Recent trends in network security and applications. Third international conference, CNSA 2010, Chennai, India, July 23–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14477-6/pbk; 978-3-642-14478-3/ebook). Communications in Computer and Information Science 89, 395-401 (2010).
MSC:  68M10 68T05 68M11
PDFBibTeX XMLCite
Full Text: DOI

Weighted flow time does not admit \(O(1)\)-competitive algorithms. (English) Zbl 1422.90017

Mathieu, Claire (ed.), Proceedings of the 20th annual ACM-SIAM symposium on discrete algorithms, SODA 2009, New York, NY, USA, January 4–6, 2009. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1238-1244 (2009).
MSC:  90B35 68W27 68W40
PDFBibTeX XMLCite
Full Text: Link

Speed scaling with an arbitrary power function. (English) Zbl 1422.68017

Mathieu, Claire (ed.), Proceedings of the 20th annual ACM-SIAM symposium on discrete algorithms, SODA 2009, New York, NY, USA, January 4–6, 2009. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 693-701 (2009).
MSC:  68M20
PDFBibTeX XMLCite
Full Text: Link

A structural lemma in 2-dimensional packing, and its implications on approximability. (English) Zbl 1272.52018

Dong, Yingfei (ed.) et al., Algorithms and computation. 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16–18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10630-9/pbk). Lecture Notes in Computer Science 5878, 77-86 (2009).
MSC:  52B55 68W25
PDFBibTeX XMLCite
Full Text: DOI

Improved bounds for speed scaling in devices obeying the cube-root rule. (English) Zbl 1248.68107

Albers, Susanne (ed.) et al., Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5–12, 2009. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-02926-4/pbk). Lecture Notes in Computer Science 5555, 144-155 (2009).
MSC:  68M20 68Q17 68Q25
PDFBibTeX XMLCite
Full Text: DOI Link

Scheduling for speed bounded processors. (English) Zbl 1153.68334

Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part I. Berlin: Springer (ISBN 978-3-540-70574-1/pbk). Lecture Notes in Computer Science 5125, 409-420 (2008).
MSC:  68M20
PDFBibTeX XMLCite
Full Text: DOI

Speed scaling with a solar cell. (English) Zbl 1143.90332

Fleischer, Rudolf (ed.) et al., Algorithmic aspects in information and management. 4th international conference, AAIM 2008, Shanghai, China, June 23–25, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68865-5/pbk). Lecture Notes in Computer Science 5034, 15-26 (2008).
MSC:  90B35 90C25
PDFBibTeX XMLCite
Full Text: DOI

Average rate speed scaling. (English) Zbl 1136.68348

Laber, Eduardo Sany (ed.) et al., LATIN 2008: Theoretical informatics. 8th Latin American symposium, Búzios, Brazil, April 7–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78772-3/pbk). Lecture Notes in Computer Science 4957, 240-251 (2008).
MSC:  68M20
PDFBibTeX XMLCite
Full Text: DOI

Harmonic algorithm for \(3\)-dimensional strip packing problem. (English) Zbl 1302.90165

Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms, SODA 2007, New Orleans, LA, USA, January 7–9, 2007. New York, NY: Association for Computing Machinery (ACM); Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-0-89871-624-5). 1197-1206 (2007).
MSC:  90C27 68W25
PDFBibTeX XMLCite

Speed scaling for weighted flow time. (English) Zbl 1302.68036

Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms, SODA 2007, New Orleans, LA, USA, January 7–9, 2007. New York, NY: Association for Computing Machinery (ACM); Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-0-89871-624-5). 805-813 (2007).
MSC:  68M20 68W27
PDFBibTeX XMLCite

Dynamic pricing for impatient bidders. (English) Zbl 1303.91077

Proceedings of the eighteenth annual ACM-SIAM symposium on discrete algorithms, SODA 2007, New Orleans, LA, USA, January 7–9, 2007. New York, NY: Association for Computing Machinery (ACM); Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-0-89871-624-5). 726-735 (2007).
MSC:  91B24 68W27 91B26
PDFBibTeX XMLCite

Robust reductions from ranking to classification. (English) Zbl 1203.68135

Bshouty, Nader H. (ed.) et al., Learning theory. 20th annual conference on learning theory, COLT 2007, San Diego, CA, USA, June 13–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72925-9). Lecture Notes in Computer Science 4539. Lecture Notes in Artificial Intelligence, 604-619 (2007).
MSC:  68T05 62H30
PDFBibTeX XMLCite
Full Text: DOI

Competitive algorithms for due date scheduling. (English) Zbl 1171.90390

Arge, Lars (ed.) et al., Automata, languages and programming. 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9–13, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73419-2/pbk). Lecture Notes in Computer Science 4596, 28-39 (2007).
MSC:  90B35 68W40
PDFBibTeX XMLCite
Full Text: DOI

A quasi-PTAS for unsplittable flow on line graphs. (English) Zbl 1301.68264

Kleinberg, Jon M. (ed.), Proceedings of the 38th annual ACM symposium on theory of computing, STOC 2006. Seattle, WA, USA, May 21–23, 2006. New York, NY: ACM Press (ISBN 1-59593-134-1). 721-729 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Improved approximation algorithms for broadcast scheduling. (English) Zbl 1192.90061

Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, Miami, FL, January 22–24, 2006. New York, NY: Association for Computing Machinery (ACM); Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 0-89871-605-5). 344-353 (2006).
MSC:  90B35 68W25
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software