text:
@MISC{Stan_Development_Team2014-ha,
  title  = "Stan: A {C++} Library for Probability and Sampling, Version 2.2",
  author = "{Stan Development Team}",
  year   =  2014
}

@BOOK{Popper2005-qq,
  title     = "The logic of scientific discovery",
  author    = "Popper, K",
  abstract  = "Described by the philosopher AJ Ayer as a work of'great
               originality and power', this book revolutionized contemporary
               thinking on science and knowledge. Ideas such as the now
               legendary doctrine of'falsificationism'electrified the
               scientific community, influencing even ...",
  publisher = "Routledge",
  year      =  2005
}

@ARTICLE{Koller1997-am,
  title     = "Effective Bayesian inference for stochastic programs",
  author    = "Koller, D and McAllester, D and Pfeffer, A",
  abstract  = "Abstract In this paper, we propose a stochastic version of a
               general purpose functional programming language as a method of
               modeling stochastic processes. The language contains random
               choices, conditional statements, structured values, defined
               functions, ...",
  journal   = "Association for the Advancement of Artificial Intelligence
               (AAAI)",
  publisher = "aaai.org",
  year      =  1997
}

@ARTICLE{Gelman2003-xx,
  title     = "A {Bayesian} Formulation of Exploratory Data Analysis and
               {goodness-of-fit} Testing",
  author    = "Gelman, Andrew",
  abstract  = "R\'{e}sum\'{e} Analyse de donn\'{e}es exploratrices et
               inf\'{e}rence (EDA) Bay\'{e}sienne (ou, en large,
               mod\'{e}lisation de statistiques complexes)-qui sont
               g\'{e}n\'{e}ralement consid\'{e}r\'{e}es comme \'{e}tant des
               paradigmes statistiques non relies. Dans cet article, nous
               pr\'{e}sentons un cadre pour l' ...",
  journal   = "Int. Stat. Rev.",
  publisher = "Wiley Online Library",
  year      =  2003
}

@ARTICLE{Cowles1996-qy,
  title     = "Markov Chain Monte Carlo Convergence Diagnostics: A Comparative
               Review",
  author    = "Cowles, Mary Kathryn and Carlin, Bradley P",
  abstract  = "A critical issue for users of Markov chain Monte Carlo (MCMC)
               methods in applications is how to determine when it is safe to
               stop sampling and use the samples to estimate characteristics of
               the distribution of interest. Research into methods of computing
               theoretical convergence bounds holds promise for the future but
               to date has yielded relatively little of practical use in
               applied work. Consequently, most MCMC users address the
               convergence problem by applying diagnostic tools to the output
               produced by running their samplers. After giving a brief
               overview of the area, we provide an expository review of 13
               convergence diagnostics, describing the theoretical basis and
               practical implementation of each. We then compare their
               performance in two simple models and conclude that all of the
               methods can fail to detect the sorts of convergence failure that
               they were designed to identify. We thus recommend a combination
               of strategies aimed at evaluating and accelerating MCMC sampler
               convergence, including applying diagnostic procedures to a small
               number of parallel chains, monitoring autocorrelations and
               cross-correlations, and modifying parametrizations or sampling
               algorithms appropriately. We emphasize, however, that it is not
               possible to say with certainty that a finite sample from an MCMC
               algorithm is representative of an underlying stationary
               distribution.",
  journal   = "J. Am. Stat. Assoc.",
  publisher = "American Statistical Association",
  volume    =  91,
  number    =  434,
  pages     = "883--904",
  month     =  "1~" # jun,
  year      =  1996
}

@ARTICLE{Benjamini_undated-mh,
  title    = "Controlling the False Discovery Rate: A Practical and Powerful
              Approach to Multiple Testing",
  author   = "Benjamini, Yoav and Hochberg, Yosef",
  journal  = "J. R. Stat. Soc. Series B Stat. Methodol.",
  year     =  1995
}

@MISC{noauthor_2014-kp,
  title    = "Deep learning tutorial - http://www.deeplearning.net/tutorial/",
  year     =  2014
}

@ARTICLE{Parzen1962-hk,
  title     = "On estimation of a probability density function and mode",
  author    = "Parzen, E",
  abstract  = "The problem of estimation of a probability density function f
               (x) is interesting, for many reasons. As one possible
               application, we mention the problem of estimating the hazard, or
               conditional rate of failure, function /(ж)/1-F (x), where F (x)
               is the distribution function ...",
  journal   = "Ann. Math. Stat.",
  publisher = "ssg.mit.edu",
  year      =  1962
}

@ARTICLE{Rosenblatt1956-hx,
  title     = "Remarks on Some Nonparametric Estimates of a Density Function",
  author    = "Rosenblatt, Murray",
  abstract  = "Project Euclid - mathematics and statistics online",
  journal   = "Ann. Math. Stat.",
  publisher = "Institute of Mathematical Statistics",
  volume    =  27,
  number    =  3,
  pages     = "832--837",
  month     =  sep,
  year      =  1956,
  issn_alt  = "2168-8990"
}

@ARTICLE{Guttman1967-my,
  title     = "The Use of the Concept of a Future Observation in
               {goodness-of-fit} Problems",
  author    = "Guttman, Irwin",
  abstract  = "An attack on the problem of goodness of fit is made by combining
               a Bayesian and sampling argument; the Bayesian part is effected
               by using the distribution of a future observation, while the
               sampling argument concerns itself with the distribution of a
               {"}chi-squared like{"} statistic, which measures discrepancies
               of observed frequencies from those predicted by the distribution
               of the future observation. Examples are given for the case of
               sampling from the binomial, Poisson and normal distributions. An
               interesting application arising from the above approach is a
               procedure for estimating the degree of a polynomial response
               function.",
  journal   = "J. R. Stat. Soc. Series B Stat. Methodol.",
  publisher = "Wiley for the Royal Statistical Society",
  volume    =  29,
  number    =  1,
  pages     = "83--100",
  year      =  1967
}

@ARTICLE{Bayarri2007-cp,
  title     = "Bayesian Checking of the Second Levels of Hierarchical Models",
  author    = "Bayarri, M J and Castellanos, M E",
  abstract  = "Project Euclid - mathematics and statistics online",
  journal   = "Stat. Sci.",
  publisher = "Institute of Mathematical Statistics",
  volume    =  22,
  number    =  3,
  pages     = "322--343",
  month     =  aug,
  year      =  2007,
  keywords  = "Model checking; model criticism; objective Bayesian methods;
               p-values; conflict; empirical-Bayes; posterior predictive;
               partial posterior predictive",
  issn_alt  = "2168-8745"
}

@ARTICLE{Marshall2007-hd,
  title     = "Identifying outliers in Bayesian hierarchical models: a
               simulation-based approach",
  author    = "Marshall, E C and Spiegelhalter, D J",
  abstract  = "Project Euclid - mathematics and statistics online",
  journal   = "Bayesian Anal.",
  publisher = "International Society for Bayesian Analysis",
  volume    =  2,
  number    =  2,
  pages     = "409--444",
  month     =  jun,
  year      =  2007,
  keywords  = "Hierarchical models; Diagnostics; Outliers; Distributional
               assumptions",
  issn_alt  = "1931-6690"
}

@TECHREPORT{Gelfand1992-ow,
  title       = "Model determination using predictive distributions with
                 implementation via sampling-based methods",
  author      = "Gelfand, A E and Dey, D K and Chang, H",
  abstract    = "Abstract: Model determination is divided into the issues of
                 model adequacy and model selection. Predictive distributions
                 are used to address both issues. This seems natural since,
                 typically, prediction is a primary purpose for the chosen
                 model . A cross-validation ...",
  publisher   = "DTIC Document",
  number      =  462,
  institution = "Stanford Uni CA Dept Stat",
  year        =  1992
}

@ARTICLE{Box1980-ud,
  title     = "Sampling and {Bayes'} Inference in Scientific Modelling and
               Robustness",
  author    = "Box, George E P",
  abstract  = "Scientific learning is an iterative process employing Criticism
               and Estimation. Correspondingly the formulated model factors
               into two complementary parts--a predictive part allowing model
               criticism, and a Bayes posterior part allowing estimation.
               Implications for significance tests, the theory of precise
               measurement and for ridge estimates are considered. Predictive
               checking functions for transformation, serial correlation, bad
               values, and their relation with Bayesian options are considered.
               Robustness is seen from a Bayesian viewpoint and examples are
               given. For the bad value problem a comparison with M estimators
               is made.",
  journal   = "J. R. Stat. Soc. Ser. A",
  publisher = "Wiley for the Royal Statistical Society",
  volume    =  143,
  number    =  4,
  pages     = "383--430",
  year      =  1980
}

@ARTICLE{Bayarri1999-ty,
  title    = "Quantifying surprise in the data and model verification",
  author   = "Bayarri, M J and Berger, J O",
  journal  = "Bayes. Stat.",
  year     =  1999
}

@INPROCEEDINGS{Iwata2013-yj,
  title         = "Warped Mixtures for Nonparametric Cluster Shapes",
  booktitle     = "Conf. on Unc. in Art. Int. ({UAI})",
  author        = "Iwata, Tomoharu and Duvenaud, David and Ghahramani, Zoubin",
  abstract      = "A mixture of Gaussians fit to a single curved or
                   heavy-tailed cluster will report that the data contains many
                   clusters. To produce more appropriate clusterings, we
                   introduce a model which warps a latent mixture of Gaussians
                   to produce nonparametric cluster shapes. The possibly
                   low-dimensional latent mixture model allows us to summarize
                   the properties of the high-dimensional clusters (or density
                   manifolds) describing the data. The number of manifolds, as
                   well as the shape and dimension of each manifold is
                   automatically inferred. We derive a simple inference scheme
                   for this model which analytically integrates out both the
                   mixture parameters and the warping function. We show that
                   our model is effective for density estimation, performs
                   better than infinite Gaussian mixture models at recovering
                   the true number of clusters, and produces interpretable
                   summaries of high-dimensional datasets.",
  journal       = "arXiv [stat.ML]",
  publisher     = "arxiv.org",
  year          =  2013,
  archivePrefix = "arXiv",
  primaryClass  = "stat.ML"
}

@ARTICLE{Peel2000-pv,
  title     = "Robust mixture modelling using the t distribution",
  author    = "Peel, D and McLachlan, G J",
  abstract  = "Normal mixture models are being increasingly used to model the
               distributions of a wide variety of random phenomena and to
               cluster sets of continuous multivariate data. However, for a set
               of data containing a group or groups of observations with longer
               than normal tails or atypical observations, the use of normal
               components may unduly affect the fit of the mixture model. In
               this paper, we consider a more robust approach by modelling the
               data by a mixture of t distributions. The use of the ECM
               algorithm to fit this t mixture model is described and examples
               of its use are given in the context of clustering multivariate
               data in the presence of atypical observations in the form of
               background noise.",
  journal   = "Stat. Comput.",
  publisher = "Kluwer Academic Publishers",
  volume    =  10,
  number    =  4,
  pages     = "339--348",
  month     =  "1~" # oct,
  year      =  2000,
  issn_alt  = "1573-1375"
}

@ARTICLE{Stigler1977-dd,
  title     = "Do Robust Estimators Work with Real Data?",
  author    = "Stigler, Stephen M",
  abstract  = "Project Euclid - mathematics and statistics online",
  journal   = "Ann. Stat.",
  publisher = "Institute of Mathematical Statistics",
  volume    =  5,
  number    =  6,
  pages     = "1055--1098",
  month     =  nov,
  year      =  1977,
  keywords  = "62-02; $M$-estimators; trimmed means; simulation; Monte Carlo;
               median; bias; adaptive estimators; skewness; kurtosis",
  issn_alt  = "2168-8966"
}

@BOOK{Rasmussen2006-ml,
  title     = "Gaussian Processes for Machine Learning",
  author    = "Rasmussen, C E and Williams, C K",
  publisher = "The MIT Press, Cambridge, MA, USA",
  year      =  2006
}

@ARTICLE{Bickel1969-ao,
  title     = "A Distribution Free Version of the Smirnov Two Sample Test in
               the p-Variate Case",
  author    = "Bickel, P J",
  abstract  = "1. Introduction. One of the classic problems of the theory of
               nonparametric inference is testing whether two samples come from
               the same or different populations. If the observations are
               univariate and we suppose only that the parent populations are
               governed by a ...",
  journal   = "Ann. Math. Stat.",
  publisher = "Institute of Mathematical Statistics",
  volume    =  40,
  number    =  1,
  pages     = "1--23",
  month     =  "1~" # feb,
  year      =  1969
}

@INPROCEEDINGS{Hotelling1951-jd,
  title     = "A Generalized t-test and Measure of Multivariate Dispersion",
  booktitle = "Proc. 2nd Berkeley Symp. Math. Stat. and Prob.",
  author    = "Hotelling, Harold",
  abstract  = "Project Euclid - mathematics and statistics online",
  journal   = "Proceedings of the second Berkeley symposium",
  publisher = "The Regents of the University of California",
  year      =  1951,
  keywords  = "Hotelling T-squared distribution"
}

@ARTICLE{Rubin1984-tw,
  title     = "Bayesianly Justifiable and Relevant Frequency Calculations for
               the Applied Statistician",
  author    = "Rubin, Donald B",
  journal   = "Ann. Stat.",
  publisher = "Institute of Mathematical Statistics",
  volume    =  12,
  number    =  4,
  pages     = "1151--1172",
  year      =  1984,
  keywords  = "62-07; Calibration; empirical Bayes; inference; model
               monitoring; operating characteristics; posterior predictive
               checks; stopping rules",
  issn_alt  = "2168-8966"
}

@INPROCEEDINGS{Goodman2008-ok,
  title     = "Church : a language for generative models",
  booktitle = "Conf. on Unc. in Art. Int. ({UAI})",
  author    = "Goodman, Noah D and Mansinghka, Vikash K and Roy, Daniel M and
               Bonawitz, Keith and Tenenbaum, Joshua B",
  journal   = "Proceedings of the Conference on Uncertainty in Artificial
               Intelligence (UAI)",
  year      =  2008
}

@ARTICLE{Geweke2004-yx,
  title    = "Getting It Right",
  author   = "Geweke, John",
  journal  = "J. Am. Stat. Assoc.",
  volume   =  99,
  number   =  467,
  pages    = "799--804",
  month    =  sep,
  year     =  2004
}

@ARTICLE{Gelman2013-am,
  title    = "Understanding posterior p-values",
  author   = "Gelman, Andrew",
  journal  = "Elec. J. Stat.",
  year     =  2013,
  keywords = "and phrases; bayesian inference; model checking; p-value;
              posterior; predictive check; u-value"
}

@ARTICLE{Hinton2007-eo,
  title    = "To Recognize Shapes, First Learn to Generate Images",
  author   = "Hinton, Geoffrey E",
  journal  = "Prog. Brain Res.",
  volume   =  165,
  pages    = "535--547",
  year     =  2007
}

@ARTICLE{Gelman1996-ez,
  title    = "Posterior predictive assessment of model fitness via realized
              discrepancies",
  author   = "Gelman, Andrew and Meng, Xiao-Li and Stern, Hal",
  journal  = "Stat. Sin.",
  volume   =  6,
  pages    = "733--807",
  year     =  1996,
  keywords = "and phrases; bayesian p -value; discrepancy; graphical assess-;
              ment; mixture model; model criticism; p -value; posterior
              predictive p -value; prior predictive; realized discrepancy; χ 2
              test"
}

@INPROCEEDINGS{Wilson2013-eq,
  title     = "Gaussian Process Covariance Kernels for Pattern Discovery and
               Extrapolation",
  booktitle = "Proc. Int. Conf. Machine Learn.",
  author    = "Wilson, Andrew Gordon and Adams, Ryan Prescott",
  journal   = "Proc. Int. Conf. Machine Learn.",
  year      =  2013
}

@INPROCEEDINGS{Grosse2012-zi,
  title     = "Exploiting compositionality to explore a large space of model
               structures",
  booktitle = "Conf. on Unc. in Art. Int. ({UAI})",
  author    = "Grosse, Roger B and Salakhutdinov, Ruslan and Freeman, William T
               and Tenenbaum, Joshua B",
  year      =  2012
}

@INPROCEEDINGS{Milch2005-qc,
  title     = "{BLOG}: Probabilistic models with unknown objects",
  booktitle = "Proc. Int. Joint Conf. on Artificial Intelligence",
  author    = "Milch, B and Marthi, B and Russel, S and Sontag, D and Ong, D L
               and Kolobov, A",
  journal   = "Proceedings of the International Joint Conference on Artificial
               Intelligence",
  year      =  2005
}

@ARTICLE{Robins2000-oz,
  title    = "Asymptotic Distribution of {p-values} in Composite Null Models",
  author   = "Robins, James M and van der Vaart, Aad and Venture, Valerie",
  journal  = "J. Am. Stat. Assoc.",
  volume   =  95,
  number   =  452,
  pages    = "1143--1156",
  year     =  2000,
  keywords = "asymptotic"
}

@ARTICLE{Vehtari2012-oh,
  title    = "A survey of {Bayesian} predictive methods for model assessment,
              selection and comparison",
  author   = "Vehtari, Aki and Ojanen, Janne",
  journal  = "Stat. Surv.",
  volume   =  6,
  pages    = "142--228",
  year     =  2012,
  keywords = "62-02, 62C10Bayesian, predictive, model assessment; and phrases;
              bayesian; cross-validation; decision theory; expected utility;
              information cri-; model; model assessment; predictive; selection"
}

@ARTICLE{Gretton2008-gs,
  title    = "A Kernel Method for the {two-sample} Problem",
  author   = "Gretton, Arthur and Borgwardt, Karsten M and Rasch, Malte J and
              Sch{\"{o}}lkopf, Berhard and Smola, Alexander",
  journal  = "Journal of Machine Learning Research",
  volume   =  1,
  pages    = "1--10",
  year     =  2008
}

@ARTICLE{Hinton2006-yw,
  title    = "A fast learning algorithm for deep belief nets",
  author   = "Hinton, Geoffrey E and Osindero, Simon and Teh, Yee Whye",
  journal  = "Neural Comput.",
  volume   =  18,
  number   =  7,
  pages    = "1527--1554",
  year     =  2006
}

@INPROCEEDINGS{Thornton2013-zg,
  title     = "{Auto-WEKA}: Combined Selection and Hyperparameter Optimization
               of Classification Algorithms",
  booktitle = "Proc. Int. Conf. on Knowledge Discovery and Data Mining",
  author    = "Thornton, Chris and Hutter, Frank and Hoos, Holger H and
               Leyton-Brown, Kevin",
  abstract  = "Abstract Many different machine learning algorithms exist;
               taking into account each algorithm's hyperparameters, there is a
               staggeringly large number of possible alternatives overall. We
               consider the problem of simultaneously selecting a learning
               algorithm and ...",
  journal   = "Proceedings of the 19th",
  publisher = "ACM",
  pages     = "847--855",
  series    = "KDD '13",
  year      =  2013,
  address   = "New York, NY, USA",
  keywords  = "hyperparameter optimization, model selection, weka"
}

@INPROCEEDINGS{Lloyd2014-nz,
  title         = "Automatic Construction and {Natural-Language} Description of
                   Nonparametric Regression Models",
  booktitle     = "Association for the Advancement of Artificial Intelligence
                   ({AAAI})",
  author        = "Lloyd, James Robert and Duvenaud, David and Grosse, Roger
                   and Tenenbaum, Joshua B and Ghahramani, Zoubin",
  abstract      = "This paper presents the beginnings of an automatic
                   statistician, focusing on regression problems. Our system
                   explores an open-ended space of possible statistical models
                   to discover a good explanation of the data, and then
                   produces a detailed report with figures and natural-language
                   text. Our approach treats unknown functions
                   nonparametrically using Gaussian processes, which has two
                   important consequences. First, Gaussian processes model
                   functions in terms of high-level properties (e.g.
                   smoothness, trends, periodicity, changepoints). Taken
                   together with the compositional structure of our language of
                   models, this allows us to automatically describe functions
                   through a decomposition into additive parts. Second, the use
                   of flexible nonparametric models and a rich language for
                   composing them in an open-ended manner also results in
                   state-of-the-art extrapolation performance evaluated over 13
                   real time series data sets from various domains.",
  journal       = "arXiv [stat.ML]",
  month         =  jul,
  year          =  2014,
  conference    = "Association for the Advancement of Artificial Intelligence
                   (AAAI)",
  archivePrefix = "arXiv",
  primaryClass  = "stat.ML"
}

@ARTICLE{OHagan2003-bc,
  title     = "{HSSS} Model Criticism",
  author    = "O'Hagan, A",
  abstract  = "There has been an enormous surge in practical applications of
               Bayesian statistics in the last decade. The primary reason for
               this has been the development of MCMC tools for computing
               posterior inferences. HSSS has played a major part in that
               process, through helping to ...",
  journal   = "Highly Structured Stochastic Systems",
  publisher = "Oxford University Press",
  pages     = "423--444",
  year      =  2003
}

@BOOK{Gelman2013-st,
  title     = "Bayesian Data Analysis, Third Edition",
  author    = "Gelman, A and Carlin, J B and Stern, H S and Dunson, D B and
               Vehtari, A and Rubin, D B",
  abstract  = "Now in its third edition, this classic book is widely considered
               the leading text on Bayesian methods, lauded for its accessible,
               practical approach to analyzing data and solving research
               problems. Bayesian Data Analysis , Third Edition continues to
               take an applied ...",
  publisher = "Taylor \& Francis",
  series    = "Chapman \& Hall/CRC Texts in Statistical Science",
  year      =  2013
}

@ARTICLE{Cook1982-eq,
  title    = "Residuals and inﬂuence in regression",
  author   = "Cook, Dennis and Weisberg, Sanford",
  journal  = "Mon. on Stat. and App. Prob.",
  year     =  1982
}

repository: leadingin/kmc-research

repo_name: leadingin/kmc-research


text:
---
---
@conference{secrypt23,
  abbr={SECRYPT},
  author={Laurent Gomez. and Tianchi Yu. and Patrick Duverger.},
  title={Security for Distributed Machine Learning},
  booktitle={Proceedings of the 20th International Conference on Security and Cryptography - SECRYPT},
  year={2023},
  pages={838-843},
  publisher={SciTePress},
  organization={INSTICC},
  doi={10.5220/0012137700003555},
  isbn={978-989-758-666-8},
  issn={2184-7711},
  abstract={With the adoption of IoT-like technologies, industrials aim to enhance the business value of their physical assets and improve their operational efficiency. However, IoT devices alone tend to strain enterprise systems with a sheer volume of unstructured and unfiltered data. To overcome this challenge, endowing (smart) devices with AI-based capabilities can significantly enhance enterprise system capabilities. However, deploying AI-based capabilities on potentially insecure edge hardware and platforms introduces new security risks, including AI model theft, poisoning, and data leaks. This paradigm shift necessitates the protection of distributed AI applications and data. In this paper, we propose a solution for safeguarding the Intellectual Property and data privacy of ML-based software. We utilize hardware-assisted Privacy Enhancing Technologies, specifically Trusted Execution Environments. We evaluate the effectiveness of our approach in the context of ML-based motion detection in CCTV cameras. This work is part of a co-innovation project with the Smart City of Antibes, France.},
  url={https://www.scitepress.org/Papers/2023/121377/121377.pdf},
  html={https://www.scitepress.org/PublicationsDetail.aspx?ID=pdOTx3O9VVE=&t=1},
  pdf={Security for Distributed Machine Learning.pdf},
  selected={true}
}

license: MIT

license_type: permissive

branch_name: refs/heads/master

extension: bib


text:
@article{10.1371/journal.pone.0225437,
    author = {Leontyev, Anton AND Yamauchi, Takashi},
    journal = {PLOS ONE},
    publisher = {Public Library of Science},
    title = {Mouse movement measures enhance the stop-signal task in adult ADHD assessment},
    year = {2019},
    month = {11},
    volume = {14},
    url = {https://doi.org/10.1371/journal.pone.0225437},
    pages = {1-31},
    abstract = {The accurate detection of attention-deficit/hyperactivity disorder (ADHD) symptoms, such as inattentiveness and behavioral disinhibition, is crucial for delivering timely assistance and treatment. ADHD is commonly diagnosed and studied with specialized questionnaires and behavioral tests such as the stop-signal task. However, in cases of late-onset or mild forms of ADHD, behavioral measures often fail to gauge the deficiencies well-highlighted by questionnaires. To improve the sensitivity of behavioral tests, we propose a novel version of the stop-signal task (SST), which integrates mouse cursor tracking. In two studies, we investigated whether introducing mouse movement measures to the stop-signal task improves associations with questionnaire-based measures, as compared to the traditional (keypress-based) version of SST. We also scrutinized the influence of different parameters of stop-signal tasks, such as the method of stop-signal delay setting or definition of response inhibition failure, on these associations. Our results show that a) SSRT has weak association with impulsivity, while mouse movement measures have strong and significant association with impulsivity; b) machine learning models trained on the mouse movement data from “known” participants using nested cross-validation procedure can accurately predict impulsivity ratings of “unknown” participants; c) mouse movement features such as maximum acceleration and maximum velocity are among the most important predictors for impulsivity; d) using preset stop-signal delays prompts behavior that is more indicative of impulsivity.},
    number = {11},
    doi = {10.1371/journal.pone.0225437}
}

repository: agleontyev/agleontyev

repo_name: agleontyev/agleontyev


text:
DESCRIPTION = "intone-video is a mplayer video frontend for openmoko phones"
HOMEPAGE = "http://code.google.com/p/intone-video/"
AUTHOR = "cchandel"
LICENSE = "GPLv2"
SECTION = "e/apps"
DEPENDS = "elementary eina sqlite3 edbus"
RDEPENDS_${PN} = "mplayer lame libxv libsdl-x11"

SRCREV = "12"
PV = "0.13+svnr${SRCPV}"
PR = "r8"

SRC_URI = "svn://intone-video.googlecode.com/svn;module=trunk;proto=http \
           file://depends.eina.patch"
S = "${WORKDIR}/trunk"

inherit autotools

do_install_append() {
	install -d "${D}/${datadir}/pixmaps"
	install -m 0644 "${S}/resources/intone-video.png" "${D}/${datadir}/pixmaps"
	install -d "${D}/${datadir}/applications"
	install -m 0644 "${S}/resources/intone-video.desktop" "${D}/${datadir}/applications"
}

FILES_${PN} += "/usr/share/pixmaps/* /usr/share/applications/*"

repository: overo/overo-oe-natty

repo_name: overo/overo-oe-natty

branch_name: HEAD

extension: bb


text:
package visitor

import "fmt"

//IGameObject 游戏上下文对象
type IGameObject interface {
	Accept(IGameVisitor)
}

//Player 代表其他玩家，因为用户角色需要和其他玩家交互
type Player struct {
	Name  string
	Level int
}

//Accept 提供交互接口
func (p Player) Accept(v IGameVisitor) {
	v.VisitPlayer(p)
}

//NPC 被方法对象
type NPC struct {
	Name       string
	IsImmortal bool //是否可以被打死
}

//Accept 接受聚能NPC访问能力的对象的访问
func (n NPC) Accept(v IGameVisitor) {
	v.VisitNPC(n)
}

//SystemEnv 环境对象
type SystemEnv struct {
	Mark    string //环境标识
	Version string //环境版本
}

//Accept 提供对环境的访问
func (s SystemEnv) Accept(v IGameVisitor) {
	v.VisitSystemEnv(s)
}

//IGameVisitor 游戏提供的环境访问能力
type IGameVisitor interface {
	VisitPlayer(Player)
	VisitNPC(NPC)
	VisitSystemEnv(SystemEnv)
}

// SettingVisitor 只提供Setting的能力
type SettingVisitor struct{}

//VisitPlayer 提供交互的第三方对象的信息
func (SettingVisitor) VisitPlayer(p Player) {
	fmt.Printf("Game Player: Name:%s ,Level:%d\n", p.Name, p.Level)
}

//VisitNPC 提供NPC的信息
func (SettingVisitor) VisitNPC(n NPC) {
	fmt.Printf("Game NPC: Name:%s ,Immortal:%v\n", n.Name, n.IsImmortal)
}

//VisitSystemEnv 提供游戏环境信息
func (SettingVisitor) VisitSystemEnv(s SystemEnv) {
	fmt.Printf("Game Env: Mark:%s ,Version:%s\n", s.Mark, s.Version)
}

// Attacker 攻击者
type Attacker struct{ name string }

//VisitPlayer 攻击其他玩家
func (a Attacker) VisitPlayer(p Player) {
	fmt.Printf("%s Attack Player : %s\n", a.name, p.Name)
}

//VisitNPC 攻击NPC
func (a Attacker) VisitNPC(n NPC) {
	fmt.Printf("%s Attack NPC: %s\n", a.name, n.Name)
}

//VisitSystemEnv 攻击环境，如石头，大门，墙壁
func (a Attacker) VisitSystemEnv(s SystemEnv) {
	fmt.Printf("Unsupported target %s\n", "game env")
}

repository: daydaystudylab/go-pattern-examples

repo_name: daydaystudylab/go-pattern-examples

extension: go


text:
exports.MATCH_BOT_TYPES = {
  CURATOR: 'curator',
  AUTHOR: 'author',
};

exports.BOTS_QUEUE = {
  CURATOR: {
    NAME: 'curatorsBotQueue',
    DELAY: 300,
    MIN_HBD: 0.01,
  },
  AUTHOR: {
    NAME: 'authorsBotQueue',
    DELAY: 300,
    MIN_HBD: 0.01,
  },
  ENGINE_CURATOR: {
    NAME: 'engineCuratorBotQueue',
    DELAY: 1,
    MIN_PERCENTAGE: 7000,
    VOTED_KEY: 'engineCuratorVoted',
    DAILY_WEIGHT: 100000,
  },
};

exports.BOT_ENV_KEY = {
  CURATOR: 'CURATOR_BOT_KEY',
  AUTHOR: 'AUTHOR_BOT_KEY',
};

exports.WORK_BOTS_ENV = [
  'test',
  'production',
];

exports.MANA_CHECK_TYPES = [
  'HIVE',
  'WAIV',
];

exports.GREY_LIST_KEY = 'vote_grey_list';

repository: Waiviogit/waivioCampaignsService

repo_name: Waiviogit/waivioCampaignsService

gha_language: JavaScript

extension: js


text:
# This package builds the devio program
PR = "r0"
DESCRIPTION = "devio - block devio io"
HOMEPAGE = "http://devio.sourceforge.net/"
MAINTAINER = "John Bowler <jbowler@acm.org>"
SECTION = "base"
LICENSE = "MIT"

SRC_URI = "cvs://anonymous@cvs.sourceforge.net/cvsroot/devio;method=pserver;module=devio;tag=${PV}"
# This accesses the head version, anonymous pserver access is
# only updated once per day (and it is necessary to change
# 'jbowler' to the name of a developer with ssh access.)
#SRC_URI = "cvs://jbowler@cvs.sourceforge.net/cvsroot/devio;method=ext;rsh=ssh;tag=HEAD;module=devio"

# The source will end up in the subdirectory 'devio' - no release name
S = "${WORKDIR}/devio"

# Just the one package at present
PACKAGES = "${PN}"

# Set the install dir to /sbin, not /usr/sbin, because devio is used
# during bootstrap (we want it to be posible to mount /usr separately)
sbindir = "/sbin"

inherit autotools

repository: BackupTheBerlios/openslug-svn

repo_name: BackupTheBerlios/openslug-svn


text:
package reports

import (
	"github.com/mescanne/goledger/book"
	"github.com/mescanne/goledger/cmd/app"
	"github.com/mescanne/goledger/loader"
)

func ShowLedger(b *app.BookPrinter, trans []book.Transaction) error {
	for _, posts := range trans {
		tnote := posts.GetTransactionNote()
		if tnote != "" {
			tnote = "  ; " + tnote
		}
		b.Printf("%s %s%s\n", posts.GetDate(), posts.GetPayee(), tnote)
		for _, p := range posts {
			pnote := p.GetPostNote()
			if pnote != "" {
				pnote = "  ; " + pnote
			}

			ccy := p.GetCCY()
			needsQuotes := false
			for _, c := range ccy {
				if !loader.IsCCYRune(rune(c)) {
					needsQuotes = true
				}
			}
			if needsQuotes {
				ccy = "\"" + ccy + "\""
			}

			b.Printf("  %s  %s%s%s\n", p.GetAccount(), b.FormatSymbol(ccy), b.FormatNumber(p.GetCCY(), p.GetAmount()), pnote)
		}
		b.Printf("\n")
	}
	return nil
}

repository: mescanne/goledger

repo_name: mescanne/goledger

gha_language: Go


text:
package main

import (
	"os"

	"github.com/djthorpe/gopi/v3/pkg/tool"
)

func main() {
	os.Exit(tool.CommandLine("audioid", os.Args[1:], new(app)))
}

repository: windhooked/gopi

repo_name: windhooked/gopi


text:
SUMMARY = "File manager application for webOS ports"
SECTION = "webos/apps"
LICENSE = "Apache-2.0"
LIC_FILES_CHKSUM = "file://LICENSE;md5=ae6497158920d9524cf208c09cc4c984"

inherit webos_ports_repo
inherit allarch
inherit webos_enyojs_application
inherit webos_system_bus
inherit webos_filesystem_paths

PV = "1.0.0+gitr${SRCPV}"
SRCREV = "bdfece508aa5fce94a52069f7485cbd21995908b"

SRC_URI = "${WEBOS_PORTS_GIT_REPO_COMPLETE}"
S = "${WORKDIR}/git"

WEBOS_SYSTEM_BUS_SKIP_DO_TASKS = ""
WEBOS_SYSTEM_BUS_FILES_LOCATION = "${S}/service/dbus"

do_install_append() {
    install -d ${D}${webos_servicesdir}/org.webosports.app.filemanager.service
    cp -r ${S}/service/* ${D}${webos_servicesdir}/org.webosports.app.filemanager.service/
}

FILES_${PN} += "${webos_servicesdir}/org.webosports.app.filemanager.service"

repository: Tofee/meta-webos-ports

repo_name: Tofee/meta-webos-ports

gha_license_id: MIT

gha_language: BitBake


text:
package mpc

import (
	"math/big"
	"testing"
)

func TestIntPowGood(t *testing.T) {
	nBits := 5
	pow := 8
	ckt := intPow_Circuit("pow", nBits, pow)
	vals := intPow_NewRandom(nBits, pow)

	if !ckt.Eval(vals) {
		t.Fail()
	}
}

func TestIntPowBad(t *testing.T) {
	nBits := 5
	pow := 8
	ckt := intPow_Circuit("pow", nBits, pow)
	vals := intPow_NewRandom(nBits, pow)

	vals[0] = big.NewInt(123123123123)

	if ckt.Eval(vals) {
		t.Fail()
	}
}

license: ISC

repository: decltypeme/prio

repo_name: decltypeme/prio

gha_license_id: ISC


text:
% Encoding: UTF-8

@Book{Goodfellow-et-al-2016,
  author    = {Ian Goodfellow and Yoshua Bengio and Aaron Courville},
  title     = {Deep Learning},
  year      = {2016},
  publisher = {MIT Press},
  url       = {http://www.deeplearningbook.org/},
  keywords  = {Deep Learning, Neural Net, Machine Learning, Week 1},
}

@Electronic{iamtrask-nn-11ln-python,
  author       = {iamtrask},
  title        = {A Neural Network in 11 Lines of Python},
  year         = {2015},
  url          = {http://iamtrask.github.io/2015/07/12/basic-python-network/},
  language     = {English},
  month        = {6},
  howpublished = {Web},
  keywords     = {Neural Net, Machine Learning, Week 1},
}

@Electronic{siraj-intro-deeplearning,
  author   = {Siraj Raval},
  title    = {Intro to Deep Learning},
  year     = {2017},
  date     = {2017-01-13},
  url      = {https://www.youtube.com/playlist?list=PL2-dafEMk2A7YdKv4XfKpfbTH5z6rEEj3},
  urldate  = {2017-02-03},
  keywords = {ML, Deep Learning, Week 1},
}

@Book{anton-elementary-linear-algebra,
  author    = {Howard Anton},
  title     = {Elementary Linear Algebra},
  year      = {1987},
  edition   = {5},
  publisher = {John Wiley \& Sons Inc},
  isbn      = {0-471-84819-0},
  keywords  = {Linear Algebra, Math, Prerequisites},
}

@Online{meeden-backpropderiv,
  author = {Lisa Meeden},
  title  = {Derivation of Backpropagation},
  year   = {2010},
  url    = {https://www.cs.swarthmore.edu/~meeden/cs81/s10/BackPropDeriv.pdf},
}

@Online{vdotProduct,
  author = {Salman Khan},
  editor = {Salman Khan},
  title  = {Vector dot product and Vector Length},
  year   = {2009},
  date   = {2009-10-9},
  url    = {https://www.youtube.com/watch?v=WNuIhXo39_k},
}

@Online{perceptron,
  author = {Genevieve B. Orr},
  title  = {The Perceptron},
  year   = {2017},
  date   = {2017-03-03},
  url    = {https://www.willamette.edu/~gorr/classes/cs449/Classification/perceptron.html},
}

@SuppPeriodical{perceptronSrc,
  author       = {Frank Rosenblatt},
  title        = {The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain},
  journaltitle = {Psychological Review},
  year         = {1958},
  date         = {1958-11-06},
  editor       = {Theodore M. Newcomb},
  volume       = {65},
  url          = {http://www.ling.upenn.edu/courses/cogs501/Rosenblatt1958.pdf},
  urldate      = {2017-03-07},
}

@Comment{jabref-meta: databaseType:biblatex;}


text:
// Licensed to LinDB under one or more contributor
// license agreements. See the NOTICE file distributed with
// this work for additional information regarding copyright
// ownership. LinDB licenses this file to you under
// the Apache License, Version 2.0 (the "License"); you may
// not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
//     http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing,
// software distributed under the License is distributed on an
// "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
// KIND, either express or implied.  See the License for the
// specific language governing permissions and limitations
// under the License.

package metrics

import "github.com/lindb/lindb/internal/linmetric"

var (
	// table cache
	tableCacheScope = linmetric.StorageRegistry.NewScope("lindb.kv.table.cache")
	// TableCacheStatistics represents table reader cache statistics.
	TableCacheStatistics = struct {
		Evict                *linmetric.BoundCounter // evict reader from cache
		Hit                  *linmetric.BoundCounter // get reader hit cache
		Miss                 *linmetric.BoundCounter // get reader miss cache
		Close                *linmetric.BoundCounter // close reader success
		CloseFailures        *linmetric.BoundCounter // close reader failure
		CreateReaderFailures *linmetric.BoundCounter // create read failure
		ActiveReaders        *linmetric.BoundGauge   // number of active reader in cache
	}{
		Evict:         tableCacheScope.NewCounter("evicts"),
		Hit:           tableCacheScope.NewCounter("cache_hits"),
		Miss:          tableCacheScope.NewCounter("cache_misses"),
		Close:         tableCacheScope.NewCounter("closes"),
		CloseFailures: tableCacheScope.NewCounter("close_failures"),
		ActiveReaders: tableCacheScope.NewGauge("active_readers"),
	}

	// table write
	tableWriteScope = linmetric.StorageRegistry.NewScope("lindb.kv.table.write")
	// TableWriteStatistics represents table file write statistics.
	TableWriteStatistics = struct {
		AddBadKeys *linmetric.BoundCounter // add bad key count
		AddKeys    *linmetric.BoundCounter // add key success
		WriteBytes *linmetric.BoundCounter // write data bytes
	}{
		AddBadKeys: tableWriteScope.NewCounter("bad_keys"),
		AddKeys:    tableWriteScope.NewCounter("add_keys"),
		WriteBytes: tableWriteScope.NewCounter("write_bytes"),
	}

	// table read
	tableReadScope = linmetric.StorageRegistry.NewScope("lindb.kv.table.read")
	// TableReadStatistics represents table file read statistics.
	TableReadStatistics = struct {
		Gets           *linmetric.BoundCounter // get data by key success
		GetFailures    *linmetric.BoundCounter // get data by key failure
		ReadBytes      *linmetric.BoundCounter // bytes of read data
		MMaps          *linmetric.BoundCounter // map file success
		MMapFailures   *linmetric.BoundCounter // map file failure
		UnMMaps        *linmetric.BoundCounter // unmap file success
		UnMMapFailures *linmetric.BoundCounter // unmap file failures
	}{
		Gets:           tableReadScope.NewCounter("gets"),
		GetFailures:    tableReadScope.NewCounter("get_failures"),
		ReadBytes:      tableReadScope.NewCounter("read_bytes"),
		MMaps:          tableReadScope.NewCounter("mmaps"),
		MMapFailures:   tableReadScope.NewCounter("mmap_failures"),
		UnMMaps:        tableReadScope.NewCounter("unmmaps"),
		UnMMapFailures: tableReadScope.NewCounter("unmmap_failures"),
	}

	// compact job
	compactScope = linmetric.StorageRegistry.NewScope("lindb.kv.compaction")
	// CompactStatistics represents compact job statistics.
	CompactStatistics = struct {
		Compacting *linmetric.GaugeVec          // number of compacting jobs
		Failure    *linmetric.DeltaCounterVec   // compact failure
		Duration   *linmetric.DeltaHistogramVec // compact duration(include count)
	}{
		Compacting: flushScope.NewGaugeVec("compacting", "type"),
		Failure:    flushScope.NewCounterVec("failure", "type"),
		Duration:   compactScope.Scope("duration").NewHistogramVec("type"),
	}

	// flush job
	flushScope = linmetric.StorageRegistry.NewScope("lindb.kv.flush")
	// FlushStatistics represents flush job statistics.
	FlushStatistics = struct {
		Flushing *linmetric.BoundGauge     // number of flushing jobs
		Failure  *linmetric.BoundCounter   // flush job failure
		Duration *linmetric.BoundHistogram // flush duration(include count)
	}{
		Flushing: flushScope.NewGauge("flushing"),
		Failure:  flushScope.NewCounter("failure"),
		Duration: flushScope.Scope("duration").NewHistogram(),
	}
)

repository: damnever/lindb

repo_name: damnever/lindb

branch_name: refs/heads/main


text:
DESCRIPTION = "Level maker for gnuZ"
SECTION = "opie/games"
PRIORITY = "optional"
MAINTAINER = "Marcin Juszkiewicz <openembedded@hrw.one.pl>"
LICENSE = "GPL"
AUTHOR = "Lukas Fraser"
HOMEPAGE = "http://gnuz.4cows.net/eraser/gnuz/"
DEPENDS = "qt-x11-free-native"

SRC_URI = "http://gnuz.4cows.net/eraser/gnuz/gnuz-levelmaker_${PV}.tar.gz"

S = "${WORKDIR}/gnuz_levelmaker"

EXTRA_QMAKEVARS_POST += "LIBS+=-ldl CONFIG+=thread"

inherit qmake qt3x11 native

do_configure_prepend() {

	${STAGING_BINDIR}/qmake -project
}

do_compile() {

export OE_QMAKE_LINK="${CXX}"
	oe_runmake
}

do_stage() {
	install -m 0755 gnuz_levelmaker ${STAGING_BINDIR}/
}

repository: Terentyev/familiar-linux

repo_name: Terentyev/familiar-linux


text:
require glib.inc

PE = "1"

DEPENDS += "libffi zlib"
DEPENDS_class-native += "libffi-native"
DEPENDS_class-nativesdk += "nativesdk-libffi nativesdk-zlib ${BPN}-native"

#SHRT_VER = "${@oe.utils.trim_version("${PV}", 2)}"
SHRT_VER = "${@d.getVar('PV',1).split('.')[0]}.${@d.getVar('PV',1).split('.')[1]}"

SRC_URI = "${GNOME_MIRROR}/glib/${SHRT_VER}/glib-${PV}.tar.xz \
           file://configure-libtool.patch \
           file://glib-2.0_fix_for_x32.patch \
           file://fix-conflicting-rand.patch \
           file://Makefile-ptest.patch \
           file://add-march-i486-into-CFLAGS-automatically.patch \
           file://run-ptest \
           file://glib-2.0-configure-readlink.patch \
          "

SRC_URI_append_class-native = " file://glib-gettextize-dir.patch"

SRC_URI[md5sum] = "2f4b15f7ef43d8702d067ab987bf7aba"
SRC_URI[sha256sum] = "f654d2542329012d8475736a165dfbf82fadf3ee940c2e0e6ddd4b2fde5cad7e"

BBCLASSEXTEND = "native nativesdk"

RDEPENDS_${PN}-ptest += "\
            tzdata \
            tzdata-americas \
            tzdata-asia \
            tzdata-europe \
            tzdata-posix \
            python-pygobject \
            python-dbus \
           "

#RDEPENDS_${PN}-ptest_append_libc-glibc = "\
#            eglibc-gconv-utf-16 \
#            eglibc-charmap-utf-8 \
#            eglibc-gconv-cp1255 \
#            eglibc-charmap-cp1255 \
#            eglibc-gconv-utf-32 \
#            eglibc-gconv-utf-7 \
#            eglibc-charmap-invariant \
#            eglibc-localedata-translit-cjk-variants \
#           "
EXTRA_OECONF_append_class-target_libc-uclibc = " --with-libiconv=gnu"

do_configure_prepend() {
	sed -i -e '1s,#!.*,#!${USRBINPATH}/env python,' ${S}/gio/gdbus-2.0/codegen/gdbus-codegen.in
}

do_install_append() {
  # remove some unpackaged files
  rm -f ${D}${datadir}/glib-2.0/codegen/*.pyc
  rm -f ${D}${datadir}/glib-2.0/codegen/*.pyo
  # and empty dirs
  rm -rf ${D}${libdir}/gio

  # Some distros have both /bin/perl and /usr/bin/perl, but we set perl location
  # for target as /usr/bin/perl, so fix it to /usr/bin/perl.
  if [ -f ${D}${bindir}/glib-mkenums ]; then
    sed -i -e '1s,#!.*perl,#! ${USRBINPATH}/env perl,' ${D}${bindir}/glib-mkenums
  fi
}

repository: xoware/meta-xonet-open

repo_name: xoware/meta-xonet-open


text:
DESCRIPTION = "Apache Maven is a software project management and comprehension tool. Based on the concept \
of a Project Object Model (POM), Maven can manage a project's build, reporting and documentation \
from a central piece of information."
HOMEPAGE = "http://maven.apache.org"
SECTION = "devel"
LICENSE = "Apache-2.0"
LIC_FILES_CHKSUM = "file://${S}/LICENSE;md5=86870d6aee2ee3520c12fc36ebe676cd"

inherit native

SRC_URI = "http://mirror.catn.com/pub/apache/maven/maven-3/${PV}/binaries/apache-maven-${PV}-bin.tar.gz \
	   file://settings.xml \
"

SRC_URI[md5sum] = "516923b3955b6035ba6b0a5b031fbd8b"
SRC_URI[sha256sum] = "6e3e9c949ab4695a204f74038717aa7b2689b1be94875899ac1b3fe42800ff82"

PR = "r0"

S = "${WORKDIR}/apache-maven-${PV}"

do_configure() {
    # Install custom settings
    cp ${WORKDIR}/settings.xml ${S}/conf/settings.xml
}

do_install() {
    install -d -m 0755 ${D}${bindir}/${PN}
    cp -ar * ${D}${bindir}/${PN}
    ln -sf ${PN}/bin/mvn ${D}${bindir}/mvn
}

BBCLASSEXTEND = "native"

repository: adammendoza/meta-iot-cloud

repo_name: adammendoza/meta-iot-cloud


text:
DESCRIPTION = "yocto python test"
SECTION = "examples"
DEPENDS = ""
LICENSE = "MIT"
LIC_FILES_CHKSUM = "file://LICENSE;md5=d41d8cd98f00b204e9800998ecf8427e"

FILESEXTRAPATHS_prepend := "${THISDIR}/${PN}-${PV}:"

SRCREV = "${AUTOREV}"
SRC_URI = "git://github.com/rideyourstyle/can-commander.git"
S = "${WORKDIR}/git"

ALLOW_EMPTY_${PN} = "1"
RDEPENDS_${PN} = "python-can \
                  python-pyserial \
                  python3-pyserial \
                  python-threading \
                  python3-threading"

do_compile () {
}

do_install() {
  install -m 0755 -d ${D}/home/root/can-commander/
  install -m 0755 -d ${D}/home/root/can-commander/files/
  install -m 0777 ${S}/start.py ${D}/home/root/can-commander/
  cp -r ${S}/can-commander/* ${D}/home/root/can-commander/files/
}

FILES_${PN} = " \
/home/root/can-commander/start.py \
/home/root/can-commander/files/test.py \
"

pkg_postinst_${PN} () {
  #!/bin/sh -e

  cd /home/root/can-commander/files
  python test.py
}

repository: rideyourstyle/meta-example

repo_name: rideyourstyle/meta-example


text:
SUMMARY = "Panel plugin with graphical representation of the cpu frequency"
HOMEPAGE = "http://goodies.xfce.org/projects/panel-plugins/xfce4-eyes-plugin"
LICENSE = "GPL-2.0-only"
LIC_FILES_CHKSUM = "file://COPYING;md5=b234ee4d69f5fce4486a80fdaf4a4263"

inherit xfce-panel-plugin

SRC_URI[sha256sum] = "ad0ff05d88ba393b7c8922f8233edd33fc0a4e8b000b61de1f8f3a10c5ae5324"

FILES:${PN} += "${datadir}/xfce4/eyes"

repository: openembedded/meta-openembedded

repo_name: openembedded/meta-openembedded


text:
inherit pypi setuptools
require python-msrestazure.inc

RDEPENDS_${PN} += "\
    ${PYTHON_PN}-threading \
"

repository: DasRoteSkelett/meta-iot-cloud

repo_name: DasRoteSkelett/meta-iot-cloud


text:
@inproceedings{rTesla,
 author    = {S. Akleylek and N. Bindel and J. Buchmann and J. Krämer and G. A. Marson},
 title     = {An efficient lattice-based signature scheme with provably secure instantiation},
 year      = {2016},
 pages     = {44--60},
 editor    = {D. Pointcheval, T. Rachidi, A. Nitaj},
 booktitle     = {International Conference on Cryptology - AFRICACRYPT 2016 },
 publisher = {Springer}
}

@inproceedings{faultAttacks,
 author    = {N. Bindel and J. A. Buchmann and J. Krämer},
 title     = {Lattice-based signature schemes and their sensitivity to fault attacks},
 year      = {2016},
 booktitle     = {IACR Cryptology ePrint Archive}
}

@inproceedings{Tesla,
 author    = {E. Alkim and N. Bindel and J. Buchmann and O. Dagdelen},
 title     = {Tesla: Tightly-secure efficient signatures from standard lattices},
 year      = {2015},
 booktitle     = {Cryptology ePrint Archive}
}

@inproceedings{encoding,
author="Güneysu, Tim
and Lyubashevsky, Vadim
and Pöppelmann, Thomas",
editor="Prouff, Emmanuel
and Schaumont, Patrick",
title="Practical Lattice-Based Cryptography: A Signature Scheme for Embedded Systems",
bookTitle="Cryptographic Hardware and Embedded Systems -- CHES 2012: 14th International Workshop, Leuven, Belgium, September 9-12, 2012. Proceedings",
year="2012",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="530--547",
isbn="978-3-642-33027-8",
doi="10.1007/978-3-642-33027-8_31",
url="http://dx.doi.org/10.1007/978-3-642-33027-8_31"
}

@inproceedings{ reduction,
  author        = {Erdem Alkim and Nina Bindel and Johannes Buchmann and \"{O}zg\"{u}r Dagdelen},
  title         = {TESLA: Tightly-secure efficient signatures from standard lattices},
  year          = {2016}
}


text:
@inproceedings{paperno-etal-2016-lambada,
    title = "The {LAMBADA} dataset: Word prediction requiring a broad discourse context",
    author = "Paperno, Denis  and
      Kruszewski, Germ{\'a}n  and
      Lazaridou, Angeliki  and
      Pham, Ngoc Quan  and
      Bernardi, Raffaella  and
      Pezzelle, Sandro  and
      Baroni, Marco  and
      Boleda, Gemma  and
      Fern{\'a}ndez, Raquel",
    booktitle = "Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)",
    month = aug,
    year = "2016",
    address = "Berlin, Germany",
    publisher = "Association for Computational Linguistics",
    url = "https://www.aclweb.org/anthology/P16-1144",
    doi = "10.18653/v1/P16-1144",
    pages = "1525--1534",
}

repository: tensorflow/datasets

repo_name: tensorflow/datasets

gha_language: Python


text:
%% Created using Papers on Sat, 05 Aug 2017.
%% http://papersapp.com/papers/

@article{Taylor:2014vvba,
author = {Taylor, John},
title = {{Boston Main Streets 2.0: Spreading Boston's Innovation Economy from the Innovation District to the Neighborhoods}},
journal = {UMI Dissertation Publishing},
year = {2014},
affiliation = {Tufts University},
rating = {0},
date-added = {2017-08-03T22:40:49GMT}
}

@article{Glaeser:2011vdba,
author = {Glaeser, Edward L and Ponzetto, Giacomo A.M and Tobio, Kristina},
title = {{Cities, Skills, and Regional Change}},
journal = {National Bureau of Economic Research},
year = {2011},
month = apr,
affiliation = {NBER Working Paper Series},
rating = {0},
date-added = {2017-08-03T22:44:40GMT},
abstract = {{
}One approach to urban areas emphasizes the existence of certain immutable relationships, such as{
}
{
}Zipf{\textquoteright}s or Gibrat{\textquoteright}s Law. An alternative view is that urban change reflects individual responses to changing{
}
{
}tastes or technologies. This paper examines almost 200 years of regional change in the U.S. and finds{
}
{
}that few, if any, growth relationships remain constant, including Gibrat{\textquoteright}s Law. Education does a reasonable{
}
{
}job of explaining urban resilience in recent decades, but does not seem to predict county growth a{
}
{
}century ago. After reviewing this evidence, we present and estimate a simple model of regional change,{
}
{
}where education increases the level of entrepreneurship. Human capital spillovers occur at the city{
}
{
}level because skilled workers produce more product varieties and thereby increase labor demand. We{
}
{
}find that skills are associated with growth in productivity or entrepreneurship, not with growth in quality{
}
{
}of life, at least outside of the West. We also find that skills seem to have depressed housing supply{
}
{
}growth in the West, but not in other regions, which supports the view that educated residents in that{
}
{
}region have fought for tougher land-use controls. We also present evidence that skills have had a disproportionately{
}
{
}large impact on unemployment during the current recession.{
}}
}

@article{Neumark:2010vbba,
author = {Neumark, David and Kolko, Jed},
title = {{Do enterprise zones create jobs? Evidence from California's enterprise zone program}},
journal = {Journal of Urban Economics},
year = {2010},
month = jan,
rating = {0},
date-added = {2017-08-03T22:47:36GMT},
abstract = {{
}We use new establishment-level data and geographic mapping methods to improve upon evaluations of{
}
{
}the effectiveness of state enterprise zones, focusing on California{\textquoteright}s program. Because zone boundaries do{
}
{
}not follow census tracts or zip codes, we created digitized maps of original zone boundaries and later{
}
{
}expansions. We combine these maps with geocoded observations on most businesses located in California.{
}
{
}The evidence indicates that enterprise zones do not increase employment. We also find no shift of{
}
{
}employment toward the lower-wage workers targeted by enterprise zone incentives. We conclude that{
}
{
}the program is ineffective in achieving its primary goals.{
}}
}

@article{Glaeser:2012teba,
author = {Glaeser, Edward L and Gottlieb, Joshua D and Tobio, Kristina},
title = {{Housing Booms and City Centers}},
journal = {National Bureau of Economic Research},
year = {2012},
month = mar,
affiliation = {NBER Working Paper Series},
rating = {0},
date-added = {2017-08-03T22:51:01GMT},
abstract = {{
}Popular discussions often treat the great housing boom of the 1996-2006 period as if it were a national{
}
{
}phenomenon with similar impacts across locales, but across metropolitan areas, price growth was dramatically{
}
{
}higher in warmer, less educated cities with less initial density and higher initial housing values. Within{
}
{
}metropolitan areas, price growth was faster in neighborhoods closer to the city center. The centralization{
}
{
}of price growth during the boom was particularly dramatic in those metropolitan areas where income{
}
{
}is higher away from the city center. We consider four different explanations for why city centers grew{
}
{
}more quickly when wealth was more suburbanized: (1) gentrification, which brings rapid price growth,{
}
{
}is more common in areas with centralized poverty; (2) areas with centralized poverty had more employment{
}
{
}concentration which led to faster centralized price growth; (3) areas with centralized poverty had the{
}
{
}weakest supply response to the boom in prices in the city center; and (4) poverty is centralized in cities{
}
{
}with assets, like public transit, at the city center that became more valuable over the boom. We find{
}
{
}some support for several of these hypotheses, but taken together they explain less than half of the overall{
}
{
}connection between centralized poverty and centralized price growth.{
}}
}

@article{Charnock:2014viba,
author = {Charnock, Greig and Purcell, Thomas F and Ribera-Fumaz, Ramon},
title = {{City of Rents: The limits to the Barcelona model of urban competitiveness}},
journal = {International Journal of Urban and Regional Research},
year = {2014},
volume = {38.1},
pages = {198--217},
month = jan,
rating = {0},
date-added = {2017-08-03T22:53:03GMT},
abstract = {{
}\emph{The turn towards the knowledge-based economy and creative strategies to enhance}{
}
{
}\emph{urban competitiveness within it has been well documented. Yet too little has been said to}{
}
{
}\emph{date about the transformation of land use for new productive activities, and the}{
}
{
}\emph{contradictions inherent to this process. Our case study is Barcelona, an erstwhile}{
}
{
}\emph{{\textquoteleft}model{\textquoteright} for urban regeneration which has sought to transform itself into a global}{
}
{
}\emph{knowledge city since 2000. Through the lens of Marxian value theory, and Harvey{\textquoteright}s}{
}
{
}\emph{writing on urban monopoly rents especially, we show how the 22@Barcelona project {\textemdash}}{
}
{
}\emph{conceived with received wisdom about the determinants of urban knowledge-based}{
}
{
}\emph{competitiveness in mind {\textemdash} amounted to an exercise in the capture of monopoly rents,}{
}
{
}\emph{driven by the compulsion of public sector institutions, financiers and developers to}{
}
{
}\emph{pursue rental profit-maximizing opportunities through the mobilization of land as a}{
}
{
}\emph{financial asset.}{
}}
}

@article{Gaubert:2017tdba,
author = {Gaubert, Cecile},
title = {{Firm Sorting and Agglomeration}},
year = {2017},
month = jan,
rating = {0},
date-added = {2017-08-03T23:01:32GMT},
abstract = {{
}To account for the uneven distribution of economic activity in space, I propose a theory of the location{
}
{
}choices of heterogeneous rms in a variety of sectors across cities. In this spatial equilibrium, the{
}
{
}distribution of city sizes and the sorting patterns of rms are uniquely determined and aect both{
}
{
}aggregate TFP and welfare. I estimate the model using rm-level data and nd that nearly half of the{
}
{
}productivity advantage of large cities is due to rm sorting. I also quantify the general equilibrium{
}
{
}eects of place-based policies. Policies that subsidize smaller cities have negative aggregate eects.{
}}
}

@article{Gaubert:wcMBH+4Dba,
author = {Gaubert, Cecile and Itskhoki, Oleg},
title = {{Granular Comparative Advantage}},
year = {0},
rating = {0},
date-added = {2017-08-03T23:04:38GMT}
}

@article{Glaeser:2009udba,
author = {Glaeser, Edward L and Kerr, William R},
title = {{Local Industrial Conditions and Entrepreneurship: How Much of the Spatial Distribution Can We Explain?}},
journal = {Journal of Economics and Management Strategy},
year = {2009},
volume = {18},
number = {3},
pages = {623--663},
rating = {0},
date-added = {2017-08-03T23:16:29GMT},
abstract = {{
}\emph{Why are some places more entrepreneurial than others?We use Census Bureau}{
}
{
}\emph{data to study local determinants of manufacturing startups across cities and}{
}
{
}\emph{industries. Demographics have limited explanatory power. Overall levels of}{
}
{
}\emph{local customers and suppliers are only modestly important, but new entrants}{
}
{
}\emph{seem particularly drawn to areas with many smaller suppliers, as suggested}{
}
{
}\emph{by Chinitz (1961). Abundant workers in relevant occupations also strongly}{
}
{
}\emph{predict entry. These forces plus city and industry fixed effects explain between}{
}
{
}\emph{60% and 80% of manufacturing entry.We use spatial distributions of natural}{
}
{
}\emph{cost advantages to address partially endogeneity concerns.}{
}}
}

@article{:2014wnba,
title = {{Smart city policies: A spatial approach}},
journal = {Cities},
year = {2014},
rating = {0},
date-added = {2017-08-03T23:19:05GMT},
abstract = {{
}This paper reviews the factors which differentiate policies for the development of smart cities, in an effort{
}
{
}to provide a clear view of the strategic choices that come forth when mapping out such a strategy. The{
}
{
}paper commences with a review and categorization of four strategic choices with a spatial reference,{
}
{
}on the basis of the recent smart city literature and experience. The advantages and disadvantages of each{
}
{
}strategic choice are presented. In the second part of the paper, the previous choices are illustrated{
}
{
}through smart city strategy cases from all over the world. The third part of the paper includes recommendations{
}
{
}for the development of smart cities based on the combined conclusions of the previous parts. The{
}
{
}paper closes with a discussion of the insights that were provided and recommendations for future{
}
{
}research areas.{
}}
}

@article{Twinam:2017uiba,
author = {Twinam, Tate},
title = {{Danger Zone: Land Use and the Geography of Neighborhood Crime}},
journal = {Journal of Urban Economics},
year = {2017},
month = jul,
rating = {0},
date-added = {2017-08-03T23:20:07GMT},
abstract = {{
}This paper examines the impact of residential density and mixed land use on{
}
{
}crime using a high{resolution dataset from Chicago over the period 2008{2013. I employ{
}
{
}a novel instrumental variable strategy based on the city's 1923 zoning code. I nd that{
}
{
}commercial uses lead to more street crime in their immediate vicinity, particularly in more{
}
{
}walkable neighborhoods. However, this eect is strongly oset by population density; dense{
}
{
}mixed{use areas are safer than typical residential areas. Additionally, much of the commer-{
}
{
}cial eect is driven by liquor stores and late{hour bars. I discuss the implications for zoning{
}
{
}policy.{
}}
}

@article{Glaeser:a7B2FFz7ba,
author = {Glaeser, Edward L},
title = {{Start-Up City}},
year = {2017},
month = may,
rating = {0},
date-added = {2017-08-03T23:31:33GMT}
}

@article{Glaeser:0tqba,
author = {Glaeser, Edward L and Ward, Bryce A},
title = {{The causes and consequences of land use regulation: Evidence from Greater Boston}},
journal = {Journal of Urban Economics},
year = {0},
month = jul,
rating = {0},
date-added = {2017-08-03T23:35:16GMT},
abstract = {{
}Over the past 30 years, eastern Massachusetts has seen a remarkable combination of rising home prices{
}
{
}and declining supply of new homes, which doesn{\textquoteright}t appear to reflect any lack of land. In this paper, we{
}
{
}examine the increasing number of land-use regulations in Greater Boston. These regulations vary widely{
}
{
}over space, and are hard to predict with any variables other than historical density levels. Minimum{
}
{
}lot size and other land use controls are associated with reductions in new construction activity. These{
}
{
}regulations are associated with higher prices when we do not control for contemporary density and{
}
{
}demographics, but not when we add these contemporaneous controls. These results are compatible with{
}
{
}economic theory, which predicts that production restraints on a good won{\textquoteright}t increase the price of that{
}
{
}good relative to sufficiently close substitutes. Current density levels appear to be too low to maximize{
}
{
}local land values.{
}}
}

@article{Ellison:2007taba,
author = {Ellison, Glenn and Glaeser, Edward L and Kerr, William},
title = {{What Causes Industry Agglomeration? Evidence From Coagglomeration Patterns}},
journal = {National Bureau of Economic Research},
year = {2007},
month = apr,
rating = {0},
date-added = {2017-08-03T23:37:37GMT},
abstract = {{
}Many industries are geographically concentrated. Many mechanisms that could account for such agglomeration{
}
{
}have been proposed. We note that these theories make different predictions about which pairs of industries{
}
{
}should be coagglomerated. We discuss the measurement of coagglomeration and use data from the{
}
{
}Census Bureau's Longitudinal Research Database from 1972 to 1997 to compute pairwise coagglomeration{
}
{
}measurements for U.S. manufacturing industries. Industry attributes are used to construct measures{
}
{
}of the relevance of each of Marshall's three theories of industry agglomeration to each industry pair:{
}
{
}(1) agglomeration saves transport costs by proximity to input suppliers or final consumers, (2) agglomeration{
}
{
}allows for labor market pooling, and (3) agglomeration facilitates intellectual spillovers. We assess{
}
{
}the importance of the theories via regressions of coagglomeration indices on these measures. Data{
}
{
}on characteristics of corresponding industries in the United Kingdom are used as instruments. We{
}
{
}find evidence to support each mechanism. Our results suggest that input-output dependencies are the{
}
{
}most important factor, followed by labor pooling.{
}}
}

@article{Chatterji:2017tcba,
author = {Chatterji, Aaron and Glaeser, Edward L and Kerr, William},
title = {{Clusters of Entrepreneurship and Innovation}},
journal = {National Bureau of Economic Research},
year = {2017},
month = may,
rating = {0},
date-added = {2017-08-03T23:45:56GMT},
abstract = {{
}This paper reviews recent academic work on the spatial concentration of entrepreneurship{
}
{
}and innovation in the United States. We discuss rationales for the{
}
{
}agglomeration of these activities and the economic consequences of clusters.{
}
{
}We identify and discuss policies that are being pursued in the United States to{
}
{
}encourage local entrepreneurship and innovation. While arguments exist for{
}
{
}and against policy support of entrepreneurial clusters, our understanding of{
}
{
}what works and how it works is quite limited. The best path forward involves{
}
{
}extensive experimentation and careful evaluation.{
}}
}

@techreport{Katz:2014tlba,
author = {Katz, Bruce and Wagner, Julie},
title = {{The Rise of Innovation Districts: A New Geography of Innovation in America}},
year = {2014},
month = may,
rating = {0},
date-added = {2017-08-03T23:51:58GMT}
}

@techreport{:z6hPkBoVba,
title = {{Advancing a New Wave of Urban Competitiveness: The Role of Mayors in the Rise of Innovation Districts}},
year = {2017},
month = jun,
rating = {0},
date-added = {2017-08-03T23:53:26GMT}
}

@techreport{Andes:2016wwba,
author = {Andes, Scott},
title = {{How Firms Learn: Industry Specific Strategies for Urban Economies}},
year = {2016},
month = may,
rating = {0},
date-added = {2017-08-04T00:23:31GMT}
}

@techreport{Wagner:2017woba,
author = {Wagner, Julie and Watch, Dan},
title = {{Innovation Spaces: The New Design of Work}},
year = {2017},
month = apr,
rating = {0},
date-added = {2017-08-04T00:27:11GMT}
}

@techreport{:KDTFfLaCba,
title = {{Positioned for Growth: Advancing the Oklahoma City Innovation District}},
year = {2017},
month = apr,
rating = {0},
date-added = {2017-08-04T00:28:19GMT}
}

@techreport{Katz:2015ufba,
author = {Katz, Bruce and Vey, Jennifer S and Wagner, Julie},
title = {{One Year After: Observations on the Rise of Innovation Districts}},
year = {2015},
month = jun,
rating = {0},
date-added = {2017-08-04T00:29:14GMT}
}

@techreport{Lee:2017usba,
author = {Lee, Jessica A},
title = {{Beyond Millenials: Valuing Older Adults' Participation in Innovation Districts}},
year = {2017},
month = mar,
rating = {0},
date-added = {2017-08-04T00:30:17GMT}
}

@book{Marshall:1920up,
author = {Marshall, Alfred},
title = {{Principles of Economics}},
publisher = {MacMillan and Co.},
year = {1920},
rating = {0},
date-added = {2017-08-04T20:39:46GMT}
}

@book{Krugman:1991tv,
author = {Krugman, Paul},
title = {{Geography and Trade}},
year = {1991},
rating = {0},
date-added = {2017-08-04T21:07:56GMT}
}

@article{Krugman:1991wb,
author = {Krugman, Paul},
title = {{Increasing Returns and Economic Geography}},
journal = {Journal of Political Economy},
year = {1991},
pages = {483--499},
rating = {0},
date-added = {2017-08-04T21:09:23GMT}
}

path: /Bibliography/Innovation Districts.bib

filename: Innovation Districts.bib


text:
SUMMARY = "libchamplain is a Gtk widget displaying zoomable and pannable maps"
LICENSE = "LGPL-2.1-only"
LIC_FILES_CHKSUM = "file://COPYING;md5=2d5025d4aa3495befef8f17206a5b0a1"
DEPENDS = "glib-2.0 gtk+3 gdk-pixbuf clutter-1.0 clutter-gtk-1.0 libsoup-2.4"

inherit features_check gobject-introspection meson pkgconfig

REQUIRED_DISTRO_FEATURES = "opengl"

SRCREV = "145e417f32e507b63c21ad4e915b808a6174099e"
SRC_URI = "git://github.com/gnome/libchamplain.git;branch=master;protocol=https"

S = "${WORKDIR}/git"


text:
@article{cui2019humic,
 abstract = {The removal of natural organic matter (NOM) is a major objective for drinking water treatment. In this study, a novel advanced oxidation process (AOP) based on plasma in gas–liquid interface discharge was investigated for removing humic acid (HA), and ozonation treatment effect was evaluated as a comparison. Several indexes including UV254, dissolved organic carbon (DOC), specific UV absorbance (SUVA), and excitation-emission matrix (EEM) fluorescence spectra were employed to characterize HA transformation. The results showed that typical species including ozone, hydrogen peroxide and HO˙ were produced in the plasma process, which made better removal efficiency than ozonation. Especially, UV254 was removed effectively by 96.5% and 90.3% within 15 min by plasma and ozonation, while DOC was 49.2% and 41.1%, respectively. HO˙ radicals were majorly responsible for the degradation of HA in the plasma process, which were mainly generated via reaction of in situ produced ozone and H2O2 during the discharge process.  UV/vis absorbance and EEM results further showed that HA with the large molecular weight fraction was decomposed to small molecular weight fraction. This study indicates that plasma technology has a significant application prospect as a replacement for ozone in drinking water industry.},
 author = {Yanyan Cui and Jianwei Yu and Ming Su and Zeyu Jia and Tingting Liu and Gaku Oinuma and Tokiko Yamauchi},
 doi = {10.1039/C8EW00520F},
 issue = {1},
 journal = {Environ. Sci.: Water Res. Technol.},
 pages = {152-160},
 publisher = {The Royal Society of Chemistry},
 title = {Humic acid removal by gas–liquid interface discharge plasma: performance, mechanism and comparison to ozonation},
 url = {http://dx.doi.org/10.1039/C8EW00520F},
 volume = {5},
 year = {2019}
}


text:
%% -*- coding:utf-8 -*-
@article{bib:KeithConradFiniteFields,
  title = {Finite Fields},
  author = {Keith Conrad},
  url = {http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/finitefields.pdf}
}

@article{bib:KeithConradTensorProduct1,
  title = {Tensor Poroducts},
  author = {Keith Conrad},
  url = {http://www.math.uconn.edu/~kconrad/blurbs/linmultialg/tensorprod.pdf}
}

@article{bib:KeithConradSeparability2,
  title = {Separability II},
  author = {Keith Conrad},
  url = {http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/separable2.pdf}
}

@article{bib:KeithConradTraceNorm2,
  title = {Trace and Norm II},
  author = {Keith Conrad},
  url = {http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/tracenorm2.pdf}
}

@article{bib:KenBrownPrimitiveElementTheorem,
  title = {The Primitive Element Theorem},
  author = {Ken Brown},
  url = {http://www.math.cornell.edu/~kbrown/6310/primitive.pdf}
}

@misc{ wiki:maxideal,
   author = "Wikipedia",
   title = "Maximal ideal --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Maximal_ideal&oldid=704326783",
   note = "[Online; accessed 29-July-2016]"
 }

@misc{ wiki:nilpotent,
   author = "Wikipedia",
   title = "Nilpotent --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Nilpotent&oldid=727125150",
   note = "[Online; accessed 29-July-2016]"
 }

@book{ribenboim2001classical,
  title={Classical Theory of Algebraic Numbers},
  author={Ribenboim, P.},
  isbn={9780387950709},
  lccn={00040044},
  series={Universitext},
  url={https://books.google.ru/books?id=u5443xdaNZcC},
  year={2001},
  publisher={Springer New York}
}

 @misc{ wiki:groupaction,
   author = "Wikipedia",
   title = "Group action --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Group_action&oldid=735249701",
   note = "[Online; accessed 28-August-2016]"
 }

 @misc{ mathworld:groupfixedpoint,
   author = "Rowland, Todd",
   title = "Group Fixed Point.",
   year = "2016",
   url = "http://mathworld.wolfram.com/GroupFixedPoint.html",
   note = "From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. "
 }

 @misc{ wiki:normalsubgroup,
   author = "Wikipedia",
   title = "Normal subgroup --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Normal_subgroup&oldid=737429252",
   note = "[Online; accessed 9-September-2016]"
 }

 @misc{ wiki:eulerfunction,
   author = "Wikipedia",
   title = "Euler's totient function --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Euler\%27s_totient_function&oldid=736552571",
   note = "[Online; accessed 14-September-2016]"
 }

 @misc{ wiki:multiplicativegroup,
   author = "Wikipedia",
   title = "Multiplicative group of integers modulo n --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Multiplicative_group_of_integers_modulo_n&oldid=739054442",
   note = "[Online; accessed 20-September-2016]"
 }

 @misc{ wiki:simpleextension,
   author = "Wikipedia",
   title = "Simple extension --- Wikipedia{,} The Free Encyclopedia",
   year = "2014",
   url = "https://en.wikipedia.org/w/index.php?title=Simple_extension&oldid=595508851",
   note = "[Online; accessed 20-September-2016]"
 }

 @misc{ wiki:group,
   author = "Wikipedia",
   title = "Subgroup --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Subgroup&oldid=737399477",
   note = "[Online; accessed 23-September-2016]"
 }

 @misc{ wiki:linearmap,
   author = "Wikipedia",
   title = "Linear map --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Linear_map&oldid=740065546",
   note = "[Online; accessed 24-September-2016]"
 }

 @misc{ wiki:rank,
   author = "Wikipedia",
   title = "Rank (linear algebra) --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Rank_(linear_algebra)&oldid=739885289",
   note = "[Online; accessed 24-September-2016]"
 }

 @misc{ wiki:kernel,
   author = "Wikipedia",
   title = "Kernel (linear algebra) --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Kernel_(linear_algebra)&oldid=735290769",
   note = "[Online; accessed 24-September-2016]"
 }

 @misc{ wiki:directsum,
   author = "Wikipedia",
   title = "Direct sum --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Direct_sum&oldid=738351383",
   note = "[Online; accessed 24-September-2016]"
 }

 @misc{ wiki:directsummodules,
   author = "Wikipedia",
   title = "Direct sum of modules --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Direct_sum_of_modules&oldid=730018916",
   note = "[Online; accessed 25-September-2016]"
 }

@misc{ wiki:quotientgroup,
   author = "Wikipedia",
   title = "Quotient group --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Quotient_group&oldid=726415849",
   note = "[Online; accessed 27-September-2016]"
 }

 @misc{ wiki:alteringgroup,
   author = "Wikipedia",
   title = "Alternating group --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Alternating_group&oldid=736689793",
   note = "[Online; accessed 27-September-2016]"
 }

@misc{ wiki:permutationgroups,
   author = "Wikibooks",
   title = "Abstract Algebra/Group Theory/Permutation groups --- Wikibooks{,} The Free Textbook Project",
   year = "2016",
   url = "https://en.wikibooks.org/w/index.php?title=Abstract_Algebra/Group_Theory/Permutation_groups&oldid=3070727",
   note = "[Online; accessed 27-September-2016]"
 }

 @misc{ wiki:paritypermutation,
   author = "Wikipedia",
   title = "Parity of a permutation --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Parity_of_a_permutation&oldid=736707840",
   note = "[Online; accessed 28-September-2016]"
 }

 @misc{ wiki:commutator,
   author = "Wikipedia",
   title = "Commutator --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Commutator&oldid=740207690",
   note = "[Online; accessed 30-September-2016]"
 }

@misc{ wiki:commutatorsubgroup,
   author = "Wikipedia",
   title = "Commutator subgroup --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Commutator_subgroup&oldid=737371946",
   note = "[Online; accessed 30-September-2016]"
 }

@misc{ wiki:sylow,
   author = "Wikipedia",
   title = "Sylow theorems --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Sylow_theorems&oldid=735518140",
   note = "[Online; accessed 1-October-2016]"
 }

 @misc{ wiki:glg,
   author = "Wikipedia",
   title = "General linear group --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=General_linear_group&oldid=738480571",
   note = "[Online; accessed 2-October-2016]"
 }
 @misc{ wiki:endomorphism,
   author = "Wikipedia",
   title = "Endomorphism --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Endomorphism&oldid=726230579",
   note = "[Online; accessed 2-October-2016]"
 }

 @misc{ wiki:gsmodule,
   author = "Wikipedia",
   title = "Generating set of a module --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Generating_set_of_a_module&oldid=732648521",
   note = "[Online; accessed 5-October-2016]"
 }

 @misc{ wiki:fgmodule,
   author = "Wikipedia",
   title = "Finitely generated module --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Finitely_generated_module&oldid=735554374",
   note = "[Online; accessed 5-October-2016]"
 }

 @misc{ wiki:fractionfield,
   author = "Wikipedia",
   title = "Field of fractions --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Field_of_fractions&oldid=720271734",
   note = "[Online; accessed 5-October-2016]"
 }

@misc{ wiki:freemodule,
   author = "Wikipedia",
   title = "Free module --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Free_module&oldid=699002213",
   note = "[Online; accessed 9-January-2016]"
 }

 @misc{ wiki:fgagroup,
   author = "Wikipedia",
   title = "Finitely generated abelian group --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Finitely_generated_abelian_group&oldid=723506843",
   note = "[Online; accessed 3-June-2016]"
 }

 @misc{ wiki:dbf,
   author = "Wikipedia",
   title = "Degenerate bilinear form --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Degenerate_bilinear_form&oldid=738751020",
   note = "[Online; accessed 10-September-2016]"
 }

 @misc{ wiki:dualspace,
   author = "Wikipedia",
   title = "Dual space --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Dual_space&oldid=742901318",
   note = "[Online; accessed 6-October-2016]"
 }

 @misc{ wiki:localring,
   author = "Wikipedia",
   title = "Local ring --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Local_ring&oldid=716779040",
   note = "[Online; accessed 23-April-2016]"
 }

@article{bib:KeithConradLinearchar,
  title = {Linear independence of characters},
  author = {Keith Conrad},
  url = {http://www.math.uconn.edu/~kconrad/blurbs/galoistheory/linearchar.pdf}
}

@misc{ wiki:normalextrus,
  author = {Wikipedia},
  title = {{"Нормальное расширение --- Википедия{,} свободная энциклопедия"}},
  year = "2014",
  url = "http://ru.wikipedia.org/?oldid=65922374",
}

 @misc{ wiki:abeliangroup,
   author = "Wikipedia",
   title = "Abelian group --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Abelian_group&oldid=763791116",
   note = "[Online; accessed 5-February-2017]"
 }

@misc{ wiki:finitegroup,
   author = "Wikipedia",
   title = "Finite group --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Finite_group&oldid=759713845",
   note = "[Online; accessed 5-February-2017]"
 }

@MISC {mathstackexchange:discriminant3,
    TITLE = {Using Vieta's theorem for cubic equations to derive the cubic discriminant},
    AUTHOR = {Qiaochu Yuan},
    HOWPUBLISHED = {Mathematics Stack Exchange},
    NOTE = {URL:http://math.stackexchange.com/q/103504 (version: 2012-01-29)},
    EPRINT = {http://math.stackexchange.com/q/103504},
    URL = {http://math.stackexchange.com/q/103504}
}

 @misc{ wiki:klein4group,
   author = "Wikipedia",
   title = "Klein four-group --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Klein_four-group&oldid=759017274",
   note = "[Online; accessed 9-February-2017]"
 }

@misc{ wiki:subgroups_of_cyclic_groups,
   author = "Wikipedia",
   title = "Subgroups of cyclic groups --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Subgroups_of_cyclic_groups&oldid=744131880",
   note = "[Online; accessed 10-February-2017]"
 }

@misc{ wiki:diagonalizable_matrix,
   author = "Wikipedia",
   title = "Diagonalizable matrix --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Diagonalizable_matrix&oldid=764159566",
   note = "[Online; accessed 10-February-2017]"
 }

@misc{ wiki:eigenvalues,
   author = "Wikipedia",
   title = "Eigenvalues and eigenvectors --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Eigenvalues_and_eigenvectors&oldid=764288456",
   note = "[Online; accessed 10-February-2017]"
 }

 @misc{ wiki:ranknullity,
   author = "Wikipedia",
   title = "Rank–nullity theorem --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Rank\%E2\%80\%93nullity_theorem&oldid=730054227",
   note = "[Online; accessed 15-February-2017]"
 }

@misc{ wiki:directproduct,
   author = "Wikipedia",
   title = "Direct product of groups --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Direct_product_of_groups&oldid=723991376",
   note = "[Online; accessed 19-February-2017]"
 }

@book{book:kostrikin,
  title={{Введение в алгебру. ч. 3. Основные структуры алгебры}},
  author={{Кострикин А. И.}},
  isbn={978-5-94057-886-4},
  year={2012},
  publisher={{МЦНМО, Москва}}
}

@misc{ wiki:simplegroup,
   author = "Wikipedia",
   title = "Simple group --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Simple_group&oldid=709515196",
   note = "[Online; accessed 1-March-2017]"
 }

 @misc{ wiki:correspondence,
   author = "Wikipedia",
   title = "Correspondence theorem (group theory) --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Correspondence_theorem_(group_theory)&oldid=744531320",
   note = "[Online; accessed 2-March-2017]"
 }

 @misc{ wiki:grouphomomorphism,
   author = "Wikipedia",
   title = "Group homomorphism --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Group_homomorphism&oldid=737886552",
   note = "[Online; accessed 4-March-2017]"
 }

@MISC {mathstackexchange:sn,
    TITLE = {Why is $S_5$ generated by any combination of a transposition and a 5-cycle?},
    AUTHOR = {Alexander Gruber},
    HOWPUBLISHED = {Mathematics Stack Exchange},
    NOTE = {URL:http://math.stackexchange.com/q/357673 (version: 2013-05-11)},
    EPRINT = {http://math.stackexchange.com/q/357673},
    URL = {http://math.stackexchange.com/q/357673}
}

 @misc{ wiki:cyclicpermutation,
   author = "Wikipedia",
   title = "Cyclic permutation --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Cyclic_permutation&oldid=755419947",
   note = "[Online; accessed 6-March-2017]"
 }

 @misc{ wiki:cyclicmodule,
   author = "Wikipedia",
   title = "Cyclic module --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Cyclic_module&oldid=752351296",
   note = "[Online; accessed 13-March-2017]"
 }

 @misc{ groupwiki:generalaffinegroup,
   author = "Groupwiki",
   title = {"General affine group: $GA(1,5)$"},
   year = "2017",
   url = "https://groupprops.subwiki.org/w/index.php?title=General_affine_group:GA(1,5)&oldid=45747",
   note = "[Online; accessed 15-March-2017]"
 }

 @misc{ groupwiki:s5structure,
   author = "Groupwiki",
   title = {"Subgroup structure of symmetric group:$S_5$"},
   year = "2017",
   url = "https://groupprops.subwiki.org/w/index.php?title=Subgroup_structure_of_symmetric_group:S5&oldid=49180",
   note = "[Online; accessed 15-March-2017]"
 }

@book{bib:lang,
  author    = {Serge Lang},
  title     = {Algebra},
  publisher = {Springer Science and Business Media},
  edition   = {3},
  year      = {2002},
  isbn      = {978-1-4613-0041-0},
  series    = {Graduate Texts in Mathematics},
  url       = "https://books.google.ru/books?id=eOUlBQAAQBAJ"
}

@misc{ wiki:primeideal,
   author = "Wikipedia",
   title = "Prime ideal --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Prime_ideal&oldid=763442154",
   note = "[Online; accessed 29-March-2017]"
 }

@MISC {mathstackexchange:cyclicmodule,
    TITLE = {Isomorphism and cyclic modules},
    AUTHOR = {Kyle Miller},
    HOWPUBLISHED = {Mathematics Stack Exchange},
    NOTE = {URL:http://math.stackexchange.com/q/1003598 (version: 2014-11-03)},
    EPRINT = {http://math.stackexchange.com/q/1003598},
    URL = {http://math.stackexchange.com/q/1003598}
}

 @misc{ wiki:dualbasis,
   author = "Wikipedia",
   title = "Dual basis --- Wikipedia{,} The Free Encyclopedia",
   year = "2016",
   url = "https://en.wikipedia.org/w/index.php?title=Dual_basis&oldid=748729591",
   note = "[Online; accessed 1-April-2017]"
 }

 @misc{ wiki:adjugatematrix,
   author = "Wikipedia",
   title = "Adjugate matrix --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Adjugate_matrix&oldid=765833302",
   note = "[Online; accessed 3-April-2017]"
 }

@MISC {mathstackexchange:tensorproduct,
    TITLE = {Tensor product of Galois extension and algebraic closure},
    AUTHOR = {Starfall (http://math.stackexchange.com/users/326053/starfall)},
    HOWPUBLISHED = {Mathematics Stack Exchange},
    NOTE = {URL:http://math.stackexchange.com/q/2217402 (version: 2017-04-04)},
    EPRINT = {http://math.stackexchange.com/q/2217402},
    URL = {http://math.stackexchange.com/q/2217402}
}

 @misc{ wiki:disjointunion,
   author = "Wikipedia",
   title = "Disjoint union --- Wikipedia{,} The Free Encyclopedia",
   year = "2017",
   url = "https://en.wikipedia.org/w/index.php?title=Disjoint_union&oldid=774047863",
   note = "[Online; accessed 13-April-2017]"
 }

@MISC {mathstackexchange:cyclicgroupssubgroup,
    TITLE = {Subgroups of a cyclic group and their order.},
    AUTHOR = {user58289},
    HOWPUBLISHED = {Mathematics Stack Exchange},
    NOTE = {URL:https://math.stackexchange.com/q/410389 (version: 2013-07-27)},
    EPRINT = {https://math.stackexchange.com/q/410389},
    URL = {https://math.stackexchange.com/q/410389}
}

@MISC {url:gap,
    TITLE = {GAP - Groups, Algorithms, Programming -
a System for Computational Discrete Algebra},
    URL = {https://www.gap-system.org/}
}

@article{bib:gap,
  title = {GAP - Reference Manual},
  url = {https://www.gap-system.org/Manuals/doc/ref/chap0.html}
}

@misc{ proofwiki:fieldhomomorphism,
   author = "ProofWiki",
   title = "Definition: Field Homomorphism",
   year = "2017",
   url = "https://proofwiki.org/w/index.php?title=Definition:Field_Homomorphism&oldid=283682",
   note = "[Online; accessed 18-June-2017]"
 }

@book{bib:baker,
  author    = {Andrew Baker},
  title     = {An introduction to Galois theory},
  year      = {2013},
  url       = "http://www.maths.gla.ac.uk/~ajb"
}

repository: ivanmurashko/courseragalois

repo_name: ivanmurashko/courseragalois

gha_language: TeX


text:
require recipes-core/images/rpi-test-image.bb

MACHINE = "raspberrypi0-wifi"

ENABLE_UART = "1"
EXTRA_IMAGE_FEATURES = "debug-tweaks ssh-server-openssh"

IMAGE_INSTALL_append += " mrobot"

repository: amnonpaz/meta-mrobot

repo_name: amnonpaz/meta-mrobot


text:
@software{cplex_129,
  author = {{IBM Corp.}},
  title = {CPLEX},
  note = {\url{https://www.ibm.com/products/ilog-cplex-optimization-studio}},
  version = {12.9},
  date = {2019-09-30},
}

@misc{gurobi,
  author = "Gurobi Optimization, LLC",
  title = "Gurobi Optimizer Reference Manual",
  year = 2019,
  url = "http://www.gurobi.com"
}

@article{furini:2016,
	title = {Modeling {Two}-{Dimensional} {Guillotine} {Cutting} {Problems} via {Integer} {Programming}},
	volume = {28},
	issn = {1091-9856},
	url = {https://pubsonline.informs.org/doi/abs/10.1287/ijoc.2016.0710},
	doi = {10.1287/ijoc.2016.0710},
	number = {4},
	urldate = {2019-02-28},
	journal = {INFORMS Journal on Computing},
	author = {Furini, Fabio and Malaguti, Enrico and Thomopulos, Dimitri},
	month = oct,
	year = {2016},
	pages = {736--751}
}

@article{nicos:1977,
	title = {An {Algorithm} for {Two}-{Dimensional} {Cutting} {Problems}},
	volume = {25},
	issn = {0030-364X},
	url = {https://pubsonline.informs.org/doi/abs/10.1287/opre.25.1.30},
	doi = {10.1287/opre.25.1.30},
	number = {1},
	urldate = {2019-06-22},
	journal = {Operations Research},
	author = {Christofides, Nicos and Whitlock, Charles},
	month = feb,
	year = {1977},
	pages = {30--44}
}

@article{velasco:2019,
	title = {Improved state space relaxation for constrained two-dimensional guillotine cutting problems},
	volume = {272},
	issn = {0377-2217},
	url = {http://www.sciencedirect.com/science/article/pii/S0377221718305393},
	doi = {10.1016/j.ejor.2018.06.016},
	number = {1},
	urldate = {2019-03-01},
	journal = {European Journal of Operational Research},
	author = {Velasco, André Soares and Uchoa, Eduardo},
	month = jan,
	year = {2019},
	keywords = {Cutting, Dynamic programming, Integer programming},
	pages = {106--120}
}

@article{messaoud:2018,
	title = {Characterization and modelling of guillotine constraints},
	volume = {191},
	issn = {0377-2217},
	url = {http://www.sciencedirect.com/science/article/pii/S0377221707009083},
	doi = {10.1016/j.ejor.2007.08.029},
	number = {1},
	urldate = {2019-03-26},
	journal = {European Journal of Operational Research},
	author = {Ben Messaoud, Said and Chu, Chengbin and Espinouse, Marie-Laure},
	month = nov,
	year = {2008},
	keywords = {Cutting stock, Guillotine pattern, Mixed integer programming},
	pages = {112--126}
}

@article{martin:2020,
	author = {Martin, Mateus and Birgin, Ernesto G. and Lobato, Rafael D. and Morabito, Reinaldo and Munari, Pedro},
	title = {Models for the two-dimensional rectangular single large placement problem with guillotine cuts and constrained pattern},
	journal = {International Transactions in Operational Research},

	volume = {27},
	number = {2},
	pages = {767-793},
	keywords = {cutting and packing problems, constrained two-dimensional guillotine cuts, integer programming models, branch-and-Benders-cut algorithm},
	doi = {10.1111/itor.12703},
	url = {https://onlinelibrary.wiley.com/doi/abs/10.1111/itor.12703},
	eprint = {https://onlinelibrary.wiley.com/doi/pdf/10.1111/itor.12703},
	year = {2020}
}

@phdthesis{dimitri_thesis,
  year = {2016},
  month = may,
  title = {Models and Solutions of Resource Allocation Problems based on Integer Linear and Nonlinear Programming},
  author = {Dimitri Thomopulos},
  school = {University of Bologna},
  url = {http://amsdottorato.unibo.it/7399/}
}

@article{JuMP,
  title={JuMP: A modeling language for mathematical optimization},
  author={Dunning, Iain and Huchette, Joey and Lubin, Miles},
  journal={SIAM Review},
  volume={59},
  number={2},
  pages={295--320},
  year={2017},
  publisher={SIAM}
}

@article{julia,
  author = {Bezanson, Jeff. and Edelman, Alan. and Karpinski, Stefan. and Shah, Viral B.},
  title = {Julia: A Fresh Approach to Numerical Computing},
  journal = {SIAM Review},
  volume = {59},
  number = {1},
  pages = {65-98},
  year = {2017},
  doi = {10.1137/141000671},
  URL = {https://doi.org/10.1137/141000671},
  eprint = {https://doi.org/10.1137/141000671}
}

license: Unlicense


text:
function(bison_target_or_gen grammar)
    get_filename_component(directory "${grammar}" DIRECTORY)
    get_filename_component(filename "${grammar}" NAME_WE)
    get_filename_component(extension "${grammar}" EXT)
    set(gen_path "${CMAKE_CURRENT_SOURCE_DIR}/gen/${directory}/${filename}")
    set(bin_path "${CMAKE_CURRENT_BINARY_DIR}/${directory}/${filename}")
    file(MAKE_DIRECTORY "${bin_path}")
    if(BISON_FOUND)
        bison_target("${filename}" "${CMAKE_CURRENT_SOURCE_DIR}/${grammar}" "${bin_path}/grammar.cc")
        if(MSVC)
            set_source_files_properties("${BISON_${filename}_OUTPUT_SOURCE}"
                PROPERTIES COMPILE_FLAGS "/wd4267 /wd4065")
        endif()
        set("BISON_${filename}_OUTPUT_SOURCE" "${BISON_${filename}_OUTPUT_SOURCE}" PARENT_SCOPE)
        set("BISON_${filename}_OUTPUTS" ${BISON_${filename}_OUTPUTS} PARENT_SCOPE)
    elseif (EXISTS "${gen_path}")
        file(COPY "${gen_path}/" DESTINATION "${bin_path}" FILES_MATCHING PATTERN "*.*")
        set("BISON_${filename}_OUTPUT_SOURCE" "${bin_path}/grammar.cc" PARENT_SCOPE)
        set("BISON_${filename}_OUTPUTS" "${bin_path}/grammar.cc" "${bin_path}/grammar.hh" PARENT_SCOPE)
    else()
        message(FATAL_ERROR "bison parser generator required but not found")
    endif()
endfunction()

function(re2c_target_or_gen grammar)
    get_filename_component(directory "${grammar}" DIRECTORY)
    get_filename_component(filename "${grammar}" NAME_WE)
    get_filename_component(extension "${grammar}" EXT)
    set(bin_path "${CMAKE_CURRENT_BINARY_DIR}/${directory}")
    set(gen_path "${CMAKE_CURRENT_SOURCE_DIR}/gen/${directory}")
    file(MAKE_DIRECTORY "${bin_path}")
    if(RE2C_FOUND)
        if (extension STREQUAL ".xch")
            re2c_target(NAME ${filename} INPUT "${CMAKE_CURRENT_SOURCE_DIR}/${grammar}" OUTPUT "${bin_path}/${filename}.hh" OPTIONS -c)
        else()
            re2c_target(NAME ${filename} INPUT "${CMAKE_CURRENT_SOURCE_DIR}/${grammar}" OUTPUT "${bin_path}/${filename}.hh")
        endif()
        set("RE2C_${filename}_OUTPUT" ${RE2C_${filename}_OUTPUT} PARENT_SCOPE)
    elseif (EXISTS "${gen_path}/${filename}.hh")
        file(COPY "${gen_path}/${filename}.hh" DESTINATION "${bin_path}")
        set("RE2C_${filename}_OUTPUT" "${bin_path}/${filename}.hh" PARENT_SCOPE)
    else()
        message(FATAL_ERROR "re2c lexer generator required but not found")
    endif()
endfunction()

repository: CaptainUnbrauchbar/clingo

repo_name: CaptainUnbrauchbar/clingo

extension: cmake


text:
@online{kitData,
  author = {Karlsruhe Institute of Technology},
  title = {Data and Facts},
  year = 2018,
  url = {https://www.kit.edu/kit/english/data.php},
  urldate = {2018-04-28}
}

@online{kitOrganization,
  author = {Karlsruhe Institute of Technology},
  title = {Tasks and Structure},
  year = 2018,
  url = {http://www.kit.edu/kit/english/organization.php},
  urldate = {2018-04-28}
}

@inproceedings{Venkataramani15_DAC,
 author = {Venkataramani, Swagath and Chakradhar, Srimat T. and Roy, Kaushik
 and Raghunathan, Anand},
 title = {Approximate Computing and the Quest for Computing Efficiency},
 booktitle = {Proceedings of the 52Nd Annual Design Automation Conference},
 series = {DAC '15},
 year = {2015},
 isbn = {978-1-4503-3520-1},
 location = {San Francisco, California},
 pages = {120:1--120:6},
 articleno = {120},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/2744769.2751163},
 doi = {10.1145/2744769.2751163},
 acmid = {2751163},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{xu2018approximate,
  title={Approximate computing: A survey},
  author={Xu, Qiang and Mytkowicz, Todd and Kim, Nam Sung},
  journal={IEEE Design \& Test},
  year={2018},
  publisher={IEEE}
}

@article{henkel2003closing,
  title={Closing the SoC design gap},
  author={Henkel, J{\"o}rg},
  journal={Computer},
  volume={36},
  number={9},
  pages={119--121},
  year={2003},
  publisher={IEEE}
}

@article{henkel2006design,
  title={Design and Architectures for Embedded Systems (ESII)},
  author={Henkel, J{\"o}rg},
  year={2006},
  publisher={University of Karlsruhe}
}