المؤلفون: Menendez, HD, Boreale, M, Gorla, D, Clark, D

المصدر: IEEE Transactions on Software Engineering (2020) (In press).

مصطلحات موضوعية: Unit Testing, Output Sampling, Output Diversity, SMT Solver, OutGen

وصف الملف: text

Relation: https://discovery.ucl.ac.uk/id/eprint/10094844/1/outgen-main.pdf; https://discovery.ucl.ac.uk/id/eprint/10094844/

الاتاحة: https://discovery.ucl.ac.uk/id/eprint/10094844/1/outgen-main.pdf
https://discovery.ucl.ac.uk/id/eprint/10094844/

المؤلفون: Mahidhar Gorla, D. P., Edin, Hans

مصطلحات الفهرس: Antenna, Bushing, Partial discharge, Signal Conditioning, Ultra High Frequency technique, Energy Systems, Energisystem, Conference paper, info:eu-repo/semantics/conferenceObject, text

URL: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-335086
2023 IEEE Electrical Insulation Conference, EIC 2023

المؤلفون: Menendez, HD, Boreale, M, Gorla, D, Clark, D

المساهمون: Menendez, Hd, Boreale, M, Gorla, D, Clark, D

مصطلحات موضوعية: Unit Testing, Output Sampling, Output Diversity, SMT Solver, OutGen

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000742179000017; volume:48; issue:1; firstpage:295; lastpage:308; numberofpages:14; journal:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; http://hdl.handle.net/11573/1455338; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85123183897

الاتاحة: http://hdl.handle.net/11573/1455338
https://doi.org/10.1109/TSE.2020.2987377

المؤلفون: Granese F., Romanelli M., Gorla D., Palamidessi C., Piantanida P.

المساهمون: M. Ranzato, A. Beygelzimer, Y. Dauphin, P.S. Liang, J. Wortman Vaughan, Granese, F., Romanelli, M., Gorla, D., Palamidessi, C., Piantanida, P.

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-7138-4539-3; info:eu-repo/semantics/altIdentifier/wos/WOS:000901616408014; ispartofbook:NIPS'21: Proceedings of the 35th International Conference on Neural Information Processing Systems; 35th Conference on Neural Information Processing Systems, NeurIPS 2021; volume:7; firstpage:5669; lastpage:5681; numberofpages:13; serie:ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS; https://hdl.handle.net/11365/1284874

الاتاحة: https://hdl.handle.net/11365/1284874
https://dl.acm.org/doi/10.5555/3540261.3540694

المؤلفون: Gorla, D. E., Zhou, X. N., Diotaiuti, L., Khoa, P. T., /Waleckx, Etienne, de Souza, R. D. M., Liu, Q., Lam, T. X., Freilij, H.

مصطلحات موضوعية: Chagas disease, epidemiological scenarios, global health

جغرافية الموضوع: AMERIQUE LATINE, CHINE, VIETNAM, INDE, SRI LANKA, MONDE

Relation: https://www.documentation.ird.fr/hor/fdi:010085207; oai:ird.fr:fdi:010085207; Gorla D. E., Zhou X. N., Diotaiuti L., Khoa P. T., Waleckx Etienne, de Souza R. D. M., Liu Q., Lam T. X., Freilij H. Different profiles and epidemiological scenarios : past, present and future. 2022, 117, p. e200409 [10 p.]

الاتاحة: https://www.documentation.ird.fr/hor/fdi:010085207

المؤلفون: Ray, A., Soni, S. L., Singh, A., Naik, B.N., Ghimire, A., Ganesh, V., Gorla, D.

المصدر: Anaesthesia Reports ; volume 10, issue 1 ; ISSN 2637-3726 2637-3726

الاتاحة: http://dx.doi.org/10.1002/anr3.12168
https://onlinelibrary.wiley.com/doi/pdf/10.1002/anr3.12168
https://onlinelibrary.wiley.com/doi/full-xml/10.1002/anr3.12168

المؤلفون: Bottoni P., De Nicola R., Gorla D.

المساهمون: Bottoni, P., De Nicola, R., Gorla, D.

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000653017200012; volume:121; journal:THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING; http://hdl.handle.net/11573/1631804; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85100631560

الاتاحة: http://hdl.handle.net/11573/1631804
https://doi.org/10.1016/j.jlamp.2021.100663

المؤلفون: Granese F., Gorla D., Palamidessi C.

المساهمون: Granese, F., Gorla, D., Palamidessi, C.

مصطلحات موضوعية: Diffusion network, Privacy/utility, Regret ratio, Submodular functions

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000604193200001; volume:20; issue:5; firstpage:763; lastpage:782; numberofpages:20; journal:INTERNATIONAL JOURNAL OF INFORMATION SECURITY; http://hdl.handle.net/11573/1504031; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85098732893

الاتاحة: http://hdl.handle.net/11573/1504031
https://doi.org/10.1007/s10207-020-00530-7

المؤلفون: Gorla D., Salvo I.

المساهمون: Gorla, D., Salvo, I.

مصطلحات موضوعية: Event Structures, Behavioral Equivalences, Semantics of True Concurrency

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000618727200003; journal:THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING; http://hdl.handle.net/11573/1455329; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85097580616

الاتاحة: http://hdl.handle.net/11573/1455329
https://doi.org/10.1016/j.jlamp.2020.100631

المؤلفون: Núñez-Campero, S. R., Benitez-Vieyra, S., Gorla, D. E., Ovruski, S. M.

مصطلحات موضوعية: Ecology and Population Biology

وصف الملف: text/html

Relation: http://aesa.oxfordjournals.org/cgi/content/short/109/5/730; http://dx.doi.org/10.1093/aesa/saw045

الاتاحة: http://aesa.oxfordjournals.org/cgi/content/short/109/5/730
https://doi.org/10.1093/aesa/saw045

المؤلفون: Boreale M., Gorla D.

المساهمون: Boreale, M., Gorla, D.

مصطلحات موضوعية: approximate counting, model counting, XOR sampling

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-31174-2; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-31175-9; ispartofbook:The art of modelling computational systems: a journey from logic and concurrency to security and privacy; firstpage:363; lastpage:378; numberofpages:16; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11573/1355289; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85075083985

الاتاحة: http://hdl.handle.net/11573/1355289
https://doi.org/10.1007/978-3-030-31175-9_21

المؤلفون: Bottoni P., Gorla D., Kasangian S., Labella A.

المساهمون: Bottoni, P., Gorla, D., Kasangian, S., Labella, A.

مصطلحات موضوعية: categorical logic, contract, distributed knowledge, doctrine, epistemic logic, modal operators

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-21484-5; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-21485-2; ispartofbook:Models, Languages, and Tools for Concurrent and Distributed Programming; firstpage:298; lastpage:314; numberofpages:17; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11573/1355284; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85068861412

الاتاحة: http://hdl.handle.net/11573/1355284
https://doi.org/10.1007/978-3-030-21485-2_17

المؤلفون: Sánchez‐Díaz, E., Gleiser, R. M., Lopez, L. R., Guzman, C., Contigiani, M. S., Spinsanti, L., Gardenal, C. N., Gorla, D. E.

المساهمون: Fondo para la Investigación Científica y Tecnológica

المصدر: Medical and Veterinary Entomology ; volume 36, issue 1, page 43-55 ; ISSN 0269-283X 1365-2915

الاتاحة: http://dx.doi.org/10.1111/mve.12550
https://onlinelibrary.wiley.com/doi/pdf/10.1111/mve.12550
https://onlinelibrary.wiley.com/doi/full-xml/10.1111/mve.12550

المؤلفون: Porcasi, X., Catalá, S. S., Hrellac, H., Scavuzzo, M. C., Gorla, D. E.

المصدر: Journal of Medical Entomology ; volume 43, issue 5, page 1060-1067 ; ISSN 0022-2585 1938-2928

الاتاحة: https://doi.org/10.1093/jmedent/43.5.1060
http://academic.oup.com/jme/article-pdf/43/5/1060/18213919/jmedent43-1060.pdf

المؤلفون: Sacchi, F., Gorla, D., Casirani, M.

المساهمون: Sacchi, Furio, Gorla, Davide, Casirani, Marilena

مصطلحات موضوعية: Palazzo Pignano, Settore L-ANT/07 - ARCHEOLOGIA CLASSICA

Relation: volume:50; issue:1; firstpage:165; lastpage:191; numberofpages:27; issueyear:2020; journal:INSULA FULCHERIA; http://hdl.handle.net/10807/168863

الاتاحة: http://hdl.handle.net/10807/168863

المؤلفون: Kaiser, A, Kroening, D, Wahl, T, Baldan, P, Gorla, D

المساهمون: Baldan, P, Gorla, D

المصدر: CONCUR 2014 – Concurrency Theory ISBN: 9783662445839
CONCUR
Lecture Notes in Computer Science

مصطلحات موضوعية: TheoryofComputation_MISCELLANEOUS, Model checking, Theoretical computer science, Computer science, Monotonic function, Thread (computing), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Predicate abstraction, 0202 electrical engineering, electronic engineering, information engineering, Abstraction, Mathematics, 020207 software engineering, computer.file_format, Undecidable problem, Computer Science Applications, Decidability, Monotone polygon, Computational Theory and Mathematics, 010201 computation theory & mathematics, Computer Science::Programming Languages, 020201 artificial intelligence & image processing, Mutual exclusion, Executable, computer, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d3ee7bc494372ce11c453f6ccfb23c44
https://ora.ox.ac.uk/objects/uuid:65f16bed-cebd-44a7-a0b2-a87907ec577f

المؤلفون: Catalá, S., Sachetto, C., Moreno, M., Rosales, R., Salazar-Schettino, P. M., Gorla, D.

المصدر: Journal of Medical Entomology ; volume 42, issue 5, page 719-725 ; ISSN 0022-2585 1938-2928

الاتاحة: http://dx.doi.org/10.1093/jmedent/42.5.719
http://academic.oup.com/jme/article-pdf/42/5/719/18210093/jmedent42-0719.pdf

المؤلفون: Sánchez‐Díaz, E., Gleiser, R. M., Lopez, L. R., Guzman, C., Contigiani, M. S., Spinsanti, L., Gardenal, C. N., Gorla, D. E.

المصدر: Medical & Veterinary Entomology; Mar2022, Vol. 36 Issue 1, p43-55, 13p

مصطلحات موضوعية: OVIPARITY, AEDES aegypti, POPULATION density, REMOTE-sensing images, PRODUCT image

مصطلحات جغرافية: ARGENTINA

المؤلفون: Sacchi, Furio, Gorla, D., Casirani, Marilena

مصطلحات موضوعية: Palazzo Pignano, Settore L-ANT/07 - ARCHEOLOGIA CLASSICA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2601::0212277d0170de0bdd4ab3fa6be78390
http://hdl.handle.net/10807/168863

المؤلفون: Gleiser, R. M., Schelotto, G., Gorla, D. E.

المصدر: Medical and Veterinary Entomology ; volume 16, issue 4, page 364-371 ; ISSN 0269-283X 1365-2915

الاتاحة: http://dx.doi.org/10.1046/j.1365-2915.2002.00384.x
https://api.wiley.com/onlinelibrary/tdm/v1/articles/10.1046%2Fj.1365-2915.2002.00384.x
http://onlinelibrary.wiley.com/wol1/doi/10.1046/j.1365-2915.2002.00384.x/fullpdf