×

Found 282 Documents (Results 1–100)

100
MathJax

Group actions and monotone metric tensors: the qubit case. (English) Zbl 1487.81025

Nielsen, Frank (ed.) et al., Geometric science of information. 5th international conference, GSI 2021, Paris, France, July 21–23, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12829, 145-153 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Normalized entropy aggregation for inhomogeneous large-scale data. (English) Zbl 1434.62245

Valenzuela, Olga (ed.) et al., Theory and applications of time series analysis. Selected contributions from the international conference on time series and forecasting, ITISE 2018, Granada, Spain, September 19–21, 2018. Cham: Springer. Contrib. Stat., 19-29 (2019).
MSC:  62R07 94A17 62B10
PDF BibTeX XML Cite
Full Text: DOI Link

The statistical Minkowski distances: closed-form formula for Gaussian mixture models. (English) Zbl 1458.62012

Nielsen, Frank (ed.) et al., Geometric science of information. 4th international conference, GSI 2019, Toulouse, France, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11712, 359-367 (2019).
MSC:  62B99 62H30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Inexact elastic shape matching in the square root normal field framework. (English) Zbl 1458.94012

Nielsen, Frank (ed.) et al., Geometric science of information. 4th international conference, GSI 2019, Toulouse, France, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11712, 13-20 (2019).
MSC:  94A08 68U05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Poset codes: partial orders, metrics and coding theory. (English) Zbl 1480.94001

SpringerBriefs in Mathematics; SBMAC SpringerBriefs. Cham: Springer; Rio de Janeiro: Sociedade Brasileira de Matemática Aplicada e Computacional (SBMAC) (ISBN 978-3-319-93820-2/pbk; 978-3-319-93821-9/ebook). ix, 127 p. (2018).
MSC:  94-01 94B05 06A07
PDF BibTeX XML Cite
Full Text: DOI

Parameters optimization of the novel probabilistic algorithm for improving spatial resolution of multispectral satellite images. (English. Russian original) Zbl 1391.93295

J. Comput. Syst. Sci. Int. 56, No. 6, 1008-1020 (2017); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2017, No. 6, 112-124 (2017).
MSC:  93E20 93E25 90C15 68U10 94A08
PDF BibTeX XML Cite
Full Text: DOI

Nonadiabatic bounce in quantum cosmology. (English) Zbl 1390.83467

Duarte, Sergio (ed.) et al., Physical and mathematical aspects of symmetries. Proceedings of the 31st international colloquium in group theoretical methods in physics, Rio de Janeiro, Brazil, June 19–25, 2016. Cham: Springer (ISBN 978-3-319-69163-3/hbk; 978-3-319-69164-0/ebook). 245-252 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Warped metrics for location-scale models. (English) Zbl 1428.58009

Nielsen, Frank (ed.) et al., Geometric science of information. Third international conference, GSI 2017, Paris, France, November 7–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10589, 631-638 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Hypercollecting semantics and its application to static analysis of information flow. (English) Zbl 1380.68113

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 874-887 (2017).
MSC:  68N30 68N15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Algebra for quantitative information flow. (English) Zbl 1486.68044

Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 3-23 (2017).
PDF BibTeX XML Cite
Full Text: DOI

A refinement repair algorithm based on refinement game for KMTS models. (English) Zbl 1396.68033

Ribeiro, Leila (ed.) et al., Formal methods: foundations and applications. 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-49814-0/pbk; 978-3-319-49815-7/ebook). Lecture Notes in Computer Science 10090, 161-178 (2016).
MSC:  68N30 03B70 91A80
PDF BibTeX XML Cite
Full Text: DOI

There is wisdom in harnessing the strengths of your enemy: customized encoding to thwart side-channel attacks. (English) Zbl 1387.94093

Peyrin, Thomas (ed.), Fast software encryption. 23rd international conference, FSE 2016, Bochum, Germany, March 20–23, 2016. Revised selected papers. Berlin: Springer (ISBN 978-3-662-52992-8/pbk; 978-3-662-52993-5/ebook). Lecture Notes in Computer Science 9783, 223-243 (2016).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI

Algebraic representation of the group of Havrda-Charvat-Daroczy entropy vectors in nonextensive statistical mechanics. (English. Russian original) Zbl 1383.82023

Russ. Phys. J. 59, No. 8, 1135-1144 (2016); translation from Izv. Vyssh. Uchebn. Zaved., Fiz. 59, No. 8, 12-18 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Computing distances between reach flowpipes. (English) Zbl 1364.93246

Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 267-276 (2016).
MSC:  93B40 93C30 93C41
PDF BibTeX XML Cite
Full Text: DOI arXiv

Query-guided maximum satisfiability. (English) Zbl 1347.68188

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 109-122 (2016).
PDF BibTeX XML Cite
Full Text: DOI

Assume-guarantee synthesis for concurrent reactive programs with partial information. (English) Zbl 1420.68064

Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 517-532 (2015).
MSC:  68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI arXiv

Abstract hidden Markov models: a monadic account of quantitative information flow. (English) Zbl 1401.68046

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 597-608 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Noninterference for free. (English) Zbl 1360.68315

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 101-113 (2015).
PDF BibTeX XML Cite
Full Text: DOI

Dependent information flow types. (English) Zbl 1345.68111

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 317-328 (2015).
MSC:  68N30 68N15 68N18
PDF BibTeX XML Cite
Full Text: DOI Link

Histograms of images valued in the manifold of colours endowed with perceptual metrics. (English) Zbl 1396.94008

Nielsen, Frank (ed.) et al., Geometric science of information. Second international conference, GSI 2015, Palaiseau, France, October 28–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25039-7/pbk; 978-3-319-25040-3/ebook). Lecture Notes in Computer Science 9389, 762-769 (2015).
MSC:  94A08 94A15
PDF BibTeX XML Cite
Full Text: DOI HAL

Transformations and coupling relations for affine connections. (English) Zbl 1396.53046

Nielsen, Frank (ed.) et al., Geometric science of information. Second international conference, GSI 2015, Palaiseau, France, October 28–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25039-7/pbk; 978-3-319-25040-3/ebook). Lecture Notes in Computer Science 9389, 326-339 (2015).
MSC:  53C07 94A15
PDF BibTeX XML Cite
Full Text: DOI

Standard divergence in manifold of dual affine connections. (English) Zbl 1396.53044

Nielsen, Frank (ed.) et al., Geometric science of information. Second international conference, GSI 2015, Palaiseau, France, October 28–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25039-7/pbk; 978-3-319-25040-3/ebook). Lecture Notes in Computer Science 9389, 320-325 (2015).
MSC:  53C07 94A17
PDF BibTeX XML Cite
Full Text: DOI

Using dynamic pushdown networks to automate a modular information-flow analysis. (English) Zbl 1473.68049

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 201-217 (2015).
MSC:  68N30 68N19
PDF BibTeX XML Cite
Full Text: DOI

Algebraic representation of the group of entropy vectors in nonextensive statistical mechanics. (English. Russian original) Zbl 1338.82025

Russ. Phys. J. 57, No. 11, 1547-1555 (2015); translation from Izv. Vyssh. Uchebn. Zaved., Fiz. 57, No. 11, 84-90 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software