×

Found 245 Documents (Results 1–100)

Ner4Opt: named entity recognition for optimization modelling from natural language. (English) Zbl 07745668

Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 299-319 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
Full Text: DOI

Quantifying uncertainty for deep learning based forecasting and flow-reconstruction using neural architecture search ensembles. arXiv:2302.09748

Preprint, arXiv:2302.09748 [cs.LG] (2023).
BibTeX Cite
Full Text: arXiv

Generalizing the Wythoff Array and other Fibonacci Facts to Tribonacci Numbers. arXiv:2211.01410

Preprint, arXiv:2211.01410 [math.NT] (2022).
MSC:  11K31 11B39
BibTeX Cite
Full Text: arXiv

Optimal adaptive control of partially uncertain linear continuous-time systems with state delay. (English) Zbl 1500.49019

Vamvoudakis, Kyriakos G. (ed.) et al., Handbook of reinforcement learning and control. Cham: Springer. Stud. Syst. Decis. Control 325, 243-272 (2021).
MSC:  49N05 49N35 68T05
PDFBibTeX XMLCite
Full Text: DOI

Data flow analysis of asynchronous systems using infinite abstract domains. (English) Zbl 1473.68110

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. Cham: Springer. Lect. Notes Comput. Sci. 12648, 30-58 (2021).
MSC:  68Q85 68M14 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Checking observational purity of procedures. (English) Zbl 1524.68053

Hähnle, Reiner (ed.) et al., Fundamental approaches to software engineering. 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11424, 228-243 (2019).
MSC:  68N15 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

A relationship between Gelfand-Tsetlin bases and Chari-Loktev bases for irreducible finite dimensional representations of special linear Lie algebras. (English) Zbl 1472.17036

Dani, Shrikrishna G. (ed.) et al., Contributions in algebra and algebraic geometry. International conference on algebra, discrete mathematics and applications, Dr. Babasaheb Ambedkar Marathwada University, Aurangabad, Maharashtra, India, December 9–11, 2017. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 738, 125-134 (2019).
MSC:  17B10 05E10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Selection problems in the presence of implicit bias. (English) Zbl 1466.91089

Karlin, Anna R. (ed.), 9th innovations in theoretical computer science conference, ITCS 2018, Cambridge, MA, USA, January 11–14, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 94, Article 33, 17 p. (2018).
MSC:  91B06
PDFBibTeX XMLCite
Full Text: DOI arXiv

Inherent trade-offs in the fair determination of risk scores. (English) Zbl 1402.68156

Papadimitriou, Christos H. (ed.), 8th innovations in theoretical computer science conference, ITCS 2017, Berkeley, CA, USA, January 9–11, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-029-3). LIPIcs – Leibniz International Proceedings in Informatics 67, Article 43, 23 p. (2017).
MSC:  68T05 62H30 68P15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Pictures and Chomsky languages in array P system. (English) Zbl 1473.68090

Rozenberg, Grzegorz (ed.) et al., Membrane computing. 16th international conference, CMC 2015, Valencia, Spain, August 17–21, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9504, 277-289 (2015).
MSC:  68Q07 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Recent developments in algebraic and combinatorial aspects of representation theory. International congress of the mathematicians satellite conference on algebraic and combinatorial approaches to representation theory, National Institute of Advanced Studies, Bangalore, India, August 12–16, 2010, and the follow-up conference, University of California, Riverside, CA, USA, May 18–20, 2012. (English) Zbl 1279.17001

Contemporary Mathematics 602. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-9037-0/pbk). vii, 210 p. (2013).
PDFBibTeX XMLCite
Full Text: DOI

Markov layout. (English) Zbl 1292.68164

Ostrovsky, Rafail (ed.), Proceedings of the 2011 IEEE 52nd annual symposium on foundations of computer science – FOCS 2011, Palm Springs, CA, USA, October 22–25. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4571-4; 978-1-4577-1843-4/ebook). 492-501 (2011).
MSC:  68W25 68Q17 90B30
PDFBibTeX XMLCite
Full Text: DOI

Models for the compressible web. (English) Zbl 1292.05238

2009 IEEE 50th annual symposium on foundations of computer science – FOCS 2009. Proceedings of the symposium, Atlanta, GA, USA, October 24–27, 2009. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-3850-1; 978-1-4244-5116-6/ebook). 331-340 (2009).
MSC:  05C82 68M11 05C80
PDFBibTeX XMLCite
Full Text: DOI

Standard monomial theory. Invariant theoretic approach. (English) Zbl 1137.14036

Encyclopaedia of Mathematical Sciences 137. Invariant Theory and Algebraic Transformation Groups 8. Berlin: Springer (ISBN 978-3-540-76756-5/hbk). xiv, 265 p. (2008).
PDFBibTeX XMLCite

An infinite hierarchy for some variants of P systems. (English) Zbl 1133.68031

Krithivasan, Kamala (ed.) et al., Formal language aspects of natural computing. Proceedings of research level group discussion meeting on natural computing held at Indian Institute of Technology Madras, Chennai, India, November 21–27, 2005. Mysore: Ramanujan Mathematical Society (ISBN 978-81-902545-3-3/pbk). Ramanujan Mathematical Society Lecture Notes Series 3, 179-185 (2007).
MSC:  68Q42
PDFBibTeX XMLCite

Formal language aspects of natural computing. Proceedings of research level group discussion meeting on natural computing held at Indian Institute of Technology Madras, Chennai, India, November 21–27, 2005. (English) Zbl 1114.68009

Ramanujan Mathematical Society Lecture Notes Series 3. Mysore: Ramanujan Mathematical Society (ISBN 978-81-902545-3-3/pbk). iv, 225 p. (2007).
MSC:  68-06 00B25 68Q45 68Q10 68Q05
PDFBibTeX XMLCite

Picture invariants and the isomorphism problem for complex semisimple Lie algebras. (English) Zbl 1191.17003

Ghorpade, Sudhir (ed.) et al., Commutative algebra and algebraic geometry. Joint international meeting of the American Mathematical Society and the Indian Mathematical Society, Bangalore, India, December 17–20, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3629-3/pbk). Contemporary Mathematics 390, 127-136 (2005).
MSC:  17B20 13A50 57M27
PDFBibTeX XMLCite
Full Text: arXiv

Append-only signatures. (English) Zbl 1082.94541

Caires, Luís (ed.) et al., Automata, languages and programming. 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11–15, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27580-0/pbk). Lecture Notes in Computer Science 3580, 434-445 (2005).
MSC:  94A62
PDFBibTeX XMLCite
Full Text: DOI

Multi-pass mapping schemes for parallel sparse matrix computations. (English) Zbl 1129.65313

Sunderam, Vaidy S. (ed.) et al., Computational science – ICCS 2005. 5th international conference, Atlanta, GA, USA, May 22–25, 2005. Proceedings, Part I. Berlin: Springer (ISBN 3-540-26032-3/pbk). Lecture Notes in Computer Science 3514, 245-255 (2005).
MSC:  65F50 65Y05
PDFBibTeX XMLCite
Full Text: DOI

Dependent types for program understanding. (English) Zbl 1087.68544

Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 157-173 (2005).
MSC:  68N30
PDFBibTeX XMLCite
Full Text: DOI

User relevancy improvisation protocol. (English) Zbl 1205.68076

Das, Samir R. (ed.) et al., Distributed computing – IWDC 2003. 5th international workshop, Kolkata, India, December 27–30, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20745-7/pbk). Lect. Notes Comput. Sci. 2918, 91-101 (2003).
MSC:  68M11 68M12
PDFBibTeX XMLCite
Full Text: DOI

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