text:
@article{DBLP:journals/iet-com/PeppasEAAA15,
  author    = {Kostas P. Peppas and
               George P. Efthymoglou and
               Valentine A. Aalo and
               Mohammed Alwakeel and
               S. Alwakeel},
  title     = {Energy detection of unknown signals in Gamma-shadowed Rician fading
               environments with diversity reception},
  journal   = {{IET} Communications},
  volume    = {9},
  number    = {2},
  pages     = {196--210},
  year      = {2015},
  url       = {http://dx.doi.org/10.1049/iet-com.2014.0170},
  doi       = {10.1049/iet-com.2014.0170},
  timestamp = {Sat, 21 Mar 2015 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iet-com/PeppasEAAA15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/taes/AaloPE15,
  author    = {Valentine A. Aalo and
               Kostas P. Peppas and
               George P. Efthymoglou},
  title     = {Performance of {CA-CFAR} detectors in nonhomogeneous positive alpha-stable
               clutter},
  journal   = {{IEEE} Trans. Aerospace and Electronic Systems},
  volume    = {51},
  number    = {3},
  pages     = {2027--2038},
  year      = {2015},
  url       = {http://dx.doi.org/10.1109/TAES.2015.140043},
  doi       = {10.1109/TAES.2015.140043},
  timestamp = {Wed, 07 Oct 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/taes/AaloPE15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/corr/PeppasM15,
  author    = {Kostas P. Peppas and
               P. Takis Mathiopoulos},
  title     = {Free Space Optical Communication with Spatial Modulation and Coherent
               Detection over {H-K} Atmospheric Turbulence Channels},
  journal   = {CoRR},
  volume    = {abs/1503.02831},
  year      = {2015},
  url       = {http://arxiv.org/abs/1503.02831},
  timestamp = {Thu, 09 Apr 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/PeppasM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/tvt/AaloPEAA14,
  author    = {Valentine A. Aalo and
               Kostas P. Peppas and
               George P. Efthymoglou and
               Mohammed M. Al{-}Wakeel and
               Sami S. Alwakeel},
  title     = {Serial Amplify-and-Forward Relay Transmission Systems in Nakagami-
               {\textdollar}m{\textdollar} Fading Channels With a Poisson Interference
               Field},
  journal   = {{IEEE} T. Vehicular Technology},
  volume    = {63},
  number    = {5},
  pages     = {2183--2196},
  year      = {2014},
  url       = {http://dx.doi.org/10.1109/TVT.2013.2291039},
  doi       = {10.1109/TVT.2013.2291039},
  timestamp = {Fri, 20 Jun 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tvt/AaloPEAA14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/wcl/PeppasZLC14,
  author    = {Kostas P. Peppas and
               Martin Zamkotsian and
               Fotis I. Lazarakis and
               Panayotis G. Cottis},
  title     = {Asymptotic Error Performance Analysis of Spatial Modulation Under
               Generalized Fading},
  journal   = {{IEEE} Wireless Commun. Letters},
  volume    = {3},
  number    = {4},
  pages     = {421--424},
  year      = {2014},
  url       = {http://dx.doi.org/10.1109/LWC.2014.2326152},
  doi       = {10.1109/LWC.2014.2326152},
  timestamp = {Thu, 11 Sep 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/wcl/PeppasZLC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/wcnc/ZamkotsianPLC14,
  author    = {Martin Zamkotsian and
               Kostas P. Peppas and
               Fotis I. Lazarakis and
               Panayotis G. Cottis},
  title     = {Improving spectral efficiency in broadcasting employing hierarchical
               {QAM}},
  booktitle = {{IEEE} Wireless Communications and Networking Conference, {WCNC} 2014,
               Istanbul, Turkey, April 6-9, 2014},
  pages     = {588--593},
  year      = {2014},
  crossref  = {DBLP:conf/wcnc/2014},
  url       = {http://dx.doi.org/10.1109/WCNC.2014.6952114},
  doi       = {10.1109/WCNC.2014.6952114},
  timestamp = {Tue, 02 Dec 2014 18:43:09 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/wcnc/ZamkotsianPLC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/icl/ZamkotsianPLC13,
  author    = {Martin Zamkotsian and
               Kostas Peppas and
               Fotis I. Lazarakis and
               Panayotis G. Cottis},
  title     = {Layered Offset Hierarchical {QAM} Modulation for Intersymbol Interference
               Reduction},
  journal   = {{IEEE} Communications Letters},
  volume    = {17},
  number    = {11},
  pages     = {2176--2179},
  year      = {2013},
  url       = {http://dx.doi.org/10.1109/LCOMM.2013.091213.131697},
  doi       = {10.1109/LCOMM.2013.091213.131697},
  timestamp = {Thu, 23 Jan 2014 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/icl/ZamkotsianPLC13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/icl/ZamkotsianPLC13a,
  author    = {Martin Zamkotsian and
               Kostas P. Peppas and
               Fotis I. Lazarakis and
               Panayotis G. Cottis},
  title     = {Hierarchical Multilevel Space-Shift Keying for Unequal Error Protection
               under Rician Fading},
  journal   = {{IEEE} Communications Letters},
  volume    = {17},
  number    = {12},
  pages     = {2217--2220},
  year      = {2013},
  url       = {http://dx.doi.org/10.1109/LCOMM.2013.101813.131574},
  doi       = {10.1109/LCOMM.2013.101813.131574},
  timestamp = {Mon, 11 Aug 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/icl/ZamkotsianPLC13a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/tvt/Peppas13,
  author    = {Kostas P. Peppas},
  title     = {Dual-Hop Relaying Communications with Cochannel Interference Over
               {\textdollar}{\textbackslash}eta{\textdollar}-{\textdollar}{\textbackslash}mu{\textdollar}
               Fading Channels},
  journal   = {{IEEE} T. Vehicular Technology},
  volume    = {62},
  number    = {8},
  pages     = {4110--4116},
  year      = {2013},
  url       = {http://dx.doi.org/10.1109/TVT.2013.2258415},
  doi       = {10.1109/TVT.2013.2258415},
  timestamp = {Tue, 22 Oct 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tvt/Peppas13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/wcl/PeppasZLC13,
  author    = {Kostas P. Peppas and
               Martin Zamkotsian and
               Fotis I. Lazarakis and
               Panayotis G. Cottis},
  title     = {Unified Error Performance Analysis of Space Shift Keying Modulation
               for {MISO} and {MIMO} Systems Under Generalized Fading},
  journal   = {{IEEE} Wireless Commun. Letters},
  volume    = {2},
  number    = {6},
  pages     = {663--666},
  year      = {2013},
  url       = {http://dx.doi.org/10.1109/WCL.2013.091213.130404},
  doi       = {10.1109/WCL.2013.091213.130404},
  timestamp = {Mon, 14 Jul 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/wcl/PeppasZLC13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/isspit/AaloPEAA13,
  author    = {Valentine A. Aalo and
               Kostas P. Peppas and
               George P. Efthymoglou and
               Mohammed Alwakeel and
               Sami S. Alwakeel},
  title     = {Performance of {CA-CFAR} receivers in alpha-stable clutter},
  booktitle = {{IEEE} International Symposium on Signal Processing and Information
               Technology, Athens, Greece, December 12-15, 2013},
  pages     = {130--134},
  year      = {2013},
  crossref  = {DBLP:conf/isspit/2013},
  url       = {http://dx.doi.org/10.1109/ISSPIT.2013.6781867},
  doi       = {10.1109/ISSPIT.2013.6781867},
  timestamp = {Tue, 08 Apr 2014 13:12:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isspit/AaloPEAA13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/isspit/ZamkotsianPFLADC13,
  author    = {Martin Zamkotsian and
               Kostas P. Peppas and
               George Fovakis and
               Fotis I. Lazarakis and
               Antonis A. Alexandridis and
               Kostas Dangakis and
               Panayotis G. Cottis},
  title     = {Wireless SPIHT-encoded image transmission employing hierarchical modulation:
               {A} {DSP} implementation},
  booktitle = {{IEEE} International Symposium on Signal Processing and Information
               Technology, Athens, Greece, December 12-15, 2013},
  pages     = {490--495},
  year      = {2013},
  crossref  = {DBLP:conf/isspit/2013},
  url       = {http://dx.doi.org/10.1109/ISSPIT.2013.6781929},
  doi       = {10.1109/ISSPIT.2013.6781929},
  timestamp = {Tue, 08 Apr 2014 13:12:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isspit/ZamkotsianPFLADC13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/pimrc/PeppasEAAA13,
  author    = {Kostas P. Peppas and
               George P. Efthymoglou and
               Valentine A. Aalo and
               Mohammed Alwakeel and
               Sami S. Alwakeel},
  title     = {On the performance analysis of energy detection of unknown signals
               in Gamma shadowed Ricean fading environments},
  booktitle = {24th {IEEE} Annual International Symposium on Personal, Indoor, and
               Mobile Radio Communications, {PIMRC} 2013, London, United Kingdom,
               September 8-11, 2013},
  pages     = {756--760},
  year      = {2013},
  crossref  = {DBLP:conf/pimrc/2013},
  url       = {http://dx.doi.org/10.1109/PIMRC.2013.6666237},
  doi       = {10.1109/PIMRC.2013.6666237},
  timestamp = {Wed, 27 Nov 2013 14:58:06 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pimrc/PeppasEAAA13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/vtc/AaloPEAA13,
  author    = {Valentine A. Aalo and
               Kostas P. Peppas and
               George P. Efthymoglou and
               Mohammed Alwakeel and
               Sami S. Alwakeel},
  title     = {Performance Analysis of Multi-Hop {AF} Relaying Systems with a Poisson
               Field of Interferers in Nakagami-m Fading Channels},
  booktitle = {Proceedings of the 78th {IEEE} Vehicular Technology Conference, {VTC}
               Fall 2013, Las Vegas, NV, USA, September 2-5, 2013},
  pages     = {1--5},
  year      = {2013},
  crossref  = {DBLP:conf/vtc/2013f},
  url       = {http://dx.doi.org/10.1109/VTCFall.2013.6692350},
  doi       = {10.1109/VTCFall.2013.6692350},
  timestamp = {Wed, 19 Mar 2014 14:12:25 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/vtc/AaloPEAA13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/iet-com/PeppasLAD12,
  author    = {K. P. Peppas and
               Fotis I. Lazarakis and
               Antonis Alexandridis and
               Kostas Dangakis},
  title     = {Moments-based analysis of dual-hop amplify-and-forward relaying communications
               systems over generalised fading channels},
  journal   = {{IET} Communications},
  volume    = {6},
  number    = {13},
  pages     = {2040--2047},
  year      = {2012},
  url       = {http://dx.doi.org/10.1049/iet-com.2011.0231},
  doi       = {10.1049/iet-com.2011.0231},
  timestamp = {Mon, 01 Jul 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iet-com/PeppasLAD12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/tvt/Peppas12,
  author    = {Kostas Peppas},
  title     = {Sum of Nonidentical Squared {\(\kappa\)}-{\(\mu\)} Variates and Applications
               in the Performance Analysis of Diversity Receivers},
  journal   = {{IEEE} T. Vehicular Technology},
  volume    = {61},
  number    = {1},
  pages     = {413--419},
  year      = {2012},
  url       = {http://dx.doi.org/10.1109/TVT.2011.2172963},
  doi       = {10.1109/TVT.2011.2172963},
  timestamp = {Thu, 17 Jan 2013 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tvt/Peppas12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/wcl/Peppas12,
  author    = {Kostas P. Peppas},
  title     = {A New Formula for the Average Bit Error Probability of Dual-Hop Amplify-and-Forward
               Relaying Systems over Generalized Shadowed Fading Channels},
  journal   = {{IEEE} Wireless Commun. Letters},
  volume    = {1},
  number    = {2},
  pages     = {85--88},
  year      = {2012},
  url       = {http://dx.doi.org/10.1109/WCL.2012.012712.110092},
  doi       = {10.1109/WCL.2012.012712.110092},
  timestamp = {Mon, 14 Jul 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/wcl/Peppas12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/wicomm/DatsikasPST12,
  author    = {Christos Datsikas and
               Kostas Peppas and
               Nikos C. Sagias and
               George S. Tombras},
  title     = {Serial relaying communications over generalized-gamma fading channels},
  journal   = {Wireless Communications and Mobile Computing},
  volume    = {12},
  number    = {13},
  pages     = {1191--1202},
  year      = {2012},
  url       = {http://dx.doi.org/10.1002/wcm.1047},
  doi       = {10.1002/wcm.1047},
  timestamp = {Mon, 22 Oct 2012 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/wicomm/DatsikasPST12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/comsur/PeppasLSAD11,
  author    = {Kostas Peppas and
               Fotis I. Lazarakis and
               Charalambos Skianis and
               Antonis Alexandridis and
               Kostas Dangakis},
  title     = {Impact of {MIMO} Techniques on the Interoperability between {UMTS-HSDPA}
               and {WLAN} Wireless Systems},
  journal   = {{IEEE} Communications Surveys and Tutorials},
  volume    = {13},
  number    = {4},
  pages     = {708--720},
  year      = {2011},
  url       = {http://doi.ieeecomputersociety.org/10.1109/SURV.2011.082010.00087},
  doi       = {10.1109/SURV.2011.082010.00087},
  timestamp = {Mon, 01 Jul 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/comsur/PeppasLSAD11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/ieicet/PeppasD11,
  author    = {Kostas Peppas and
               Christos Datsikas},
  title     = {Outage Analysis of Dual-Hop Relaying Communications with Co-channel
               Interference over Nakagami-\emph{m} Fading Channels},
  journal   = {{IEICE} Transactions},
  volume    = {94-B},
  number    = {8},
  pages     = {2414--2418},
  year      = {2011},
  url       = {http://search.ieice.org/bin/summary.php?id=e94-b_8_2414},
  timestamp = {Mon, 17 Oct 2011 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ieicet/PeppasD11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/iet-com/Peppas11,
  author    = {Kostas P. Peppas},
  title     = {Accurate closed-form approximations to generalised-K sum distributions
               and applications in the performance analysis of equal-gain combining
               receivers},
  journal   = {{IET} Communications},
  volume    = {5},
  number    = {7},
  pages     = {982--989},
  year      = {2011},
  url       = {http://dx.doi.org/10.1049/iet-com.2010.0224},
  doi       = {10.1049/iet-com.2010.0224},
  timestamp = {Fri, 18 Oct 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iet-com/Peppas11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/iet-com/PeppasDST11,
  author    = {Kostas Peppas and
               Christos Datsikas and
               Nikos C. Sagias and
               George S. Tombras},
  title     = {Dual-hop multi-input multi-output relay systems over spatially correlated
               Nakagami-m fading channels},
  journal   = {{IET} Communications},
  volume    = {5},
  number    = {15},
  pages     = {2106--2115},
  year      = {2011},
  url       = {http://dx.doi.org/10.1049/iet-com.2010.0305},
  doi       = {10.1049/iet-com.2010.0305},
  timestamp = {Fri, 18 Oct 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iet-com/PeppasDST11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/iet-com/PeppasLAD10,
  author    = {Kostas Peppas and
               Fotis I. Lazarakis and
               Antonis Alexandridis and
               Kostas Dangakis},
  title     = {Cascaded generalised-K fading channel},
  journal   = {{IET} Communications},
  volume    = {4},
  number    = {1},
  pages     = {116--124},
  year      = {2010},
  url       = {http://dx.doi.org/10.1049/iet-com.2009.0107},
  doi       = {10.1049/iet-com.2009.0107},
  timestamp = {Thu, 23 Jan 2014 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iet-com/PeppasLAD10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/iet-com/Peppas10,
  author    = {K. P. Peppas},
  title     = {Capacity of {\(\eta\)}-{\(\mu\)} fading channels under different adaptive
               transmission techniques},
  journal   = {{IET} Communications},
  volume    = {4},
  number    = {5},
  pages     = {532--539},
  year      = {2010},
  url       = {http://dx.doi.org/10.1049/iet-com.2009.0409},
  doi       = {10.1049/iet-com.2009.0409},
  timestamp = {Tue, 20 Aug 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iet-com/Peppas10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/twc/PeppasLZAD10,
  author    = {Kostas Peppas and
               Fotis I. Lazarakis and
               Theodore Zervos and
               Antonis Alexandridis and
               Kostas Dangakis},
  title     = {Sum of Non-Identical Independent Squared eta-{\(\mathrm{\mu}\)} Variates
               and Applications in the Performance Analysis of {DS-CDMA} Systems},
  journal   = {{IEEE} Transactions on Wireless Communications},
  volume    = {9},
  number    = {9},
  pages     = {2718--2723},
  year      = {2010},
  url       = {http://dx.doi.org/10.1109/TWC.2010.071410.091839},
  doi       = {10.1109/TWC.2010.071410.091839},
  timestamp = {Mon, 01 Jul 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/twc/PeppasLZAD10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/wpc/PeppasM10,
  author    = {Kostas Peppas and
               Andreas Maras},
  title     = {Erratum to: Performance Evaluation of Space-Time Block Codes Over
               Keyhole Weibull Fading Channels},
  journal   = {Wireless Personal Communications},
  volume    = {54},
  number    = {4},
  pages     = {745},
  year      = {2010},
  url       = {http://dx.doi.org/10.1007/s11277-009-9841-x},
  doi       = {10.1007/s11277-009-9841-x},
  timestamp = {Mon, 08 Apr 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/wpc/PeppasM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/pci/DatsikasPSTT10,
  author    = {Christos Datsikas and
               Kostas P. Peppas and
               Nikos C. Sagias and
               Nikolaos D. Tselikas and
               George S. Tombras},
  title     = {Bit Error and Outage Probability of Serial Relaying Communication
               Systems},
  booktitle = {14th Panhellenic Conference on Informatics, {PCI} 2010, Tripoli, Greece,
               September 10-12, 2010},
  pages     = {85--88},
  year      = {2010},
  crossref  = {DBLP:conf/pci/2010},
  url       = {http://dx.doi.org/10.1109/PCI.2010.18},
  doi       = {10.1109/PCI.2010.18},
  timestamp = {Fri, 28 Nov 2014 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pci/DatsikasPSTT10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/corr/abs-1003-1910,
  author    = {K. P. Peppas and
               A. Mansour and
               George S. Tombras},
  title     = {Dual-hop transmissions with fixed-gain relays over Generalized-Gamma
               fading channels},
  journal   = {CoRR},
  volume    = {abs/1003.1910},
  year      = {2010},
  url       = {http://arxiv.org/abs/1003.1910},
  timestamp = {Mon, 05 Dec 2011 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1003-1910},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/icl/Peppas09,
  author    = {Kostas Peppas},
  title     = {Performance evaluation of triple-branch {GSC} diversity receivers
               over generalized-K fading channels},
  journal   = {{IEEE} Communications Letters},
  volume    = {13},
  number    = {11},
  pages     = {829--831},
  year      = {2009},
  url       = {http://dx.doi.org/10.1109/LCOMM.2009.091197},
  doi       = {10.1109/LCOMM.2009.091197},
  timestamp = {Thu, 02 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/icl/Peppas09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/tcom/PeppasS09,
  author    = {Kostas Peppas and
               Nikos C. Sagias},
  title     = {A trivariate nakagami-m distribution with arbitrary covariance matrix
               and applications to generalized-selection diversity receivers},
  journal   = {{IEEE} Transactions on Communications},
  volume    = {57},
  number    = {7},
  pages     = {1896--1902},
  year      = {2009},
  url       = {http://dx.doi.org/10.1109/TCOMM.2009.07.070071},
  doi       = {10.1109/TCOMM.2009.07.070071},
  timestamp = {Wed, 17 Nov 2010 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcom/PeppasS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/twc/PeppasLAD09,
  author    = {Kostas Peppas and
               Fotis I. Lazarakis and
               Antonis Alexandridis and
               Kostas Dangakis},
  title     = {Error performance of digital modulation schemes with {MRC} diversity
               reception over eta-{\(\mathrm{\mu}\)} fading channels},
  journal   = {{IEEE} Transactions on Wireless Communications},
  volume    = {8},
  number    = {10},
  pages     = {4974--4980},
  year      = {2009},
  url       = {http://dx.doi.org/10.1109/TWC.2009.081687},
  doi       = {10.1109/TWC.2009.081687},
  timestamp = {Mon, 01 Jul 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/twc/PeppasLAD09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/winet/PeppasLAAA09,
  author    = {Kostas Peppas and
               Fotis I. Lazarakis and
               Dimitrios I. Axiotis and
               Tareq Al{-}Gizawi and
               Antonis Alexandridis},
  title     = {System level performance evaluation of {MIMO} and {SISO} OFDM-based
               WLANs},
  journal   = {Wireless Networks},
  volume    = {15},
  number    = {7},
  pages     = {859--873},
  year      = {2009},
  url       = {http://dx.doi.org/10.1007/s11276-007-0079-9},
  doi       = {10.1007/s11276-007-0079-9},
  timestamp = {Mon, 01 Jul 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/winet/PeppasLAAA09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/icl/SagiasP08,
  author    = {Nikos C. Sagias and
               Kostas Peppas},
  title     = {Correction to "Error Rate Analysis of Threshold-Based Hybrid Selection/Maximal-Ratio
               Combining over Correlated Nakagami-m Fading Channels"},
  journal   = {{IEEE} Communications Letters},
  volume    = {12},
  number    = {6},
  pages     = {407},
  year      = {2008},
  url       = {http://dx.doi.org/10.1109/LCOMM.2008.080202},
  doi       = {10.1109/LCOMM.2008.080202},
  timestamp = {Fri, 03 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/icl/SagiasP08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/wpc/PeppasM08,
  author    = {Kostas Peppas and
               Andreas Maras},
  title     = {Performance Evaluation of Space-Time Block Codes Over Keyhole Weibull
               Fading Channels},
  journal   = {Wireless Personal Communications},
  volume    = {46},
  number    = {4},
  pages     = {385--395},
  year      = {2008},
  url       = {http://dx.doi.org/10.1007/s11277-007-9441-6},
  doi       = {10.1007/s11277-007-9441-6},
  timestamp = {Tue, 09 Apr 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/wpc/PeppasM08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/icl/SagiasP07,
  author    = {Nikos C. Sagias and
               Kostas Peppas},
  title     = {Error rate analysis of threshold-based hybrid selection/maximal-ratio
               diversity over correlated nakagami-m fading channels},
  journal   = {{IEEE} Communications Letters},
  volume    = {11},
  number    = {12},
  pages     = {922--924},
  year      = {2007},
  url       = {http://dx.doi.org/10.1109/LCOMM.2007.071432},
  doi       = {10.1109/LCOMM.2007.071432},
  timestamp = {Fri, 10 Feb 2012 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/icl/SagiasP07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/pimrc/MichalopoulouZPALDK07,
  author    = {Asimina Michalopoulou and
               Theodore Zervos and
               Kostas Peppas and
               Antonis Alexandridis and
               Fotis I. Lazarakis and
               Kostas Dangakis and
               Dimitra I. Kaklamani},
  title     = {The Impact of the Position of {MIMO} Terminal User's Hand on Channel
               Capacity},
  booktitle = {Proceedings of the {IEEE} 18th International Symposium on Personal,
               Indoor and Mobile Radio Communications, {PIMRC} 2007, 3-7 September
               2007, Athens, Greece},
  pages     = {1--5},
  year      = {2007},
  crossref  = {DBLP:conf/pimrc/2007},
  url       = {http://dx.doi.org/10.1109/PIMRC.2007.4394332},
  doi       = {10.1109/PIMRC.2007.4394332},
  timestamp = {Wed, 23 Sep 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pimrc/MichalopoulouZPALDK07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/globecom/PeppasLADA06,
  author    = {Kostas Peppas and
               Fotis I. Lazarakis and
               Antonis Alexandridis and
               Kostas Dangakis and
               Dimitrios I. Axiotis},
  title     = {An Interoperability Mechanism for Seamless Interworking between {WLAN}
               and {UMTS-HSDPA} Networks},
  booktitle = {Proceedings of the Global Telecommunications Conference, 2006. {GLOBECOM}
               '06, San Francisco, CA, USA, 27 November - 1 December 2006},
  year      = {2006},
  crossref  = {DBLP:conf/globecom/2006},
  url       = {http://dx.doi.org/10.1109/GLOCOM.2006.258},
  doi       = {10.1109/GLOCOM.2006.258},
  timestamp = {Mon, 01 Jul 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/globecom/PeppasLADA06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/ejasp/PeppasALAA05,
  author    = {Kostas Peppas and
               Angeliki Alexiou and
               Fotis I. Lazarakis and
               Tareq Al{-}Gizawi and
               Dimitrios I. Axiotis},
  title     = {Performance Evaluation at the System Level of Reconfigurable Space-Time
               Coding Techniques for {HSDPA}},
  journal   = {{EURASIP} J. Adv. Sig. Proc.},
  volume    = {2005},
  number    = {11},
  pages     = {1656--1667},
  year      = {2005},
  url       = {http://dx.doi.org/10.1155/ASP.2005.1656},
  doi       = {10.1155/ASP.2005.1656},
  timestamp = {Wed, 02 Mar 2011 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ejasp/PeppasALAA05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/network/Al-GizawiPAPL05,
  author    = {Tareq Al{-}Gizawi and
               Kostas Peppas and
               Dimitrios I. Axiotis and
               Emmanuel N. Protonotarios and
               Fotis I. Lazarakis},
  title     = {Interoperability criteria, mechanisms, and evaluation of system performance
               for transparently interoperating {WLAN} and {UMTS-HSDPA} networks},
  journal   = {{IEEE} Network},
  volume    = {19},
  number    = {4},
  pages     = {66--72},
  year      = {2005},
  url       = {http://dx.doi.org/10.1109/MNET.2005.1470685},
  doi       = {10.1109/MNET.2005.1470685},
  timestamp = {Fri, 17 Apr 2009 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/network/Al-GizawiPAPL05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/wc/AxiotisAPPLPP04,
  author    = {Dimitrios I. Axiotis and
               Tareq Al{-}Gizawi and
               Kostas Peppas and
               Emmanuel N. Protonotarios and
               Fotis I. Lazarakis and
               Constantinos B. Papadias and
               Panos Philippopoulos},
  title     = {Services in interworking 3G and {WLAN} environments},
  journal   = {{IEEE} Wireless Commun.},
  volume    = {11},
  number    = {5},
  pages     = {14--20},
  year      = {2004},
  url       = {http://dx.doi.org/10.1109/MWC.2004.1351677},
  doi       = {10.1109/MWC.2004.1351677},
  timestamp = {Fri, 23 Aug 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/wc/AxiotisAPPLPP04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/wpc/Al-GizawiPLPG04,
  author    = {Tareq Al{-}Gizawi and
               Kostas Peppas and
               Fotis I. Lazarakis and
               R{\'{e}}my Pintenet and
               Jeremy Gosteau},
  title     = {Evaluation of Interoperability Criteria and Mechanisms for Seamless
               Inter-Working Between {UMTS-HSDPA} and {WLAN} Networks Enhanced with
               {MIMO} Techniques},
  journal   = {Wireless Personal Communications},
  volume    = {30},
  number    = {2-4},
  pages     = {119--129},
  year      = {2004},
  url       = {http://dx.doi.org/10.1023/B:WIRE.0000049394.95228.5b},
  doi       = {10.1023/B:WIRE.0000049394.95228.5b},
  timestamp = {Thu, 11 Apr 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/wpc/Al-GizawiPLPG04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/globecom/PeppasALAMA04,
  author    = {Kostas Peppas and
               Tareq Al{-}Gizawi and
               Fotis I. Lazarakis and
               Dimitrios I. Axiotis and
               A. Moussa and
               Angeliki Alexiou},
  title     = {System level evaluation of reconfigurable {MIMO} techniques enhancements
               for {HSDPA}},
  booktitle = {Proceedings of the Global Telecommunications Conference, 2004. {GLOBECOM}
               '04, Dallas, Texas, USA, 29 November - 3 December 2004},
  pages     = {2869--2873},
  year      = {2004},
  crossref  = {DBLP:conf/globecom/2004},
  url       = {http://dx.doi.org/10.1109/GLOCOM.2004.1378879},
  doi       = {10.1109/GLOCOM.2004.1378879},
  timestamp = {Tue, 11 Dec 2012 15:31:02 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/globecom/PeppasALAMA04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/networking/Al-GizawiPLPG04,
  author    = {Tareq Al{-}Gizawi and
               Kostas Peppas and
               Fotis I. Lazarakis and
               R{\'{e}}my Pintenet and
               Jeremy Gosteau},
  title     = {Interoperability Criteria and Mechanisms for Seamless Inter-working
               between {UMTS-HSDPA} and {HIPERLAN/2} Networks Enhanced with {MIMO}
               Techniques},
  booktitle = {{NETWORKING} 2004, Networking Technologies, Services, and Protocols;
               Performance of Computer and Communication Networks; Mobile and Wireless
               Communication, Third International {IFIP-TC6} Networking Conference,
               Athens, Greece, May 9-14, 2004, Proceedings},
  pages     = {465--475},
  year      = {2004},
  crossref  = {DBLP:conf/networking/2004},
  url       = {http://dx.doi.org/10.1007/978-3-540-24693-0_39},
  doi       = {10.1007/978-3-540-24693-0_39},
  timestamp = {Thu, 11 Apr 2013 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/networking/Al-GizawiPLPG04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/comcom/SarantinopoulosKPDTDT03,
  author    = {C. Sarantinopoulos and
               D. Karagiannis and
               Kostas Peppas and
               Panagiotis Demestichas and
               Evangelia Tzifa and
               Vasiliki Demesticha and
               Michael E. Theologou},
  title     = {Design and control of the interconnecting network of the access segment
               of mobile communications systems},
  journal   = {Computer Communications},
  volume    = {26},
  number    = {6},
  pages     = {489--497},
  year      = {2003},
  url       = {http://dx.doi.org/10.1016/S0140-3664(02)00135-4},
  doi       = {10.1016/S0140-3664(02)00135-4},
  timestamp = {Wed, 21 Nov 2007 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/comcom/SarantinopoulosKPDTDT03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

repository: AlexandrosPlessias/IR-Kmeans-PageRank

repo_name: AlexandrosPlessias/IR-Kmeans-PageRank


text:
SUMMARY = "Font rendering capabilities for complex non-Roman writing systems"
HOMEPAGE = "http://sourceforge.net/projects/silgraphite"
LICENSE = "LGPLv2.1"
LIC_FILES_CHKSUM = "file://COPYING;md5=b0452d508cc4eb104de0226a5b0c8786"

inherit cmake

DEPENDS += "freetype"

SRC_URI = "${SOURCEFORGE_MIRROR}/project/silgraphite/${BPN}/${BPN}-${PV}.tgz"
SRC_URI[md5sum] = "29616d4f9651706036ca25c111508272"
SRC_URI[sha256sum] = "dd63e169b0d3cf954b397c122551ab9343e0696fb2045e1b326db0202d875f06"

EXTRA_OECMAKE += " \
    -DLIB_SUFFIX=${@d.getVar('baselib').replace('lib', '')} \
"

BBCLASSEXTEND = "native"

license: MIT

repository: drewmoseley/meta-office

license_type: permissive

repo_name: drewmoseley/meta-office

branch_name: refs/heads/master

gha_license_id: MIT

extension: bb


text:
@ARTICLE{gaussianproduct,
       author = {{Hogg}, David W. and {Price-Whelan}, Adrian M. and {Leistedt}, Boris},
        title = "{Data Analysis Recipes: Products of multivariate Gaussians in Bayesian inferences}",
      journal = {arXiv e-prints},
     keywords = {Statistics - Computation, Astrophysics - Instrumentation and Methods for Astrophysics, Physics - Data Analysis, Statistics and Probability},
         year = 2020,
        month = may,
          eid = {arXiv:2005.14199},
        pages = {arXiv:2005.14199},
archivePrefix = {arXiv},
       eprint = {2005.14199},
 primaryClass = {stat.CO},
       adsurl = {https://ui.adsabs.harvard.edu/abs/2020arXiv200514199H},
      adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

@article{astropy,
	Adsnote = {Provided by the SAO/NASA Astrophysics Data System},
	Adsurl = {http://adsabs.harvard.edu/abs/2013A%26A...558A..33A},
	Archiveprefix = {arXiv},
	Author = {{Astropy Collaboration} and {Robitaille}, T.~P. and {Tollerud}, E.~J. and {Greenfield}, P. and {Droettboom}, M. and {Bray}, E. and {Aldcroft}, T. and {Davis}, M. and {Ginsburg}, A. and {Price-Whelan}, A.~M. and {Kerzendorf}, W.~E. and {Conley}, A. and {Crighton}, N. and {Barbary}, K. and {Muna}, D. and {Ferguson}, H. and {Grollier}, F. and {Parikh}, M.~M. and {Nair}, P.~H. and {Unther}, H.~M. and {Deil}, C. and {Woillez}, J. and {Conseil}, S. and {Kramer}, R. and {Turner}, J.~E.~H. and {Singer}, L. and {Fox}, R. and {Weaver}, B.~A. and {Zabalza}, V. and {Edwards}, Z.~I. and {Azalee Bostroem}, K. and {Burke}, D.~J. and {Casey}, A.~R. and {Crawford}, S.~M. and {Dencheva}, N. and {Ely}, J. and {Jenness}, T. and {Labrie}, K. and {Lim}, P.~L. and {Pierfederici}, F. and {Pontzen}, A. and {Ptak}, A. and {Refsdal}, B. and {Servillat}, M. and {Streicher}, O.},
	Doi = {10.1051/0004-6361/201322068},
	Eid = {A33},
	Eprint = {1307.6212},
	Journal = {\aap},
	Keywords = {methods: data analysis, methods: miscellaneous, virtual observatory tools},
	Month = oct,
	Pages = {A33},
	Primaryclass = {astro-ph.IM},
	Title = {{Astropy: A community Python package for astronomy}},
	Volume = 558,
	Year = 2013,
	Bdsk-Url-1 = {https://dx.doi.org/10.1051/0004-6361/201322068}}

@article{mpl,
	Adsnote = {Provided by the SAO/NASA Astrophysics Data System},
	Adsurl = {http://adsabs.harvard.edu/abs/2007CSE.....9...90H},
	Author = {{Hunter}, J.~D.},
	Doi = {10.1109/MCSE.2007.55},
	Journal = {Computing in Science and Engineering},
	Keywords = {Python, Scripting languages, Application development, Scientific programming},
	Month = may,
	Pages = {90-95},
	Title = {{Matplotlib: A 2D Graphics Environment}},
	Volume = 9,
	Year = 2007,
	Bdsk-Url-1 = {https://dx.doi.org/10.1109/MCSE.2007.55}}

@article{numpy,
	Acmid = {1957466},
	Address = {Piscataway, NJ, USA},
	Author = {Walt, Stefan van der and Colbert, S. Chris and Varoquaux, Gael},
	Doi = {10.1109/MCSE.2011.37},
	Issn = {1521-9615},
	Issue_Date = {March 2011},
	Journal = {Computing in Science and Engineering},
	Keywords = {NumPy, Python, Python, NumPy, scientific programming, numerical computations, programming libraries, numerical computations, programming libraries, scientific programming},
	Month = mar,
	Number = {2},
	Numpages = {9},
	Pages = {22--30},
	Publisher = {IEEE Educational Activities Department},
	Title = {The NumPy Array: A Structure for Efficient Numerical Computation},
	Url = {http://dx.doi.org/10.1109/MCSE.2011.37},
	Volume = {13},
	Year = {2011},
	Bdsk-Url-1 = {http://dx.doi.org/10.1109/MCSE.2011.37}}

@misc{scipy,
	Author = {Eric Jones and Travis Oliphant and Pearu Peterson and others},
	Title = {{SciPy}: Open source scientific tools for {Python}},
	Url = {http://www.scipy.org/},
	Year = {2001--},
	Bdsk-Url-1 = {http://www.scipy.org/}}

@article{gala,
	Adsnote = {Provided by the SAO/NASA Astrophysics Data System},
	Adsurl = {http://adsabs.harvard.edu/abs/2017JOSS....2..388P},
	Author = {{Price-Whelan}, A.~M.},
	Doi = {10.21105/joss.00388},
	Eid = {388},
	Journal = {The Journal of Open Source Software},
	Keywords = {galactic dynamics, python, stellar kinematics},
	Month = oct,
	Pages = {388},
	Title = {{Gala: A Python package for galactic dynamics}},
	Volume = 2,
	Year = 2017,
	Bdsk-Url-1 = {https://dx.doi.org/10.21105/joss.00388}}

@article{ipython,
	Author = {P\'erez, Fernando and Granger, Brian E.},
	Date-Added = {2017-08-04 07:38:09 +0000},
	Date-Modified = {2017-08-04 07:38:09 +0000},
	Doi = {10.1109/MCSE.2007.53},
	Issn = {1521-9615},
	Journal = {Computing in Science and Engineering},
	Month = may,
	Number = {3},
	Pages = {21--29},
	Publisher = {IEEE Computer Society},
	Title = {{IP}ython: a System for Interactive Scientific Computing},
	Url = {http://ipython.org},
	Volume = {9},
	Year = 2007,
	Bdsk-Url-1 = {http://ipython.org},
	Bdsk-Url-2 = {http://dx.doi.org/10.1109/MCSE.2007.53}}

@article{astropy:2018,
       author = {{Price-Whelan}, A.~M. and {Sip{\'{o}}cz}, B.~M. and {G{\"u}nther}, H.~M.
        and {Lim}, P.~L. and {Crawford}, S.~M. and {Conseil}, S. and
        {Shupe}, D.~L. and {Craig}, M.~W. and {Dencheva}, N. and
        {Ginsburg}, A. and {VanderPlas}, J.~T. and {Bradley}, L.~D. and
        {P{\'e}rez-Su{\'a}rez}, D. and {de Val-Borro}, M. and {Paper
        Contributors}, (Primary and {Aldcroft}, T.~L. and {Cruz}, K.~L.
        and {Robitaille}, T.~P. and {Tollerud}, E.~J. and {Coordination
        Committee}, (Astropy and {Ardelean}, C. and {Babej}, T. and
        {Bach}, Y.~P. and {Bachetti}, M. and {Bakanov}, A.~V. and
        {Bamford}, S.~P. and {Barentsen}, G. and {Barmby}, P. and
        {Baumbach}, A. and {Berry}, K.~L. and {Biscani}, F. and
        {Boquien}, M. and {Bostroem}, K.~A. and {Bouma}, L.~G. and
        {Brammer}, G.~B. and {Bray}, E.~M. and {Breytenbach}, H. and
        {Buddelmeijer}, H. and {Burke}, D.~J. and {Calderone}, G. and
        {Cano Rodr{\'\i}guez}, J.~L. and {Cara}, M. and {Cardoso},
        J.~V.~M. and {Cheedella}, S. and {Copin}, Y. and {Corrales}, L.
        and {Crichton}, D. and {D{\textquoteright}Avella}, D. and
        {Deil}, C. and {Depagne}, {\'E}. and {Dietrich}, J.~P. and
        {Donath}, A. and {Droettboom}, M. and {Earl}, N. and {Erben}, T.
        and {Fabbro}, S. and {Ferreira}, L.~A. and {Finethy}, T. and
        {Fox}, R.~T. and {Garrison}, L.~H. and {Gibbons}, S.~L.~J. and
        {Goldstein}, D.~A. and {Gommers}, R. and {Greco}, J.~P. and
        {Greenfield}, P. and {Groener}, A.~M. and {Grollier}, F. and
        {Hagen}, A. and {Hirst}, P. and {Homeier}, D. and {Horton},
        A.~J. and {Hosseinzadeh}, G. and {Hu}, L. and {Hunkeler}, J.~S.
        and {Ivezi{\'c}}, {\v{Z}}. and {Jain}, A. and {Jenness}, T. and
        {Kanarek}, G. and {Kendrew}, S. and {Kern}, N.~S. and
        {Kerzendorf}, W.~E. and {Khvalko}, A. and {King}, J. and
        {Kirkby}, D. and {Kulkarni}, A.~M. and {Kumar}, A. and {Lee}, A.
        and {Lenz}, D. and {Littlefair}, S.~P. and {Ma}, Z. and
        {Macleod}, D.~M. and {Mastropietro}, M. and {McCully}, C. and
        {Montagnac}, S. and {Morris}, B.~M. and {Mueller}, M. and
        {Mumford}, S.~J. and {Muna}, D. and {Murphy}, N.~A. and
        {Nelson}, S. and {Nguyen}, G.~H. and {Ninan}, J.~P. and
        {N{\"o}the}, M. and {Ogaz}, S. and {Oh}, S. and {Parejko}, J.~K.
        and {Parley}, N. and {Pascual}, S. and {Patil}, R. and {Patil},
        A.~A. and {Plunkett}, A.~L. and {Prochaska}, J.~X. and
        {Rastogi}, T. and {Reddy Janga}, V. and {Sabater}, J. and
        {Sakurikar}, P. and {Seifert}, M. and {Sherbert}, L.~E. and
        {Sherwood-Taylor}, H. and {Shih}, A.~Y. and {Sick}, J. and
        {Silbiger}, M.~T. and {Singanamalla}, S. and {Singer}, L.~P. and
        {Sladen}, P.~H. and {Sooley}, K.~A. and {Sornarajah}, S. and
        {Streicher}, O. and {Teuben}, P. and {Thomas}, S.~W. and
        {Tremblay}, G.~R. and {Turner}, J.~E.~H. and {Terr{\'o}n}, V.
        and {van Kerkwijk}, M.~H. and {de la Vega}, A. and {Watkins},
        L.~L. and {Weaver}, B.~A. and {Whitmore}, J.~B. and {Woillez},
        J. and {Zabalza}, V. and {Contributors}, (Astropy},
        title = "{The Astropy Project: Building an Open-science Project and Status of the
        v2.0 Core Package}",
      journal = {\aj},
     keywords = {methods: data analysis, methods: miscellaneous, methods: statistical,
        reference systems, Astrophysics - Instrumentation and Methods
        for Astrophysics},
         year = 2018,
        month = Sep,
       volume = {156},
          eid = {123},
        pages = {123},
          doi = {10.3847/1538-3881/aabc4f},
 primaryClass = {astro-ph.IM},
       adsurl = {https://ui.adsabs.harvard.edu/#abs/2018AJ....156..123T},
      adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}

extension: bib


text:
"use strict";

/**
* Service - `promise$`
* - A service for JavaScript Promises
* - Requires `bluebird`
*
* @module Extension->Promise-Service
*/

import Promise from "bluebird";

export default function bluebirdVendorService($rootScope) {
	const $promise = Promise;

	const defer = () => {
		let reject, resolve;

		// eslint-disable-next-line new-cap
		const promise = new $promise((_resolve, _reject) => {
			resolve = _resolve;
			reject = _reject;
		});

		return {
			resolve,
			reject,
			promise
		};
	};

	$promise.defer = defer;
	$promise.when = $promise.cast;

	return $promise;
};

repository: abbotto/rectangular

repo_name: abbotto/rectangular

extension: js


text:
% Encoding: UTF-8

@book{alpaydin2009introduction,
  title={Introduction to machine learning},
  author={Alpaydin, Ethem},
  year={2009},
  publisher={MIT press}
}

@misc{soccer-simulation,
  author = {Simspark Sourceforge},
  title = {{Soccer Simulation}},
  howpublished = "\url{http://simspark.sourceforge.net/wiki/index.php/Soccer_Simulation}",
  year = {2012},
  note = "[Online; acessado em 05-Janeiro-2019]"
}

@misc{robot-nao,
  author = {Wikipédia},
  title = {{RoboCup 3D Soccer Simulation League: Robot Models}},
  howpublished = "\url{https://en.wikipedia.org/wiki/RoboCup_3D_Soccer_Simulation_League}",
  year = {2017},
  note = "[Online; acessado em 05-Janeiro-2019]"
}

@misc{soccer3d-rules,
  author = {RoboCup},
  title = {{Rules for the 2018 Competition in Montreal, Canada}},
  howpublished = "\url{https://ssim.robocup.org/wp-content/uploads/2018/12/Rules_RoboCupSim3D2018.pdf}",
  year = {2018},
  note = "[Online; acessado em 10-Janeiro-2019]"
}

@misc{simspark,
  author = {Sourceforge},
  title = {{Simspark}},
  howpublished = "\url{http://simspark.sourceforge.net/}",
  note = "[Online; acessado em 15-Janeiro-2019]"
}

@misc{rcssserver3d,
  author = {RoboCup},
  title = {{The RoboCup Soccer Simulator}},
  howpublished = "\url{https://sourceforge.net/projects/sserver/}",
  note = "[Online; acessado em 15-Janeiro-2019]"
}

@misc{magma-proxy,
  author = {Magma Offenburg},
  title = {{MagmaProxy}},
  howpublished = "\url{https://github.com/magmaOffenburg/magmaProxy}",
  note = "[Online; acessado em 17-Janeiro-2019]"
}

@misc{roboviz,
  author = {Magma Offenburg},
  title = {{Roboviz}},
  howpublished = "\url{https://github.com/magmaOffenburg/RoboViz}",
  note = "[Online; acessado em 20-Janeiro-2019]"
}

@article{soccer3d-tdp-2019,
  title={ITAndroids Soccer3D Team Description Paper 2019},
  author={ITAndroids},
  journal={RoboCup 2019},
  volume={2},
  pages={7},
  year={2019}
}

@misc{diff-ml,
  author = {Next View},
  title = {{What is machine learning with sap}},
  howpublished = "\url{https://www.nextview.nl/what-is-machine-learning-with-sap/}",
  note = "[Online; acessado em 20-Fevereiro-2019]"
}

@inbook{decision_tree,
    author = {S. Russel and P. Norvig},
    title ={Artificial Intelligence: A Modern Approach},
    publisher = {Prentice Hall},
    year = {2009},
    volume  = {3},
    pages = {697-707},
    edition= {3}
}

@article{insall2001surgical,
  title={Surgical thechniques and instrumentation in Total Knee Arthroplasty},
  author={Insall, JN},
  journal={Surgery of the knee},
  volume={2},
  pages={1553--1620},
  year={2001}
}

@Misc{cbr2008,
  note = {http://www.cbrobotica. org/wp-content/uploads/2014/03/VerySmall2008\_en.pdf}
}

@Misc{ssl,
  note = {http://www.cbrobotica. org/wp-content/uploads/2014/03/VerySmall2008\_en.pdf}
}

@article{orozcomaquinas,
  title={M{\'a}quinas de Estados Finitos},
  author={Mateus Menezes Azevedo Coelho}
}

@article{tasinaffo_ic,
  title={Desenvolvimento de Visão Computacional do Robô Humanoide},
  author={Mateus Menezes Azevedo Coelho and Paulo Marcelo Tasinaffo},
  year=2016
}

@phdthesis{behavior_tree_robotics,
  author       = {Michele Colledanchise},
  title        = {Behavior Trees in Robotics},
  school       = {KTH Royal Institute of Technology},
  year         = 2016,
  month        = 2
}

@inproceedings{cox1988c++,
  title={C++ language support for guaranteed initialization, safe termination and error recovery in robotics},
  author={Cox, Ingemar J},
  booktitle={Robotics and Automation, 1988. Proceedings., 1988 IEEE International Conference on},
  pages={641--643},
  year={1988},
  organization={IEEE}
}

@mastersthesis{franzoni_rrt,
  author = {Igor Franzoni Okuyama},
  title =  {TRAJECTORY PLANNING CONSIDERING ACCELERATION LIMITS FOR AN AUTONOMOUS SOCCER PLAYER},
  school = {Instituto Tecnol\'{o}gico de Aeron\'{a}utica},
  year =   {2017},
  type =   {Trabalho de Gradua\c{c}\~{a}o}
}

@book{west2001introduction,
  title={Introduction to graph theory},
  author={West, Douglas Brent and others},
  volume={2},
  chapter = 2,
  year={2001},
  publisher={Prentice hall Upper Saddle River}
}

@book{egly2005decision,
  title={Decision making for MiroSOT soccer playing robots},
  author={Egly, Uwe and Novak, Gregor and Weber, Daniel},
  year={2005},
  publisher={na}
}

@article{delaunay34,
   author = "Boris Delaunay",
   title = "Sur la sph\'{e}re vide",
   year = "1934",
   journal = "Bulletin de l'Académie des Sciences de l'URSS",
   volume = 6,
   pages = {793-800}
}

@article{voronoi08,
   author = "Georgy Voronoi",
   title = "Nouvelles applications des paramètres continus à la théorie des formes quadratiques",
   year = "1908",
   journal = "Journal für die Reine und Angewandte Mathematik",
   volume = 133,
   pages = {97-178}
}

@misc{NEUIslanders_ssl,
  author       = {Rahib H. Abiyev and Şenol Bektas and Nurullah Akkaya and Ersin Aytac},
  title        = {NEUIslanders 2017 Team Description Paper },
  howpublished = {Robocup},
  year         = 2017,
}

@incollection{hunt2013gang,
  title={Gang of four design patterns},
  author={Hunt, John},
  booktitle={Scala Design Patterns},
  pages={135--136},
  year={2013},
  publisher={Springer}
}

@inproceedings{akiyama2007multi,
  title={Multi-agent positioning mechanism in the dynamic environment},
  author={Akiyama, Hidehisa and Noda, Itsuki},
  booktitle={Robot Soccer World Cup},
  pages={377--384},
  year={2007},
  organization={Springer}
}

@Misc{Qt,
  note = {https://www.qt.io/}
}


text:
@article{clevert2015fast,
	title={Fast and accurate deep network learning by exponential linear units (elus)},
	author={Clevert, Djork-Arn{\'e} and Unterthiner, Thomas and Hochreiter, Sepp},
	journal={arXiv preprint arXiv:1511.07289},
	year={2015}
}

@article{tieleman2012lecture,
	title={Lecture 6.5-rmsprop: Divide the gradient by a running average of its recent magnitude},
	author={Tieleman, Tijmen and Hinton, Geoffrey},
	journal={COURSERA: Neural networks for machine learning},
	volume={4},
	number={2},
	pages={26--31},
	year={2012}
}

@article{srivastava2014dropout,
	title={Dropout: a simple way to prevent neural networks from overfitting.},
	author={Srivastava, Nitish and Hinton, Geoffrey E and Krizhevsky, Alex and Sutskever, Ilya and Salakhutdinov, Ruslan},
	journal={Journal of machine learning research},
	volume={15},
	number={1},
	pages={1929--1958},
	year={2014}
}


text:
@inproceedings{WaZh14,
 author = {C. Wang and B. Zhang and K. Ren and J. Roveda and C. Chen and Z. Xu},
 booktitle = {Proc. of IEEE International Conference on Computer Communications (INFOCOM'14)},
 title = {A Privacy-aware Cloud-assisted Healthcare Monitoring System via Compressive Sensing},
 year = {2014}
}


text:
DESCRIPTION = "Recipe to copy and install externally built XSA to deploy"

LICENSE = "CLOSED"

PROVIDES = "virtual/hdf"

INHIBIT_DEFAULT_DEPS = "1"

inherit deploy

HDF_BASE ?= "git://"
HDF_PATH ??= "github.com/Xilinx/hdf-examples.git"
HDF_NAME ?= "system.xsa"

BRANCH = "rel-v2021.1"
SRCREV = "9da77b1de79a5ee76a04e3faeab61c6448fc25c1"
BRANCHARG = "${@['nobranch=1', 'branch=${BRANCH}'][d.getVar('BRANCH', True) != '']}"

HDF_EXT ?= "xsa"

SRC_URI = "${HDF_BASE}${HDF_PATH};${BRANCHARG}"

COMPATIBLE_HOST_xilinx-standalone = "${HOST_SYS}"
PACKAGE_ARCH ?= "${MACHINE_ARCH}"

S = "${WORKDIR}/git"

do_configure[noexec] = "1"
do_compile[noexec] = "1"
do_install[noexec] = "1"

python do_check() {
    ext=d.getVar('HDF_EXT')
    if(ext == 'hdf'):
         bb.warn("Only XSA format is supported in Vivado tool starting from 2019.2 release")
}

HDF_MACHINE ?= "${@d.getVar('BOARD') if d.getVar('BOARD') else d.getVar('MACHINE')}"

do_install() {
    install -d ${D}/opt/xilinx/hw-design
    if [ "${HDF_BASE}" = "git://" ]; then
         install -m 0644 ${S}/${HDF_MACHINE}/${HDF_NAME} ${D}/opt/xilinx/hw-design/design.xsa
    else
         install -m 0644 ${WORKDIR}/${HDF_PATH} ${D}/opt/xilinx/hw-design/design.xsa
    fi
}

do_deploy() {
    install -d ${DEPLOYDIR}
    if [ "${HDF_BASE}" = "git://" ]; then
        install -m 0644 ${WORKDIR}/git/${HDF_MACHINE}/${HDF_NAME} ${DEPLOYDIR}/Xilinx-${MACHINE}.${HDF_EXT}
    else
        install -m 0644 ${WORKDIR}/${HDF_PATH} ${DEPLOYDIR}/Xilinx-${MACHINE}.${HDF_EXT}
    fi
}

addtask do_check before do_deploy
addtask do_deploy after do_install

PACKAGES = ""
FILES_${PN}= "/opt/xilinx/hw-design/design.xsa"
SYSROOT_DIRS += "/opt"

repository: ansar-rasool/meta-xilinx-tools

repo_name: ansar-rasool/meta-xilinx-tools


text:
SUMMARY = "JMESPath (pronounced 'james path') allows you to declaratively specify how to extract elements from a JSON document."
HOMEPAGE = "https://pypi.org/project/jmespath/"
SECTION = "devel/python"
LICENSE = "MIT"
LIC_FILES_CHKSUM = "file://LICENSE.txt;md5=2683790f5fabb41a3f75b70558799eb4"

SRC_URI[sha256sum] = "90261b206d6defd58fdd5e85f478bf633a2901798906be2ad389150c5c60edbe"

inherit pypi setuptools3

RDEPENDS:${PN} += "python3-math python3-json python3-numbers"

repository: openembedded/meta-openembedded

repo_name: openembedded/meta-openembedded

gha_language: BitBake


text:
require evas.inc
PR = "r8"

EVAS_CPU_TWEAKS = ""
# Disabled for now, see http://thread.gmane.org/gmane.comp.window-managers.enlightenment.devel/25194
#EVAS_CPU_TWEAKS_armv7a = "--enable-cpu-neon"

EXTRA_OECONF = "\
		--x-includes=${STAGING_INCDIR}/X11  \
		--x-libraries=${STAGING_LIBDIR} \
		--enable-evas-magic-debug \
		--enable-pthreads \
		--enable-async-events \
		--enable-async-preload \
		--enable-fb					\
		--disable-directfb			\
		--disable-sdl				\
		--enable-buffer				\
		--disable-software-ddraw	\
		--disable-software-qtopia	\
		--enable-simple-x11		\
		--enable-software-x11		\
		--enable-software-16-x11	\
		--disable-software-xcb		\
		--enable-xrender-x11		\
		--disable-xrender-xcb		\
		--disable-glitz-x11			\
		--enable-image-loader-eet	\
		--disable-image-loader-edb	\
		--enable-image-loader-gif	\
		--enable-image-loader-png	\
		--enable-image-loader-jpeg	\
		--enable-image-loader-tiff	\
		--enable-image-loader-xpm	\
		--enable-image-loader-svg	\
		--enable-cpu-c				\
		--enable-fontconfig			\
		--enable-font-loader-eet	\
		--enable-scale-sample		\
		--enable-scale-smooth		\
		--enable-convert-yuv		\
		--enable-small-dither-mask	\
		--disable-no-dither-mask	\
		--disable-convert-8-rgb-332	\
		--disable-convert-8-rgb-666	\
		--disable-convert-8-rgb-232	\
		--disable-convert-8-rgb-222	\
		--disable-convert-8-rgb-221	\
		--disable-convert-8-rgb-121	\
		--disable-convert-8-rgb-111	\
		--enable-convert-16-rgb-565	\
		--disable-convert-16-rgb-555	\
		--disable-convert-16-rgb-444	\
		--disable-convert-16-rgb-ipq	\
		--enable-convert-16-rgb-rot-0	\
		--enable-convert-16-rgb-rot-90	\
		--disable-convert-16-rgb-rot-180 \
		--enable-convert-16-rgb-rot-270	\
		--enable-convert-24-rgb-888	\
		--enable-convert-24-bgr-888	\
		--enable-convert-32-rgb-8888	\
		--enable-convert-32-rgbx-8888	\
		--enable-convert-32-bgr-8888	\
		--enable-convert-32-bgrx-8888	\
		--enable-convert-32-rgb-rot-0	\
		--enable-convert-32-rgb-rot-90	\
		--disable-convert-32-rgb-rot-180 \
		--enable-convert-32-rgb-rot-270 \
		${EVAS_CPU_TWEAKS}"

# either sgx or 6410 atm
GLES ?= "sgx"

# This is a hack to get openGL|ES 2.x support enabled for people that have the SDK headers in staging.
# We put this in the main recipe, since it will just not build the gl stuff when the headers are missing

# If the above sentence confuse you: everything is built and configured as before if you don't have the SDK

EXTRA_OECONF += "\
        --enable-gl-x11 --enable-gl-flavor-gles --enable-gles-variety-${GLES} \
"

repository: trini/openembedded

repo_name: trini/openembedded


text:
@misc{phoronix-suite,
	title = "\url{https://wiki.ubuntu.com/PhoronixTestSuite}",
	year = "consultado el Jueves 3 de Diciembre de 2015",
	}

@misc{ab,
	title = "\url{https://httpd.apache.org/docs/2.2/es/programs/ab.html}",
	year = "consultado el Jueves 3 de Diciembre de 2015",
	}
@misc{http-comp,
	title = "\url{https://technet.microsoft.com/es-es/library/cc771003%28v=ws.10%29.aspx}",
	year = "consultado el Martes 15 de Diciembre de 2015",
	}
@misc{gzip,
	title = "\url{https://developers.google.com/web/fundamentals/performance/optimizing-content-efficiency/optimize-encoding-and-transfer}",
	year = "consultado el Martes 15 de Diciembre de 2015",
	}
@misc{keys,
	title = "\url{https://www.apache.org/dist/jmeter/KEYS}",
	year = "consultado el Miércoles 16 de Diciembre de 2015",
	}
@misc{tk,
	title = "\url{http://tkinter.unpythonic.net/wiki/How_to_install_Tkinter}",
	year = "consultado el Miércoles 16 de Diciembre de 2015",
	}

repository: pacocp/University-Works

repo_name: pacocp/University-Works


text:
@article{teal2015data,
 author = {Teal, Tracy K and Cranston, Karen A and Lapp, Hilmar and White, Ethan and Wilson, Greg and Ram, Karthik and Pawlik, Aleksandra},
 title = {Data carpentry: workshops to increase data literacy for researchers},
 year = {2015}
}

repository: weecology/website

repo_name: weecology/website

branch_name: refs/heads/main

gha_language: TeX


text:
SUMMARY = "high performance client server features library"
DESCRIPTION = "\
 libqb provides a set of high performance client-server reusable features. It \
 offers high performance logging, tracing, IPC and poll. Its initial features \
 were spun off the Corosync cluster communication suite to make them accessible \
 for other projects."
HOMEPAGE = "http://github.com/clusterlabs/libqb/wiki"

# Override value of DEBIAN_GIT_BRANCH variable in debian-package class
DEBIAN_GIT_BRANCH = "jessie-backports-master"

inherit debian-package

PR = "r1"
PV = "1.0.1"
LICENSE = "LGPL-2.1+"
LIC_FILES_CHKSUM = "file://COPYING;md5=321bf41f280cf805086dd5a720b37785"

SRC_URI += "file://0001-Remove-runtime-check-for-CLOCK_MONOTONIC.patch"

inherit autotools pkgconfig

EXTRA_OECONF += "--disable-static"

PKG_${PN} = "${PN}0"
PKG_${PN}-dbg = "${PN}0-dbg"

repository: meta-debian/meta-debian-extra

repo_name: meta-debian/meta-debian-extra

branch_name: refs/heads/morty


text:
FILESEXTRAPATHS:prepend := "${COREBASE}/meta/recipes-extended/ltp/ltp:"
FILESEXTRAPATHS:prepend := "${ARAGOBASE}/meta-arago-extras/recipes-extended/ltp/ltp:"

require recipes-extended/ltp/ltp_${PV}.bb

SUMMARY = "Embedded Linux Device Driver Tests based on Linux Test Project"
HOMEPAGE = "https://git.ti.com/cgit/test-automation/ltp-ddt/"

PROVIDES += "ltp"

DEPENDS += "alsa-lib"

PE = "1"
PR = "r7"
PV:append = "+git${SRCPV}"

SRCREV = "15ce79d02abeb2d5b3cd6a741d4fbdf59566fb56"
BRANCH ?= "master"

SRC_URI:remove = "git://github.com/linux-test-project/ltp.git;branch=master;protocol=https"
SRC_URI:prepend = "git://git.ti.com/git/test-automation/ltp-ddt.git;protocol=https;branch=${BRANCH} "

SRC_URI:append = " https://git.ti.com/cgit/ti-linux-kernel/ti-linux-kernel/plain/include/uapi/linux/rpmsg_rpc.h?h=ti-linux-5.10.y;name=rpmsg_rpc;subdir=linux;downloadfilename=rpmsg_rpc.h"
SRC_URI[rpmsg_rpc.sha256sum] = "cd237f40a37520a1f2df19fbfeefd00c0a5ad68efeaba9ba0fba60ca16ea09be"

export prefix = "/opt/ltp"
export exec_prefix = "/opt/ltp"

EXTRA_OEMAKE:append = " \
    KERNEL_USR_INC=${WORKDIR} \
    ALSA_INCPATH=${STAGING_INCDIR} \
    ALSA_LIBPATH=${STAGING_LIBDIR} \
"

RDEPENDS:${PN} += "\
    acl \
    at \
    pm-qa \
    serialcheck \
    memtester \
"

do_install:prepend() {
	# Upstream ltp recipe wants to remove this test case in do_install
	install -d ${D}${prefix}/runtest/
	echo "memcg_stress" >> ${D}${prefix}/runtest/controllers
}

repository: rcn-ee/meta-arago

repo_name: rcn-ee/meta-arago


text:
# generated from genmsg/cmake/pkg-msg-paths.cmake.installspace.in

_prepend_path("${qb_device_msgs_DIR}/.." "msg" qb_device_msgs_MSG_INCLUDE_DIRS UNIQUE)
set(qb_device_msgs_MSG_DEPENDENCIES std_msgs)

extension: cmake


text:
KBRANCH ?= "dev-5.2"
LINUX_VERSION ?= "5.2.8"

SRCREV="6b11565cce36540fedb6f11b25647ce12b952b7e"

require linux-aspeed.inc

gha_license_id: NOASSERTION


text:
DESCRIPTION = "CarHUD Projector Controller Initialization"
LICENSE = "GPLv2"
LIC_FILES_CHKSUM = "file://LICENSE.txt;md5=b234ee4d69f5fce4486a80fdaf4a4263"

PR = "r1"

SRC_URI = "file://hudprojectorcontroller \
           file://LICENSE.txt"

inherit update-rc.d

INITSCRIPT_NAME = "hudprojectorcontroller"
INITSCRIPT_PARAMS = "defaults 91"

do_configure() {
    mv ${WORKDIR}/LICENSE.txt ${S}/
}

do_install() {
       install -d ${D}${sysconfdir}/init.d
       install -m 0755 ${WORKDIR}/hudprojectorcontroller ${D}${sysconfdir}/init.d/hudprojectorcontroller
}

FILES_${PN} = "${sysconfdir}/init.d/hudprojectorcontroller"

repository: xtacocorex/meta-rpi

repo_name: xtacocorex/meta-rpi

branch_name: refs/heads/jethro


text:
@book{martinloef84,
title="Intuitionistic Type Theory",
author={Per Martin-L\"of},
subtitle={Notes by Giovanni Sambin of a Series of Lectures given in Padua, June 1980},
publisher="Bibliopolis",
address="Napoli",
year=1984}

@article{curry34,
author="Haskell Curry",
title="Functionality in combinatory logic",
journal={{Proceedings of the
National Academy of Science}},
volume=20,
pages="584--590",
year="1934"}

@article{fortune+83,
  author    = {Steven Fortune and
               Daniel Leivant and
               Michael O'Donnell},
  title     = {{The Expressiveness of Simple and Second-Order Type Structures}},
  journal   = {J. {ACM}},
  volume    = {30},
  number    = {1},
  pages     = {151--185},
  year      = {1983},
  url       = {http://doi.acm.org/10.1145/322358.322370},
  doi       = {10.1145/322358.322370},
  timestamp = {Thu, 26 Jan 2012 17:31:32 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jacm/FortuneLO83},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inbook{parsons1992,
author="Charles Parsons",
title="The Impredicativity of Induction",
booktitle={{Proof, Logic, and Formalization}},
editor="Michael Detlefsen",
year=1992,
publisher="Routledge"}

@inbook{howard80,
author="William Howard",
title="The formulae-as-types notion of construction",
booktitle={{To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus,
and Formalism}},
pages="479--491",
publisher="Academic Press",
year="1980"}

@incollection{barendregt93,
 author = {Barendregt, H. P.},
 title = {{Lambda Calculi with Types}},
 booktitle = {Handbook of Logic in Computer Science (Vol. 2)},
 editor = {Abramsky, S. and Gabbay, Dov M. and Maibaum, S. E.},
 year = {1992},
 isbn = {0-19-853761-1},
 pages = {117--309},
 publisher = {Oxford University Press, Inc.},
 address = {New York, NY, USA},
}

@article{coq88,
 author = {T. Coquand and G. Huet},
 title = {{The Calculus of Constructions}},
 journal = {Information and Computation},
 volume = {76},
 number = {2-3},
 year = {1988},
 pages = "95--120"
}

@inproceedings{geuvers01,
  author    = {Herman Geuvers},
  title     = {{Induction Is Not Derivable in Second Order Dependent Type
               Theory}},
  booktitle = {Typed Lambda Calculi and Applications (TLCA)},
  publisher = "Springer",
  series = {Lecture Notes in Computer Science},
  volume="2044",
  editor={Abramsky, Samson},
  year      = {2001},
  pages     = {166-181},
}

@inproceedings{coquand+88,
  author    = {Thierry Coquand and
               Christine Paulin},
  title     = {Inductively defined types},
  booktitle = {COLOG-88, International Conference on Computer Logic},
  pages     = {50--66},
  year      = {1988},
  editor    = {Per Martin{-}L{\"{o}}f and
               Grigori Mints},
}

@phdthesis{girard72,
author="Jean-Yves Girard",
title={{Interpr\'{e}tation fonctionelle et \'{e}limination des coupures dans l'arithm\'{e}tique d'ordre sup\'{e}rieur}},
year=1972,
type={{Th\`{e}se do doctorat d'\'{e}tat}},
school={{Universit\'{e} Paris VII}}}

@phdthesis{werner94,
  TITLE = {{Une Th{\'e}orie des Constructions Inductives}},
  AUTHOR = {Werner, Benjamin},
  URL = {https://tel.archives-ouvertes.fr/tel-00196524},
  SCHOOL = {{Universit{\'e} Paris-Diderot - Paris VII}},
  YEAR = {1994},
}

@misc{chlipala18,
author="Adam Chlipala",
date="2018-06-06",
year=2018,
howpublished="personal communication"}

@inproceedings{pfenning+89,
  author    = {Frank Pfenning and
               Christine Paulin{-}Mohring},
  title     = {{Inductively Defined Types in the Calculus of Constructions}},
  booktitle = {Mathematical Foundations of Programming Semantics, 5th International
               Conference},
  pages     = {209--228},
  year      = {1989},
  editor    = {Michael G. Main and
               Austin Melton and
               Michael W. Mislove and
               David A. Schmidt},
}

                  @article{washburn08,
  author    = {Geoffrey Washburn and
               Stephanie Weirich},
  title     = {Boxes go bananas: {E}ncoding higher-order abstract syntax with parametric
               polymorphism},
  journal   = {J. Funct. Program.},
  volume    = {18},
  number    = {1},
  pages     = {87--140},
  year      = {2008},
}

@Manual{coq,
  title =        {The Coq proof assistant reference manual},
  author =       {\mbox{The Coq development team}},
  organization = {LogiCal Project},
  note =         {Version 8.7.2},
  year =         {2018},
  url =          "http://coq.inria.fr"
}

@inproceedings{altenkirch+10,
  author    = {Thorsten Altenkirch and
               Nils Anders Danielsson and
               Andres L{\"{o}}h and
               Nicolas Oury},
  title     = {{PiSigma: Dependent Types without the Sugar}},
  booktitle = {Functional and Logic Programming, 10th International Symposium (FLOPS)},
  pages     = {40--55},
  year      = {2010},
  editor    = {Matthias Blume and
               Naoki Kobayashi and
               Germ{\'{a}}n Vidal},
  series    = {Lecture Notes in Computer Science},
  volume    = {6009},
  publisher = {Springer},
}

@inproceedings{chapman+10,
  author    = {James Chapman and
               Pierre{-}{\'{E}}variste Dagand and
               Conor McBride and
               Peter Morris},
  title     = {The gentle art of levitation},
  booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
               Functional programming (ICFP)},
  pages     = {3--14},
  editor    = {Paul Hudak and
               Stephanie Weirich},
  publisher = {{ACM}},
  year      = {2010},
}

@inproceedings{kopylov03,
  author    = {Alexei Kopylov},
  title     = {Dependent Intersection: {A} New Way of Defining Records in Type Theory},
  booktitle = {18th {IEEE} Symposium on Logic in Computer Science {(LICS)}},
  pages     = {86--95},
  year      = {2003},
}

@book{barendregt+13,
  author    = {Hendrik Pieter Barendregt and
               Wil Dekkers and
               Richard Statman},
  title     = {{Lambda Calculus with Types}},
  series    = {Perspectives in logic},
  publisher = {Cambridge University Press},
  year      = {2013},
}

@incollection{miquel01,
year={2001},
booktitle={{Typed Lambda Calculi and Applications}},
editor={Abramsky, Samson},
title={{The Implicit Calculus of Constructions Extending Pure Type Systems with an Intersection Type Binder and Subtyping}},
author={Miquel, Alexandre},
publisher="Springer",
volume="2044",
series="Lecture Notes in Computer Science",
pages={344-359},
}

@INPROCEEDINGS{leivant83,
 author={Leivant, Daniel},
 booktitle={24th Annual Symposium on Foundations of Computer Science (FOCS)},
 title={Reasoning about functional programs and complexity classes associated with type disciplines},
 publisher = {{IEEE} Computer Society},
 year={1983},
 pages={460-469} }

@inproceedings{mcbride02,
  author    = {Conor McBride},
  title     = {{Elimination with a Motive}},
  booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2000,
               Durham, UK, December 8-12, 2000, Selected Papers},
  pages     = {197--216},
  editor    = {Paul Callaghan and
               Zhaohui Luo and
               James McKinna and
               Robert Pollack},
  series    = {Lecture Notes in Computer Science},
  volume    = {2277},
  publisher = {Springer},
  year      = {2002},
}

@article{pierce+00,
  author    = {Benjamin C. Pierce and
               David N. Turner},
  title     = {Local type inference},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {22},
  number    = {1},
  pages     = {1--44},
  year      = {2000},
}

@incollection{parigot88,
year={1988},
booktitle={{European Symposium On Programming (ESOP)}},
volume={300},
series={Lecture Notes in Computer Science},
publisher = {Springer},
editor={Ganzinger, H.},
title={Programming with proofs: a second order type theory},
author={Parigot, Michel},
pages={145-159},
}

@article{stumpfu16,
title = "Efficiency of lambda-encodings in total type theory",
publisher = "Cambridge University Press",
address = "Cambridge, UK",
author = "Aaron Stump and Peng Fu",
volume = "26",
year = "2016",
month = "003",
day = "10",
journal = "Journal of Functional Programming"
}

@article{barras10,
  author    = {Bruno Barras},
  title     = {{Sets in Coq, Coq in Sets}},
  journal   = {J. Formalized Reasoning},
  volume    = {3},
  number    = {1},
  pages     = {29--48},
  year      = {2010},
  url       = {http://dx.doi.org/10.6092/issn.1972-5787/1695},
  doi       = {10.6092/issn.1972-5787/1695},
  timestamp = {Mon, 13 Jan 2014 12:51:53 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jfrea/Barras10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{altenkirch+16,
  author    = {Thorsten Altenkirch and
               Ambrus Kaposi},
  title     = {Type theory in type theory using quotient inductive types},
  booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages {(POPL)}},
  pages     = {18--29},
  year      = {2016},
  editor    = {Rastislav Bod{\'{\i}}k and
               Rupak Majumdar},
  publisher = {{ACM}},
}

@article{chapman09,
  author    = {James Chapman},
  title     = {{Type Theory Should Eat Itself}},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {228},
  pages     = {21--36},
  year      = {2009},
}

@Manual{agda,
  title =        {Agda},
  author =       {\mbox{The Agda development team}},
  note =         {Version 2.5.4},
  year =         {2018},
  url =          "http://wiki.portal.chalmers.se/agda/pmwiki.php"
}

@article{mogensen92,
  author    = {Torben {\AE}. Mogensen},
  title     = {{Efficient Self-Interpretations in lambda Calculus}},
  journal   = {J. Funct. Program.},
  volume    = {2},
  number    = {3},
  pages     = {345--363},
  year      = {1992},
}

@article{dybjer00,
  author    = {Peter Dybjer},
  title     = {{A General Formulation of Simultaneous Inductive-Recursive Definitions
               in Type Theory}},
  journal   = {J. Symb. Log.},
  volume    = {65},
  number    = {2},
  pages     = {525--549},
  year      = {2000},
}

@inproceedings{altenkirch+11,
  author    = {Thorsten Altenkirch and
               Peter Morris and
               Fredrik Nordvall Forsberg and
               Anton Setzer},
  title     = {{A Categorical Semantics for Inductive-Inductive Definitions}},
  booktitle = {Algebra and Coalgebra in Computer Science - 4th International Conference,
               {(CALCO)}},
  pages     = {70--84},
  year      = {2011},
  editor    = {Andrea Corradini and
               Bartek Klin and
               Corina C{\^{\i}}rstea},
  series    = {Lecture Notes in Computer Science},
  volume    = {6859},
  publisher = {Springer},
}

@article{stump17,
  author    = {Aaron Stump},
  title     = {{The Calculus of Dependent Lambda Eliminations}},
  journal   = {J. Funct. Program.},
  volume    = {27},
  pages     = {e14},
  year      = {2017},
}

@misc{stump18,
  author    = {Aaron Stump},
  title     = {{From Realizability to Induction via Dependent Intersection}},
  journal   = {Annals of Pure and Applied Logic},
  year      = {2018},
  note      = "in press"
}

@article{atkey+14,
 author = {Atkey, Robert and Ghani, Neil and Johann, Patricia},
 title = {{A Relationally Parametric Model of Dependent Type Theory}},
 journal = {SIGPLAN Not.},
 issue_date = {January 2014},
 volume = {49},
 number = {1},
 month = jan,
 year = {2014},
 pages = {503--515},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{ghani+10,
  author    = {Neil Ghani and
               Patricia Johann and
               Cl{\'{e}}ment Fumex},
  title     = {{Fibrational Induction Rules for Initial Algebras}},
  booktitle = {Computer Science Logic, 24th International Workshop (CSL)},
  pages     = {336--350},
  year      = {2010},
  editor    = {Anuj Dawar and
               Helmut Veith},
  series    = {Lecture Notes in Computer Science},
  volume    = {6247},
  publisher = {Springer},
}

@inproceedings{krishnaswami+13,
  author    = {Neelakantan R. Krishnaswami and
               Derek Dreyer},
  title     = {{Internalizing Relational Parametricity in the Extensional Calculus
               of Constructions}},
  booktitle = {Computer Science Logic 2013 (CSL)},
  pages     = {432--451},
  year      = {2013},
  editor    = {Simona Ronchi Della Rocca},
  series    = {LIPIcs},
  volume    = {23},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
}

@inproceedings{hickey03,
author={Jason Hickey},
title={{Formal Objects in Type Theory Using Very Dependent Types}},
booktitle={{Foundations of Object-Oriented Languages (FOOL) 3}},
year=2003,
note={{Available from the NuPrl website, \url{www.nuprl.org}}}}

@inproceedings{firsov18,
author={Denis Firsov and Aaron Stump},
title={{Generic Derivation of Induction for Impredicative Encodings in Cedille}},
booktitle={{Certified Programs and Proofs (CPP)}},
year=2018,
editor={June Andronick and Amy Felty}}

@article{appel1976,
author = "Appel, K. and Haken, W.",
journal = "Bulletin of the American Mathematical Society",
month = "09",
number = "5",
pages = "711--712",
publisher = "American Mathematical Society",
title = "Every planar map is four colorable",
volume = "82",
year = "1976"
}

@article{gonthier08,
author={Georges Gonthier},
title={{Formal Proof -- The Four-Color Theorem}},
journal="Notices of the American Mathematical Society",
volume="55",
number="11",
year="2008",
pages="1382--1393"}

@book{martinlof84,
author={Per Martin-L{\"o}f},
title={{Intuitionistic Type Theory}},
note={{Notes by Giovanni Sambin of a Series of Lectures given in Padua, June 1980}},
publisher="Bibliopolis",
location="Napoli",
year="1984"}

@techreport{debruijn68,
author = {N. G. de Bruijn},
title={{AUTOMATH, a language for mathematics}},
institution={{Department of Mathematics, Eindhoven University of Technology}},
year="1968",
number="T.H. Report 66-WSK-05"}

@inproceedings{Dybjer95,
  author    = {Peter Dybjer},
  title     = {Internal Type Theory},
  booktitle = {Types for Proofs and Programs, International Workshop TYPES'95, Torino,
               Italy, June 5-8, 1995, Selected Papers},
  pages     = {120--134},
  editor    = {Stefano Berardi and
               Mario Coppo},
  series    = {Lecture Notes in Computer Science},
  volume    = {1158},
  publisher = {Springer},
  year      = {1996},
}

@book{girard89,
 author = {Girard, Jean-Yves and Taylor, Paul and Lafont, Yves},
 title = {Proofs and Types},
 year = {1989},
 isbn = {0-521-37181-3},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
}

@article{feferman98,
author="Solomon Feferman",
title={{In the Light of Logic}},
year="1998",
publisher={Oxford University Press},
isbn={0195359836}}

@InCollection{tennant17,
	author       =	{Tennant, Neil},
	title        =	{Logicism and Neologicism},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	howpublished =	{\url{https://plato.stanford.edu/archives/win2017/entries/logicism/}},
	year         =	{2017},
	edition      =	{Winter 2017},
	publisher    =	{Metaphysics Research Lab, Stanford University}
}

@incollection{tennant87,
author={Neil Tennant},
title={{Deriving Basic Laws of Arithmetic}},
chapter="25",
booktitle={{Anti-Realism and Logic: Truth as Eternal}},
year=1987,
publisher="Oxford University Press"}

@article{swierstra17,
  author    = {Wouter Swierstra and
               Peter Dybjer},
  title     = {{Special issue on Programming with Dependent Types Editorial}},
  journal   = {J. Funct. Program.},
  volume    = {27},
  pages     = {e15},
  year      = {2017},
}

@article{pimentel12,
  author    = {Elaine Pimentel and
               Simona Ronchi Della Rocca and
               Luca Roversi},
  title     = {{Intersection Types from a Proof-theoretic Perspective}},
  journal   = {Fundam. Inform.},
  volume    = {121},
  number    = {1-4},
  pages     = {253--274},
  year      = {2012},
}

@inproceedings{reynolds74,
  author    = {John C. Reynolds},
  title     = {Towards a theory of type structure},
  booktitle = {Programming Symposium, Proceedings Colloque sur la Programmation,
               Paris, France, April 9-11, 1974},
  pages     = {408--423},
  year      = {1974},
  editor    = {Bernard Robinet},
  series    = {Lecture Notes in Computer Science},
  volume    = {19},
  publisher = {Springer},
}

@article{wadler2007,
title = "The Girard–Reynolds isomorphism (second edition)",
journal = "Theoretical Computer Science",
volume = "375",
number = "1",
pages = "201 - 226",
year = "2007",
note = "Festschrift for John C. Reynolds’s 70th birthday",
author = "Philip Wadler",
}

@inproceedings{koopman+14,
author={Pieter Koopman and Rinus Plasmeijer and Jan Martin Jansen},
title={{Church Encoding of Data Types Considered Harmful for Implementations}},
booktitle={{26th Symposium on Implementation and Application of Functional Languages (IFL)}},
editor={Rinus Plasmeijer and Sam Tobin-Hochstadt},
year=2014}

@book{nederpelt14,
 author = {Nederpelt, Rob and Geuvers, Herman},
 title = {{Type Theory and Formal Proof: An Introduction}},
 year = {2014},
 edition = {1st},
 publisher = {Cambridge University Press},
}

@article{setzer98,
  author    = {Anton Setzer},
  title     = {{Well-Ordering Proofs for Martin-L{\"{o}}f Type Theory}},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {92},
  number    = {2},
  pages     = {113--159},
  year      = {1998},
}

@Article{Rathjen2005,
author="Rathjen, Michael",
title="An ordinal analysis of parameter free $\Pi$12-comprehension",
journal="Archive for Mathematical Logic",
year="2005",
month="Apr",
day="01",
volume="44",
number="3",
pages="263--362"
}

@article{rathjen1995,
title={{Recent Advances in Ordinal Analysis: $\Pi 1 2$ — CA and Related Systems}},
volume={1},
number={4},
journal={Bulletin of Symbolic Logic},
publisher={Cambridge University Press},
author={Rathjen, Michael},
year={1995},
pages={468–485}}

@inproceedings{pfenning88,
  author    = {Frank Pfenning and
               Conal Elliott},
  title     = {{Higher-Order Abstract Syntax}},
  booktitle = {Proceedings of the {ACM} SIGPLAN'88 Conference on Programming Language
               Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24,
               1988},
  pages     = {199--208},
  year      = {1988},
  editor    = {Richard L. Wexelblat},
  publisher = {{ACM}},
}

@misc{firsov18b,
author="Denis Firsov and Richard Blair and Aaron Stump",
title={{Efficient Mendler-Style Lambda-Encodings in Cedille}},
year=2018,
note="Under review as of March 16, 2018"}

@article{matthes02,
  author    = {Ralph Matthes},
  title     = {Tarski's Fixed-Point Theorem And Lambda Calculi With Monotone Inductive
               Types},
  journal   = {Synthese},
  volume    = {133},
  number    = {1-2},
  pages     = {107--129},
  year      = {2002},
}

@inproceedings{pedrot18,
author="Pierre-Marie P{\'e}drot and Nicolas Tabareau",
title={{Failure is Not an Option}},
booktitle={{European Symposium on Programming (ESOP)}},
year="2018",
editor="Amal Ahmed"}

@inproceedings{matthes98,
  author    = {Ralph Matthes},
  title     = {{Monotone Fixed-Point Types and Strong Normalization}},
  booktitle = {Computer Science Logic, 12th International Workshop, {CSL} '98, Annual
               Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998,
               Proceedings},
  pages     = {298--312},
  year      = {1999},
  editor    = {Georg Gottlob and
               Etienne Grandjean and
               Katrin Seyr},
  series    = {Lecture Notes in Computer Science},
  volume    = {1584},
  publisher = {Springer},
}

@InProceedings{pientka15,
author="Pientka, Brigitte and Cave, Andrew",
editor="Felty, Amy and Middeldorp, Aart",
title={{Inductive Beluga: Programming Proofs}},
booktitle="International Conference on Automated Deduction (CADE)",
year="2015",
publisher="Springer International Publishing",
pages="272--281",
}

@book{constable+86,
  author    = {Robert L. Constable and
               Stuart F. Allen and
               Mark Bromley and
               Rance Cleaveland and
               J. F. Cremer and
               R. W. Harper and
               Douglas J. Howe and
               Todd B. Knoblock and
               N. P. Mendler and
               Prakash Panangaden and
               James T. Sasaki and
               Scott F. Smith},
  title     = {Implementing mathematics with the Nuprl proof development system},
  publisher = {Prentice Hall},
  year      = {1986},
}

@inproceedings{mishraLinger08,
  author    = {Nathan Mishra{-}Linger and
               Tim Sheard},
  title     = {{Erasure and Polymorphism in Pure Type Systems}},
  booktitle = {Foundations of Software Science and Computational Structures, 11th
               International Conference, {FOSSACS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  pages     = {350--364},
  year      = {2008},
  editor    = {Roberto M. Amadio},
  series    = {Lecture Notes in Computer Science},
  volume    = {4962},
  publisher = {Springer},
}

@inproceedings{geuvers92,
  author    = {Herman Geuvers},
  title     = {{The Church-Rosser Property for beta-eta-reduction in Typed lambda-Calculi}},
  booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
               {(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
  pages     = {453--460},
  year      = {1992},
  publisher = {{IEEE} Computer Society},
}

@InCollection{dybjer16,
	author       =	{Dybjer, Peter and Palmgren, Erik},
	title        =	{{Intuitionistic Type Theory}},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	howpublished =	{\url{https://plato.stanford.edu/archives/win2016/entries/type-theory-intuitionistic/}},
	year         =	{2016},
	edition      =	{Winter 2016},
	publisher    =	{Metaphysics Research Lab, Stanford University}
}

@misc{dreyer18,
title={{The Type Soundness Theorem That You Really Want to Prove (and Now You Can)}},
howpublished="Milner Award Lecture, delivered at Principles of Programming Languages (POPL)",
year=2018,
author="Derek Dreyer"}

@inproceedings{matthes01,
  author    = {Ralph Matthes},
  title     = {{Monotone Inductive and Coinductive Constructors of Rank 2}},
  booktitle = {Computer Science Logic, 15th International Workshop, {CSL} 2001. 10th
               Annual Conference of the EACSL, Paris, France, September 10-13, 2001,
               Proceedings},
  pages     = {600--614},
  year      = {2001},
  editor    = {Laurent Fribourg},
  series    = {Lecture Notes in Computer Science},
  volume    = {2142},
  publisher = {Springer},
}

@article{peytonjones07,
 author = {Peyton Jones, Simon and Vytiniotis, Dimitrios and Weirich, Stephanie and Shields, Mark},
 title = {{Practical Type Inference for Arbitrary-rank Types}},
 journal = {J. Funct. Program.},
 issue_date = {January 2007},
 volume = {17},
 number = {1},
 month = jan,
 year = {2007},
 pages = {1--82},
 publisher = {Cambridge University Press},
}

@article{breitner+16,
  author    = {Joachim Breitner and
               Richard A. Eisenberg and
               Simon Peyton Jones and
               Stephanie Weirich},
  title     = {Safe zero-cost coercions for {H}askell},
  journal   = {J. Funct. Program.},
  volume    = {26},
  pages     = {e15},
  year      = {2016},
}

@article{lassez82,
title = "Fixed point theorems and semantics: a folk tale",
journal = "Information Processing Letters",
volume = "14",
number = "3",
pages = "112 -- 116",
year = "1982",
author = "J.-L. Lassez and V.L. Nguyen and E.A. Sonenberg",
}

@article{tarski55,
author="Alfred Tarski",
year="1955",
pages="285--309",
title="A lattice-theoretical fixpoint theorem and its applications",
journal="Pacific Journal of Mathematics",
volume=5,
number=2}

@incollection{barendregt01,
author="Henk Barendregt",
year=2001,
title={{Discriminating Coded Lambda Terms}},
booktitle={{Logic, Meaning, and Computation: Essays in Memory of Alonzo Church}},
series="Synthese Library",
volume=305,
editor="C. Anthony Anderson and Michael Zel{\"e}ny"}

@inproceedings{bohm94,
  author    = {Corrado B{\"{o}}hm and
               Adolfo Piperno and
               Stefano Guerrini},
  title     = {{Lambda-Definition of Function(al)s by Normal Forms}},
  booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
               on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings},
  pages     = {135--149},
  year      = {1994},
  editor    = {Donald Sannella},
  volume    = {788},
  publisher = {Springer},
  year      = {1994},
}

@book{bird97,
  author    = {Richard S. Bird and
               Oege de Moor},
  title     = {Algebra of programming},
  series    = {Prentice Hall International series in computer science},
  publisher = {Prentice Hall},
  year      = {1997},
}

@article{uustalu99,
 author = {Uustalu, Tarmo and Vene, Varmo},
 title = {Mendler-style Inductive Types, Categorically},
 journal = {Nordic J. of Computing},
 issue_date = {Fall 1999},
 volume = {6},
 number = {3},
 month = sep,
 year = {1999},
 issn = {1236-6064},
 pages = {343--361},
 numpages = {19},
 acmid = {774462},
 publisher = {Publishing Association Nordic Journal of Computing},
 address = {Finland},
 keywords = {Mendler-style, categorical program calculation, inductive types, initial algebras, prefixed points, typed functional programming},
}

@INPROCEEDINGS{hickey96,
    author = {Jason J. Hickey},
    title = {Formal objects in type theory using very dependent types},
    booktitle = {In Foundations of Object Oriented Languages (FOOL) 3},
    year = {1996}
}

@article{GP02:newapproach,
author = {Murdoch J. Gabbay and Andrew M. Pitts},
title = {A New Approach to Abstract Syntax with Variable Binding},
journal = {Formal Aspects of Computing},
year = {2001},
month = {July},
volume = {13},
number = {3—5},
pages = {341—363},
doi = {10.1007/s001650200016},
pdf = {http://www.gabbay.org.uk/papers/newaas-jv.pdf}
}

@INPROCEEDINGS{Norrish04,
    author = {Michael Norrish},
    title = {{Recursive Function Definition for Types with Binders}},
    booktitle = {In Seventeenth International Conference on Theorem Proving in Higher Order Logics},
    year = {2004},
    pages = {241--256}
}

@article{CopelloTSBF16,
  author    = {Ernesto Copello and
               Alvaro Tasistro and
               Nora Szasz and
               Ana Bove and
               Maribel Fern{\'{a}}ndez},
  title     = {Alpha-Structural Induction and Recursion for the Lambda Calculus in
               Constructive Type Theory},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {323},
  pages     = {109--124},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.entcs.2016.06.008},
  doi       = {10.1016/j.entcs.2016.06.008},
  timestamp = {Sun, 28 May 2017 13:22:55 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/CopelloTSBF16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{stoughton,
  author    = {A. Stoughton},
  title     = {Substitution Revisited},
  journal   = {Theor. Comput. Sci.},
  volume    = {59},
  year      = {1988},
  pages     = {317-325},
  ee        = {http://dx.doi.org/10.1016/0304-3975(88)90149-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DespeyrouxFH95,
  author = {Despeyroux, Joëlle and Felty, Amy P. and Hirschowitz, André},
  title = {{Higher-Order Abstract Syntax in Coq}},
  booktitle = {TLCA},
  description = {dblp},
  editor = {Dezani-Ciancaglini, Mariangiola and Plotkin, Gordon D.},
  pages = {124-138},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 902,
  year = 1995
}

@incollection{UrbanT05,
year={2005},
isbn={978-3-540-28005-7},
booktitle={Automated Deduction – CADE-20},
volume={3632},
series={Lecture Notes in Computer Science},
editor={Nieuwenhuis, Robert},
title={{Nominal Techniques in Isabelle/HOL}},
publisher={Springer Berlin Heidelberg},
keywords={Lambda-calculus; nominal logic; structural induction; theorem-assistants},
author={Urban, Christian and Tasson, Christine},
pages={38-53},
language={English}
}

@TECHREPORT{Despeyroux96,
    author = {Joëlle Despeyroux and Frank Pfenning and Carsten Schürmann},
    title = {Primitive recursion for higher order abstract syntax},
    institution = {Carnegie Mellon University},
    year = {1996}
}

@inproceedings{mccarthy62,
  author    = {John McCarthy},
  title     = {{Towards a Mathematical Science of Computation}},
  booktitle = {{IFIP} Congress},
  pages     = {21--28},
  year      = {1962},
}

@inproceedings{Kashima2000,
  title={{A Proof of the Standardization Theorem in {$\lambda$}-Calculus}},
  author={Ryo Kashima},
  year={2000},
  note={available from author's web page}
}

@misc{Pfe01_Lecture-Notes-on-Bidirectional-Type-Checking,
  author = {Pfenning, Frank},
  keywords = {type inference, bidirectional type inference},
  title = {Lecture notes on Bidirectional Typing},
  howpublished = {https://www.cs.cmu.edu/~fp/courses/15312-f04/handouts/15-bidirectional.pdf},
  month = {October},
  year = {2001},
}

@inproceedings{Kle65_Classical-Extensions-of-Intuitionistic-Mathematics,
  author = {Kleene, S.C.},
  title = {{Classical Extensions of Intuitionistic Mathematics}},
  year = {1965},
  booktitle = {LMPS 2},
  editor = {Bar-Hillel, Y.},
  publisher = {North-Holland Publishing Company},
  pages = {31--44},
  reviews = {JSL 40.508; MR 35#28 ; ZBL 192.30},
}

@article{BDPR79_Bohm-Algorithm,
  title = {A discrimination algorithm inside lambda-beta-calculus},
  journal = {Theoretical Computer Science},
  volume = {8},
  number = {3},
  pages = {271 - 291},
  year = {1979},
  issn = {0304-3975},
  doi = {https://doi.org/10.1016/0304-3975(79)90014-8},
  url = {http://www.sciencedirect.com/science/article/pii/0304397579900148},
  author = {C. Böhm and M. Dezani-Ciancaglini and P. Peretti and S.Ronchi Della Rocca},
  abstract = {A finite set {F1,…,Fn} of λ-terms is said to be discriminable if, given n arbitrary λ-terms X1,…,Xn, there exists a λ-term Δ such that: ΔFi ⩾ Xi for 1 ⩽ i ⩽ n. In the present paper each finite set of normal combinators which are pairwise non α-η-convertible is proved to be discriminable. Moreover a discrimination algorithm is given.},
}

@inproceedings{BB08_ICC-as-a-Programming-Language,
  author = {Bruno Barras and Bruno Bernardo},
  editor = {Roberto M. Amadio},
  title = {The Implicit Calculus of Constructions as a Programming Language with Dependent Types},
  booktitle = {Foundations of Software Science and Computational Structures, 11th International Conference, {FOSSACS} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {4962},
  pages = {365--379},
  publisher = {Springer},
  year = {2008},
  url = {https://doi.org/10.1007/978-3-540-78499-9\_26},
  doi = {10.1007/978-3-540-78499-9\_26},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl = {https://dblp.org/rec/conf/fossacs/BarrasB08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords = {icc, subtyping, dependent types},
}

repository: cedille/cedille

repo_name: cedille/cedille

gha_language: Agda


text:
if (WIN32)
find_package( GSL )
else (WIN32)
include( UsePkgConfig )

pkgconfig( gsl gsl_INCLUDE_DIR gsl_LINK_DIR gsl_LINK_FLAGS gsl_CFLAGS )

string(REGEX REPLACE "\n" " " gsl_INCLUDE_DIR "${gsl_INCLUDE_DIR}")
string(REGEX REPLACE "\n" " " gsl_CFLAGS "${gsl_CFLAGS}")
string(REGEX REPLACE "\n" " " gsl_LINK_FLAGS "${gsl_LINK_FLAGS}")

add_definitions( ${gsl_CFLAGS} )
link_directories( ${gsl_LINK_DIR} )

if( NOT gsl_CFLAGS OR NOT gsl_LINK_DIR )
    message( FATAL_ERROR "Gnu Scientific Library not found." )
endif( NOT gsl_CFLAGS OR NOT gsl_LINK_DIR )

endif (WIN32)

repository: dekamps/miind

repo_name: dekamps/miind


text:
window.onload = function () {
  var srcImage = document.querySelector('img')
  var srcImages = document.querySelectorAll('img')
  var output = document.getElementById('output_images')
  var statusDiv = document.getElementById('status')

  var i = 0
  var palettes = [
    null,
    [0xffffff, 0x000000],
    [0xff0000, 0x00ff00, 0x0000ff, 0x000000],
    [0xff0000, 0xff00ff, 0xffffff, 0x000000],
    [0xff000000, 0xff55ff55, 0xffff5555, 0xffffff55], // CGA mode 0
    [0xff000000, 0xff55ffff, 0xffff55ff, 0xffffffff], // CGA mode 1
    [
      0xff000000,
      0xff0000aa,
      0xff00aa00,
      0xff00aaaa,
      0xffaa0000,
      0xffaa00aa,
      0xffaa5500,
      0xffaaaaaa,
      0xff555555,
      0xff5555ff,
      0xff55ff55,
      0xff55ffff,
      0xffff5555,
      0xffff55ff,
      0xffffff55,
      0xffffffff,
    ], // EGA
    [0xff0000, 0xff00ff, 0xffffff], // Faulty palette without power of two colours
    [0xff0000], // Faulty with less than 2 colours
  ]

  var width = srcImage.clientWidth
  var height = srcImage.clientHeight
  var lastTime = 0

  // We'll start by generating static one frame versions of the first image
  // using different palettes
  // Then when that's done we'll build 3 frame gifs with different palettes
  generateImage()

  function generateImage() {
    var ag = new Animated_GIF.default({
      repeat: null,
      palette: palettes[i],
    })

    lastTime = Date.now()

    ag.setSize(width, height)
    ag.addFrame(srcImage)

    ag.getBase64GIF(function (gif) {
      ag.destroy()

      var now = Date.now()
      var elapsed = ((now - lastTime) * 0.001).toFixed(2)
      var div = document.createElement('div')
      var statusText = getStatusText(i, gif, elapsed)
      div.innerHTML = '
' + statusText + '
'

      statusDiv.innerHTML = statusText

      var img = document.createElement('img')
      img.src = gif

      div.appendChild(img)

      output.appendChild(div)
      window.scrollTo(0, document.body.clientHeight)

      i++
      lastTime = now

      if (i < palettes.length) {
        setTimeout(generateImage, 1)
      } else {
        i = 0
        setTimeout(generateAnimatedImage, 1)
      }
    })
  }

  function generateAnimatedImage() {
    var ag = new Animated_GIF.default({
      repeat: 0,
      palette: palettes[i],
      dithering: 'nearest',
    })

    lastTime = Date.now()

    ag.setSize(width, height)

    for (var k = 0; k < srcImages.length; k++) {
      ag.addFrame(srcImages[k])
    }

    ag.getBase64GIF(function (gif) {
      ag.destroy()

      var now = Date.now()
      var elapsed = ((now - lastTime) * 0.001).toFixed(2)
      var div = document.createElement('div')

      var statusText = getStatusText(i, gif, elapsed)
      div.innerHTML = '
' + statusText + '
'

      statusDiv.innerHTML = statusText

      var img = document.createElement('img')
      img.src = gif

      div.appendChild(img)

      output.appendChild(div)
      window.scrollTo(0, document.body.clientHeight)

      i++
      lastTime = now

      if (i < palettes.length) {
        setTimeout(generateAnimatedImage, 1)
      }
    })
  }

  function getStatusText(paletteIndex, gif, elapsed) {
    // TODO: render palette swatches too
    return (
      'Palette ' +
      paletteIndex +
      ' / GIF length = ' +
      toKB(gif.length) +
      ' elapsed = ' +
      elapsed
    )
  }

  function toKB(size) {
    return Math.round(size / 1024) + ' kB'
  }
}

repository: adriandelisle/gif-transparency

repo_name: adriandelisle/gif-transparency

gha_language: JavaScript