يعرض 1 - 10 نتائج من 502 نتيجة بحث عن '"Corradini, Andrea"', وقت الاستعلام: 1.11s تنقيح النتائج
  1. 1
    مؤتمر
    Using Genetic Algorithms for the Generation of Increasingly Challenging Terrain for Players to Navigate

    المؤلفون: Broadbent, Adam, Corradini, Andrea

    المصدر: 2024 IEEE International Conference on Evolving and Adaptive Intelligent Systems (EAIS) Evolving and Adaptive Intelligent Systems (EAIS), 2024 IEEE International Conference on. :1-8 May, 2024

    Relation: 2024 IEEE International Conference on Evolving and Adaptive Intelligent Systems (EAIS)

    Full Text Finder
    أضف إلى المفضلة
  2. 2
    تقرير
    On Categories of Nested Conditions

    المؤلفون: Rensink, Arend, Corradini, Andrea

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2408.06196

    أضف إلى المفضلة
  3. 3
    تقرير
    Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions

    المؤلفون: Stoltenow, Lara, König, Barbara, Schneider, Sven, Corradini, Andrea, Lambers, Leen, Orejas, Fernando

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2407.06864

    أضف إلى المفضلة
  4. 4
    تقرير
    Left-Linear Rewriting in Adhesive Categories

    المؤلفون: Baldan, Paolo, Castelnovo, Davide, Corradini, Andrea, Gadducci, Fabio

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory, Mathematics - Logic, F.4.1

    URL الوصول: http://arxiv.org/abs/2407.06181

    أضف إلى المفضلة
  5. 5
    مؤتمر
    Federated Learning for Intent Classification

    المؤلفون: Cureton, Marten, Corradini, Andrea

    المصدر: 2023 IEEE 19th International Conference on Intelligent Computer Communication and Processing (ICCP) Intelligent Computer Communication and Processing (ICCP), 2023 IEEE 19th International Conference on. :315-322 Oct, 2023

    Relation: 2023 IEEE 19th International Conference on Intelligent Computer Communication and Processing (ICCP)

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    Wherever I may roam—Human activity alters movements of red deer (Cervus elaphus) and elk (Cervus canadensis) across two continents

    المؤلفون: Mumme, Steffen, Middleton, Arthur D., Ciucci, Paolo, De Groeve, Johannes, Corradini, Andrea, Aikens, Ellen O., Ossi, Federico, Atwood, Paul, Balkenhol, Niko, Cole, Eric K., Debeffe, Lucie, Dewey, Sarah R., Fischer, Claude, Gude, Justin, Heurich, Marco, Hurley, Mark A., Jarnemo, Anders, 1968, Kauffman, Matthew J., Licoppe, Alain, van Loon, Emiel, McWhirter, Doug, Mong, Tony W., Pedrotti, Luca, Morellet, Nicolas, Mysterud, Atle, Peters, Wibke, Proffitt, Kelly, Saïd, Sonia, Signer, Johannes, Sunde, Peter, Starý, Martin, Cagnacci, Francesca

    المصدر: Global Change Biology. 29(20):5788-5801

    مصطلحات موضوعية: Anthropocene, Cervus spp., human footprint, migratory ungulates, movement expression, wildlife

    وصف الملف: print

    URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-51448
    https://doi.org/10.1111/gcb.16769

    View record at Wiley
    أضف إلى المفضلة
  7. 7
    تقرير
    From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness

    المؤلفون: Fritz, Tobias, Gadducci, Fabio, Trotta, Davide, Corradini, Andrea

    المصدر: Appl. Categ. Structures 31, 42 (2023)

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Category Theory, F.3, F.4

    URL الوصول: http://arxiv.org/abs/2205.06892

    أضف إلى المفضلة
  8. 8
    دورية أكاديمية
    Assessment of genetic diversity, population structure and wolf-dog hybridisation in the Eastern Romanian Carpathian wolf population

    المؤلفون: Jarausch, AnneAff1, Aff2, IDs4159802348741x_cor1, von Thaden, AlinaAff1, Aff3, Sin, TeodoraAff4, Aff5, Corradini, AndreaAff5, Aff7, Aff8, Pop, Mihai I., Chiriac, Silviu, Gazzola, Andrea, Nowak, CarstenAff1, Aff3

    المصدر: Scientific Reports. 13(1)

    Find this article in full text from Springer Verlag. Find this article in full text from ProQuest Full Text Finder
    أضف إلى المفضلة
  9. 9
    دورية أكاديمية
    Born to be wild: Captive-born and wild Iberian lynx (Lynx pardinus) reveal space-use similarities when reintroduced for species conservation concerns

    المؤلفون: Cisneros-Araujo, Pablo, Garrote, German, Corradini, Andrea, Farhadinia, Mohammad S., Robira, Benjamin, López, Guillermo, Fernández, Leonardo, López-Parra, Marcos, García-Tardío, Maribel, Arenas-Rojas, Rafael, del Rey, Teresa, Salcedo, Javier, Sarmento, Pedro, Sánchez, Juan Francisco, Palacios, María Jesús, García-Viñás, Juan Ignacio, Damiani, Maria Luisa, Hachem, Fatima, Gastón, Aitor, Cagnacci, Francesca

    المصدر: In Biological Conservation June 2024 294

    View record from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  10. 10
    دورية أكاديمية
    From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness

    المؤلفون: Fritz, Tobias, Gadducci, Fabio, Trotta, DavideAff2, IDs1048502309750z_cor3, Corradini, Andrea

    المصدر: Applied Categorical Structures: A Journal Devoted to Applications of Categorical Methods in Algebra, Analysis, Computer Science, Logic, Order and Topology. 31(5)

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء