-
1دورية أكاديمية
المؤلفون: María Laura Almada, Lucas Bang, Mariela Cestare, Silvia Grinberg, Andrés Pérez, María Eugenia Venturini, Carla Villagran
المصدر: Informes Científicos y Técnicos (Universidad Nacional de la Patagonia Austral), Vol 15, Iss 5 (2023)
مصطلحات موضوعية: Educación secundaria, Pandemia, Educación en casa, Virtualización, Desigualdad, General Works
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: María Laura Almada, Lucas Bang, Mariela Cestare, Silvia Grinberg, Andrés Pérez, María Eugenia Venturini, Carla Villagran
المصدر: Informes Científicos y Técnicos (Universidad Nacional de la Patagonia Austral), Vol 11, Iss 4, Pp 37-69 (2019)
مصطلحات موضوعية: políticas públicas, educación secundaria, espacio urbano, georeferenciación, desigualdad, General Works
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Luis Ricardo Sandoval, Lucas Bang
المصدر: Textos y Contextos desde el Sur, Vol 3, Iss 5 (2017)
مصطلحات موضوعية: History of scholarship and learning. The humanities, AZ20-999, Social sciences (General), H1-99
وصف الملف: electronic resource
-
4
المؤلفون: Andrés Felipe Perez, María Eugenia Venturini, Carla Andrea Villagran, Mariela Cestare, María Laura Almada, Lucas Bang, Silvia Mariela Grinberg
المصدر: Informes Científicos y Técnicos (Universidad Nacional de la Patagonia Austral), Vol 11, Iss 4, Pp 37-69 (2019)
مصطلحات موضوعية: education.field_of_study, Vision, Inequality, georeferenciación, media_common.quotation_subject, Population, educación secundaria, Public policy, lcsh:A, Census, Public administration, Making-of, espacio urbano, políticas públicas, Political science, Bureaucracy, Basic needs, lcsh:General Works, education, media_common, desigualdad
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d89798a849ade1ee196b7b7707d02fd6
https://publicaciones.unpa.edu.ar/index.php/ICTUNPA/article/view/403 -
5
المؤلفون: Ibrahim Abughararh, Josh Cordova, Sofia Devin, Lucas Bang, Sofiane Dissem, Emily Lu, Gabriel Bessler, Shaheen Cullen-Baratloo
المصدر: ICSE (Companion Volume)
مصطلحات موضوعية: Algebraic graph theory, Theoretical computer science, Computational complexity theory, Computer science, Path (graph theory), Control flow graph, Graph theory, Function (mathematics), Symbolic execution, Expression (mathematics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ec3dae2375e70b74b3a48fa7a40d7171
https://doi.org/10.1109/icse-companion52605.2021.00028 -
6
المؤلفون: Timo Kehrer, Ji Wang, Minxing Tang, Pavel Parizek, Elena Sherman, Eric Mercer, Peter Aldous, Zhenbang Chen, Ismet Burak Kadron, Koushik Sen, Tevfik Bultan, Yannic Noller, Hoang Lam Nguyen, Cyrille Artho, Benjamin M. Ogles, Kyle Storey, Joshua Hooker, Lucas Bang, Egor Namakonov, Alyas Almaawi, Hengbiao Yu, Lars Grunske, Corina S. Păsăreanu, Seemanta Saha, S. Jacob Powell, Willem Visser, William Eiers, Sarfraz Khurshid, David Lo, Quoc-Sang Phan, Xuan-Bach D. Le, Wei Dong, Rohan Padhye, Simon Goldsmith, Hayes Converse, Lasse Berglund, Sasa Misailovic, Milos Gligoric
المصدر: ACM SIGSOFT Software Engineering Notes. 45:20-22
مصطلحات موضوعية: Software model checker, Java, Computer science, business.industry, 020207 software engineering, Java bytecode, 02 engineering and technology, General Medicine, Program analysis, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Java pathfinder, State (computer science), Android (operating system), Software engineering, business, computer, PATH (variable), computer.programming_language
-
7
المؤلفون: Mara Downing, Tommy Schneider, Lucas Bang, Abtin Molavi
المصدر: ESEC/SIGSOFT FSE
مصطلحات موضوعية: Source code, Computer science, media_common.quotation_subject, Integer lattice, 020207 software engineering, 02 engineering and technology, Data structure, Program analysis, 020204 information systems, Bounded function, 0202 electrical engineering, electronic engineering, information engineering, Leverage (statistics), Algorithm, Time complexity, media_common, Integer (computer science)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::29c33ea6868bb4346575b96ee0628559
https://doi.org/10.1145/3368089.3417937 -
8
المؤلفون: Mara Downing, Lucas Bang, Abtin Molavi
المصدر: GandALF
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Computational complexity theory, Computer science, Information Theory (cs.IT), Computer Science - Information Theory, Computational geometry, Symbolic execution, Ranking (information retrieval), Logic in Computer Science (cs.LO), Set (abstract data type), Search problem, Probability distribution, Entropy maximization
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19086ba3ceea48c85beb5e0a30da3d27
http://arxiv.org/abs/2009.10877 -
9
المؤلفون: Shannon Steele, Lucas Bang, Devon Frost
المصدر: MOCO
مصطلحات موضوعية: Improvisation, Audio signal, Dance, law, Embodied cognition, Human–computer interaction, Computer science, Movement (music), Encoding (semiotics), ComputerSystemsOrganization_SPECIAL-PURPOSEANDAPPLICATION-BASEDSYSTEMS, Morse code, Decoding methods, law.invention
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::dae1d74cf2edc2f833533ecc7130e822
https://doi.org/10.1145/3401956.3404231 -
10
المؤلفون: Lucas Bang, Mara Downing, Abtin Molavi, Tommy Schneider
المصدر: Lecture Notes in Computer Science ISBN: 9783030636173
VSTTEمصطلحات موضوعية: Program analysis, Correctness, Computer science, Bounded function, Integer lattice, Boolean satisfiability problem, Time complexity, Algorithm, Undecidable problem, Integer (computer science)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0138ea90ba81aea7c62adedfbb6d7610
https://doi.org/10.1007/978-3-030-63618-0_8