المؤلفون: Bagardi, M, Ghilardi, S, Locatelli, C, Bionda, A, Polli, M, Bussadori, CM, Colombo, FM, Pazzagli, L, Brambilla, PG

المصدر: Veterinary sciences. 8(10)

مصطلحات موضوعية: Medicin och hälsovetenskap

الوصول الحر: http://kipublications.ki.se/Default.aspx?queryparsed=id:148030737Test

المؤلفون: Ghilardi S., Pradelli D., Rizzi R., Polli M., Bagardi M., Santilli R. A., Brambilla P. G., Bussadori C. M.

المساهمون: S. Ghilardi, D. Pradelli, R. Rizzi, M. Polli, M. Bagardi, R.A. Santilli, P.G. Brambilla, C.M. Bussadori

مصطلحات موضوعية: Echocardiographic dog, Echocardiography, Gold standard, Reliability, Repeatability, Reproducibility, Settore VET/08 - Clinica Medica Veterinaria, Settore AGR/17 - Zootecnica Generale e Miglioramento Genetico

العلاقة: info:eu-repo/semantics/altIdentifier/pmid/37351815; info:eu-repo/semantics/altIdentifier/wos/WOS:001011967300001; firstpage:1; lastpage:9; numberofpages:9; journal:VETERINARY RESEARCH COMMUNICATIONS; https://hdl.handle.net/2434/1018789Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85162639698; https://doi.org/10.1007/s11259-023-10154-6Test

الإتاحة: https://doi.org/10.1007/s11259-023-10154-6Test
https://hdl.handle.net/2434/1018789Test

المؤلفون: Bezhanishvili N., Carai L., Ghilardi S., Landi L.

المساهمون: N. Bezhanishvili, L. Carai, S. Ghilardi, L. Landi

مصطلحات موضوعية: Admissibility, Contact algebra, Interpolation, Model completion, Non-standard rule, Uniform interpolation, Settore MAT/01 - Logica Matematica

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000844079500006; volume:174; issue:1; firstpage:1; lastpage:31; numberofpages:31; journal:ANNALS OF PURE AND APPLIED LOGIC; https://hdl.handle.net/2434/1018310Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85135533438

الإتاحة: https://doi.org/10.1016/j.apal.2022.103169Test
https://hdl.handle.net/2434/1018310Test

المؤلفون: Banfi, C, Baetta, R, Barbieri, SS, Brioschi, M, Guarino, A, Ghilardi, S, Sandrini, L, Eligini, S, Polvani, G, Bergman, O, Eriksson, P, Tremoli, E

المصدر: Communications biology. 4(1):1109

مصطلحات موضوعية: Medicin och hälsovetenskap

الوصول الحر: http://kipublications.ki.se/Default.aspx?queryparsed=id:147686477Test

المؤلفون: Bagardi M., Ghilardi S., Castellazzi I., Fusi E., Polli M., Minozzi G., Faverzani S., Mirabelli C., Brambilla P. G.

المساهمون: M. Bagardi, S. Ghilardi, I. Castellazzi, E. Fusi, M. Polli, G. Minozzi, S. Faverzani, P.G.M. Brambilla

مصطلحات موضوعية: dilated cardiomyopathy, taurine, echocardiography, Golden Retriever, dog, nutritional dilated cardiomyopathy, pilot study, Settore VET/08 - Clinica Medica Veterinaria, Settore AGR/17 - Zootecnica Generale e Miglioramento Genetico, Settore AGR/18 - Nutrizione e Alimentazione Animale

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000883402800001; volume:12; issue:21; firstpage:1; lastpage:11; numberofpages:11; journal:ANIMALS; https://hdl.handle.net/2434/944198Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85141796740

الإتاحة: https://doi.org/10.3390/ani12212924Test
https://hdl.handle.net/2434/944198Test

المؤلفون: Ghilardi S., Gianola A.

المساهمون: S. Ghilardi, A. Gianola

مصطلحات موضوعية: Combined interpolation, Interpolation, Satisfiability modulo theorie, Uniform interpolation, Settore MAT/01 - Logica Matematica

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000754770300001; volume:10; issue:3; firstpage:1; lastpage:22; numberofpages:22; journal:MATHEMATICS; http://hdl.handle.net/2434/909261Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85124037087

الإتاحة: https://doi.org/10.3390/math10030461Test
http://hdl.handle.net/2434/909261Test

المؤلفون: Ghilardi S., Gianola A., Kapur D.

المساهمون: S. Ghilardi, A. Gianola, D. Kapur

مصطلحات موضوعية: DAG representation, EUF, term rewriting, Uniform Interpolation, Settore MAT/01 - Logica Matematica

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000789075700001; volume:18; issue:2; firstpage:1; lastpage:24; numberofpages:24; journal:LOGICAL METHODS IN COMPUTER SCIENCE; http://hdl.handle.net/2434/928700Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85123993339

الإتاحة: https://doi.org/10.46298/LMCS-18Test(2:2)2022
http://hdl.handle.net/2434/928700Test

المؤلفون: 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

العلاقة: 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/936806Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85123999459

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

المؤلفون: Bruschi D., Di Pasquale A., Ghilardi S., Lanzi A., Pagani E.

المساهمون: D. Bruschi, A. Di Pasquale, S. Ghilardi, A. Lanzi, E. Pagani

مصطلحات موضوعية: ARP, formal verification, Internet, Local area network, Man-in-the-Middle attack, Network protocol, Payload, Protocol, Safety, secure ARP, Task analysi, Tools, Settore INF/01 - Informatica, Settore MAT/01 - Logica Matematica

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000881987900035; journal:IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING; http://hdl.handle.net/2434/903256Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85117129378

الإتاحة: https://doi.org/10.1109/TDSC.2021.3118448Test
http://hdl.handle.net/2434/903256Test

المؤلفون: Brioschi M., D'Alessandra Y., Mapelli M., Mattavelli I., Salvioni E., Eligini S., Mallia A., Ricci V., Gianazza E., Ghilardi S., Agostoni P., Banfi C.

المساهمون: Brioschi, M., D'Alessandra, Y., Mapelli, M., Mattavelli, I., Salvioni, E., Eligini, S., Mallia, A., Ricci, V., Gianazza, E., Ghilardi, S., Agostoni, P., Banfi, C.

مصطلحات موضوعية: heart failure, miRNA, Sacubitril/Valsartan

العلاقة: info:eu-repo/semantics/altIdentifier/pmid/37189655; volume:11; issue:4; journal:BIOMEDICINES; https://hdl.handle.net/11571/1493242Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85153777611

الإتاحة: https://doi.org/10.3390/biomedicines11041037Test
https://hdl.handle.net/11571/1493242Test