Steel ConstructionVolume 16, Issue 2 PreviewFree Access Preview 3/23 First published: 11 May 2023 https://doi.org/10.1002/stco.202370205AboutPDF ToolsRequest permissionExport citationAdd to favoritesTrack citation ShareShare Give accessShare full text full-text accessPlease review our Terms and Conditions of Use check box below share version article.I have read accept the Wiley Online Library U...

The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The evaluation is in terms of the number of problems solved, the number of acceptable proofs and models produced, and the average runtime for problems solved, in the context of a bounded number of eligible problems chosen from the TPTP problem library, and specified time lim...

The energy content in radiation from beyond our Galaxy is dominated by the Cosmic Microwave Background (CMB), discovered in 1965 [1]. The spectrum of the CMB is well described by a blackbody function with T = 2.725 K. This spectral form is one of the main pillars of the hot Big Bang model for the early Universe. The lack of any observed deviations from a blackbody spectrum constrains physical p...

PURPOSE B-cell chronic lymphocytic leukemia (CLL) is a clinically heterogeneous disease whose outcome can be foreseen by investigating the mutational status of immunoglobulin heavy chain variable (IGHV) genes. Moreover, a different prognosis was reported for CLL expressing specific IGHV genes in the context or not of stereotyped B-cell receptors. Here we investigated novel associations between ...