Filters








59,437 Hits in 6.2 sec

Shifting the stage

Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
2008 Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09  
We introduce the first two-level calculus with control effects and a sound type system. We give small-step operational semantics as well as a continuation-passing style (CPS) translation.  ...  Side effects such as state and control ease correctness: an effectful generator can resemble the textbook presentation of an algorithm, as is familiar to domain experts, yet insert let for memoization  ...  Acknowledgments We thank Kenichi Asai, Olivier Danvy, and Atsushi Igarashi for helpful discussions, and the reviewers for their comments.  ... 
doi:10.1145/1480945.1480962 dblp:conf/pepm/KameyamaKS09 fatcat:mvytvclfhfgc7cnimrhgikel6e

Shifting the stage

YUKIYOSHI KAMEYAMA, OLEG KISELYOV, CHUNG-CHIEH SHAN
2011 Journal of functional programming  
We introduce the first multilevel calculus with control effects and a sound type system. We give small-step operational semantics as well as a one-pass continuation-passing-style translation.  ...  Side effects such as state and control ease correctness and expressivity: An effectful generator can resemble the textbook presentation of an algorithm, as is familiar to domain experts, yet insert let  ...  Acknowledgments We thank Kenichi Asai, Olivier Danvy, and Atsushi Igarashi for helpful discussions, and the reviewers for their many helpful comments.  ... 
doi:10.1017/s0956796811000256 fatcat:d6yybb54e5dcnkciwyqfgeniri

Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator [article]

Fei Wang, Daniel Zheng, James Decker, Xilun Wu, Grégory M. Essertel,, Tiark Rompf
2019 arXiv   pre-print
We further show how this formulation of AD can be fruitfully combined with multi-stage programming (staging), leading to a highly efficient implementation that combines the performance benefits of deep  ...  learning frameworks based on explicit reified computation graphs (e.g., TensorFlow) with the expressiveness of pure library approaches (e.g., PyTorch).  ...  Fortunately, delimited control operators exist that enable programming with delimited continuations in a direct style, without making the continuations explicit.  ... 
arXiv:1803.10228v3 fatcat:egaqjo2e2ze4xkmvideufhy3lu

The Shifting Focus [chapter]

Ruwantissa Abeyratne
2010 Space Security Law  
The Shifting Focus 5 The Shifting Focus The Shifting Focus The Shifting Focus PCIJ Series A/B, No. 53, at pp. 53ff.Air Space and Outer Space The Shifting Focus The Shifting  ...  W.L.R. 969 (H.L) at p. 1014. 9 Lowe (2003), pp. 859-871 at 859. 10 Arend (1999), p. 26. 11 Higgins (1999), p. 1. 12 The Shifting Focus The Shifting Focus The Shifting Focus  ... 
doi:10.1007/978-3-642-16702-7_1 fatcat:jvekrunynfhylnba7cwqjiv4lm

Polymorphic Multi-stage Language with Control Effects [chapter]

Yuichiro Kokaji, Yukiyoshi Kameyama
2011 Lecture Notes in Computer Science  
In this paper, we propose a polymorphic multi-stage calculus with delimitedcontrol operators.  ...  In the presence of control effects, polymorphism in types is indispensable as all pure functions are polymorphic over answer types, and in MSP languages, polymorphism in stages is indispensable to write  ...  The second author is supported in part by JSPS Grant-in-Aid for Scientific Research (B) 21300005.  ... 
doi:10.1007/978-3-642-25318-8_11 fatcat:tzbgaig4bvfunlmajplqomc3ra

THE LEGALITY OF BORDER SHIFTS DUE TO COASTAL RECLAMATION

Dita Birahayu
2018 Hang Tuah Law Journal  
<p>Based on Declaration of Djuanda, it declared that Indonesia maritime was defined as the entity of the Republic of Indonesia (NKRI), and thus, Indonesia is known as an archipelagic country with a very  ...  As an independent country, Indonesia is attempting to protect its territory by having a diplomatic negotiation with Singapore in order to decide the legal certainty over their maritime borders, especially  ...  The area can be in the form of tidal and non-tidal swamps. Using this drainage system along with its controlling doors, the coastal areas will be useful for living and planting.  ... 
doi:10.30649/htlj.v2i1.46 fatcat:n646nb5q6bchxezqtiscw62vmm

Temporal variability in stage–discharge relationships

José-Luis Guerrero, Ida K. Westerberg, Sven Halldin, Chong-Yu Xu, Lars-Christer Lundin
2012 Journal of Hydrology  
The study was carried out for six hydrometric stations in the upper Choluteca River basin, Honduras, where a set of unusually frequent stage-discharge data are available.  ...  The discharge at a given stage could vary by a factor of two or more. The quotient in discharge volumes estimated from dynamic and static rating curves varied between 0.5 and 1.5.  ...  Acknowledgements This work was part of the projects Research cooperation in hydrology and geotechnology -subproject Hydrology and water management of the upper Choluteca River basin and Effects of climate  ... 
doi:10.1016/j.jhydrol.2012.04.031 fatcat:icuywrbi65b3xbr4vdexizpa3y

Chasing Eliza: Shifting and Static Women in Elizabeth Craven's The Miniature Picture

Heather Ladd
2016 ABO : Interactive Journal for Women in the Arts 1640-1830  
Craven's preoccupation with image-management in this play aligns with the experiences and views she recorded in her travel narrative A Journey through the Crimea to Constantinople (1789), and her Memoirs  ...  Intriguingly, Robinson's final stage appearance was as the cross-dressing heroine of The Miniature Picture (1781), a three-act comedy penned by writer and socialite Lady Elizabeth Craven, later Baroness  ...  As a vain man-collector, Flirtilla is the foil to the shifting yet constant Eliza.  ... 
doi:10.5038/2157-7129.6.1.2 fatcat:m46fvl46ufhstmibdby7y3xwey

The Need for a Paradigm Shift [chapter]

2021 WATER AND SOCIETY  
It is seen as a complex and adaptive systemic whole delimited by spatial or functional boundaries.  ...  The phenomenal growth in irrigated agriculture, industry and urbanisation during recent decades, coupled with the devastating consequences of water-borne diseases, have made water control the number one  ... 
doi:10.5040/9780755606511.0006 fatcat:wodsbvxstnb2nfmnrt2pv45fuu

Staged generic programming

Jeremy Yallop
2017 Proceedings of the ACM on Programming Languages  
This leaves programmers with the regrettable choice between writing succinct but slow programs and writing tedious but efficient programs.  ...  Applying structured multi-stage programming techniques transforms Scrap Your Boilerplate from an inefficient library into a typed optimising code generator, bringing its performance in line with hand-written  ...  We show here that these techniques find happy expression in a multi-stage programming language with delimited control and advanced forms of polymorphism. • The simple listify example from the introduction  ... 
doi:10.1145/3110273 dblp:journals/pacmpl/Yallop17 fatcat:23a3xf5a7nc3ribcrvfnnkeeai

The Shifting Parameters of Nationality

Kristin Henrard
2018 Netherlands International Law Review  
The article ends with a brief overview of the articles that make up the special issue.  ...  in the articles of the special issue.  ...  distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were  ... 
doi:10.1007/s40802-018-0117-6 fatcat:ziziukacc5h23kk236ekjq5n54

Setting the Stage

Maarten A. Hajer
2005 Administration & Society  
can be said with influence.  ...  It is argued that we can enhance our understanding of the dynamics of policy deliberation examining the setting in which the deliberation takes place as well as the particular staging of that setting.  ...  The case study showed that even with the same cast policy deliberation can change face through experiments with new settings and stagings.  ... 
doi:10.1177/0095399704270586 fatcat:awupe7fytraelpevzmqzzjsqhi

The Evolution of Post-socialist Projects: Trajectory Shift and Transitional Capacity in a Polish Region

David Dornisch
2002 Regional studies  
The second part of the paper explores the question of how trajectory shift could have occurred in Łódź, despite the lack of incremental interactive learning across project stages.  ...  with the myriad practical restructuring problems facing regional firms and institutions.  ...  In the previous stage, the EMD and DRD had been internally differentiated, with strong leaderships and multiple types of specialists.  ... 
doi:10.1080/00343400120122098 fatcat:gh3m2kysdvhsdo6xjk625nbn3u

Static stages for heterogeneous programming

Adrian Sampson, Kathryn S. McKinley, Todd Mytkowicz
2017 Proceedings of the ACM on Programming Languages  
The compiler statically generates target-specific code and guarantees safe communication between the CPU and the graphics pipeline stages.  ...  We introduce static staging, a different take on multi-stage programming that lets the compiler generate all code and communication constructs ahead of time.  ...  Ömer Sinan Ağacan's blog post on the purpose of staging [Ağacan 2015] helped clarify the MSP landscape; Ömer also provided feedback on an early draft.  ... 
doi:10.1145/3133895 dblp:journals/pacmpl/SampsonMM17 fatcat:yhwyev3ugzhthfaqhsxls2putq

An Inquiry into the Aviation Management Education Paradigm Shift

Matthew Earnhardt, Jason Newcomer, Daryl Watkins, James Marion
2014 International Journal of Aviation, Aeronautics, and Aerospace  
Delimitations The only self-imposed limitation-or delimitation-for this research was the number of interview questions to include on the protocol.  ...  They speculated that there could be a possible shift in the industry with the importance of education, certification, and experience. Newcomer et al.'  ... 
doi:10.15394/ijaaa.2014.1037 fatcat:ce6uhi7tb5cxvkiwljjibrjbvq
« Previous Showing results 1 — 15 out of 59,437 results