المؤلفون: Sannier, Victor, Baillot, Patrick

المساهمون: Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires (SYCOMORES), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)

المصدر: Leibniz International Proceedings in Informatics (LIPIcs), 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024) ; Formal Structures for Computation and Deduction (FSCD) ; https://hal.science/hal-04514677 ; Formal Structures for Computation and Deduction (FSCD), Jul 2024, Tallinn, Estonia. pp.12:1--12:22, ⟨10.4230/LIPIcs.FSCD.2024.12⟩ ; https://cs.ioc.ee/fscd24/

مصطلحات موضوعية: Lambda calculus, Differential privacy, Linear logic, type system, sensitivity, vector metrics, lambda-calculus, functional programming, denotational semantics, Theory of computation → Type theory, Theory of computation → Linear logic, Security and privacy → Logic and verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Tallinn, Estonia

Time: Tallinn, Estonia

الاتاحة: https://hal.science/hal-04514677
https://hal.science/hal-04514677v2/document
https://hal.science/hal-04514677v2/file/plurimetric-fuzz-article.pdf
https://doi.org/10.4230/LIPIcs.FSCD.2024.12

المؤلفون: EMİNOĞLU, Şehla

المصدر: Issue: 45 46-56 ; 2149-1402 ; Journal of New Theory

مصطلحات موضوعية: Non-Archimedean $\mathcal{L}$-fuzzy vector metrics, left and right order convergence, $\mathcal{L}$-fuzzy vector diameter, Riesz spaces, Operator Algebras and Functional Analysis, Operatör Cebirleri ve Fonksiyonel Analiz

وصف الملف: application/pdf

Relation: https://dergipark.org.tr/tr/download/article-file/3370579; https://dergipark.org.tr/tr/pub/jnt/issue/82193/1351848

الاتاحة: https://dergipark.org.tr/tr/pub/jnt/issue/82193/1351848
https://doi.org/10.53570/jnt.1351848

المؤلفون: RUSSO, FABRIZIO

المساهمون: N. E. Mastorakis, K. Nakamatsu, E. Paspalakis, Russo, Fabrizio

مصطلحات موضوعية: Image denoising, image quality assessment, vector metrics, noise removal, Gaussian noise

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-960-474-399-5; ispartofbook:Proceedings of the 3rd International Conference on Circuits, Systems,Communications, Computers and Applications (CSCCA '14); 3rd International Conference on Circuits, Systems, Communications, Computers and Applications (CSCCA '14); firstpage:197; lastpage:206; numberofpages:10; http://hdl.handle.net/11368/2831796

الاتاحة: http://hdl.handle.net/11368/2831796

المؤلفون: F. Russo

المساهمون: Annamária R. Várkonyi-Kóczy, Santina Rocchi, Junzo Watada, Russo, Fabrizio

مصطلحات موضوعية: image denoising, fuzzy models, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, symbols.namesake, Dark-frame subtraction, Image noise, Median filter, Computer vision, Image restoration, Mathematics, image processing, vector metrics, Noise measurement, business.industry, Pattern recognition, Non-local means, Gaussian noise, Computer Science::Computer Vision and Pattern Recognition, vector metric, symbols, Video denoising, Artificial intelligence, business, Algorithm

وصف الملف: ELETTRONICO

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1856aa211b7e460d1e55546a7a090f8
https://hdl.handle.net/11368/2846731

المؤلفون: Victor Sannier and Patrick Baillot, Sannier, Victor, Baillot, Patrick

مصطلحات الفهرس: type system, linear logic, sensitivity, vector metrics, differential privacy, lambda-calculus, functional programming, denotational semantics, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2024.12
Is Part Of LIPIcs, Volume 299, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024)