Results 61 to 70 of about 1,012,999 (323)

jsCoq: Towards Hybrid Theorem Proving Interfaces [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
We describe jsCcoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5–ECMAScript 2015 specification, and it is typically run inside a standards-compliant browser, without the need of external ...
Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot   +2 more
doaj   +1 more source

Decision Analysis and FDA Drug Review: A Proposal for Shadow Advisory Committees [PDF]

, 1995
The FDA seems to acknowledge that sometimes different standards of proof for assessing drug efficacy should be used. Dr. Mendeloff thus proposes a methodology that might illuminate the FDA\u27s decision-making and help better to assess its ...
Mendeloff, John M.
core   +1 more source

The future of social is personal: the potential of the personal data store [PDF]

, 2014
This chapter argues that technical architectures that facilitate the longitudinal, decentralised and individual-centric personal collection and curation of data will be an important, but partial, response to the pressing problem of the autonomy of the ...
A. Bandura, A. Doan, A. Fung, A. Nadkarni, A. Narayanan, A.K. Dey, D. Purdue, D.R. Karger, E. McCallister, G. Huang, J. Teevan, J.M. Agustin, L. Floridi, L.A. Bygrave, M.A. Grasso, N. Williams, P. Ohm, P. Pirolli, P. Pirolli, P. Vakkari, R. Ennals, R.A. Posner, R.R. Schaller, S. Whittaker, T. Heath, V. Bush, V. Mayer-Schönberger, W. Jones   +27 more
core   +1 more source

Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting

Molecular Oncology, EarlyView.
CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia, Noelia Moares, Wenjie Yi‐He, Rosa Luna‐Espejo, Ricardo Fernandez‐Cisnal, Javier Ocaña‐Cuesta, Juan P. Muñoz‐Miranda, Antonio Gabucio, Cecilia M. Fernandez‐Ponce, Francisco Garcia‐Cozar   +9 more
wiley   +1 more source

Research on the applicability of passive house technology in areas hot in summer and cold in winter-take Nanjing area as the research object

AIMS Environmental Science, 2019
In this study, to explore the applicability of passive house technology under PHPP assessment standards in Chinese areas hot in summer and cold in winter, Nanjing area was taken as an example, real cases were examines under PHPP assessment standards for ...
Shenwei Yu, Mengqiu Yang
doaj   +1 more source

Transcriptional network analysis of PTEN‐protein‐deficient prostate tumors reveals robust stromal reprogramming and signs of senescent paracrine communication

Molecular Oncology, EarlyView.
Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice, Jose I. Lopez, Aitziber Ugalde‐Olano, Maite Zufiaurre, Ianire Astobiza, Natalia Martin‐Martin, Laura Bozal‐Basterra, Saioa Garcia‐Longarte, Amaia Zabala‐Letona, Sofia Rey, Aida Santos‐Martin, Miguel Unda, Ana Loizaga‐Iriarte, Mariona Graupera, Paolo Nuciforo, Arkaitz Carracedo, Isabel Mendizabal   +16 more
wiley   +1 more source

Plausibility, Facts and Economics in Antitrust Law [PDF]

Yearbook of Antitrust and Regulatory Studies, 2014
According to EU competition law, the existence of an anticompetitive agreement can be inferred from a number of coincidences and indicia only in the absence of another plausible explanation of the facts at stake. According to U.S.
Mariateresa Maggiolino
doaj  

Developing a conformance methodology for clinically-defined medical record headings:a preliminary report. [PDF]

, 2015
Background: The Professional Records Standards Body for health and social care (PRSB) was formed in 2013 to develop and assure professional standards for the content and structure of patient records across all care disciplines in the UK.
Bentley, Stephen, Bridgelal Ram, Mala, Carpenter, Iain, Harvey, David, Hoogewerf, Jan, Jokhani, Munish, Kalra, Dipak, Kay, Stephen, McNicoll, Ian, Scott, Philip James, Siddiqui, Rahil, Wallhouse, Roger, Worden, Robert   +12 more
core   +1 more source

What Do We Mean by Mathematical Proof? [PDF]

, 2011
Mathematical proof lies at the foundations of mathematics, but there are several notions of what mathematical proof is, or might be. In fact, the idea of mathematical proof continues to evolve. In this article, I review the body of literature that argues
Todd Cadwalladerolsker, Todd Cadwalladerolsker   +1 more
core   +5 more sources

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, Andrea Abel Gutierrez, Imke van Rossum, Cornelia G. Spruijt, Michiel Vermeulen, Guido van Mierlo, Blanca Scheijen, Annemiek B. van Spriel   +7 more
wiley   +1 more source