Filters








36,640 Hits in 2.4 sec

Sam Behrendt, 1879-1940

I. O. Levy
1941 California history (San Francisco)  
Oscar Lewis Sam Behrendt i879-i940 Sam Behrendt was born in Los Angeles on July 18, 1879.  ...  He was the founder of the Behrendt-Levy Insurance group of "old-timers" and talking over the old days that had passed except from memory.  ... 
doi:10.2307/25160928 fatcat:3eiuohpgpnfmhizhiarbav5jp4

Option pricing with Lévy-Stable processes generated by Lévy-Stable integrated variance

Álvaro Cartea, Sam Howison
2009 Quantitative finance (Print)  
Key to our result is to model integrated variance T t σ 2 s ds as an increasing Lévy-Stable process with continuous paths in T .  ...  We show how to calculate European-style option prices when the log-stock price process follows a Lévy-Stable process with index parameter 1 ≤ α ≤ 2 and skewness parameter −1 ≤ β ≤ 1.  ...  Lévy-Stable processes A stochastic process {L t , t ∈ T } is Lévy-Stable if all its finite-dimensional distributions are Lévy-Stable.  ... 
doi:10.1080/14697680902748506 fatcat:frw6oqfmkbehplz5yunmsm3sru

Higher-Order Containers [chapter]

Thorsten Altenkirch, Paul Levy, Sam Staton
2010 Lecture Notes in Computer Science  
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coproducts, initial algebras and terminal coalgebras. In the present paper we show that, surprisingly, the category of containers is cartesian closed, giving rise to a full cartesian closed subcategory of endofunctors. The result has interesting applications in generic programming and representation of higher order abstract
more » ... syntax. We also show that while the category of containers has finite limits, it is not locally cartesian closed.
doi:10.1007/978-3-642-13962-8_2 fatcat:6kq6etrcyfha7fr2sfk2ezklvm

Universal properties of impure programming languages

Sam Staton, Paul Blain Levy
2013 SIGPLAN notices  
Levy [24] coined the phrase 'complex value' for this situation.  ...  The last three facts can be deduced from the first one by building on earlier work by Levy, Power and Thielecke [24] . Premonoidal categories We now recall the notion of premonoidal category.  ... 
doi:10.1145/2480359.2429091 fatcat:fpjnftyhyveypmazsdq3acru5i

Fast and Precise Type Checking for JavaScript [article]

Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, Gabriel Levi
2017 arXiv   pre-print
In this paper we present the design and implementation of Flow, a fast and precise type checker for JavaScript that is used by thousands of developers on millions of lines of code at Facebook every day. Flow uses sophisticated type inference to understand common JavaScript idioms precisely. This helps it find non-trivial bugs in code and provide code intelligence to editors without requiring significant rewriting or annotations from the developer. We formalize an important fragment of Flow's
more » ... lysis and prove its soundness. Furthermore, Flow uses aggressive parallelization and incrementalization to deliver near-instantaneous response times. This helps it avoid introducing any latency in the usual edit-refresh cycle of rapid JavaScript development. We describe the algorithms and systems infrastructure that we built to scale Flow's analysis.
arXiv:1708.08021v2 fatcat:arta6gtlwrdd3hb6bu325e3xhy

A monad for full ground reference cells [article]

Ohad Kammar, Paul B. Levy, Sean K. Moss, Sam Staton
2017 arXiv   pre-print
We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in a different functor category equipped with a monad for adding hiding/encapsulation capabilities to the heaps. We derive a monad for full ground references supporting effect masking by applying a state monad transformer to the encapsulation monad. To evaluate the monad, we present a denotational semantics for a
more » ... value calculus with full ground references, and validate associated code transformations.
arXiv:1702.04908v2 fatcat:itufo5c7qjdxxgpxp5ubukdriy

Diáspora, conversão, assimilação de sefarad סְפָרַדִּי e zarfat צרפת às terras do Tio Sam: ao encontro do (novo) Protestantismo anglo-saxônico

Joseph Abraham Levi
2021 Politeia. História e sociedade  
Levi. (2003, p. 61, nota 10). 19 NOVA Bíblia dos Capuchinhos, 1999. ideia de uma comunidade bíblica estava clara [para os Puritanos].  ...  Levi (Jul.-Ago 2020b) . 15 Cf., entre outros, Dubrovsky. (1998 Dubrovsky. ( , 1996 , Lavender e Steinberg (1995) , Lavender (1988 ), Lavender. (1977 ), Llave (1996 .  ... 
doi:10.22481/politeia.v20i1.8707 fatcat:36qexi7ufja7radqhlo3vkewre

Advances in agumented reality (AR) for medical simulation and training

Vladimir Ivanov, Alexander Klygach, Sam Shterenberg, Sergey Strelkov, Jason Levy
2020 3C Tecnología  
doi:10.17993/3ctecno.2020.specialissue5.303-312 fatcat:y5rfk3uvmnh3ljr6swxnbfatpi

Estimation of land-use change using a Bayesian data assimilation approach

Peter Levy, Marcel Van Oijen, Gwen Buys, Sam Tomlinson
2017 Biogeosciences Discussions  
As input data to an ecosystem model, this might produce 36 quite different results, compared to the parsimonious assumption (afforestation of 10 km 2 37 and no deforestation)(Levy & Milne, 2004; Krause  ...  years are iterated over. 533 If scenario data were supplied, such as projected forest planting rates (G) or cropland areas 22 chemical and hydrological cycles (Post & Kwon, 2000; Gitz & Ciais, 2003; Levy  ... 
doi:10.5194/bg-2017-466 fatcat:jdzhobbpxvelfen57wlemfibv4

TYLCV-Is movement in planta does not require V2 protein

Hagit Hak, Yael Levy, Sam A. Chandran, Eduard Belausov, Abraham Loyter, Moshe Lapidot, Yedidya Gafni
2015 Virology  
Tomato yellow leaf curl virus (TYLCV), a major tomato pathogen causing extensive crop losses, is a whiteflytransmitted geminivirus. V2 mutants of TYLCV-Is and related viruses tend to induce symptomless infection with attenuated viral DNA levels, while accumulating close to wild-type DNA levels in protoplasts, suggesting V2 as a movement protein. The discovery of plant-silencing mechanisms and viral silencing suppressors, V2 included, led us to reconsider V2's involvement in viral movement. We
more » ... udied two mutant versions of the virus, one impaired in V2 silencing-suppression activity, and another carrying a non-translatable V2. While both mutant viruses spread in the infected plant to newly emerged leaves at the same rate as the wild-type virus, their DNA-accumulation levels were tenfold lower than in the wild-type virus. Thus, we suggest that the setback in virus proliferation, previously ascribed to a movement impediment, is due to lack of silencingsuppression activity.
doi:10.1016/j.virol.2015.01.007 pmid:25644513 fatcat:mutvvgayrfcdnpclrw7azhobea

Summary, Policy Implications, and Future Research [chapter]

Tim Kelsall, Nicolai Schulz, William D. Ferguson, Matthias vom Hau, Sam Hickey, Brian Levy
2022 Political Settlements and Development  
In this respect we have drawn heavily on the previous work of Mushtaq Khan and Brian Levy, while integrating insights from comparative politics, sociology, and collective-action theory.  ... 
doi:10.1093/oso/9780192848932.003.0008 fatcat:rtubyvhtjzd4dfy636qjn4q3hi

Universal properties of impure programming languages

Sam Staton, Paul Blain Levy
2013 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13  
Levy [24] coined the phrase 'complex value' for this situation.  ...  The last three facts can be deduced from the first one by building on earlier work by Levy, Power and Thielecke [24] . Premonoidal categories We now recall the notion of premonoidal category.  ... 
doi:10.1145/2429069.2429091 dblp:conf/popl/StatonL13 fatcat:crlnlinri5ez3ibzpiuepzjhla

A monad for full ground reference cells

Ohad Kammar, Paul B. Levy, Sean K. Moss, Sam Staton
2017 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)  
We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in a different functor category equipped with a monad for adding hiding/encapsulation capabilities to the heaps. We derive a monad for full ground references supporting effect masking by applying a state monad transformer to the encapsulation monad. To evaluate the monad, we present a denotational semantics for a
more » ... value calculus with full ground references, and validate associated code transformations.
doi:10.1109/lics.2017.8005109 dblp:conf/lics/KammarLMS17 fatcat:uqdq6nuc5nexlkmrb3h5uut6va

Fluorescent Fructose Derivatives for Imaging Breast Cancer Cells

Jelena Levi, Zhen Cheng, Olivier Gheysens, Manish Patel, Carmel T. Chan, Yingbing Wang, Mohammad Namavari, Sanjiv Sam Gambhir
2007 Bioconjugate chemistry  
Breast cancer cells are known to overexpress Glut5, a sugar transporter responsible for the transfer of fructose across the cell membrane. Since Glut5 transporter is not significantly expressed in normal breast cells, fructose uptake can potentially be used to differentiate between normal and cancerous cells. Fructose was labeled with two fluorophores at the C-1 position: 7-nitro-1,2,3benzadiazole (NBD) and Cy5.5. The labeling site was chosen on the basis of the presence and substrate
more » ... y of the key proteins involved in the first steps of fructose metabolism. Using fluorescence microscopy, the uptake of the probes was studied in three breast cancer cell lines: MCF 7, MDA-MB-435, and MDA-MB-231. Both fluorescent fructose derivatives showed a very good uptake in all tested cell lines. The level of uptake was comparable to that of the corresponding glucose analogs, 2-NBDG and Cy5.5-DG. Significant uptake of 1-NBDF derivative was not observed in cells lacking Glut5 transporter, while the uptake of the 1-Cy5.5-DF derivative was independent of the presence of a fructose-specific transporter. While 1-NBDF showed Glut5specific accumulation, the coupling of a large fluorophore such as Cy5.5 likely introduces big structural and electronic changes, leading to a fructose derivative that does not accurately describe the uptake of fructose in cells.
doi:10.1021/bc060184s pmid:17444608 pmcid:PMC4145876 fatcat:y3ltlmsegfcsfimvfie5tgckxm

The dry season intensity as a key driver of NPP trends

Guillermo Murray-Tortarolo, Pierre Friedlingstein, Stephen Sitch, Sonia I. Seneviratne, Imogen Fletcher, Brigitte Mueller, Peter Greve, Alessandro Anav, Yi Liu, Anders Ahlström, Chris Huntingford, Sam Levis (+6 others)
2016 Geophysical Research Letters  
We analyze the impacts of changing dry season length and intensity on vegetation productivity and biomass. Our results show a wetness asymmetry in dry ecosystems, with dry seasons becoming drier and wet seasons becoming wetter, likely caused by climate change. The increasingly intense dry seasons were consistently correlated with a decreasing trend in net primary productivity (NPP) and biomass from different products and could potentially mean a reduction of 10-13% in NPP by 2100. We found that
more » ... annual NPP in dry ecosystems is particularly sensitive to the intensity of the dry season, whereas an increase in precipitation during the wet season has a smaller effect. We conclude that changes in water availability over the dry season affect vegetation throughout the whole year, driving changes in regional NPP. Moreover, these results suggest that usage of seasonal water fluxes is necessary to improve our understanding of the link between water availability and the land carbon cycle.
doi:10.1002/2016gl068240 fatcat:lw2vt7vzk5ahzcxh75csqcpqyq
« Previous Showing results 1 — 15 out of 36,640 results