text:
3-2064-1},
  url = {http://ieeexplore.ieee.org/document/6425852/},
  doi = {10.1109/CDC.2012.6425852},
  abstract = {We consider the problem of designing a feedback controller for a ﬁxed-wing unmanned aerial vehicle (UAV) to execute a dynamic post-stall maneuver and land accurately on a perch. This controller must deal with the nonlinearity of the post-stall dynamics and inherently limited control authority of the actuators. Using a recently proposed algorithm called “LQR-Trees”, here we demonstrate that we can generate formal guarantees (using time-varying Lyapunov functions) which verify that a controller generated with trajectory optimization and local linear feedback can achieve the desired perching tolerance from a range of initial conditions. These locally valid controllers are then combined into an library of controllers which cover a space of initial conditions with veriﬁed controllers. We describe some of the details of the implementation, which requires formulating and solving large semideﬁnite programs, and compare the veriﬁed regions with numerical samples of the system’s true performance. This perching problem represents the most high-dimensional and numerically challenging application of the LQR Trees algorithm reported to date.},
  eventtitle = {2012 {{IEEE}} 51st {{Annual Conference}} on {{Decision}} and {{Control}} ({{CDC}})},
  booktitle = {2012 {{IEEE}} 51st {{IEEE Conference}} on {{Decision}} and {{Control}} ({{CDC}})},
  publisher = {{IEEE}},
  urldate = {2019-04-02},
  date = {2012-12},
  pages = {3707-3714},
  author = {Moore, Joseph and Tedrake, Russ},
  file = {/Users/olepor/Zotero/storage/V422BMZ8/Moore and Tedrake - 2012 - Control synthesis and verification for a perching .pdf}
}

@article{bettsSurveyNumericalMethods,
  langid = {english},
  title = {A {{Survey}} of {{Numerical Methods}} for {{Trajectory Optimization}}},
  pages = {56},
  author = {Betts, John T},
  file = {/Users/olepor/Zotero/storage/ZIN9ECFU/Betts - A Survey of Numerical Methods for Trajectory Optim.pdf}
}

@inproceedings{ahmadi2014dsos,
  title = {{{DSOS}} and {{SDSOS}} Optimization: {{LP}} and {{SOCP}}-Based Alternatives to Sum of Squares Optimization},
  booktitle = {2014 48th Annual Conference on Information Sciences and Systems ({{CISS}})},
  date = {2014},
  pages = {1-5},
  author = {Ahmadi, Amir Ali and Majumdar, Anirudha},
  organization = {{IEEE}}
}

@article{Betts_1998,
  title = {Survey of {{Numerical Methods}} for {{Trajectory Optimization}}},
  volume = {21},
  url = {https://doi.org/10.2514%2F2.4231},
  doi = {10.2514/2.4231},
  number = {2},
  journaltitle = {Journal of Guidance, Control, and Dynamics},
  date = {1998-03},
  pages = {193-207},
  author = {Betts, John T.},
  publisher = {{American Institute of Aeronautics and Astronautics (AIAA)}}
}

@inproceedings{7139224,
  title = {Autonomous Robotic Exploration Using Occupancy Grid Maps and Graph {{SLAM}} Based on {{Shannon}} and {{Rényi Entropy}}},
  doi = {10.1109/ICRA.2015.7139224},
  booktitle = {2015 {{IEEE International Conference}} on {{Robotics}} and {{Automation}} ({{ICRA}})},
  date = {2015-05},
  pages = {487-494},
  keywords = {map uncertainty,SLAM (robots),Uncertainty,mobile robots,autonomous robotic exploration,Covariance matrices,Entropy,graph based SLAM system,graph theory,manual tuning,Measurement uncertainty,mobile robot,occupancy grid maps,Rényi entropy,Rényi's definitions,robot localization uncertainty,Shannon definition,Shannon entropy,Simultaneous localization and mapping,utility function},
  author = {Carrillo, H. and Dames, P. and Kumar, V. and Castellanos, J. A.},
  issn = {1050-4729}
}

@article{kearns2002sparse,
  title = {A Sparse Sampling Algorithm for Near-Optimal Planning in Large {{Markov}} Decision Processes},
  volume = {49},
  number = {2-3},
  journaltitle = {Machine learning},
  date = {2002},
  pages = {193-208},
  author = {Kearns, Michael and Mansour, Yishay and Ng, Andrew Y},
  publisher = {{Springer}}
}

@inproceedings{Stentz:1995:FDA:1643031.1643113,
  title = {The {{Focussed D}}* {{Algorithm}} for {{Real}}-Time {{Replanning}}},
  isbn = {1-55860-363-8},
  url = {http://dl.acm.org/citation.cfm?id=1643031.1643113},
  booktitle = {Proceedings of the 14th {{International Joint Conference}} on {{Artificial Intelligence}} - {{Volume}} 2},
  series = {{{IJCAI}}'95},
  publisher = {{Morgan Kaufmann Publishers Inc.}},
  date = {1995},
  pages = {1652-1659},
  author = {Stentz, Anthony},
  venue = {Montreal, Quebec, Canada},
  numpages = {8},
  acmid = {1643113}
}

@incollection{Kroese_2014,
  title = {Spatial {{Process Simulation}}},
  url = {https://doi.org/10.1007%2F978-3-319-10064-7_12},
  booktitle = {Stochastic {{Geometry}}, {{Spatial Statistics}} and {{Random Fields}}},
  publisher = {{Springer International Publishing}},
  date = {2014-08},
  pages = {369-404},
  author = {Kroese, Dirk P. and Botev, Zdravko I.},
  doi = {10.1007/978-3-319-10064-7_12}
}

@article{Veness_2011,
  title = {A {{Monte}}-{{Carlo AIXI Approximation}}},
  volume = {40},
  url = {https://doi.org/10.1613%2Fjair.3125},
  doi = {10.1613/jair.3125},
  journaltitle = {Journal of Artificial Intelligence Research},
  date = {2011-01},
  pages = {95-142},
  author = {Veness, J. and Ng, K.S. and Hutter, M. and Uther, W. and Silver, D.},
  publisher = {{AI Access Foundation}}
}

@incollection{Stentz_1997,
  title = {Optimal and {{Efficient Path Planning}} for {{Partially Known Environments}}},
  url = {https://doi.org/10.1007%2F978-1-4615-6325-9_11},
  booktitle = {Intelligent {{Unmanned Ground Vehicles}}},
  publisher = {{Springer US}},
  date = {1997},
  pages = {203-220},
  author = {Stentz, Anthony},
  doi = {10.1007/978-1-4615-6325-9_11}
}

@article{Tobenkin_2011,
  title = {Invariant {{Funnels}} around {{Trajectories}} Using {{Sum}}-of-{{Squares Programming}}},
  volume = {44},
  url = {https://doi.org/10.3182%2F20110828-6-it-1002.03098},
  doi = {10.3182/20110828-6-it-1002.03098},
  number = {1},
  journaltitle = {IFAC Proceedings Volumes},
  date = {2011-01},
  pages = {9218-9223},
  author = {Tobenkin, Mark M. and Manchester, Ian R. and Tedrake, Russ},
  publisher = {{Elsevier BV}}
}

@inproceedings{Kurniawati_2011,
  title = {Global {{Motion Planning}} under {{Uncertain Motion}}, {{Sensing}}, and {{Environment Map}}},
  url = {https://doi.org/10.15607%2Frss.2011.vii.023},
  doi = {10.15607/rss.2011.vii.023},
  booktitle = {Robotics: {{Science}} and {{Systems VII}}},
  publisher = {{Robotics: Science and Systems Foundation}},
  date = {2011-06},
  author = {Kurniawati, Hanna and Bandyopadhyay, Tirthankar and Patrikalakis, Nicholas}
}

@incollection{von1993numerical,
  title = {Numerical Solution of Optimal Control Problems by Direct Collocation},
  booktitle = {Optimal {{Control}}},
  publisher = {{Springer}},
  date = {1993},
  pages = {129-143},
  author = {Von Stryk, Oskar}
}

@book{MasterThesisCode2019,
  title = {Master {{Thesis}} Code},
  url = {https://github.uio.no/olepor/drake_thesis},
  publisher = {{GitHub}},
  date = {2019}
}

@inproceedings{luders2013robust,
  title={Robust sampling-based motion planning with asymptotic optimality guarantees},
  author={Luders, Brandon D and Karaman, Sertac and How, Jonathan P},
  booktitle={AIAA Guidance, Navigation, and Control (GNC) Conference},
  pages={5097},
  year={2013}
}

@inproceedings{melchior2007particle,
  title={Particle RRT for path planning with uncertainty},
  author={Melchior, Nik A and Simmons, Reid},
  booktitle={Proceedings 2007 IEEE International Conference on Robotics and Automation},
  pages={1617--1624},
  year={2007},
  organization={IEEE}
}

license_type: permissive

branch_name: refs/heads/master

extension: bib


text:
@article{Harper2012-1,
 abstract = {The Web 2.0 sees once static pages evolve into hybrid applications, and content that was previously simple, now becoming increasingly complicated due to the many updating components located throughout the page. While beneficial for some users, these components (widgets) are often complex and will lead to confusion and frustration for others, notably those for whom accessibility is already an issue. While users and developers often perceive widgets as complete components (a Slideshow, or an Auto Suggest List), they are in-fact heterogeneous collections of code, and are therefore hard to computationally identify. Identification is critical if we wish to reverse engineer inaccessible widgets or `inject' missing `WAI-ARIA' into `RIAs'. In this case, we introduce a technique that analyses the code associated with a Web page to identify widgets using combinations of code constructs which enable uniquely identification. We go on to technically evaluate our approach with the most difficult widgets to distinguish between---Slideshows and Carousels---and then describe two prototype applications for visually impaired and older users by means of example.},
 annote = {
\textlessm:bold\textgreaterFrom Duplicate 1 ( \textless/m:bold\textgreater
\textlessm:bold\textgreater
\textlessm:italic\textgreaterWidget Identification: A High-Level Approach to Accessibility\textless/m:italic\textgreater
\textless/m:bold\textgreater
\textlessm:bold\textgreater - Chen, Alex; Harper, Simon; Lunn, Darren; Brown, Andrew )\textlessm:linebreak\textgreater\textless/m:linebreak\textgreater
\textless/m:bold\textgreater
\textlessm:linebreak\textgreater\textless/m:linebreak\textgreater10.1007/s11280-012-0156-6\textlessm:linebreak\textgreater\textless/m:linebreak\textgreater
\textlessm:linebreak\textgreater\textless/m:linebreak\textgreater
},
 author = {Chen, AlexQ. and Harper, Simon and Lunn, Darren and Brown, Andrew},
 doi = {http://dx.doi.org/10.1007/s11280-012-0156-6},
 issn = {1386-145X},
 journal = {World Wide Web},
 keywords = {Computer Science,SASWAT,SCWEB2,WIMWAT,Web 2.0,ageing,disabilities,widget classificat,widget classification,widget identification},
 month = {jan},
 number = {1},
 pages = {1--17},
 publisher = {Springer Netherlands},
 title = {Widget Identification: A High-Level Approach to Accessibility},
 url = {http://www.simonharper.info/publications/Harper2012-1.pdf http://dx.doi.org/10.1007/s11280-012-0156-6},
 volume = {16},
 year = {2013}
}

license: MIT

repository: sharpic/academic-kickstart

repo_name: sharpic/academic-kickstart


text:
@InProceedings{Zhang15a,
  title = {Robust Multivariate Regression with Grossly Corrupted Observations and Its Application to Personality Prediction},
  author = {Zhang, Xiaowei and Cheng, Li and Zhu, Tingshao},
  pages = {112-126},
  abstract = {We consider the problem of multivariate linear regression with a small fraction of the responses being missing and grossly corrupted, where the magnitudes and locations of such occurrences are not known in priori. This is addressed in our approach by explicitly taking into account the error source and its sparseness nature. Moreover, our approach allows each regression task to possess its distinct noise level. We also propose a new algorithm that is theoretically shown to always converge to the optimal solution of its induced non-smooth optimization problem. Experiments on controlled simulations suggest the competitiveness of our algorithm comparing to existing multivariate regression models. In particular, we apply our model to predict the \textit{Big-Five} personality from user behaviors at Social Network Sites (SNSs) and microblogs, an important yet difficult problem in psychology, where empirical results demonstrate its superior performance with respect to related learning methods.
},
}

repository: mreid/papersite

repo_name: mreid/papersite

gha_license_id: MIT

gha_language: TeX


text:
/* Tables */
table {
	margin: 0 0 8em;
	border-collapse: collapse;
	width: 100%;
}
th {
	padding: 20px 40px 0 0;
	text-align: left;
	font: 0.91em/2 "Lucida Grande", Tahoma, sans-serif;
	cursor: default;
}
td {
	background: #f6f6f6;
	padding: 0.75em 40px 0.75em 0;
	border-top: thin solid #ddc;
	border-bottom: thin solid #ddc;
	text-align: left;
	font: 1em/1.5 "Lucida Grande", Tahoma, sans-serif;
	cursor: default;
}
th:first-child, td:first-child {
	padding-left: 40px;
}
.even td {
	background: #fff;
}
tbody a {
	position: relative;
	padding: 8px 0;
}
tbody input {
	float: right;
}
tbody.able input {
	position: fixed;
	visibility: hidden;
	left: -100%;
}
.inactive {
	color: #aa9;
}
.inactive a {
	color: #887;
}
.inactive a:hover {
	color: #222;
}
.highlight td {
	background: #ffb;
	border-color: #eda;
	color: #222;
}
.highlight a {
	color: #57b;
}
tbody td[colspan] {
	color: #998;
}
.selected td {
	background: #5576c2;
	border-color: #6783cb;
	color: #fff;
}
.selected.even td {
	background: #597bc6;
}
.selected a {
	color: #fff;
}
tfoot td {
	background: none;
	padding: 20px 40px 0;
	border-bottom-color: #fff;
	text-align: right;
	color: #998;
}
tfoot select, tfoot input[type="submit"] {
	display: inline;
	margin: 0 0 0 10px;
	float: none;
	width: auto;
}
.page {
	margin: -9.9em 0 6.3em;
	float: left;
	color: #aa9;
}
.page.brief {
	margin: -6.3em 0 6.3em;
}
.page li {
	display: inline;
	margin-left: 1em;
	font-size: 0.95em;
}
.page li[title] {
	color: #222;
}
.page a {
	text-decoration: none;
}
tfoot input[type="image"] {
	margin: -8px 0;
	border: 10px solid #fff;
	float: left;
}
tfoot input[type="image"]:first-child {
	margin-left: -10px;
}
tfoot small {
	margin: 0;
	padding: 0;
	float: left;
	width: auto;
	font: 0.91em/1 "Lucida Grande", Tahoma, sans-serif;
}

/* Icons */
td:first-child a[class] {
	margin: -8px 0;
	padding-left: 20px;
	float: left;
}
.content {
	background: url("images/icons/content.png") no-repeat;
}
.content-locked {
	background: url("images/icons/content-locked.png") no-repeat;
}
.component {
	background: url("images/icons/component.png") no-repeat;
}
.framework {
	background: url("images/icons/framework.png") no-repeat;
}
.author {
	background: url("images/icons/author.png") no-repeat;
}
.admin {
	background: url("images/icons/admin.png") no-repeat;
}
.ticket {
	background: url("images/icons/ticket.png") no-repeat;
}
.ticket-new {
	background: url("images/icons/ticket-new.png") no-repeat;
}
.petition {
	background: url("images/icons/petition.png") no-repeat;
}
.petition-signed {
	background: url("images/icons/petition-signed.png") no-repeat;
}
.campfire {
	background: url("images/icons/campfire.png") no-repeat;
}
.campfire-certified {
	background: url("images/icons/campfire-certified.png") no-repeat;
}
.campfire-installed {
	background: url("images/icons/campfire-installed.png") no-repeat;
}
.comment {
	background: url("images/icons/comment.png") no-repeat;
}
.comment-spam {
	background: url("images/icons/comment-spam.png") no-repeat;
}

extension: css


text:
@inproceedings{morency2013icmi,
 author = {Morency, Louis-Philippe and Oviatt, Sharon and Scherer, Stefan and Weibel, Nadir and Worsley, Marcelo},
 booktitle = {Proceedings of the 15th ACM on International conference on multimodal interaction},
 pages = {373--378},
 title = {ICMI 2013 grand challenge workshop on multimodal learning analytics},
 year = {2013}
}

repository: robinzhx/hxi-website

repo_name: robinzhx/hxi-website

branch_name: refs/heads/main


text:
@article{frank10nat,
 annote = {10.1038/nature08769},
 author = {Frank, David C. and Esper, Jan and Raible, Christoph C. and Buntgen, Ulf and Trouet, Valerie and Stocker, Benjamin and Joos, Fortunat},
 bdsk-url-1 = {http://dx.doi.org/10.1038/nature08769},
 date-added = {2016-09-29 19:28:51 +0000},
 date-modified = {2016-09-29 19:28:56 +0000},
 day = {28},
 isbn = {0028-0836},
 journal = {Nature},
 number = {7280},
 pages = {527--530},
 publisher = {Macmillan Publishers Limited. All rights reserved},
 title = {Ensemble reconstruction constraints on the global carbon cycle sensitivity to climate},
 ty = {JOUR},
 url = {http://dx.doi.org/10.1038/nature08769},
 volume = {463},
 year = {2010}
}


text:
@Misc{tikz_dna,
  author       = {},
  title        = {{{Test dataset simulated by ddRAGE}}},
  note         = {source: \url{https://github.com/AntonieV/NodeRAD/tree/master/.test/data/small_dataset}},
}

repository: AntonieV/RADSeq

repo_name: AntonieV/RADSeq

extension: bibtex


text:
@inproceedings{DBLP:conf/iceis/BonillaCL10,
  author    = {Angel Mora Bonilla and
               Enrique M{\'{e}}rida Casermeiro and
               Domingo L{\'{o}}pez{-}Rodr{\'{\i}}guez},
  editor    = {Joaquim Filipe and
               Jos{\'{e}} Cordeiro},
  title     = {Improving Moodle with {WIRIS} and {M-QIT}},
  booktitle = {{ICEIS} 2010 - Proceedings of the 12th International Conference on
               Enterprise Information Systems, Volume 4, SAIC, Funchal, Madeira,
               Portugal, June 8 - 12, 2010},
  pages     = {75--80},
  publisher = {SciTePress},
  year      = {2010},
  timestamp = {Tue, 04 Jan 2011 09:39:17 +0100},
  biburl    = {https://dblp.org/rec/conf/iceis/BonillaCL10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

gha_language: HTML


text:
DESCRIPTION = "JSON parser/encoder for Lua Parses JSON using LPEG for speed and flexibility"
LICENSE = "MIT"
HOMEPAGE = "https://github.com/harningt/luajson"
LIC_FILES_CHKSUM = "file://LICENSE;md5=ac0d9618a43915269abea2cb61c95cac"

DEPENDS += "lua-native lua"
RDEPENDS_${PN} += "lualpeg"

SRC_URI = "git://github.com/harningt/luajson.git;branch=master \
           file://0001-build-patch.patch"

SRCREV = "b5e3c9bf73cb7908e246230e991d853aaa35552d"
S = "${WORKDIR}/git"
LUA_VERSION = "5.3"

EXTRA_OEMAKE = "LUA_V=${LUA_VERSION} PREFIX=${D}/usr"

do_compile() {
    cd ${S}
    oe_runmake all
}

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

FILES_${PN} = "${datadir}/lua/${LUA_VERSION}/"

extension: bb


text:
DESCRIPTION = "linux-wlan-ng userland utilities"
HOMEPAGE = "http://www.linux-wlan.org"
SECTION = "kernel/userland"
DEPENDS = "virtual/kernel"
LICENSE = "GPL"
PR = "r0"

SRC_URI = "ftp://ftp.linux-wlan.org/pub/linux-wlan-ng/linux-wlan-ng-${PV}.tar.bz2 \
	file://only-the-utils.patch;patch=1 \
	file://scripts-makefile-hostcc.patch;patch=1 \
	file://pcmciasrc.patch;patch=1 \
	file://wlan-ng.modutils \
	file://wlan.agent \
	file://usbctl \
	file://resume \
	file://pre-up \
	file://post-down \
	file://config.in"
S = "${WORKDIR}/linux-wlan-ng-${PV}"

# yeah, it's kind of backwards, but otherwise the config step will fail
inherit module

do_configure() {
	install -m 0655 ${WORKDIR}/config.in ${S}/config.in
	oe_runmake LINUX_SRC=${KERNEL_SOURCE} auto_config

        if grep CONFIG_PCMCIA=[ym] ${STAGING_KERNEL_DIR}/kernel-config; then
                echo "PRISM2_PCMCIA=y"          >> config.mk
                echo "WLAN_KERN_PCMCIA=y"       >> config.mk
        fi
        echo "TARGET_ROOT_ON_HOST=${D}/"		>> config.mk
	echo "FIRMWARE_DIR=/etc/wlan"		>> config.mk
        echo "TARGET_MODDIR=${D}/lib/modules/${KERNEL_VERSION}/wlan-ng" >> config.mk
	echo "TARGET_INST_EXEDIR=${D}/sbin"			>> config.mk
        echo "RC_DIR=${sysconfdir}/"             >> config.mk
	echo "CC=${CC}"			>> config.mk
	echo "LD=${LD}"			>> config.mk

	# Shut up, you broken buildsystem
	install -m 0655 config.mk src/prism2/config.mk
	install -d src/prism2/driver/include
	ln -sf ${S}/src/include/wlan 		src/prism2/driver/include/wlan
	ln -sf ${S}/src/prism2/include/prism2	src/prism2/driver/include/prism2
}

do_compile() {
	oe_runmake all
}

do_install() {
	oe_runmake install
	mkdir -p ${D}${sysconfdir}/modutils/
	mkdir -p ${D}${sysconfdir}/hotplug/
	mkdir -p ${D}${base_sbindir}/
	install -m 0644 ${WORKDIR}/wlan-ng.modutils ${D}${sysconfdir}/modutils/wlan-ng.conf
	install -m 0755 ${WORKDIR}/wlan.agent ${D}${sysconfdir}/hotplug/wlan.agent
	install -d ${D}${sysconfdir}/network/if-pre-up.d
	install -m 0755 ${WORKDIR}/pre-up ${D}${sysconfdir}/network/if-pre-up.d/wlan-ng
	install -d ${D}${sysconfdir}/network/if-post-down.d
	install -m 0755 ${WORKDIR}/post-down ${D}${sysconfdir}/network/if-post-down.d/wlan-ng
	install -d ${D}${sysconfdir}/apm/resume.d
	install -m 0755 ${WORKDIR}/resume ${D}${sysconfdir}/apm/resume.d/wlan-ng
	install -m 0755 ${WORKDIR}/usbctl ${D}${base_sbindir}/usbctl
	install -d ${D}${mandir}
}

FILES_${PN} = "/etc /sbin"

repository: Terentyev/familiar-linux

repo_name: Terentyev/familiar-linux


text:
PV = "4_20_12"
PV_dot = "4.20.12"

require ti-dvtb.inc

SRC_URI[dvtbtarball.md5sum] = "74d0c71450265e35b963b89528f9bee9"
SRC_URI[dvtbtarball.sha256sum] = "4b35c595ed78d0773077f5b9a0dffda124b8328a4073bf6654ed690a857f48b7"

repository: overo/overo-oe-natty

repo_name: overo/overo-oe-natty

branch_name: HEAD


text:
SRC_URI[aarch64.md5sum] = "2384753a691818cebebffb5b91fd92ec"
SRC_URI[aarch64.sha256sum] = "a19949c6f4e048c8a4bb14d7aa089f1d33eeec9d79dd41a6c74ecd15eb3f0dfd"

inherit opendreambox-precompiled-binary

require enigma2-hbbtv-plugin.inc

repository: opendreambox/opendreambox

repo_name: opendreambox/opendreambox

branch_name: refs/heads/pyro

gha_license_id: NOASSERTION

gha_language: BitBake