text:
require xorg-driver-video.inc

DESCRIPTION = "X.Org X server -- displaylink driver"

RRECOMMENDS_${PN} = "kernel-module-udlfb"

SRC_URI = "http://projects.unbit.it/downloads/udlfb-0.2.3_and_xf86-video-displaylink-${PV}.tar.gz;name=archive \
           file://xf86-video-displaylink-0.3-xorg-abi-fix.patch \
"

S = "${WORKDIR}/${PN}"
SRC_URI[archive.md5sum] = "c2aedc8130c2e4d52e334b6804ab70da"
SRC_URI[archive.sha256sum] = "487a1d7bf4b896d9a4b9e7dd1bd293adcadde5684fe9fe32aa209761c3191b3e"


text:
@Article{archlinux,
languange = {english},
author = {Arch Linux},
title = {Latest installation medium},
year = {2013}
}
@book{rolling,
hyphenation = {greek},
author = {\gr{Λίνους Τορβαλντς}},
publisher = {Linux Foundation},
title = {{\gr{Ο πυρήνας του}} {\en{Linux}}},
year = {1991}
}

repository: monopatis/LaTeX

license_type: permissive

repo_name: monopatis/LaTeX

branch_name: refs/heads/master

extension: bib


text:
@article{Lahnemann2019,
 abstract = {The recent upswing of microfluidics and combinatorial indexing strategies, further enhanced by very low sequencing costs, have turned single cell sequencing into an empowering technology; analyzing thousands—or even millions—of cells per experimental run is becoming a routine assignment in laboratories worldwide. As a consequence, we are witnessing a data revolution in single cell biology. Although some issues are similar in spirit to those experienced in bulk sequencing, many of the emerging data science problems are unique to single cell analysis; together, they give rise to the new realm of 'Single Cell Data Science'. Here, we outline twelve challenges that will be central in bringing this new field forward. For each challenge, the current state of the art in terms of prior work is reviewed, and open problems are formulated, with an emphasis on the research goals that motivate them. This compendium is meant to serve as a guideline for established researchers, newcomers and students alike, highlighting interesting and rewarding problems in 'Single Cell Data Science' for the coming years.},
 author = {Lähnemann, David and Köster, Johannes and Szczurek, Ewa and Mccarthy, Davis J and Hicks, Stephanie C and Mark, D and Florescu, Maria and Guryev, Victor and Holmer, Rens and Jahn, Katharina and Lobo, Thamar Jessurun and Emma, M and Reinders, Marcel and Ridder, Jeroen De and Saliba, Antoine-emmanuel and Somarakis, Antonios},
 doi = {10.7287/peerj.preprints.27885v2},
 journal = {PeerJ Preprints},
 title = {12 Grand Challenges in Single-Cell Data Science},
 year = {2019}
}

license: MIT

repository: ahmedmahfouz/academic-kickstart

repo_name: ahmedmahfouz/academic-kickstart

gha_license_id: MIT


text:
SUMMARY = "Clear boot-once variables"
DESCRIPTION = "Clear u-boot variables used for one-time boot flow"

RDEPENDS_${PN} = "${@d.getVar('PREFERRED_PROVIDER_u-boot-fw-utils', True) or 'u-boot-fw-utils'}"

inherit obmc-phosphor-systemd

LICENSE = "Apache-2.0"
LIC_FILES_CHKSUM = "file://${PHOSPHORBASE}/COPYING.apache-2.0;md5=34400b68072d710fecd0a2940a0d1658"

repository: Ircona/openbmc

repo_name: Ircona/openbmc

gha_license_id: NOASSERTION

gha_language: Python

extension: bb


text:
SUMMARY = "A dedicated search application built on top of Baloo"
LICENSE = "GPLv2 & LGPLv2.1"
LIC_FILES_CHKSUM = " \
    file://COPYING;md5=b234ee4d69f5fce4486a80fdaf4a4263 \
    file://COPYING.LIB;md5=4fbd65380cdd255951079008b364516c \
"

inherit kde-plasma gettext

DEPENDS += " \
    qtscript \
    qtdeclarative \
    \
    kconfig-native \
    kcoreaddons-native \
    kpackage-native \
    krunner \
    plasma-framework \
    ki18n \
    kdeclarative \
    kservice \
"

PV = "${PLASMA_VERSION}"
SRC_URI[md5sum] = "f6b282911babcd8d51962043666c1c30"
SRC_URI[sha256sum] = "3bf3abbf8a7c28fdd2c72be815c6a177302f71ef71896d5f0d33464141900f66"

FILES_${PN} += " \
    ${datadir}/k*5 \
    ${datadir}/plasma \
    ${OE_QMAKE_PATH_PLUGINS} \
    ${OE_QMAKE_PATH_QML} \
"

FILES_${PN}-dbg += " \
    ${OE_QMAKE_PATH_PLUGINS}/.debug \
    ${OE_QMAKE_PATH_QML}/*/*/*/.debug \
"


text:
@online{ecabc_github,
author = {Sanskriti Sharma},
title = {ECabc: A feature tuning program focused on Artificial Neural Network hyperparameters},
year = {2019},
url = {https://github.com/ECRL/ECabc},
urldate = {2019-04-12}
}

@online{ecabc_pypi,
author = {Sanskriti Sharma, Hernan Gelaf-Romer},
title = {ecabc 2.2.2},
year = {2019},
url = {https://pypi.python.org/pypi/ecabc/},
urldate = {2019-04-12}
}

@online{uml_ecrl,
author = {John Hunter Mack},
title = {Energy and Combustion Research Laboratory},
year = {2019},
url = {http://faculty.uml.edu/Hunter_Mack/},
urldate = {2019-04-12}
}

@book{Hassoun_2009,
Author = {{Hassoun}, M.},
Booktitle = {Fundamentals of Artificial Neural Networks, by Hassoun, Mohamad H.~ISBN 9788120313569 (HB).~Published by PHI Learning, Delhi, India, 2009.},
Publisher = {PHI Learning},
Title = {{Fundamentals of Artificial Neural Networks}},
Year = 2009
}

@article{Castillo_2000,
author = {P. Castillo, et al},
title = "{G-Prop: Global Optimization of Multilayer Perceptrons Using GAs}",
journal = {Neurocomputer},
year = 2000,
month = may,
volume = 35,
doi = {10.1016/s0925-2312(00)00302-7},
}

@proceedings{Cam_2015,
author = {Z. Cam et al},
title = {Learning Parameter Optimization of Multi-Layer Perceptron Using Artificial Bee Colony, Genetic Algorithm and Particle Swarm Optimization},
booktitle = {2015 IEEE 13th International Symposium on Applied Machine Intelligence and Informatics},
publisher = {IEEE},
year = {2015},
doi = {10.1109/sami.2015.7061899}
}

@article{Kessler_2017_1,
author = {T. Kessler, et al},
title = {ECNet: Large scale machine learning projects for fuel property prediction},
journal = {Journal of Open Source Software},
year = {2017},
doi = {10.21105/joss.00401}
}

@article{Kessler_2017_2,
author = {T. Kessler, et al},
title = {Artificial neural network based predictions of cetane number for furanic biofuel additives},
journal = {Fuel},
volume = {206},
pages = {171 - 179},
year = {2017},
doi = {10.1016/j.fuel.2017.06.015}
}

repository: arokem/ecabc

repo_name: arokem/ecabc


text:
SUMMARY = "Collects and summarises system performance statistics"
DESCRIPTION = "collectd is a daemon which collects system performance statistics periodically and provides mechanisms to store the values in a variety of ways, for example in RRD files."
LICENSE = "GPLv2 | MIT"
LIC_FILES_CHKSUM = "file://COPYING;md5=1bd21f19f7f0c61a7be8ecacb0e28854"

DEPENDS = "rrdtool libtool lmsensors libmnl libgcrypt curl dbus"

SRC_URI = "http://collectd.org/files/collectd-${PV}.tar.bz2 \
           file://check-wordexp-harder.patch \
           file://check-utmp-harder.patch \
           file://0001-dbus-plugin-Started-working-on-a-dbus-plugin-for-col.patch \
           file://etc_sv_${PN}_run \
           file://etc_sv_${PN}_down \
"
SRC_URI[md5sum] = "979f43b6439d7df93f0b40c73d779223"
SRC_URI[sha256sum] = "c30ff644f91407b4dc2d99787b99cc45ec00e538bd1cc269429d3c5e8a4aee2c"

inherit autotools-brokensep pkgconfig runit

RUNIT_SERVICES = "${PN}"

# Floatingpoint layout, architecture dependent
# 'nothing', 'endianflip' or 'intswap'
FPLAYOUT ?= "--with-fp-layout=nothing"

EXTRA_OECONF = " \
                ${FPLAYOUT} \
                --enable-conntrack \
                --sysconfdir=${sysconfdir}/collectd \
                --enable-cpu \
                --enable-disk \
                --enable-netlink \
                --enable-wireless \
                --enable-sensors \
                --enable-unixsock \
                --enable-dbus \
                --disable-perl   --with-libperl=no --with-perl-bindings=no \
                --disable-python --with-python=no --with-libpython=no \
                --disable-mysql  --with-libmysql=no \
                --disable-snmp  --with-libnetsnmp=no \
                --disable-postgresql --disable-pinba \
                --enable-write_http \
                --disable-notify_desktop \
                --without-libgcrypt \
                --with-libgcrypt=no \
                --with-java=no \
"

do_install_append() {
    rmdir "${D}${localstatedir}/run"
    rmdir --ignore-fail-on-non-empty "${D}${localstatedir}"
}

PACKAGES_prepend = " ${PN}-utils "
# See:
# https://www.yoctoproject.org/docs/current/dev-manual/dev-manual.html#handling-optional-module-packaging
PACKAGES_DYNAMIC += "^collectd-plugin-.*"

python populate_packages_prepend () {
    collectd_libdir = d.expand('${libdir}/collectd')
    do_split_packages(d, collectd_libdir, '^(.*)\.so$', 'collectd-plugin-%s', 'collectd plugin for %s', extra_depends='')
}

FILES_${PN} = "/usr/sbin/collectd /usr/share /usr/lib/lib* /etc /var"
FILES_${PN}-utils = "/usr/sbin/collectdmon /usr/bin/collect*"
FILES_${PN}-dev += "/usr/lib/collecd/*.la"

repository: Securepoint/yocto-meta-securepoint

repo_name: Securepoint/yocto-meta-securepoint


text:
require upstart.inc

SRC_URI = "http://upstart.ubuntu.com/download/0.3/upstart-${PV}.tar.bz2 \
"

RRECOMMENDS_${PN} = "libupstart upstart-sysvcompat"

PR = "r1"

repository: demsey/openembedded

repo_name: demsey/openembedded

branch_name: HEAD


text:
@inproceedings{nguyen17developing,
 author = {T. Nguyen and G.K.I. Mann and A. Vardy and R.G. Gosine},
 booktitle = {Canadian Conference on Computer and Robot Vision},
 date-added = {2019-10-06 21:33:55 -0230},
 date-modified = {2019-10-06 21:33:55 -0230},
 publisher = {IEEE Xplore},
 title = {Developing A Cubature Multi-State Constraint Kalman Filter for Visual-Inertial Navigation System},
 year = {2017}
}

repository: ooooxy/academic-kickstart

repo_name: ooooxy/academic-kickstart


text:
@article{Marcias2016,
 abstract = {Abstract Intertidal zones are one of the most studied habitats in the world. However, in Antarctica, further studies are needed for a more complete understanding of these systems. When conspicuous Antarctic intertidal communities occur, macroalgae are a key component. Given that intertidal communities have a fast response to variations in environmental conditions and could reflect climate fluctuations, we conducted a non-destructive study with photographic transects in an intertidal zone at Potter Peninsula, Isla 25 de Mayo/King George Island, over four years and during five months of the warm season. We tested the general hypothesis that macroalgal intertidal communities are mainly structured by the vertical stress gradient and that changes in temperature between seasons and between years have a great influence in the macroalgal community structure. Spatial, seasonal and inter-annual variations were studied using GLM, quantile regression and NMDS ordinations. The vertical stress gradient was the main factor that explained macroalgal cover. The Low and the Middle level shared similarities, but the latter was more variable. The High level had the lowest cover, richness and diversity. The dominant species here was the endemic red alga Pyropia endiviifolia, which is strongly adapted to extreme conditions. At the Middle level, there was a significant increase in macroalgal cover during spring months, and it stabilized in summer. Inter-annual variations showed that there is a strong variation in the total macroalgal cover and community structure over the studied years. Environmental conditions have a significant effect in shaping the studied intertidal community, which is very sensitive to climate oscillations. An increase in temperature produced a decrease of annual ice foot cover, number of snow days and - as a result - an increase in macroalgal cover. In a global climate-change scenario, a shift in species composition could also occur. Species with wide physiological tolerance that grow in warmer conditions, like Palmaria decipiens, could benefit, while other species will be discriminated. More detailed studies are necessary to predict future changes in Antarctic intertidal communities.},
 author = {Marcías, María Laura and Deregibus, Dolores and Saravia, Leonardo and Campana, Gabriela Laura and Quartino, María Liliana},
 date = {2016},
 doi = {http://dx.doi.org/10.1016/j.ecss.2016.12.023},
 file = {/home/leonardo/Zotero/storage/BP3PXJXL/Marcías et al. - 2016 - Life between tides Spatial and temporal variations of an intertidal macroalgal community at Potter Peninsula, S.pdf},
 issn = {0272-7714},
 journaltitle = {Estuarine, Coastal and Shelf Science},
 keywords = {Aquatic communities,Benthos,Community structure,Ecological zonation,Isla 25 de Mayo/King George Island,Seaweeds},
 pages = {193--203},
 title = {Life between Tides: Spatial and Temporal Variations of an Intertidal Macroalgal Community at Potter Peninsula, South Shetland Islands, Antarctica},
 url = {http://www.sciencedirect.com/science/article/pii/S0272771416307880},
 volume = {187}
}

gha_language: HTML


text:
DESCRIPTION = "Image loading library"
LICENSE = "GPLv2"
DEPENDS = "gtk+-1.2 jpeg tiff libpng libungif"

inherit gnome binconfig

SRC_URI += "file://configure.patch"

EXTRA_OECONF = " --enable-modules \
		 --disable-gtktest \
		ac_cv_dynworks=true \
		"

do_stage() {
	install -m 644 Imlib/*.h ${STAGING_INCDIR}
	install -m 644 gdk_imlib/*.h ${STAGING_INCDIR}
	oe_libinstall -a -so -C Imlib libImlib ${STAGING_LIBDIR}
	oe_libinstall -a -so -C gdk_imlib libgdk_imlib ${STAGING_LIBDIR}
}

SRC_URI[archive.md5sum] = "7db987e6c52e4daf70d7d0f471238eae"
SRC_URI[archive.sha256sum] = "4e6a270308a9ae16586bfc133c1a3dfb2e56f431edb66aaa3a80e36e5ed84ce0"

repository: overo/overo-oe-natty

repo_name: overo/overo-oe-natty


text:
@inproceedings{yi2020linear,
  title={Linear Convergence for Distributed Optimization Without Strong Convexity},
  author={Yi, Xinlei and Zhang, Shengjun and Yang, Tao and Chai, Tianyou and Johansson, Karl H},
  booktitle={2020 59th IEEE Conference on Decision and Control (CDC)},
  pages={3643--3648},
  year={2020},
  organization={IEEE}
}


text:
SUMMARY = "Core utility library for all LXQt components"
LICENSE = "LGPLv2.1"
LIC_FILES_CHKSUM = "file://COPYING;md5=435ed639f84d4585d93824e7da3d85da"

inherit lxqt distro_features_check

REQUIRED_DISTRO_FEATURES = "x11"

DEPENDS += "qttools libqtxdg kwindowsystem libxscrnsaver"

SRCREV = "6568246eab84a21a1d3cd1febbe58f7d948fda19"
PV = "0.11.1"

EXTRA_OECMAKE += " \
    -DCMAKE_INSTALL_DATAROOTDIR=share \
    -DLXQT_ETC_XDG_DIR=${sysconfdir}/xdg \
"


text:
require mpfr.inc

DEPENDS = "gmp"
S = "${WORKDIR}/mpfr-${PV}"
NATIVE_INSTALL_WORKS = "1"
PR = "${INC_PR}.1"

SRC_URI = "http://www.mpfr.org/mpfr-${PV}/mpfr-${PV}.tar.bz2 \
           file://p4.patch"

# fix build in thumb mode for armv4t
SRC_URI_append_thumb = " file://long-long-thumb.patch"

EXTRA_OECONF_append_virtclass-native = " --enable-static"

SRC_URI[md5sum] = "f45bac3584922c8004a10060ab1a8f9f"
SRC_URI[sha256sum] = "8f4e5f9c53536cb798a30455ac429b1f9fc75a0f8af32d6e0ac31ebf1024821f"


text:
@ARTICLE{10.3389/fpubh.2022.979448,

AUTHOR={Roller, Roland and Mayrdorfer, Manuel and Duettmann, Wiebke and Naik, Marcel G. and Schmidt, Danilo and Halleck, Fabian and Hummel, Patrik and Burchardt, Aljoscha and Möller, Sebastian and Dabrock, Peter and Osmanodja, Bilgin and Budde, Klemens},

TITLE={Evaluation of a clinical decision support system for detection of patients at risk after kidney transplantation},

JOURNAL={Frontiers in Public Health},

VOLUME={10},

YEAR={2022},

URL={https://www.frontiersin.org/articles/10.3389/fpubh.2022.979448},

DOI={10.3389/fpubh.2022.979448},

ISSN={2296-2565},

ABSTRACT={Patient care after kidney transplantation requires integration of complex information to make informed decisions on risk constellations. Many machine learning models have been developed for detecting patient outcomes in the past years. However, performance metrics alone do not determine practical utility. We present a newly developed clinical decision support system (CDSS) for detection of patients at risk for rejection and death-censored graft failure. The CDSS is based on clinical routine data including 1,516 kidney transplant recipients and more than 100,000 data points. In a reader study we compare the performance of physicians at a nephrology department with and without the CDSS. Internal validation shows AUC-ROC scores of 0.83 for rejection, and 0.95 for graft failure. The reader study shows that predictions by physicians converge toward the CDSS. However, performance does not improve (AUC–ROC; 0.6413 vs. 0.6314 for rejection; 0.8072 vs. 0.7778 for graft failure). Finally, the study shows that the CDSS detects partially different patients at risk compared to physicians. This indicates that the combination of both, medical professionals and a CDSS might help detect more patients at risk for graft failure. However, the question of how to integrate such a system efficiently into clinical practice remains open.}
}

branch_name: refs/heads/src

gha_language: TeX


text:
@article{contreras-nietoCharacterizationSteelBridge2018,
  title = {Characterization of {{Steel Bridge Superstructure Deterioration}} through {{Data Mining Techniques}}},
  volume = {32},
  number = {5},
  journal = {Journal of Performance of Constructed Facilities},
  author = {{Contreras-Nieto}, Cristian and Shan, Yongwei and Lewis, Phil},
  year = {2018},
  pages = {04018062},
  file = {C:\\Users\\alexb\\Zotero\\storage\\EP6KF5K5\\Contreras-Nieto et al. - 2018 - Characterization of Steel Bridge Superstructure De.pdf;C:\\Users\\alexb\\Zotero\\storage\\A9229FCF\\(ASCE)CF.1943-5509.html}
}

@article{veshoskyComparativeAnalysisBridge1994,
  title = {Comparative Analysis of Bridge Superstructure Deterioration},
  volume = {120},
  number = {7},
  journal = {Journal of Structural Engineering},
  author = {Veshosky, David and Beidleman, Carl R. and Buetow, Gerald W. and Demir, Muge},
  year = {1994},
  pages = {2123--2136},
  file = {C:\\Users\\alexb\\Zotero\\storage\\MXZQLLSL\\Veshosky et al. - 1994 - Comparative analysis of bridge superstructure dete.pdf;C:\\Users\\alexb\\Zotero\\storage\\8RWR5EJB\\(ASCE)0733-9445(1994)1207(2123).html}
}

@inproceedings{asce2017InfrastructureReport2017,
  title = {The 2017 {{Infrastructure Report Card}}: {{A}} Comprehensive Assessment of {{America}}'s Infrastructure},
  shorttitle = {The 2017 {{Infrastructure Report Card}}},
  publisher = {{American Society of Civil Engineers Washington, DC}},
  author = {{ASCE}},
  year = {2017}
}

@phdthesis{contreras-nietoDevelopmentLinearModels2014,
  type = {{{PhD Thesis}}},
  title = {Development of Linear Models to Predict Superstructure Ratings of Steel and Prestressed Concrete Bridges},
  school = {Oklahoma State University},
  author = {{Contreras-Nieto}, Cristian},
  year = {2014},
  file = {C:\\Users\\alexb\\Zotero\\storage\\475BWC4P\\Contreras-Nieto - 2014 - Development of linear models to predict superstruc.pdf;C:\\Users\\alexb\\Zotero\\storage\\DEHWNLKW\\14780.html}
}

@article{saeedPerformanceEvaluationLife2017,
  title = {Performance {{Evaluation}} and {{Life Prediction}} of {{Highway Concrete Bridge Superstructure}} across {{Design Types}}},
  volume = {31},
  issn = {0887-3828, 1943-5509},
  doi = {10.1061/(ASCE)CF.1943-5509.0001051},
  abstract = {Managers of highway bridge infrastructure constantly seek to improve their predictions of the physical performance of their facilities at any future time and also to identify the influential factors of bridge deterioration. In addressing this subject for concrete superstructures in particular, this paper uses empirical data from Indiana spanning 1992\textendash{}2014. The superstructure design types considered are cast-in-place concrete (slab, stringer, and arch-deck) and prestressed concrete (stringer, T-beam, box-beam multiple, and box-beam single). Exponential and polynomial functional forms are investigated as part of the modeling process. A number of factors are found to have statistically significant influence on the deterioration of the concrete superstructures' physical condition consistently across all design types, and other factors are found to be significant only for some design types. The paper also carries out sensitivity and marginal effects analyses to quantify the strength of effect of the influential factors on superstructure deterioration. Using the developed models, the paper establishes service lives for each concrete superstructure design type and compares the findings with those of past studies. The developed models can help highway agencies to carry out condition-based scheduling of bridge superstructure rehabilitation and reconstruction and to identify the materials and designs that are best suited to specific climates. This is useful for a number of agency processes including work programming and scheduling, and for feedback to bridge designers and maintenance personnel. DOI: 10.1061/(ASCE) CF.1943-5509.0001051. \textcopyright{} 2017 American Society of Civil Engineers.},
  language = {en},
  number = {5},
  journal = {Journal of Performance of Constructed Facilities},
  author = {Saeed, Tariq Usman and Moomen, Milhan and Ahmed, Anwaar and {Murillo-Hoyos}, Jackeline and Volovski, Matthew and Labi, Samuel},
  month = oct,
  year = {2017},
  pages = {04017052},
  file = {C:\\Users\\alexb\\Zotero\\storage\\I8UZP6VK\\Saeed et al. - 2017 - Performance Evaluation and Life Prediction of High.pdf}
}

@article{bektasbasakaldemirUsingClassificationTrees2013,
  title = {Using {{Classification Trees}} for {{Predicting National Bridge Inventory Condition Ratings}}},
  volume = {19},
  doi = {10.1061/(ASCE)IS.1943-555X.0000143},
  number = {4},
  journal = {Journal of Infrastructure Systems},
  author = {{Bektas Basak Aldemir} and {Carriquiry Alicia} and {Smadi Omar}},
  month = dec,
  year = {2013},
  pages = {425-433},
  file = {C:\\Users\\alexb\\Zotero\\storage\\U4X8FALV\\Bektas Basak Aldemir et al. - 2013 - Using Classification Trees for Predicting National.pdf;C:\\Users\\alexb\\Zotero\\storage\\GXGFW2VX\\(ASCE)IS.1943-555X.html}
}

@article{bektasUseRecursivePartitioning2017,
  title = {Use of {{Recursive Partitioning}} to {{Predict National Bridge Inventory Condition Ratings}} from {{National Bridge Elements Condition Data}}},
  volume = {2612},
  issn = {0361-1981},
  doi = {10.3141/2612-04},
  abstract = {In the United States, National Bridge Inventory (NBI) condition ratings, since the 1970s, and AASHTO's commonly recognized (CoRe) element condition data, since the 1990s, have provided two major sources of bridge condition data. Although these separate systems of condition assessment had their individual uses, comparing the two, and mapping one from the other had uses for both state and federal agencies and the bridge management community. Alternative methods for this mapping have been proposed in the literature with varying predictive accuracy. With the publication of the new AASHTO Manual for Bridge Element Inspection in 2013, national bridge elements (NBEs) replace the CoRe element condition data as the comparable condition data for the NBI condition ratings. This paper investigates the use of the recursive partitioning method to develop classification trees that predict NBI condition ratings from NBE condition data. On the basis of data from a 2016 submission and 12 transportation agencies, classification trees were developed that presented the most likely NBI condition ratings for a set of logical conditions based on the relative element quantities and the percentage of element quantities in the condition states. The predictive accuracies for the trees are sufficient, and the percentages of exact matches and matches within one error term are better than other studies in the literature. Although the trees can be improved in the future with the availability of more NBE data submissions, the study presented preliminary decision trees with sufficient predictive accuracy that could be adopted by transportation agencies for a variety of bridge management functions.},
  journal = {Transportation Research Record: Journal of the Transportation Research Board},
  author = {Bekta{\c s}, Ba{\c s}ak Aldemir},
  month = jan,
  year = {2017},
  pages = {29-38},
  file = {C:\\Users\\alexb\\Zotero\\storage\\HFVSAC3G\\2612-04.html}
}

@article{brackenSpatialVariabilitySeasonal2015,
  title = {Spatial Variability of Seasonal Extreme Precipitation in the Western {{United States}}},
  volume = {120},
  copyright = {\textcopyright{}2015. American Geophysical Union. All Rights Reserved.},
  issn = {2169-8996},
  doi = {10.1002/2015JD023205},
  abstract = {We examine the characteristics of 3 day total extreme precipitation in the western United States. Coherent seasonal spatial patterns of timing and magnitude are evident in the data, motivating a seasonally based analysis. Using a clustering method that is consistent with extreme value theory, we identify coherent regions for extremes that vary seasonally. Based on storm back trajectory analysis, we demonstrate unique moisture sources and dominant moisture pathways for each spatial region. In the winter the Pacific Ocean is the dominant moisture source across the west, but in other seasons the Gulf of Mexico, the Gulf of California, and the land surface over the midwestern U.S. play an important role. We find the El Ni\~no\textendash{}Southern Oscillation (ENSO) to not have a strong impact on dominant moisture delivery pathways or moisture sources. The frequency of extremes under ENSO is spatially coherent and seasonally dependent with certain regions tending to have more (less) frequent extreme events in El Ni\~no (La Ni\~na) conditions.},
  language = {en},
  number = {10},
  journal = {Journal of Geophysical Research: Atmospheres},
  author = {Bracken, C. and Rajagopalan, B. and Alexander, M. and Gangopadhyay, S.},
  year = {2015},
  keywords = {back trajectories,extreme events,extreme regions,moisture sources,precipitation,western U.S},
  pages = {4522-4533},
  file = {C:\\Users\\alexb\\Zotero\\storage\\YX2HXYGB\\Bracken et al. - 2015 - Spatial variability of seasonal extreme precipitat.pdf;C:\\Users\\alexb\\Zotero\\storage\\MN77QVDP\\2015JD023205.html}
}

@article{wesemanRecordingCodingGuide1995,
  title = {Recording and Coding Guide for the Structure Inventory and Appraisal of the Nation's Bridges},
  volume = {119},
  journal = {United States Department of Transportation (Ed.), Federal Highway Administration, USA},
  author = {Weseman, W. A.},
  year = {1995}
}

@article{voseImprovedHistoricalTemperature2014,
  title = {Improved {{Historical Temperature}} and {{Precipitation Time Series}} for {{U}}.{{S}}. {{Climate Divisions}}},
  volume = {53},
  issn = {1558-8424},
  doi = {10.1175/JAMC-D-13-0248.1},
  abstract = {This paper describes an improved edition of the climate division dataset for the conterminous United States (i.e., version 2). The first improvement is to the input data, which now include additional station networks, quality assurance reviews, and temperature bias adjustments. The second improvement is to the suite of climatic elements, which now includes both maximum and minimum temperatures. The third improvement is to the computational approach, which now employs climatologically aided interpolation to address topographic and network variability. Version 2 exhibits substantial differences from version 1 over the period 1895\textendash{}2012. For example, divisional averages in version 2 tend to be cooler and wetter, particularly in mountainous areas of the western United States. Division-level trends in temperature and precipitation display greater spatial consistency in version 2. National-scale temperature trends in version 2 are comparable to those in the U.S. Historical Climatology Network whereas version 1 exhibits less warming as a result of historical changes in observing practices. Divisional errors in version 2 are likely less than 0.5$^\circ$C for temperature and 20 mm for precipitation at the start of the record, falling rapidly thereafter. Overall, these results indicate that version 2 can supersede version 1 in both operational climate monitoring and applied climatic research.},
  number = {5},
  journal = {J. Appl. Meteor. Climatol.},
  author = {Vose, Russell S. and Applequist, Scott and Squires, Mike and Durre, Imke and Menne, Matthew J. and Williams, Claude N. and Fenimore, Chris and Gleason, Karin and Arndt, Derek},
  month = feb,
  year = {2014},
  pages = {1232-1251},
  file = {C:\\Users\\alexb\\Zotero\\storage\\R6TFPMEC\\Vose et al. - 2014 - Improved Historical Temperature and Precipitation .pdf;C:\\Users\\alexb\\Zotero\\storage\\S6EK2PJY\\JAMC-D-13-0248.html}
}


text:
%%% -*-BibTeX-*-
@article{Xie2023DodNet,
    author  = {Yutong Xie and Jianpeng Zhang and  Yong Xia and  Chunhua Shen},
    title   = {Learning from partially labeled data for multi-organ and tumor segmentation},
    journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
    year    = {2023},
    eprint  = {2211.06894},
    project = {https://git.io/DoDNet},
    venue   = {TPAMI},
}


text:
@inproceedings{ostendorff2022,
  author = {Malte Ostendorff and Till Blume and Terry Ruas and Bela Gipp
                  and Georg Rehm},
  title = {{Specialized Document Embeddings for Aspect-based Similarity
                  of Research Papers}},
  booktitle = {Proceedings of the ACM/IEEE Joint Conference on Digital
                  Libraries (JCDL 2022)},
  year = 2022,
  keywords = {aip},
  month = 6,
  address = {Cologne, Germany},
  http = {https://doi.org/10.1145/3529372.3530912},
  pdf = {https://dl.acm.org/doi/pdf/10.1145/3529372.3530912},
  pages = {1--12},
  note = {June 20-24, 2022}
}


text:
@INPROCEEDINGS{Cardoso01Survivability,
author = {Cardoso, Jorge and Luo, Zongwei and Miller, John A. and Sheth, Amit	and Kochut, Krys},
title = {Survivability Architecture for Workflow Management Systems},
booktitle = {Proceedings of the 39th Annual ACM Southeast Conference},
year = {2001},
pages = {207-216},
address = {Athens, GA, USA},
publisher = {ACM Press},
date = {March 16-17},
owner = {Jorge Cardoso},
refid = {1},
timestamp = {2010.08.26},
webpdf = {/Papers/CP-2002-003-ACM-SE-Survivability-Arch-WfMS.pdf}}


text:
@INPROCEEDINGS{Husken2007,
  author = {Peter H\"usken and J\"urgen Ziegler},
  title = {Degree-of-Interest Visualization for Ontology Exploration},
  pages = {116--119},
  abstract = {In recent years, improvements in semantic web technologies have given us new expressive description languages for modeling knowledge domains — the so called ontologies. Nevertheless, ontology editors lack of easy and intuitive user interfaces, so that the exploration and creation of ontologies is often too difficult to be efficient. In this short paper, we introduce a new tree widget which utilizes sophisticated visualization and interaction features for ontology exploration and editing as a work in progress study. Due to space limitations we co+ncentrate here on the aspect of ontology browsing.},
  doi = {10.1007/978-3-540-74796-3_12},
  year = {2007},
  booktitle = {INTERACT'07: Proceedings of the IFIP TC13 Conference on Human-Computer Interaction, Part II},
  editor = {C\'ecilia Baranauskas and Philippe Palanque and Julio Abascal and Simone Diniz Junqueira Barbosa},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  isbn = {9783540747994},
}

repository: vis-au/treevisnet

repo_name: vis-au/treevisnet


text:
DESCRIPTION = "This distribution contains a collection of utilities extracted from various \
commandline-based programs I have written, in the hope of trying to find a \
standard base to build these from in future."

SECTION = "libs"
LICENSE = "Artistic-1.0 | GPL-1.0-or-later"
PR = "r0"

MAINTAINER=	"Poky <poky@yoctoproject.org>"
HOMEPAGE=	"https://metacpan.org/release/Commandable"

LIC_FILES_CHKSUM = "file://${COMMON_LICENSE_DIR}/Artistic-1.0;md5=cda03bbdc3c1951996392b872397b798 \
file://${COMMON_LICENSE_DIR}/GPL-1.0-or-later;md5=30c0b8a5048cc2f4be5ff15ef0d8cf61"

SRC_URI = "https://cpan.metacpan.org/authors/id/P/PE/PEVANS/Commandable-0.06.tar.gz"

SRC_URI[md5sum] = "e465b003270cbc13c735b2dc08726d40"
SRC_URI[sha256sum] = "ecc16b44598c4bd81013d0e74d195b7cd9c344f2fa5d1637819be23b756a1da1"
RDEPENDS:${PN} += "module-pluggable-perl"
DEPENDS += "module-build-perl-native"
DEPENDS += "test-fatal-perl-native"
DEPENDS += "test-warnings-perl-native"

S = "${WORKDIR}/Commandable-${PV}"

inherit cpan_build allarch

BBCLASSEXTEND = "native"

repository: rehsack/meta-cpan

repo_name: rehsack/meta-cpan

gha_language: BitBake


text:
@string{NIMA = {NIMA}}

@string{PR = {PR}}

@string{PRL = {PRL}}

@string{PL = {PL}}
@string{PLB = {PLB}}

@string{APJ = {APJ }}

@string{EPJ = {EPJ}}

@string{EPJconf = {EPJconf}}

@string{NPA = {NPA}}
@string{NPB = {NPB}}

@string{JPCS = {JPCS}}

@string{JINST = {JINST}}

@string{NSSMIC = {NSS/MIC, IEEE}}

@string{TUM = {TUM}}

@string{UNIMIB = {UNIMIB}}

@string{AIPCP = {AIPCP}}
@string{ZPhA = {ZPhA}}

@string{JPG = {{JPG}}}

license: Unlicense

repository: rlalik/kclus-pubs

repo_name: rlalik/kclus-pubs


text:
@InCollection{cristancho2014application,
  title = {Application of genome studies of coffee rust},
  author = {Marco Cristancho and William Giraldo and David Botero and Javier Tabima and Diana Ortiz and Alejandro Peralta and {\a'A}lvaro Gait{\a'a}n and Silvia Restrepo and Diego Ria{\~n}o},
  pages = {133--139},
  year = {2014},
  publisher = {Springer, Cham},
  booktitle = {Advances in Computational Biology},
  date = {2014-01-01},
}


text:
# Locate uftl I/O libraries on a host OS.

IF (UNIX)
    FIND_LIBRARY(UFTL_LIBRARIES
          #PATH_SUFFIXES uftl
                 NAMES uftl
                 PATHS
                     /usr/lib/)
ENDIF()

IF (UFTL_LIBRARIES)
    MESSAGE(STATUS "Found uftl libraries in ${UFTL_LIBRARIES}")
    set(UFTL_LIB ${UFTL_LIBRARIES})
ELSE (UFTL_LIBRARIES)
    MESSAGE(STATUS "Can't find uftl libraries")
ENDIF (UFTL_LIBRARIES)

MARK_AS_ADVANCED(UFTL_LIBRARIES)

repository: sushmaad/forestdb

repo_name: sushmaad/forestdb

extension: cmake


text:
@article{Simo_n_2004,
 author = {Simón, Oihane and Williams, Trevor and Lopez-Ferber, Miguel and Caballero, Primitivo},
 title = {Genetic Structure of a Spodoptera frugiperda Nucleopolyhedrovirus Population: High Prevalence of Deletion Genotypes},
 journal = {Applied and Environmental Microbiology},
 publisher = {American Society for Microbiology},
 year = {2004},
 month = {sep},
 number = {9},
 volume = {70},
 pages = {5579--5588},
 url = {https://doi.org/10.1128%2Faem.70.9.5579-5588.2004},
 doi = {10.1128/aem.70.9.5579-5588.2004}
}


text:
vcpkg_check_linkage(ONLY_STATIC_LIBRARY)

vcpkg_from_sourceforge(
    OUT_SOURCE_PATH SOURCE_PATH
    REPO polyclipping
    FILENAME "clipper_ver6.4.2.zip"
    NO_REMOVE_ONE_LEVEL
    SHA512 ffc88818c44a38aa278d5010db6cfd505796f39664919f1e48c7fa9267563f62135868993e88f7246dcd688241d1172878e4a008a390648acb99738452e3e5dd
    PATCHES
        fix_targets.patch
)

vcpkg_configure_cmake(
    SOURCE_PATH ${SOURCE_PATH}/cpp
    PREFER_NINJA
)

vcpkg_install_cmake()
vcpkg_fixup_cmake_targets()

file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/debug/include)
file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/debug/share)
file(INSTALL ${CMAKE_CURRENT_LIST_DIR}/FindCLIPPER.cmake DESTINATION ${CURRENT_PACKAGES_DIR}/share/clipper)
file(INSTALL ${CMAKE_CURRENT_LIST_DIR}/vcpkg-cmake-wrapper.cmake DESTINATION ${CURRENT_PACKAGES_DIR}/share/clipper)

file(INSTALL ${SOURCE_PATH}/License.txt DESTINATION ${CURRENT_PACKAGES_DIR}/share/${PORT} RENAME copyright)


text:
@article{SyntheticBiologyOpen_cox_2018,
 abstract = {$<$section class="abstract"$><$h2 class="abstractTitle text-title my-1" id="d203e2"$>$Abstract$<$/h2$><$p$>$People who are engineering biological organisms often find it useful to communicate in diagrams, both about the structure of the nucleic acid sequences that they are engineering and about the functional relationships between sequence features and other molecular species. Some typical practices and conventions have begun to emerge for such diagrams. The Synthetic Biology Open Language Visual (SBOL Visual) has been developed as a standard for organizing and systematizing such conventions in order to produce a coherent language for expressing the structure and function of genetic designs. This document details version 2.0 of SBOL Visual, which builds on the prior SBOL Visual 1.0 standard by expanding diagram syntax to include functional interactions and molecular species, making the relationship between diagrams and the SBOL data model explicit, supporting families of symbol variants, clarifying a number of requirements and best practices, and significantly expanding the collection of diagram glyphs.$<$/p$><$/section$>$},
 annotation = {00000},
 author = {Cox, Robert Sidney and Madsen, Curtis and McLaughlin, James and Nguyen, Tramy and Roehner, Nicholas and Bartley, Bryan and Bhatia, Swapnil and Bissell, Mike and Clancy, Kevin and Gorochowski, Thomas and Grünberg, Raik and Luna, Augustin and Novère, Nicolas Le and Pocock, Matthew and Sauro, Herbert and Sexton, John T. and Stan, Guy-Bart and Tabor, Jeffrey J. and Voigt, Christopher A. and Zundel, Zach and Myers, Chris and Beal, Jacob and Wipat, Anil},
 doi = {10.1515/jib-2017-0074},
 ids = {unknown-f},
 journal = {Journal of Integrative Bioinformatics},
 language = {en},
 month = {March},
 number = {1},
 title = {Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0},
 volume = {15},
 year = {2018}
}


text:
DESCRIPTION = "Kaffe is a clean room implementation of the Java Virtual Machine"
DEPENDS  = "patcher-native"
HOMEPAGE = "http://www.kaffe.org"
LICENSE  = "GPL"

SRC_URI  = "cvs://readonly:readonly@cvs.kaffe.org/cvs/kaffe;module=kaffe \
	    file://makefile-fixes.patch;patch=1 "
S = "${WORKDIR}/kaffe"

inherit autotools native

EXTRA_OECONF = " --disable-nls --disable-native-awt --disable-sound --without-x --without-kaffe-x-awt --disable-debug --enable-pure-java-math --disable-gcj "

do_configure_prepend() {
	rm -f m4/libtool.m4
}

do_stage() {
	install kaffe/kaffeh/kaffeh ${STAGING_BINDIR}/
}

repository: BackupTheBerlios/openslug-svn

repo_name: BackupTheBerlios/openslug-svn


text:
@inproceedings{Fayek2021,
  author = {Haytham M. Fayek and Michael Candon and Oleg Levinski and Stephan Koschel and Pier Marzocca},
  title = {Deep Learning Airframe Load Prediction: A Data-Driven System for Aircraft Structural Health Management},
  year = {2021},
  publisher = {Engineers Australia},
  url = {https://search.informit.org/doi/10.3316/informit.414000320822264},
  abstract = {Contemporary approaches for aircraft structural prognostics and health management are more pro-active, condition-based, relying on the current or forecasted condition of the structure. This paper presents a data-driven system that processes a number of in-flight acquired signals, such as strain gauge measurements, to predict the airframe service loads using long short-term memory recurrent neural networks. The efficacy of the proposed models is demonstrated using an aircraft flight test dataset. The proposed system can help determine appropriate actions for aircraft maintenance, repair, and overhaul by enabling predictive condition-based planning of maintenance and procurement of personnel and parts, allowing for more efficient and more sustainable maintenance practices.},
  booktitle = {19th Australian International Aerospace Congress (AIAC)},
  pages = {448--453},
  address = {Melbourne, Australia},
}


text:
@article{RN1057,
 author = {Russo, P. L. and Cheng, A. C. and Mitchell, B. G. and Hall, L.},
 doi = {10.1071/AH16223},
 issn = {0156-5788 (Print)
0156-5788 (Linking)},
 journal = {Aust Health Rev},
 number = {2},
 pages = {178-180},
 title = {Healthcare-associated infections in Australia: tackling the 'known unknowns'},
 type = {Journal Article},
 url = {https://www.ncbi.nlm.nih.gov/pubmed/28263702},
 volume = {42},
 year = {2018}
}


text:
SUMMARY = "Python script for using CMSIS SVD parser with GDB"

LICENSE = "GPL-2.0-only"

LIC_FILES_CHKSUM = "file://LICENSE;md5=b234ee4d69f5fce4486a80fdaf4a4263"

inherit pkgconfig autotools-brokensep gettext

SRC_URI = "git://github.com/1udo6arre/svd-tools.git;protocol=https;branch=master"
SRCREV = "5b7b813481877a3b6fb8f96b4f0d413b47fb987a"

S = "${WORKDIR}/git"

BBCLASSEXTEND = "native nativesdk"

RDEPENDS:${PN} += "cmsis-svd"
RRECOMMENDS:${PN}:append:class-nativesdk = " nativesdk-cmsis-svd "
# For python dependencies
RDEPENDS:${PN} += "python3-terminaltables"
RRECOMMENDS:${PN}:append:class-nativesdk = " nativesdk-python3-terminaltables "

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

INSTALL_PATH= "${datadir}/svd-tools"

do_install () {
    install -d ${D}${INSTALL_PATH}
    install -m 0644 ${S}/LICENSE ${D}${INSTALL_PATH}
    install -m 0755 ${S}/gdb-svd.py ${D}${INSTALL_PATH}
}

FILES:${PN} = "${INSTALL_PATH}/*"

branch_name: refs/heads/mickledore


text:
@proceedings{COLT2016,
  booktitle = {29th Annual Conference on Learning Theory},
  name = {Conference on Learning Theory},
  conference_number = 29,
  shortname = {COLT},
  year = {2016},
  editor = {Feldman, Vitaly and Rakhlin, Alexander and Shamir, Ohad},
  volume = {49},
  published = {2016-06-06},
  start = {2016-06-23},
  end = {2016-06-26},
  address = {Columbia University, New York, New York, USA},
  conference_url = {http://www.learningtheory.org/colt2016/},
  sections = {preface=Preface|default=Regular Papers|open=Open Problems}
}

repository: mlresearch/papersite

repo_name: mlresearch/papersite


text:
@inproceedings{oizumi_anomalies_2016,
 author = {Oizumi, Willian and Garcia, Alessandro and da Silva Sousa, Leonardo and Cafeo, Bruno and Zhao, Yixue},
 title = {Code Anomalies Flock Together: Exploring Code Anomaly Agglomerations for Locating Design Problems},
 booktitle = {Proceedings of the 38th International Conference on Software Engineering},
 series = {ICSE '16},
 year = {2016},
 isbn = {978-1-4503-3900-1},
 location = {Austin, Texas},
 pages = {440--451},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2884781.2884868},
 doi = {10.1145/2884781.2884868},
 acmid = {2884868},
 publisher = {ACM},
 address = {New York, NY, USA},
}

repository: felicitia/HugoAcademicWebsite

repo_name: felicitia/HugoAcademicWebsite


text:
@article{jordan_detection_2019,
 author = {Jordan, M. I. and Krzakala, Florent and Alaoui, A. E.},
     TITLE = {Fundamental limits of detection in the spiked Wigner model},
   JOURNAL = {Ann. Statist.},
  FJOURNAL = {Annals of Statistics},
      YEAR = {2020},
    VOLUME = {48},
    NUMBER = {2},
     PAGES = {863-885},
      ISSN = {0090-5364},
       DOI = {10.1214/19-AOS1826},
       url = {http://dx.doi.org/10.1214/19-AOS1826}
}

repository: krzakala/academic-kickstart

repo_name: krzakala/academic-kickstart


text:
DESCRIPTION = "The X MultiMedia System"
HOMEPAGE = "http://www.xmms.org/"
LICENSE = "GPL"
SECTION = "x11/multimedia"
# TODO add esd mikmod vorbis
DEPENDS = "gtk+-1.2"

SRC_URI = "http://www.xmms.org/files/1.2.x/xmms-${PV}.tar.bz2 \
           file://gcc4.patch;patch=1"

inherit autotools

# TODO enable esd mikmod vorbis
EXTRA_OECONF = "--disable-opengl --disable-esd --disable-mikmod --disable-vorbis"

do_configure() {
	oe_runconf
}

do_compile() {
	oe_runmake LIBTOOL=${STAGING_BINDIR}/${TARGET_PREFIX}libtool
}


text:
DESCRIPTION = "MitySOM-5CSX Vision Development Kit Image, Dual Cameras"

IMAGE_FEATURES += "debug-tweaks package-management ssh-server-openssh tools-sdk"
PACKAGE_CLASSES = "package_rpm "
IMAGE_INSTALL = "\
    packagegroup-core-boot \
    packagegroup-core-full-cmdline \
    ${CORE_IMAGE_EXTRA_INSTALL} \
        kernel\
        kernel-image\
        kernel-devicetree\
        kernel-modules\
        kernel-base\
        i2c-tools-misc\
        i2c-tools\
        packagegroup-core-eclipse-debug\
        mtd-utils\
        memtool\
        memtester\
        demo-app\
        demo-app-dev\
	libmitycambconadapter\
	vdk-dual-fpga\
	vdk-single-fpga\
	init-ifupdown\
	vdk-moduleconfig\
	busybox-udhcpd\
	libpng\
	jpeg\
	iperf\
	strace\
	gdbserver\
	tiffxx\
	gstreamer1.0\
	gstreamer1.0-plugins-base\
	gstreamer1.0-plugins-good\
	gstreamer1.0-plugins-bad\
	cairo\
	vdk-democode\
    "
inherit core-image distro_features_check

IMAGE_FSTYPES_append = " sdcard"

IMAGE_TYPEDEP_sdcard = "tar.gz"

IMAGE_CMD_sdcard() {
	cd ${DEPLOY_DIR_IMAGE}
	./make_sd.sh \
	-p preloader-mkpimage-dual.bin \
	-e ubootenv-dual.bin \
	-u u-boot-dual.img \
	-o sd_card_dual.img \
	${IMAGE_NAME}.rootfs.tar.gz || die "Make SD CARD image script failed"
}


text:
# Copyright (C) 2009-2016, O.S. Systems Software Ltda. All Rights Reserved
# Released under the MIT license (see packages/COPYING)

require firefox-l10n.inc

SRC_URI[md5sum] = "f7f39583731c723421f0b4f97fb0eb0d"
SRC_URI[sha256sum] = "e40dbc5cac2eb0d0d399fb853166cc964011f9f49e1a48424ac527edc3594bea"

repository: ashie/meta-browser

repo_name: ashie/meta-browser


text:
@article{assessing_heterogeneity,
 abstract = {Recent empirical research has questioned the replicability of published findings in psychology. However, analyses of these studies have proceeded with conflicting definitions of what it means for a finding to replicate. In this paper, we use a meta-analytic approach to highlight different ways to define “replication failure,” and argue that analyses can focus on exploring variation among replication studies or assess whether their results contradict the findings of the original study. We then apply this framework to experiments that have been subject to systematic replications in psychology. Among these experiments, we find that fewer studies conclusively failed to replicate than previous reporting would suggest. However, this finding must be interpreted with an important caveat: even the most powerful tests for replication failure tend to have low power for these data, which means that for the majority of experiments, these analyses are inconclusive. Further, while common interpretations of the replication crisis in psychology involve underpowered initial studies overestimating an effect, in half of the findings in this data, this is reversed: the original study understates the magnitude of the effect relative to the replications and would have been well powered to detect the effects estimated by the replication studies. We conclude by suggesting that efforts to assess replication would benefit from further methodological work on designing replication studies to ensure analyses are sufficiently sensitive.},
 author = {Jacob M. Schauer and Larry V. Hedges},
 journal = {Psychological Bulletin},
 title = {Assessing heterogeneity in replication research},
 year = {under review}
}


text:
#
# Copyright (C) 2016-2017 Wind River Systems Inc.
#

SUMMARY = "Linux Key Management Utilities"
DESCRIPTION = "Keyutils is a set of utilities for managing the key retention \
facility in the kernel, which can be used by filesystems, block devices and \
more to gain and retain the authorization and encryption keys required to \
perform secure operations."
SECTION = "base"
LICENSE = "GPLv2"
LIC_FILES_CHKSUM = "file://LICENCE.GPL;md5=5f6e72824f5da505c1f4a7197f004b45"

PR = "r1"

SRCREV = "9209a0c8fd63afc59f644e078b40cec531409c30"

SRC_URI = "git://git.kernel.org/pub/scm/linux/kernel/git/dhowells/keyutils.git;protocol=git \
          file://keyutils_fix_library_install.patch \
          file://keyutils-fix-the-cflags-for-all-of-targets.patch \
          "
SRC_URI_append_arm = " file://keyutils-remove-m32-m64.patch"
SRC_URI_append_aarch64 = " file://keyutils-remove-m32-m64.patch"
SRC_URI_append_mips = " file://keyutils-remove-m32-m64.patch"
SRC_URI_append_mips64 = " file://keyutils-remove-m32-m64.patch"
SRC_URI_append_x86 = " file://keyutils_fix_x86_cflags.patch"
SRC_URI_append_x86-64 = " file://keyutils_fix_x86-64_cflags.patch"
SRC_URI_append_powerpc = "file://keyutils-remove-m32-m64.patch"

S = "${WORKDIR}/git"

inherit autotools-brokensep

INSTALL_FLAGS = " \
    LIBDIR=${libdir} \
    USRLIBDIR=${libdir} \
    BINDIR=${bindir} \
    SBINDIR=${sbindir} \
    ETCDIR=${sysconfdir} \
    SHAREDIR=${datadir} \
    MANDIR=${mandir} \
    INCLUDEDIR=${includedir} \
    DESTDIR=${D} \
"

do_install() {
    cd ${S} && oe_runmake ${INSTALL_FLAGS} install
}

FILES_${PN} += "${datadir}/request-key-debug.sh"

BBCLASSEXTEND = "native nativesdk"


text:
@Article{kiraga2007relationships,
  title = {The relationships between the isoelectric point and: length of proteins, taxonomy and ecology of organisms},
  author = {Joanna Kiraga and Pawel Mackiewicz and Dorota Mackiewicz and Maria Kowalczuk and Przemys{\l}aw Biecek and Natalia Polak and Kamila Smolarczyk and Miroslaw R Dudek and Stanislaw Cebrat},
  journal = {BMC genomics},
  volume = {8},
  number = {1},
  pages = {163},
  year = {2007},
  publisher = {BioMed Central},
}


text:
% Encoding: UTF-8

@Mycustomentrytype{SampleAuthor2012,
  author = {SampleAuthor},
  year   = {2012},
  date   = {2012},
  key    = {MyStandardKey},
}

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

@Comment{jabref-entrytype: Mycustomentrytype: req[author;year/date;key] opt[]}

repository: JabRef/jabref

repo_name: JabRef/jabref

branch_name: refs/heads/main

gha_language: Java


text:
@article{LiterateProgramming,
  title={Literate programming},
  author={Knuth, Donald Ervin},
  journal={The Computer Journal},
  volume={27},
  number={2},
  pages={97--111},
  year={1984},
  publisher={Br Computer Soc}
}
@article{NOWEB,
  title={Literate programming simplified},
  author={Ramsey, Norman},
  journal={IEEE software},
  volume={11},
  number={5},
  pages={97},
  year={1994},
  publisher={IEEE Computer Society}
}

repository: dbosk/multiprec

repo_name: dbosk/multiprec


text:
@article{xie2020impact,
 author = {Xie, Mei and Bai, Wei and Wu, Qinyuan and Gao, Jian and Zhou, Tao},
 doi = {10.12178/1001-0548.2020229 },
 journal = {Journal of University of Electronic Science and Technology of China},
 number = {6},
 pages = {891--904},
 title = {Impact of high-speed railway on economic development},
 volume = {49},
 year = {2020}
}


text:
@article{RN1260,
 author = {Baranitharan, E. and Khan, Maksudur R. and Yousuf, Abu and Teo, Wee Fei Aaron and Tan, Geok Yuan Annie and Cheng, Chin Kui},
 doi = {https://doi.org/10.1016/j.fuel.2014.11.030},
 issn = {0016-2361},
 journal = {Fuel},
 pages = {72-79},
 title = {Enhanced power generation using controlled inoculum from palm oil mill effluent fed microbial fuel cell},
 type = {Journal Article},
 url = {http://www.sciencedirect.com/science/article/pii/S0016236114011260},
 volume = {143},
 year = {2015}
}

repository: drnazmul/ayusuf

repo_name: drnazmul/ayusuf


text:
/* Navbar */
.navbar {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 20px;
    width: 100%;
    height: 80px;
    position: fixed;
    top: 0;
    background-color: var(--footerDarkBg);
    color: #fff;
}

/* Logo */
.navbar .logo {
    order: 2;
    border: 1px solid rgba(255, 255, 255, 0.6);
    border-radius: 50%;
    margin-right: 20px;
    transition: border 0.5s ease-in-out;
}

.navbar .logo:hover {
    border: 1px solid rgba(255, 255, 255, 1);
}

.navbar .logo img {
    width: 50px;
    padding: 10px;
}

/* Nav buttons */
nav {
    order: 1;
}

nav ul {
    display: flex;
}

nav ul li a {
    padding: 15px 10px;
    margin: 38px;
    color: #fff;
    opacity: 0.6;
    transition: opacity 0.37s ease-in-out;
}

nav ul li a:hover {
    border-radius: 2px;
    opacity: 1;
}

nav ul li a:active,
nav ul li a:focus {
    border-bottom: 2px solid var(--mainBackground);
    opacity: 1;
}

/* Hamburger Menu */
.burger {
    display: none;
    cursor: pointer;
}

.burger div {
    width: 25px;
    height: 2px;
    background-color: #e4e4e4;
    margin: 5px;
    border-radius: 10px;
    transition: all 0.3s ease;
}

/* Hero Section*/
#hero {
    height: 100vh;
}

.content {
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: flex-start;
    text-align: center;
    padding: 110px 20px 30px;
}

.content .social a {
    margin: 0 20px;
}

#vision {
    margin: 0 20px;
}

/* Vision Section */
#vision .vision-content {
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    text-align: center;
    max-width: 1000px;
    margin: 0 auto;
    padding: 30px 20px;
    background-color: #fff;
    border-radius: 12px;
    box-shadow: 4px 4px 4px 3px var(--shadow);
}

/* Media Query For Mobile View */
@media screen and (max-width: 867px) and (max-width: 767px) {
    nav ul li {
        padding: 46px 0;
    }

    nav ul li a {
        font-size: 20px;
        font-weight: 600;
    }

    nav ul li a:active,
    nav ul li a:focus {
        border-bottom: 2px solid var(--spotColor);
        opacity: 1;
    }

    .navbar {
        position: fixed;
        width: 100%;
        top: 0%;
        display: flex;
        justify-content: space-evenly;
        align-items: center;
    }

    .nav-list {
        position: absolute;
        right: 0;
        height: 100vh;
        top: 8vh;
        background-color: var(--footerDarkBg);
        display: flex;
        flex-direction: column;
        align-items: center;
        width: 100%;
        transform: translate(100%);
        z-index: -1;
    }

    .burger {
        display: block;
        margin-right: 16rem;
    }

    .nav-list li {
        opacity: 0;
    }
}

@media screen and (max-width: 767px) and (max-width: 667px) {
    .nav-list {
        top: 9vh;
    }

    .burger {
        display: block;
        margin-right: 13rem;
    }
}

/* Hamburger Menu Logic from Javascript */
.active {
    transform: translateX(0%);
}

.toggle .line-one {
    transform: rotate(-45deg) translate(-5px,5px);
}

.toggle .line-two {
    opacity: 0;
}

.toggle .line-three {
        transform: rotate(45deg) translate(-5px,-5px);
}

@keyframes navLinkFade {
    from {
        opacity: 0;
        transform: translateX(50px);
    }

    to {
        opacity: 1;
        transform: translateX(0px);
    }
}

/* Navbar */
.navbar {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 20px;
    width: 100%;
    height: 80px;
    position: fixed;
    top: 0;
    background-color: var(--footerDarkBg);
    color: #fff;
}

/* Logo */
.navbar .logo {
    order: 2;
    border: 1px solid rgba(255, 255, 255, 0.6);
    border-radius: 50%;
    margin-right: 20px;
    transition: border 0.5s ease-in-out;
}

.navbar .logo:hover {
    border: 1px solid rgba(255, 255, 255, 1);
}

.navbar .logo img {
    width: 50px;
    padding: 10px;
}

/* Nav buttons */
nav {
    order: 1;
}

nav ul {
    display: flex;
}

nav ul li a {
    padding: 15px 10px;
    margin: 38px;
    color: #fff;
    opacity: 0.6;
    transition: opacity 0.37s ease-in-out;
}

nav ul li a:hover {
    border-radius: 2px;
    opacity: 1;
}

nav ul li a:active,
nav ul li a:focus {
    border-bottom: 2px solid var(--mainBackground);
    opacity: 1;
}

/* Hero Section*/
#hero {
    height: 100vh;
}

.content {
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: flex-start;
    text-align: center;
    padding: 110px 20px 30px;
}

.content .social a {
    margin: 0 20px;
}

#vision {
    margin: 0 20px;
}

/* Vision Section */
#vision .vision-content {
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
    text-align: center;
    max-width: 1000px;
    margin: 0 auto;
    padding: 30px 20px;
    background-color: #fff;
    border-radius: 12px;
    box-shadow: 4px 4px 4px 3px var(--shadow);
}

/* Button  */
.buttons {
    margin-top: 60px;
    text-align: center;
}

.buttons a {
    margin: 10px 40px;
}

.vision-content a {
    transition: all 0.5s ease-in-out;
}

.vision-content a span {
    padding-left: 1.5px;
    transition: all 0.4s ease-in-out;
}

.vision-content a:hover span {
    transform: rotate(90deg);
}

extension: css


text:
SUMMARY = "OP-TEE Trusted OS"
DESCRIPTION = "OPTEE OS"
LICENSE = "BSD"
LIC_FILES_CHKSUM = "file://${S}/LICENSE;md5=c1f21c4f72f372ef38a5a4aee55ec173"

DEPENDS = "python-pycrypto-native"

SRC_URI = "git://github.com/OP-TEE/optee_os.git \
    file://0001-allow-setting-sysroot-for-libgcc-lookup.patch \
"

PV = "3.4.0+git${SRCPV}"
SRCREV = "f831c1621ed4578733ff9b4319ba719600c0dfff"

S = "${WORKDIR}/git"

inherit deploy pythonnative

OPTEEMACHINE ?= "${MACHINE}"
OPTEEMACHINE_qemuarm64 = "vexpress-qemu_armv8a"

PACKAGE_ARCH = "${MACHINE_ARCH}"
OPTEE_ARCH_armv7a = "arm32"
OPTEE_ARCH_aarch64 = "arm64"

EXTRA_OEMAKE = "PLATFORM=${OPTEEMACHINE} O=out/arm \
                CROSS_COMPILE_core=${HOST_PREFIX} \
                DEBUG=0 CFG_PM_DEBUG=0 LDFLAGS= \
                LIBGCC_LOCATE_CFLAGS=--sysroot=${STAGING_DIR_HOST} \
"
EXTRA_OEMAKE_append_aarch64 = " \
                CFG_ARM64_core=y \
                CROSS_COMPILE_ta_arm64=${HOST_PREFIX} \
                ta-targets=ta_arm64 \
"
EXTRA_OEMAKE_append_armv7a = " \
                CROSS_COMPILE_ta_arm32=${HOST_PREFIX} \
"

do_install() {
    # TA devkit
    install -d ${D}${includedir}/optee/export-user_ta/
    for f in ${B}/out/arm/export-ta_${OPTEE_ARCH}/* ; do
        cp -aR $f ${D}${includedir}/optee/export-user_ta/
    done

    # OP-TEE OS firmware
    install -d ${D}/${nonarch_base_libdir}/firmware
    install -m 644 ${B}/out/arm/core/*.bin ${D}/${nonarch_base_libdir}/firmware/

    # OP-TEE OS TAs
    install -d ${D}${nonarch_base_libdir}/optee_armtz
    install -m 0444 ${S}/out/arm/ta/*/*.ta ${D}${nonarch_base_libdir}/optee_armtz
}

do_deploy() {
    install -d ${DEPLOYDIR}/optee
    for f in ${B}/out/arm/core/*.bin; do
        install -m 644 $f ${DEPLOYDIR}/optee/
    done
}

addtask deploy before do_build after do_install

PACKAGES += "${PN}-ta"
FILES_${PN} += "${nonarch_base_libdir}/firmware"
FILES_${PN}-ta = "${nonarch_base_libdir}/optee_armtz"
FILES_${PN}-dev = "${includedir}/optee"
INSANE_SKIP_${PN}-dev = "staticdev"
INHIBIT_PACKAGE_STRIP = "1"


text:
DESCRIPTION = "HTML Tagset bits."
SECTION = "libs"
LICENSE = "Artistic|GPL"
PR = "r0"

SRC_URI = "http://search.cpan.org/CPAN/authors/id/P/PE/PETDANCE/HTML-Tagset-3.20.tar.gz"

S = "${WORKDIR}/HTML-Tagset-${PV}"

inherit cpan


text:
@incollection{otten2005clausal,
  title={Clausal connection-based theorem proving in intuitionistic first-order logic},
  author={Otten, Jens},
  booktitle={Automated Reasoning with Analytic Tableaux and Related Methods},
  pages={245--261},
  year={2005},
  publisher={Springer}
}

@article{kaliszyk2013hol,
  title={{HOL} (y) {H}ammer: {O}nline {ATP} service for {HOL} {L}ight},
  author={Kaliszyk, Cezary and Urban, Josef},
  journal={arXiv preprint arXiv:1309.4962},
  year={2013}
}

@article{kaliszyk2014machine,
  title={Machine {L}earning of {C}oq Proof Guidance: {F}irst {E}xperiments},
  author={Kaliszyk, Cezary and Mamane, Lionel and Urban, Josef},
  journal={arXiv preprint arXiv:1410.5467},
  year={2014}
}

@article{kaliszyk2014learning,
  title={Learning-assisted automated reasoning with {F}lyspeck},
  author={Kaliszyk, Cezary and Urban, Josef},
  journal={Journal of Automated Reasoning},
  pages={1--41},
  year={2014},
  publisher={Springer}
}

@incollection{kuhlwein2012overview,
  title={Overview and evaluation of premise selection techniques for large theory mathematics},
  author={K{\"u}hlwein, Daniel and van Laarhoven, Twan and Tsivtsivadze, Evgeni and Urban, Josef and Heskes, Tom},
  booktitle={Automated Reasoning},
  pages={378--392},
  year={2012},
  publisher={Springer}
}

@incollection{kuhlwein2013mash,
	year={2013},
	isbn={978-3-642-39633-5},
	booktitle={Interactive Theorem Proving},
	volume={7998},
	series={Lecture Notes in Computer Science},
	editor={Blazy, Sandrine and Paulin-Mohring, Christine and Pichardie, David},
	doi={10.1007/978-3-642-39634-2_6},
	title={{MaSh}: {M}achine {L}earning for {S}ledgehammer},
	url={http://dx.doi.org/10.1007/978-3-642-39634-2_6},
	publisher={Springer Berlin Heidelberg},
	author={Kühlwein, Daniel and Blanchette, JasminChristian and Kaliszyk, Cezary and Urban, Josef},
	pages={35-50},
	language={English}
}

@incollection{urban2011malecop,
  title={{MaLeCoP} Machine learning connection prover},
  author={Urban, Josef and Vysko{\v{c}}il, Ji{\v{r}}{\'\i} and {\v{S}}t{\v{e}}p{\'a}nek, Petr},
  booktitle={Automated Reasoning with Analytic Tableaux and Related Methods},
  pages={263--277},
  year={2011},
  publisher={Springer}
}

@incollection{asperti2001helm,
  title={{HELM} and the semantic math-web},
  author={Asperti, Andrea and Padovani, Luca and Coen, Claudio Sacerdoti and Schena, Irene},
  booktitle={Theorem Proving in Higher Order Logics},
  pages={59--74},
  year={2001},
  publisher={Springer}
}

@article{alama2014premise,
  title={Premise selection for mathematics by corpus analysis and kernel methods},
  author={Alama, Jesse and Heskes, Tom and K{\"u}hlwein, Daniel and Tsivtsivadze, Evgeni and Urban, Josef},
  journal={Journal of automated reasoning},
  volume={52},
  number={2},
  pages={191--213},
  year={2014},
  publisher={Springer}
}

@phdthesis{coen2000progettazione,
  title={Progettazione e realizzazione con tecnologia XML di basi distribuite di conoscenza matematica formalizzata},
  author={Coen, Claudio Sacerdoti},
  year={2000},
  school={Master’s thesis, University of Bologna}
}

@article{coquand1988calculus,
  title={The calculus of constructions},
  author={Coquand, Thierry and Huet, Gerard},
  journal={Information and computation},
  volume={76},
  number={2},
  pages={95--120},
  year={1988},
  publisher={Elsevier}
}

@inproceedings{coquand1990inductively,
  title={Inductively defined types},
  author={Coquand, Thierry and Paulin, Christine},
  booktitle={COLOG-88},
  pages={50--66},
  year={1990},
  organization={Springer}
}

@inproceedings{huet1987induction,
  title={Induction principles formalized in the {C}alculus of Constructions},
  author={Huet, G{\'e}rard},
  booktitle={TAPSOFT'87},
  pages={276--286},
  year={1987},
  organization={Springer}
}

@inproceedings{huet1992gallina,
  title={The gallina specification language: {A} case study},
  author={Huet, G{\'e}rard},
  booktitle={Foundations of Software Technology and Theoretical Computer Science},
  pages={229--240},
  year={1992},
  organization={Springer}
}

@book{bertot2013interactive,
  title={Interactive theorem proving and program development: {C}oq'{A}rt: the calculus of inductive constructions},
  author={Bertot, Yves and Cast{\'e}ran, Pierre},
  year={2013},
  publisher={Springer Science \& Business Media}
}

@article{clemenccon2013ranking,
  title={Ranking forests},
  author={Cl{\'e}men{\c{c}}on, St{\'e}phan and Depecker, Marine and Vayatis, Nicolas},
  journal={Journal of Machine Learning Research},
  volume={14},
  number={Jan},
  pages={39--73},
  year={2013}
}

@techreport{agarwal2005study,
  title={A study of the bipartite ranking problem in machine learning},
  author={Agarwal, Shivani},
  year={2005}
}

@inproceedings{xu2007adarank,
  title={Adarank: a boosting algorithm for information retrieval},
  author={Xu, Jun and Li, Hang},
  booktitle={Proceedings of the 30th annual international ACM SIGIR conference on Research and development in information retrieval},
  pages={391--398},
  year={2007},
  organization={ACM}
}

@article{robertson1995okapi,
  title={Okapi at {TREC-3}},
  author={Robertson, Stephen E and Walker, Steve and Jones, Susan and Hancock-Beaulieu, Micheline M and Gatford, Mike and others},
  journal={Nist Special Publication Sp},
  volume={109},
  pages={109},
  year={1995},
  publisher={NATIONAL INSTIUTE OF STANDARDS \& TECHNOLOGY}
}

@inproceedings{de1972lambda,
  title={Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the {C}hurch-{R}osser theorem},
  author={De Bruijn, Nicolaas Govert},
  booktitle={Indagationes Mathematicae (Proceedings)},
  volume={75},
  number={5},
  pages={381--392},
  year={1972},
  organization={Elsevier}
}

@techreport{stansifer1984presburger,
  title={Presburger's article on integer arithmetic: {R}emarks and translation},
  author={Stansifer, Ryan},
  year={1984},
  institution={Cornell University}
}

@article{dyckhoff1992contraction,
  title={Contraction-free sequent calculi for intuitionistic logic},
  author={Dyckhoff, Roy},
  journal={The Journal of Symbolic Logic},
  volume={57},
  number={3},
  pages={795--807},
  year={1992},
  publisher={Cambridge University Press}
}

@article{loos2017deep,
  title={Deep Network Guided Proof Search},
  author={Loos, Sarah and Irving, Geoffrey and Szegedy, Christian and Kaliszyk, Cezary},
  journal={arXiv preprint arXiv:1701.06972},
  year={2017}
}

@article{meng2006automation,
  title={Automation for interactive proof: First prototype},
  author={Meng, Jia and Quigley, Claire and Paulson, Lawrence C},
  journal={Information and computation},
  volume={204},
  number={10},
  pages={1575--1596},
  year={2006},
  publisher={Elsevier}
}

@article{meng2009lightweight,
  title={Lightweight relevance filtering for machine-generated resolution problems},
  author={Meng, Jia and Paulson, Lawrence C},
  journal={Journal of Applied Logic},
  volume={7},
  number={1},
  pages={41--57},
  year={2009},
  publisher={Elsevier}
}

@article{howard1980formulae,
  title={The formulae-as-types notion of construction},
  author={Howard, William A},
  journal={To HB Curry: essays on combinatory logic, lambda calculus and formalism},
  volume={44},
  pages={479--490},
  year={1980}
}

@inproceedings{roth1998learning,
  title={Learning to resolve natural language ambiguities: A unified approach},
  author={Roth, Dan},
  booktitle={AAAI/IAAI},
  pages={806--813},
  year={1998}
}

@article{sozeau2008first,
  title={First-class type classes},
  author={Sozeau, Matthieu and Oury, Nicolas},
  journal={Lecture notes in computer science},
  volume={5170},
  pages={278--293},
  year={2008},
  publisher={Springer}
}

@article{spitters2011type,
  title={Type classes for mathematics in type theory},
  author={Spitters, Bas and Van der Weegen, Eelis},
  journal={Mathematical Structures in Computer Science},
  volume={21},
  number={4},
  pages={795--825},
  year={2011},
  publisher={Cambridge University Press}
}

@article{krebbers2011type,
  title={Type classes for efficient exact real arithmetic in {C}oq},
  author={Krebbers, Robbert and Spitters, Bas},
  journal={arXiv preprint arXiv:1106.3448},
  year={2011}
}

@article{krebbers2011computer,
  title={Computer certified efficient exact reals in {C}oq},
  author={Krebbers, Robbert and Spitters, Bas},
  journal={Intelligent Computer Mathematics},
  pages={90--106},
  year={2011},
  publisher={Springer}
}

@article{geuvers2002constructive,
  title={A constructive algebraic hierarchy in {C}oq},
  author={Geuvers, Herman and Pollack, Randy and Wiedijk, Freek and Zwanenburg, Jan},
  journal={Journal of Symbolic Computation},
  volume={34},
  number={4},
  pages={271--286},
  year={2002},
  publisher={Elsevier}
}

@inproceedings{cruz2002constructive,
  title={A constructive formalization of the fundamental theorem of calculus},
  author={Cruz-Filipe, Lu{\'\i}s},
  booktitle={International Workshop on Types for Proofs and Programs},
  pages={108--126},
  year={2002},
  organization={Springer}
}

@article{cruz2006large,
  title={A large-scale experiment in executing extracted programs},
  author={Cruz-Filipe, Lu{\'\i}s and Letouzey, Pierre},
  journal={Electronic Notes in Theoretical Computer Science},
  volume={151},
  number={1},
  pages={75--91},
  year={2006},
  publisher={Elsevier}
}

@article{niqui2008coinductive,
  title={Coinductive formal reasoning in exact real arithmetic},
  author={Niqui, Milad},
  journal={arXiv preprint arXiv:0807.1669},
  year={2008}
}

@inproceedings{o2008certified,
  title={Certified exact transcendental real number computation in {C}oq},
  author={O’Connor, Russell},
  booktitle={International Conference on Theorem Proving in Higher Order Logics},
  pages={246--261},
  year={2008},
  organization={Springer}
}

@article{kaliszyk2008computing,
  title={Computing with classical real numbers},
  author={Kaliszyk, Cezary and O'Connor, Russell},
  journal={arXiv preprint arXiv:0809.1644},
  year={2008}
}

@article{o2010computer,
  title={A computer-verified monadic functional implementation of the integral},
  author={O’Connor, Russell and Spitters, Bas},
  journal={Theoretical Computer Science},
  volume={411},
  number={37},
  pages={3386--3402},
  year={2010},
  publisher={Elsevier}
}

@inproceedings{makarov2013picard,
  title={The {P}icard algorithm for ordinary differential equations in {C}oq},
  author={Makarov, Evgeny and Spitters, Bas},
  booktitle={International Conference on Interactive Theorem Proving},
  pages={463--468},
  year={2013},
  organization={Springer}
}

@inproceedings{krebbers2015typed,
  title={A typed {C11} semantics for interactive theorem proving},
  author={Krebbers, Robbert and Wiedijk, Freek},
  booktitle={Proceedings of the 2015 Conference on Certified Programs and Proofs},
  pages={15--27},
  year={2015},
  organization={ACM}
}

@article{leroy2009formally,
  title={A formally verified compiler back-end},
  author={Leroy, Xavier},
  journal={Journal of Automated Reasoning},
  volume={43},
  number={4},
  pages={363--446},
  year={2009},
  publisher={Springer}
}

@article{roșu2010overview,
  title={An overview of the {K} semantic framework},
  author={Roșu, Grigore and Șerb{\u{a}}nut{\u{a}}, Traian Florin},
  journal={The Journal of Logic and Algebraic Programming},
  volume={79},
  number={6},
  pages={397--434},
  year={2010},
  publisher={Elsevier}
}

@inproceedings{gonthier2013machine,
  title={A machine-checked proof of the odd order theorem},
  author={Gonthier, Georges and Asperti, Andrea and Avigad, Jeremy and Bertot, Yves and Cohen, Cyril and Garillot, Fran{\c{c}}ois and Le Roux, St{\'e}phane and Mahboubi, Assia and O’Connor, Russell and Biha, Sidi Ould and others},
  booktitle={International Conference on Interactive Theorem Proving},
  pages={163--179},
  year={2013},
  organization={Springer}
}

@article{kaliszyk2013stronger,
  title={Stronger automation for Flyspeck by feature weighting and strategy evolution},
  author={Kaliszyk, Cezary and Urban, Josef},
  year={2013},
  publisher={Sl: EasyChair}
}

@inproceedings{kohavi1995study,
  title={A study of cross-validation and bootstrap for accuracy estimation and model selection},
  author={Kohavi, Ron and others},
  booktitle={Ijcai},
  volume={14},
  number={2},
  pages={1137--1145},
  year={1995},
  organization={Montreal, Canada}
}

@article{tarjan1976edge,
  title={Edge-disjoint spanning trees and depth-first search},
  author={Tarjan, Robert Endre},
  journal={Acta Informatica},
  volume={6},
  number={2},
  pages={171--185},
  year={1976},
  publisher={Springer}
}

@article{dowek1993complete,
  title={A complete proof synthesis method for the cube of type systems},
  author={Dowek, Gilles},
  journal={Journal of Logic and Computation},
  volume={3},
  number={3},
  pages={287--315},
  year={1993},
  publisher={Oxford University Press}
}

@article{song2018deep,
  title={Deep Neural Network for Learning to Rank Query-Text Pairs},
  author={Song, Baoyang},
  journal={arXiv preprint arXiv:1802.08988},
  year={2018}
}

@article{czajka2018hammer,
  title={Hammer for Coq: Automation for Dependent Type Theory},
  author={Czajka, {\L}ukasz and Kaliszyk, Cezary},
  journal={Journal of Automated Reasoning},
  volume={61},
  number={1-4},
  pages={423--453},
  year={2018},
  publisher={Springer}
}

@article{hill2018automation,
  title={Automation by Analogy, in Coq},
  author={Hill, Alasdair and Komendantskaya, Katya},
  journal={Machine Learning},
  volume={15},
  number={1/47},
  pages={41},
  year={2018}
}

repository: Wassasin/premiseselection

repo_name: Wassasin/premiseselection


text:
@article{Rajiv2018,
	title = {What are the challenges in 5G technology},
	author = {Rajiv},
	year = {2017},
    publisher={RF page}
}

@article{Alexiou20175G,
	title={5G WIRELESS TECHNOLOGIES},
	author={Alexiou, Angeliki},
	year={2017},
	publisher={IET}
}

@article{Maxwell2018,
	title = "SMART CITY STRATEGY",
	year = "2018",
	url = "https://hub.beesmart.city/strategy/6-key-benefits-of-becoming-a-smart-city",
	author = "Maxwell, Lily ",
	keywords = "Smart City Strategy, Smart City Approach, Smart City Definition, Smart City Masterplan"
}

@article{Oughton2017,
	title = "The cost, coverage and rollout implications of 5G ",
	year = "2017",
    author = "Oughton, Edward and Frias, Zoraida",
	url = "https://www.sciencedirect.com/science/article/pii/S0308596117302781"

}

@article{Evans2016,
	title={The value of 5G for cities and communities},
	author={Evans, Mark},
	url = "{http://www.mobileuk.org/cms-assets/O2%20Smart%20Cities.pdf},
	year={2018}
}

@article{Kastrenakes2018,
	title={AT \& T 5G network goes live in 12 cities,
	author={Kastrenakes, Jacob },
	url={https://www.theverge.com/2018/12/18/18146246/att-5g-us-launch-hotspot-service-plan-price},
	year={2018},
	publisher={The Verge}
}

@article{Fisher2019,
	title={How Are 4G and 5G Different?},
	author={Fisher, Tim},
	year={2019},
	publisher={Life wire}
}

@article{Buzzi18,
	title = "What Will 5G Be?",
	year = "2016",
	author = "Buzzi, Stefano"
}

@article{smartcity18,
	title = "How 5G Will Bring in Tremendous Gains for Smart Cities",
	year = "2018",
	author = "smartcity"
}
@article{sdxentrel2018,
	title={What Are the Top 5G Security Challenges?},
	author={sdxentrel},
	url={https://www.sdxcentral.com/5g/definitions/top-5g-security-challenges/},
	year={2018},
}
@article{Qdxiy2018,
	title={5G Exposed},
	author={Qdxiy},
	url={https://www.5gexposed.com/},
	year={2018},
}

repository: Jomzi/Research-Methods-Project

repo_name: Jomzi/Research-Methods-Project


text:
@ARTICLE{gutierrez2021itof2dtof,
  title={iToF2dToF: A Robust and Flexible Representation
      for Data-Driven Time-of-Flight Imaging},
  journal={IEEE Transactions on Computational Imaging},
  author={Gutierrez-Barragan, Felipe
      and Chen, Huaijin
      and Gupta, Mohit
      and Velten, Andreas
      and Gu, Jinwei},
  year={2021},
  volume={7},
  number={},
  pages={1205-1214},
  doi={10.1109/TCI.2021.3126533}}


text:
# The set of languages for which implicit dependencies are needed:
SET(CMAKE_DEPENDS_LANGUAGES
  "CXX"
  )
# The set of files for implicit dependencies of each language:
SET(CMAKE_DEPENDS_CHECK_CXX
  "/home/xanadu/rsync_data/Programming/OpenCV/Machine/src/ROI.cpp" "/home/xanadu/rsync_data/Programming/OpenCV/Machine/tmp_build/CMakeFiles/ROI.dir/src/ROI.cpp.o"
  )
SET(CMAKE_CXX_COMPILER_ID "GNU")

# Targets to which this target links.
SET(CMAKE_TARGET_LINKED_INFO_FILES
  "/home/xanadu/rsync_data/Programming/OpenCV/Machine/tmp_build/modules/CmdLine/CMakeFiles/CmdLine.dir/DependInfo.cmake"
  "/home/xanadu/rsync_data/Programming/OpenCV/Machine/tmp_build/modules/CvRGBCamera/CMakeFiles/CvRGBCamera.dir/DependInfo.cmake"
  "/home/xanadu/rsync_data/Programming/OpenCV/Machine/tmp_build/modules/VirtualInput/CMakeFiles/VirtualInput.dir/DependInfo.cmake"
  "/home/xanadu/rsync_data/Programming/OpenCV/Machine/tmp_build/modules/ScreenTool/CMakeFiles/ScreenTool.dir/DependInfo.cmake"
  "/home/xanadu/rsync_data/Programming/OpenCV/Machine/tmp_build/modules/Distribution/CMakeFiles/Distribution.dir/DependInfo.cmake"
  "/home/xanadu/rsync_data/Programming/OpenCV/Machine/tmp_build/modules/Draw/CMakeFiles/Draw.dir/DependInfo.cmake"
  "/home/xanadu/rsync_data/Programming/OpenCV/Machine/tmp_build/modules/XMLTool/CMakeFiles/XMLTool.dir/DependInfo.cmake"
  )

# The include file search paths:
SET(CMAKE_C_TARGET_INCLUDE_PATH
  "/usr/local/include/opencv"
  "/usr/local/include"
  "/usr/include/libxml2"
  "../modules/CmdLine/include"
  "../modules/CvRGBCamera/include"
  "../modules/VirtualInput/include"
  "../modules/ScreenTool/include"
  "../modules/Distribution/include"
  "../modules/Draw/include"
  "../modules/XMLTool/include"
  )
SET(CMAKE_CXX_TARGET_INCLUDE_PATH ${CMAKE_C_TARGET_INCLUDE_PATH})
SET(CMAKE_Fortran_TARGET_INCLUDE_PATH ${CMAKE_C_TARGET_INCLUDE_PATH})
SET(CMAKE_ASM_TARGET_INCLUDE_PATH ${CMAKE_C_TARGET_INCLUDE_PATH})

repository: sophAi/GestureCV

repo_name: sophAi/GestureCV


text:
@INPROCEEDINGS{Herman1999,
  author = {Ivan Herman and Scott Marshall and Guy Melan\c{c}on and David J. Duke and Maylis Delest and Jean-Philippe Domenger},
  title = {Skeletal images as visual cues in graph visualization},
  pages = {13--22},
  abstract = {The problem of graph layout and drawing is fundamental to many aproaches to the visualization of relational information structures. As the data set grows, the visualization problem is compounded by the need to reconcile the user's need for orientation cues with the danger of information overload. Put simply: How can we limit the number of visual elements on the screen so as not to overwhelm the user yet retain enough information that the user is able to navigate and explore the data set confidently? How can we provide orientational cues so that a user can understand the location of the current viewpoint in a large data set? These are problems inherent not only to graph drawing but information visualization in general. We propose a method which extracts the significant features of a directed acyclic graph as the basis for navigation},
  doi = {10.1007/978-3-7091-6803-5_2},
  year = {1999},
  booktitle = {Data Visualization'99: Proceedings of the Joint Eurographics - IEEE TCVG Symposium on Visualization},
  editor = {Eduard Gr\"oller and Helwig L\"offelmann and William Ribarsky},
  publisher = {Eurographics Association},
}


text:
SUMMARY = "Matrix Mixer & Trigger (Pre-Processor for Oscilloscope)"
HOMEPAGE = "https://github.com/x42/mixtri.lv2"
LICENSE = "GPL-2.0-only"
LIC_FILES_CHKSUM = "file://COPYING;md5=b234ee4d69f5fce4486a80fdaf4a4263"

inherit pkgconfig

DEPENDS += " \
    virtual/libgl \
    libglu \
    libltc \
    jack \
    lv2 \
"

SRC_URI = "gitsm://github.com/x42/mixtri.lv2.git;branch=master;protocol=https"
SRCREV = "fb6cb731d4c8e56503a16316334b6997e1751f5b"
PV = "0.4.5"
S = "${WORKDIR}/git"

EXTRA_OEMAKE += " \
    STRIP=echo \
    OPTIMIZATIONS= \
"

do_install() {
    oe_runmake DESTDIR=${D} PREFIX=${prefix} LV2DIR=${libdir}/lv2 install
}

FILES:${PN} += "${libdir}/lv2"

repository: schnitzeltony/meta-musicians

repo_name: schnitzeltony/meta-musicians


text:
@inproceedings{imvip2006,
  author={Jan Wedekind and Manuel Boissenin and Balasundram P. Amavasai and Fabio Caparrelli and Jon R. Travis},
  year={2006},
  title={Object Recognition and Real-Time Tracking in Microscope Imaging},
  series={Proceedings of the 2006 Irish Machine Vision and Image Processing Conference (IMVIP 2006)},
  address={Dublin City University},
  pages={164-171},
  url={http://vision.eng.shu.ac.uk/jan/IMVIP_wedekind_CR.pdf}
}


text:
DESCRIPTION = "Qt Widget Extension for Technical Applications"
SECTION = "libs"

# LGPLv2.1 + some exceptions
LICENSE = "QWTv1.0"
LIC_FILES_CHKSUM = "file://COPYING;md5=dac2743472b0462ff3cfb4af42051c88"

SRC_URI = "${SOURCEFORGE_MIRROR}/qwt/qwt-${PV}.tar.bz2;name=qwt"
SRC_URI[qwt.md5sum] = "9c88db1774fa7e3045af063bbde44d7d"
SRC_URI[qwt.sha256sum] = "2b08f18d1d3970e7c3c6096d850f17aea6b54459389731d3ce715d193e243d0c"

DEPENDS = "qtbase qtsvg qttools"

RPROVIDES_${PN}-dev = "libqwt-dev"

S = "${WORKDIR}/qwt-${PV}"

require recipes-qt/qt5/qt5.inc
inherit qmake5

QT_BASE_NAME = "qt5"
QT_DIR_NAME = "/qt5"
QT_LIBINFIX = ""

do_configure_prepend() {
    sed -i -e 's:#QWT_CONFIG.*+=.*QwtExamples:QWT_CONFIG += QwtExamples:g' ${S}/qwtconfig.pri
    sed -i -e 's:/usr/local/qwt-$$QWT_VERSION:${prefix}:g' ${S}/*.pri
    sed -i -e 's:QMAKE_RPATHDIR*:#QMAKE_RPATHDIR:g' ${S}/examples/*.pri
    sed -i -e 's:QMAKE_RPATHDIR*:#QMAKE_RPATHDIR:g' ${S}/designer/*.pro
}

do_install() {
    find -name "Makefile*" | xargs sed -i "s,(INSTALL_ROOT)${STAGING_DIR_TARGET},(INSTALL_ROOT),g"
    oe_runmake -e install INSTALL_ROOT=${D}

    install -d ${D}${datadir}/doc/${PN}
    mv ${D}${prefix}/doc/* ${D}${datadir}/doc/${PN}/
    rmdir ${D}${prefix}/doc
    cd ${S}/../build/examples
    install -d ${D}/${bindir}
    cd bin${QT_LIBINFIX}/
    for i in * ; do
        cp -pPR --no-preserve=ownership ${i} ${D}/${bindir}/${i}${QT_LIBINFIX}
    done
    install -d ${D}${libdir}${QT_DIR_NAME}
    mv ${D}${prefix}/plugins ${D}${libdir}${QT_DIR_NAME}
}

PACKAGES_prepend = "${PN}-features "
FILES_${PN}-features = "${prefix}/features"
FILES_${PN}-doc += "${prefix}/doc"
FILES_${PN}-plugins += "${libdir}/${QT_BASE_NAME}/plugins/designer/*${SOLIBSDEV}"
FILES_${PN}-dbg += "${libdir}/${QT_BASE_NAME}/plugins/designer/.debug"

ARM_INSTRUCTION_SET = "arm"

EXCLUDE_FROM_WORLD = "1"

repository: sbobade/meta-petalinux

repo_name: sbobade/meta-petalinux


text:
SECTION = "devel/chicken"
DESCRIPTION = "A simple interface to Java(tm)"
LICENSE = "BSD"
LIC_FILES_CHKSUM = "file://javahack.meta;md5=8b672b8c7d4b33fef247308e4cf87907"
DEPENDS_append_class-cross = " chicken-egg-matchable-cross"
DEPENDS_append_class-crosssdk = " chicken-egg-matchable-crosssdk"
DEPENDS_append_class-nativesdk = " nativesdk-chicken-egg-matchable chicken-egg-matchable-crosssdk"
DEPENDS = " chicken-egg-matchable chicken-egg-matchable-cross"
RDEPENDS_${PN} = " chicken-egg-matchable"

SRC_URI = "http://code.call-cc.org/egg-tarballs/4/javahack/javahack-${PV}.tar.gz"

SRC_URI[md5sum] = "552d989768aa0f939c625674316cf463"
SRC_URI[sha256sum] = "bcc190de41af8a2733a7e5ac333f13557f45baf726d2b11d601197f94e1c9603"

S = "${WORKDIR}/javahack-${PV}"

inherit chicken_install

BBCLASSEXTEND = "cross crosssdk nativesdk"

repository: OSSystems/meta-chicken

repo_name: OSSystems/meta-chicken


text:
file(REMOVE_RECURSE
  "CMakeFiles/utilities.dir/checks/src/Check.cpp.o"
  "CMakeFiles/utilities.dir/compare/src/compareFiles.cpp.o"
  "CMakeFiles/utilities.dir/diagnostics/src/CallStack.cpp.o"
  "CMakeFiles/utilities.dir/diagnostics/src/Location.cpp.o"
  "CMakeFiles/utilities.dir/diagnostics/src/StackFrame.cpp.o"
  "CMakeFiles/utilities.dir/diagnostics/src/timingtools.cpp.o"
  "CMakeFiles/utilities.dir/exceptions/src/Exception.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/BasicScope.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/GenericLogger.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/LogConfiguration.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/Logger.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/LoopedScope.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/Percentage.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/ProgressIndicator.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/ScientificDouble.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/Scope.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/ScopeBehavior.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/Section.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/SectionResult.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/SilentScope.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/SilentScopeBehavior.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/StreamSilencer.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/TabulatedOutput.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/TimeSpan.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/Timer.cpp.o"
  "CMakeFiles/utilities.dir/logging/src/XmlTreeGenerator.cpp.o"
  "CMakeFiles/utilities.dir/src/stringify.cpp.o"
  "libutilities.pdb"
  "libutilities.so"
)

# Per-language clean rules from dependency scanning.
foreach(lang CXX)
  include(CMakeFiles/utilities.dir/cmake_clean_${lang}.cmake OPTIONAL)
endforeach()

repository: JusticeBoi/tictactoe

repo_name: JusticeBoi/tictactoe


text:
@inproceedings{cousot-absint-survey,
author = {Cousot, Patrick and Cousot, Radhia},
title = {Abstract Interpretation: Past, Present and Future},
year = {2014},
isbn = {9781450328869},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/2603088.2603165},
doi = {10.1145/2603088.2603165},
abstract = {Abstract interpretation is a theory of abstraction and constructive approximation of the mathematical structures used in the formal description of complex or infinite systems and the inference or verification of their combinatorial or undecidable properties. Developed in the late seventies, it has been since then used, implicitly or explicitly, to many aspects of computer science (such as static analysis and verification, contract inference, type inference, termination inference, model-checking, abstraction/refinement, program transformation (including watermarking, obfuscation, etc), combination of decision procedures, security, malware detection, database queries, etc) and more recently, to system biology and SAT/SMT solvers. Production-quality verification tools based on abstract interpretation are available and used in the advanced software, hardware, transportation, communication, and medical industries.The talk will consist in an introduction to the basic notions of abstract interpretation and the induced methodology for the systematic development of sound abstract interpretation-based tools. Examples of abstractions will be provided, from semantics to typing, grammars to safety, reachability to potential/definite termination, numerical to protein-protein abstractions, as well as applications (including those in industrial use) to software, hardware and system biology.This paper is a general discussion of abstract interpretation, with selected publications, which unfortunately are far from exhaustive both in the considered themes and the corresponding references.},
booktitle = {Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
articleno = {2},
numpages = {10},
keywords = {static analysis, proof, abstract interpretation, verification, semantics},
location = {Wien, Austria},
series = {CSL-LICS '14}
}

repository: flavio-a/master-thesis

repo_name: flavio-a/master-thesis


text:
# SPDX-License-Identifier: BSD-3-Clause
# Copyright 2019-2022, Intel Corporation

# This helper cmake file includes various tests for known compilers issues.

# Original CMake flags and includes are saved to be restored at the end of the file.
# This way project's original settings are not modified by the process of these checks.
set(SAVED_CMAKE_REQUIRED_FLAGS ${CMAKE_REQUIRED_FLAGS})
set(SAVED_CMAKE_CXX_FLAGS ${CMAKE_CXX_FLAGS})
set(SAVED_CMAKE_REQUIRED_INCLUDES ${CMAKE_REQUIRED_INCLUDES})

set(CMAKE_CXX_FLAGS "")

if(NOT MSVC_VERSION)

	# Even if we are ensuring that we use CMAKE_CXX_STANDARD >= 14, check if
	# shared_mutex header file is available for the current compiler version
	# because CXX_STANDARD is being set to 14 for --c++1y parameter
	if(CXX_STANDARD GREATER 11)
		set(CMAKE_REQUIRED_FLAGS "--std=c++${CMAKE_CXX_STANDARD} -c")
		CHECK_CXX_SOURCE_COMPILES(
			"#include <shared_mutex>
			int main() {}"
			NO_SHARED_MUTEX_BUG)
	else()
		set(NO_SHARED_MUTEX_BUG TRUE)
	endif()

	# Check for issues with older gcc compilers which do not expand variadic
	# template variables in lambda expressions. This functionality is being
	# used in libpmemobj-cpp containers, lack of its support resuls with
	# FATAL_ERROR unless you disable containers tests by setting CMake flag
	# TEST_XXX=OFF (separate flag for each container).
	set(CMAKE_REQUIRED_FLAGS "--std=c++11 -Wno-error -c")
	CHECK_CXX_SOURCE_COMPILES(
		"void print() {}
		template<typename...Args, typename T>
		void print(const T&, const Args &...arg) {
			auto f = [&]{ print(arg...);};
		}
		int main() {
			print(1, 2, 3);
			return 0;
		}"
		NO_GCC_VARIADIC_TEMPLATE_BUG)

	# Check for issues with older gcc compilers if "inline" aggregate initialization
	# works for array class members https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65815
	set(CMAKE_REQUIRED_FLAGS "")
	CHECK_CXX_SOURCE_COMPILES(
		"struct array {
			int data[2];
		};
		struct X {
			array a = { 1, 2 };
		};
		int main() {
			return 0;
		}"
		NO_GCC_AGGREGATE_INITIALIZATION_BUG)

	# Check for issues related to aggregate initialization in new expression.
	# Following code will fail for LLVM compiler https://bugs.llvm.org/show_bug.cgi?id=39988
	set(CMAKE_REQUIRED_FLAGS "--std=c++11 -Wno-error")
	CHECK_CXX_SOURCE_COMPILES(
		"template<typename T>
		struct A {
			 A() {};
			~A() {};
		};
		struct B {
			A<int> a;
			A<int> b;
		};
		int main() {
			new B{};
			return 0;
		}"
		NO_CLANG_BRACE_INITIALIZATION_NEWEXPR_BUG)

	# Check for issues with older clang compilers which assert on delete persistent<[][]>.
	set(CMAKE_REQUIRED_INCLUDES ${LIBPMEMOBJCPP_ROOT_DIR}/include ${LIBPMEMOBJ_INCLUDE_DIRS})
	set(CMAKE_REQUIRED_FLAGS "--std=c++11 -Wno-error -c")
	CHECK_CXX_SOURCE_COMPILES(
		"#include <libpmemobj++/make_persistent_array.hpp>
		using namespace pmem::obj;
		int main() {
			delete_persistent<int[][3]>(make_persistent<int[][3]>(2), 2);
			return 0;
		}"
		NO_CLANG_TEMPLATE_BUG)
	set(CMAKE_REQUIRED_INCLUDES "") # clean includes after check

	# This is a workaround for older incompatible versions of libstdc++ and clang.
	# Please see https://llvm.org/bugs/show_bug.cgi?id=15517 for more info.
	set(CMAKE_REQUIRED_FLAGS "--std=c++11 -Wno-error -include future")
	CHECK_CXX_SOURCE_COMPILES(
		"int main() { return 0; }"
		NO_CHRONO_BUG)
else()
	set(NO_SHARED_MUTEX_BUG TRUE)
	set(NO_GCC_VARIADIC_TEMPLATE_BUG TRUE)
	set(NO_GCC_AGGREGATE_INITIALIZATION_BUG TRUE)
	set(NO_CLANG_BRACE_INITIALIZATION_NEWEXPR_BUG TRUE)
	set(NO_CLANG_TEMPLATE_BUG TRUE)
	set(NO_CHRONO_BUG TRUE)
endif()

if(CXX_STANDARD LESS 14 OR NOT NO_SHARED_MUTEX_BUG)
	message(WARNING "volatile_state not supported (required C++14 compliant compiler)")
	set(VOLATILE_STATE_PRESENT OFF)
else()
	set(VOLATILE_STATE_PRESENT ON)
endif()

set(CMAKE_REQUIRED_FLAGS "--std=c++${CMAKE_CXX_STANDARD} -c")
CHECK_CXX_SOURCE_COMPILES(
	"#include <cstddef>
	int main() {
	    std::max_align_t var;
	    return 0;
	}"
	MAX_ALIGN_TYPE_EXISTS)

set(CMAKE_REQUIRED_FLAGS "--std=c++${CMAKE_CXX_STANDARD} -c")
CHECK_CXX_SOURCE_COMPILES(
	"#include <type_traits>
	int main() {
	#if !__cpp_lib_is_aggregate
		static_assert(false, \"\");
	#endif
	}"
	AGGREGATE_INITIALIZATION_AVAILABLE
)

# Restore original, project's settings
set(CMAKE_REQUIRED_FLAGS ${SAVED_CMAKE_REQUIRED_FLAGS})
set(CMAKE_CXX_FLAGS ${SAVED_CMAKE_CXX_FLAGS})
set(CMAKE_REQUIRED_INCLUDES ${SAVED_CMAKE_REQUIRED_INCLUDES})

repository: pmem/libpmemobj-cpp

repo_name: pmem/libpmemobj-cpp


text:
SUMMARY = "Library for importing and converting Corel WordPerfect(tm) graphics"
HOMEPAGE = "http://libwpg.sourceforge.net/"
LICENSE = "MPL-2.0"
LIC_FILES_CHKSUM = " \
    file://COPYING.MPL;md5=815ca599c9df247a0c7f619bab123dad \
"

SRC_URI = "http://dev-www.libreoffice.org/src/${BPN}-${PV}.tar.xz"
SRC_URI[md5sum] = "c3727b1196506fc77f6f916866884411"
SRC_URI[sha256sum] = "99b3f7f8832385748582ab8130fbb9e5607bd5179bebf9751ac1d51a53099d1c"

inherit autotools pkgconfig

DEPENDS = "librevenge libwpd zlib"
RDEPENDS:${PN} = "perl"

repository: schnitzeltony/meta-office

repo_name: schnitzeltony/meta-office


text:
@InProceedings{gajane15,
  supplementary = {Supplementary:gajane15-supp.zip},
  title = {A Relative Exponential Weighing Algorithm for Adversarial Utility-based Dueling Bandits},
  author = {Pratik Gajane and Tanguy Urvoy and Fabrice Clérot},
  pages = {218-227},
  abstract = {We study the K-armed dueling bandit problem which is a variation of the classical Multi-Armed Bandit (MAB) problem in which the learner receives only relative feedback about the selected pairs of arms. We propose a new algorithm called Relative Exponential-weight algorithm for Exploration and Exploitation (REX3) to handle the adversarial utility-based formulation of this problem. This algorithm is a non-trivial extension of the Exponential-weight algorithm for Exploration and Exploitation (EXP3) algorithm. We prove a finite time expected regret upper bound of order O(sqrt(K ln(K)T)) for this algorithm and a general lower bound of order omega(sqrt(KT)). At the end, we provide experimental results using real data from information retrieval applications.},
}

repository: mreid/papersite

repo_name: mreid/papersite