A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Compiling Actions by Partial Evaluation, Revisited
1998
BRICS Report Series
Preserved Fulltext
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2015
Tohoku journal of experimental medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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?
2017
Asian Journal of Peacebuilding
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 Fourth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2020
Journal of Object Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Chemistry and Biology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2010
Volume! - La revue des musiques populaires
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2006
Tree Physiology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2019
bioRxiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2004
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2002
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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]
1996
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
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]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2018
Journal of Chemical Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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