Filters








1,407,906 Hits in 2.5 sec

Semantics of Linear Continuation-Passing in Call-by-Name [chapter]

Masahito Hasegawa
2004 Lecture Notes in Computer Science  
Its semantic interpretation into a category of linear continuations then amounts to the call-by-name continuation-passing style (CPS) transformation into a linear lambda calculus with sum types.  ...  We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages.  ...  Acknowledgements I thank Oliver Danvy for asking me how linear CPS for callby-name can be semantically understood, and anonymous reviewers for helpful comments.  ... 
doi:10.1007/978-3-540-24754-8_17 fatcat:ehx7zccbaffv3belzzcd5nobyi

Linear types and continuation passing style transformation [article]

Panagiotis A. Theofilopoulos, National Technological University Of Athens, National Technological University Of Athens, Νικόλαος Παπασπύρου
2011
This diploma dissertation investigates the interaction between a linear type system supporting the temporary conversion of linear to unrestricted types and the continuation-passing style (CPS).  ...  Moreover, we define a continuation-passing style transformation, which transforms every valid program written in the related language Letbang to a valid LetbangCPS program.  ...  Key words Linear type system, continuation-passing style transformation, references, ML.  ... 
doi:10.26240/heal.ntua.3414 fatcat:6x2dskmvprhurboazojpygl7hm

Page 528 of MIND Vol. 11, Issue 44 [page]

1902 MIND  
This of course implies that there is some sort of rule in accordance with which alone one may pass from A to C, which may be called the rule of contiguity or continuity.  ...  Each of these sub-groups is again catalogued as a linear group of groups of an order two less than the whole. And so on; till we reach sub- groups which are themselves linear.  ... 

From control effects to typed continuation passing

Hayo Thielecke
2003 SIGPLAN notices  
We use this polymorphism to derive transforms that make use of effect information, in particular, a mixed linear/non-linear continuation-passing transform, in which expressions without control effects  ...  are passed their continuations linearly.  ...  and the linear continuation passing for pure expressions.  ... 
doi:10.1145/640128.604144 fatcat:elq2r5h66ncxfdppek4tgh7u3e

From control effects to typed continuation passing

Hayo Thielecke
2003 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '03  
We use this polymorphism to derive transforms that make use of effect information, in particular, a mixed linear/non-linear continuation-passing transform, in which expressions without control effects  ...  are passed their continuations linearly.  ...  and the linear continuation passing for pure expressions.  ... 
doi:10.1145/604131.604144 fatcat:igs5ohvj7rhb3d7k6ne4mlqa4u

Christoffel-Darboux Formula Most Directly Applied in Generating Economical Linear Phase Low-Pass Digital FIR Filter Functions

V. D. Pavlovic, D. G. Ciric, N. S. Doncov
2012 Elektronika ir Elektrotechnika  
As a result, a linear phase low-pass digital finite impulse response (FIR) filter function is generated in compact explicit form.  ...   Abstract-The approximation problem of a filter function of even and odd order is solved mathematically in this paper most directly applying the proposed Christoffel-Darboux formula for two continual  ...  CONCLUSION An original approach to a linear phase selective low-pass digital FIR filter design is presented in this paper.  ... 
doi:10.5755/j01.eee.18.8.2639 fatcat:fwmh4pfuiveybngwdg7posrstu

:{unav)

Josh Berdine, Peter O'Hearn, Uday Reddy, Hayo Thielecke
2012 Higher-Order and Symbolic Computation  
for cps transforms that has both intuitionistic and linear function types. * This is an extended and revised version of a paper ( c  ...  However, continuations are often manipulated in a highly stylised way, and we show that all of these, bar backtracking, in fact use their continuations linearly; this is formalised by taking a target language  ...  admit a discipline of linear continuation-passing.  ... 
doi:10.1023/a:1020891112409 fatcat:qnacygxbcfhtxijr4xfi2wuz64

Towards Substructural Property-Based Testing [article]

Marco Mantovani, Alberto Momigliano
2021 arXiv   pre-print
We take the first step by implementing a property-based testing system for specifications written in the linear logic programming language Lolli.  ...  Acknowledgments We are grateful to Dale Miller for many discussions and in particular for suggesting the use of logical continuations.  ...  The linear interpreter performs worse than the state passing one, but not dramatically so.  ... 
arXiv:2108.01610v1 fatcat:2aosrx7e45hu3hisdqphkwfhai

Understanding Collapse in Non-Contrastive Learning [article]

Alexander C. Li, Alexei A. Efros, Deepak Pathak
2022 arXiv   pre-print
Finally, we demonstrate that shifting to a continual learning setting acts as a regularizer and prevents collapse, and a hybrid between continual and multi-epoch training can improve linear probe accuracy  ...  Thus, single pass training does not improve ResNet-18 ImageNet linear probe accuracy.  ...  Iteration 60 ResNet-18 Single pass Multiple, from 60 80 100 AUC 0.80 0.85 0.90 20 40 60 Iteration ResNet-18 Multiple pass 80 Single pass Multiple, from 60 100 Table 3 : 3 Places365 top-1 linear probing  ... 
arXiv:2209.15007v1 fatcat:jiur3bg6kjbhrjez7aml4kycve

Compaction Quality Inspection Method of Soil-Rock Filled Embankment Based on Continuous Compaction Control Technology

Zhuoling He, Junyun Zhang, Paolo Castaldo
2021 Advances in Civil Engineering  
, and the quantity of the control points was insufficient so that the linear correlation between the dynamic deformation modulus () and the vibratory compaction value (VCV) was not strong.  ...  Results reveal the difference between the VCV mean measured in the last two passes and the standard deviation of the measured VCV mean in the last pass are used as the main basis for the actual compaction  ...  Continued. Figure 4 :Figure 5 : 45 VCV test results.  ... 
doi:10.1155/2021/8894042 fatcat:eevrvazeo5egvkner5qvioiaai

A novel analytical method for the selective multiplierless linear-phase 2D FIR filter function

Jelena Djordjevic-Kozarov, Vlastimir Pavlovic
2016 Facta universitatis - series Electronics and Energetics  
In this paper, a novel analytical method for new class of selective linear-phase two-dimensional (2D) finite impulse response (FIR) filter functions generated by applying a new modified 2D Christoffel-Darboux  ...  Fundamental research proposed in this paper is also illustrated by examples of 2D FIR filter and adequate comparison with new class of multiplierless linear-phase 2D FIR filter function given in the literature  ...  Also, the new class of the linear-phase 2D FIR digital filters, generated by the proposed modified formula and by direct mapping from the continuous domain into 2D z domain, is given.  ... 
doi:10.2298/fuee1604689d fatcat:7buxf6tjoffp5gpcaarbgufjr4

Page 1145 of Mathematical Reviews Vol. 38, Issue 6 [page]

1969 Mathematical Reviews  
functionals passing through the points of smoothness in B, contains an element of F, where F is a collection of sets of normalized positive linear functionals passing through the points of smoothness  ...  Let A be a continuous linear operator on a reflexive Banach space. It is shown that if there exists a continuous linear operator 7’, a positive number 6 and a positive integer p’ such that || 7'— A?  ... 

Shape of impulse response characteristics of linear-phase nonrecursive 2D FIR filter function

Vlastimir Pavlovic, Dejan Milic, Jelena Djordjevic-Kozarov
2013 Facta universitatis - series Electronics and Energetics  
Correct transformation from continuous two-dimensional domain into the z domains without residuum and without errors is described.  ...  Normalized surface area of the filter function pass-band is 3.45789156 10 -5 for given maximal attenuation of 0.28 dB.  ...  Also, the new class of the linear phase two-dimensional FIR digital filters, generated by the proposed modified formula and by direct mapping from the continuous domain into two-dimensional z domain, is  ... 
doi:10.2298/fuee1302133p fatcat:x56vnbz5ebfjbjcthqat4wmyee

Kronecker product based stability tests and performance bounds for a class of 2D continuous–discrete linear systems

E. Rogers, D.H. Owens
2002 Linear Algebra and its Applications  
This paper reports further development of the so-called 1D Lyapunov equation based approach to the stability analysis of differential linear repetitive processes which are a distinct class of 2D continuous-discrete  ...  linear systems of both practical and theoretical interest.  ...  approaches for other classes of 2D linear (discrete or continuous-discrete) systems.  ... 
doi:10.1016/s0024-3795(02)00287-2 fatcat:a3ho353xefbtrevbwe2mv2gk2y

Mid-frequency sound propagation through internal waves at short range with synoptic oceanographic observations

Daniel Rouseff, Dajun Tang, Kevin L. Williams, Zhongkang Wang, James N. Moum
2008 Journal of the Acoustical Society of America  
Introduction Both linear and non-linear internal waves are potentially important at the SW06 site.  ...  On August 18, mid-frequency acoustic transmission data were collected on a vertical array over a continuous 7-hour period at range 550 m.  ...  Results show a new acoustic path being generated as the internal wave passes above the acoustic source.  ... 
doi:10.1121/1.2963097 pmid:19045565 fatcat:iontoyvk7zgmxbknn5hb3rok4a
« Previous Showing results 1 — 15 out of 1,407,906 results