المؤلفون: Maria Teresa Alonso, Carlo Ferigato, Deimos Ibanez Segura, Domenico Perrotta, Adria Rovira-Garcia, Emmanuele Sordini

المصدر: Stats, Vol 4, Iss 2, Pp 400-418 (2021)

مصطلحات موضوعية: GNSS positioning, robust statistics, GNSS LABoratory—gLAB, Flexible Statistics and Data Analysis toolbox—FSDA, Statistics, HA1-4737

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2571-905X/4/2/26; https://doaj.org/toc/2571-905X

URL الوصول: https://doaj.org/article/8fa498a79740472691630535dd0a10a8

المؤلفون: Luca Bernardinello, Carlo Ferigato, Lucia Pomello

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 158, Iss Proc. QPL 2012, Pp 65-75 (2014)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1408.0053v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/e9e23f70d517418d970c076b2f901659

المؤلفون: Lucia Pomello, Luca Bernardinello, Carlo Ferigato

المساهمون: Bernardinello, L, Ferigato, C, Pomello, L

المصدر: Fundamenta Informaticae. 171:39-56

مصطلحات موضوعية: Algebra, Algebra and Number Theory, Computational Theory and Mathematics, Concurrency, INF/01 - INFORMATICA, Duality (optimization), Algebra over a field, Petri net, Concurrency, Orthogonality relations, Causal Dependence relation, Petri nets, Information Systems, Theoretical Computer Science, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c4d17455e68e4739c9600a878e33ce75
https://doi.org/10.3233/fi-2020-1871

المؤلفون: Emmanuele Sordini, Carlo Ferigato, Deimos Ibáñez Segura, M. Alonso, Domenico Perrotta, Adria Rovira-Garcia

المساهمون: Universitat Politècnica de Catalunya. Doctorat en Ciència i Tecnologia Aeroespacials, Universitat Politècnica de Catalunya. Departament de Física, Universitat Politècnica de Catalunya. gAGE - Grup d'Astronomia i Geomàtica

المصدر: Stats
Volume 4
Issue 2
Pages 26-418
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Stats, Vol 4, Iss 26, Pp 400-418 (2021)

مصطلحات موضوعية: 010504 meteorology & atmospheric sciences, Computer science, GNSS positioning, Robust statistics, Satellite system, Remote sensing--Data processing, computer.software_genre, 01 natural sciences, GNSS LABoratory, 010104 statistics & probability, Sistema de posicionament global, Global Positioning System, 0101 mathematics, MATLAB, Reliability (statistics), 0105 earth and related environmental sciences, computer.programming_language, Statistics, GNSS LABoratory—gLAB, Toolbox, HA1-4737, Flexible statistics and data analysis toolbox, Flexible Statistics and Data Analysis toolbox—FSDA, Aeronàutica i espai::Sistemes CNS/ATM (Communication, Navigation, Surveillance/Air Traffic Management) [Àrees temàtiques de la UPC], GNSS applications, robust statistics, Outlier, Anomaly detection, Data mining, computer

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b679d75b782e7a26f1d64f168cf01dfa

المؤلفون: Stefano Gandelli, Carlo Ferigato, Federica Adobbati, Adrián Puerto Aubel

المساهمون: Koutny M., Kordon F., Pomello L., Adobbati, F, Ferigato, C, Gandelli, S, Aubel, A

المصدر: Transactions on Petri Nets and Other Models of Concurrency XV ISBN: 9783662630785

مصطلحات موضوعية: Set (abstract data type), Pure mathematics, Algebraic structure, Transition system, Structure (category theory), Order (ring theory), INF/01 - INFORMATICA, Composition (combinatorics), Stability (probability), regions, orthomodular parial order, stability, Mathematics, Event (probability theory)

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da5696ee0d104dc17a99715cf63caa96
http://hdl.handle.net/10281/324418

المؤلفون: Carlo Ferigato, Luca Bernardinello, Adrián Puerto Aubel, Lucia Pomello

المساهمون: Bernardinello, L, Ferigato, C, Pomello, L, PUERTO AUBEL, A

مصطلحات موضوعية: Pure mathematics, Algebra and Number Theory, Transition (fiction), Hilbert space, INF/01 - INFORMATICA, Information System, Quantum logic, Theoretical Computer Science, Algebra, symbols.namesake, Computational Theory and Mathematics, symbols, Isomorphism, Quantum, Formal science, Information Systems, Computational number theory, Mathematics

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1aad2bb49eb234c5d5a40cdf029af0dc
http://hdl.handle.net/10281/169568

المؤلفون: Luca Bernardinello, Carlo Ferigato, Adrián Puerto Aubel, Lucia Pomello

المساهمون: van der Aalst, W, Bergenthum, R, Carmona, J, Bernardinello, L, Ferigato, C, Pomello, L, Puerto Aubel, A

المصدر: Transactions on Petri Nets and Other Models of Concurrency XIII ISBN: 9783662583807
ATAED@Petri Nets/ACSD

مصطلحات موضوعية: Class (set theory), Open problem, INF/01 - INFORMATICA, Characterization (mathematics), Quantum logic, Combinatorics, Transition System, Orthomodular Poset, Concurrency theory, Transition systems, Petri Nets, Orthomodular posets, Regions, Computer Science::Logic in Computer Science, Petri Net, Transition system, Embedding, Region, Isomorphism, Quantum Logic, Partially ordered set, Mathematics

وصف الملف: ELETTRONICO; STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc658c09f79c781c81ee9b0da745192a
http://hdl.handle.net/10281/169566

المؤلفون: Stefan Haar, Carlo Ferigato, Lucia Pomello, Luca Bernardinello

المساهمون: Dipartimento di Informatica Sistemistica e Comunicazione ( DISCo ), Università degli Studi di Milano-Bicocca [Milano], Joint Research Centre of the European Commission, Laboratoire Spécification et Vérification [Cachan] ( LSV ), École normale supérieure - Cachan ( ENS Cachan ) -Centre National de la Recherche Scientifique ( CNRS ), Modeling and Exploitation of Interaction and Concurrency ( MEXICO ), École normale supérieure - Cachan ( ENS Cachan ) -Centre National de la Recherche Scientifique ( CNRS ) -École normale supérieure - Cachan ( ENS Cachan ) -Centre National de la Recherche Scientifique ( CNRS ) -Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ), Dipartimento di Informatica Sistemistica e Comunicazione (DISCo), Università degli Studi di Milano-Bicocca = University of Milano-Bicocca (UNIMIB), Laboratoire Spécification et Vérification [Cachan] (LSV), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS), Modeling and Exploitation of Interaction and Concurrency (MEXICO), École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Cachan (ENS Cachan)-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Bernardinello, L, Ferigato, C, Haar, S, POMELLO CHINAGLIA POMELLO, L, Università degli Studi di Milano-Bicocca [Milano] (UNIMIB)

المصدر: Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2014, 133 (4), pp.323-344
Fundamenta Informaticae, 2014, 133 (4), pp.323-344

مصطلحات موضوعية: Concurrency theory, Closed set, Concurrency, partial order semantic, 0102 computer and information sciences, 01 natural sciences, Theoretical Computer Science, Antichain, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Closure operator, 0101 mathematics, Algebraic number, ComputingMilieux_MISCELLANEOUS, Mathematics, Discrete mathematics, Algebra and Number Theory, 010102 general mathematics, INF/01 - INFORMATICA, Petri net, orthomodular lattices, Computational Theory and Mathematics, Complete lattice, 010201 computation theory & mathematics, [ INFO.INFO-FL ] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Partially ordered set, closure operator, Information Systems

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33a08fc5bcb0c867a4b4b8c1005283c4
https://hal.archives-ouvertes.fr/hal-01091152

المؤلفون: Carlo Ferigato, Luca Bernardinello, Lucia Pomello

المساهمون: Ross, D, Prakash, P, Bernardinello, L, Ferigato, C, POMELLO CHINAGLIA POMELLO, L

المصدر: QPL
Electronic Proceedings in Theoretical Computer Science, Vol 158, Iss Proc. QPL 2012, Pp 65-75 (2014)

مصطلحات موضوعية: Discrete mathematics, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Closed set, Discrete Mathematics (cs.DM), partially ordered sets, lcsh:Mathematics, Quantum logic, closure operator, concurrency, Concurrency, INF/01 - INFORMATICA, lcsh:QA1-939, lcsh:QA75.5-76.95, Quantum logic, Antichain, Logic in Computer Science (cs.LO), Lattice (module), Closure (mathematics), Truth value, concurrency, lcsh:Electronic computers. Computer science, Partially ordered set, Mathematics, Computer Science - Discrete Mathematics, quantum logic

وصف الملف: STAMPA; ELETTRONICO

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d54c16438438bcaefdbd82a9e32c70cd
http://hdl.handle.net/10281/43906

المؤلفون: Carlo Ferigato, Görkem Kılınç, Igor Nai Fovino, Ahmet Koltuksuz

المساهمون: Kılınç, Görkem, Izmir Institute of Technology. Computer Engineering

المصدر: WODES

مصطلحات موضوعية: Control system security, Engineering, Control systems, business.industry, Distributed computing, Industrial control systems (ICS), Cryptographic schemes, Petri nets, Industrial control system, Cryptographic protocol, Key generator, Security protocols, Distributed key generation, SCADA, Supervisory Control and Data Acquisition, Key management, business, Modbus

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fafaf96d149845c0f85f15c95a5325ea
http://hdl.handle.net/11147/5222