Filters








94 Hits in 2.5 sec

Compiling Actions by Partial Evaluation, Revisited

Olivier Danvy, Morten Rhiger
1998 BRICS Report Series  
In contrast to Similix, our type-directed partial evaluator is idempotent and requires no "binding-time improvements."  ...  This article was completed during a visit to Hanyang University, Korea by the second author, in the spring of 1998, supported by  ...  As illustrated here, the result of the second Futamura projection is about 3 times more efficient than the first Futamura projection, both in time and space. • Not idempotent: a second pass of partial  ... 
doi:10.7146/brics.v5i13.19285 fatcat:c4ojzm66yjgfrm7agcve2ioh5m

Compiling Control as Offline Partial Deduction [article]

Vincent Nys, Danny De Schreye
2018 arXiv   pre-print
It has previously been conjectured that compiling control could be implemented as an instance of the first Futamura projection, in which an interpreter is specialized for an input program.  ...  We present a new approach to a technique known as compiling control, whose aim is to compile away special mechanisms for non-standard atom selection in logic programs.  ...  The observation that a compiled program can be obtained through specialization of an interpreter is known as the first Futamura projection [12] .  ... 
arXiv:1808.05360v2 fatcat:b7mti2omrvae5cddsffemqszyi

Eczema and Asthma Symptoms among Schoolchildren in Coastal and Inland Areas after the 2011 Great East Japan Earthquake: The ToMMo Child Health Study

Masako Miyashita, Masahiro Kikuya, Chizuru Yamanaka, Mami Ishikuro, Taku Obara, Yuki Sato, Hirohito Metoki, Naoki Nakaya, Fuji Nagami, Hiroaki Tomita, Hideyasu Kiyomoto, Junichi Sugawara (+8 others)
2015 Tohoku journal of experimental medicine  
After the Great East Japan Earthquake of 2011, there has been a concern about health problems among children.  ...  Living in a coastal municipality was also associated with eczema symptoms (P = 0.0278).  ...  Acknowledgments This work was supported by the MEXT Tohoku Medical Megabank Project.  ... 
doi:10.1620/tjem.237.297 pmid:26631914 fatcat:ia6rkiy4gbe7djxqfp2p2mawmq

The Peacebuilding of the Chittagong Hill Tracts (CHT), Bangladesh: Donor-Driven or Demand-Driven?

Anurug Chakma
2017 Asian Journal of Peacebuilding  
A mostly top-down approach to peacebuilding has been used in the CHT due to an entirely donor-driven peacebuilding partnership between local and international stakeholders.  ...  The decade-long low-intensity armed conflict in the Chittagong Hill Tracts (CHT) that surfaced soon after the independence of Bangladesh (1971) due to the failure of the state-building project ended with  ...  Ironically, there is a colossal gap between the principle of establishing local ownership over peacebuilding and the painful reality on the ground (Futamura and Notaras 2011; Cutillo 2007, 17, 41) .  ... 
doi:10.18588/201711.00a031 fatcat:z6rbiw665vgvdof4ysf3hgerhu

Target-Specific Refinement of Multigrid Codes

Richard Membarth, Philipp Slusallek, Marcel Koster, Roland Leissa, Sebastian Hack
2014 2014 Fourth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing  
This paper applies partial evaluation to stage a stencil code Domain-Specific Language (DSL) onto a functional and imperative programming language.  ...  First results show that we achieve a speedup of up to 3× on the CPU by vectorizing multigrid components and a speedup of up to 2× on the GPU by merging the computation of multigrid components.  ...  It is also co-funded by the European Union (EU), as part of the Dreamspace project.  ... 
doi:10.1109/wolfhpc.2014.5 dblp:conf/sc/MembarthSKLH14 fatcat:mn4tv2pi4jhcdmkpclncyqpglq

Modelling of Language Syntax and Semantics: The Case of the Assembler Compiler

Vadim Zaytsev
2020 Journal of Object Technology  
The compiler is currently deployed at some of our customers and has received a top technology award from Microsoft.  ...  lessons learnt during the project.  ...  The third and the fourth categories would lead to performance problems: in the third case, data will be fetched without need, and in the fourth case, data will be fetched in a wrong format (and will need  ... 
doi:10.5381/jot.2020.19.2.a5 fatcat:fxrpe4srorcelhviseydxvcvde

The Chemistry-Biology-Medicine Continuum and the Drug Discovery and Development Process in Academia

K.C. Nicolaou
2014 Chemistry and Biology  
Admirable as it is, the drug discovery and development process is continuously undergoing changes and adjustments in search of further improvements in efficiency, productivity, and profitability.  ...  This perspective discusses ways to promote the emerging academic paradigm of the chemistrybiology-medicine continuum as a means to advance the drug discovery and development process.  ...  There are a number of strengths and benefits of academic-industrial partnerships, for example: Complementarity of academic and industrial expertise New funding opportunities for academics Potential financial  ... 
doi:10.1016/j.chembiol.2014.07.020 pmid:25237851 fatcat:hm6jpb6odncttijbwit2wsxjri

From Annie Laurie to Lady Madonna: A Century of Cover Songs in Japan

Gerry McGoldrick
2010 Volume! - La revue des musiques populaires  
he foreign language cover record in Japan seems to have started (as a popular phenomenon) with Futamura Teiichi's version of "My Blue Heaven" in 1928.  ...  domesticating and foreignizing translations (the former renders the text in familiar terms for the target audience, the latter emphasizes fidelity to the original language) to contrast ways that Western culture is  ...  While there is a problem with generalizing too much from it, most of the sources I used were anthologies or surveys that presumably aimed at being representative, so there is some reason to believe in  ... 
doi:10.4000/volume.2810 fatcat:i5vvhyxabnewnecajr57gcjp5e

Analysis of expressed sequence tags from Cryptomeria japonica pollen reveals novel pollen-specific transcripts

N. Futamura, T. Ujino-Ihara, M. Nishiguchi, H. Kanamori, K. Yoshimura, M. Sakaguchi, K. Shinohara
2006 Tree Physiology  
Don is one of the most important forest trees in Japan, but more than 10% of the Japanese population is allergic to its pollen.  ...  The CjMP1-related genes formed a multi-gene family and were expressed specifically in the pollen grains of C. japonica.  ...  The fourth allergen from C. japonica, CJP-4, resembles class I chitinase allergens, such as Hev b 11, Pers a 1 and Mus a 1 (Fujimura et al. 2005 ).  ... 
doi:10.1093/treephys/26.12.1517 pmid:17169891 fatcat:tcrsh44hufbs5gxaut7tz7qwae

Probing complexity of microalgae mixtures with novel spectral flow cytometry approach and "virtual filtering" [article]

Natasha S. Barteneva, Veronika Dashkova, Ivan A Vorobjev
2019 bioRxiv   pre-print
Addressing the issue we developed a novel approach using the flexibility of spectral flow cytometry analysis (SFC) and generated a matrix of virtual filters (VF) capable to of differentiating non-chlorophyll  ...  However, identification of different microalgae populations by autofluorescent pigments remains a challenge because of the very strong signal from chlorophyll.  ...  CC-BY 4.0 International license is made available under a The copyright holder for this preprint (which was not peer-reviewed) is the author/funder. It .  ... 
doi:10.1101/516146 fatcat:egizag6x5vfbrmocysd5lwy4mm

Offline specialisation in Prolog using a hand-written compiler generator

MICHAEL LEUSCHEL, JESPER JØRGENSEN, WIM VANHOOF, MAURICE BRUYNOOGHE
2004 Theory and Practice of Logic Programming  
While this is a usable specialiser by itself, it is used to develop the cogen system logen.  ...  Finally, logen is extended so as to directly support a large part of Prolog's declarative and non-declarative features and so as to be able to perform so called mixline specialisations.  ...  In that case one may, according to the second Futamura projection, obtain compilers from interpreters and, according to the third Futamura projection, a compiler generator (cogen for short).  ... 
doi:10.1017/s1471068403001662 fatcat:ekq3kixjcjh2hbmvxygzrdh6z4

Offline Specialisation in Prolog Using a Hand-Written Compiler Generator [article]

Michael Leuschel, Jesper Joergensen, Wim Vanhoof, Maurice Bruynooghe
2002 arXiv   pre-print
While this is a usable specialiser by itself, it is used to develop the cogen system LOGEN.  ...  Finally, LOGEN is extended so as to directly support a large part of Prolog's declarative and non-declarative features and so as to be able to perform so called mixline specialisations.  ...  In that case one may, according to the second Futamura projection, obtain compilers from interpreters and, according to the third Futamura projection, a compiler generator (cogen for short).  ... 
arXiv:cs/0208009v1 fatcat:cvqcfkf625hbznbu23viqhobpa

A roadmap to metacomputation by supercompilation [chapter]

Robert Glück, Morten Heine Sørensen
1996 Lecture Notes in Computer Science  
Then a taxonomy of related transformers is given and compared to the supercompiler.  ...  First, a complete supercompiler, including positive driving and generalization, is de ned for a functional language and illustrated with examples.  ...  The book 83] de ned all three Futamura projections in terms of metasystem transition.  ... 
doi:10.1007/3-540-61580-6_8 fatcat:wypp3zx6kvfhtforptk4lhgude

On the Generation of Test Data for Prolog by Partial Evaluation [article]

Miguel Gomez-Zamalloa, Elvira Albert, German Puebla
2009 arXiv   pre-print
into an equivalent CLP program by means of interpretive compilation by PE, (2) a second PE is performed in order to supervise the generation of test-cases by execution of the CLP decompiled program.  ...  However, when one tries to apply it to a declarative language like Prolog, we have found as a main difficulty the generation of test-cases which cover the more complex control flow of Prolog.  ...  ., an ad-hoc decompiler of bytecode to Prolog [17] ) or, more interestingly, can be achieved automatically by relying on the first Futamura projection by means of PE for logic programs as explained above  ... 
arXiv:0903.2199v1 fatcat:p3odglgy3bfddntntjagauod5m

Ion-ion correlations across and between electrified graphene layers

Trinidad Mendez-Morales, Mario Burbano, Matthieu Haefele, Benjamin Rotenberg, Mathieu Salanne
2018 Journal of Chemical Physics  
When an ionic liquid adsorbs onto a porous electrode, its ionic arrangement is deeply modified due to a screening of the Coulombic interactions by the metallic surface and by the confinement imposed upon  ...  The impact of an electrified surface placed between two liquid phases is much less understood.  ...  Once we apply a potential difference the ion population inside the positive electrode changes in the same way as noted above (ion exchange) but now, there is also a rearrangement of anions that tend to  ... 
doi:10.1063/1.5012761 pmid:30307207 fatcat:e2rw6sq4zbb5tdrbqphx4fggbq
« Previous Showing results 1 — 15 out of 94 results