Results 41 to 50 of about 1,297,544 (271)
READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The LCF tradition of interactive theorem proving, which was started by Milner in the 1970-ies, appears to be tied to the classic READ-EVAL-PRINT-LOOP of sequential and synchronous evaluation of prover commands. We break up this loop and retrofit the read-
Makarius Wenzel
doaj +1 more source
Assessment of the Therapeutic Evolution of Psychiatric Patients through Rorschach Psychodiagnosis
Psicologia: Teoria e Pesquisa, 2021 The present work aims to constitute an important contribution to the scientific proof of the effectiveness of psychiatric and psychotherapeutic interventions, through the Rorschach test. A clinical sample of 10 psychiatric patients, admitted and followed
Patrícia Costa +2 more
doaj +2 more sources
Neuroscience and the Civil/Criminal \u3ci\u3eDaubert\u3c/i\u3e Divide [PDF]
, 2016 This Article speculates on the course of neuroscience-as-proof with an eye toward the actual admissibility standards that will govern the acceptance of such evidence by courts, not just as a matter of formal law but also as a function of historical ...
Murphy, Erin
core +1 more source
Comparing the writing style of real and artificial papers
, 2015 Recent years have witnessed the increase of competition in science. While promoting the quality of research in many cases, an intense competition among scientists can also trigger unethical scientific behaviors.
Amancio, Diego R.
core +1 more source
Proceedings of the Conference on Hypothetical Reasoning, 23-24 August 2014, Tübingen [PDF]
, 2015 Hypothetical reasoning or reasoning under assumptions is a key concept of logic, philosophy of science and mathematics. The Conference on Hypothetical Reasoning focussed on its logical aspects, such as assumption-based calculi and their proof theory ...
Piecha, Thomas, Schroeder-Heister, Peter
core +1 more source
Cell surface interactome analysis identifies TSPAN4 as a negative regulator of PD‐L1 in melanoma
Molecular Oncology, EarlyView.Using cell surface proximity biotinylation, we identified tetraspanin TSPAN4 within the PD‐L1 interactome of melanoma cells. TSPAN4 negatively regulates PD‐L1 expression and lateral mobility by limiting its interaction with CMTM6 and promoting PD‐L1 degradation.
Guus A. Franken +7 more
wiley +1 more source
What proof do we prefer? Variants of verifiability in voting [PDF]
, 2006 In this paper, we discuss one particular feature of Internet voting, verifiability, against the background of scientific literature and experiments in the Netherlands. In order to conceptually clarify what verifiability is about, we distinguish classical
Pieters, W.
core +2 more sources
Molecular Oncology, EarlyView.Single circulating tumor cells (sCTCs) from high‐grade serous ovarian cancer patients were enriched, imaged, and genomically profiled using WGA and NGS at different time points during treatment. sCTCs revealed enrichment of alterations in Chromosomes 2, 7, and 12 as well as persistent or emerging oncogenic CNAs, supporting sCTC identity.
Carolin Salmon +9 more
wiley +1 more source
Les Sciences Humaines et Sociales, moteurs de l’accès ouvert : la preuve par Cybergeo
Cybergeo, 2018 In May 2016 Cybergeo, European Journal of Geography celebrated its 20 years anniversary at the headquarters of CNRS (French National Center for Scientific Research). It was the first purely electronic journal in social sciences.
Christine Kosmopoulos, Denise Pumain
doaj +1 more source
Digital Health, 2023 Objective As part of COVID-19 pandemic control efforts, digital proof-of-vaccination credentials were launched in Canada in 2021–2022 following widespread vaccine availability.
Devon Greyson +3 more
doaj +1 more source