المؤلفون: Roldan A. Carpisano

مصطلحات موضوعية: mixed method, social work, hybrid program, curriculum development plan

Relation: https://zenodo.org/communities/pemj; https://doi.org/10.5281/zenodo.8002110; https://doi.org/10.5281/zenodo.8002111; oai:zenodo.org:8002111

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

المؤلفون: Lehmann, Steffen

المصدر: Architecture Faculty Research

مصطلحات موضوعية: History and Evolution of Library Design, Public Building, Library Typologies, Public Space, Hybrid Program, User Engagement, Flexibility, Sustainable Design, Architecture

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

Relation: https://digitalscholarship.unlv.edu/arch_fac_articles/79; https://digitalscholarship.unlv.edu/context/arch_fac_articles/article/1077/viewcontent/Reimaging_the_Library_of_the_Future_From_Social_Condenser_and_Community_Hub_to_Regenerative_Design__1____Steffen_Lehmann.pdf

الاتاحة: https://digitalscholarship.unlv.edu/arch_fac_articles/79
https://doi.org/10.1080/01616846.2023.2242626
https://digitalscholarship.unlv.edu/context/arch_fac_articles/article/1077/viewcontent/Reimaging_the_Library_of_the_Future_From_Social_Condenser_and_Community_Hub_to_Regenerative_Design__1____Steffen_Lehmann.pdf

المؤلفون: Azzolini D., Riguzzi F., Lamma E.

المساهمون: Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, and Jessica Zangari, Azzolini, D., Riguzzi, F., Lamma, E.

مصطلحات موضوعية: Hybrid Program, Probabilistic Logic Programming, Semantics

وصف الملف: STAMPA

Relation: ispartofbook:CEUR Workshop Proceedings; 38th International Conference on Logic Programming Workshops, ICLP Workshops 2022; volume:3193; firstpage:1; lastpage:5; numberofpages:5; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11392/2494553; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85137654615; https://ceur-ws.org/Vol-3193/; https://ceur-ws.org/Vol-3193/short1PLP.pdf

الاتاحة: https://hdl.handle.net/11392/2494553
https://ceur-ws.org/Vol-3193/
https://ceur-ws.org/Vol-3193/short1PLP.pdf

المؤلفون: Huerta y Munive, Jonathan Julián, Struth, Georg

المصدر: Huerta y Munive , J J & Struth , G 2022 , ' Predicate Transformer Semantics for Hybrid Systems : Verification Components for Isabelle/HOL ' , Journal of Automated Reasoning , vol. 66 , no. 1 , pp. 93-139 . https://doi.org/10.1007/s10817-021-09607-x

مصطلحات موضوعية: Hybrid program verification, Hybrid systems, Interactive theorem proving, Modal Kleene algebra, Predicate transformers

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

الاتاحة: https://curis.ku.dk/portal/da/publications/predicate-transformer-semantics-for-hybrid-systems(a3093d76-2974-43db-b287-40a329e48148).html
https://doi.org/10.1007/s10817-021-09607-x
https://curis.ku.dk/ws/files/301360283/Predicate_Transformer_Semantics_for_Hybrid_Systems.pdf
http://www.scopus.com/inward/record.url?scp=85118291083&partnerID=8YFLogxK

المؤلفون: Martins, Luís Filipe Gomes

المساهمون: Rodrigues, Luis, RUN

مصطلحات موضوعية: Executive education, Business school, SME, Hybrid program, Domínio/Área Científica::Ciências Sociais::Economia e Gestão

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

الاتاحة: http://hdl.handle.net/10362/52261

المؤلفون: Azzolini D., Riguzzi F., Lamma E.

المساهمون: Azzolini, D., Riguzzi, F., Lamma, E.

مصطلحات موضوعية: Hybrid program, Probabilistic Logic Programming

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000635610400002; volume:294; firstpage:103452-1; lastpage:103452-23; numberofpages:23; journal:ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11392/2433304; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85099296234; https://www.sciencedirect.com/science/article/pii/S0004370221000035

الاتاحة: http://hdl.handle.net/11392/2433304
https://doi.org/10.1016/j.artint.2021.103452
https://www.sciencedirect.com/science/article/pii/S0004370221000035

المؤلفون: Kathryn L. Havens, Nicole A. Saulovich, Karin J. Saric

المصدر: Journal of the Medical Library Association, Vol 108, Iss 2 (2020)

مصطلحات موضوعية: library collections, collection development, electronic resources, mobile resources, anatomy education, anatomy app, app implementation, physical therapy, online instruction, online learning environment, hybrid program, Bibliography. Library science. Information resources, Medicine

وصف الملف: electronic resource

Relation: http://jmla.pitt.edu/ojs/jmla/article/view/825; https://doaj.org/toc/1536-5050; https://doaj.org/toc/1558-9439

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

المؤلفون: Nafiah Ariyani

المصدر: Ekuitas: Jurnal Ekonomi dan Keuangan, Vol 19, Iss 4, Pp 461-479 (2018)

مصطلحات موضوعية: poverty alleviation, hybrid program, PROMETHEE, Economics as a science, HB71-74

وصف الملف: electronic resource

Relation: https://ejournal.stiesia.ac.id/ekuitas/article/view/73; https://doaj.org/toc/2548-298X; https://doaj.org/toc/2548-5024

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

المؤلفون: Ariyani, Nafiah

المصدر: EKUITAS (Jurnal Ekonomi dan Keuangan); Vol 19 No 4 (2015); 461 - 479 ; 2548-5024 ; 2548-298X

مصطلحات موضوعية: poverty alleviation, hybrid program, PROMETHEE

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

Relation: https://ejournal.stiesia.ac.id/ekuitas/article/view/73/68; https://ejournal.stiesia.ac.id/ekuitas/article/view/73

الاتاحة: https://ejournal.stiesia.ac.id/ekuitas/article/view/73

المؤلفون: Rodríguez Campiña, Luis Enrique

مصطلحات موضوعية: Equipamiento sociocultural, Hybrid program, Socio-cultural facility, Regeneración, Training center, Programa híbrido, Accesibilidad, Accessibility, Identity, Centro de formación, Sostenibilidad, Sustainability, Regeneration, Intergenerational center, PROYECTOS ARQUITECTONICOS, Identidad, Máster Universitario en Arquitectura-Màster Universitari en Arquitectura, Centro intergeneracional

وصف الملف: application/pdf; application/octet-stream

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1560::11cf9ab9a78d1fed1cb399b9deaa705e
https://hdl.handle.net/10251/189780

المؤلفون: ALBERTI, Marco, COTA, Giuseppe, RIGUZZI, Fabrizio, ZESE, Riccardo

المساهمون: Stefano Cagnoni and Marco Gori and Marco Maratea, Alberti, Marco, Cota, Giuseppe, Riguzzi, Fabrizio, Zese, Riccardo

مصطلحات موضوعية: Probabilistic Logic Programming, Probabilistic Logical Inference, Hybrid program

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783319491295; info:eu-repo/semantics/altIdentifier/wos/WOS:000389797400026; ispartofbook:Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016; 15th International Conference on Italian Association for Artificial Intelligence, AIIA 2016; volume:10037; firstpage:351; lastpage:363; numberofpages:13; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:Stefano Cagnoni and Marco Gori and Marco Maratea; http://hdl.handle.net/11392/2350956; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85006074125; https://link.springer.com/chapter/10.1007/978-3-319-49130-1_26

الاتاحة: http://hdl.handle.net/11392/2350956
https://doi.org/10.1007/978-3-319-49130-1_26
https://link.springer.com/chapter/10.1007/978-3-319-49130-1_26

المؤلفون: ALBERTI, Marco, BELLODI, Elena, COTA, Giuseppe, RIGUZZI, Fabrizio, ZESE, Riccardo

المساهمون: Alberti, Marco, Bellodi, Elena, Cota, Giuseppe, Riguzzi, Fabrizio, Zese, Riccardo

مصطلحات موضوعية: probabilistic logic programming, probabilistic logical inference, hybrid program

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000399736500004; volume:11; issue:1; firstpage:47; lastpage:64; numberofpages:18; journal:INTELLIGENZA ARTIFICIALE; http://hdl.handle.net/11392/2368375

الاتاحة: http://hdl.handle.net/11392/2368375
https://doi.org/10.3233/IA-170106
https://content.iospress.com/articles/intelligenza-artificiale/ia106

المؤلفون: Dahlberg, E.A. (author), van der Vecht, B. (author), Delle Donne, C. (author), Skrzypczyk, M.D. (author), te Raa, I. (author), Kozlowski, W. (author), Wehner, S.D.C. (author)

مصطلحات موضوعية: quantum network, quantum internet, nstruction set architecture, oftware stack, remote entanglement, hybrid program

Relation: http://www.scopus.com/inward/record.url?scp=85139947516&partnerID=8YFLogxK; Quantum Science and Technology--2058-9565--49e97886-8166-4b3f-aea8-065dd7a13118; http://resolver.tudelft.nl/uuid:49ee016f-8ce2-4cc9-b07d-674dd631e3ad; https://doi.org/10.1088/2058-9565/ac753f

الاتاحة: http://resolver.tudelft.nl/uuid:49ee016f-8ce2-4cc9-b07d-674dd631e3ad
https://doi.org/10.1088/2058-9565/ac753f

المؤلفون: Dahlberg, E.A., van der Vecht, B., Delle Donne, C., Skrzypczyk, M.D., te Raa, I., Kozlowski, W., Wehner, S.D.C.

المصدر: Quantum Science and Technology, 7

مصطلحات موضوعية: quantum internet, oftware stack, remote entanglement, hybrid program, quantum network, nstruction set architecture

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::614847b71fd04db68050b32742581765
http://resolver.tudelft.nl/uuid:49ee016f-8ce2-4cc9-b07d-674dd631e3ad

المصدر: Quantum Science and Technology. 7

مصطلحات موضوعية: quantum internet, oftware stack, remote entanglement, hybrid program, quantum network, nstruction set architecture

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dris___00893::e02591624ed825423a1faa83aebf32dc
http://resolver.tudelft.nl/uuid:49ee016f-8ce2-4cc9-b07d-674dd631e3ad

المؤلفون: Rodríguez Campiña, Luis Enrique

المساهمون: Peñín Llobell, Pablo, Universitat Politècnica de València. Departamento de Proyectos Arquitectónicos - Departament de Projectes Arquitectònics, Universitat Politècnica de València. Escuela Técnica Superior de Arquitectura - Escola Tècnica Superior d'Arquitectura

مصطلحات موضوعية: Accesibilidad, Regeneración, Programa híbrido, Sostenibilidad, Centro intergeneracional, Equipamiento sociocultural, Centro de formación, Identidad, Accessibility, Regeneration, Hybrid program, Sustainability, Intergenerational center, Socio-cultural facility, Training center, Identity, PROYECTOS ARQUITECTONICOS, Máster Universitario en Arquitectura-Màster Universitari en Arquitectura

جغرافية الموضوع: east=-0.37427324224788006, north=39.48517512982568, name=Carrer de Ruaya, bajo, 46009 València, Valencia, Espanya

Relation: http://hdl.handle.net/10251/189780

الاتاحة: http://hdl.handle.net/10251/189780

المؤلفون: Tomotaka KURODA, Yoshisuke KUMANO, 熊野 善介, 黒田 友貴

المصدر: 科学教育研究 / Journal of Science Education in Japan. 2018, 42(2):82

المؤلفون: Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, Marco Alberti, Riccardo Zese

المصدر: Intelligenza Artificiale. 11:47-64

مصطلحات موضوعية: Web browser, Computer science, probabilistic logic programming, probabilistic logical inference, hybrid program, Probabilistic logic, 0102 computer and information sciences, 02 engineering and technology, hybrid program, 01 natural sciences, NO, World Wide Web, 010201 computation theory & mathematics, Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, probabilistic logical inference, 020201 artificial intelligence & image processing, Logical inference, probabilistic logic programming

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::590b8d9fdd2a1551476ddb61cbb836f9
https://doi.org/10.3233/ia-170106

المؤلفون: Jonathan Julián Huerta y Munive, Georg Struth

المصدر: Huerta y Munive, J J & Struth, G 2022, ' Predicate Transformer Semantics for Hybrid Systems : Verification Components for Isabelle/HOL ', Journal of Automated Reasoning, vol. 66, no. 1, pp. 93-139 . https://doi.org/10.1007/s10817-021-09607-x

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Hybrid systems, Interactive theorem proving, Series (mathematics), Computer science, Programming language, HOL, computer.software_genre, Hybrid program verification, Logic in Computer Science (cs.LO), Predicate transformer semantics, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, Artificial Intelligence, Hybrid system, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Dynamic logic (modal logic), Vector field, Predicate transformers, Differential (infinitesimal), computer, Modal Kleene algebra, Software, Invariant (computer science)

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19f064724f755be84c6d4a1e8fc79061

المؤلفون: Arnaud, Nguembang Fadja, Riguzzi, Fabrizio

المساهمون: Andreas Holzinger, Randy Goebel, Massimo Ferri and Vasile Palade, NGUEMBANG FADJA, Arnaud, Riguzzi, Fabrizio

مصطلحات موضوعية: Hybrid program, Probabilistic Logic Programming, Probabilistic logical inference, Theoretical Computer Science, Computer Science (all), stat, archi

Relation: http://hdl.handle.net/11392/2378053

الاتاحة: http://hdl.handle.net/11392/2378053