المؤلفون: Santiago Aguer, Javier Dal Lago, Matías Leonardo Cullari, Facundo Aguirre, Eduardo Levy, Ruy Lloyd

المصدر: Revista de la Asociación Argentina de Ortopedia y Traumatología, Vol 89, Iss 6, Pp 651-656 (2024)

مصطلحات موضوعية: osteocondroma, columna vertebral, exostosis múltiple hereditaria, mielopatía, niños, Orthopedic surgery, RD701-811

وصف الملف: electronic resource

Relation: https://raaot.org.ar/index.php/AAOTMAG/article/view/1979; https://doaj.org/toc/1515-1786; https://doaj.org/toc/1852-7434

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

المؤلفون: Lanese, Ivan, Dal Lago, Ugo, Choudhury, Vikraman

المساهمون: Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)-Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Department of Computer Science and Engineering Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), ACM, ANR-23-CE25-0012,SmartCloud,Adaptivité Dynamique Intelligente pour les Systèmes de Cloud Computing(2023), European Project: 101106046 ,HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA) ,HORIZON-MSCA-2022-PF-01 ,ReGraDe-CS(2023)

المصدر: PLanQC 2025 - Fifth International Workshop on Programming Languages for Quantum Computing ; https://hal.science/hal-04838281 ; PLanQC 2025 - Fifth International Workshop on Programming Languages for Quantum Computing, ACM, Jan 2025, Denver (Colorado), United States

مصطلحات موضوعية: Multiparty Session Types, Linear Types, Quantum Protocols, Quantum Processes, Quantum Computing, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: United States

Time: Denver (Colorado), United States

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2409.11133; info:eu-repo/grantAgreement//101106046 /EU/Reversible Gray Debugging of Concurrent Systems/ReGraDe-CS; ARXIV: 2409.11133

الاتاحة: https://hal.science/hal-04838281
https://hal.science/hal-04838281v1/document
https://hal.science/hal-04838281v1/file/main.pdf

المؤلفون: Jesus Alberto Nuñez, Alisson Dal Lago, Marlos Rockenbach

المصدر: Revista Brasileira de Ensino de Física, Vol 46 (2024)

مصطلحات موضوعية: Raios cósmicos, múons, detectores, anisotropia, Physics, QC1-999

وصف الملف: electronic resource

Relation: http://www.scielo.br/scielo.php?script=sci_arttext&pid=S1806-11172024000100484&lng=pt&tlng=pt; http://www.scielo.br/pdf/rbef/v46/1806-9126-rbef-46-e20240249.pdf; https://doaj.org/toc/1806-9126

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

المؤلفون: Paolo Dal Lago, Nikolaos Vavlas, Lammert Kooistra, Gerlinde B. De Deyn

المصدر: Smart Agricultural Technology, Vol 9, Iss , Pp 100608- (2024)

مصطلحات موضوعية: Cover crop, Remote sensing, N uptake, Intercropping, Multispectral, Agriculture (General), S1-972, Agricultural industries, HD9000-9495

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2772375524002132; https://doaj.org/toc/2772-3755

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

المؤلفون: Elisa Dinoi, Alessandro Prete, Chiara Sardella, Laura Pierotti, Simone Della Valentina, Anna Dal Lago, Simona Borsari, Elena Pardi, Maria Adelaide Caligo, Angela Michelucci, Liborio Torregrossa, Piercarlo Rossi, Filomena Cetani

المصدر: Frontiers in Endocrinology, Vol 15 (2024)

مصطلحات موضوعية: hyperparathyroidism, brown tumors, bone metastases, parathyroid carcinoma, hungry bone, Diseases of the endocrine glands. Clinical endocrinology, RC648-665

وصف الملف: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fendo.2024.1414896/full; https://doaj.org/toc/1664-2392

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

المؤلفون: Anna Manfredi, Sofia Dal Lago, Daniele Luigi Romano, Alessandro Gabbiadini

المصدر: Cyberpsychology: Journal of Psychosocial Research on Cyberpspace, Vol 18, Iss 4 (2024)

مصطلحات موضوعية: virtual reality, metaverse, time compression, time perception, Psychology, BF1-990

وصف الملف: electronic resource

Relation: https://cyberpsychology.eu/article/view/35248; https://doaj.org/toc/1802-7962

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

المؤلفون: Antonelli, Melissa, Dal Lago, Ugo, Davoli, Davide, Oitavem, Isabel, Pistone, Paolo

المساهمون: Melissa Antonelli and Ugo Dal Lago and Davide Davoli and Isabel Oitavem and Paolo Pistone

مصطلحات موضوعية: Bounded Arithmetic, Randomized Computation, Implicit Computational Complexity

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

Relation: Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.10

الاتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.10
https://nbn-resolving.org/urn:nbn:de:0030-drops-196538
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.10

المؤلفون: Marine Georgery, Aurélie Ram, Tess Van Meerhaeghe, Annie Drowart, Anne-Lorraine Clause, Lissandra Dal Lago, Héloïse Rouvière

المصدر: Case Reports in Oncology, Vol 17, Iss 1, Pp 239-246 (2024)

مصطلحات موضوعية: case report, melanoma, immune checkpoint inhibitors, fanconi syndrome, elderly, Neoplasms. Tumors. Oncology. Including cancer and carcinogens, RC254-282

وصف الملف: electronic resource

Relation: https://beta.karger.com/Article/FullText/535553; https://doaj.org/toc/1662-6575

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

المؤلفون: Cardoso, F, Bartlett, JMS, Slaets, L, van Deurzen, CHM, van Leeuwen-Stok, E, Porter, P, Linderholm, B, Hedenfalk, I, Schroder, C, Martens, J, Bayani, J, van Asperen, C, Murray, M, Hudis, C, Middleton, L, Vermeij, J, Punie, K, Fraser, J, Nowaczyk, M, Rubio, IT, Aebi, S, Kelly, C, Ruddy, KJ, Winer, E, Nilsson, C, Dal Lago, L, Korde, L, Benstead, K, Bogler, O, Goulioti, T, Peric, A, Litiere, S, Aalders, KC, Poncet, C, Tryfonidis, K, Giordano, SH

المصدر: Annals of oncology : official journal of the European Society for Medical Oncology. 29(2):405-417

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

URL الوصول: http://kipublications.ki.se/Default.aspx?queryparsed=id:137682396

المؤلفون: Lima, Bianca de Souza, Domingos, Isadora Latrônico, Coll , Victor Santos, Rodrigues , Barbara dos Reis Dal Lago, Carneiro, Felipe Sanches, Rodrigues Neto , Celso Dal Lago, Rodrigues Filho, João Nelson dos Santos, Sousa, Geovanna Gonçalves, Araújo Neto, Arialdo Ferreira de, Furlaneto , Jéssica Vanessa Iglesias, Candia, Bruna Franco, Macerou , Isadora Pertinhes, Santos, Tauanne Fernanda dos, Tavares, Marco Antônio de Souza Borges

المصدر: Research, Society and Development; Vol. 13 No. 8; e2413846417 ; Research, Society and Development; Vol. 13 Núm. 8; e2413846417 ; Research, Society and Development; v. 13 n. 8; e2413846417 ; 2525-3409

مصطلحات موضوعية: Trastornos hidroelectrolíticos en COVID-19, Hipernatremia y COVID-19, Disnatremia en SARS-CoV-2, Distúrbios hidroeletrolíticos na COVID-19, Hipernatremia e COVID-19, Disnatremia na SARS-CoV-2, Hydroelectrolytic disorders in COVID-19, Hypernatremia and COVID-19, Dysnatremia in SARS-CoV-2

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

Relation: https://rsdjournal.org/index.php/rsd/article/view/46417/36888; https://rsdjournal.org/index.php/rsd/article/view/46417

الاتاحة: https://rsdjournal.org/index.php/rsd/article/view/46417
https://doi.org/10.33448/rsd-v13i8.46417

المؤلفون: Giovannini E., Bonasoni M. P., Pascali J. P., Bini C., Pelletti G., Gualandi A., Dal Lago G., Mercati A., Mariotti B., Pasini G. P., Poll I. A., Fais P.

المساهمون: Giovannini, E., Bonasoni, M. P., Pascali, J. P., Bini, C., Pelletti, G., Gualandi, A., Dal Lago, G., Mercati, A., Mariotti, B., Pasini, G. P., Poll, I. A., Fais, P.

مصطلحات موضوعية: buprenorphine, epigenetic, methadone, neonatal withdrawal symptoms from opioid drugs (NOWS), opioids in pregnancy, pharmacogenomic, toxicology

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001191584400001; volume:11; issue:3; firstpage:278; journal:CHILDREN; https://hdl.handle.net/11390/1274445; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85188662519

الاتاحة: https://hdl.handle.net/11390/1274445
https://doi.org/10.3390/children11030278

المؤلفون: Baltrocchi, Alberto Pietro Damiano, Maggi, Lucrezia, Dal Lago, Bruno, Torretta, Vincenzo, Szabó, Márta, Nasirov, Muhtor, Kabilov, Ergash, Rada, Elena Cristina

المساهمون: Baltrocchi, Alberto Pietro Damiano, Maggi, Lucrezia, Dal Lago, Bruno, Torretta, Vincenzo, Szabó, Márta, Nasirov, Muhtor, Kabilov, Ergash, Rada, Elena Cristina

مصطلحات موضوعية: indoor radon, radon exposure, mitigation technique, building, environmental protection

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001140463200001; volume:16; issue:1; firstpage:1; lastpage:16; numberofpages:16; journal:SUSTAINABILITY; https://hdl.handle.net/11383/2169011; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85181918278

الاتاحة: https://hdl.handle.net/11383/2169011
https://doi.org/10.3390/su16010324

المؤلفون: Lanese, Ivan, Dal Lago, Ugo, Choudhury, Vikraman

المساهمون: Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)-Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), ANR-23-CE25-0012,SmartCloud,Adaptivité Dynamique Intelligente pour les Systèmes de Cloud Computing(2023), European Project: 101106046 ,HORIZON.1.2 - Marie Skłodowska-Curie Actions (MSCA) ,HORIZON-MSCA-2022-PF-01 ,ReGraDe-CS(2023)

المصدر: Lecture notes in computer science ; SEFM 2024 - 22nd International Conference on Software Engineering and Formal Methods ; https://inria.hal.science/hal-04832740 ; SEFM 2024 - 22nd International Conference on Software Engineering and Formal Methods, Nov 2024, Aveiro (Portugal), Portugal. pp.385-403, ⟨10.1007/978-3-031-77382-2_22⟩ ; https://link.springer.com/book/10.1007/978-3-031-77382-2

مصطلحات موضوعية: Multiparty Session Types, Linear Types, Quantum Protocols, Quantum Processes, Quantum Computing, [INFO]Computer Science [cs]

جغرافية الموضوع: Aveiro (Portugal), Portugal

Relation: info:eu-repo/grantAgreement//101106046 /EU/Reversible Gray Debugging of Concurrent Systems/ReGraDe-CS

الاتاحة: https://inria.hal.science/hal-04832740
https://inria.hal.science/hal-04832740v1/document
https://inria.hal.science/hal-04832740v1/file/published.pdf
https://doi.org/10.1007/978-3-031-77382-2_22

المؤلفون: Baillot, Patrick, Dal Lago, Ugo, Kop, Cynthia, Vale, Deivid

المساهمون: 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), 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), Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)-Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Radboud University Nijmegen, This work is supported by the NWO TOP project “Implicit Complexity through Higher-Order Rewriting”, NWO 612.001.803/7571, the NWO VIDI project “Constrained Higher-Order Rewriting and Program Equivalence”, NWO VI.Vidi.193.075, and the ERC CoG “Differential Program Semantics”, GA 818616.

المصدر: Lecture notes in computer science ; FoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures ; https://hal.science/hal-04743265 ; FoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures, Apr 2024, Luxembourg, Luxembourg. pp.70-91, ⟨10.1007/978-3-031-57231-9_4⟩ ; https://link.springer.com/book/10.1007/978-3-031-57231-9

مصطلحات موضوعية: Basic Feasible Functions, Higher-Order Term Rewriting, Tuple Interpretations, Computational Complexity, [INFO]Computer Science [cs]

جغرافية الموضوع: Luxembourg

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2401.12385v2; ARXIV: 2401.12385v2

الاتاحة: https://hal.science/hal-04743265
https://hal.science/hal-04743265v1/document
https://hal.science/hal-04743265v1/file/paper_basicFeasibleFunctionals.pdf
https://doi.org/10.1007/978-3-031-57231-9_4

المؤلفون: Figueiredo, Júlia Dal Lago, Silva, Daniel Augusto da

Relation: https://doi.org/10.5281/zenodo.11111647; https://doi.org/10.5281/zenodo.11111648; oai:zenodo.org:11111648

الاتاحة: https://doi.org/10.5281/zenodo.11111648

المؤلفون: Colledan, Andrea, Dal Lago, Ugo

المصدر: Programming Languages and Systems ; Lecture Notes in Computer Science ; page 3-30 ; ISSN 0302-9743 1611-3349 ; ISBN 9783031572661 9783031572678

الاتاحة: http://dx.doi.org/10.1007/978-3-031-57267-8_1
https://link.springer.com/content/pdf/10.1007/978-3-031-57267-8_1

المؤلفون: Iasmin Borges Fraga, Larissa Gussatschenko Caballero, Pedro Dal Lago, João Lucas Campos de Oliveira, Marina Scherer, Mauren Porto Haeffner, Eneida Rejane Rabelo-Silva

المصدر: Trials, Vol 24, Iss 1, Pp 1-10 (2023)

مصطلحات موضوعية: Randomized clinical trial, Heart failure, Early mobilization, Cardiac rehabilitation, Virtual reality, Exercise tolerance, Medicine (General), R5-920

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1745-6215

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

المؤلفون: Avishkar Bhoopchand, Bethanie Brownfield, Adrian Collister, Agustin Dal Lago, Ashley Edwards, Richard Everett, Alexandre Fréchette, Yanko Gitahy Oliveira, Edward Hughes, Kory W. Mathewson, Piermaria Mendolicchio, Julia Pawar, Miruna Pȋslar, Alex Platonov, Evan Senter, Sukhdeep Singh, Alexander Zacherl, Lei M. Zhang

المصدر: Nature Communications, Vol 14, Iss 1, Pp 1-14 (2023)

مصطلحات موضوعية: Science

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2041-1723

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

المؤلفون: Fernanda Laís Loro, Riane Martins, Cintia Laura Pereira de Araújo, Lucio Rene Prade, Denis Lima do Rosário, Marcos César da Rocha Seruffo, Italo Adriano Moraes de Freitas, Jéferson Nobre, Cristiano Bonato Both, Pedro Dal Lago

المصدر: Trials, Vol 24, Iss 1, Pp 1-12 (2023)

مصطلحات موضوعية: Exercise training, Exercise intensity, Mobile applications, Sedentary lifestyle, Medicine (General), R5-920

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1745-6215

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

المؤلفون: ALINE C.P. MACEDO, PATRICIA M. BOCK, MARCO AURÉLIO L. SAFFI, MARIANA M. MADALOSSO, PEDRO DAL LAGO, KARINA R. CASALI, BEATRIZ D. SCHAAN

المصدر: Anais da Academia Brasileira de Ciências, Vol 96, Iss 1 (2024)

مصطلحات موضوعية: Blood glucose, electrical stimulation therapy, glycemic control, physical therapy modalities, Science

وصف الملف: electronic resource

Relation: http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0001-37652024000100701&tlng=en; https://doaj.org/toc/1678-2690

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