Results 311 to 320 of about 2,784,953 (338)
Some of the next articles are maybe not open access.
Law's Ideal Dimension, 2021
The main thesis of this chapter is that law necessarily raises a claim to correctness and that this necessary connection between law and correctness implies a conceptually necessary connection between law and morality that goes beyond the scope of a ...
R. Alexy
semanticscholar +1 more source
The main thesis of this chapter is that law necessarily raises a claim to correctness and that this necessary connection between law and correctness implies a conceptually necessary connection between law and morality that goes beyond the scope of a ...
R. Alexy
semanticscholar +1 more source
Automated Patch Correctness Assessment: How Far are We?
International Conference on Automated Software Engineering, 2020Test-based automated program repair (APR) has attracted huge attention from both industry and academia. Despite the significant progress made in recent studies, the overfitting problem (i.e., the generated patch is plausible but overfitting) is still a ...
Shangwen Wang +7 more
semanticscholar +1 more source
Science, 1943
IN a revision of the proof a serious omission was made in the inadvertent dropping of "and 1 ml. of 0.1% CuSO 4 ⋅ 5H 2 O solution" after "Aliquots of 2.0 ml are mixed with 6 ml of clear 12.5 per cent Na 2 CO 3 solution" on p. 405.
M, Heidelberger, C F, Macpherson
openaire +2 more sources
IN a revision of the proof a serious omission was made in the inadvertent dropping of "and 1 ml. of 0.1% CuSO 4 ⋅ 5H 2 O solution" after "Aliquots of 2.0 ml are mixed with 6 ml of clear 12.5 per cent Na 2 CO 3 solution" on p. 405.
M, Heidelberger, C F, Macpherson
openaire +2 more sources
How far we have come: testing decompilation correctness of C decompilers
International Symposium on Software Testing and Analysis, 2020A C decompiler converts an executable (the output from a C compiler) into source code. The recovered C source code, once recompiled, will produce an executable with the same functionality as the original executable. With over twenty years of development,
Zhibo Liu, Shuai Wang
semanticscholar +1 more source
Science, 1924
The article entitled "Gels and Theory of Adsorption" given in the December fourteenth issue of SCIENCE reads on page 496 as follows: pH < 1.217 pH > 1.217 but should read: pH > 1.217 pH < 1.217 In SCIENCE, 1924, p. 10, first column, line 2 up, for "eighteen" read "thirty-one."
N E, Gordon, F, Cajori
openaire +2 more sources
The article entitled "Gels and Theory of Adsorption" given in the December fourteenth issue of SCIENCE reads on page 496 as follows: pH < 1.217 pH > 1.217 but should read: pH > 1.217 pH < 1.217 In SCIENCE, 1924, p. 10, first column, line 2 up, for "eighteen" read "thirty-one."
N E, Gordon, F, Cajori
openaire +2 more sources
arXiv.org
Large language models (LLMs) are increasingly optimized for long reasoning, under the assumption that more reasoning leads to better performance. However, emerging evidence suggests that longer responses can sometimes degrade accuracy rather than improve
Jinyan Su +3 more
semanticscholar +1 more source
Large language models (LLMs) are increasingly optimized for long reasoning, under the assumption that more reasoning leads to better performance. However, emerging evidence suggests that longer responses can sometimes degrade accuracy rather than improve
Jinyan Su +3 more
semanticscholar +1 more source
Science, 1942
THE 1942 U.S.D.A. Yearbook, "Keeping Livestock Healthy," page 1096, fails to give proper credit to the research workers responsible for the experimental production of goiter in poultry. This was first accomplished in 1938 by A. R. Patton, H. S. Wilgus, Jr., and G. S. Harshfield (SCIENCE, 89: 162, 1939).
openaire +4 more sources
THE 1942 U.S.D.A. Yearbook, "Keeping Livestock Healthy," page 1096, fails to give proper credit to the research workers responsible for the experimental production of goiter in poultry. This was first accomplished in 1938 by A. R. Patton, H. S. Wilgus, Jr., and G. S. Harshfield (SCIENCE, 89: 162, 1939).
openaire +4 more sources
Calibration and Correctness of Language Models for Code
International Conference on Software EngineeringMachine learning models are widely used, but can also often be wrong. Users would benefit from a reliable indication of whether a given output from a given model should be trusted, so a rational decision can be made whether to use the output or not.
Claudio Spiess +7 more
semanticscholar +1 more source
Psychological Reports, 1999
This article is a comment on recent statements that the work of early IQ testers and other scientists has been distorted. It also argues that the Pioneer Fund, a major source of support for studies of racial differences, should release the full record of its grants to support statements made about the fund's purpose and history.
openaire +1 more source
This article is a comment on recent statements that the work of early IQ testers and other scientists has been distorted. It also argues that the Pioneer Fund, a major source of support for studies of racial differences, should release the full record of its grants to support statements made about the fund's purpose and history.
openaire +1 more source
1947
(Uploaded by Plazi from the Biodiversity Heritage Library) No abstract provided.
openaire +1 more source
(Uploaded by Plazi from the Biodiversity Heritage Library) No abstract provided.
openaire +1 more source