text:
5585161},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/1553374.1553555},
doi = {10.1145/1553374.1553555},
booktitle = {Proceedings of the 26th Annual International Conference on Machine Learning},
articleno = {15},
numpages = {1},
location = {Montreal, Quebec, Canada},
series = {ICML '09}
}

@inproceedings{10.1145/1553374.1553557,
author = {Niv, Yael},
title = {Tutorial Summary: The Neuroscience of Reinforcement Learning},
year = {2009},
isbn = {9781605585161},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/1553374.1553557},
doi = {10.1145/1553374.1553557},
booktitle = {Proceedings of the 26th Annual International Conference on Machine Learning},
articleno = {16},
numpages = {1},
location = {Montreal, Quebec, Canada},
series = {ICML '09}
}

@inproceedings{10.1145/1553374.1553558,
author = {Bennett, Paul and Bilenko, Misha and Collins-Thompson, Kevyn},
title = {Tutorial Summary: Machine Learning in IR: Recent Successes and New Opportunities},
year = {2009},
isbn = {9781605585161},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/1553374.1553558},
doi = {10.1145/1553374.1553558},
booktitle = {Proceedings of the 26th Annual International Conference on Machine Learning},
articleno = {17},
numpages = {1},
location = {Montreal, Quebec, Canada},
series = {ICML '09}
}

@inproceedings{10.1145/1553374.1553559,
author = {Dasgupta, Sanjoy and Langford, John},
title = {Tutorial Summary: Active Learning},
year = {2009},
isbn = {9781605585161},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/1553374.1553559},
doi = {10.1145/1553374.1553559},
booktitle = {Proceedings of the 26th Annual International Conference on Machine Learning},
articleno = {18},
numpages = {1},
location = {Montreal, Quebec, Canada},
series = {ICML '09}
}

@inproceedings{10.1145/1553374.1553560,
author = {Leskovec, Jure},
title = {Tutorial Summary: Large Social and Information Networks: Opportunities for ML},
year = {2009},
isbn = {9781605585161},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/1553374.1553560},
doi = {10.1145/1553374.1553560},
booktitle = {Proceedings of the 26th Annual International Conference on Machine Learning},
articleno = {19},
numpages = {1},
location = {Montreal, Quebec, Canada},
series = {ICML '09}
}

@inbook{10.1145/1553374.1553561,
author = {Smith, Noah},
title = {Tutorial Summary: Structured Prediction for Natural Language Processing},
year = {2009},
isbn = {9781605585161},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/1553374.1553561},
booktitle = {Proceedings of the 26th Annual International Conference on Machine Learning},
articleno = {20},
numpages = {1}
}

license: Unlicense

repository: goyalkaraniit/acm-cr

repo_name: goyalkaraniit/acm-cr


text:
@InProceedings{ahn14,
  supplementary = {Supplementary:ahn14-supp.pdf},
  title = {Distributed Stochastic Gradient MCMC},
  author = {Sungjin Ahn and Babak Shahbaba and Max Welling},
  pages = {1044-1052},
  abstract = {Probabilistic inference on a big data scale is becoming increasingly relevant to both the machine learning and statistics communities. Here we introduce the first fully distributed MCMC algorithm based on stochastic gradients. We argue that stochastic gradient MCMC algorithms are particularly suited for distributed inference because individual chains can draw minibatches from their local pool of data for a flexible amount of time before jumping to or syncing with other chains. This greatly reduces communication overhead and allows adaptive load balancing. Our experiments for LDA on Wikipedia and Pubmed show that relative to the state of the art in distributed MCMC we reduce compute time from 27 hours to half an hour in order to reach the same perplexity level.},
  section = {cycle-2},
}

license: MIT

repository: mreid/papersite

license_type: permissive

repo_name: mreid/papersite

branch_name: refs/heads/master

gha_license_id: MIT

gha_language: TeX

extension: bib


text:
KV = "4.3.0"
SRCDATE = "20160125"

COMPATIBLE_MACHINE = "osmini"

require os-dvb-modules.inc

SRC_URI[md5sum] = "8278f831e883b1da59cb199a1d1797ec"
SRC_URI[sha256sum] = "7d0778a35cc38f0b11fcea15edc4557a305926840813ac95fa7dda5e105e7bc6"

repository: avlogic/meta-edision

repo_name: avlogic/meta-edision

extension: bb


text:
Leonard|NIL|NIL
Bernstein|NIL|NIL
Bernstein|Leonard|NIL
beloved|NIL|NIL
internationally|NIL|NIL
acclaimed|NIL|NIL
acclaimed|internationally|NIL
maestro|NIL|NIL
maestro|beloved|NIL
maestro|acclaimed|NIL
died|NIL|NIL
died|Bernstein|ARG1
died|maestro|ARG1
died|October|ARGM-TMP
died|72|ARGM-TMP
October|NIL|NIL
October|14th|NIL
14th|NIL|NIL
72|NIL|NIL
72|failure|NIL
lung|NIL|NIL
failure|NIL|NIL
failure|lung|NIL
days|NIL|NIL
New|NIL|NIL
York|NIL|NIL
Philharmonic|NIL|NIL
Philharmonic|New|NIL
Philharmonic|York|NIL
Philharmonic|tribute|NIL
tribute|NIL|NIL
tribute|association|NIL
its|NIL|NIL
47-year|NIL|NIL
association|NIL|NIL
association|its|NIL
association|47-year|NIL
association|conductor|NIL
brilliant|NIL|NIL
conductor|NIL|NIL
conductor|brilliant|NIL
played|NIL|NIL
played|days|ARGM-LOC
played|Philharmonic|ARG0
played|did|ARGM-MNR
special|NIL|NIL
program|NIL|NIL
program|a|NIL
program|special|NIL
several|NIL|NIL
other|NIL|NIL
orchestras|NIL|NIL
orchestras|several|NIL
orchestras|other|NIL
Recently|NIL|NIL
Broadway|NIL|NIL
also|NIL|NIL
honored|NIL|NIL
honored|Recently|ARGM-TMP
honored|Broadway|ARG0
honored|also|ARGM-DIS
honored|Bernstein|ARG1
honored|show|ARGM-MNR
Bernstein|NIL|NIL
Bernstein|composer|NIL
composer|NIL|NIL
composer|Story|NIL
West|NIL|NIL
Side|NIL|NIL
Story|NIL|NIL
Story|West|NIL
Story|Side|NIL
special|NIL|NIL
show|NIL|NIL
show|a|NIL
show|special|NIL
show|Theater|NIL
Majestic|NIL|NIL
Theater|NIL|NIL
Theater|Majestic|NIL
Several|NIL|NIL
record|NIL|NIL
companies|NIL|NIL
companies|Several|NIL
companies|record|NIL
accelerate|NIL|NIL
accelerate|companies|ARG0
accelerate|re-releases|ARG1
re-releases|NIL|NIL
re-releases|recordings|NIL
Bernstein|NIL|NIL
recordings|NIL|NIL
recordings|Bernstein|NIL
Bernstein|NIL|NIL
ill|NIL|NIL
ill|time|NIL
time|NIL|NIL
time|some|NIL
participate|NIL|NIL
participate|Bernstein|ARG0
participate|ill|ARGM-ADV
participate|celebrations|ARG1
his|NIL|NIL
70th|NIL|NIL
birthday|NIL|NIL
celebrations|NIL|NIL
celebrations|his|NIL
celebrations|70th|NIL
celebrations|birthday|NIL
celebrations|Tanglewood|NIL
celebrations|Carnegie|NIL
celebrations|Hall|NIL
Tanglewood|NIL|NIL
Carnegie|NIL|NIL
Hall|NIL|NIL
latter|NIL|NIL
occurred|NIL|NIL
occurred|latter|ARG1
occurred|anniversary|ARGM-TMP
45th|NIL|NIL
anniversary|NIL|NIL
anniversary|45th|NIL
anniversary|debut|NIL
his|NIL|NIL
directorial|NIL|NIL
debut|NIL|NIL
debut|his|NIL
debut|directorial|NIL
debut|Philharmonic|NIL
Philharmonic|NIL|NIL

branch_name: refs/heads/main

gha_language: Jupyter Notebook

extension: be


text:
/*
Theme Name: Fatihwin
Theme URl: https://github.com/fatihwin
Author: Fatihwin Team
Author URl:https://github.com/fatihwin

Version :1.0
License:MIT License
License URl:https://opensource.org/licenses/MIT
Tags: Chess Themes,Wordpress Themes,Powerful Themes
Theme Description:Modern Chess Themes for wordpress
Text-Domain: fatihwin-pro
*/
/*Table of contents
-Featured Image
-Support Google Fonts
-Custom CSS
-Good For Elementor
-Good For Blogging

*/
h1,h2,h3 ,h4,h5,h6{
margin: 0;
}
body{
font-family: 'Karla',sans-serif;
}
.navbar-brand{
font-family:'Viga',sans-serif; font-size: 32px;
}
.nav-link{
font-family: 'Karla',sans-serif;
}
.ftwin-container{padding: 400px; margin: auto; width: 30px; box-shadow: 1px 1px 2px #000;}
.ftwin-buttons{background-color: #0b63dc; border: none; padding: 12px;}
.ftwin-btn-green{background-color: #19f719; padding: 6px; border: none;}.ftwin-btn-red{background-color: #f50a0a; padding: 6px; border: none;}
.ftwin-btn-black{background-color: #070707; padding: 5px; border: none;}
.ftwin-btn-yellow{background-color: #ecec11; padding: 6px; border: none;}
.ftwin-bg{background-color: #999; text-align: center; position:absolute; top:50%; left:50%; transform: translate(-50% , 50%); color: white;}
.ftwin-display-buttons{border: none; outline: none;  display: inline-block; padding: 10px 25px; color:white; background-color: #0b63dc; text-align: center; cursor: pointer;}.ftwin-display-buttons:hover{background-color: #d3d310; color:white; border: none;}.ftwin-img-center{display: block; margin-left: auto; margin-right: auto;}
.ftwin-rounded-circle{border-radius: 51%;}.ftwin-center{text-align: center;}
.ftwin-tag{background-color: #070707; color:white;}
::-webkit-file-upload-button{
padding: 40px; margin: 11px;
}
.footer{
    font-family: sans-serif;
    font-size: 11px;
    text-align: center;
    }
    .footer-left{
    font-family: sans-serif;
    font-size: 10px;
    text-align: left;
    }
    .footer-right{
    font-family: sans-serif;
    font-size: 10px;
    text-align: right;
    }
    img.wp-smiley,
    img.emoji {
        display: inline !important;
        border: none !important;
        box-shadow: none !important;
        height: 1em !important;
        width: 1em !important;
        margin: 0 .07em !important;
        vertical-align: -0.1em !important;
        background: none !important;
        padding: 0 !important;
    }
    img.wp-post-image{
    display: inline !important;
    border: none !important;
    width: 363px !important;
    padding: 0;
    margin: auto!important;
    }

    input[type=text]{
        width: 100%;
        margin: 5px 0 22px 0;
    padding: 13px;
    display: inline-block;
    border-radius: 4px;
    border: none;
    background: #f1f1f1;
    }
    input[type=text]:focus{
    background-color: #ddd;
    outline: none;
    }
    button{
        font-family: 'Karla',sans-serif;
        border: none;
        background-color: #0B63DC;
        color:white;
        padding: 14px;
        margin: auto;
        text-transform: uppercase;
        margin-left: 30px;
    }
    button[type=submit]{
        font-family: 'Karla',sans-serif;
        border: none;
        background-color: #0B63DC;
        color:white;
        padding: 14px;
        margin: auto;
        text-transform: uppercase;
        margin-left: 30px;
    }
    input[type=email]{
        width: 100%;
    padding: 13px;
    margin: 5px 0 22px 0;
    display: inline-block;
    border: none;
    background: #f1f1f1;
    }
    .container{
        padding: 16px;
        background-color: white;
        }
        div {
            width: calc(99.9% * 1/3 - (30px - 30px * 1/3));
          }
          div:nth-child(1n) {
            float: left;
            margin-right: 30px;
            clear: none;
          }
          div:last-child {
            margin-right: 0;
          }
          div:nth-child(3n) {
            margin-right: 0;
            float: right;
          }
          div:nth-child(3n + 1) {
            clear: both;
          }
          section {
            lost-utility: clearfix;
          }

          div {
            lost-column: 1/2;
          }
          section {
            lost-center: 980px;
          }

          div {
            lost-column: 1/2;
          }
          div {
            lost-column: 2/4 2;
          }
          .row {
            lost-utility: clearfix;
          }

          .quarter {
            lost-column: 1/4 0;
          }

          .half {
            lost-column: 1/2 0;
          }
          div {
            lost-column: 2/6;
            lost-column-cycle: 3;
          }
          section {
            lost-masonry-wrap: no-flex;
          }

          div {
            lost-masonry-column: 1/3;
          }
          /*Avatar */
          .avatar{
            vertical-align: middle;
            width: 50px;
            height: 50px;
            border-radius: 50%;
          }
    .login-ftwin{
    opacity: 1;
    border: none;
    border-color: #080b0f;
    }
    /*Gallery */

.gallery {
	overflow: hidden;
}

.gallery-item {
	float: left;
	margin: 0 0 28px;
	text-align: center;
}

.gallery-columns-1 .gallery-item {
	width: 100%;
}

.gallery-columns-2 .gallery-item {
	width: 50%;
}

.gallery-columns-3 .gallery-item {
	width: 33%;
}

.gallery-columns-4 .gallery-item {
	width: 25%;
}

.gallery-columns-5 .gallery-item {
	width: 20%;
}

.gallery-columns-6 .gallery-item {
	width: 16.6666%;
}

.gallery-columns-7 .gallery-item {
	width: 14.2857%;
}

.gallery-columns-8 .gallery-item {
	width: 12.5%;
}

.gallery-columns-9 .gallery-item {
	width: 11.1111%;
}

.gallery-columns-2 .gallery-item:nth-child(2n+1),
.gallery-columns-3 .gallery-item:nth-child(3n+1),
.gallery-columns-4 .gallery-item:nth-child(4n+1),
.gallery-columns-5 .gallery-item:nth-child(5n+1),
.gallery-columns-6 .gallery-item:nth-child(6n+1),
.gallery-columns-7 .gallery-item:nth-child(7n+1),
.gallery-columns-8 .gallery-item:nth-child(8n+1),
.gallery-columns-9 .gallery-item:nth-child(9n+1) {
	clear: left;
}

.gallery img {
	border: 1px solid #eee;
	height: auto;
	padding: 4px;
}

.gallery img:focus,
.gallery img:hover {
	border: 1px solid #999;
}
/* WP image block */
.wp-block-image {
    max-width: 100%;
    margin: 2em auto;
}

.wp-block-image img {
    max-width: 100%;
	  margin: auto auto;
    height: auto !important;
    max-height: 100% !important;
}

.wp-block-image.aligncenter {
    text-align: center;
}

.wp-block-image.alignfull img,.wp-block-image.alignwide img {
    width: 100%
}

.wp-block-image .aligncenter,.wp-block-image .alignleft,.wp-block-image .alignright,.wp-block-image.is-resized {
    display: table;
    margin-left: 0;
    margin-right: 0
}

.wp-block-image .alignleft {
    float: left;
    margin-right: 1em
}

.wp-block-image .alignright {
    float: right;
    margin-left: 1em
}

.wp-block-image .aligncenter {
    margin-left: auto;
    margin-right: auto
}

.wp-block-image figcaption {
    margin-top: .5em;
    margin-bottom: 1em
}

.wp-block-image img {

	border-radius: 1em;
}

.footer-menu {
    font-size: 2.4rem;
    margin: -1.5rem 0 0 -3rem;
}

.footer-menu li {
    margin: 1.5rem 0 0 3rem;
}

ul.footer-social {
    margin: -1rem 0 0 -1rem;
}

ul.footer-social li {
    margin: 1rem 0 0 1rem;
}

.footer-social a {
    height: 4.4rem;
    width: 4.4rem;
}

.footer-social a::before {
    font-size: 2rem;
}

/* FOOTER WIDGETS */

.footer-widgets-wrapper {
    margin-left: -6rem;
    width: calc(100% + 6rem);
}

.footer-widgets {
    margin-left: 6rem;
}

}
/* BLOCK: GALLERY */

figure.wp-block-gallery.alignleft {

    /*rtl:ignore*/
    margin-left: -31rem;
}

figure.wp-block-gallery.alignright {

    /*rtl:ignore*/
    margin-right: -31rem;
}

/* block-seperator */

.wp-block-separator.is-style-wide {
    max-width: 120rem;
    width: 120rem;
}
/* ALIGNMENT CLASSES */

.entry-content > .alignleft,
.entry-content > p .alignleft,
.entry-content > .wp-block-image .alignleft {

    /*rtl:ignore*/
    right: calc((100vw - 58rem) / 2 + 58rem + 4rem);

    /*rtl:ignore*/
    margin-left: -31rem;
}

.entry-content > .alignright,
.entry-content > p .alignright,
.entry-content > .wp-block-image .alignright {

    /*rtl:ignore*/
    left: calc((100vw - 58rem) / 2 + 58rem + 4rem);

    /*rtl:ignore*/
    margin-right: -31rem;
}

.entry-content > .alignwide {
    max-width: 120rem;
    width: 120rem;
}

[class*="__inner-container"] > .alignwide {
    max-width: 120rem;
    width: 100%;
}

.alignleft,
.alignright,
.entry-content > .alignleft,
.entry-content > p .alignleft,
.entry-content > .wp-block-image .alignleft,
.entry-content > .alignright,
.entry-content > p .alignright,
.entry-content > .wp-block-image .alignright,
[class*="wp-block"].alignwide:not(.has-background) [class*="__inner-container"] > .alignleft,
[class*="wp-block"].alignwide:not(.has-background) [class*="__inner-container"] > p .alignleft,
[class*="wp-block"].alignwide:not(.has-background) [class*="__inner-container"] > .wp-block-image .alignleft,
[class*="wp-block"].alignfull [class*="__inner-container"] > .alignleft,
[class*="wp-block"].alignfull [class*="__inner-container"] > p .alignleft,
[class*="wp-block"].alignfull [class*="__inner-container"] > .wp-block-image .alignleft,
[class*="wp-block"].alignwide:not(.has-background) [class*="__inner-container"] > .alignright,
[class*="wp-block"].alignwide:not(.has-background) [class*="__inner-container"] > p .alignright,
[class*="wp-block"].alignwide:not(.has-background) [class*="__inner-container"] > .wp-block-image .alignright,
[class*="wp-block"].alignfull [class*="__inner-container"] > .alignright,
[class*="wp-block"].alignfull [class*="__inner-container"] > p .alignright,
[class*="wp-block"].alignfull [class*="__inner-container"] > .wp-block-image .alignright {
    max-width: 25rem;
}

	/* BLOCK: PULLQUOTE */

	.wp-block-pullquote.is-style-solid-color.alignleft::before,
	.wp-block-pullquote.is-style-solid-color.alignright::before {
		top: 0;
	}
}

ul.primary-menu {
    margin: -0.8rem 0 0 -2.5rem;
}

.primary-menu > li {
    margin: 0.8rem 0 0 2.5rem;
}

/* HEADER TOGGLES */

.primary-menu-wrapper + .header-toggles {
    margin-left: 4rem;
}

.header-toggles {
    margin-right: -4rem;
}

.header-toggles .toggle {
    padding: 0 4rem;
}

#site-header {
    z-index: 2;
}

.header-inner {
    align-items: center;
    display: flex;
    justify-content: space-between;
    padding: 2.8rem 0;
}

.header-titles-wrapper {
    margin-right: 4rem;
    max-width: 50%;
    padding: 0;
    text-align: left;
}

.header-titles {
    align-items: baseline;
    display: flex;
    flex-wrap: wrap;
    justify-content: flex-start;
    margin: -1rem 0 0 -2.4rem;
}

.header-titles .site-title,
.header-titles .site-logo,
.header-titles .site-description {
    margin: 1rem 0 0 2.4rem;
}

.wp-custom-logo .header-titles {
    align-items: center;
}

/* HEADER NAVIGATION */

.header-navigation-wrapper {
    align-items: center;
    display: flex;
}

.primary-menu-wrapper {
    display: block;
    width: 100%;
}

/* HEADER TOGGLES */

.mobile-search-toggle,
.mobile-nav-toggle {
    display: none !important;
}

.primary-menu-wrapper + .header-toggles {
    margin-left: 3rem;
}

.header-toggles {
    display: flex;
    flex-shrink: 0;
    margin-right: -3rem;
}

.header-inner .toggle {
    height: 4.4rem;
    padding: 0 3rem;
    position: relative;
    bottom: auto;
    left: auto;
    right: auto;
    top: auto;
    width: auto;
}

.header-inner .toggle-wrapper {
    position: relative;
}

.header-inner .toggle-wrapper::before {
    background: #dedfdf;
    content: "";
    display: block;
    height: 2.7rem;
    position: absolute;
    left: 0;
    top: calc(50% - 1.35rem);
    width: 0.1rem;
}

.header-inner .toggle-wrapper:first-child::before {
    content: none;
}

.header-inner .primary-menu-wrapper + .header-toggles .toggle-wrapper:first-child::before {
    content: "";
}

.nav-toggle-wrapper:not(.has-expanded-menu) {
    display: none;
}

.toggle-inner {
    position: static;
}

.toggle-inner .toggle-text {
    left: 0;
    right: 0;
    text-align: center;
    top: calc(100% - 0.3rem);
    width: auto;
}

.header-toggles:only-child .nav-toggle .toggle-inner {
    padding-top: 0;
}

.header-toggles:only-child .toggle-inner {
    display: flex;
    flex-wrap: nowrap;
    align-items: center;
}

.header-toggles:only-child .toggle-inner .svg-icon {
    order: 1;
}

.header-toggles:only-child .toggle-inner .toggle-text {
    position: static;
    padding-right: 20px;
    font-size: 15px;
    color: inherit;
}

repository: fatihwin/Fatihwin-Chess-Themes

repo_name: fatihwin/Fatihwin-Chess-Themes

extension: css


text:
.loginbody{
    background: linear-gradient(135deg, #185a9d, #43cea2);
}
.container{
    width:100%;
    height: 100%;
    border: 0px solid #3697fd;
}
.loginheader{
    margin-top:100px;
    width: 800px;
    margin-left: 250px;
    height: 100px;
    background: linear-gradient(135deg, #185a9d, #7bdbbd);
   /* -webkit-box-shadow: 0px 6px 6px #70a8ff;
    -moz-box-shadow: 0px 6px 6px #70a8ff;
    box-shadow: 0px 6px 6px #70a8ff; */
}
.LoginHeaderCenter{
    margin-left: 270px;
}
.WebTextName{
    margin-top: -45px;
    margin-left: 70px;
    margin-right: 70px;
    size: 60%;
    color: #ffffff;
    font-family: Russo_One;
}
h1,h2,h3,h3,h4,h5,h6{
    margin-top: 0px;
    margin-left: 0px;
}
.loginContent{
    width: 800px;
    margin-left: 250px;
    height: 400px;
    background-color: white;
    border: 0px solid red;
    -webkit-box-shadow: 0px 6px 6px #70a8ff;
    -moz-box-shadow: 0px 6px 6px #70a8ff;
    box-shadow: 0px 6px 6px #70a8ff;
}
.loginContentIconSection {
    width: 370px;
    margin-left: 0px;
    height: 400px;
    border: 0px solid red;
}
.loginContentFieldSection {
    width: 400px;
    margin-left: 400px;
    margin-top: -400px;
    height: 400px;
    border: 0px solid red;
}
.loaginTbableFields {
    margin-top: 100px;
    margin-left: 70px;
}
.loginImageIcon {
    margin-left: 70px;
    margin-top: 80px;
}
a {
    font-family: Russo_One;
    font-size: 14px;
    line-height: 1.7;
    color: #666666;
    margin: 0px;
    transition: all 0.4s;
    -webkit-transition: all 0.4s;
    -o-transition: all 0.4s;
    -moz-transition: all 0.4s;
}
.login_and_sinup_exchange_link {
    text-decoration: underline;
    color: #70A8FF;
    font-size: 18px;
}
button {
    outline: none !important;
    border: none;
    background: transparent;
    background-color: transparent;
}
.loginButton {
    background-color: #70A8FF;
    width: 125px;
    height: 30px;
    color: white;
}
.CancelButton {
    border: 1px solid #70A8FF;
    width: 125px;
    height: 30px;
}
.loginInFielddv {
    padding-bottom: 10px;
    border: 1px solid #8AB3F1;
    width: 250px;
}
p {
    font-family: Russo_One;
    font-size: 14px;
    line-height: 1.7;
    color: #666666;
    margin: 0px;
}
input {
    outline: none;
    border: none;
}
.loginInField {
    width: 200px;
    margin-top: 10px;
    margin-left: 10px;
}
.loginInFielddv {
    padding-bottom: 5px;
    border: 1px solid #8AB3F1;
    width: 250px;
}
.bodyHomeFooter{
    color: #fff;
    padding-top: 50px;
    margin-bottom: 30px;
    text-align: center;
}

a {
    font-family: Russo_One;
    font-size: 14px;
    line-height: 1.7;
    color: #666666;
    margin: 0px;
    transition: all 0.4s;
    -webkit-transition: all 0.4s;
    -o-transition: all 0.4s;
    -moz-transition: all 0.4s;
}
.footer {
    margin-top: 10px;
    color: #ffffff;
}
.loginButtonstd {
    padding-top: 15px;
}

repository: kwizeraelvis/teamwork

repo_name: kwizeraelvis/teamwork

branch_name: refs/heads/develop

gha_language: HTML


text:
@article{templ_software_2016,
	title = {The {Software} {Environment} {R} for {Official} {Statistics} and {Survey} {Methodology}},
	volume = {45},
	url = {http://www.ajs.or.at/index.php/ajs/article/viewFile/vol45-1-7/272},
	doi = {doi:10.17713/ajs.v45i1.100},
	language = {en},
	urldate = {2017-06-24},
	journal = {Austrian Journal of Statistics},
	author = {Templ, Matthias and Todorov, Valentin},
	month = mar,
	year = {2016},
	keywords = {R, statistical software, survey},
	pages = {97--124}
}

@misc{de_jonge_introduction_2013,
	title = {An introduction to data cleaning with {R}},
	url = {http://www.markvanderloo.eu/files/statistics/2013-13-x10-pub.pdf},
	language = {en},
	urldate = {2017-06-25},
	publisher = {Statistics Netherlands},
	author = {de Jonge, E and van der Loo, M},
	year = 2013
}

@misc{van_der_loo_distribution_2010,
	title = {Distribution based outlier detection for univariate data. {Discussion} paper 10003.},
	url = {https://www.cbs.nl/-/media/imported/documents/2010/15/2010-03-x10-pub.pdf},
	language = {en},
	urldate = {2017-12-15},
	publisher = {Statistics Netherlands},
	author = {van der Loo, M.P.J},
	year = 2010,
	keywords = {extreme values, methodology, statistics}
}

@article{wickham_tidy_2014,
	title = {Tidy {Data}},
	volume = {59},
	copyright = {Copyright (c) 2013 Hadley  Wickham},
	issn = {1548-7660},
	url = {https://www.jstatsoft.org/index.php/jss/article/view/v059i10},
	doi = {10.18637/jss.v059.i10},
	language = {en},
	number = {1},
	urldate = {2019-07-07},
	journal = {Journal of Statistical Software},
	author = {Wickham, Hadley},
	month = sep,
	year = 2014,
	pages = {1--23}
}

@techreport{dhernoncourt_input-output_2011,
	address = {Brussels},
	title = {Input-{Output} {Multipliers} – {Specific} ation sheet and supporting material, {Spicosa} {Project} {Report}.},
	url = {http://www.coastal-saf.eu/output-step/pdf/Specification%20sheet%20I_O_final.pdf},
	language = {en},
	urldate = {2016-03-29},
	institution = {Université Libre de Bruxelles – CEESE},
	author = {D’Hernoncourt, J and Cordier, M and Hadley, D},
	year = {2011},
	keywords = {algebra, input-output, leontief, methodology, multipliers, sna}
}


text:
SUMMARY = "Extensible memoizing collections and decorators"
HOMEPAGE = "https://github.com/tkem/cachetools"
AUTHOR = "Thomas Kemmer <tkemmer@computer.org>"
LICENSE = "MIT"
LIC_FILES_CHKSUM = "file://LICENSE;md5=27f7518eb6f7dc686d0f953b2f28dae5"

SRC_URI = "https://files.pythonhosted.org/packages/ae/37/7fd45996b19200e0cb2027a0b6bef4636951c4ea111bfad36c71287247f6/cachetools-3.1.1.tar.gz"
SRC_URI[md5sum] = "91aa9b611b6345154df84e8e37746f41"
SRC_URI[sha256sum] = "8ea2d3ce97850f31e4a08b0e2b5e6c34997d7216a9d2c98e0f3978630d4da69a"

S = "${WORKDIR}/cachetools-3.1.1"

RDEPENDS_${PN} = ""

inherit setuptools

repository: engrhamzaaliimran/meta-assistant

repo_name: engrhamzaaliimran/meta-assistant


text:
@inproceedings{joinads-a-retargetable-control-flow-construct-for-reactive-parallel-and-concurrent-programming,
author = {Petricek, Tomas and Syme, Don and },
title = {Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming},
booktitle = {Proceedings of Practical Aspects of Declarative Languages},
year = {2011},
month = {January},
abstract = {

Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often difficult to encode in general purpose languages. We present an abstract type of computations called joinads together with a syntactic language extension that aims to make it easier to use joinads in modern functional languages.

Our extension generalizes pattern matching to work on abstract computations. It keeps a familiar syntax and semantics of pattern matching making it easy to reason about code, even in a non-standard programming model. We demonstrate our extension using three important programming models – a reactive model based on events; a concurrent model based on join calculus and a parallel model using futures. All three models are implemented as libraries that benefit from our syntactic extension. This makes them easier to use and also opens space for exploring new useful programming models.

},
publisher = {ACM},
url = {https://www.microsoft.com/en-us/research/publication/joinads-a-retargetable-control-flow-construct-for-reactive-parallel-and-concurrent-programming/},
address = {},
pages = {},
journal = {},
volume = {},
chapter = {},
isbn = {},
}


text:
@inproceedings{michaud2007,
  title={{T}elepresence {R}obot for {H}ome {C}are {A}ssistance.},
  author={{M}ichaud, {F}rancois and {B}oissy, {P}atrick and {L}abonte, {D}aniel and {C}orriveau, {H}elene and {G}rant, {A}ndrew and {L}auria, {M}ichel and {C}loutier, {R}ichard and {R}oux, {M}arc-{A}ndr{\'e} and {I}annuzzi, {D}aniel and {R}oyer, {M}arie-{P}ier},
  booktitle={{AAAI} {S}pring {S}ymposium: {M}ultidisciplinary {C}ollaboration for {S}ocially {A}ssistive {R}obotics},
  pages={50--55},
  year={2007}
},

@inproceedings{kim2004,
  title={{T}he autonomous tour-guide robot {J}inny},
  author={{K}im, {G}unhee and {C}hung, {W}oojin and {K}im, {K}yung-{R}ock and {K}im, {M}unsang and {H}an, {S}angmok and {S}hinn, {R}ichard {H}},
  booktitle={{I}ntelligent {R}obots and {S}ystems, 2004.({IROS} 2004). {P}roceedings. 2004 {IEEE}/{RSJ} {I}nternational {C}onference on},
  volume={4},
  pages={3450--3455},
  year={2004},
  organization={{IEEE}}
},

@inproceedings{thrun1999,
  title={{MINERVA}: {A} second-generation museum tour-guide robot},
  author={{T}hrun, {S}ebastian and {B}ennewitz, {M}aren and {B}urgard, {W}olfram and {C}remers, {A}rmin {B} and {D}ellaert, {F}rank and {F}ox, {D}ieter and {H}ahnel, {D}irk and {R}osenberg, {C}harles and {R}oy, {N}icholas and {S}chulte, {J}amieson and others},
  booktitle={{R}obotics and {A}utomation, 1999. {P}roceedings. 1999 {IEEE} {I}nternational {C}onference on},
  volume={3},
  year={1999},
  organization={{IEEE}}
},

@inproceedings{zhang2016,
  title={{R}obot {S}cavenger {H}unt: {A} {S}tandardized {F}ramework
    for {E}valuating {I}ntelligent {M}obile {R}obots},
  author={{Z}hang, {S}hiqi and {L}u, {D}ongcai and {C}hen, {X}iaoping and {S}tone, {P}eter},
  booktitle={{P}roceedings of the {T}wenty-{F}ifth {I}nternational {J}oint {C}onference on {A}rtificial {I}ntelligence},
  year={2016},
  organization={{IJCAI}}
},

@article{burgard1999,
  title={{E}xperiences with an interactive museum tour-guide robot},
  author={{B}urgard, {W}olfram and {C}remers, {A}rmin {B} and {F}ox, {D}ieter and {H}{\"a}hnel, {D}irk and {L}akemeyer, {G}erhard and {S}chulz, {D}irk and {S}teiner, {W}alter and {T}hrun, {S}ebastian},
  journal={{A}rtificial intelligence},
  volume={114},
  number={1},
  pages={3--55},
  year={1999},
  publisher={{E}lsevier}
},

@article{burgard1998,
  title={{T}he interactive museum tour-guide robot},
  author={{B}urgard, {W}olfram and {C}remers, {A}rmin {B} and {F}ox, {D}ieter and {H}{\"a}hnel, {D}irk and {L}akemeyer, {G}erhard and {S}chulz, {D}irk and {S}teiner, {W}alter and {T}hrun, {S}ebastian},
  journal={{AAAI}/{IAAI}},
  pages={11--18},
  year={1998}
},

@inproceedings{kusu2013,
  title={{A} {V}irtual {C}ampus {T}our {S}ervice using {R}emote {C}ontrol {R}obots on {R}obot {S}ervice {N}etwork {P}rotocol},
  author={{K}usu, {T}oshiyuki and {I}to, {Y}uka and {K}ida, {T}akaaki and {S}himada, {T}etsuya and {T}akahashi, {M}asahiko and {N}omoto, {Y}uta and {T}suchiya, {Y}osuke and {N}arita, {M}asahiko and {K}ato, {Y}uka},
  booktitle={{A}dvanced {I}nformation {N}etworking and {A}pplications {W}orkshops ({WAINA}), 2013 27th {I}nternational {C}onference on},
  pages={959--964},
  year={2013},
  organization={{IEEE}}
},

@inproceedings{lifschitz2008,
  title={{W}hat {I}s {A}nswer {S}et {P}rogramming?.},
  author={{L}ifschitz, {V}ladimir},
  booktitle={{AAAI}},
  volume={8},
  pages={1594--1597},
  year={2008}
}

@inproceedings{quigley2009,
  title={{ROS}: an open-source {R}obot {O}perating {S}ystem},
  author={{Q}uigley, {M}organ and {C}onley, {K}en and {G}erkey, {B}rian and {F}aust, {J}osh and {F}oote, {T}ully and {L}eibs, {J}eremy and {W}heeler, {R}ob and {N}g, {A}ndrew {Y}},
  booktitle={{ICRA} {W}orkshop on {O}pen {S}ource {S}oftware},
  volume={3},
  number={3.2},
  pages={5},
  year={2009},
  organization={{K}obe, {J}apan}
}

@inproceedings{yang2014,
  title={{P}lanning in answer set programming while learning action costs for mobile robots},
  author={{Y}ang, {F}angkai and {K}handelwal, {P}iyush and {L}eonetti, {M}atteo and {S}tone, {P}eter},
  booktitle={{AAAI} {S}pring 2014 {S}ymposium on {K}nowledge {R}epresentation and {R}easoning in {R}obotics ({AAAI}-{SSS})},
  year={2014},
  organization={{C}iteseer}
}

@inproceedings{khandelwal2014,
  title={{P}lanning in action language {BC} while learning action costs for mobile robots},
  author={{K}handelwal, {P}iyush and {Y}ang, {F}angkai and {L}eonetti, {M}atteo and {L}ifschitz, {V}ladimir and {S}tone, {P}eter},
  booktitle={{P}roceedings of the 24th {I}nternational {C}onference on {A}utomated {P}lanning and {S}cheduling},
  pages={472--480},
  year={2014},
  organization={{A}ssociation for the {A}dvancement of {A}rtificial {I}ntelligence ({AAAI})}
}

@inproceedings{zhang2014,
  title={{T}owards an architecture for knowledge representation and reasoning in robotics},
  author={{Z}hang, {S}hiqi and {S}ridharan, {M}ohan and {G}elfond, {M}ichael and {W}yatt, {J}eremy},
  booktitle={{I}nternational {C}onference on {S}ocial {R}obotics},
  pages={400--410},
  year={2014},
  organization={{S}pringer}
}

@inproceedings{khandelwal2015,
  title={{L}eading the {W}ay: {A}n {E}fficient {M}ulti-robot {G}uidance {S}ystem},
  author={{K}handelwal, {P}iyush and {B}arrett, {S}amuel and {S}tone, {P}eter},
  booktitle={{P}roceedings of the 2015 {I}nternational {C}onference on {A}utonomous {A}gents and {M}ultiagent {S}ystems},
  pages={1625--1633},
  year={2015},
  organization={{I}nternational {F}oundation for {A}utonomous {A}gents and {M}ultiagent {S}ystems}
}

@inproceedings{khandelwal2014multi,
  title={{M}ulti-robot human guidance using topological graphs},
  author={{K}handelwal, {P}iyush and {S}tone, {P}eter},
  booktitle={{AAAI} {S}pring 2014 {S}ymposium on {Q}ualitative {R}epresentations for {R}obots},
  year={2014}
}

@inproceedings{thomason2016,
  title={{L}earning {M}ulti-{M}odal {G}rounded {L}inguistic {S}emantics by {P}laying" {I} {S}py},
  author={{T}homason, {J}esse and {S}inapov, {J}ivko and {S}vetlik, {M}axwell and {S}tone, {P}eter and {M}ooney, {R}aymond {J}},
  booktitle={{P}roceedings of the {T}wenty-{F}ifth {I}nternational {J}oint {C}onference on {A}rtificial {I}ntelligence ({IJCAI})},
  year={2016}
}

@inproceedings{sinapov2016,
  title={{L}earning to {O}rder {O}bjects {U}sing {H}aptic and {P}roprioceptive {E}xploratory {B}ehaviors},
  author={{S}inapov, {J}ivko and {K}hante, {P}riyanka and {S}vetlik, {M}axwell and {S}tone, {P}eter},
  booktitle={{P}roceedings of the 25th {I}nternational {J}oint {C}onference on {A}rtificial {I}ntelligence ({IJCAI})},
  year={2016}
}

@inproceedings{thomason2015learning,
  title={{L}earning to interpret natural language commands through human-robot dialog},
  author={{T}homason, {J}esse and {Z}hang, {S}hiqi and {M}ooney, {R}aymond and {S}tone, {P}eter},
  booktitle={{P}roceedings of the {T}wenty-{F}ourth {I}nternational {J}oint {C}onference on {A}rtificial {I}ntelligence ({IJCAI})},
  year={2015}
}

@inproceedings{gori2015robot,
  title={{R}obot-centric activity recognition ‘in the wild’},
  author={{G}ori, {I}laria and {S}inapov, {J}ivko and {K}hante, {P}riyanka and {S}tone, {P}eter and {A}ggarwal, {JK}},
  booktitle={{I}nternational {C}onference on {S}ocial {R}obotics},
  pages={224--234},
  year={2015},
  organization={{S}pringer}
}

@article{gebser2014clingo, title={{C}lingo = {ASP}+ control: {P}reliminary report},
  author={{G}ebser, {M}artin and {K}aminski, {R}oland and {K}aufmann, {B}enjamin and {S}chaub, {T}orsten},
  journal={arXiv preprint arXiv:1406.3694},
  year={2014}
}


text:
@inproceedings{10.1145/3123266.3123427,
author = {Xu, Dejing and Zhao, Zhou and Xiao, Jun and Wu, Fei and Zhang, Hanwang and He, Xiangnan and Zhuang, Yueting},
title = {Video Question Answering via Gradually Refined Attention over Appearance and Motion},
year = {2017},
isbn = {9781450349062},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3123266.3123427},
doi = {10.1145/3123266.3123427},
booktitle = {Proceedings of the 25th ACM International Conference on Multimedia},
pages = {1645–1653},
numpages = {9},
location = {Mountain View, California, USA},
series = {MM '17}
}

url: https://raw.githubusercontent.com/rbt-c/DL-NLP-Readings/82ca76e9184a3b00ac87129d99391477c85cfcd2/Bibtex/Video Question Answering via Gradually Refined Attention over Appearance and Motion.bib

repository: rbt-c/DL-NLP-Readings

repo_name: rbt-c/DL-NLP-Readings


text:
%%% -*-BibTeX-*-
@inproceedings{He2020InstanceAware,
    title       = {Instance-Aware Embedding for Point Cloud Instance Segmentation},
    author      = {Tong He and  Yifan Liu and  Chunhua Shen and Xinlong Wang and Changming Sun},
    year        = {2020},
    pages       = {},
    volume      = {},
    publisher   = {},
    eprint      = {},
    booktitle   = {European Conference on Computer Vision (ECCV'20)},
    address     = {},
    venue       = {ECCV},
    url         = {},
    project     = {},
    note        = {},
}


text:
.main {
    width: calc(100% - 200px);
    display: inline-block;
    vertical-align: top;
}


text:
rescuers|11/16/1989|nn
rescuers|)|punc
crawled|rescuers|subj
homes|collapsed|mod
crawled|homes|through
homes|and|punc
homes|shops|conj
shops|11/16/1989|on
11/16/1989|looking|rel
looking|11/16/1989|subj
victims|more|mod
looking|victims|for
victims|tornado|of
tornado|that|whn
carved|tornado|subj
stretch|3-mile|nn
carved|stretch|obj
stretch|destruction|of
carved|killing|mod
people|17|num
killing|people|obj
killing|injuring|conj
injuring|463|obj
injuring|and|punc
injuring|leaving|conj
homeless|1,000|num
leaving|homeless|obj
tornadoes|other|mod
caused|tornadoes|subj
19|at least|num-mod
injuries|19|nn
caused|injuries|obj
injuries|and|punc
damage|far-flung|mod
damage|property|nn
injuries|damage|conj
system|powerful|mod
system|storm|nn
brought|system|subj
winds|strong|mod
brought|winds|obj
winds|and|punc
thunderstorms|heavy|mod
winds|thunderstorms|conj
thunderstorms|northeast|to
northeast|11/16/1989|on
brought|causing|mod
causing|system|subj
damage|flooding|mod
flooding|and|punc
flooding|widespread|conj
damage|property|nn
causing|damage|obj
_alabama|11/16/1989|nn
_alabama|)|punc
people|seventeen|nn
killed|people|obj
killed|huntsville|in
huntsville|11/15/1989|on
killed|when|wha
touched down|tornado|subj
touched down|just|mod
just|rush hour|before
touched down|causing|mod
causing|tornado|subj
damage|major|mod
causing|damage|obj
people|11/16/1989|nn
people|)|punc
people|three|nn
injured|people|obj
tornado|earlier|mod
injured|tornado|in
tornado|clay county|in
alabama|eastern|mod
clay county|alabama|in


text:
:root {
	--nav-bg-color: #333;
	--nav-text-color: #eee;
	--nav-hover-bg-color: #eee;
	--nav-hover-text-color: #000;
	--nav-active-bg-color: #eee;
	--nav-active-text-color: #000;
}

repository: nanoparticle/univiz

repo_name: nanoparticle/univiz


text:
set(CMAKE_SYSTEM_NAME Generic)
set(CMAKE_SYSTEM_PROCESSOR arm)

if(WIN32)
    if(EXISTS "$ENV{CMAKE_GNU_ARM_EMBEDDED_TOOLCHAIN}")
        file(TO_CMAKE_PATH "$ENV{CMAKE_GNU_ARM_EMBEDDED_TOOLCHAIN}" WIN32_TOOLCHAIN_DIR)
    else()
        message(FATAL_ERROR "Could not find environment variable [CMAKE_GNU_ARM_EMBEDDED_TOOLCHAIN]. Please set this to the GNU ARM bin directory.")
    endif()

    if(${CMAKE_VERSION} VERSION_LESS 3.6.0)
        include(CMakeForceCompiler)
        CMAKE_FORCE_C_COMPILER("${WIN32_TOOLCHAIN_DIR}/arm-none-eabi-gcc.exe" GNU)
        CMAKE_FORCE_CXX_COMPILER("${WIN32_TOOLCHAIN_DIR}/arm-none-eabi-g++.exe" GNU)
    else()
        set(CMAKE_TRY_COMPILE_TARGET_TYPE STATIC_LIBRARY)
        set(CMAKE_C_COMPILER "${WIN32_TOOLCHAIN_DIR}/arm-none-eabi-gcc.exe")
        set(CMAKE_CXX_COMPILER "${WIN32_TOOLCHAIN_DIR}/arm-none-eabi-g++.exe")
    endif()

    set(CMAKE_OBJCOPY "${WIN32_TOOLCHAIN_DIR}/arm-none-eabi-objcopy.exe")
    set(CMAKE_OBJDUMP "${WIN32_TOOLCHAIN_DIR}/arm-none-eabi-objdump.exe")
    set(CMAKE_SIZE    "${WIN32_TOOLCHAIN_DIR}/arm-none-eabi-size.exe")
    set(CMAKE_DEBUGER "${WIN32_TOOLCHAIN_DIR}/arm-none-eabi-gdb.exe")
    set(CMAKE_CPPFILT "${WIN32_TOOLCHAIN_DIR}/arm-none-eabi-c++filt.exe")

elseif(UNIX)
    if(${CMAKE_VERSION} VERSION_LESS 3.6.0)
        include(CMakeForceCompiler)
        CMAKE_FORCE_C_COMPILER("arm-none-eabi-gcc" GNU)
        CMAKE_FORCE_CXX_COMPILER("arm-none-eabi-g++" GNU)
    else()
        set(CMAKE_TRY_COMPILE_TARGET_TYPE STATIC_LIBRARY)
        set(CMAKE_C_COMPILER "arm-none-eabi-gcc")
        set(CMAKE_CXX_COMPILER "arm-none-eabi-g++")
    endif()

    set(CMAKE_OBJCOPY "arm-none-eabi-objcopy")
    set(CMAKE_OBJDUMP "arm-none-eabi-objdump")
    set(CMAKE_SIZE    "arm-none-eabi-size")
    set(CMAKE_DEBUGER "arm-none-eabi-gdb")
    set(CMAKE_CPPFILT "arm-none-eabi-c++filt")
else()
    message(FATAL_ERROR "Unsupported OS type!")
endif()

set(CMAKE_EXE_LINKER_FLAGS "--specs=nano.specs" CACHE INTERNAL "")

set(CMAKE_FIND_ROOT_PATH_MODE_PROGRAM NEVER)
set(CMAKE_FIND_ROOT_PATH_MODE_LIBRARY ONLY)
set(CMAKE_FIND_ROOT_PATH_MODE_INCLUDE ONLY)
set(CMAKE_FIND_ROOT_PATH_MODE_PACKAGE ONLY)

# Assign a dbg tag to delineate debug build outputs
if(NOT CMAKE_DEBUG_POSTFIX)
    set(CMAKE_DEBUG_POSTFIX _dbg)
endif()

# Assign a rel tag to delineate release build outputs
if(NOT CMAKE_RELEASE_POSTFIX)
    set(CMAKE_RELEASE_POSTFIX _rel)
endif()

extension: cmake


text:
/* YOUR CUSTOM STYLES */
html,
body,
.view {
    height: 100%;
}

.view {
    background: url("assets/img/london.jpg")no-repeat center center fixed;
    -webkit-background-size: cover;
    -moz-background-size: cover;
    -o-background-size: cover;
    background-size: cover;
}

.selector-for-some-widget {
  -webkit-box-sizing: content-box;
     -moz-box-sizing: content-box;
          box-sizing: content-box;
}

repository: ThisFelix/StudyLondon

repo_name: ThisFelix/StudyLondon


text:
@article{Wang-2018-Semi-Automated,
    title = "Semi-Automated Classification of Lake Ice Cover Using Dual Polarization RADARSAT-2 Imagery",
    author = "Wang, Junqian  and
      Duguay, Claude  and
      Clausi, David  and
      Pinard, V{\'e}ronique  and
      Howell, Stephen",
    journal = "Remote Sensing, Volume 10, Issue 11",
    volume = "10",
    number = "11",
    year = "2018",
    publisher = "MDPI AG",
    url = "https://aclanthology.org/G18-123001",
    doi = "10.3390/rs10111727",
    pages = "1727",
}

repository: gwf-uwaterloo/gwf-publications

repo_name: gwf-uwaterloo/gwf-publications

gha_language: Python


text:
html, body
	{
	margin: 0;
	padding: 0;
	}

#map_canvas
	{
	height: 100%;
	width: 50%;
	float: left;
	margin: 0;
	padding: 0;
	}

#input_box
	{
	width: 50%;
	float: right;
	}

#input_box .padded
	{
	margin: 30px;
	}

#output
	{
	font-family: Courier New, monospace;
	margin-top: 20px;
	font-size: 0.8em;
	}

#origin
	{
	color: #fff;
	background-color: #800;
	font-style: italic;
	}

table td
	{
	padding: 0;
	margin: 0;
	}


text:
@book{Sekihara2008a,
  address = {Berlin, Heidelberg},
  title = {Adaptive Spatial Filters for Electromagnetic Brain Imaging},
  isbn = {978-3-540-79369-4},
  publisher = {{Springer}},
  author = {Sekihara, Kenskuke and Nagarajan, Srikantan S.},
  editor = {Nagel, Joachim H.},
  year = {2008}
}

@article{Jonmohamadi2014,
  title = {Beamforming: A Versatile Approach to Spatial Filtering},
  volume = {5},
  issn = {07407467},
  abstract = {A beam former is a processor used in conjunction with an array of sensors to provide a versatile form of spatial filtering. The sensor array collects spatial samples of propagating wave fields, which are processed by the beamformer. The objective is to estimate the signal arriving from a desired direction in the presence of noise and interfering signals. A beamformer performs spatial filtering to separate signals that have overlapping frequency content but originate from different spatial locations. This paper provides an overview of beamforming from a signal processing perspective, with an emphasis on recent research. Data independent, statistically optimum, adap- tive, and partially adaptive beamforming are discussed.},
  number = {2},
  journal = {IEEE ASSP Magazine},
  doi = {10.1109/53.665},
  author = {Van Veen, Barry D. and Buckley, Kevin M.},
  year = {1988},
  pages = {4-24},
  pmid = {17577298}
}

@article{VanVeen1997,
  title = {Localization of Brain Electrical Activity via Linearly Constrained Minimum Variance Spatial Filtering},
  volume = {44},
  issn = {00189294},
  abstract = {A spatial filtering method for localizing sources of brain electrical activity from surface recordings is described and analyzed. The spatial filters are implemented as a weighted sum of the data recorded at different sites. The weights are chosen to minimize the filter output power subject to a linear constraint. The linear constraint forces the filter to pass brain electrical activity from a specified location, while the power minimization attenuates activity originating at other locations. The estimated output power as a function of location is normalized by the estimated noise power as a function of location to obtain a neural activity index map. Locations of source activity correspond to maxima in the neural activity index map. The method does not require any prior assumptions about the number of active sources of their geometry because it exploits the spatial covariance of the source electrical activity. This paper presents a development and analysis of the method and explores its sensitivity to deviations between actual and assumed data models. The effect on the algorithm of covariance matrix estimation, correlation between sources, and choice of reference is discussed. Simulated and measured data is used to illustrate the efficacy of the approach.},
  number = {9},
  journal = {IEEE Transactions on Biomedical Engineering},
  doi = {10.1109/10.623056},
  author = {Van Veen, Barry D. and {\noopsort{drongelen}}{van Drongelen}, Wim and Yuchtman, Moshe and Suzuki, Akifumi},
  year = {1997},
  keywords = {Spatial filtering,Dipole localization,EEG localization,Linearly constrained minimum variance filter,MEG localization,Reference electrode},
  pages = {867-880},
  pmid = {9282479}
}

@article{Gross2001,
  title = {Dynamic Imaging of Coherent Sources: {{Studying}} Neural Interactions in the Human Brain},
  volume = {98},
  copyright = {Copyright \textcopyright{} 2001, The National Academy of Sciences},
  issn = {0027-8424, 1091-6490},
  shorttitle = {Dynamic Imaging of Coherent Sources},
  abstract = {Functional connectivity between cortical areas may appear as correlated time behavior of neural activity. It has been suggested that merging of separate features into a single percept (``binding'') is associated with coherent gamma band activity across the cortical areas involved. Therefore, it would be of utmost interest to image cortico-cortical coherence in the working human brain. The frequency specificity and transient nature of these interactions requires time-sensitive tools such as magneto- or electroencephalography (MEG/EEG). Coherence between signals of sensors covering different scalp areas is commonly taken as a measure of functional coupling. However, this approach provides vague information on the actual cortical areas involved, owing to the complex relation between the active brain areas and the sensor recordings. We propose a solution to the crucial issue of proceeding beyond the MEG sensor level to estimate coherences between cortical areas. Dynamic imaging of coherent sources (DICS) uses a spatial filter to localize coherent brain regions and provides the time courses of their activity. Reference points for the computation of neural coupling may be based on brain areas of maximum power or other physiologically meaningful information, or they may be estimated starting from sensor coherences. The performance of DICS is evaluated with simulated data and illustrated with recordings of spontaneous activity in a healthy subject and a parkinsonian patient. Methods for estimating functional connectivities between brain areas will facilitate characterization of cortical networks involved in sensory, motor, or cognitive tasks and will allow investigation of pathological connectivities in neurological disorders.},
  language = {en},
  number = {2},
  journal = {Proceedings of the National Academy of Sciences},
  doi = {10.1073/pnas.98.2.694},
  author = {Gross, J. and Kujala, J. and H\"am\"al\"ainen, M. and Timmermann, L. and Schnitzler, A. and Salmelin, R.},
  year = {2001},
  keywords = {coherence,functional connectivity,magnetoencephalography,oscillations,synchronization},
  pages = {694-699},
  file = {/l/vanvlm1/zotero/storage/G7K8MKQT/694.html},
  pmid = {11209067}
}

@preamble{ "\newcommand{\noopsort}[1]{} " }


text:
@inproceedings{zeidenberg_human_2010,
 abstract = {With their open access admission policies, low tuition costs, and convenient locations, community colleges are designed to make college accessible to all. They strive to meet three main goals. The first is to teach marketable vocational skills, the second is to provide the first two years of a four-year bachelor’s degree program, and the third is to provide continuing education and enrichment for community residents. This paper covers issues that are relevant to the community college mission of helping prepare a skilled workforce for jobs offering reasonable wages. After providing an overview about community colleges and their students, the paper discusses the types of remedial education programs that are most likely to provide the large number of underprepared students enrolled in community colleges with the skills to advance to college-level courses. It considers the growing phenomenon of dual enrollment that enables students to earn both high school and college credit for courses while still in high school. It addresses the ways that community colleges can support local labor markets and regional economic development and their efforts to build career pathways for workers. It describes the growing role of community colleges in online education, and it reviews the financing of community colleges. The paper also discusses issues related to community college persistence and completion, and it cites evidence of the market value of the education and credentials the colleges provide. Finally, it considers the usefulness of the American community college as a model for other countries seeking to develop institutions that serve similar functions.},
 author = {Zeidenberg, Matthew and Bailey, Thomas},
 copyright = {All rights reserved},
 doi = {10.7916/D8DZ06CT},
 file = {Full Text PDF:C\:\\Users\\mzeid\\Zotero\\storage\\ADP42KWE\\Zeidenberg and Bailey - 2010 - Human Resource Development and Career and Technica.pdf:application/pdf},
 keywords = {college, Credential, Economic Development, Education, Continuing, Email, Funding, Gene Ontology Term Enrichment, Jumpstart Our Business Startups Act, Occupations, Persistence (computer science), Remedial Teaching, VisIt, Web Site},
 title = {Human Resource Development and Career and Technical Education in American Community Colleges},
 year = {2010}
}

repository: mzeidenberg/academic-kickstart

repo_name: mzeidenberg/academic-kickstart


text:
.editor{
  height: 100%;
  margin-bottom: 1.45rem;
}

.instructions-panel {
  padding: 0 10px;
}

.react-monaco-editor-container {
  width: 100%;
  height: 100%;
  display: flex;
  align-items: end;
}

repository: rizkyich/learn

repo_name: rizkyich/learn


text:
@techreport{citeulike:10951538,
    author = {{ISO/IEC}},
    citeulike-article-id = {10951538},
    posted-at = {2012-07-27 13:14:40},
    priority = {2},
    publisher = {ISO/IEC},
    title = {{ISO/IEC 25010 - Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models}},
    year = {2010}
}


text:
.container {
  background: var(--background-secondary);

  height: 100vh;

  width: 112px;
  min-width: 112px;

  display: flex;
  flex-direction: column;
  justify-content: space-between;

  padding: 2rem 0;

  position: fixed;
}

.container header {
  transition: filter;
}

.container header, .container footer {
  align-self: center;
}

.container main {
  display: flex;
  flex-direction: column;
}

.container main button {
  background: none;
  border: none;
  outline: none;
  padding: 0.5rem;
  transition: filter .2s;
}
.container main button:hover {
  filter: brightness(0.9);
}

.container footer {
  display: flex;
  flex-direction: column;
}

.container footer button {
  background: none;
  border: none;
  outline: none;
  padding: 0.5rem;
  transition: filter .2s;
  width: 112px;
}
.container footer button:hover {
  border-left: 2px solid var(--red);
  filter: brightness(0.9);
}

@media(max-width: 768px) {
  .container {
    display: none;
  }
}


text:
@article{lang_chebaro_zheng_sekar_shaikh_natale_karr_2020,
 author = {Lang, Paul F. and Chebaro, Yassmine and Zheng, Xiaoyue and Sekar, John A. P. and Shaikh, Bilal and Natale, Darren A. and Karr, Jonathan R.},
 doi = {10.1186/s13059-020-02025-z},
 journal = {Genome Biology},
 number = {1},
 title = {BpForms and BcForms: a toolkit for concretely describing non-canonical polymers and complexes to facilitate global biochemical networks},
 volume = {21},
 year = {2020}
}

gha_language: Shell


text:
% Encoding: UTF-8

@BOOK{Geron2017,
  title = {Hands-on Machine Learning with Scikit-Learn \& Tensorflow},
  author = {Aurelien Geron},
  year = {2017},
  publisher = {O'Reilly Media}
}

@ARTICLE{Putka2018,
  title ={Modern Prediction Methods: New Perspectives on a Common Problem},
  author = {Dan J. Putka and Adam S. Beatty and Matthew C. Reeder},
  year = {2018},
  journal = {Organizational Research Methods},
  doi = {10.1177/1094428117697041},
  pages = {689–732},
  volume = {21},
  issue = {3},
  publisher = {Sage Publications}
  }

@BOOK{James2015,
  series = {Springer Texts in Statistics},
  publisher = {Springer},
  isbn = {978-1-1-4614-7137-0},
  year = {2015},
  title = {An Introduction to Statistical Learning with Applications in R},
  edition = {},
  language = {eng},
  doi = {10.1007/978-1-4614-7138-7},
  author = {Gareth James and Daniela Witten and Trevor Hastie and Robert Tibshirani}
 }

@BOOK{HastieTrevor2009TEoS,
  series = {Springer Series in Statistics},
  publisher = {Springer New York},
  isbn = {9780387848570},
  year = {2009},
  title = {The Elements of Statistical Learning: Data Mining, Inference, and Prediction},
  edition = {Second Edition},
  language = {eng},
  address = {New York, NY},
  doi = {10.1007/978-0-387-84858-7},
  author = {Hastie, Trevor and Tibshirani, Robert and Friedman, Jerome},
  keywords = {Computer Science ; Artificial Intelligence (Incl. Robotics) ; Data Mining and Knowledge Discovery ; Probability Theory     and Stochastic Processes ; Statistical Theory and Methods ; Computational Biology/Bioinformatics ; Computer Appl. in Life Sciences ; Computer Science ; Mathematics},
}

@BOOK{Bathe1976,
  series = {Prentice-Hall civil engineering and engineering mechanics series},
  publisher = {Prentice Hall, Inc.},
  isbn = {0-13-627190-1},
  year = {1976},
  title = {Numerical Methods in Finite Element Analysis},
  edition = {},
  language = {eng},
  address = {Englewood Cliffs, New Jersey},
  doi = {},
  author = {Klaus-Jurgen Bathe and Edward L. Wilson},
  keywords = {},
}

@BOOK{Harrell2001,
   author = {F. E. Harrell Jr.},
   title = {Regression modeling strategies: With applications to linear models, logistic regression, and survival analysis},
   publisher = {Springer},
   address = {New York, NY},
   year = {2001}
}

@BOOK{Kuhn2013,
    author = {M. Kuhn and K. Johnson},
    title = {Applied Predictive Modeling},
    year = {2013},
    publisher = {Springer},
    address = {New York, NY}
}


text:
@article{melymcb-0137,
 author = {Laneri, K.F. and Desimoni, J. and Zarragoicoechea, G.J. and Fernández-Guillermet, A.},
 document_type = {Article},
 doi = {10.1103/PhysRevB.66.134201},
 journal = {Physical Review B - Condensed Matter and Materials Physics},
 note = {cited By 1},
 number = {13},
 pages = {1-7},
 source = {Scopus},
 title = {Distribution of interstitials in fcc iron-carbon austenite: Monte Carlo simulations versus Mössbauer analysis},
 url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-85038328487&doi=10.1103%2fPhysRevB.66.134201&partnerID=40&md5=a7f63da1c1418a761bcacb84968c1abe},
 volume = {66},
 year = {2002}
}


text:
@inproceedings{ candea04microreboot,
  author = "G. Candea and S. Kawamoto and Y. Fujiki and G. Friedman and A. Fox",
  title = "Microreboot--A Technique for Cheap Recovery",
  booktitle = "Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI)",
  year = "2004",
  month = dec,
  location = "San Francisco, CA, USA",
  pages = "31--44",
  url = "citeseer.ist.psu.edu/candea04microreboot.html"
}

@inproceedings{ hunt05broadnewos,
  author = "Galen C. Hunt and James R. Larus and David Tarditi and Ted Wobber",
  title = "Broad new {OS} research: Challenges and opportunities",
  booktitle = "Proceedings of the 10th Workshop on Hot Topics in Operation Systems",
  month = jun,
  year = "2004"
}

@misc { fahndrich06languagesupport,
  author = "Manuel F{\"a}hndrich and James R. Larus",
  title = "Language Support for Fast and Reliable Message-based Communication in Singularity {OS}",
  year = "2006"
}

@misc{ barnett04spec,
  author = "Mike Barnett and K. Rustan M. Leino and Wolfram Schulte",
  title = "The {Spec\#} Programming System: An Overview",
  url = "\url{http://citeseer.ist.psu.edu/649115.html}",
  month = oct,
  year = "2004" }

@misc{ ifipdepen05,
  author = "{IFIP}",
  instituion = "{IFIP WG10.4}",
  title = "Dependable Computing and Fault Tolerance",
  year = "2005",
  url = "\url{http://www.dependability.org/wg10.4/}",
  howpublished = "\url{http://www.dependability.org/wg10.4}" }

@techreport{ shinnar04integrating,
	author = "Shinnar, Avraham   and Tarditi, David   and Plesko, Mark   and Steensgaard, Bjarne  ",
	citeulike-article-id = "556290",
	keywords = "exception handling languages programming theory undo",
	month = dec,
	priority = "0",
	title = "Integrating support for undo with exception handling",
	url = "http://research.microsoft.com/research/pubs/view.aspx?tr_id=845",
	year = "2004"
}

@inproceedings{ david94lclint,
    author = "Evans, David and Guttag, John and Horning, James and Tan, Yang Meng",
    title = "{LCL}int: A Tool for Using Specifications to Check Code",
    booktitle = "Proceedings of the {ACM} {SIGSOFT} '94 Symposium on the Foundations of Software Engineering",
    pages = "87-96",
    year = "1994",
    url = "citeseer.ist.psu.edu/evans94lclint.html" }

@techreport{ deline05boogiepl,
	author = "Robert DeLine and K. Rustan M. Leino",
	month = may,
	title = "Boogie{PL}: A typed procedural language for checking object-oriented programs",
	year = "2005",
	institution = "Microsoft Research"
}

@techreport{ hunt05singularity,
	author = "Hunt, Galen   and Larus, James  R.  and Abadi, Martin   and Aiken, Mark   and Barham, Paul   and F{\"a}hndrich, Manuel   and Hawblitzel, Chris   and Hodson, Orion   and Levi, Steven   and Murphy, Nick   and Steensgaard, Bjarne   and Tarditi, David   and Wobber, Ted   and Zill, Brian  D. ",
	booktitle = "MSR-TR-2005-135",
	citeulike-article-id = "637465",
	institution = "Microsoft Research",
	keywords = "838-remzi kernel microsoft_research os os_reading typesafe uwcs",
	month = oct,
	priority = "2",
	title = "An Overview of the Singularity Project",
	year = "2005"
}

@misc{ elphinstone-future,
  author = "Kevin Elphinstone",
  title = "Future Directions in the Evolution of the {L4} Microkernel",
  url = "citeseer.ist.psu.edu/723267.html" }

@techreport{ aiken06deconstructing,
	author = "Aiken, Mark and F{\"a}hndrich, Manuel and Hawblitzel, Chris and Hunt, Galen and Larus, James",
	citeulike-article-id = "608883",
	keywords = "os programming security",
	priority = "3",
	title = "Deconstructing Process Isolation",
	year = "2006",
	institution = "Microsoft Research"
}

@article{ tanenbaum06canwemake,
	author = "Tanenbaum, A. S.  and Herder, J. N.  and Bos, H. ",
	citeulike-article-id = "666884",
	journal = "Computer",
	keywords = "operating-system reliable secure",
	number = "5",
	pages = "44--51",
	priority = "2",
	title = "Can We Make Operating Systems Reliable and Secure?",
	url = "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1631939",
	volume = "39",
	year = "2006"
}

@inproceedings{liedtke95kernel,
 author = {Jochen Liedtke},
 title = {On $\mu$-kernel construction},
 booktitle = {SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles},
 year = {1995},
 isbn = {0-89791-715-4},
 pages = {237--250},
 location = {Copper Mountain, Colorado, United States},
 doi = {http://doi.acm.org/10.1145/224056.224075},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{ ousterhout90why,
  author = "John K. Ousterhout",
  title = "Why Aren't Operating Systems Getting Faster As Fast as Hardware?",
  booktitle = "{USENIX} Summer",
  pages = "247-256",
  year = "1990",
  url = "citeseer.ist.psu.edu/ousterhout89why.html"
}

@inproceedings{ huisman99case,
    author = "Marieke Huisman and Bart Jacobs and Joachim van den Berg",
    title = "A Case Study in Class Library Verification: {Java's} Vector Class",
    booktitle = "Object-Oriented Technology: {ECOOP}'99 Workshop Reader",
    volume = "1743",
    publisher = "Springer-Verlag",
    address = "Lisbon, Portugal",
    editor = "A. Moreira and D. Demeyer",
    pages = "109--110",
    year = "1999",
    url = "citeseer.ist.psu.edu/article/huisman99case.html" }

@misc{ hohmuth03applying,
  author = "M. Hohmuth and H. Tews and S. Stephens",
  title = "Applying source-code verification to a microkernel --- the {VFiasco} project",
  text = "M. Hohmuth, H. Tews, and S. G. Stephens. Applying source-code verification
    to a microkernel --- the VFiasco project. Technical Report TUD--FI02--03--Marz",
  url = "citeseer.ist.psu.edu/hohmuth02applying.html",
  month = may,
  year = "2003" }

 @inproceedings{england02authenticated,
 author = {Paul England and Marcus Peinado},
 title = {Authenticated Operation of Open Computing Devices},
 booktitle = {ACISP '02: Proceedings of the 7th Australian Conference on Information Security and Privacy},
 year = {2002},
 isbn = {3-540-43861-0},
 pages = {346--361},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

 @misc{sorensen01towards,
 author = {Ib Sorensen and David Neilson},
 title = {B: towards zero defect software},
 book = {High integrity software},
 year = {2001},
 isbn = {0-7923-7949-7},
 pages = {23--42},
 publisher = {Kluwer Academic Publishers},
 address = {Norwell, MA, USA},
 }

 @inproceedings{ engler00checking,
  author = "D. Engler and B. Chelf and A. Chou and S. Hallem",
  title = "Checking System Rules Using System-Specific, Programmer-Written Compiler
    Extensions",
  booktitle = "Proceedings of the Fourth Symposium on Operating Systems Design and
    Implementation, San Diego, CA",
  month = oct,
  year = "2000",
  url = "citeseer.ist.psu.edu/engler00checking.html" }

  @misc{ jim02cyclone,
  author = "T. Jim and G. Morrisett and D. Grossman and M. Hicks and J. Cheney and
    Y. Wang",
  title = "Cyclone: A safe dialect of {C}",
  text = "Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney,
    and Yanling Wang. Cyclone: A safe dialect of c. In USENIX Annual Technical
    Conference, Monterey, CA, June 2002.",
  year = "2002",
  url = "citeseer.ist.psu.edu/jim02cyclone.html" }

  @misc{ jacobs03javas,
  author = "B. Jacobs",
  title = "Java's integral types in {PVS}",
  text = "Bart Jacobs. Java's integral types in PVS. Submitted, 2003.",
  year = "2003",
  url = "citeseer.ist.psu.edu/jacobs03javas.html" }

  @article{ vandenberg01loop,
    author = "Joachim van den Berg and Bart Jacobs",
    title = "The {LOOP} Compiler for {Java} and {JML}",
    journal = "Lecture Notes in Computer Science",
    volume = "2031",
    pages = "299+",
    year = "2001",
    url = "citeseer.ist.psu.edu/vandenberg01loop.html" }

    @misc{ hohmuth03semantics,
  author = "Michael Hohmuth and Hendrik Tews",
  title = "The Semantics of {C++} Data Types: Towards Verifying Low-Level System Components",
  url = "citeseer.ist.psu.edu/hohmuth03semantics.html",
  month = jul,
  year = "2003" }

  @inproceedings{ dragovic03xen,
  author = "B. Dragovic and K. Fraser and S. Hand and T. Harris and A. Ho and I. Pratt
    and A. Warfield and P. Barham and R. Neugebauer",
  title = "Xen and the Art of Virtualization",
  booktitle =	 {Proceedings of the ACM Symposium on Operating Systems Principles},
  year =	 2003,
  month =	 oct,
  url = "citeseer.ist.psu.edu/dragovic03xen.html" } }

@techreport{ martin05access,
	author = "Abadi, Martin and Birrell, Andrew and Wobber, Ted",
	booktitle = "HotOS X, Tenth Workshop on Hot Topics in Operating Systems",
	institution = "Microsoft Research",
	title = "Access Control in a World of Software Diversity",
	year = "2005"
}

@misc{ merillon00devil,
  author = "F. Merillon and L. Reveillere and C. Consel and R. Marlet and G. Muller",
  title = "Devil: An {IDL} for Hardware Programming",
  text = "Fabrice Merillon, Laurent Reveillere, Charles Consel, Renaud Marlet, and
    Gilles Muller. Devil: An IDL for Hardware Programming. In OSDI 2000.",
  year = "2000",
  url = "citeseer.ist.psu.edu/article/merillon00devil.html" }

 @inproceedings{sailer05building,
 author = {Reiner Sailer and Trent Jaeger and Enriquillo Valdez and Ramon Caceres and Ronald Perez and Stefan Berger and John Linwood Griffin and Leendert van Doorn},
 title = {Building a {MAC}-Based Security Architecture for the Xen Open-Source Hypervisor},
 booktitle = {ACSAC '05: Proceedings of the 21st Annual Computer Security Applications Conference},
 year = {2005},
 isbn = {0-7695-2461-3},
 pages = {276--285},
 doi = {http://dx.doi.org/10.1109/CSAC.2005.13},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @inproceedings{ayewah05challenges,
 author = {Nathaniel Ayewah and Nikhil Kikkeri and Peter-Michael Seidel},
 title = {Challenges in the Formal Verification of Complete State-of-the-Art Processors},
 booktitle = {ICCD '05: Proceedings of the 2005 International Conference on Computer Design},
 year = {2005},
 isbn = {0-7695-2451-6},
 pages = {603--608},
 doi = {http://dx.doi.org/10.1109/ICCD.2005.37},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @misc{ mehnert02cost,
  author = "F. Mehnert and M. Hohmuth and H. H{\"a}rtig",
  title = "Cost and benefit of separate address spaces in real-time operating systems",
  text = "Frank Mehnert, Michael Hohmuth, and Hermann H{\"a}rtig. Cost and benefit of
    separate address spaces in real-time operating systems. In Proc. 23rd Real-Time
    Systems Symposium, Dec 2002.",
  year = "2002",
  month = dec,
  url = "citeseer.ist.psu.edu/mehnert02cost.html" }

@mastersthesis{daum03development,
  author =	 "Matthias Daum",
  title =	 "Development of a semantics compiler for {C++}",
  school =	 "Dresden University of Technology",
  month =	 sep,
  year =	 "2003"
}

@mastersthesis{reusner05impl,
  author =	 "Ren{\'e} Reusner",
  title =	 "Implementierung eines Echtzeit-IPC-Pfades mit Unterbrechungspunkten f{\"u}r {L4/Fiasco}",
  school = "Technische Universit{\"a}t Dresden",
  month =	jul,
  year =	 "2005"
}

@mastersthesis{peter02leistung,
  author =	 "Michael Peter",
  title =	 "Leistungs-Analyse und -Optimierung des {L4Linux}-Systems",
  school = "Technische Universit{\"a}t Dresden",
  month =	jun,
  year =	 "2002"
}

@inproceedings{ engler95exokernel,
    author = "Dawson R. Engler and M. Frans Kaashoek and James O'Toole",
    title = "Exokernel: An Operating System Architecture for Application-Level Resource Management",
    booktitle = "Symposium on Operating Systems Principles",
    pages = "251-266",
    year = "1995",
    url = "citeseer.ist.psu.edu/engler95exokernel.html" }

@misc{ beckert04formal,
  author = "Bernhard Beckert and Gerd Beuster",
  title = "Formal Specification of Security-relevant Properties of User Interfaces",
  url = "citeseer.ist.psu.edu/beckert04formal.html",
  year = "2004" }

@inproceedings{ liedtke96kernels,
    author = "Jochen Liedtke",
    title = "µ-Kernels must and can be small",
    booktitle = "Proceedings of 5th International Workshop on Object-Orientation in Operating Systems ({IWOOOS})",
    publisher = "IEEE Computer Society",
    address = "Washington, DC",
    editor = "Luis-Felipe Cabrera and Nayeem Islam",
    isbn = "0-8186-7692-2",
    pages = "152--155",
    year = "1996",
    url = "citeseer.ist.psu.edu/408369.html" }

@misc{ lackorzynski02l4linux,
	author = "Adam Lackorzynski",
	title  = "{L4Linux on L4Env}",
	month = dec,
	year = "2002",
	school = "Dresden University of Technology, Department of Computer Science Operating Systems Group"
}

@inproceedings{ rashid89mach,
    author = "Richard Rashid and Daniel Julin and Douglas Orr and Richard Sanzi and Robert Baron and Alesandro Forin and David Golub and Michael B. Jones",
    title = "Mach: a system software kernel",
    booktitle = "Proceedings of the 1989 {IEEE} International Conference, {COMPCON}",
    publisher = "IEEE Comput. Soc. Press",
    address = "San Francisco, CA, USA",
    pages = "176--178",
    year = "1989",
    url = "citeseer.ist.psu.edu/article/rashid89mach.html" }

@article{herder06minix,
  author =       "Jorrit N. Herder and Herbert Bos and Ben Gras and
                 Philip Homburg and Andrew S. Tanenbaum",
  title =        "Modular System Programming in {MINIX 3}",
  journal =      "j-LOGIN",
  volume =       "31",
  number =       "2",
  pages =        "19--28",
  month =        apr,
  year =         "2006",
  CODEN =        "LOGNEM",
  ISSN =         "1044-6397",
  bibdate =      "Tue Apr 11 10:53:03 MDT 2006",
  bibsource =    "http://www.usenix.org/publications/login/2006-04/index.html",
  URL =          "http://www.usenix.org/publications/login/2006-04/openpdfs/herder.pdf;
                 http://www.minix3.org/",
  acknowledgement = ack-nhfb,
}

@misc{ owre-pvs,
  author = "Version September Owre",
  title = "{PVS} Language Reference",
  url = "citeseer.ist.psu.edu/371484.html" }

@inproceedings{hensel98reasoning,
  title = { Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools},
  author = {U. Hensel and M. Huisman and B. Jacobs and H. Tews},
  booktitle = {Proceedings of European Symposium on Programming (ESOP '98)},
  year = 1998,
  editor = {C. Hankin},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  number = 1381,
  pages = {105--121}
}

@inproceedings{ necula96safe,
    author = "George C. Necula and Peter Lee",
    title = "Safe Kernel Extensions Without Run-Time Checking",
    booktitle = "2nd Symposium on Operating Systems Design and Implementation ({OSDI} '96), October 28--31, 1996. Seattle, {WA}",
    publisher = "USENIX",
    address = "Berkeley, CA, USA",
    editor = "{USENIX}",
    pages = "229--243",
    year = "1996",
    url = "citeseer.ist.psu.edu/necula96safe.html" }

@techreport{ hunt05sealing,
	author = "Galen C. Hunt and Mark Aiken and Paul Barham and Manuel F{\"a}hndrich and Chris Hawblitzel and Orion Hodson and James R. Larus and Steven Levi and Nick Murphy and Bjarne Steensgaard and David Tarditi and Ted Wobber and Brian D. Zill",
	booktitle = "MSR-TR-2006-51",
	institution = "Microsoft Research",
	keywords = "singularity, sealed processes, operating systems, multics",
	title = "Sealing {OS} Processes to Improve Dependability and Security",
	year = "2006",
	month = apr
}

@inproceedings{ bershad94spin,
    author = "Brian N. Bershad and Craig Chambers and Susan J. Eggers and Chris Maeda and Dylan McNamee and Przemyslaw Pardyak and Stefan Savage and Emin Gun Sirer",
    title = "{SPIN} - An Extensible Microkernel for Application-specific Operating System Services",
    booktitle = "{ACM} {SIGOPS} European Workshop",
    pages = "68-71",
    year = "1994",
    url = "citeseer.ist.psu.edu/article/chambers94spin.html" }

    @inproceedings{ gasser89digital,
    author = "M. Gasser and A. Goldstein and C. Kaufman and B. Lampson",
    title = "The Digital Distributed System Security Architecture",
    booktitle = "Proc. 12th {NIST}-{NCSC} National Computer Security Conference",
    pages = "305--319",
    year = "1989",
    url = "citeseer.ist.psu.edu/gasser89digital.html" }

@article{KeY2005,
  author        = {Wolfgang Ahrendt and Thomas Baar and
                   Bernhard Beckert and Richard Bubel and
                   Martin Giese and Reiner H\"ahnle and
                   Wolfram Menzel and Wojciech Mostowski and
                   Andreas Roth and Steffen Schlager and
                   Peter H. Schmitt},
  title         = {The {KeY} Tool},
  journal       = {Software and System Modeling},
  volume        = {4},
  pages         = {32-54},
  year          = {2005},
  doi           = {http://springerlink.metapress.com/openurl.asp?genre=article&id=doi:10.1007/s10270-004-0058-x},
  publisher     = {Springer}
}

@misc{sysarc04exp,
  title = "L4 eXperimental Kernel Reference Manual",
  author = "System Architecture Group",
  version = "X.2",
  year = "2004",
  month = jun,
  school = "Universit{\"a}t Karlsruhe"
  }

@inproceedings{ hohmuth05vfiasco,
  author = "M. Hohmuth and H. Tews",
  title = "The {VFiasco} approach for a verified operating system",
  year = "2005",
  month = oct,
  address = "Glasgow, UK",
  booktitle = "Proc. 2nd ECOOP Workshop on Programm Languages and Operating Systems"
}

@misc{ leslie52towards,
  author = "B. Leslie and G. Heiser",
  title = "Towards untrusted device drivers",
  text = "Ben Leslie and Gernot Heiser. Towards untrusted device drivers. Technical
    Report UNSW-CSE-TR-0303, School Comp. Sci. & Engin., University NSW, Sydney
    2052, Australia, Mar 2003.",
  year = "2052",
  url = "citeseer.ist.psu.edu/leslie03towards.html" }

@mastersthesis{endrawaty05veri,
  author =	 "Endrawaty",
  title =	 "Verification of the Fiasco {IPC} Implementation",
  school =	 "Dresden University of Technology",
  month =	 mar,
  year =	 "2005"
}

@inproceedings{ chou01empirical,
    author = "Andy Chou and Junfeng Yang and Benjamin Chelf and Seth Hallem and Dawson R. Engler",
    title = "An Empirical Study of Operating System Errors",
    booktitle = "Symposium on Operating Systems Principles",
    pages = "73-88",
    year = "2001",
    url = "citeseer.ist.psu.edu/chou01empirical.html" }

@inproceedings{ owre96pvs,
    author = "{S. Owre} and {S. Rajan} and {J. M. Rushby} and {N. Shankar} and {M. K. Srivas}",
    title = "{PVS}: Combining specification, proof checking, and model checking",
    booktitle = "Proceedings of the Eighth International Conference on Computer Aided Verification {CAV}",
    volume = "1102",
    publisher = "Springer Verlag",
    address = "New Brunswick, NJ, USA",
    editor = "{Rajeev Alur} and {Thomas A. Henzinger}",
    pages = "411--414",
    year = "1996",
    url = "citeseer.ist.psu.edu/article/owre96pvs.html" }

@misc{ koopman02func,
	title= "Functional Programming in {CLEAN}",
	author = "Pieter Koopman and Rinus Plasmeijer and Marko van Eekelen and Sjaak Smetsers",
	month = sep,
	year = "2002"
}

@misc{ shapiro06bitc,
  title = "{BitC} Language Specification",
  version = "0.10+",
  author = "Jonathan Shapiro, Swaroop Sridhar, Scott Doerrie",
  month = jun,
  year = "2006",
  url = "http://www.coyotos.org/docs/bitc/spec.html",
  school = "Johns Hopkins University"
}

@misc{ hopkings06coyotos,
  title = "The Coyotos Secure Operating System",
  author = "Johns Hopkins University",
  year = "2006",
  url = "http://www.coyotos.org",
  school = "Johns Hopkins University"
}

@incollection{ leavens99jml,
    author = "Gary T. Leavens and Albert L. Baker and Clyde Ruby",
    title = "{JML}: {A} Notation for Detailed Design",
    booktitle = "Behavioral Specifications of Businesses and Systems",
    publisher = "Kluwer Academic Publishers",
    editor = "Haim Kilov and Bernhard Rumpe and Ian Simmonds",
    pages = "175--188",
    year = "1999",
    url = "citeseer.ist.psu.edu/leavens99jml.html" }

@article{popek74formal,
 author = {Gerald J. Popek and Robert P. Goldberg},
 title = {Formal requirements for virtualizable third generation architectures},
 journal = {Commun. ACM},
 volume = {17},
 number = {7},
 year = {1974},
 issn = {0001-0782},
 pages = {412--421},
 doi = {http://doi.acm.org/10.1145/361011.361073},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

 @misc{ intel05virtual,
   author = "Intel Corporation",
   title = "Intel Virtualization Technology Specification for the {IA-32} Intel Architecture",
   month = apr,
   year = "2005"
 }

@misc{ amd05virtual,
   author = "Advanced Micro Devices, Inc.",
   title = "{AMD} Secure Virtual Machine Architecture Reference Manual",
   month = may,
   year = "2005"
 }

 @inproceedings{hildebrand92architectural,
	 author = "Dan Hildebrand",
	 title = "An Architectural Overview of {QNX}",
	 booktitle = "Proceedings of the Workshop on Micro-kernels and Other Kernel Architectures",
	 year = "1992",
	 isbn = "1-880446-42-1",
	 pages = "113--126",
	 publisher = "USENIX Association",
	 address = "Berkeley, CA, USA"
 }

 @techreport{ liedtke96reference,
  author = "Jochen Liedtke",
  title = "L4 Reference Manual - 486, {Pentium}, {Pentium Pro}, Version 2.0",
  month = sep,
  year = "1996",
  institution = "IBM T.J. Watson Research Center",
  address = "Yorktown Heights, NY" }

 @techreport{ liedtke99reference,
  author = "Jochen Liedtke",
  title = "L4 Nucleus Version X Reference Manual, {x86}, Version X.0",
  month = sep,
  year = "1999",
  institution = "Universit{\"a}t Karlsruhe"
  }

 @techreport{ liedtke04reference,
  author = "Jochen Liedtke",
  title = "L4 eXperimental Kernel Reference Manual, Version X.2",
  month = jun,
  year = "2004",
  institution = "Universit{\"a}t Karlsruhe"
  }

  @techreport{ kauer05reference,
  author = "Bernhard Kauer, Marcus V{\"o}lp",
  title = "{L4.Sec} Preliminary Microkernel Reference Manual",
  month = oct,
  year = "2005",
  institution = "Technische Universit{\"a}t Dresden",
  address = "Dresden, Germany"
  }

  @techreport{ nicta05embedded,
  author = "National ICT Australia",
  title = "{NICTA L4}-embedded kernel reference manual, Version NICTA N1",
  month = nov,
  year = "2005",
  institution = "Kensington Research Laboratory",
  address = "Sydney, Australia"
  }

  @inproceedings{hartig97performance,
 author = "Hermann H{\"a}rtig and Michael Hohmuth and Jochen Liedtke and Sebastian Sch{\"o}nberg and Jean Wolter",
 title = {The performance of $\mu$-kernel-based systems},
 booktitle = {SOSP '97: Proceedings of the sixteenth ACM symposium on Operating systems principles},
 year = {1997},
 isbn = {0-89791-916-5},
 pages = {66--77},
 location = {Saint Malo, France},
 doi = {http://doi.acm.org/10.1145/268998.266660},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

 @techreport{lincoln93formal,
    author = {Patrick Lincoln and John Rushby},
    title = {{A} Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model},
    institution = {Computer Science Laboratory, {SRI} International},
    year = {1993},
    number = {{SRI-CSL-93-2}},
    month = mar,
    note = {Also available as {NASA} Contractor Report 4527, July 1993},
    url = {http://www.csl.sri.com/papers/csl-93-2/}
}

@inproceedings{ miller95formal,
    author = "Steven P. Miller and Mandayam Srivas",
    title = "Formal Verification of the {AAMP5} Microprocessor: {A} Case Study in the Industrial Use of Formal Methods",
    booktitle = "Proceedings of the Workshop on Industrial Strength Formal Specification Techniques ({WIFT}'95)",
    address = "Boca Raton, Florida",
    year = "1995",
    url = "citeseer.ist.psu.edu/miller95formal.html" }

@misc{ sri06nonprofit,
  author = "SRI International",
  title = "{SRI International}, an independent, non-profit {R\&D} organization dedicated to client success.",
  year = "2006",
  month = dec,
	url = "\url{http://www.sri.com/}",
  howpublished = "\url{http://www.sri.com/}"
}

@article{ crow98formalizing,
    author = "Judith Crow and Ben Di Vito",
    title = "Formalizing space shuttle software requirements: four case studies",
    journal = "ACM Transactions on Software Engineering and Methodology",
    volume = "7",
    number = "3",
    pages = "296--332",
    year = "1998",
    url = "citeseer.ist.psu.edu/crow96formalizing.html" }

@inproceedings{vito03application,
 author = "Ben L. Di Vito",
 title = "Application of Strategies/Tactics in Higher Order Logics",
 booktitle = "Proceedings of STRATA 2003, First International Workshop on Design and Application of Strategies/Tactics in Higher Order Logics",
 year = "2003",
 month = jul,
 location = "Rome, Italy",
}

@techreport{ tews00case,
  author =	 {Tews, H.},
  language =	"english",
  title =	 {A Case study in coalgebraic specification: Memory management in the \textsc{fiasco} microkernel},
  institution =	 {SFB 358},
  year =	 2000,
  month =	 apr,
  number =	 {TPG2/1/2000},
  url = {citeseer.ist.psu.edu/tews00case.html}
}

@misc{ hohmuth98fiasco,
  author = "M. Hohmuth",
  title = "The Fiasco kernel: Requirements definition",
  year = "1998",
  url = "citeseer.ist.psu.edu/hohmuth98fiasco.html" }

@inproceedings{ hohmuth01pragmatic,
 author = "Michael Hohmuth and Hermann H{\"a}rtig",
 title = "Pragmatic Nonblocking Synchronization for Real-Time Systems",
 booktitle = "Proceedings of the General Track: 2002 USENIX Annual Technical Conference",
 year = "2001",
 isbn = "1-880446-09-X",
 pages = "217--230",
 publisher = "USENIX Association",
 address = "Berkeley, CA, USA"
}

@inproceedings{havelund00spin,
	author    = "Klaus Havelund and John Penix and Willem Visser",
  title     = "SPIN Model Checking and Software Verification, 7th International
               SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000,
               Proceedings",
  booktitle = "SPIN",
  publisher = "Springer",
  series    = "Lecture Notes in Computer Science",
  volume    = "1885",
  year      = "2000",
  month     = sep,
  isbn      = "3-540-41030-9"
}

@article{dijkstra75guarded,
 author = {Edsger W. Dijkstra},
 title = {Guarded commands, nondeterminacy and formal derivation of programs},
 journal = {Commun. ACM},
 volume = {18},
 number = {8},
 year = 1975,
 issn = {0001-0782},
 pages = {453--457},
 doi = {http://doi.acm.org/10.1145/360933.360975},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{ schonberg01user,
	author = "Sebastian Sch{\"o}nberg",
	title = "A User Mode L4 Environment",
  booktitle = "2nd International Workshop on Microkernel-based Systems",
  month = oct,
  year = 2001,
  address = "Chateau Lake Louise, Banff, AB, Canada"
}

@inproceedings{ hartig98drops,
  author = "H. H{\"a}rtig and R. Baumgartl and M. Borriss and C. Hamann and M. Hohmuth
    and F. Mehnert and L. Reuther and S. Sch{\"o}nberg and J. Wolter",
  title = "{DROPS}: {OS} support for distributed multimedia applications",
  booktitle = "Proceedings of the Eighth ACM SIGOPS European Workshop",
  year = 1998,
  month = sep,
  address = "Sintra, Portugal",
  url = "citeseer.ist.psu.edu/327120.html" }

@inproceedings{ liedtke93improve,
  author = "Jochen Liedtke",
  title = "Improving {IPC} by Kernel Design",
  booktitle = "14th ACM Symposium on Operating System Principles (SOSP)",
  year = 1993,
  month = dec
 }

@mastersthesis{steinberg05quality,
  author =	 "Udo Steinberg",
  title =	 "Quality-Assuring Scheduling in the Fiasco Microkernel",
  school = "Technische Universit{\"a}t Dresden",
  month =	mar,
  year = 2004
}

@book{larman04applying,
	author = "Craig Larman",
	howpublished = "Hardcover",
	isbn = "0131489062",
	month = oct,
	priority = "4",
	publisher = "Prentice Hall PTR",
	title = "Applying UML and Patterns : An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition)",
	year = 2004
}

@inproceedings{gargantini00encoding,
 author = "Angelo Gargantini and Elvinia Riccobene",
 title = "Encoding Abstract State Machines in PVS",
 booktitle = "ASM '00: Proceedings of the International Workshop on Abstract State Machines, Theory and Applications",
 year = 2000,
 isbn = "3-540-67959-6",
 pages = "303--322",
 publisher = "Springer-Verlag",
 address = "London, UK",
}

@misc{ butler97bitvector,
  author = "Ricky W. Butler and Paul S. Miner and Mandayam K. Srivas and Dave A. Greve
    and Steven P. Miller",
  title = "A New Bitvectors Library For PVS",
  url = "citeseer.ist.psu.edu/butler97new.html",
  year = 1997,
  month = jan }

@inproceedings{jacobs03perspective,
  author    = "Bart Jacobs and Erik Poll",
  title     = "Java Program Verification at Nijmegen: Developments and Perspective.",
  booktitle = "ISSS",
  year      = 2003,
  month     = sep,
  pages     = "134-153",
  ee        = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3233{\&}spage=134",
}

@inproceedings{shapiro04towards,
  author = "J. Shapiro and M. Doerrie and S. Sridhar and M. Miller",
  title = "Towards a Verified, General-Purpose Operating System Kernel",
  booktitle = "Proc. NICTA OS Verification Workshop 2004",
  month = oct,
  year = 2004,
  address = "Sydney, New South Wales, Australia"
}

@misc{shapiro06coyotos,
  author = "Shapiro, J. S. and Northup, E. and Doerrie, M. S. and Sridhar, S.",
  title= "Coyotos Microkernel Specification",
  year = 2006,
  url = "\url{http:// www.coyotos.org/}",
  howpublished = "\url{http:// www.coyotos.org/}"
}

@inproceedings{ shapiro99eros,
    author = "Jonathan S. Shapiro and Jonathan M. Smith and David J. Farber",
    title = "{EROS}: a fast capability system",
    booktitle = "Symposium on Operating Systems Principles",
    pages = "170-185",
    year = "1999",
    url = "citeseer.ist.psu.edu/shapiro99eros.html" }

@inproceedings{kolanski06formalising,
 author = {Rafal Kolanski and Gerwin Klein},
 title = {Formalising the L4 microkernel API},
 booktitle = {CATS '06: Proceedings of the 12th Computing: The Australasian Theroy Symposium},
 year = {2006},
 isbn = {1-920682-33-3},
 pages = {53--68},
 location = {Hobart, Australia},
 publisher = {Australian Computer Society, Inc.},
 address = {Darlinghurst, Australia, Australia},
 }

 @inproceedings{elhpinstone06formalising,
	author = {Elphinstone, K.  and Klein, G.  and Kolanski, R. },
	booktitle = {Workshop on Verified Software: Theories, Tools, and Experiments (VSTTE 06)},
	citeulike-article-id = {812866},
	keywords = {formal-methods haskell operating-systems provers},
	priority = {0},
	title = {Formalising a High-Performance Microkernel},
	url = {http://www.doclsf.de/papers/vstte06.html},
	year = {2006}
}

@book{nipkow02isabelle,
  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
  title		= {Isabelle/HOL --- A Proof Assistant for Higher-Order Logic},
  publisher	= {Springer},
  series	= {LNCS},
  volume	= 2283,
  year		= 2002
}

@inproceedings{tuch07types,
  author =       {Harvey Tuch and Gerwin Klein and Michael Norrish},
  title =        {Types, Bytes, and Separation Logic},
  booktitle =    {Proc.\ 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'07)},
  pages =        {97-108},
  year =         {2007},
  editor =       {Martin Hofmann and Matthias Felleisen},
  address =      {Nice, France},
  month =        jan
}

@TechReport{curzon92use,
  author = 	"Paul Curzon",
  title = 	"Of What Use is a Verified Compiler Specification?",
  institution =	"University of Cambridge, Computer Laboratory",
  year = 	"1992",
  number = 	"274",
  month = 	nov,
}

@misc{metterhausen96l3,
  title = "L3 Referenzhandbuch",
  author = "Werner Metterhausen",
  year = 1996,
  institution = "ACCOMMODAT GmbH"
}

repository: ErikSchierboom/thesis

repo_name: ErikSchierboom/thesis


text:
@article{Kitchenham_2009,
abstract = {Background: In 2004 the concept of evidence-based software engineering (EBSE) was introduced at the ICSE04 conference. Aims: This study assesses the impact of systematic literature reviews (SLRs) which are the recommended EBSE method for aggregating evidence. Method: We used the standard systematic literature review method employing a manual search of 10 journals and 4 conference proceedings. Results: Of 20 relevant studies, eight addressed research trends rather than technique evaluation. Seven SLRs addressed cost estimation. The quality of SLRs was fair with only three scoring less than 2 out of 4. Conclusions: Currently, the topic areas covered by SLRs are limited. European researchers, particularly those at the Simula Laboratory appear to be the leading exponents of systematic literature reviews. The series of cost estimation SLRs demonstrate the potential value of EBSE for synthesising evidence and making it available to practitioners. {textcopyright} 2008 Elsevier B.V. All rights reserved.},
author = {Kitchenham, Barbara and {Pearl Brereton}, O. and Budgen, David and Turner, Mark and Bailey, John and Linkman, Stephen},
doi = {10.1016/j.infsof.2008.09.009},
issn = {09505849},
journal = {Information and Software Technology},
keywords = {Cost estimation,Evidence-based software engineering,Systematic literature review,Systematic review quality,Tertiary study},
month = {jan},
number = {1},
pages = {7--15},
publisher = {Elsevier {\{}BV{\}}},
title = {{Systematic literature reviews in software engineering - A systematic literature review}},
url = {https://doi.org/10.1016{\%}2Fj.infsof.2008.09.009},
volume = {51},
year = {2009}
}
@inproceedings{2011,
abstract = {Presents the table of contents of the proceedings of the 2011 Agile Conference.},
booktitle = {2011 Agile Conference},
doi = {10.1109/agile.2011.6},
pages = {v--viii},
publisher = {IEEE},
title = {{2011 Agile Conference: AGILE 2011 - Table of Contents}},
url = {https://doi.org/10.1109{\%}2Fagile.2011.6},
year = {2011}
}
@article{C_Nienaber_2005,
abstract = {Software technology and computing resources have evolved and developed considerably over the past years and may be considered as the backbone of many business ventures today. However, the software project management environment has also changed and is continuously evolving. Currently software projects are developed and deployed in distributed, pervasive and collaborative environments. This means that traditional software project management methods cannot, and do not, address the added complexities found in a pervasive, distributed global environment. Projects thus have a high rate of failure. More specifically, software projects often do not comply with the traditional standard measurements of success, namely time, cost and specifications. There is thus a need for new methods and measures to support software project management. In this paper, software agent technology is explored as a potential tool for enhancing software project management practices in general. We propose and discuss)},
author = {{C Nienaber}, Rita and Barnard, Andries},
doi = {10.28945/858},
issn = {1547-5840},
journal = {Issues in Informing Science and Information Technology},
pages = {659--669},
publisher = {Informing Science Institute},
title = {{Software Quality Management supported by Software Agent}},
url = {https://doi.org/10.28945{\%}2F858},
volume = {2},
year = {2005}
}