( en | de | ru )

 

Disambiguierung von "Liffiton, Mark"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CodeHelp: Using Large Language Models with Guardrails for Scalable Support in Programming Classes

, , , und . Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, Seite 1–11. New York, NY, USA, Association for Computing Machinery, (06.02.2024)
DOI: 10.1145/3631802.3631830

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Mark Yampolsky

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Mark Schütte

Crf2 - ein neues Antigen von Aspergillus fumigatus. TU Braunschweig, (2009)

Mark Yampolskiy

Maßnahmen zur Sicherung von E2E-QoS bei verketteten Diensten. Uni München, (2009)

Ana Markovi

Experimental and theoretical analysis of the mass transport through porous glass membranes with different pore diameters. Uni Magdeburg, (2009)

Norbert Mark

 

Weitere Publikationen von Autoren mit dem selben Namen

CodeHelp: Using Large Language Models with Guardrails for Scalable Support in Programming Classes, , , und . Proceedings of the 23rd Koli Calling International Conference on Computing Education Research, Seite 1–11. New York, NY, USA, Association for Computing Machinery, (06.02.2024)Identifying Conflicts in Overconstrained Temporal Problems., , , und . IJCAI, Seite 205-211. Professional Book Center, (2005)Analyzing Infeasible Constraint Systems.. University of Michigan, USA, (2009)Patterns of Student Help-Seeking When Using a Large Language Model-Powered Programming Assistant., , , und . ACE, Seite 49-57. ACM, (2024)Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints., und . J. Autom. Reason., 40 (1): 1-33 (2008)A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas., , , , , und . Constraints An Int. J., 14 (4): 415-442 (2009)Searching for Autarkies to Trim Unsatisfiable Clause Sets., und . SAT, Volume 4996 von Lecture Notes in Computer Science, Seite 182-195. Springer, (2008)MaxSAT-Based MCS Enumeration., , und . Haifa Verification Conference, Volume 7857 von Lecture Notes in Computer Science, Seite 86-101. Springer, (2012)Improved Design Debugging Using Maximum Satisfiability., , , , und . FMCAD, Seite 13-19. IEEE Computer Society, (2007)Iterative and core-guided MaxSAT solving: A survey and assessment., , , , und . Constraints An Int. J., 18 (4): 478-534 (2013)