Results 91 to 100 of about 1,823,674 (334)
Scoped and Typed Staging by Evaluation [PDF]
Using a dependently typed host language, we give a well scoped-and-typed by construction presentation of a minimal two level simply typed calculus with a static and a dynamic stage. The staging function partially evaluating the part of a term that are static is obtained by a model construction inspired by normalisation by evaluation. We then go on to
arxiv
Panoptic performativity and school inspection regimes: disciplinary mechanisms and life under special measures [PDF]
This paper looks at Ofsted and particularly special measures regimes as part of a disciplinary mechanism. It examines issues such as school effectiveness theories, the increasing powers of Ofsted, and life under special measures and links it to ...
Perryman, Jane
core +2 more sources
The enzyme 5‐lipoxygenase (5‐LOX) catalyzes the first step in the biosynthesis of leukotrienes (LTs) involved in inflammatory pathophysiology. After cellular stimulation, 5‐LOX translocates to the nucleus, interacting with the 5‐LOX‐activating protein (FLAP) to form LTA4 from arachidonic acid (AA).
Erik Romp+5 more
wiley +1 more source
Enforcing Perceptual Consistency on Generative Adversarial Networks by Using the Normalised Laplacian Pyramid Distance [PDF]
In recent years there has been a growing interest in image generation through deep learning. While an important part of the evaluation of the generated images usually involves visual inspection, the inclusion of human perception as a factor in the training process is often overlooked.
arxiv +1 more source
How journal rankings can suppress interdisciplinary research. A comparison between Innovation Studies and Business & Management [PDF]
This study provides quantitative evidence on how the use of journal rankings can disadvantage interdisciplinary research in research evaluations.
ABS+120 more
core +4 more sources
Cancer‐associated fibroblasts (CAFs) promote cancer growth, invasion (metastasis), and drug resistance. Here, we identified functional and diverse circulating CAFs (cCAFs) in patients with metastatic prostate cancer (mPCa). cCAFs were found in higher numbers and were functional and diverse in mPCa patients versus healthy individuals, suggesting their ...
Richell Booijink+6 more
wiley +1 more source
Background The Workwell trial is a multi-centre randomised controlled trial with the aims of evaluating the effectiveness and cost-effectiveness of job retention vocational rehabilitation for employed people with inflammatory arthritis, who are ...
Alison Hammond+8 more
doaj +1 more source
Noise or music? Investigating the usefulness of normalisation for robust sentiment analysis on social media data [PDF]
In the past decade, sentiment analysis research has thrived, especially on social media. While this data genre is suitable to extract opinions and sentiment, it is known to be noisy.
De Clercq, Orphée+5 more
core +1 more source
A comparative study of circulating tumor cell isolation and enumeration technologies in lung cancer
Lung cancer cells were spiked into donor blood to evaluate the recovery rates of the following circulating tumor cell (CTC) enrichment technologies: CellMag™, EasySep™, RosetteSep™, Parsortix® PR1, and Parsortix® Prototype systems. Each method's advantages and disadvantages are described.
Volga M Saini+11 more
wiley +1 more source
Characters of normalisers of d-split Levi subgroups in Sp2n(q) [PDF]
In this paper characters of the normaliser of d-split Levi subgroups in Sp2n(q) are parametrised with a particular focus on the Clifford theory between the Levi subgroup and its normaliser. This forms a key step in verifying the inductive Alperin-McKay condition from Sp\"ath via a criterion given by Sp\"ath and the author.
arxiv