Results 71 to 80 of about 36,613 (285)
A Plug‐and‐Play Volume Minimizing Micromixer
Advanced Science, EarlyView.ABSTRACT Microscale fluid mixing has numerous applications where rapid and efficient mixing is required, including drug discovery, bio‐analysis and point‐of‐care diagnostics. Conventional soft lithography processes, however, make the integration of robust and reliable mixing difficult to implement in practice, especially across different flow rates ...
Kirill Kolesnik +3 more
wiley +1 more source
Weak function word shift [PDF]
, 2004 The fact that object shift only affects weak pronouns in mainland Scandinavian is seen as an instance of a more general observation that can be made in all Germanic languages: weak function words tend to avoid the edges of larger prosodic domains.
Vogel, Ralf
core
On Sharing, Memoization, and Polynomial Time (Long Version) [PDF]
, 2015 We study how the adoption of an evaluation mechanism with sharing and memoization impacts the class of functions which can be computed in polynomial time. We first show how a natural cost model in which lookup for an already computed value has no cost is
Avanzini, Martin, Lago, Ugo Dal
core +6 more sources
Predicates, Predicables and Names
Crítica (México D. F. En línea), 1981 Resumen
openaire +3 more sources
DCAF13 Safeguards Hematopoietic Stem Cells via RRS1‐Regulated Ribosome Biogenesis
Advanced Science, EarlyView.This study establishes DCAF13 as an essential regulator for hematopoietic stem cell (HSC) function. Its deletion in mice causes lethal pancytopenia and HSC depletion. Mechanistically, DCAF13 interacts with RRS1 and mediates its non‐degradative K27‐linked ubiquitination, thereby stabilizing RRS1 to maintain ribosome biogenesis and protein translation ...
Mengke Li +25 more
wiley +1 more source
Understanding Predication in Conceptual Spaces [PDF]
, 2016 We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors's view of objects in conceptual spaces, we offer a number of viable
Masolo, Claudio, Porello, Daniele
core +1 more source
Advanced Science, EarlyView.A green, thermoreversible self‐assembly strategy yields a multifunctional and recyclable supramolecular nanofibrous membrane. Graphene oxide (GO) nanosheet acts as a heterogeneous nucleation‐templating agent, simultaneously modulating the supramolecular crystal packing while tailoring the nanofibrous architecture for elite performance.
Wenjing Sun +6 more
wiley +1 more source
NP would like to meet GF: A Welsh Adjectival Construction [PDF]
, 2008 In this article we examine a Welsh adjectival construction which superficially looks simple but on closer examination proves to be somewhat challenging. The construction contains an NP constituent whose GF status is far from clear.
Mittendorf, I, Sadler, L
core
Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study
, 2015 This paper presents a case study of formalizing a normalization proof for Leivant's Predicative System F using the Equations package. Leivant's Predicative System F is a stratified version of System F, where type quantification is annotated with kinds ...
Mangin, Cyprien, Sozeau, Matthieu
core +4 more sources
Safe Recursion on Notation into a Light Logic by Levels [PDF]
, 2010 We embed Safe Recursion on Notation (SRN) into Light Affine Logic by Levels (LALL), derived from the logic L4. LALL is an intuitionistic deductive system, with a polynomial time cut elimination strategy.
Roversi, Luca, Vercelli, Luca
core +3 more sources