Zobrazeno 1 - 10
of 1 396
pro vyhledávání: '"Software Technology"'
Publikováno v:
ACM Transactions on Programming Languages and Systems, 44(3), 1. Association for Computing Machinery (ACM)
We introduce Combinatory Homomorphic Automatic Differentiation (CHAD), a principled, pure, provably correct define-then-run method for performing forward and reverse mode automatic differentiation (AD) on programming languages with expressive feature
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db3155703bd09c6b0faaa1614f460817
https://dspace.library.uu.nl/handle/1874/424112
https://dspace.library.uu.nl/handle/1874/424112
Autor:
Domingue, Benjamin W., Kanopka, Klint, Stenhaug, Ben, Sulik, Michael J., Beverly, Tanesia, Brinkhuis, Matthieu, Circi, Ruhan, Faul, Jessica, Liao, Dandan, Mccandliss, Bruce, Obradović, Jelena, Piech, Chris, Porter, Tenelle, Consortium, Project Ilead, Soland, James, Weeks, Jon, Wise, Steven L., Yeatman, Jason, Sub Softw.Techn. for Learning and Teach., Software Technology for Learning and Teaching
Publikováno v:
Journal of Educational and Behavioral Statistics, 47(5), 576. SAGE Publications Inc.
The speed–accuracy trade-off (SAT) suggests that time constraints reduce response accuracy. Its relevance in observational settings—where response time (RT) may not be constrained but respondent speed may still vary—is unclear. Using 29 data se
Autor:
Serrano, Alejandro, Hage, Jurriaan, Peyton Jones, Simon, Vytiniotis, Dimitrios, Sub Software Technology, Software Technology
Publikováno v:
Proceedings of the ACM on Programming Languages, 4(ICFP), 1
Type inference for parametric polymorphism is wildly successful, but has always suffered from an embarrassing flaw: polymorphic types are themselves not first class. We present Quick Look, a practical, implemented, and deployable design for impredica
Autor:
Chen, Zilin, Rizkallah, Christine, O'Connor, Liam, Susarla, Partha, Klein, Gerwin, Heiser, Gernot, Keller, Gabriele, Sub Software Technology, Software Technology
Publikováno v:
SLE ’22, December 06ś07, 2022, Auckland, New Zealand, 84. Association for Computing Machinery
STARTPAGE=84;TITLE=SLE ’22, December 06ś07, 2022, Auckland, New Zealand
STARTPAGE=84;TITLE=SLE ’22, December 06ś07, 2022, Auckland, New Zealand
Property-based testing (PBT) is a powerful tool that is widely available in modern programming languages. It has been used to reduce formal software verification effort. We demonstrate how PBT can be used in conjunction with formal verification to in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4358213e3f77d8aff16591315fdf2520
https://dspace.library.uu.nl/handle/1874/424707
https://dspace.library.uu.nl/handle/1874/424707
Autor:
Bolsinova, Maria, Brinkhuis, Matthieu J. S., Hofman, Abe D., Maris, Gunter, Sub Softw.Techn. for Learning and Teach., Software Technology for Learning and Teaching
Publikováno v:
British Journal of Mathematical and Statistical Psychology, 75(3), 753. NLM (Medline)
British Journal of Mathematical and Statistical Psychology, 75(3), 753-778. Wiley-Blackwell
British Journal of Mathematical and Statistical Psychology, 75(3), 753-778. Wiley-Blackwell
Recently, the Urnings algorithm (Bolsinova et al., 2022, J. R. Stat. Soc. Ser. C Appl. Statistics, 71, 91) has been proposed that allows for tracking the development of abilities of the learners and the difficulties of the items in adaptive learning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::efc7a05c2df49ffcd90066af2dfe0dab
https://dspace.library.uu.nl/handle/1874/423597
https://dspace.library.uu.nl/handle/1874/423597
Publikováno v:
Journal of Pure and Applied Algebra, 226(12), 1. Elsevier
We study lax epimorphisms in 2-categories, with special attention to $\mathsf{Cat}$ and $\mathcal{V}$-$\mathsf{Cat}$. We show that any 2-category with convenient colimits has an orthogonal $LaxEpi$-factorization system, and we give a concrete descrip
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::46c77af4ecbcd05601d20c95e428cf79
Autor:
Shirzadehhajimahmood, Samira, Prasetya, I. S. W. B., Dignum, Frank, Dastani, Mehdi, Keller, Gabriele, Sub Software Technology, Sub Intelligent Systems, Software Technology
Publikováno v:
Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST ’21)., 1
STARTPAGE=1;TITLE=Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST ’21).
STARTPAGE=1;TITLE=Proceedings of the 12th International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST ’21).
Modern computer games typically have a huge interaction spaces and non-deterministic environments. Automation in testing can provide a vital boost in development and it further improves the overall software's reliability and efficiency. Moreover, lay
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4dfc47864b58c470fa649354146dac51
https://dspace.library.uu.nl/handle/1874/415671
https://dspace.library.uu.nl/handle/1874/415671
Autor:
O'Connor, Liam, Chen, Zilin, Rizkallah, Christine, Jackson, Vincent, Amani, Sidney, Klein, Gerwin, Murray, Toby, Sewell, Thomas, Keller, Gabriele, Sub Software Technology, Software Technology
Publikováno v:
Journal of Functional Programming, 31, 1. Cambridge University Press [etc.]
O'Connor, L, Chen, Z, Rizkallah, C, Jackson, V, Amani, S, Klein, G, Murray, T, Sewell, T & Keller, G 2021, ' Cogent: uniqueness types and certifying compilation ', Journal of Functional Programming, vol. 31, e25 . https://doi.org/10.1017/S095679682100023X
O'Connor, L, Chen, Z, Rizkallah, C, Jackson, V, Amani, S, Klein, G, Murray, T, Sewell, T & Keller, G 2021, ' Cogent: uniqueness types and certifying compilation ', Journal of Functional Programming, vol. 31, e25 . https://doi.org/10.1017/S095679682100023X
This paper presents a framework aimed at significantly reducing the cost of proving functional correctness for low-level operating systems components. The framework is designed around a new functional programming language, Cogent. A central aspect of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c3f4e3e4a6b3107c44d30e6b93b3ad8
https://dspace.library.uu.nl/handle/1874/425411
https://dspace.library.uu.nl/handle/1874/425411
Autor:
Kasalica, Vedran, Schwämmle, Veit, Palmblad, Magnus, Ison, Jon, Lamprecht, Anna-Lena, Sub Software Technology, Software Technology
Publikováno v:
Kasalica, V, Schwämmle, V, Palmblad, M, Ison, J & Lamprecht, A L 2021, ' APE in the Wild : Automated Exploration of Proteomics Workflows in the bio.tools Registry ', Journal of proteome research, vol. 20, no. 4, pp. 2157–2165 . https://doi.org/10.1021/acs.jproteome.0c00983
Journal of Proteome Research, 20(4), 2157-2165. AMER CHEMICAL SOC
Journal of Proteome Research
Journal of Proteome Research, 20(4), 2157. American Chemical Society
Journal of Proteome Research, 20(4), 2157-2165. AMER CHEMICAL SOC
Journal of Proteome Research
Journal of Proteome Research, 20(4), 2157. American Chemical Society
The bio.tools registry is a main catalogue of computational tools in the life sciences. More than 17 »000 tools have been registered by the international bioinformatics community. The bio.tools metadata schema includes semantic annotations of tool f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c81660be1a81149f98925ffcb2d5fc81
https://findresearcher.sdu.dk:8443/ws/files/181854872/acs.jproteome.0c00983.pdf
https://findresearcher.sdu.dk:8443/ws/files/181854872/acs.jproteome.0c00983.pdf
Publikováno v:
Haskell@ICFP
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 41. Association for Computing Machinery (ACM)
STARTPAGE=41;TITLE=Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 41. Association for Computing Machinery (ACM)
STARTPAGE=41;TITLE=Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell
Datatype-generic programming is a widely used technique to define functions that work regularly over a class of datatypes. Examples include deriving serialization of data, equality or even functoriality. The state-of-the-art of generic programming st