المؤلفون: Milano, C, Montali, M, Barachini, S, Burzi, I S, Pratesi, F, Petrozzi, L, Chico, L, Morganti, R, Gambino, G, Rossi, L, Ceravolo, R, Siciliano, G, Migliorini, P, Petrini, I, Pizzanelli, C

المساهمون: Milano, C, Montali, M, Barachini, S, Burzi, I S, Pratesi, F, Petrozzi, L, Chico, L, Morganti, R, Gambino, G, Rossi, L, Ceravolo, R, Siciliano, G, Migliorini, P, Petrini, I, Pizzanelli, C

مصطلحات موضوعية: Cytokine, Drug-resistant epilepsy, Mesial temporal lobe epilepsy, Neuroinflammation, Oxidative stre, Peripheral blood mononuclear cells

Relation: info:eu-repo/semantics/altIdentifier/pmid/38160122; info:eu-repo/semantics/altIdentifier/wos/WOS:001161658100001; volume:386; numberofpages:11; journal:JOURNAL OF NEUROIMMUNOLOGY; https://hdl.handle.net/11568/1219367; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85181079986; https://www.jni-journal.com/article/S0165-5728(23)00258-8/fulltext

الاتاحة: https://hdl.handle.net/11568/1219367
https://doi.org/10.1016/j.jneuroim.2023.578272
https://www.jni-journal.com/article/S0165-5728(23)00258-8/fulltext

المؤلفون: Dumas, M, Fournier, F, Limonad, L, Marrella, A, Montali, M, Rehse, J-R, Accorsi, R, Calvanese, D, De Giacomo, G, Fahland, D, Gal, A, La Rosa, M, Völzer, H, Weber, I

Relation: https://ora.ox.ac.uk/objects/uuid:059ddbc4-9ac3-4d50-8cfa-b05ccacf578d; https://doi.org/10.1145/3576047

الاتاحة: https://doi.org/10.1145/3576047
https://ora.ox.ac.uk/objects/uuid:059ddbc4-9ac3-4d50-8cfa-b05ccacf578d

المؤلفون: Felli P., Montali M., Patrizi F., Winkler S.

المساهمون: Felli, P., Montali, M., Patrizi, F., Winkler, S.

مصطلحات موضوعية: monitoring, temporal trace, linear temporal logic

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781577358800; ispartofbook:Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; National Conference of the American Association for Artificial Intelligence; volume:37; firstpage:6346; lastpage:6354; numberofpages:9; https://hdl.handle.net/11573/1706688; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85153410256

الاتاحة: https://hdl.handle.net/11573/1706688
https://doi.org/10.1609/aaai.v37i5.25781

المؤلفون: Burigana A., Felli P., Montali M., Troquard N.

المساهمون: K. Gal, Burigana A., Felli P., Montali M., Troquard N.

مصطلحات موضوعية: Dynamic epistemic logic, Epistemic planning

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781643684369; info:eu-repo/semantics/altIdentifier/isbn/9781643684376; ispartofbook:ECAI 2023; 26th European Conference on Artificial Intelligence, ECAI 2023; volume:372; firstpage:319; lastpage:326; numberofpages:8; serie:FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS; alleditors:K. Gal et al.; https://hdl.handle.net/11585/963908; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85175835120

الاتاحة: https://hdl.handle.net/11585/963908
https://doi.org/10.3233/FAIA230286
https://ebooks.iospress.nl/doi/10.3233/FAIA230286

المؤلفون: Alman A., Maggi F. M., Montali M., Patrizi F., Rivkin A.

المساهمون: Alman, A., Maggi, F. M., Montali, M., Patrizi, F., Rivkin, A.

مصطلحات موضوعية: Automata, Business process monitoring, Data Petri net, Declare, Hybrid proce, Process model interplay

Relation: info:eu-repo/semantics/altIdentifier/pmid/37100514; info:eu-repo/semantics/altIdentifier/wos/WOS:000957157700001; volume:139; numberofpages:13; journal:ARTIFICIAL INTELLIGENCE IN MEDICINE; https://hdl.handle.net/11573/1681391; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85150014360

الاتاحة: https://hdl.handle.net/11573/1681391
https://doi.org/10.1016/j.artmed.2023.102512

المؤلفون: Felli P., Gianola A., Montali M., Rivkin A., Winkler S.

المساهمون: Felli P., Gianola A., Montali M., Rivkin A., Winkler S.

مصطلحات موضوعية: Conformance checking, Data Petri net, SMT

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001029896200001; volume:117; firstpage:1; lastpage:19; numberofpages:19; journal:INFORMATION SYSTEMS; https://hdl.handle.net/11585/943276; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85162165368; https://www.sciencedirect.com/science/article/pii/S0306437923000662

الاتاحة: https://hdl.handle.net/11585/943276
https://doi.org/10.1016/j.is.2023.102230
https://www.sciencedirect.com/science/article/pii/S0306437923000662

المؤلفون: Felli P., Gianola A., Montali M., Rivkin A., Winkler S.

المساهمون: Felli P., Gianola A., Montali M., Rivkin A., Winkler S.

مصطلحات موضوعية: Conformance checking, Data quality, SMT, Stochastic process mining, Uncertainty

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001071451400001; volume:126; firstpage:1; lastpage:18; numberofpages:18; journal:ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE; https://hdl.handle.net/11585/963878; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85168806965; https://www.sciencedirect.com/science/article/pii/S0952197623010795

الاتاحة: https://hdl.handle.net/11585/963878
https://doi.org/10.1016/j.engappai.2023.106895
https://www.sciencedirect.com/science/article/pii/S0952197623010795

المؤلفون: Failla O., Gerbi V., Balducci A., Bonfante A., Borin S., Boselli E., Budroni M., Cardinale M., Cocolin L., Foschino R., Giacosa S., Longo E., Lucchi A., Mannazzu I., Mencarelli F., Montali M., Parpinello G. P., Poggesi S., Priori S., Ragni L., Rantsiou K., Ricci A., Rolle L., Romano P., Romanazzi G., Serantoni M., Ugliano M., Vasileios E., Versari A., Vigentini I., Vieri M., Zenoni S.

المساهمون: a cura di: Luca Simone Cocolin e Massimo Tagliavini, Failla, O., Gerbi, V., Balducci, A., Bonfante, A., Borin, S., Boselli, E., Budroni, M., Cardinale, M., Cocolin, L., Foschino, R., Giacosa, S., Longo, E., Lucchi, A., Mannazzu, I., Mencarelli, F., Montali, M., Parpinello, G. P., Poggesi, S., Priori, S., Ragni, L., Rantsiou, K., Ricci, A., Rolle, L., Romano, P., Romanazzi, G., Serantoni, M., Ugliano, M., Vasileios, E., Versari, A., Vigentini, I., Vieri, M., Zenoni, S.

مصطلحات موضوعية: viticoltura, enologia, sostenibilità, filiera, etica

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-88-945925-2-8; ispartofbook:Atti del XVIII Convegno AISSA - Il contributo della ricerca italiana all’intensificazione sostenibile in agricoltura; XVIII Convegno AISSA - Il contributo della ricerca italiana all’intensificazione sostenibile in agricoltura; volume:3; firstpage:51; lastpage:77; serie:I QUADERNI DI AISSA; https://hdl.handle.net/11587/504306; https://www.aissa.it/quaderni

الاتاحة: https://hdl.handle.net/11587/504306
https://www.aissa.it/quaderni

المؤلفون: Di Ciccio C., Montali M.

المساهمون: van der Aalst, Wil M.P., Carmona, Josep, Di Ciccio, C., Montali, M.

مصطلحات موضوعية: Process mining, Linear Temporal Logic, Finite-state automata

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-08847-6; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-08848-3; ispartofbook:Process Mining Handbook; firstpage:108; lastpage:152; numberofpages:45; serie:LECTURE NOTES IN BUSINESS INFORMATION PROCESSING; https://hdl.handle.net/11573/1683076; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85133180316

الاتاحة: https://hdl.handle.net/11573/1683076
https://doi.org/10.1007/978-3-031-08848-3_4

المؤلفون: Calvanese D., De Giacomo G., Montali M., Patrizi F.

المساهمون: Calvanese, D., De Giacomo, G., Montali, M., Patrizi, F.

مصطلحات موضوعية: Knowledge representation and reasoning, reasoning about action, validation and verification

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781956792003; info:eu-repo/semantics/altIdentifier/wos/WOS:001202342302095; International Joint Conference on Artificial Intelligence; firstpage:2553; lastpage:2560; numberofpages:8; journal:IJCAI; https://hdl.handle.net/11573/1681399

الاتاحة: https://hdl.handle.net/11573/1681399
https://doi.org/10.24963/ijcai.2022/354

المؤلفون: Beerepoot, I., Ciccio, C. di, Reijers, H.A., Rinderle-M, S., Bandara, W., Burattin, A., Calvanese, D., Chen, T., Cohen, I., Depaire, B., Federico, G. di, Dumas, M., Dun, Christopher van, Fehrer, Tobias, Fischer, Dominik, Gal, A., Indulska, M., Isahagian, V., Klinkmüller, C., Kratsch, Wolfgang, Leopold, H., Looy, A. van, Lopez, H., Lukumbuzya, S., Mendling, J., Meyers, L., Moder, Linda, Montali, M., Muthusamy, V., Reichert, M., Rizk, Y., Rosemann, M., Röglinger, Maximilian, Sadiq, Shazia, Seiger, R., Slaats, T., Simkus, M., Someh, I.A., Weber, B., Weber, I., Weske, M., Zerbato, F.

مصطلحات موضوعية: Business process management, Business process redesign, Digital twins, Grand challenges, Process mining, Process modeling

Relation: Computers in industry; undefined; https://publica.fraunhofer.de/handle/publica/436121

الاتاحة: https://publica.fraunhofer.de/handle/publica/436121
https://doi.org/10.1016/j.compind.2022.103837

المؤلفون: Corea C., Felli P., Montali M., Patrizi F.

المساهمون: Corea C., Felli P., Montali M., Patrizi F.

مصطلحات موضوعية: Declarative Process Specifications, Flexibility, Language Distances

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783031610561; info:eu-repo/semantics/altIdentifier/isbn/9783031610578; ispartofbook:Proceedings of the 36th International Conference on Advanced Information Systems Engineering (CAISE 2024); 36th International Conference on Advanced Information Systems Engineering; volume:14663 LNCS; firstpage:161; lastpage:177; numberofpages:17; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11585/973634; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85196726904

الاتاحة: https://hdl.handle.net/11585/973634
https://doi.org/10.1007/978-3-031-61057-8_10

المؤلفون: De Giacomo G., De Masellis R., Maggi F. M., Montali M.

المساهمون: De Giacomo, G., De Masellis, R., Maggi, F. M., Montali, M.

مصطلحات موضوعية: business process monitoring, metaconstraint, operational decision support, process constraint, runtime verification, Temporal logics

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000859387700012; volume:31; issue:4; firstpage:1; lastpage:44; numberofpages:44; journal:ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; https://hdl.handle.net/11573/1728604

الاتاحة: https://hdl.handle.net/11573/1728604
https://doi.org/10.1145/3506799

المؤلفون: Petrini I., Sollini M., Bartoli F., Barachini S., Montali M., Pardini E., Burzi I. S., Erba P. A.

المساهمون: Petrini, I, Sollini, M, Bartoli, F, Barachini, S, Montali, M, Pardini, E, Burzi, I, Erba, P

مصطلحات موضوعية: fibronectin, target therapy, theragnostic, thymic epithelial tumor, tumor microenvironment

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/pmid/35681572; info:eu-repo/semantics/altIdentifier/wos/WOS:000808601400001; volume:14; issue:11; journal:CANCERS; https://hdl.handle.net/10281/419518; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85130997481

الاتاحة: https://hdl.handle.net/10281/419518
https://doi.org/10.3390/cancers14112592

المؤلفون: Bergami G., Maggi F. M., Montali M., Penaloza R.

المساهمون: Bergami, G, Maggi, F, Montali, M, Penaloza, R

مصطلحات موضوعية: Alignments, Conformance Checking, Stochastic Petri net

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781665435147; info:eu-repo/semantics/altIdentifier/wos/WOS:000852806000002; ispartofbook:Proceedings - 2021 3rd International Conference on Process Mining, ICPM 2021; 3rd International Conference on Process Mining, ICPM 2021 - 31 October 2021 through 4 November 2021; firstpage:9; lastpage:16; numberofpages:8; http://hdl.handle.net/10281/374454; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85119091354

الاتاحة: http://hdl.handle.net/10281/374454
https://doi.org/10.1109/ICPM53251.2021.9576856

المؤلفون: Pircher A, Neutzner A, Montali M, Huber A, Scholl HP, Berberat J, Remonda L, Killer HE

المصدر: Eye and Brain, Vol Volume 13, Pp 89-97 (2021)

مصطلحات موضوعية: lipocalin-type prostaglandin d synthase, cerebrospinal fluid, optic nerve sheath compartment syndrome, normal tension glaucoma, optic nerve, Ophthalmology, RE1-994, Neurology. Diseases of the nervous system, RC346-429

وصف الملف: electronic resource

Relation: https://www.dovepress.com/lipocalin-type-prostaglandin-d-synthase-concentration-gradients-in-the-peer-reviewed-article-EB; https://doaj.org/toc/1179-2744

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

المؤلفون: Burzi I. S., Parchi P. D., Barachini S., Pardini E., Sardo Infirri G., Montali M., Petrini I.

المساهمون: Burzi, I. S., Parchi, P. D., Barachini, S., Pardini, E., Sardo Infirri, G., Montali, M., Petrini, I.

مصطلحات موضوعية: Angiogenic differentiation, Hypoxia, Mesangiogenic progenitor cell, Mesenchymal stem cell, Osteogenic differentiation, Stem cells

Relation: info:eu-repo/semantics/altIdentifier/pmid/38914791; info:eu-repo/semantics/altIdentifier/wos/WOS:001253656700001; volume:20; issue:7; firstpage:1830; lastpage:1842; numberofpages:13; journal:STEM CELL REVIEWS AND REPORTS; https://hdl.handle.net/11568/1284545

الاتاحة: https://hdl.handle.net/11568/1284545
https://doi.org/10.1007/s12015-024-10749-9

المؤلفون: Bernardinello, L, Kleijn, J, Petrucci, L, van der Werf, JMEM, Rivkin, A, Montali, M, Polyvyanyy, A

مصطلحات الفهرس: Journal Article

URL: http://hdl.handle.net/11343/348071

المؤلفون: Calvanese, D, Ghilardi, S, Gianola, A, Montali, M, Rivkin, A

المساهمون: D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin

مصطلحات موضوعية: Uniform interpolation, Cover, Theory combination, Beth definability, Settore MAT/01 - Logica Matematica

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000794074900001; volume:66; issue:3; firstpage:409; lastpage:435; numberofpages:27; journal:JOURNAL OF AUTOMATED REASONING; https://hdl.handle.net/2434/936806; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85123999459

الاتاحة: https://hdl.handle.net/2434/936806
https://doi.org/10.1007/s10817-022-09627-1

المؤلفون: Maggi F. M., Montali M., Penaloza R.

المساهمون: Maggi, F, Montali, M, Penaloza, R

مصطلحات موضوعية: Temporal logics, probabilistic logics, automata-theory

Relation: info:eu-repo/semantics/altIdentifier/isbn/9781577358350; info:eu-repo/semantics/altIdentifier/wos/WOS:000668126802080; ispartofbook:AAAI 2020 - 34th AAAI Conference on Artificial Intelligence; 34th AAAI Conference on Artificial Intelligence, AAAI 2020; firstpage:10218; lastpage:10225; numberofpages:8; http://hdl.handle.net/10281/318670; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85091295226

الاتاحة: http://hdl.handle.net/10281/318670