text:
@article{Hansen2018,
abstract = {The user has requested enhancement of the downloaded file.},
author = {Hansen, Angela M. and Fleck, Jacob A. and Kraus, Tamara E. C. and Downing, Bryan D. and von Dessonneck, Travis and Bergamaschi, Brian A.},
doi = {10.3133/ofr20181096},
file = {:home/roboat/Downloads/ofr2018.1096.pdf:pdf},
issn = {2331-1258},
journal = {USGS Open File Report},
title = {{Procedures for using the Horiba Scientific Aqualog{\textregistered} fluorometer to measure absorbance and fluorescence from dissolved organic matter}},
url = {https://pubs.er.usgs.gov/publication/ofr20181096},
volume = {2018-1096},
year = {2018}
}
@article{Nikolenko2019,
abstract = {Synthetic data is an increasingly popular tool for training deep learning models, especially in computer vision but also in other areas. In this work, we attempt to provide a comprehensive survey of the various directions in the development and application of synthetic data. First, we discuss synthetic datasets for basic computer vision problems, both low-level (e.g., optical flow estimation) and high-level (e.g., semantic segmentation), synthetic environments and datasets for outdoor and urban scenes (autonomous driving), indoor scenes (indoor navigation), aerial navigation, simulation environments for robotics, applications of synthetic data outside computer vision (in neural programming, bioinformatics, NLP, and more); we also survey the work on improving synthetic data development and alternative ways to produce it such as GANs. Second, we discuss in detail the synthetic-to-real domain adaptation problem that inevitably arises in applications of synthetic data, including synthetic-to-real refinement with GAN-based models and domain adaptation at the feature/model level without explicit data transformations. Third, we turn to privacy-related applications of synthetic data and review the work on generating synthetic datasets with differential privacy guarantees. We conclude by highlighting the most promising directions for further work in synthetic data studies.},
archivePrefix = {arXiv},
arxivId = {1909.11512},
author = {Nikolenko, Sergey I.},
eprint = {1909.11512},
file = {:home/roboat/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/Nikolenko - 2019 - Synthetic Data for Deep Learning.pdf:pdf},
month = {sep},
title = {{Synthetic Data for Deep Learning}},
url = {http://arxiv.org/abs/1909.11512},
year = {2019}
}
@article{Bahram2006,
abstract = {Fluorescence excitation-emission matrix (EEM) measurements are useful in fields such as food science, analytical chemistry, biochemistry and environmental science. EEMs contain information which can be modeled using the parallel factor analysis (PARAFAC) model but the data analysis is often complicated due to both Rayleigh and Raman scattering. There are several established ways to deal with scattering effects. However, all of these methods have associated problems. This paper develops a new method for handling scattering using interpolation in the areas affected by first- and second-order Rayleigh and Raman scatter in such a way that the interfering signal is, at best, removed. The suggested method is fast and requires no additional input other than specifying the scattering region. The results of the proposed method were compared with those obtained from common alternative approaches used for preprocessing fluorescence data before analysis with PARAFAC and were shown to be equally good for various types of EEM data. The main advantage of the interpolation method is in its lack of additional metaparameters, its algorithmic speed and subsequent speed-up of PARAFAC modeling. It also allows for using EEM data in software not able to handle missing data. Copyright {\textcopyright} 2007 John Wiley & Sons, Ltd.},
author = {Bahram, Morteza and Bro, Rasmus and Stedmon, Colin and Afkhami, Abbas},
doi = {10.1002/cem.978},
issn = {08869383},
journal = {Journal of Chemometrics},
keywords = {Interpolation,Missing values,PARAFAC,Raman scatter,Rayleigh scatter},
month = {mar},
number = {3-4},
pages = {99--105},
title = {{Handling of Rayleigh and Raman scatter for PARAFAC modeling of fluorescence data using interpolation}},
volume = {20},
year = {2006}
}
@inproceedings{Bro1997,
abstract = {This paper explains the multi-way decomposition method PARAFAC and its use in chemometrics. PARAFAC is a generalization of PCA to higher order arrays, but some of the characteristics of the method are quite different from the ordinary two-way case. There is no rotation problem in PARAFAC, and e.g., pure spectra can be recovered from multi-way spectral data. One cannot as in PCA estimate components successively as this will give a model with poorer fit, than if the simultaneous solution is estimated. Finally sealing and centering is not as straightforward in the multi-way case as in the two- way case. An important advantage of using multi-way methods instead of unfolding methods is that the estimated models are very simple in a mathematical sense, and therefore more robust and easier to interpret. All these aspects plus more are explained in this tutorial and an implementation in Matlab code is available, that contains most of the features explained in the text. Three examples show how PARAFAC can be used for specific problems. The applications include subjects as: Analysis of variance by PARAFAC, a five-way application of PARAFAC, PARAFAC with half the elements missing, PARAFAC constrained to positive solutions and PARAFAC for regression as in principal component regression.},
author = {Bro, Rasmus},
booktitle = {Chemometrics and Intelligent Laboratory Systems},
doi = {10.1016/S0169-7439(97)00032-4},
issn = {01697439},
month = {oct},
number = {2},
pages = {149--171},
title = {{PARAFAC. Tutorial and applications}},
volume = {38},
year = {1997}
}
@article{R.Murphy2010,
abstract = {The fluorescent properties of dissolved organic matter (DOM) are often studied in order to infer DOM characteristics in aquatic environments, including source, quantity, composition, and behavior. While a potentially powerful technique, a single widely implemented standard method for correcting and presenting fluorescence measurements is lacking, leading to difficulties when comparing data collected by different research groups. This paper reports on a large-scale interlaboratory comparison in which natural samples and well-characterized fluorophores were analyzed in 20 laboratories in the U.S., Europe, and Australia. Shortcomings were evident in several areas, including data quality-assurance, the accuracy of spectral correction factors used to correct EEMs, and the treatment of optically dense samples. Data corrected by participants according to individual laboratory procedures were more variable than when corrected under a standard protocol. Wavelength dependency in measurement precision and accuracy were },
author = {{R. Murphy}, Kathleen and {D. Butler}, Kenna and {G. M. Spencer}, Robert and {A. Stedmon}, Colin and {R. Boehme}, Jennifer and {R. Aiken}, George},
doi = {10.1021/es102362t},
journal = {Environmental Science & Technology},
month = {nov},
number = {24},
pages = {9405--9412},
title = {{Measurement of Dissolved Organic Matter Fluorescence in Aquatic Environments: An Interlaboratory Comparison}},
volume = {44},
year = {2010}
}
@article{Kothawala2013,
abstract = {The fluorescence of dissolved organic matter (DOM) is suppressed by a phenomenon of self-quenching known as the inner filter effect (IFE). Despite widespread use of fluorescence to characterize DOM in surface waters, the advantages and constraints of IFE correction are poorly defined. We assessed the effectiveness of a commonly used absorbance-based approach (ABA), and a recently proposed controlled dilution approach (CDA) to correct for IFE. Linearity between corrected fluorescence and total absorbance (ATotal; the sum of absorbance at excitation and emission wavelengths) across the full excitation-emission matrix (EEM) in dilution series of four samples indicated both ABA and CDA were effective to an absorbance of at least 1.5 in a 1 cm cell, regardless of wavelength positioning. In regions of the EEMs where signal to background noise (S/N) was low, CDA correction resulted in more variability than ABA correction. From the ABA algorithm, the onset of significant IFE (>5%) occurs when absorbance exceeds 0.042. In these cases, IFE correction is required, which was the case for the vast majority (97%) of lakes in a nationwide survey (n= 554). For highly absorbing samples, undesirably large dilution factors would be necessary to reduce absorbance below 0.042. For rare EEMs with ATotal > 1.5 (3.0% of the lakes in the Swedish survey), a 2-fold dilution is recommended followed by ABA or CDA correction. This study shows that for the vast majority of natural DOM samples the most commonly applied ABA algorithm provides adequate correction without prior dilution. {\textcopyright} 2013, by the American Society of Limnology and Oceanography, Inc.},
author = {Kothawala, Dolly N. and Murphy, Kathleen R. and Stedmon, Colin A. and Weyhenmeyer, Gesa A. and Tranvik, Lars J.},
doi = {10.4319/lom.2013.11.616},
file = {:home/roboat/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/Kothawala et al. - 2013 - Inner filter correction of dissolved organic matter fluorescence.pdf:pdf},
issn = {15415856},
journal = {Limnology and Oceanography: Methods},
month = {dec},
number = {DEC},
pages = {616--630},
title = {{Inner filter correction of dissolved organic matter fluorescence}},
volume = {11},
year = {2013}
}
@article{Rutherford2020,
abstract = {The inhalation of particulate matter (PM) is a significant health risk associated with reduced life expectancy due to increased cardio-pulmonary disease and exacerbation of respiratory diseases such as asthma and pneumonia. PM originates from natural and anthropogenic sources including combustion engines, cigarettes, agricultural burning, and forest fires. Identifying the source of PM can inform effective mitigation strategies and policies, but this is difficult to do using current techniques. Here we present a method for identifying PM source using excitation emission matrix (EEM) fluorescence spectroscopy and a machine learning algorithm. We collected combustion generated PM2.5 from wood burning, diesel exhaust, and cigarettes using filters. Filters were weighted to determine mass concentration followed by extraction into cyclohexane and analysis by EEM fluorescence spectroscopy. Spectra obtained from each source served as training data for a convolutional neural network (CNN) used for source identification in mixed samples. This method can predict the presence or absence of the three laboratory sources with an overall accuracy of 89% when the threshold for classifying a source as present is 1.1 $\mu$g/m3 in air over a 24-h sampling time. The limit of detection for cigarette, diesel and wood are 0.7, 2.6, 0.9 $\mu$g/m3, respectively, in air assuming a 24-h sampling time at an air sampling rate of 1.8 L per minute. We applied the CNN algorithm developed using the laboratory training data to a small set of field samples and found the algorithm was effective in some cases but would require a training data set containing more samples to be more broadly applicable.},
author = {Rutherford, Jay W. and Dawson-Elli, Neal and Manicone, Anne M. and Korshin, Gregory V. and Novosselov, Igor V. and Seto, Edmund and Posner, Jonathan D.},
doi = {10.1016/j.atmosenv.2019.117065},
issn = {18732844},
journal = {Atmospheric Environment},
keywords = {Diesel,Fluorescence,Neural network,Particulate matter,Source apportionment,Woodsmoke},
month = {jan},
pages = {117065},
publisher = {Elsevier Ltd},
title = {{Excitation emission matrix fluorescence spectroscopy for combustion generated particulate matter source identification}},
volume = {220},
year = {2020}
}
@article{Murphy2011,
abstract = {A method is proposed for automatically determining the upper and lower boundaries of the Raman scatter peak in fluorescence spectroscopy from empirical data. Accurate peak boundaries are needed to calculate accurate Raman peak areas, used for normalizing fluorescence signals to produce data in units that are comparable between instruments. Comparisons of Raman peak boundaries across nine individual instruments (FluoroMax 3 (FM3) fluorometers from HORIBA Jobin Yvon and Cary Eclipse (CE) fluorometers from Varian Inc.) at the excitation wavelength $\lambda$ex = 350 nm reveal consistent results. At 350 nm excitation, the Raman peak was confined by the emission wavelengths of 382–418 nm, with boundaries determined for the FM3 fluorometers deviating by no more than 0.5 nm and 1.5 nm with respect to the start and end of the peak, and CE fluorometers deviating by up to 1.5 nm and 2 nm, respectively. Peak width was a function of fluorometer type and excitation wavelength. For the FM3 instruments, widths increased from approximately 30 nm at $\lambda$ex = 300 nm to 40 nm at $\lambda$ex = 380 nm, while for the CE instruments, peaks were approximately 5–8 nm narrower. Code for implementing the procedure in MATLAB, which allows for the adjustment of input parameters to compensate for noisy data, is provided in the Supplemental Material (available online).},
author = {Murphy, Kathleen R.},
journal = {Applied Spectroscopy, Vol. 65, Issue 2, pp. 233-236},
keywords = {Emission,Fluorescence,Fluorescence spectroscopy,Light scattering,Raman scattering,Rayleigh scattering},
month = {feb},
number = {2},
pages = {233--236},
publisher = {Society for Applied Spectroscopy},
title = {{A Note on Determining the Extent of the Water Raman Peak in Fluorescence Spectroscopy}},
url = {https://www.osapublishing.org/abstract.cfm?uri=as-65-2-233 https://www.osapublishing.org/as/abstract.cfm?uri=as-65-2-233},
volume = {65},
year = {2011}
}
@misc{Massicotte,
author = {Massicotte, Philippe},
title = {{Introduction to eemR}},
url = {https://cran.r-project.org/web/packages/eemR/vignettes/introduction.html},
urldate = {2020-07-09}
}
@article{Peleato2018,
abstract = {The use of fluorescence data coupled with neural networks for improved predictability of drinking water disinfection by-products (DBPs) was investigated. Novel application of autoencoders to process high-dimensional fluorescence data was related to common dimensionality reduction techniques of parallel factors analysis (PARAFAC) and principal component analysis (PCA). The proposed method was assessed based on component interpretability as well as for prediction of organic matter reactivity to formation of DBPs. Optimal prediction accuracies on a validation dataset were observed with an autoencoder-neural network approach or by utilizing the full spectrum without pre-processing. Latent representation by an autoencoder appeared to mitigate overfitting when compared to other methods. Although DBP prediction error was minimized by other pre-processing techniques, PARAFAC yielded interpretable components which resemble fluorescence expected from individual organic fluorophores. Through analysis of the network weights, fluorescence regions associated with DBP formation can be identified, representing a potential method to distinguish reactivity between fluorophore groupings. However, distinct results due to the applied dimensionality reduction approaches were observed, dictating a need for considering the role of data pre-processing in the interpretability of the results. In comparison to common organic measures currently used for DBP formation prediction, fluorescence was shown to improve prediction accuracies, with improvements to DBP prediction best realized when appropriate pre-processing and regression techniques were applied. The results of this study show promise for the potential application of neural networks to best utilize fluorescence EEM data for prediction of organic matter reactivity.},
author = {Peleato, Nicolas M. and Legge, Raymond L. and Andrews, Robert C.},
doi = {10.1016/j.watres.2018.02.052},
issn = {18792448},
journal = {Water Research},
keywords = {Autoencoder,Dimensionality reduction,Disinfection by-products,Fluorescence spectroscopy,Neural networks,Water treatment},
month = {jun},
pages = {84--94},
publisher = {Elsevier Ltd},
title = {{Neural networks for dimensionality reduction of fluorescence spectra and prediction of drinking water disinfection by-products}},
volume = {136},
year = {2018}
}
@article{McKnight2001,
abstract = {We studied the fluorescence properties of fulvic acids isolated from streams and rivers receiving predominantly terrestrial sources of organic material and from lakes with microbial sources of organic material. Microbially derived fulvic acids have fluorophores with a more sharply defined emission peak occurring at lower wavelengths than fluorophores in terrestrially derived fulvic acids. We show that the ratio of the emission intensity at a wavelength of 450 nm to that at 500 nm, obtained with an excitation of 370 nm, can serve as a simple index to distinguish sources of isolated aquatic fulvic acids. In our study, this index has a value of ∼1.9 for microbially derived fulvic acids and a value of∼1.4 for terrestrially derived fulvic acids. Fulvic acids isolated from four large rivers in the United States have fluorescence index values of 1.4-1.5, consistent with predominantly terrestrial sources. For fulvic acid samples isolated from a river, lakes, and groundwaters in a forested watershed, the fluorescence index varied in a manner suggesting different sources for the seepage and streamfed lakes. Furthermore, we identified these distinctive fluorophores in filtered whole water samples from lakes in a desert oasis in Antarctica and in filtered whole water samples collected during snowmelt from a Rocky Mountain stream. The fluorescence index measurement in filtered whole water samples in field studies may augment the interpretation of dissolved organic carbon sources for understanding carbon cycling in aquatic ecosystems.},
author = {McKnight, Diane M. and Boyer, Elizabeth W. and Westerhoff, Paul K. and Doran, Peter T. and Kulbe, Thomas and Andersen, Dale T.},
doi = {10.4319/lo.2001.46.1.0038},
file = {:home/roboat/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/McKnight et al. - 2001 - Spectrofluorometric characterization of dissolved organic matter for indication of precursor organic material a.pdf:pdf},
issn = {00243590},
journal = {Limnology and Oceanography},
number = {1},
pages = {38--48},
title = {{Spectrofluorometric characterization of dissolved organic matter for indication of precursor organic material and aromaticity}},
volume = {46},
year = {2001}
}
@article{Ohno2002,
abstract = {The use of fluorescence spectrometry has been suggested as a simple method to determine the extent of natural organic matter humification by quantifying the red-shifting of fluorescence emission that occurs with' increasing humification. Humification indices are calculated by dividing fluorescence intensity at lorider Wavelengths by intensity at shorter wavelengths. These indices calculated without any specific efforts to standardize dissolved organic matter (DOM) concentration will result in index values that vary with DOM concentration dueto fluorescence innerfiltering effects. This study critically evaluated the effect of DOM concentration on humification index determination using organic matter isolated from field corn extract, soil: water extract, and soil fulvic acid. The results show that humification index values are sensitive to DOM concentration of the solution and are linear with respect to transmittance of the solution at the 254 nm used as the excitation wavelength.'An approximate correction for DOM is to exploit the linear nature of the regression fit and to determine index values at the extrapolated 100% transmittance value. An exact correction using explicit correction factors for both primary and secondar innerfiltration effects was shownto give humification index values that are concentration invariant when absorbance of the solution at 254 nm was less than approximately 0.3 unit. Defining the humification, index as the fluorescence intensity in the 300→345 nm region divided by the sum of intensity in the 300→345 nm and 435→480 nm regions was statistically advantageous. This study suggests that for quantitative results which can be used to compare humification of natural organic matter across different studies, correction of the fluorescence emission spectra for innerfiltration effects is needed.},
author = {Ohno, Tsutomu},
doi = {10.1021/es0155276},
file = {:home/roboat/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/Ohno - 2002 - Fluorescence inner-filtering correction for determining the humification index of dissolved organic matter.pdf:pdf},
issn = {0013936X},
journal = {Environmental Science and Technology},
month = {feb},
number = {4},
pages = {742--746},
pmid = {11878392},
title = {{Fluorescence inner-filtering correction for determining the humification index of dissolved organic matter}},
volume = {36},
year = {2002}
}
@article{Coble1990,
abstract = {The natural fluorescence properties of sea water provide a means of elucidating the complex chemical composition and diverse sources of dissolved organic matter (DOM) in sea water1-6. The positions of excitation and emission maxima for a wide range of natural water samples show remarkable similarity7. High-sensitivity fluorescence spectroscopic studies8 have shown recently that emission maxima for marine and coastal waters differ by 20 nm when the excitation wavelength is 313 nm. Here we present evidence from three-dimensional excitation emission matrix (EEM) spectroscopy that at least three fluorophores are present in waters of the Black Sea. Distinct changes in the relative abundance of these fluorophores are observed as a function of depth. We suggest that three-dimensional fluorescence spectroscopy can be used to distinguish between different types and sources of DOM in natural waters. These findings may have important applications in the field of remote sensing of phytoplankton pigments. For example, a better understanding of the sources of DOM components will help in correcting9,10 remotely sensed data for the presence of gelbstoff (yellow-coloured DOM11, which plays an important part in radiation absorption by surface waters). {\textcopyright} 1990 Nature Publishing Group.},
author = {Coble, Paula G. and Green, Sarah A. and Blough, Neil V. and Gagosian, Robert B.},
doi = {10.1038/348432a0},
issn = {00280836},
journal = {Nature},
number = {6300},
pages = {432--435},
title = {{Characterization of dissolved organic matter in the Black Sea by fluorescence spectroscopy}},
volume = {348},
year = {1990}
}
@article{CostaPereira2018,
abstract = {Excitation-Emission fluorescence spectroscopy is a versatile technique and has been used to detect, characterize and quantify residual Dissolved Organic Matter (DOM) in aquatic domains. PARAllel FACtor Analysis (PARAFAC) has been extensively used in the analysis of excitation-emission matrices (EEM), allowing for a better identification and quantification of contributions resulting from spectral decomposition. In this work we have adapted Independent Component Analysis (ICA) in order to make it suitable to the analysis of three-way EEM datasets, and tested ICA and PARAFAC performances for the study of three available datasets (Claus, Dorrit and drEEM). Semi-empirical simulation allowed us to assess the impact of (a) sample size, (b) signal sources and (c) composition dependencies, and the presence of (d) unspecific signal contributions (e.g. light scattering) upon both algorithms. PARAFAC and ICA have similar performances in processing ideal three-way EEM datasets but, in the presence of non-trilinear responses, ICA leads to a more realistic approach, yielding a better decomposition of contributing sources and their identification and quantification. This makes this algorithm more suitable for the analysis of real, raw EEM data, without the need of preprocessing to remove any unspecific contributions.},
author = {{Costa Pereira}, Jorge and Pais, Alberto A.C.C. and Burrows, Hugh D.},
doi = {10.1016/j.saa.2018.07.025},
issn = {13861425},
journal = {Spectrochimica Acta - Part A: Molecular and Biomolecular Spectroscopy},
keywords = {EEM,Fluorescence spectra,ICA,PARAFAC,Performance comparison,Semi-empirical simulations},
month = {dec},
pages = {320--334},
publisher = {Elsevier B.V.},
title = {{Analysis of raw EEM fluorescence spectra - ICA and PARAFAC capabilities}},
volume = {205},
year = {2018}
}
@article{Pucher2019,
abstract = {<p>The roles of dissolved organic matter (DOM) in microbial processes and nutrient cycles depend on its composition, which requires detailed measurements and analyses. We introduce a package for R, called staRdom (“spectroscopic analysis of DOM in R”), to analyze DOM spectroscopic data (absorbance and fluorescence), which is key to deliver fast insight into DOM composition of many samples. staRdom provides functions that standardize data preparation and analysis of spectroscopic data and are inspired by practical work. The user can perform blank subtraction, dilution correction, Raman normalization, scatter removal and interpolation, and fluorescence normalization. The software performs parallel factor analysis (PARAFAC) of excitation–emission matrices (EEMs), including peak picking of EEMs, and calculates fluorescence indices, absorbance indices, and absorbance slope indices from EEMs and absorbance spectra. A comparison between PARAFAC solutions by staRdom in R compared with drEEM in MATLAB showed nearly identical solutions for most datasets, although different convergence criteria are needed to obtain similar results and interpolation of missing data is important when working with staRdom. In conclusion, staRdom offers the opportunity for standardized multivariate decomposition of spectroscopic data without requiring software licensing fees and presuming only basic R knowledge.</p>},
author = {Pucher, Matthias and W{\"{u}}nsch, Urban and Weigelhofer, Gabriele and Murphy, Kathleen and Hein, Thomas and Graeber, Daniel},
doi = {10.3390/w11112366},
file = {:home/roboat/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/Pucher et al. - 2019 - staRdom Versatile Software for Analyzing Spectroscopic Data of Dissolved Organic Matter in R.pdf:pdf},
issn = {2073-4441},
journal = {Water},
keywords = {Absorbance,DOM,Dissolved organic matter,DrEEM,EEM,Fluorescence,PARAFAC,Peak picking,R,Spectroscopy,StaRdom},
month = {nov},
number = {11},
pages = {2366},
publisher = {MDPI AG},
title = {{staRdom: Versatile Software for Analyzing Spectroscopic Data of Dissolved Organic Matter in R}},
url = {https://www.mdpi.com/2073-4441/11/11/2366},
volume = {11},
year = {2019}
}
@article{Cuss2016,
abstract = {Parallel factor (PARAFAC) analysis of dissolved organic matter (DOM) fluorescence has facilitated a surge of investigation into its biogeochemical cycling. However, rigorous, PARAFAC-based methods for holistically distinguishing DOM sources are lacking. This study classified 1029 PARAFAC-analyzed excitation-emission matrices (EEMs) measured using DOM isolated from 24 different leaf leachates, rivers, and organic matter standards using four machine learning methods (MLM). EEMs were also divided into subsets to assess the impact of experimental treatments (i.e. whole EEMs, size fractionation, mixtures, quenching) and dataset properties (i.e. different numbers of EEMs from each leachate/river) on classification. A split-half validated, 10-component PARAFAC model was extended to 12 components to remove consistent peaks evident in model residuals. The 12-component model performed better than the 10-component model, correctly classifying up to 80 additional EEMs, when the dataset included size-fractionated DOM or several different sources (i.e. many leaf species and rivers); however, the 10-component model performed better for whole-sample EEMs when comparing leaf leachates to rivers. The MLM correctly classified whole EEMs of riverine DOM by source with up to 87.0% accuracy, leachates with up to 92.5% accuracy, and distinguished leachates from rivers with 97.2% accuracy. A difference of up to 17.3% in classification accuracy was observed depending on the MLM method used with the following order: multilayer perceptron = support vector machine > k-nearest neighbours decision tree; however, performances differed widely depending on the data subset. Classification accuracy for whole and size-fractionated rivers compared to whole and size-fractionated leachates using N-way partial least-squares discriminant analysis (NPLS-DA; 97.7%) was similar to that achieved using MLM. Combining MLM with PARAFAC is an effective method for classifying DOM based on its fluorescence signature because PARAFAC can isolate meaningful fluorescent species and unlike PLSDA, MLM constructs a single model which simultaneously classifies EEMs as belonging to one of several categories. A complete accounting of carbon flows through ecosystems should include the processes and sources that contribute to the disparate fluorescence signatures of riverine and leached DOM.},
author = {Cuss, C. W. and McConnell, S. M. and Gu{\'{e}}guen, C.},
doi = {10.1016/j.chemosphere.2016.04.061},
file = {:home/roboat/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/Cuss, McConnell, Gu{\'{e}}guen - 2016 - Combining parallel factor analysis and machine learning for the classification of dissolved organic m.pdf:pdf},
issn = {18791298},
journal = {Chemosphere},
keywords = {Data mining/machine learning,Dissolved organic matter (DOM),Excitation-emission matrix (EEM),K-nearest neighbours (kNN),Leaf leachate,Parallel factor analysis (PARAFAC)},
month = {jul},
pages = {283--291},
publisher = {Elsevier Ltd},
title = {{Combining parallel factor analysis and machine learning for the classification of dissolved organic matter according to source using fluorescence signatures}},
volume = {155},
year = {2016}
}
@article{Murphy2013,
abstract = {PARAllel FACtor analysis (PARAFAC) is increasingly used to decompose fluorescence excitation emission matrices (EEMs) into their underlying chemical components. In the ideal case where fluorescence conforms to Beers Law, this process can lead to the mathematical identification and quantification of independently varying fluorophores. However, many practical and analytical hurdles stand between EEM datasets and their chemical interpretation. This article provides a tutorial in the practical application of PARAFAC to fluorescence datasets, demonstrated using a dissolved organic matter (DOM) fluorescence dataset. A new toolbox for MATLAB is presented to support improved visualisation and sensitivity analyses of PARAFAC models in fluorescence spectroscopy.},
author = {Murphy, Kathleen R and Stedmon, Colin A and Graeber, Daniel and Bro, Rasmus},
doi = {10.1039/c3ay41160e},
file = {:home/roboat/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/Murphy et al. - 2013 - TUTORIAL REVIEW Kathleen R. Murphy et al. Fluorescence spectroscopy and multi-way techniques PARAFAC Fluorescen.pdf:pdf},
issn = {1759-9660},
journal = {Analytical Methods},
number = {23},
pages = {23--24},
title = {{Fluorescence spectroscopy and multi-way techniques: PARAFAC}},
url = {http://www.models.life.ku.dk/.},
volume = {5},
year = {2013}
}
@misc{Fellman2010,
abstract = {The biochemical composition of dissolved organic matter (DOM) strongly influences its biogeochemical role in freshwater ecosystems, yet DOM composition measurements are not routinely incorporated into ecological studies. To date, the majority of studies of freshwater ecosystems have relied on bulk analyses of dissolved organic carbon and nitrogen to obtain information about DOM cycling. The problem with this approach is that the biogeochemical significance of DOM can only partially be elucidated using bulk analyses alone because bulk measures cannot detect most carbon and nitrogen transformations. Advances in fluorescence spectroscopy provide an alternative to traditional approaches for characterizing aquatic DOM, and allow for the rapid and precise characterization of DOM necessary to more comprehensively trace DOM dynamics. It is within this context that we discuss the use of fluorescence spectroscopy to provide a novel approach to tackling a longstanding problem: understanding the dynamics and biogeochemical role of DOM. We highlight the utility of fluorescence characterization of DOM and provide examples of the potential range of applications for incorporating DOM fluorescence into ecological studies in the hope that this rapidly evolving technique will further our understanding of the biogeochemical role of DOM in freshwater ecosystems. {\textcopyright} 2010, by the American Society of Limnology and Oceanography, Inc.},
author = {Fellman, Jason B. and Hood, Eran and Spencer, Robert G.M.},
booktitle = {Limnology and Oceanography},
doi = {10.4319/lo.2010.55.6.2452},
file = {:home/roboat/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/Fellman, Hood, Spencer - 2010 - Fluorescence spectroscopy opens new windows into dissolved organic matter dynamics in freshwater ecosyst.pdf:pdf},
issn = {00243590},
month = {nov},
number = {6},
pages = {2452--2462},
title = {{Fluorescence spectroscopy opens new windows into dissolved organic matter dynamics in freshwater ecosystems: A review}},
volume = {55},
year = {2010}
}
@article{Lawaetz2009,
abstract = {Fluorescence data of replicate samples obtained from different fluorescence spectrometers or by the same spectrometer but with different instrument settings can have great intensity differences. In order to compare such data an intensity calibration must be applied. Here we explain a simple calibration method for fluorescence intensity using only the integrated area of a water Raman peak. By applying this method to data from three different instruments, we show that it is possible to remove instrument-dependent intensity factors, and we present results on a unified scale of Raman units. The method presented is a rapid and simple approach suitable for routine measurements with no need for hazardous chemicals. {\textcopyright} 2009 Society for Applied Spectroscopy.},
author = {Lawaetz, A. J. and Stedmon, C. A.},
doi = {10.1366/000370209788964548},
issn = {00037028},
journal = {Applied Spectroscopy},
keywords = {Fluorescence spectroscopy,Intensity standardization,Water Raman peak},
month = {aug},
number = {8},
pages = {936--940},
title = {{Fluorescence intensity calibration using the Raman scatter peak of water}},
volume = {63},
year = {2009}
}
@article{Ju2019,
abstract = {The fast identification and quantification of illicit drugs in biofluids are of great significance in clinical detection. However, existing drug detection strategies cannot fully meet clinical needs, and the on-site identification and quantification of various illicit drugs in biofluids remain a great challenge. Here, we report the development of a deep learning-assisted three-dimensional (3D) fluorescence difference spectroscopy for rapid identification and semiquantification of illicit drugs in biofluids. This strategy introduces highly fluorescent silver nanoclusters into the biofluids with illicit drugs as signal sources. The interaction between silver nanoclusters and drug molecules changed the fluorescence performance of the mixture. Deep learning methods were applied to grasp the subtle fingerprint information from the 3D fluorescence difference spectra to identify and semiquantify various illicit drugs in biofluids, including codeine, 4,5-methylene-dioxy amphetamine, 3,4-methylene dioxy methamphetamine, meperidine, and methcathinone. This approach can achieve a high prediction accuracy rate of 88.07% and a broad detection range from 2 $\mu$g/mL to 100 mg/mL. It opens up a new way for the detection of small molecules with or without fluorescence in complicated matrixes.},
author = {Ju, Li and Lyu, Aihua and Hao, Hongxia and Shen, Wen and Cui, Hua},
doi = {10.1021/acs.analchem.9b01315},
file = {:home/roboat/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/Ju et al. - 2019 - Deep learning-assisted three-dimensional fluorescence difference spectroscopy for identification and semiquantificati.pdf:pdf},
issn = {15206882},
journal = {Analytical Chemistry},
month = {aug},
number = {15},
pages = {9343--9347},
publisher = {American Chemical Society},
title = {{Deep learning-assisted three-dimensional fluorescence difference spectroscopy for identification and semiquantification of illicit drugs in biofluids}},
url = {https://pubs.acs.org/sharingguidelines},
volume = {91},
year = {2019}
}
@article{Stedmon2008,
abstract = {A sub-fraction of dissolved organic matter fluoresces when excited with ultraviolet light. This property is used to quantify and characterize changes in dissolved organic matter (DOM) in aquatic environments. Detailed mapping of the fluorescence properties of DOM produces excitation emission matrices (EEM), which are well suited to multi-way data analysis techniques (chemometrics). Techniques such as parallel factor analysis (PARAFAC) are increasingly being applied to characterize DOM fluorescence properties. Here, an introduction to the technique and description of the advantages and pitfalls of its application to DOM fluorescence is presented. Additionally a MATLAB based tutorial and toolbox specific to PARAFAC analysis of DOM fluorescence is presented.},
author = {Stedmon, Colin A. and Bro, Rasmus},
doi = {10.4319/lom.2008.6.572},
file = {:home/roboat/.local/share/data/Mendeley Ltd./Mendeley Desktop/Downloaded/Stedmon, Bro - 2008 - Characterizing dissolved organic matter fluorescence with parallel factor analysis A tutorial.pdf:pdf},
issn = {15415856},
journal = {Limnology and Oceanography: Methods},
month = {nov},
number = {11},
pages = {572--579},
publisher = {American Society of Limnology and Oceanography Inc.},
title = {{Characterizing dissolved organic matter fluorescence with parallel factor analysis: A tutorial}},
volume = {6},
year = {2008}
}

repository: drewmee/PyEEM

repo_name: drewmee/PyEEM

gha_language: Python


text:
@article{tor,
title = "Tor: Modular search with hookable disjunction",
journal = "Science of Computer Programming",
volume = "84",
pages = "101--120",
year = "2014",
issn = "0167-6423",
doi = "10.1016/j.scico.2013.05.008",
author = "Tom Schrijvers and Bart Demoen and Markus Triska and Benoit Desouter"
}

@inproceedings{pipelines,
  author = {Ruben P. Pieters and Tom Schrijvers},
  title = {Faster Coroutine Pipelines: A Reconstruction},
  year = {2019},
  booktitle = {21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019)},
  url = {/Research/papers/padl2019.pdf}
}

@InProceedings{swi_threads,
               author = "Jan Wielemaker",
               title = "Native Preemptive Threads in {SWI-Prolog}",
               booktitle = "Practical Aspects of Declarative Languages",
	       editor = "Catuscia Palamidessi",
	       pages = "331-345",
               publisher = "Springer Verlag",
               address = "Berlin, Germany",
               year = "2003",
	       month = "december",
               note = "LNCS 2916",
               doi = "10.1007/978-3-540-24599-5\_23"
              }

@article{gupta01,
  author    = {Gopal Gupta and
               Enrico Pontelli and
               Khayri A. M. Ali and
               Mats Carlsson and
               Manuel V. Hermenegildo},
  title     = {Parallel execution of prolog programs: a survey},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {23},
  number    = {4},
  pages     = {472--602},
  year      = {2001},
  url       = {https://doi.org/10.1145/504083.504085},
  doi       = {10.1145/504083.504085},
  timestamp = {Wed, 14 Nov 2018 10:30:40 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/GuptaPACH01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{asp,
  author    = {Torsten Schaub and
               Stefan Woltran},
  title     = {{Special Issue on Answer Set Programming}},
  journal   = {{KI}},
  volume    = {32},
  number    = {2-3},
  pages     = {101--103},
  year      = {2018},
  url       = {https://doi.org/10.1007/s13218-018-0554-8},
  doi       = {10.1007/s13218-018-0554-8},
  timestamp = {Wed, 03 Oct 2018 12:54:56 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ki/SchaubW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{udi09,
 author = {Vaz, David and Costa, V\'{\i}tor Santos and Ferreira, Michel},
 title = {{User Defined Indexing}},
 booktitle = {Proceedings of the 25th International Conference on Logic Programming},
 series = {ICLP '09},
 year = {2009},
 isbn = {978-3-642-02845-8},
 location = {Pasadena, CA},
 pages = {372--386},
 numpages = {15},
 url = {http://dx.doi.org/10.1007/978-3-642-02846-5_31},
 doi = {10.1007/978-3-642-02846-5_31},
 acmid = {1604389},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
}

@techreport{Warren83,
  author =       "D.~H.~D. Warren",
  title =        {{A}n {A}bstract {P}rolog {I}nstruction {S}et},
  institution =  {Artificial Intelligence Center, SRI International},
  Address =      {333 Ravenswood Ave, Menlo Park CA 94025},
  type =         {Technical Report},
  number =       309,
  year =         1983
}

@inproceedings{kuraj15,
 author = {Kuraj, Ivan and Kuncak, Viktor and Jackson, Daniel},
 title = {Programming with Enumerable Sets of Structures},
 booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications},
 series = {OOPSLA 2015},
 year = {2015},
 isbn = {978-1-4503-3689-5},
 location = {Pittsburgh, PA, USA},
 pages = {37--56},
 numpages = {20},
 url = {http://doi.acm.org/10.1145/2814270.2814323},
 doi = {10.1145/2814270.2814323},
 acmid = {2814323},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {DSL, Dependent enumeration, SciFe, algebra, data generation, exhaustive testing, invariant, lazy evaluation, pairing function, program inversion, random testing},
}

@article{pengines,
  author    = {Torbj{\"{o}}rn Lager and
               Jan Wielemaker},
  title     = {Pengines: Web Logic Programming Made Easy},
  journal   = {{TPLP}},
  volume    = {14},
  number    = {4-5},
  pages     = {539--552},
  year      = {2014},
  url       = {http://dx.doi.org/10.1017/S1471068414000192},
  doi       = {10.1017/S1471068414000192},
  timestamp = {Mon, 11 Aug 2014 11:04:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tplp/LagerW14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{scalbloom,
 author = {Almeida, Paulo S{\'e}rgio and Baquero, Carlos and Pregui\c{c}a, Nuno and Hutchison, David},
 title = {Scalable Bloom Filters},
 journal = {Inf. Process. Lett.},
 issue_date = {March, 2007},
 volume = {101},
 number = {6},
 month = mar,
 year = {2007},
 issn = {0020-0190},
 pages = {255--261},
 numpages = {7},
 url = {http://dx.doi.org/10.1016/j.ipl.2006.10.007},
 doi = {10.1016/j.ipl.2006.10.007},
 acmid = {1224501},
 publisher = {Elsevier North-Holland, Inc.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {Bloom filters, Data structures, Distributed systems, Randomized algorithms},
}

@ARTICLE{bloomfilter,
    author = {Burton H. Bloom},
    title = {{Space/Time Trade-offs in Hash Coding with Allowable Errors}},
    journal = {Communications of the ACM},
    year = {1970},
    volume = {13},
    pages = {422--426}
}

@Inbook{Riazanov2003,
author="Riazanov, Alexandre and Voronkov, Andrei",
editor="Baader, Franz",
title={{Efficient Instance Retrieval with Standard and Relational Path Indexing}},
booktitle="Automated Deduction -- CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 -- August 2, 2003. Proceedings",
year="2003",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="380--396",
isbn="978-3-540-45085-6",
doi="10.1007/978-3-540-45085-6_34",
url="http://dx.doi.org/10.1007/978-3-540-45085-6_34"
}

@misc{sparsebit,

  author={Wooldridge, Brett},

  title={{Sparse Bit Set}},

  note="https://github.com/brettwooldridge/SparseBitSet",
  year=2016
}

@misc{murmurbloom,

  author={McCurry, Aaron},

  title={{Bloom Filter using Murmur Hash}},

  note="https://github.com/amccurry/bloom-filter",
  year=2010
}

@misc{java8streams,

  author={{Oracle Corp.}},

  title={{Java 8 Streams package}},

  note="https://docs.oracle.com/javase/8/docs/api/java/util/stream/package-summary.html"

}

@inproceedings{hilog,
     author = "W. Chen and M. Kifer and D.S. Warren",
     title =  "{HiLog}: A First-Order Semantics for Higher-Order Logic
               Programming Constructs",
     booktitle = "1st North American Conf. Logic Programming",
     year = 1989,
     publisher = "MIT Press",
     pages = "1090--1114",
     address = "Cleveland, OH",
     editor = "E.L.~Lusk and R.A. Overbeek"
     }

@article{swi,
author = {Wielemaker,Jan and Schrijvers,Tom and Triska,Markus and Lager,Torbjorn},
title = {{SWI-Prolog}},
journal = {Theory and Practice of Logic Programming},
volume = {12},
issue = {Special Issue 1-2},
month = {1},
year = {2012},
issn = {1475-3081},
pages = {67--96},
numpages = {30},
doi = {10.1017/S1471068411000494},
}

@article{sicstus,
author = {Carlson, Mats and Mildner, Per},
title = {{SICStus Prolog -- The first 25 years}},
journal = {Theory and Practice of Logic Programming},
volume = {12},
issue = {Special Issue 1-2},
month = {1},
year = {2012},
issn = {1475-3081},
pages = {35--66},
numpages = {32},
doi = {10.1017/S1471068411000482},

}

@article{eclipse,
author = {Schimpf, Joachim  and Shen, Kish},
title = {{ECLiPSe – From LP to CLP}},
journal = {Theory and Practice of Logic Programming},
volume = {12},
issue = {Special Issue 1-2},
month = {1},
year = {2012},
issn = {1475-3081},
pages = {127--156},
numpages = {30},
doi = {10.1017/S1471068411000469},

}

@article{yap,
author = {Costa,Vitor Santos  and Rocha,Ricardo and Damas,Luis},
title = {{The YAP Prolog system}},
journal = {Theory and Practice of Logic Programming},
volume = {12},
issue = {Special Issue 1-2},
month = {1},
year = {2012},
issn = {1475-3081},
pages = {5--34},
numpages = {30},
doi = {10.1017/S1471068411000512},
}

@article{xsb,
author = {Swift,Terrance and Warren, David, S.},
title = {{XSB: Extending Prolog with Tabled Logic Programming}},
journal = {Theory and Practice of Logic Programming},
volume = {12},
issue = {Special Issue 1-2},
month = {1},
year = {2012},
issn = {1475-3081},
pages = {157--187},
numpages = {31},
doi = {10.1017/S1471068411000500},

}

@article{ciao,
author = {Hermenegildo, M. V. and Bueno, F. and Carro ,M. and Lopez-Garcia, P. and Mera, E. and Morales, J. F. and Puebla, G.},
title = {{An overview of Ciao and its design philosophy}},
journal = {Theory and Practice of Logic Programming},
volume = {12},
issue = {Special Issue 1-2},
month = {1},
year = {2012},
issn = {1475-3081},
pages = {219--252},
numpages = {34},
doi = {10.1017/S1471068411000457},

}

@article{bprolog,
author = {Zhou,Neng-Fa},
title = {{The language features and architecture of B-Prolog}},
journal = {Theory and Practice of Logic Programming},
volume = {12},
issue = {Special Issue 1-2},
month = {1},
year = {2012},
issn = {1475-3081},
pages = {189--218},
numpages = {30},
doi = {10.1017/S1471068411000445},
}

@book{peyton87,
 author = {Peyton Jones, Simon L.},
 title = {The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)},
 year = {1987},
 publisher = {Prentice-Hall, Inc.},
 address = {NJ, USA},
}

@inproceedings{huang2011datalog,
  title={Datalog and emerging applications: an interactive tutorial},
  author={Huang, Shan Shan and Green, Todd Jeffrey and Loo, Boon Thau},
  booktitle={Proceedings of the 2011 ACM SIGMOD International Conference on Management of data},
  pages={1213--1216},
  year={2011},
  organization={ACM}
}

@article{wielemaker2012swi,
  title={Swi-prolog},
  author={Wielemaker, Jan and Schrijvers, Tom and Triska, Markus and Lager, Torbj{\"o}rn},
  journal={Theory and Practice of Logic Programming},
  volume={12},
  number={1-2},
  pages={67--96},
  year={2012},
  publisher={Cambridge Univ Press}
}

@incollection{gringo,
year={2007},
booktitle={Logic Programming and Nonmonotonic Reasoning},
volume={4483},
series={Lecture Notes in Computer Science},
editor={Baral, Chitta and Brewka, Gerhard and Schlipf, John},
title={{GrinGo: A New Grounder for Answer Set Programming}},
publisher={Springer Berlin Heidelberg},
author={Gebser, Martin and Schaub, Torsten and Thiele, Sven},
pages={266-271}
}

@inproceedings{zhou13picat,
  author    = {Neng-Fa Zhou},
  title     = {Picat: A Scalable Logic-based Language and System (Invited
               talk)},
  booktitle = {SLATE},
  year      = {2013},
  pages     = {5-6},
  ee        = {http://dx.doi.org/10.4230/OASIcs.SLATE.2013.5},
  crossref  = {DBLP:conf/slate/2013},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/slate/2013,
  editor    = {Jos{\'e} Paulo Leal and
               Ricardo Rocha and
               Alberto Sim{\~o}es},
  title     = {2nd Symposium on Languages, Applications and Technologies,
               SLATE 2013, June 20-21, 2013 - Porto, Portugal},
  booktitle = {SLATE},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series    = {OASICS},
  volume    = {29},
  year      = {2013},
  isbn      = {978-3-939897-52-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{de2007problog,
  title={{ProbLog: A Probabilistic Prolog and Its Application in Link Discovery.}},
  author={De Raedt, Luc and Kimmig, Angelika and Toivonen, Hannu},
  booktitle={IJCAI},
  volume={7},
  pages={2462--2467},
  year={2007}
}

@article{delimcont,
author = {Schrijvers, Tom and Demoen, Bart and Desouter, Benoit and Wielemaker, Jan},
title = {{Delimited continuations for prolog}},
journal = {Theory and Practice of Logic Programming},
volume = {13},
issue = {Special Issue 4-5},
month = {7},
year = {2013},
issn = {1475-3081},
pages = {533--546},
}

@book{alvaro2011dedalus,
  title={Dedalus: Datalog in time and space},
  author={Alvaro, Peter and Marczak, William R and Conway, Neil and Hellerstein, Joseph M and Maier, David and Sears, Russell},
  year={2011},
  publisher={Springer}
}

@article{lopes:distr,
 author = {Lopes, Nuno p. and Navarro, Juan a. and Rybalchenko, Andrey and Singh, Atul},
 title = {{Applying Prolog to Develop Distributed Systems}},
 journal = {Theory Pract. Log. Program.},
 issue_date = {July 2010},
 volume = {10},
 number = {4-6},
 month = jul,
 year = {2010},
 issn = {1471-0684},
 pages = {691--707},
 numpages = {17},

 publisher = {Cambridge University Press},
 address = {New York, NY, USA}
}

@inproceedings{scalaTypeCases,
   author = {Emir, Burak and Odersky, Martin and Williams, John},
   title = {Matching Objects with Patterns},
   booktitle = {ECOOP 2007 - Object-Oriented Programming},
   series = {Lecture Notes in Computer Science},
   editor = {Ernst, Erik},
   publisher = {Springer Berlin / Heidelberg},
   keyword = {Computer Science},
   pages = {273-298},
   volume = {4609},
   year = {2007}
}

@book{odersky2008programming,
  title={Programming in Scala},
  author={Odersky, M. and Spoon, L. and Venners, B.},
  year={2008},
  publisher={Artima Inc}
}

@inproceedings{triska08,
  author    = {Markus Triska},
  title     = {Generalising Constraint Solving over Finite Domains},
  booktitle = {ICLP},
  year      = {2008},
  pages     = {820-821}
}

@article{complambda,
 author        = {Kobayashi, Naoki and  Matsuda, Kazutaka and  Shinohara, Ayumi},
 title         = {{Functional Programs as Compressed Data}},
 journal       = {ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation},
 year          = {2012},
 month={January},
 note     = {ACM Press},
}

@article{everybit,
 author        = {Vytiniotis, Dimitrios and Kennedy, Andrew},
 title         = {{Functional Pearl: Every Bit Counts}},
 journal       = {ICFP 2010 :
                    The 15th ACM SIGPLAN International Conference on
                    Functional Programming},
 year          = {2010},
 month={September},
 note     = {ACM Press},
}

@article{Clark:1977:ESL:359423.359427,
 author = {Clark, Douglas W. and Green, C. Cordell},
 title = {An empirical study of list structure in Lisp},
 journal = {Commun. ACM},
 volume = {20},
 issue = {2},
 month = {February},
 year = {1977},
 issn = {0001-0782},
 pages = {78--87},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/359423.359427},
 doi = {http://doi.acm.org/10.1145/359423.359427},
 acmid = {359427},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Lisp, Zipf's law, list linearization, list structure measurement, list structure regularity, pointer compression, pointer entropy},
}

@inproceedings{Nassen:2001:IMS:773184.773191,
 author = {N\"{a}ss\'{e}n, Henrik and Carlsson, Mats and Sagonas, Konstantinos},
 title = {Instruction merging and specialization in the SICStus Prolog virtual machine},
 booktitle = {Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming},
 series = {PPDP '01},
 year = {2001},
 isbn = {1-58113-388-X},
 location = {Florence, Italy},
 pages = {49--60},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/773184.773191},
 doi = {http://doi.acm.org/10.1145/773184.773191},
 acmid = {773191},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{coroutinesconway1963,
 author        = {Melvin E. Conway},
 title         = {{Design of a Separable Transition-Diagram Compiler}},
 journal       = {Communications of the ACM},
 year          = {1963},
 volume        = {6},
 number        = {7},
 pages         = {396--408},
 issn          = {0001-0782},
 publisher     = {ACM Press},
}

@inproceedings{Lea:2000,
 author = {Lea, Doug},
 title = {{A Java fork/join framework}},
 booktitle = {Proceedings of the ACM 2000 conference on Java Grande},
 series = {JAVA '00},
 year = {2000},
 isbn = {1-58113-288-3},
 location = {San Francisco, California, United States},
 pages = {36--43},
 numpages = {8},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{Lammel:2007,
 author = {L\"{a}mmel, Ralf},
 title = {{Google's MapReduce programming model revisited}},
 journal = {Sci. Comput. Program.},
 volume = {68},
 issue = {3},
 month = {October},
 year = {2007},
 issn = {0167-6423},
 pages = {208--237},
 numpages = {30},
 publisher = {Elsevier North-Holland, Inc.},
 address = {Amsterdam, The Netherlands, The Netherlands},
 keywords = {Data processing, Distributed programming, Executable specification, Haskell, List homomorphism, Map, MapReduce, Parallel programming, Reduce, Sawzall, Software design, Typed functional programming},
}

@inproceedings{bolz2010,
 author = {Bolz, Carl Friedrich and Leuschel, Michael and Schneider, David},
 title = {{Towards a Jitting VM for Prolog Execution}},
 booktitle = {PPDP '10: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming},
 year = {2010},
 isbn = {978-1-4503-0132-9},
 pages = {99--108},
 location = {Hagenberg, Austria},
 doi = {http://doi.acm.org/10.1145/1836089.1836107},
 publisher = {ACM},
 address = {New York, NY, USA},
 howpublished = {acceptance 36p}
 }

@inproceedings{DBLP:conf/popl/WadlerB89,
  author    = {Philip Wadler and
               Stephen Blott},
  title     = {How to Make ad-hoc Polymorphism Less ad-hoc},
  booktitle = {POPL},
  year      = {1989},
  pages     = {60-76},
  ee        = {http://doi.acm.org/10.1145/75277.75283},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jflp/DiazC01,
  author    = {Daniel Diaz and
               Philippe Codognet},
  title     = {Design and Implementation of the GNU Prolog System},
  journal   = {Journal of Functional and Logic Programming},
  volume    = {2001},
  number    = {6},
  year      = {2001},
  pages = {1-29},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/iclp/SilvaC06,
  author    = {Anderson Faustino da Silva and
               V\'{\i}tor Santos Costa},
  title     = {The Design and Implementation of the YAP Compiler: An Optimizing
               Compiler for Logic Programming Languages},
  booktitle = {ICLP},
  year      = {2006},
  pages     = {461-462},
  ee        = {http://dx.doi.org/10.1007/11799573_49},
  crossref  = {DBLP:conf/iclp/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iclp/2006,
  editor    = {Sandro Etalle and
               Miroslaw Truszczynski},
  title     = {Logic Programming, 22nd International Conference, ICLP 2006,
               Seattle, WA, USA, August 17-20, 2006, Proceedings},
  booktitle = {ICLP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4079},
  year      = {2006},
  isbn      = {3-540-36635-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{728423,
 author = {Demoen, Bart and Nguyen, Phuong-Lan},
 title = {So Many WAM Variations, So Little Time},
 booktitle = {CL '00: Proceedings of the First International Conference on Computational Logic},
 year = {2000},
 isbn = {3-540-67797-6},
 pages = {1240--1254},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{DBLP:conf/iclp/Zhou07,
  author    = {Neng-Fa Zhou},
  title     = {A Register-Free Abstract Prolog Machine with Jumbo Instructions},
  booktitle = {ICLP},
  publisher = {Springer-Verlag},
  address = {Berlin Heidelberg},
  year      = {2007},
  pages     = {455-457},
  ee        = {http://dx.doi.org/10.1007/978-3-540-74610-2_43},
  crossref  = {DBLP:conf/iclp/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{ZhouTU90,
 author = {Zhou, Neng-Fa and Takagi, Toshihisa and Ushijima, Kazuo},
 title = {A matching tree oriented abstract machine for Prolog},
 book = {Logic Programming},
 year = {1990},
 isbn = {0-262-73090-1},
 pages = {159--173},
 publisher = {MIT Press},
 address = {Cambridge, MA, USA},
 }

@inproceedings{12071,
 author = {Hermenegildo, Manuel V},
 title = {{An abstract machine for restricted AND-parallel execution of logic programs}},
 booktitle = {Proceedings on Third international conference on logic programming},
 year = {1986},
 isbn = {0-387-16492-8},
 pages = {25--39},
 location = {London, United Kingdom},
 publisher = {Springer-Verlag New York, Inc.},
 address = {New York, NY, USA},
 }

@inproceedings{DBLP:conf/lp/Ueda85,
  author    = {Kazunori Ueda},
  title     = {Guarded Horn Clauses},
  year      = {1985},
  pages     = {168-179},
  editor    = {Eiiti Wada},
  booktitle     = {Logic Programming '85, Proceedings of the 4th Conference,
               Tokyo, Japan, July 1-3, 1985},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {221}
}

@INPROCEEDINGS{Lusk93applicationsof,
    author = {Ewing Lusk and Shyam Mudambi and Ecrc Gmbh and Ross Overbeek},
    title = {{Applications of the Aurora Parallel Prolog System
    to Computational Molecular Biology}},
    booktitle = {In Proc. of the JICSLP'92 Post-Conference Joint Workshop on Distributed and Parallel Implementations of Logic Programming Systems, Washington DC},
    year = {1993},
    publisher = {MIT Press}
}

@article{72555,
 author = {Shapiro, Ehud},
 title = {The family of concurrent logic programming languages},
 journal = {ACM Comput. Surv.},
 volume = {21},
 number = {3},
 year = {1989},
 issn = {0360-0300},
 pages = {413--510},
 doi = {http://doi.acm.org/10.1145/72551.72555},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

 @article{504085,
 author = {Gupta, Gopal and Pontelli, Enrico and Ali, Khayri A.M. and Carlsson, Mats and Hermenegildo, Manuel V.},
 title = {Parallel execution of prolog programs: a survey},
 journal = {ACM Trans. Program. Lang. Syst.},
 volume = {23},
 number = {4},
 year = {2001},
 issn = {0164-0925},
 pages = {472--602},
 doi = {http://doi.acm.org/10.1145/504083.504085},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{DBLP:conf/lopstr/Demoen92,
author	= {Bart Demoen},
title	= {On the Transformation of a Prolog Program to a More Efficient
Binary Program},
booktitle = {LOPSTR},
year	= {1992}, pages	= {242-252}
}

@article{bolz-prolog,
  title={{A Prolog Interpreter in Python}},
  author={Bolz, C.F.},
  year={2007},
  note={Bachelorarbeit, H. Heine Universitait, Dusseldorf}
}

@misc{demoen-jprolog,
  title={{jProlog home page (1996) http://www. cs. kuleuven. ac. be/\~{} bmd}},
  author={Demoen, B. and Tarau, P.},
  publisher={PrologInJava}
}

@article{cook34p,
  title={{P\#: A concurrent Prolog for the .NET Framework}},
  author={Cook, J.J.},
  journal={Software: Practice and Experience},
  volume={34},
  number={9},
  pages={815--845},
  year=2004,
}

@article{cook2004optimizing,
  title={{Optimizing P\#: Translating Prolog to more Idiomatic C\#}},
  author={Cook, J.J.},
  journal={Proceedings of CICLOPS 2004},
  pages={59--70},
  year={2004},
  publisher={Citeseer}
}

@article{banbara2006prolog,
  title={{Prolog Cafe: a Prolog to Java translator system}},
  author={Banbara, M. and Tamura, N. and Inoue, K.},
  journal={Lecture Notes in Computer Science},
  volume={4369},
  pages={1},
  year={2006},
  publisher={Springer}
}

@article{demoen455allocating,
  title={{Allocating wam environments/choice points on the heap}},
  author={Demoen, B. and Nguyen, P.L.},
  journal={Report CW},
  volume={455},
  month=jul,
  year=2006
}

@article{demoen2002copying,
  title={{Copying garbage collection for the WAM: To mark or not to mark?}},
  author={Demoen, B. and Nguyen, P.L. and Vandeginste, R.},
  journal={Lecture notes in computer science},
  pages={194--208},
  year={2002},
  publisher={Springer}
}

@article{vandeginste2002segment,
  title={{Segment order preserving and generational garbage collection for Prolog}},
  author={Vandeginste, R. and Sagonas, K. and Demoen, B.},
  journal={Lecture notes in computer science},
  pages={299--317},
  year={2002},
  publisher={Springer}
}

@article{bevemyr1994simple,
  title={{A simple and efficient copying garbage collector for Prolog}},
  author={Bevemyr, J. and Lindgren, T.},
  journal={Lecture Notes in Computer Science},
  volume={844},
  pages={88--101},
  year={1994},
  publisher={Springer}
}

@article{carlsson1263sicstus,
  title={{SICStus Prolog user's manual}},
  author={Carlsson, M. and Widen, J. and Andersson, J. and Andersson, S. and Boortz, K. and Nilsson, H. and Sjoland, T.},
  publisher={SICS},
  address={Kista, Sweden},
  year = 2009
}

@inproceedings{DBLP:conf/iclp/Wielemaker03,

  author    = {Jan Wielemaker},

  title     = {{Native Preemptive Threads in SWI-Prolog}},

  booktitle = {ICLP},

  publisher = {Springer},
  address = {Berlin Heidelberg},
  year      = {2003},

  pages     = {331-345},

  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2916{\&}spage=331},

  crossref  = {DBLP:conf/iclp/2003},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@article{wielemaker2003native,
  title={{Native preemptive threads in SWI-Prolog}},
  author={Wielemaker, J.},
  journal={Lecture Notes in Computer Science},
  volume={2916},
  pages={331--345},
  year={2003},
  publisher={Springer},
  address={Heidelberg}
}

@article{crammond1994memory,
  title={{Memory Management in Quintus Prolog}},
  author={Crammond, J. and Lindholm, T.},
  journal={Implementations of logic programming systems},
  pages={35},
  year={1994},
  publisher={Springer}
}

@article{demoen2002different,
  title={{A different look at garbage collection for the WAM}},
  author={Demoen, B.},
  journal={Lecture notes in computer science},
  pages={179--193},
  year={2002},
  publisher={Springer}
}

@conference{lindgren2005atom,
  title={{Atom garbage collection}},
  author={Lindgren, T.},
  booktitle={Proceedings of the 2005 ACM SIGPLAN workshop on Erlang},
  year={2005},
  organization={ACM}
}

@article{wielemaker2007using,
  title={{Using Prolog as the fundament for applications on the semantic web}},
  author={Wielemaker, J. and Hildebrand, M. and van Ossenbruggen, J.},
  journal={Proceedings of ALPSWS2007},
  pages={84--98},
  year={2007},
  publisher={Citeseer}
}

@inproceedings{lindgren94,

 author = {Lindgren, Thomas},

 title = {A continuation-passing style for prolog},

 booktitle = {ILPS '94: Proceedings of the 1994 International Symposium on Logic programming},

 year = {1994},

 isbn = {0-262-52191-1},

 pages = {603--617},

 location = {Symposia, Melbourne},

 publisher = {MIT Press},

 address = {Cambridge, MA, USA},

 }

@ARTICLE{Misra94powerlist:a,

    author = {Jayadev Misra},

    title = {Powerlist: a structure for parallel recursion},

    journal = {ACM Transactions on Programming Languages and Systems},

    year = {1994},

    volume = {16},

    pages = {1737--1767}

}

@INPROCEEDINGS{Bird99programoptimisation,

    author = {Richard Bird and Jeremy Gibbons and Geraint Jones},

    title = {Program Optimisation, Naturally},

    booktitle = {Millenial Perspectives in Computer Science. Palgrave},

    year = {1999}

}

@inproceedings{POPL07,

 author      = "R.~L{\"a}mmel",

 title       = "{Scrap your boilerplate with XPath-like combinators}",

 booktitle   = "{POPL'07, Proceedings}",

 publisher   = "ACM Press",

 year        = 2007,

 month       = jan,

}

@inproceedings{SYB3,

 author = "Ralf L{\"a}mmel and Simon {Peyton Jones}",

 title = "{Scrap your boilerplate with class: extensible generic functions}",

 booktitle = "{Proceedings of the ACM SIGPLAN International Conference

               on Functional Programming (ICFP 2005)}",

 year      = {2005},

 pages     = {204--215},

 location  = {Tallinn, Estonia},

 publisher = {ACM Press},

 month = sep,

}

@inproceedings{syb2,

 author    = {Ralf L{\"a}mmel and Simon {Peyton Jones}},

 title     = "{Scrap more boilerplate:

               reflection, zips, and generalised casts}",

 booktitle = "{Proceedings of the ACM SIGPLAN International Conference

               on Functional Programming (ICFP 2004)}",

 year      = {2004},

 pages     = {244--255},

 location  = {Snow Bird, UT, USA},

 publisher = {ACM Press},

}

@Article{LPJ03,

  author    = "Ralf L{\"a}mmel and Simon {Peyton Jones}",

  title     = "Scrap your boilerplate:

               a practical design pattern for generic programming",

  journal   = "ACM SIG{\-}PLAN Notices",

  publisher = "ACM Press",

  volume    = "38",

  number    = "3",

  pages     = "26--37",

  month     = mar,

  year      = "2003",

  note      = "Proceedings of the ACM SIGPLAN Workshop

               on Types in Language Design and Implementation (TLDI~2003)"

}

@article{guptaParal,

 author = {Gopal Gupta and Enrico Pontelli and Khayri A.M. Ali and Mats Carlsson and Manuel V. Hermenegildo},

 title = {Parallel execution of prolog programs: a survey},

 journal = {ACM Trans. Program. Lang. Syst.},

 volume = {23},

 number = {4},

 year = {2001},

 issn = {0164-0925},

 pages = {472--602},

 doi = {http://doi.acm.org/10.1145/504083.504085},

 publisher = {ACM},

 address = {New York, NY, USA},

 }

@inproceedings{carro07,

 author = {Amadeo Casas and Manuel Carro and Manuel Hermenegildo},

 title = {Towards a high-level implementation of flexible parallelism primitives for symbolic languages},

 booktitle = {PASCO '07: Proceedings of the 2007 international workshop on Parallel symbolic computation},

 year = {2007},

 isbn = {978-1-59593-741-4},

 pages = {93--94},

 location = {London, Ontario, Canada},

 doi = {http://doi.acm.org/10.1145/1278177.1278193},

 publisher = {ACM},

 address = {New York, NY, USA},

 }

@inproceedings{carro06,

 author = {Manuel Carro and Jos\'{e} F. Morales and Henk L. Muller and G. Puebla and M. Hermenegildo},

 title = {High-level languages for small devices: a case study},

 booktitle = {CASES '06: Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems},

 year = {2006},

 isbn = {1-59593-543-6},

 pages = {271--281},

 location = {Seoul, Korea},

 doi = {http://doi.acm.org/10.1145/1176760.1176794},

 publisher = {ACM},

 address = {New York, NY, USA},

 }

@inproceedings{histHaskell,

 author = {Paul Hudak and John Hughes and Simon Peyton Jones and Philip Wadler},

 title = {A history of Haskell: being lazy with class},

 booktitle = {HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages},

 year = {2007},

 isbn = {978-1-59593-766-X},

 pages = {12-1--12-55},

 location = {San Diego, California},

 doi = {http://doi.acm.org/10.1145/1238844.1238856},

 publisher = {ACM},

 address = {New York, NY, USA},

 }

@inproceedings{arun08,

  author = {Majumdar, Arun and Sowa, John F. and Stewart, John},

  title     = {Pursuing the Goal of Language Understanding},

  booktitle = {Conceptual Structures: Knowledge Visualization and Reasoning},

  publisher = {Springer},

  series    = {LNCS},

  volume    = {5113},

  year      = {2008},

  pages     = {21-42},

  isbn      = {978-3-540-70595-6}

}

@inproceedings{DBLP:conf/iclp/CarroH99,
  author    = {Manuel Carro and
               Manuel V. Hermenegildo},
  title     = {{Concurrency in Prolog Using Threads and a Shared Database}},
  booktitle = {ICLP},
  year      = {1999},
  pages     = {320-334},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iclp/2003,

  editor    = {Catuscia Palamidessi},

  title     = {Logic Programming, 19th International Conference, ICLP 2003,

               Mumbai, India, December 9-13, 2003, Proceedings},

  booktitle = {ICLP},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  volume    = {2916},

  year      = {2003},

  isbn      = {3-540-20642-6},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@article{DBLP:journals/sigplan/ClaessenH02,

  author    = {Koen Claessen and

               John Hughes},

  title     = {{Testing monadic code with QuickCheck}},

  journal   = {SIGPLAN Notices},

  volume    = {37},

  number    = {12},

  year      = {2002},

  pages     = {47-59},

  ee        = {http://doi.acm.org/10.1145/636517.636527},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@inproceedings{bijarrows,

	address = {New York, NY, USA},

	author = {Alimarine, Artem   and Smetsers, Sjaak   and van Weelden, Arjen   and van Eekelen, Marko   and Plasmeijer, Rinus},

	booktitle = {Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell},

	pages = {86--97},

	posted-at = {2005-10-06 08:34:34},

	priority = {2},

	publisher = {ACM Press},

	title = {There and back again: arrows for invertible programming},

	year = {2005}

}

@misc{bijeliot,

  author={{Conal Elliott}},

  title={{Module: Data.Bijections}},

  note="Haskell source code library at: http://haskell.org/haskellwiki/TypeCompose"

}

@inproceedings{conf/fp/MarlowW92,

title = {Deforestation for Higher-Order Functions.},

author = {Simon Marlow and Philip Wadler},

booktitle = {Functional Programming},

crossref = {conf/fp/1992},

editor = {John Launchbury and Patrick M. Sansom},

pages = {154-165},

publisher = {Springer},

series = {Workshops in Computing},

url = {http://dblp.uni-trier.de/db/conf/fp/fp1992.html#MarlowW92},

year = {1992},

description = {dblp},

isbn = {3-540-19820-2}, date = {2003-02-19},

keywords = {dblp }

}

@article{journals/tcs/Wadler90,

	title = {Deforestation: Transforming Programs to Eliminate Trees.},

	author = {Philip Wadler},

	journal = {Theor. Comput. Sci.},

	number = {2},

	pages = {231-248},

	url = {http://dblp.uni-trier.de/db/journals/tcs/tcs73.html#Wadler90},

	volume = {73},

	year = {1990},

	biburl = {http://www.bibsonomy.org/bibtex/233436c91c50397c93aec6c90b4f22cf8/dblp},

	description = {dblp},

	date = {2003-11-19},

	keywords = {dblp }

}

@inproceedings{wadler:theor,

title = {Theorems for free!},

address = {New York, NY, USA},

author = {Philip Wadler},

booktitle = {FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture},

pages = {347--359},

publisher = {ACM},

year = {1989},

location = {Imperial College, London, United Kingdom},

}

@article{CSharp,

  author={{Microsoft Corp.}},

  title={{Visual \verb~C#~}},

  note="Project URL http://msdn.microsoft.com/vcsharp"

}

@article{yieldProlog,

  author={{Jeff Thompson}},

  title={{Yield Prolog}},

  note="Project URL http://yieldprolog.sourceforge.net"

}

@inproceedings{DBLP:conf/icalp/SimonBMG07,

  author    = {Luke Simon and

               Ajay Bansal and

               Ajay Mallya and

               Gopal Gupta},

  title     = {Co-Logic Programming: Extending Logic Programming with Coinduction},

  booktitle = {ICALP},

  year      = {2007},

  pages     = {472-483},

  ee        = {http://dx.doi.org/10.1007/978-3-540-73420-8_42},

  crossref  = {DBLP:conf/icalp/2007},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@proceedings{DBLP:conf/icalp/2007,

  editor    = {Lars Arge and

               Christian Cachin and

               Tomasz Jurdzinski and

               Andrzej Tarlecki},

  title     = {Automata, Languages and Programming, 34th International

               Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007,

               Proceedings},

  booktitle = {ICALP},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  volume    = {4596},

  year      = {2007},

  isbn      = {978-3-540-73419-2},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@inproceedings{DBLP:conf/iclp/GuptaBMSM07,

  author    = {Gopal Gupta and

               Ajay Bansal and

               Richard Min and

               Luke Simon and

               Ajay Mallya},

  title     = {Coinductive Logic Programming and Its Applications},

  booktitle = {ICLP},

  year      = {2007},

  pages     = {27-44},

  ee        = {http://dx.doi.org/10.1007/978-3-540-74610-2_4},

  crossref  = {DBLP:conf/iclp/2007},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@proceedings{DBLP:conf/iclp/2007,

  editor    = {Ver{\'o}nica Dahl and

               Ilkka Niemel{\"a}},

  title     = {Logic Programming, 23rd International Conference, ICLP 2007,

               Porto, Portugal, September 8-13, 2007, Proceedings},

  booktitle = {ICLP},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  volume    = {4670},

  year      = {2007},

  isbn      = {978-3-540-74608-9},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@inproceedings{DBLP:conf/mpc/BirdM92,

  author    = {Richard S. Bird and

               Oege de Moor},

  title     = {Solving Optimisation Problems with Catamorphism},

  booktitle = {MPC},

  year      = {1992},

  pages     = {45-66},

  crossref  = {DBLP:conf/mpc/1992},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@proceedings{DBLP:conf/mpc/1992,

  editor    = {Richard S. Bird and

               Carroll Morgan and

               Jim Woodcock},

  title     = {Mathematics of Program Construction, Second International

               Conference, Oxford, U.K., June 29 - July 3, 1992, Proceedings},

  booktitle = {MPC},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  volume    = {669},

  year      = {1993},

  isbn      = {3-540-56625-2},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@article{DBLP:journals/cj/WegnerE04,

  author    = {Peter Wegner and

               Eugene Eberbach},

  title     = {{New Models of Computation}},

  journal   = {Comput. J.},

  volume    = {47},

  number    = {1},

  year      = {2004},

  pages     = {4-9},

  ee        = {http://www3.oup.co.uk/computer_journal/hdb/Volume_47/Issue_01/470001.sgm.abs.html},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@article{DBLP:journals/tcs/Wegner98,

  author    = {Peter Wegner},

  title     = {{Interactive Foundations of Computing}},

  journal   = {Theor. Comput. Sci.},

  volume    = {192},

  number    = {2},

  year      = {1998},

  pages     = {315-351},

  ee        = {http://dx.doi.org/10.1016/S0304-3975(97)00154-0},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@inproceedings{DBLP:conf/atal/MayfieldLF95,

  author    = {James Mayfield and

               Yannis Labrou and

               Timothy W. Finin},

  title     = {{Evaluation of KQML as an Agent Communication Language}},

  booktitle = {ATAL},

  year      = {1995},

  pages     = {347-360},

  crossref  = {DBLP:conf/atal/1995},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@proceedings{DBLP:conf/atal/1995,

  editor    = {Michael Wooldridge and

               J{\"o}rg P. M{\"u}ller and

               Milind Tambe},

  title     = {{Intelligent Agents II, Agent Theories, Architectures, and

               Languages, IJCAI '95, Workshop (ATAL), Montreal, Canada,

               August 19-20, 1995, Proceedings}},

  booktitle = {ATAL},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  volume    = {1037},

  year      = {1996},

  isbn      = {3-540-60805-2},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@article{fipa,

  author={{Foundation for Intelligent Physical Agents}},

  title={{FIPA Specification}},

  note="Published electronically at http://www.fipa.org/repository/index.html"

}

@article{matz,

  author="Matsumoto, Yukihiro",

  title={{The Ruby Programming Language}},

  year=2000,

  month=jun,

  url={http://www.informit.com/articles/printerfriendly.aspx?p=18225}

}

@inproceedings{DBLP:conf/tools/Rossum97,

  author    = {Guido van Rossum},

  title     = {{A Tour of the Python Language}},

  booktitle = {TOOLS (23)},

  year      = {1997},

  pages     = {370},

  ee        = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1997.10001},

  crossref  = {DBLP:conf/tools/23-1997},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@proceedings{DBLP:conf/tools/23-1997,

  title     = {TOOLS 1997: 23rd International Conference on Technology

               of Object-Oriented Languages and Systems, July 28 - August

               1, 1997, Santa Barbara, CA, USA},

  booktitle = {TOOLS (23)},

  publisher = {IEEE Computer Society},

  year      = {1998},

  isbn      = {0-8186-8383-X},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@book{DBLP:books/sp/Liskov81,

  author    = {Barbara Liskov and

               Russell R. Atkinson and

               Toby Bloom and

               J. Eliot B. Moss and

               Craig Schaffert and

               Robert Scheifler and

               Alan Snyder},

  title     = {{CLU Reference Manual}},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  volume    = {114},

  year      = {1981},

  isbn      = {3-540-10836-X},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@article{DBLP:journals/toplas/GriswoldHK81,

  author    = {Ralph E. Griswold and

               David R. Hanson and

               John T. Korb},

  title     = {{Generators in Icon}},

  journal   = {ACM Trans. Program. Lang. Syst.},

  volume    = {3},

  number    = {2},

  year      = {1981},

  pages     = {144-161},

  ee        = {http://doi.acm.org/10.1145/357133.357136},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@inproceedings{DBLP:conf/padl/LiuM03,

  author    = {Jed Liu and

               Andrew C. Myers},

  title     = {{JMatch: Iterable Abstract Pattern Matching for Java}},

  booktitle = {PADL},

  year      = {2003},

  pages     = {110-127},

  ee        = {http://link.springer.de/link/service/series/0558/bibs/2562/25620110.htm},

  crossref  = {DBLP:conf/padl/2003},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@proceedings{DBLP:conf/padl/2003,

  editor    = {Ver{\'o}nica Dahl and

               Philip Wadler},

  title     = {Practical Aspects of Declarative Languages, 5th International

               Symposium, PADL 2003, New Orleans, LA, USA, January 13-14,

               2003, Proceedings},

  booktitle = {PADL},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  volume    = {2562},

  year      = {2003},

  isbn      = {3-540-00389-4},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@inproceedings{DBLP:conf/popl/LiuKM06,

  author    = {Jed Liu and

               Aaron Kimball and

               Andrew C. Myers},

  title     = {Interruptible iterators},

  booktitle = {POPL},

  year      = {2006},

  pages     = {283-294},

  ee        = {http://doi.acm.org/10.1145/1111037.1111063},

  crossref  = {DBLP:conf/popl/2006},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@proceedings{DBLP:conf/popl/2006,

  editor    = {J. Gregory Morrisett and

               Simon L. Peyton Jones},

  title     = {Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on

               Principles of Programming Languages, POPL 2006, Charleston,

               South Carolina, USA, January 11-13, 2006},

  booktitle = {POPL},

  publisher = {ACM},

  year      = {2006},

  isbn      = {1-59593-027-2},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@article{ weide94design,

    author = "Bruce W. Weide and Stephen H. Edwards and Douglas E. Harms and David Alex Lamb",

    title = {{Design and Specification of Iterators Using the Swapping Paradigm}},

    journal = "Software Engineering",

    volume = "20",

    number = "8",

    pages = "631-643",

    year = "1994",

    url = "citeseer.ist.psu.edu/weide92design.html" }

@article{DBLP:journals/jfp/Hutton99,

  author    = {Graham Hutton},

  title     = {{A Tutorial on the Universality and Expressiveness of Fold}},

  journal   = {J. Funct. Program.},

  volume    = {9},

  number    = {4},

  year      = {1999},

  pages     = {355-372},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@inproceedings{DBLP:conf/fpca/MeijerH95,

  author    = {Erik Meijer and

               Graham Hutton},

  title     = {{Bananas in Space: Extending Fold and Unfold to Exponential

               Types}},

  booktitle = {FPCA},

  year      = {1995},

  pages     = {324-333},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@article{DBLP:journals/cl/HaynesFW86,

  author    = {Christopher T. Haynes and

               Daniel P. Friedman and

               Mitchell Wand},

  title     = {{Obtaining Coroutines with Continuations}},

  journal   = {Comput. Lang.},

  volume    = {11},

  number    = {3/4},

  year      = {1986},

  pages     = {143-153},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@inproceedings{DBLP:conf/fpl/GuoL95,

  author    = {Shaori Guo and

               Wayne Luk},

  title     = {{Compiling Ruby into FPGAs}},

  booktitle = {FPL},

  year      = {1995},

  pages     = {188-197},

  crossref  = {DBLP:conf/fpl/1995},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@inproceedings{DBLP:conf/oopsla/Sasada05,

  author    = {Koichi Sasada},

  title     = {{YARV: yet another RubyVM: innovating the ruby interpreter}},

  booktitle = {OOPSLA Companion},

  year      = {2005},

  pages     = {158-159},

  ee        = {http://doi.acm.org/10.1145/1094855.1094912},

  crossref  = {DBLP:conf/oopsla/2005c},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@proceedings{DBLP:conf/oopsla/2005c,

  editor    = {Ralph Johnson and

               Richard P. Gabriel},

  title     = {Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented

               Programming, Systems, Languages, and Applications, OOPSLA

               2005, October 16-20, 2005, San Diego, CA, USA},

  booktitle = {OOPSLA Companion},

  publisher = {ACM},

  year      = {2005},

  isbn      = {1-59593-193-7},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@proceedings{DBLP:conf/fpl/1995,

  editor    = {Will Moore and

               Wayne Luk},

  title     = {{Field-Programmable Logic and Applications, 5th International

               Workshop, FPL '95, Oxford, UK, August 29 - September 1,

               1995, Proceedings}},

  booktitle = {FPL},

  publisher = {Springer},

  series    = {Lecture Notes in Computer Science},

  volume    = {975},

  year      = {1995},

  isbn      = {3-540-60294-1},

  bibsource = {DBLP, http://dblp.uni-trier.de}

}

@inproceedings{ pyarali01evaluating,

    author = "Irfan Pyarali and Marina Spivak and Ron Cytron and Douglas C. Schmidt",

    title = "Evaluating and Optimizing Thread Pool Strategies for Real-Time {CORBA}",

    booktitle = "{LCTES}/{OM}",

    pages = "214-222",

    year = "2001",

    url = "citeseer.ist.psu.edu/451897.html" }

repository: ptarau/AnswerStreamGenerators

license_type: permissive

repo_name: ptarau/AnswerStreamGenerators

branch_name: refs/heads/master

extension: bib


text:
@INPROCEEDINGS{Cardoso04ICEIS,
author = {Cardoso, Jorge},
title = {Building workflows definitions based on business cases},
booktitle = {First International Workshop on Computer Supported Activity Coordination	(CSAC-2004), ICEIS 2004, 6th International Conference on Enterprise	Information Systems},
year = {2004},
pages = {3-12},
address = {Porto, Portugal},
owner = {Jorge Cardoso},
refid = {25},
timestamp = {2010.08.26},
webpdf = {/Papers/WP-2004-012-ICEIS-CSAC-Building-workflows-definitions-based-on-business-cases.pdf}}

license: MIT


text:
@inproceedings{shubham-intex19,
  title={Executing Contingent Plans: Addressing Challenges in Deploying Artificial Agents},
  author={Christian Muise and Miroslav Vodolan and Shubham Agarwal and Ondrej Bajgar and Luis Lastras and Josef Ondrej},
  booktitle={ICAPS Workshop on Integrating Planning, Acting, and Execution (IntEx)},
  year={2019},
  url = {https://icaps19.icaps-conference.org/workshops/IntEx/IntEx-2019-proceedings.pdf#page=32},
  abstract={The vast majority of research in automated planning focuses on generating a plan from an initial problem specification; from the theoretical properties of this task to the implementation details required to do so efficiently. While such work is often motivated by practical applications, there is far less understanding of the issues associated with executing plans in online environments. In this work we focus on this understudied area, and the challenges / opportunities that arise when executing complex plans. Unlike many works in plan execution, we consider a form of contingent plans as the source for execution; their complexity stems from the sophisticated representation of the action effects used to model the uncertainty in the world. The key contribution of our work is a proposed executor that can reason using the sophisticated action effects, and we demonstrate the impact this can have empirically. In support of an effective executor, we also consider (1) the connection between the execution context and the planner's view of the state of the world; and (2) the separation between the execution of an action (the aspect that affects the outside environment) and the realization of its effects (the aspect that captures what has actually changed).}
}


text:
@inproceedings{WaRe08a,
 address = {Dallas, TX},
 author = {Qian Wang and Kui Ren and Yanchao Zhang and Bo Zhu},
 booktitle = {Proc. of International Conference on Wireless Algorithms, Systems and Applications (WASA'08)},
 day = {26-28},
 month = {Oct.},
 title = {Opportunistic Cooperation with Receiver-based Ratio Combining Strategy},
 year = {2008}
}


text:
.root {
	text-decoration: none;
	font-family: var(--mdc-theme-font-family);
}

.primary {
	color: var(--mdc-text-color);
}

.primary.inverse {
	color: var(--mdc-theme-text-primary-on-dark);
}

.xSmall {
	font-size: var(--mdc-font-size-xs);
}

.small {
	font-size: var(--mdc-font-size-small);
}

.medium {
	font-size: var(--mdc-font-size-medium);
}

.large {
	font-size: var(--mdc-font-size-large);
}

.xLarge {
	font-size: var(--mdc-font-size-xl);
}

.xxLarge {
	font-size: var(--mdc-font-size-xxl);
}

.light {
	font-weight: var(--mdc-font-weight-light);
}

.normal {
	font-weight: var(--mdc-font-weight-normal);
}

.heavy {
	font-weight: var(--mdc-font-weight-heavy);
}

repository: dojo/widgets

repo_name: dojo/widgets

gha_license_id: NOASSERTION

gha_language: TypeScript

extension: css


text:
@article{nuzzo2005biography,
 author = {Nuzzo, Regina},
 journal = {Proceedings of the National Academy of Sciences},
 number = {23},
 pages = {8086--8088},
 publisher = {National Academy of Sciences},
 title = {Biography of Mark T. Keating},
 volume = {102},
 year = {2005}
}

repository: ReginaNuzzo/academic-kickstart

repo_name: ReginaNuzzo/academic-kickstart


text:
OCV_OPTION(WITH_ADE "Enable ADE framework (required for Graph API module)" ON)

OCV_OPTION(WITH_FREETYPE "Enable FreeType framework" OFF)
OCV_OPTION(WITH_PLAIDML  "Include PlaidML2 support"  OFF)

if(NOT WITH_ADE)
  return()
endif()

if(ade_DIR)
  # if ade_DIR is set, use ADE-supplied CMake script
  # to set up variables to the prebuilt ADE
  find_package(ade 0.1.0)
endif()

if(NOT TARGET ade)
  # if ade_DIR is not set, try to use automatically
  # downloaded one (if there any)
  include("${CMAKE_CURRENT_LIST_DIR}/DownloadADE.cmake")
endif()

if(WITH_FREETYPE)
  ocv_check_modules(FREETYPE freetype2)
  if (FREETYPE_FOUND)
      set(HAVE_FREETYPE TRUE)
  endif()
endif()

if(WITH_PLAIDML)
  find_package(PlaidML2 CONFIG QUIET)
  if (PLAIDML_FOUND)
      set(HAVE_PLAIDML TRUE)
  endif()
endif()

repository: checksummaster/depthmovie

repo_name: checksummaster/depthmovie

extension: cmake


text:
SUMMARY = "Ardour is a multi-channel digital audio workstation"
HOMEPAGE = "http://ardour.org/"
LICENSE = "GPLv2"
LIC_FILES_CHKSUM = "file://COPYING;md5=4641e94ec96f98fabc56ff9cc48be14b"

DEPENDS += " \
    gettext-native \
    gtk+ \
    gtkmm \
    cppunit \
    jack \
    alsa-lib \
    fftw \
    vamp-plugin-sdk \
    aubio \
    taglib \
    boost \
    virtual/libx11 \
    dssi \
    zlib \
    lrdf \
    rubberband \
    suil \
    lilv \
    libarchive \
    libltc \
    qm-dsp \
    fluidsynth \
"

inherit wafold distro_features_check gtk-icon-cache pkgconfig

REQUIRED_DISTRO_FEATURE = "x11"

SRC_URI = " \
    git://github.com/Ardour/ardour.git \
    file://0001-remove-all-build-flags-that-cause-trouble-for-cross-.patch \
    file://0002-Use-ARM-NEON-intrinsics-if-available-for-mixing-func.patch \
    file://0003-Prevent-excessive-meter-redraws-for-inactive-meters-.patch \
    file://0004-Prevent-excessive-meter-redraws-for-inactive-meters-.patch \
    file://0005-Follow-fluidsynth-s-API-changes-introduced-with-2.0..patch \
    file://ardour5.desktop \
"
SRCREV = "ae0dcdc0c5d13483271065c360e378202d20170a"
PV = "5.12"
S = "${WORKDIR}/git"

# arch specific override - default (tested) is ARM -> no fpu-optimizations
# can be something like i686 / x86_64 see file 'wscript' in sourcepath for more details
BUILD_DIST_TARGET ??= "none"

EXTRA_OECONF = " \
    --configdir=${sysconfdir} \
    --libdir=${libdir} \
    --optimize \
    --cxx11 \
    --no-phone-home \
    --use-external-libs \
    --qm-dsp-include=${STAGING_INCDIR}/qm-dsp \
    \
    --with-backends="jack,alsa" \
    --dist-target=${BUILD_DIST_TARGET} \
"

do_install_append() {
    # install icons to freedesktop locations
    for s in 16 22 32 48 256 512; do
        install -d  ${D}${datadir}/icons/hicolor/${s}x${s}/apps
        ln -s ../../../../${BPN}/resources/Ardour-icon_${s}px.png \
            ${D}${datadir}/icons/hicolor/${s}x${s}/apps/${BPN}.png
    done

    # install .desktop
    install -d  ${D}${datadir}/applications
    install -m 0644 ${WORKDIR}/ardour5.desktop ${D}${datadir}/applications
}

FILES_${PN} += " \
    ${datadir}/${BPN} \
    ${libdir}/${BPN} \
"

FILES_${PN}-dev += " \
    ${libdir}/${BPN}/libardour.so \
    ${libdir}/${BPN}/libardouralsautil.so \
    ${libdir}/${BPN}/libaudiographer.so \
    ${libdir}/${BPN}/libcanvas.so \
    ${libdir}/${BPN}/libevoral.so \
    ${libdir}/${BPN}/libgtkmm2ext.so \
    ${libdir}/${BPN}/libmidipp.so \
    ${libdir}/${BPN}/libpbd.so \
    ${libdir}/${BPN}/libptformat.so \
    ${libdir}/${BPN}/libwaveview.so \
    ${libdir}/${BPN}/libwidgets.so \
    ${libdir}/${BPN}/vamp/*.so \
"

FILES_${PN}-staticdev += " \
    ${libdir}/${BPN}/*.a \
"

gha_license_id: MIT

extension: bb


text:
DEPENDS += "module-init-tools"
RDEPENDS_${PN} += "module-init-tools-depmod"
SRCDATE = "20100904"
PV = "0.0+hg${SRCDATE}"
PR = "${INC_PR}.0"

SRC_URI = "hg://linuxtv.org/hg/;module=v4l-dvb;rev=${SRCREV} \
           file://defconfig \
           file://v4l-dvb-compat.patch \
           file://v4l-2.6.18-compat.patch \
           file://fix-blocking-demux.patch \
           file://basic-dvb-t2-support.patch \
           file://localversion.patch \
           file://fix-strip.patch \
           file://build-fix.patch \
           file://backport-1.patch \
           file://backport-2.patch \
           file://backport-3.patch \
           file://backport-4.patch \
           file://backport-5.patch \
           file://backport-6.patch \
           file://backport-7.patch \
           file://backport-8.patch \
           file://backport-9.patch \
           file://backport-a.patch \
           file://backport-b.patch \
           file://backport-c.patch \
           file://backport-d.patch \
           file://backport-e.patch \
           file://backport-f.patch \
           file://backport-g.patch \
           file://backport-h.patch \
           file://backport-i.patch \
           file://backport-j.patch \
           file://backport-k.patch \
"

SRCREV = "6e0befab696a"
S = "${WORKDIR}/v4l-dvb"

require v4l-dvb-modules.inc

repository: kiyala/op

repo_name: kiyala/op


text:
Automatically generated by Mendeley Desktop 1.19.4
Any changes to this file will be lost if it is regenerated by Mendeley.

BibTeX export options can be customized via Preferences -> BibTeX in Mendeley Desktop

@article{OGC2008,
author = {OGC},
file = {:Users/sepmein/Qsync/Papers/OGC{\_}2008{\_}Kml.pdf:pdf},
keywords = {KML},
pages = {233},
title = {{Kml}},
year = {2008}
}

license: Unlicense

repository: sepmein/references

repo_name: sepmein/references


text:
@Article{vu:ima:2009,
  author    = {Vu, Hai and Echigo, Tomio and Sagawa, Ryusuke and Yagi, Keiko and Shiba, Masatsugu and Higuchi, Kazuhide and Arakawa, Tetsuo and Yagi, Yasushi},
  title     = {Controlling the Display of Capsule Endoscopy Video for Diagnostic Assistance},
  journal   = {IMA Journal of Numerical Analysis},
  year      = {2009},
  volume    = {E92-D},
  number    = {3},
  pages     = {512--528},
  month     = {March},
  doi       = {10.1587/transinf.E92.D.512},
  url       = {http://www.am.sanken.osaka-u.ac.jp/\textasciitilde vhai/documents/e92-d\_3\_512.pdf},
  keywords  = {capsule endoscopy, color similarity, motion displacements, video display rate control.},
  abstract  = {Interpretations by physicians of capsule endoscopy image sequences captured over periods of 7-8 hours usually require 45 to 120 minutes of extreme concentration. This paper describes a novel method to reduce diagnostic time by automatically controlling the display frame rate. Unlike existing techniques, this method displays original images with no skipping of frames. The sequence can be played at a high frame rate in stable regions to save time. Then, in regions with rough changes, the speed is decreased to more conveniently ascertain suspicious findings. To realize such a system, cue information about the disparity of consecutive frames, including color similarity and motion displacements is extracted. A decision tree utilizes these features to classify the states of the image acquisitions. For each classified state, the delay time between frames is calculated by parametric functions. A scheme selecting the optimal parameters set determined from assessments by physicians is deployed. Experiments involved clinical evaluations to investigate the effectiveness of this method compared to a standard-view using an existing system. Results from logged action based analysis show that compared with an existing system the proposed method reduced diagnostic time to around 32.5 \pm  minutes per full sequence while the number of abnormalities found was similar. As well, physicians needed less effort because of the systems efficient operability. The results of the evaluations should convince physicians that they can safely use this method and obtain reduced diagnostic times.},
  publisher = {OXFORD UNIV PRESS},
  address   = {GREAT CLARENDON ST, OXFORD OX2 6DP, ENGLAND}
}

gha_language: TeX


text:
KBRANCH ?= "dev-5.15"
LINUX_VERSION ?= "5.15"

SRCREV="781a66e81bbb9081e74d9ba0fcee095fefa1048e"

require linux-aspeed.inc


text:
require xorg-app-common.inc

DESCRIPTION = "X display information utility"
LICENSE = "MIT"
DEPENDS += "libxtst libxext libxxf86vm libxxf86dga libxxf86misc libxi libxrender libxinerama libdmx libxp libxau"
PE = "1"

SRC_URI += "file://disable-xkb.patch;patch=1"

EXTRA_OECONF = "--disable-xkb"