Results 161 to 170 of about 50,818 (216)
DiSCoKit: An open-source toolkit for deploying live LLM experiences in survey research. [PDF]
PLoS OneBanks J +3 more
europepmc +1 more source
Children's books about scientists convey demotivating messages. [PDF]
Proc Natl Acad Sci U S AGladstone JR, Applebaum G, Cimpian A.
europepmc +1 more source
Two-dimensional data storage using a DNA molecular register. [PDF]
Front Bioeng BiotechnolLi S +6 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
The 2021 experience of logic in computer science
ACM SIGLOG News, 2021I would have liked to start this report by saying that the 36th edition of the ACM/IEEE Symposium on Logic in Computer Science (LICS) took place in Rome, from June 29th to July 2nd, 2021. As general chair of the conference, I tried as hard as possible to have at least a hybrid event since, due to the COVID pandemic, it was clear that a fully-in ...
openaire +3 more sources
Infinitary logic for computer science
1992Infinitary logic L ∞ω ω , extends first-order logic by allowing infinitary conjunctions and disjunctions (i.e., conjunctions with an infinite number of conjuncts and disjunctions with an infinite number of disjuncts). One usually thinks of infinitary logic as a fairly esoteric logic, which is not of much interest in computer science.
Phokion G. Kolaitis, Moshe Y. Vardi
openaire +2 more sources
Fork Algebras in Algebra, Logic and Computer Science
Fundamenta Informaticae, 1997Since the main themes at the Helena Rasiowa memorial were algebra, logic and computer science, we will present a survey of results on fork algebras from these points of view. In this paper we study fork algebras from the points of view of their algebraic and logical properties and applications. These results will prove to be essential, in a future work,
Marcelo F. Frias +2 more
openaire +2 more sources