×

Found 847 Documents (Results 1–100)

Towards a taxonomy for reversible computation approaches. (English) Zbl 07786593

Kutrib, Martin (ed.) et al., Reversible computation. 15th international conference, RC 2023, Giessen, Germany, July 18–19, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13960, 24-39 (2023).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 24th symposium on algorithm engineering and experiments, ALENEX ’22, Alexandria Old Town, VA, USA and online, January 9–10, 2022. (English) Zbl 1492.68029

Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-704-2/ebook). iii, 220 p., electronic only (2022).
MSC:  68-06 68Wxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Finding an approximate mode of a kernel density estimate. (English) Zbl 07740916

Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 61, 19 p. (2021).
MSC:  68Wxx
PDFBibTeX XMLCite
Full Text: DOI

An analysis of multiple contaminant warning system design objectives for sensor placement optimization in water distribution networks. (English) Zbl 1500.90020

Holder, Allen (ed.), Harvey J. Greenberg. A legacy bridging operations research and computing. Cham: Springer. Int. Ser. Oper. Res. Manag. Sci. 295, 125-145 (2021).
MSC:  90B80 90C11
PDFBibTeX XMLCite
Full Text: DOI

One Representation to Rule Them All: Identifying Out-of-Support Examples in Few-shot Learning with Generic Representations. arXiv:2106.01423

Preprint, arXiv:2106.01423 [cs.LG] (2021).
BibTeX Cite
Full Text: arXiv

Probing a set of trajectories to maximize captured information. (English) Zbl 1515.68283

Faro, Simone (ed.) et al., 18th international symposium on experimental algorithms, SEA 2020, Catania, Italy, June 16–18, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 160, Article 5, 14 p. (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Towards a formal account for software transactional memory. (English) Zbl 07368060

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 255-263 (2020).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI

Reversible occurrence nets and causal reversible prime event structures. (English) Zbl 07368046

Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 35-53 (2020).
MSC:  68Q09 68Q10 81P68
PDFBibTeX XMLCite
Full Text: DOI arXiv

Mathematics education for indigenous students in preparation for engineering and information technologies. (English) Zbl 1443.97003

Bailey, David H. (ed.) et al., From analysis to visualization. A celebration of the life and legacy of Jonathan M. Borwein, Callaghan, Australia, September 25–29, 2017. Cham: Springer. Springer Proc. Math. Stat. 313, 153-169 (2020).
MSC:  97D30 97M50 97C60
PDFBibTeX XMLCite
Full Text: DOI

Fuzzy Simplicial Networks: A Topology-Inspired Model to Improve Task Generalization in Few-shot Learning. arXiv:2009.11253

Preprint, arXiv:2009.11253 [cs.LG] (2020).
BibTeX Cite
Full Text: arXiv

Fast enumeration of non-isomorphic chemical reaction networks. (English) Zbl 1422.92049

Bortolussi, Luca (ed.) et al., Computational methods in systems biology. 17th international conference, CMSB 2019, Trieste, Italy, September 18–20, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11773, 224-247 (2019).
MSC:  92C40 92C42
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