text:
/* body {background:#fff url(../i/px.gif) no-repeat; background-attachment: fixed;} */
textarea {overflow:auto}

#search .search .field input {height:14px;}
#countries {zoom:1;}

#pp-country {width:250px;}
#pp-country h1 img, #country h1 img {margin-top:4px;}
#pp-country h1 {width:210px; overflow:hidden;}
#pp-country .content {padding-top:7px;}

.residents .all {margin:11px 0 0;}
.residents .all2 {margin:10px 0 0;}

.photo-upload .info,
.reg-tab .item,
.user-profile,
.community-profile,
.user-photo,
.user-photoalbum,
.photo-upload,
.info .editing,
.info .place {zoom:1;}
.info .place .btn {margin-top:2px;}
.photos-list .scrollable .last {width:97px;}

.user-photos-thumb {zoom:1; padding-bottom:15px;}
.user-photoalbum .more {display:inline-block;}

.comment-block .message .photo .descript {bottom:-1px;}
.lenta-status .status-submit input { margin: 0 0 0 -65px; }
#country .submenu { margin: -1px 0 0 !important; }

.num {top:-4px;}
h1 .num {top:-7px;}
#header.head-user .auth .num {top:0px;}

#pp-photo-full .photo .prevnext {top:15px;}

.cu_line .prev{top:0px}
.cu_line .next{top:0px}

.rates .item .jquery-radio{position:relative;top:1px;}

.pagination .npwrap,
.pagination .pages {display:inline; zoom:1;}

.list_notes .item .bottom .buttons a.re { padding: 0px 10px 4px; }
.advice-by-item-flag{top: 1px;}

.best-persons-prev,
.best-persons-next{top:0px}
.crumbs-line-ava{position: relative;top: 2px;}
.place-travelers-type{height:11px;padding:5px 0px 0px 0px;}

/* b-last-elements.css */
.last-elements-prev,
.last-elements-next{top: -3px;}

/* b-konkurs-2.css */
.konkurs-test-answer-text{padding: 2px 0 12px;}

/* b-list-collections.css */
.list-collections-prev,
.list-collections-next{top: -3px;}
.list-collections-num{line-height: 12px;}

/* b-pop-collect.css */
.pop-collect-num{line-height: 12px;}

.right-btn {top:8px;}

/* b-album-photos.css */
.album-photos-item,
.album-photos-blank,
.album-photos-edit,
.album-photos-edit-place
{zoom:1;}
.album-photos-edit-place-btn {margin-top:2px;}

/* b-where-i-was.css */
.where-i-was-stat-num-img{margin: 2px 2px 0 0;}

/* b-pop-city.css */
.pop-city-check {padding-top: 2px;}

.user-side-pink-link {background:url(../i/user-side-pink-link.png) no-repeat left 9px;}

/* b-list-notes.css */
.list-notes-bottom,.list-notes-top{zoom:1;}

/* b-excurs-tour.css */
.excurs-tours{zoom:1;}

/* b-place-visited.css */
.place-visited-gray {padding:5px 0 15px 10px;zoom:1;}
.place-visited-gray-2{zoom:1;}

/* b-pop-place.css */
.pop-place-country-flag{position: static;}

/* b-list-excurs.css */
.list-excurs-imgs{zoom:1;}
.list-excurs-photo{display:inline;}

/* b-place-promo.css */
.place-promo-a { background: none; border-bottom: 1px dashed #1d82a2; }

/* b-place-promo.css */
.new-photos-head-num { top: -10px; }

.standart-popup-white-tbl, .standart-popup-gray-tbl {width:97%;}
.tb_frm-sel {width:130px;}

repository: glebstar/guides

repo_name: glebstar/guides


text:
/*
__  __       _            _       _   _____            _               _____  _                       _
|  \/  |     | |          (_)     | | |  __ \          (_)             |  __ \(_)                     | |
| \  / | __ _| |_ ___ _ __ _  __ _| | | |  | | ___  ___ _  __ _ _ __   | |  | |_ ___  ___ ___  _ __ __| |
| |\/| |/ _` | __/ _ \ '__| |/ _` | | | |  | |/ _ \/ __| |/ _` | '_ \  | |  | | / __|/ __/ _ \| '__/ _` |
| |  | | (_| | ||  __/ |  | | (_| | | | |__| |  __/\__ \ | (_| | | | | | |__| | \__ \ (_| (_) | | | (_| |
|_|  |_|\__,_|\__\___|_|  |_|\__,_|_| |_____/ \___||___/_|\__, |_| |_| |_____/|_|___/\___\___/|_|  \__,_|
                                                          __/ |
                                                         |___/

Current Version: 1.3

I call it a Material Design theme, but it's just an extreme box shadow theme, I have not found an good use of the CSS ripple
animation in Discord yet because of how awkward everything is and there are certain things that I am uncertain about
which I might change in the future.

Credits:
https://github.com/Oliyy - Pretty much all the rest I made, in consultation with others
https://github.com/jakeoid - I used his light theme restriction code
https://github.com/Vap0r1ze - I edited his repo for adding nitro tags to users names.
https://github.com/AlexFlipnote - I used the scroll bar from his Discord theme, because I hate coding scroll bars

If anyone has a problem with me using their code just PM me on discord Oliy#0330
*/

/* === FONT IMPORTS === */

@import url('https://fonts.googleapis.com/css?family=Roboto');
@import url('https://fonts.googleapis.com/css?family=Noto+Sans');

/* === COLOR & ELEMENT VARIABLES === */

:root {
  --darksecondary: #2d2d2d;
  --darkprimary: #222222;
  --accent: #C62828;
  --mention: #5f0faf;
  --profilepictureshape: 20%; /* 50% Circle (Default for discord), 20% Rounded Square (Default for theme), 0% Sharp Square  */
}

/*  */

/* === SETTING GLOBAL FONT === */

* {
  font-family: 'Roboto', sans-serif;
}

@keyframes bg-color {
  0% {
    background-color: #e74c3c;
  }
  20% {
    background-color: #f1c40f;
  }
  40% {
    background-color: #1abc9c;
  }
  60% {
    background-color: #3498db;
  }
  80% {
    background-color: #9b59b6;
  }
  100% {
    background-color: #e74c3c;
  }
  ;
}

/* === TEXT AREA & AUTOCOMPLETE POPOUT === */
.message-group h2 strong { color: white; }
.message-group .comment .message-text .markup { color: white; }
.message-group .comment .message-text .markup pre { color: #000; }
.channel-textarea-inner, .channel-textarea.has-results .channel-textarea-inner { border: none; }
.theme-dark .message-group.is-local-bot-message {
  background-image: none;
  box-shadow: none;
}
.channel-textarea-upload { border: none; }
.channel-textarea-inner .channel-textarea-upload { border-right-color: none; }
.channel-textarea { margin: 0 0 0; }
.message-group:last-of-type { margin-bottom: 20px !important; }
.channel-textarea-inner textarea { background-color: transparent; }
.channel-textarea-inner textarea::-webkit-input-placeholder { color:rgba(128, 128, 128, .9) !important; }
.channel-textarea.channel-textarea-disabled { color: rgba(128, 128, 128, 1); }
.channel-textarea-upload:hover {
  background-color: transparent;
  border: none;
}
.theme-dark .channel-textarea-upload, .theme-dark .channel-textarea-upload:hover {
  transition: all 300ms ease;
}
.theme-dark .channel-textarea-upload {
  background: url(https://storage.googleapis.com/material-icons/external-assets/v4/icons/svg/ic_file_upload_white_24px.svg) 50% no-repeat;
  opacity: 0.5;
}

.theme-dark .channel-textarea-upload:hover {
  background: url(https://storage.googleapis.com/material-icons/external-assets/v4/icons/svg/ic_file_upload_white_24px.svg) 50% no-repeat;
  opacity: 1;
  transform: translateY(-5px);
}

.channel-textarea-inner, .channel-textarea.has-results .channel-textarea-inner {
  margin-top: 14px;
  margin-bottom: 14px;
}

.chat form {
  border: none;
  margin: 0px;
}

.typing {
  bottom: 100%;
  left: 10px;
  width: auto;
  position: absolute;
}

.channel-textarea-autocomplete-inner {
  border: 0!important;
  border-radius: 0px;
  border-bottom: 0px;
  box-shadow: 0;
}
.channel-textarea-autocomplete-inner header {
  border-bottom: 0px;
  margin-bottom: 5px;
}
.channel-textarea-autocomplete-inner ul {
  margin-left: 10px;
  margin-right: 10px;
  border-bottom: 0px!important;
}
.channel-textarea-autocomplete-inner li.active { border-radius: 0px; }
.channel-textarea-autocomplete-inner li {
  border-radius: 0px;
  margin-bottom: 2px;
}
.channel-textarea-autocomplete-inner:after {
  border: none;
}
.invite-button {
  background: rgba(0, 0, 0, 0.2);
  border: 0;
}
.invite-button-header {
  color: #fff;
}

/* DARK */
.theme-dark .channel-textarea-inner { background-color: transparent; }
.theme-dark .channel-textarea-inner .channel-textarea-upload:hover { background-color: transparent; }
.theme-dark .chat form .typing { background-color: rgba(48, 48, 48, .9); padding-left: 10px; padding-right: 10px; }
.theme-dark .chat form {background-color: #3c3c3c; border: none; color: #fff; }
.theme-dark #autocomplete-popout .row.selected, #autocomplete-popout .row:hover { background: #181818 }
.theme-dark #autocomplete-popout .row { -webkit-transition: all 50ms ease; transition: all 50ms ease; }
.theme-dark #autocomplete-popout .scroller::-webkit-scrollbar { display: none }
.theme-dark .channel-textarea-autocomplete-inner { background-color: var(--darkprimary)!important; }
.theme-dark .channel-textarea-autocomplete-inner header { background-color: var(--accent)!important; }
.theme-dark .channel-textarea-autocomplete-inner ul { background-color: var(--darkprimary)!important; }
.theme-dark .channel-textarea-autocomplete-inner li.active { background-color: var(--darksecondary)!important;}
.theme-dark .channel-textarea-autocomplete-inner li { background-color: var(--darkprimary)!important; }
.theme-dark .message-group .comment .markup pre code { background: rgba(0, 0, 0, 0.1); }
.theme-dark .message-group .comment .markup pre { background: rgba(0, 0, 0, 0.2); border-color: rgba(0, 0, 0, 0.1); }
.theme-dark .invite-button { background-color: rgba(0, 0, 0, 0.2); border-color: rgba(0, 0, 0, 0); }
.theme-dark .message-group .embed { background-color: rgba(0, 0, 0, 0.2); border-color: rgba(0, 0, 0, 0); }

.upload-modal div[class*="autocomplete-"] {
  background: var(--darkprimary);
  color: #fff;
}

.channel-text-area-default { margin: 0 0 0; }
.theme-dark .channel-text-area-default div[class*="inner-"] {
  border-radius: 0;
  padding-top: 5px;
  padding-bottom: 4px;
  background-color: var(--darksecondary);
  border-top: 1px solid rgba(255, 255, 255, 0.25);
}

.theme-brand div[class*="inner-"] {
  background: var(--darksecondary);
}

.emoji, .emoji.jumboable{
  border-radius: 4px;
  filter: drop-shadow(5px 5px 0px rgba(0,0,0,0.3));
}

.theme-dark .channel-text-area-default div[class*="autocomplete-"] { background: var(--darkprimary); }

/* === CHANNEL MEMBER BAR === */

.channel-members .member:hover, .private-channels .channel:hover, .guild-channels .channel-text:hover {
  background: #282828!important;
  transition: all 100ms ease;
}

.private-channels .channel:active, .guild-channels .channel-text:active, .channel-members .member.popout-open, .private-channels .channel.selected, .guild-channels .channel-text.selected {
  background: var(--darksecondary)!important;
  transition: all 0ms
}

.private-channels, .channel-members {
  background: #212121!important;
}

.channel-members {
  width: 240px;
}

.channel-members .member .bot-tag, .private-channels .channel .channel-name, .channel-members .member .member-activity, .channel-members .member .member-username-inner {
  transition: all 100ms cubic-bezier(.43, 0, 0, 1);
}

.channel-members .member:hover .bot-tag, .private-channels .channel:hover .channel-name, .channel-members .member .member-activity, .channel-members .member:hover .member-username-inner {
  -ms-transform: translate(5px);
  transform: translate(5px);
}

.channel-members .member.popout-open .avatar-small, .channel-members .member:hover .avatar-small {
  -ms-transform: scale(1.2);
  transform: scale(1.2);
}

.channel-members .member.popout-open .avatar-small, .channel-members .member .avatar-small {
  transition: all 100ms ease;
}

.channel-members-loading {
  -webkit-filter: grayscale(100%)brightness(60%);
  filter: grayscale(100%)brightness(60%);
}

.theme-dark .channel-members {
  background-color: var(--darkprimary);
}

.channel-members {
  width: 10px !important;
}

/* === TITLE BAR === */

.theme-dark .chat .title-wrap {
  background-color: var(--darkprimary);
  box-shadow: 0 10px 20px rgba(0, 0, 0, 0.19), 0 6px 6px rgba(0, 0, 0, 0.23);
  border: none;
}

.messages-wrapper .new-messages-bar {
  background-color: var(--accent);
}

.search-bar {
  background-color: var(--darksecondary);
  box-shadow: 0 10px 20px rgba(0, 0, 0, 0.19), 0 6px 6px rgba(0, 0, 0, 0.23);
  border-radius: 0%;
}

/* === PRIVATE MESSAGING === */

.private-channels .channel.selected { background: var(--dark-secondary); }
.private-channels .channel.selected:before { border-left: 2px solid var(--accent); }
.private-channels .channel:hover { background: var(--dark-secondary); opacity: .75; }
.private-channels { background-color: var(--dark-primary); }
.private-channels .channel:hover:before { border-left: 2px inset var(--accent); }
.private-channels .channel.selected .icon-friends { background-color: transparent; }
.theme-dark .private-channel-call, .theme-dark .ui-video { background-color: var(--dark-highlight); }

#friends .friends-table {
  margin-top: 0px;
  padding-top: 4px;
  border: none;
}

#friends .friends-header {
  border: none;
  box-shadow: none;
  height: 57px;
}
/* DARK */
.theme-dark #friends .friends-header {
  background-color: var(--dark-highlight);
  border: none;
}

.theme-dark #friends .friends-header .tab-bar .tab-bar-item.tab-bar-item-primary {
  background-color: var(--accent);
}

/* === VOICE CHANNEL CONTROLS === */

#rtc-connection .btn:after { background-size: 23px 23px; }
.account .btn:after { background-size: 20px 20px; }
#rtc-connection .btn-disconnect:after { background-image: url("https://storage.googleapis.com/material-icons/external-assets/v4/icons/svg/ic_call_end_white_24px.svg"); }
#rtc-connection .btn-info:after { background-image: url("https://storage.googleapis.com/material-icons/external-assets/v4/icons/svg/ic_info_white_24px.svg"); }

.account .btn-mute, .account .btn-deafen { opacity: 0.25; }
.account .btn-settings { opacity: 1; }
.account .btn-mute:hover, .account .btn-deafen:hover, .account .btn-settings:hover { opacity: 1; }
.account .btn-mute:hover:after, .account .btn-mute:after { background-image: url("https://storage.googleapis.com/material-icons/external-assets/v4/icons/svg/ic_mic_white_24px.svg"); }
.account .btn-mute.disabled:hover:after, .account .btn-mute.disabled:after { background-image: url("https://storage.googleapis.com/material-icons/external-assets/v4/icons/svg/ic_mic_off_white_24px.svg"); }
.account .btn-deafen:hover:after, .account .btn-deafen:after { background-image: url("https://storage.googleapis.com/material-icons/external-assets/v4/icons/svg/ic_volume_up_white_24px.svg"); }
.account .btn-deafen.disabled:hover:after, .account .btn-deafen.disabled:after { background-image: url("https://storage.googleapis.com/material-icons/external-assets/v4/icons/svg/ic_volume_off_white_24px.svg"); }
.account .btn-settings:hover:after, .account .btn-settings:after { background-image: url("https://storage.googleapis.com/material-icons/external-assets/v4/icons/svg/ic_build_white_24px.svg"); }

.account .btn-group { border: none; }
.account .btn { background: none; }
.account .btn-deafen, .account .btn-settings { box-shadow: none; }
.account .btn-deafen, .account .btn-mute { border-right: none; }
#rtc-connection .btn, #rtc-connection .btn-group, #rtc-connection .btn-disconnect {
  background: transparent;
  border: none;
  box-shadow: none;
}
/* Get rid of the top border */
.account, #rtc-connection {
  border: none;
  background-color: var(--darkprimary);
}

/* === USER POPOUT === */

.user-popout .header {
  background: var(--darksecondary);
  border-radius: 0%;
}

.user-popout .avatar-wrapper .avatar-popout {
  border: 0;
  background-color: ;
}

.user-popout {
  border-radius: 0%;
  box-shadow: 0 1px 3px rgba(0, 0, 0, 0.12), 0 1px 2px rgba(0, 0, 0, 0.24);
  transition: all 0.3s cubic-bezier(.25, .8, .25, 1);
}

.user-popout:hover {
  box-shadow: 0 14px 28px rgba(0, 0, 0, 0.25), 0 10px 10px rgba(0, 0, 0, 0.22);
}

.bot-tag.bot-tag-invert {
  background-color: var(--accent);
  color: #fff!important;
}

.bot-tag {
  background-color: #5f0faf;
}

.user-popout .header.streaming .live-on-twitch {
  border-top: 0px solid transparent;
  text-decoration: none;
  width: 150px;
  margin-left: 129px;
  border-radius: 3px;
  padding: 4px 0;
}

.user-popout .header.streaming .activity {
  padding: 0;
}

.user-popout .avatar-wrapper .avatar-hint {
  margin: 0;
  background: var(--darkprimary);
  box-shadow: none;
}

.note textarea:focus {
  background: var(--darksecondary);
}

.user-popout .body {
  background: var(--darkprimary);
}

.user-popout .footer {
  background: var(--darksecondary);
  border-top: none;
}

.quick-message, .quick-message.isBlocked {
  background: transparent;
  border: none;
  color: #fff;
  border-bottom: 1px solid #fff;
  border-radius: 0;
}

/* === USER PROFILE === */

#user-profile-modal {
  border-radius: 0%;
  transition: all 0.3s cubic-bezier(.25, .8, .25, 1);
  box-shadow: 0 10px 20px black, 0 6px 6px black;
}

#user-profile-modal:hover {
  box-shadow: 0 19px 38px black, 0 15px 12px black;
}

#user-profile-modal:after {
  visibility: visible;
}

#user-profile-modal:focus:after {
  visibility: visible;
}

.avatar-profile .status {
  border-color: var(--darksecondary);
}

#user-profile-modal .header {
  background-color: var(--accent);
  background-image: url('https://unsplash.it/1011/100000');
}

#user-profile-modal .scroller {
  background-color: var(--darksecondary);
  border-bottom: 0;
  color: var(--darkprimary)
}

#user-profile-modal .tab-bar-container {
  background-color: var(--darkprimary);
  border-bottom: 0;
}

#user-profile-modal .empty {
  background: var(--darksecondary);
}

#user-profile-modal .tab-bar .tab-bar-item, #user-profile-modal .tab-bar .tab-bar-item.selected {
  color: white;
}

#user-profile-modal .tab-bar .tab-bar-item.selected {
  font-weight: bold;
  border-bottom-color: #fff;
}

#user-profile-modal .guilds .section .connected-accounts .connected-account {
  border-width: 0px 0px 2px;
  background: var(--darkprimary);
  box-shadow: 0 14px 28px rgba(0, 0, 0, 0.25), 0 10px 10px rgba(0, 0, 0, 0.22);
  border-radius: 0%;
  border-color: var(--accent)
}

#user-profile-modal .guilds .section .connected-accounts {
  margin-left: -10px;
  margin-right: -10px;
  padding: 0 10px;
}

#user-profile-modal .guilds .section .connected-accounts .connected-account a:hover .connected-account-open-icon {
  opacity: 0.8;
}

#user-profile-modal .guilds .section .connected-accounts .connected-account .connected-account-name-inner .connected-account-name {
  color: #fff;
  font-weight: 600
}

#user-profile-modal .guilds .section .note textarea {
  padding: 5px;
  border-radius: 0px;
  -webkit-transition: all 100ms ease;
  transition: all 100ms ease;
}

#user-profile-modal .guilds .section .note textarea:hover:focus, #user-profile-modal .guilds .section .note textarea:focus {
  color: #fff;
  background: transparent;
}

#user-profile-modal .guilds .guild:hover {
  background: rgba(255, 255, 255, .1);
  color: #fff;
}

#user-profile-modal .header::after {
  display: none!important;
}

#user-profile-modal .avatar-wrapper {
  background-color: transparent;
}

#user-profile-modal .header .header-info .header-info-inner .discord-tag .username {
  color: #fff;
}

#user-profile-modal .header .header-info .header-info-inner .discord-tag .discriminator {
  color: rgba(255, 255, 255, .7);
}

#user-profile-modal .header .header-info .header-info-inner .activity {
  color: rgba(255, 255, 255, .5);
}

/* === TEXT/VOICE CHANNEL SECTION === */

@-webkit-keyframes status-picker {
  from {
    transform: translateY(-40px);
    opacity: 0;
  }
  100% {
    transform: translateY(0px);
    opacity: 1;
  }
}

@keyframes server-settings {
  from {
    transform: translateY(-150px);
    opacity: 0;
  }
  100% {
    transform: translateY(0px);
    opacity: 1;
  }
}
.container-RYiLUQ {
  margin-top: -1px;
  background-color: var(--darkprimary);
  border-radius: 0 !important;
}

.content-2mSKOj, .content-2mSKOj:hover {
  transition: all 250ms ease;
}

.content-2mSKOj:hover {
  background: var(--darksecondary);
  box-shadow: 0 10px 20px rgba(0, 0, 0, 0.19), 0 6px 6px rgba(0, 0, 0, 0.23);
}
.contentSelectedText-3j5CXt {
  background-color: var(--darksecondary);

}

@-webkit-keyframes current-channel {
  from { opacity: 0; }
  100% { opacity: 1; }
}

@keyframes current-channel {
  from { opacity: 0; }
  100% { opacity: 1; }
}
.contentSelectedText-3j5CXt:before {
  animation: current-channel 300ms ease-in-out;
}

.contentSelectedText-3j5CXt:before {
  position: absolute;
  top: 0;
  left: 0;
  height: 100%;
  content: " ";
  border-left: 8px solid var(--accent);
  opacity: 1!important;
}

.container-37-TX2 {
  color: #ccc;
}

.wrapper-2xO9RX {
  background-color: var(--accent);
}

.unread-23Kvxk {
  content: " ";
  width: 12px;
  height: 12px;
  border-radius: 6px;
  background: #fff;
  opacity: 1;
  position: absolute;
  top: 15px;
  left: -10px;
}
.guild-channels { background-color: var(--darkprimary); }
.guild-header header { background-color: var(--darksecondary); }
.guild-channels .channel-text.selected:before { border-left: 2px solid var(--accent); }
.guild-channels .channel-text:hover.channel-muted:before, .guild-channels .channel-text:hover:not(.unread):before { border-left: 2px inset var(--accent); }
.guild-channels .channel .channel-name { -webkit-transition: all 200ms ease; transition: all 200ms ease; }
.guild-channels .channel:hover .channel-name { -webkit-transform: translate(10px); transform: translate(10px); }
.guild-channels .channel-text.selected { background: var(--darksecondary); }
.guild-channels .channel-text:hover { background: var(--darksecondary); opacity: .75 }
.popout-menu { width: 320px; box-shadow: none; }
.popout-menu .popout-menu-item, .popout-menu .popout-menu-item:hover { transition: all 200ms ease-in-out; }
.popout-menu .popout-menu-item { color: #fff; padding: 10px 30px 10px 20px; }
.popout-menu .popout-menu-item:hover { transform: translateX(0.5em); background: transparent; }
.guild-header header:hover { background-color: var(--darksecondary); }
.guild-header.popout-open header { background-color: var(--darksecondary); }
.guild-header header { height: 57px; box-shadow: none; }

.popout-menu .popout-menu-icon[src^="/assets/9a93097ab591379729c68f15a17b26af.svg"] {
  background-image: url('https://storage.googleapis.com/material-icons/external-assets/v4/icons/svg/ic_build_white_24px.svg')!important;
}
/* DARK */
.theme-dark .popout-menu .popout-menu-separator {
  display: none;
}
.theme-dark .popout-menu {
  background: var(--dark-primary);
  animation: server-settings 500ms ease-in-out;
  border-radius: 10px;
  border: 3px solid var(--dark-highlight);
}

/* === GUILD SELECTION BAR === */

.guilds-wrapper .guilds .guild .guild-inner a {
  border-radius: var(--profilepictureshape);
}

.guilds-wrapper .guilds .guild .guild-inner {
  border-radius: var(--profilepictureshape)!important;
}

.guilds-wrapper .guilds .guild {
  padding: 7px 14px;
  -ms-transform: translate(-13px)!important;
  transform: translate(-13px)!important;
  margin-bottom: 0px!important;

}

.guilds .guild:not(.guilds-add):last-of-type {
    margin-bottom: 60px!important
}

#user-profile-modal .guilds .guild:not(.guilds-add):last-of-type {
    margin-bottom: 0px!important
}

.dms .guild:not(.guilds-add):last-of-type {
    margin-bottom: 0px!important
}

.guilds-wrapper .guild.guilds-add {
    border: 0px;
    background: transparent;
    transition: all 200ms ease!important;
    margin-left: 0px!important;
    font-size: 32px;
    font-weight: 600;
    margin: 0px!important;
    position: absolute;
    left: 15px;
    bottom: 0px;
    color: transparent;
    height: 70px;
    width: 80px;
    padding: 0;

}

.guilds-wrapper .guild.guilds-add:after {
    background-color: var(--accent);
    transition: all 200ms ease!important;
    position: absolute;
    left: 8px;
    bottom: 20px;

    content: "";
    display: block;
    height: 50px;
    width: 50px;
    background-image: url(data:image/svg+xml;base64,PHN2ZyBmaWxsPSIjRkZGRkZGIiBoZWlnaHQ9IjI0IiB2aWV3Qm94PSIwIDAgMjQgMjQiIHdpZHRoPSIyNCIgeG1sbnM9Imh0dHA6Ly93d3cudzMub3JnLzIwMDAvc3ZnIj4gICAgPHBhdGggZD0iTTE5IDEzaC02djZoLTJ2LTZINXYtMmg2VjVoMnY2aDZ2MnoiLz4gICAgPHBhdGggZD0iTTAgMGgyNHYyNEgweiIgZmlsbD0ibm9uZSIvPjwvc3ZnPg==);
    background-position: 50%;
    background-repeat: no-repeat;
    border-radius: var(--profilepictureshape);

}

.guilds-wrapper .guild.guilds-add:hover:after {

    background-color: var(--accent);
}

.guilds-wrapper .guilds .guild.guilds-add:hover {
    opacity: 1!important
}

.guilds-wrapper .guild.guilds-add:before {
    content: "";
    width: 78px;
    height: 120px;
    background: #fff;
    display: block;
    position: fixed;
    left: 0px;
    bottom: -16px;

    background: -webkit-gradient(left top, left bottom, color-stop(0%, rgba(48, 48, 48, 0)), color-stop(60%, rgba(48, 48, 48, 1)), color-stop(100%, rgba(48, 48, 48, 1)));
    background: linear-gradient(to bottom, rgba(48, 48, 48, 0) 0%, rgba(48, 48, 48, 1) 60%, rgba(48, 48, 48, 1) 100%);
    pointer-events: none;
}

.guilds-wrapper {
  background: var(--darksecondary);
}

.guilds-wrapper .guilds .guild.selected {
  background: transparent;
}

.guilds-wrapper .guilds .guild.selected .guild-inner {
  background-color: transparent !important;
}

.guilds-wrapper .guilds .friends-online {
  display: none;
}

.friends-icon {
    background-image: url(https://bearddesign.s-ul.eu/Dr2CyE1L.svg)!important;
    opacity: 0.8;
    margin-top: 4px;
    background-size: 50%!important

}

.guild-channels .icon-instant-invite {
    background-image: url(data:image/svg+xml;base64,PHN2ZyBmaWxsPSIjRkZGRkZGIiBoZWlnaHQ9IjI0IiB2aWV3Qm94PSIwIDAgMjQgMjQiIHdpZHRoPSIyNCIgeG1sbnM9Imh0dHA6Ly93d3cudzMub3JnLzIwMDAvc3ZnIj4gICAgPHBhdGggZD0iTTAgMGgyNHYyNEgweiIgZmlsbD0ibm9uZSIvPiAgICA8cGF0aCBkPSJNMTggMTYuMDhjLS43NiAwLTEuNDQuMy0xLjk2Ljc3TDguOTEgMTIuN2MuMDUtLjIzLjA5LS40Ni4wOS0uN3MtLjA0LS40Ny0uMDktLjdsNy4wNS00LjExYy41NC41IDEuMjUuODEgMi4wNC44MSAxLjY2IDAgMy0xLjM0IDMtM3MtMS4zNC0zLTMtMy0zIDEuMzQtMyAzYzAgLjI0LjA0LjQ3LjA5LjdMOC4wNCA5LjgxQzcuNSA5LjMxIDYuNzkgOSA2IDljLTEuNjYgMC0zIDEuMzQtMyAzczEuMzQgMyAzIDNjLjc5IDAgMS41LS4zMSAyLjA0LS44MWw3LjEyIDQuMTZjLS4wNS4yMS0uMDguNDMtLjA4LjY1IDAgMS42MSAxLjMxIDIuOTIgMi45MiAyLjkyIDEuNjEgMCAyLjkyLTEuMzEgMi45Mi0yLjkycy0xLjMxLTIuOTItMi45Mi0yLjkyeiIvPjwvc3ZnPg==);
}

.guilds-wrapper .guilds .guild-separator {
  position: relative;
  width: 90%;
  margin: 0;
  padding-bottom: 10px;
  left: -5px;
}

.guilds-wrapper .guilds .guild .guild-inner {
  background: transparent !important;
}

.guilds-wrapper .guilds .guild.audio .guild-inner:after {
  top: 30px;
}

/* === NOTIFICATIONS, RED CIRCLE = UNREAD MESSAGES, PURPLE SQUARE = UNREAD MESSAGES IN SELECTED GUILD, PURPLE CIRCLE WITH NUMBER = @MENTION === */

.badge {
  background-color: var(--mention);
  border-radius: 50%;
}

.new-messages-indicator.new-messages-indicator-mention {
  background-color: var(--mention);
  border-radius: 0%;
}

.guilds-wrapper .guilds .guild.selected:before, .guilds-wrapper .guilds .guild.selected.unread:before, .guilds-wrapper .guilds .guild.unread:before {
  z-index: 100;
  -webkit-transform: translate(28px, 15px) scale(1.2);
  transform: translate(28px, 15px) scale(1.2);
  background: var(--accent);
  height: 12px;
  width: 12px;
  margin-top: 0px;
  border-radius: 50%;
  transition: all 0.3s ease(.25, .8, .25, 1);
}

.guilds-wrapper .guilds .guild.selected.unread:before {
  visibility: visible !important;
  transform: translate(56px, 3px) scale(1.2);
  border-radius: 0%;
  transition: all 0.3s cubic-bezier(.25, .8, .25, 1);
  background: #5f0faf;
}

.guilds-wrapper .guilds .guild.selected:before {
  content: "" !important;
  width: 4px;
  height: 64px;
  display: block;
  position: absolute;
  top: 0;
  left: 0;
  color: #fff;
  z-index: 100;
  visibility: hidden;
}

.dms .guild .badge, .guilds .guild.unread .badge, .guilds .guild .badge {
  -webkit-transform: translate(-4px, -34px)!important;
  transform: translate(-10px, -49px)!important;
  z-index: 100;
}

/* === SCROLL BAR === */

.scroller-wrap .scroller::-webkit-scrollbar {
  width: 14px;
}

.scroller.guild-channels::-webkit-scrollbar {
  display: none;
}

.scroller-wrap .scroller::-webkit-scrollbar-track-piece {
  border: 4px solid rgba(255, 255, 255, 0) !important;
  background-color: rgba(0, 0, 0, 0) !important;
}

.scroller-wrap .scroller::-webkit-scrollbar-thumb {
  border: 4px solid rgba(255, 255, 255, 0) !important;
  background-color: rgba(225, 225, 225, 0.1) !important;
  display: initial;
}

.scroller-wrap .scroller::-webkit-scrollbar-thumb:hover {
  border: 4px solid rgba(255, 255, 255, 0) !important;
  background-color: rgba(225, 225, 225, 0.15) !important;
}

.scroller-wrap .scroller::-webkit-scrollbar-thumb:active {
  border: 4px solid rgba(255, 255, 255, 0) !important;
  background-color: rgba(225, 225, 225, 0.2) !important;
}

/* === CHAT MESSAGES AND BODY === */

.divider.divider-red+.divider {
  display: none;
}

.chat .jump-to-present-bar {
  left: inherit;
}

#app-mount>div>div.modal-container>div.modal>div>form>div.form-inner>div>div.comment>div>div.body>div>div.markup {
  color: white;
}

.confirm-message-modal .form-inner .message-group.hide-overflow .comment .message-first .body .message-text .markup code.inline {
  background: var(--darkprimary) !important;
}

#app-mount>div>div.modal-container>div.modal>div>form>div.form-inner>div>div.comment>div>div.body>div>div.markup>code {
  background: var(--darkprimary);
}

#app-mount>div>div.modal-container>div.modal>div>form>div.form-inner>div>div.comment>div>div.body>div>div.markup>pre {
  color: rgb(0, 0, 0);
  background: #1A1C1F;
  border: 2px solid #1A1C1F;
}

#app-mount>div>div.modal-container>div.modal>div>form>div.form-inner>div>div.comment>div>div.body>div>div.markup>pre>code.hljs {
  background: #1A1C1F;
  color: #839496;
}

.message-group .edit-message .channel-textarea-inner {
  border: 1px solid var(--accent);
}

.message-group .edit-message .edit-operation>a {
  color: var(--accent);
}

.theme-dark .chat>.content, .theme-dark .friends-table, .theme-dark .messages-wrapper {
  background-color: var(--darksecondary) !important;
}

.theme-dark .message-group .comment .markup {
  color: hsla(0, 0%, 100%, .7) !important;
}

.theme-dark .message-group .comment .markup code.inline, .theme-dark .message-group .comment .markup pre code {
  background: #1A1C1F;
}

/* === NITRO USER TAGS === */

.avatar-large[style*="a_"]+.comment .message.first .body .username-wrapper:after {
  content: 'Nitro';
  color: white;
  margin-left: 5px;
  background: var(--accent);
  line-height: 16px;
  text-transform: uppercase;
  vertical-align: bottom;
  border-radius: 3px;
  margin-left: 6px;
  padding: 1px 2px;
  font-size: 10px;
  font-weight: 600;
  cursor: text;
}

.member.member-status>.avatar-small[style*="a_"]+.member-inner .member-username:after {
  content: 'Nitro';
  color: white;
  margin-left: 5px;
  background: var(--accent);
  line-height: 15px;
  height: 14px;
  text-transform: uppercase;
  vertical-align: bottom;
  border-radius: 3px;
  margin-left: 6px;
  padding: 1px 2px;
  font-size: 10px;
  font-weight: 600;
}

.channel-textarea-autocomplete-inner .avatar-small[style*="a_"]+.discord-tag:after, .channel-textarea-autocomplete-inner .avatar-small[style*="a_"]+.username:after {
  content: ' ';
  position: absolute;
  background: url(https://canary.discordapp.com/assets/65f0a0df5563e21de7b1aeeafaf31d78.svg);
  background-size: 20px;
  width: 20px;
  height: 15px;
  margin-left: 5px;
}

.channel.channel-voice:not(.collapsed) .avatar-small[style*="a_"]+span:after {
  content: ' ';
  position: absolute;
  background: url(https://canary.discordapp.com/assets/65f0a0df5563e21de7b1aeeafaf31d78.svg);
  background-size: 20px;
  width: 20px;
  height: 15px;
  margin-top: 1.5px;
  margin-left: 5px;
}

.channel.channel-voice li.speaking .avatar-small[style*="a_"] {
  border-color: var(--accent);
}

/* === SQUARE LARGE AVATARS === */

.avatar-large {
  width: 70px;
  height: 70px;
  background-size: 70px 70px;
  border-radius: var(--profilepictureshape);
  box-shadow: 0 10px 20px rgba(0, 0, 0, 0.19), 0 6px 6px rgba(0, 0, 0, 0.23);
}

.avatar-large:hover {
  box-shadow: 0 1px 3px rgba(0, 0, 0, 0.12), 0 1px 2px rgba(0, 0, 0, 0.24);
  transition: all 0.3s cubic-bezier(.25, .8, .25, 1);
}

.avatar-small {
  width: 40px;
  height: 40px;
  background-size: 40px 40px;
  border-radius: var(--profilepictureshape);
  box-shadow: 0 10px 20px rgba(0, 0, 0, 0.19), 0 6px 6px rgba(0, 0, 0, 0.23);
}

/* === LIGHT THEME DISABLE === */

.app.theme-light {
  visibility: hidden;
  white-space: pre;
}

.app.theme-light:before {
  content: 'Woops! White Theme isnt supported.\A\APress [CTRL] + [,] to access your settings.';
  visibility: visible !important;
  color: #FFFFFF;
  text-transform: uppercase;
  font-size: 26pt;
  width: 100%;
  text-align: center;
  font-weight: bold;
  position: absolute;
  left: 50%;
  top: 50%;
  transform: translate(-50%, -50%);
}

license: MIT

repository: Oliyy/Material-Design-Discord

license_type: permissive

repo_name: Oliyy/Material-Design-Discord

branch_name: refs/heads/master

gha_license_id: MIT

gha_language: CSS

extension: css


text:
@inproceedings{Grossman:2010:TIC:1753326.1753552,
 acmid = {1753552},
 address = {New York, NY, USA},
 author = {Grossman, Tovi and Fitzmaurice, George},
 booktitle = {Proceedings of the SIGCHI Conference on Human Factors in Computing Systems},
 doi = {10.1145/1753326.1753552},
 isbn = {978-1-60558-929-9},
 keywords = {balloon help, help, learnability, toolclips, tooltips, understanding, video tool tips},
 location = {Atlanta, Georgia, USA},
 numpages = {10},
 pages = {1515--1524},
 publisher = {ACM},
 series = {CHI '10},
 title = {ToolClips: An Investigation of Contextual Video Assistance for Functionality Understanding},
 url = {http://doi.acm.org/10.1145/1753326.1753552},
 year = {2010}
}

repository: jmatejka/group-website

repo_name: jmatejka/group-website

extension: bib


text:
SUMMARY = "A small and simple INI-file parser module"

LICENSE = "MIT"
LIC_FILES_CHKSUM = "file://LICENSE;md5=a6bb0320b04a0a503f12f69fea479de9"

SRC_URI[sha256sum] = "e5f92f89355a67de0595932a6c6c02ab4afddc6fcdc0bfc5becd0d60884d3f69"

inherit pypi setuptools3

repository: ampere-openbmc/openbmc

repo_name: ampere-openbmc/openbmc

gha_license_id: NOASSERTION

extension: bb


text:
@article{Hautier2014,
author = {Hautier, Lionel and Charles, Cyril and Asher, Robert J. and Gaunt, Stephen J.},
doi = {10.1002/jez.b.22590},
issn = {15525007},
journal = {Journal of Experimental Zoology Part B: Molecular and Developmental Evolution},
month = {dec},
number = {8},
pages = {631--642},
publisher = {Wiley-Blackwell},
title = {{Ossification sequence and genetic patterning in the mouse axial skeleton}},
url = {http://doi.wiley.com/10.1002/jez.b.22590},
volume = {322},
year = {2014}
}

repository: morphomuseum/MorphoDig-User-Guide

repo_name: morphomuseum/MorphoDig-User-Guide


text:
# Distributed under the OSI-approved BSD 3-Clause License.  See accompanying
# file Copyright.txt or https://cmake.org/licensing for details.

#[=======================================================================[.rst:
FindosgSim
----------

This is part of the Findosg* suite used to find OpenSceneGraph
components.  Each component is separate and you must opt in to each
module.  You must also opt into OpenGL and OpenThreads (and Producer
if needed) as these modules won't do it for you.  This is to allow you
control over your own system piece by piece in case you need to opt
out of certain components or change the Find behavior for a particular
module (perhaps because the default FindOpenGL.cmake module doesn't
work with your system as an example).  If you want to use a more
convenient module that includes everything, use the
FindOpenSceneGraph.cmake instead of the Findosg*.cmake modules.

Locate osgSim This module defines

OSGSIM_FOUND - Was osgSim found? OSGSIM_INCLUDE_DIR - Where to find
the headers OSGSIM_LIBRARIES - The libraries to link for osgSim (use
this)

OSGSIM_LIBRARY - The osgSim library OSGSIM_LIBRARY_DEBUG - The osgSim
debug library

$OSGDIR is an environment variable that would correspond to the
./configure --prefix=$OSGDIR used in building osg.

Created by Eric Wing.
#]=======================================================================]

# Header files are presumed to be included like
# #include <osg/PositionAttitudeTransform>
# #include <osgSim/ImpostorSprite>

include(${CMAKE_CURRENT_LIST_DIR}/Findosg_functions.cmake)
OSG_FIND_PATH   (OSGSIM osgSim/ImpostorSprite)
OSG_FIND_LIBRARY(OSGSIM osgSim)

include(${CMAKE_CURRENT_LIST_DIR}/FindPackageHandleStandardArgs.cmake)
FIND_PACKAGE_HANDLE_STANDARD_ARGS(osgSim DEFAULT_MSG
    OSGSIM_LIBRARY OSGSIM_INCLUDE_DIR)

branch_name: refs/heads/main

extension: cmake


text:
@article{MultiviewXueTCYB2018,
 author = {Xue, Xiaowei and Nie, Feiping and Li, Zhihui and Wang, Sen and Li, Xue and Yao, Min},
 doi = {10.1109/TCYB.2017.2739423},
 journal = {IEEE Transactions on Cybernetics},
 month = {aug},
 number = {8},
 pages = {2416--2425},
 title = {A multiview learning framework with a linear computational cost},
 volume = {48},
 year = {2018}
}

repository: csenw/csenw-website

repo_name: csenw/csenw-website


text:
require ../../recipes-image/image/base-image.bb

SUMMARY = "Ref OS IOT  image for local builds with swupd disabled."
DESCRIPTION = "Ref OS IOT image with everything"

# REF OS IOT image features
REF_OS_IMAGE_PKG_FEATURES += " \
     x11-base \
     xfce-ui \
     dev-packages \
     opencv \
     opencl \
     realsense \
     realsense-dev \
     multimedia \
     iotivity \
     nodejs-runtime \
     alsa \
     pulseaudio \
     pulseaudio-bluetooth \
     sensors \
     text-utils \
     intel-xdk-support \
     tools-debug \
     tools-develop \
     tools-interactive \
     tools-networking \
     tools-archive \
     mraa-dev-support \
     python3-extra \
     linux-firmware \
     wifi-hotspot \
     java-jdk \
     machinelearning \
     ext2-tools \
     vulkan \
     wxpython \
"

IMAGE_FEATURES += " \
    ${REF_OS_IMAGE_PKG_FEATURES} \
"

IMAGE_INSTALL_append = "\
    ${MACHINE_EXTRA_RRECOMMENDS} \
    python3-modules \
    python-modules \
    python-mraa \
    python-upm \
"

LICENSE = "MIT"

REF_OS_ROOTFS_SIZE = "3700"

inherit refosiot-image

repository: intel/ref-os-iot

repo_name: intel/ref-os-iot


text:
require ti-cgt6x.inc

PE = "1"
PV = "6_1_13"
PVwithdots = "6.1.13"

SRC_URI[cgt6xbin.md5sum] = "3556466b571cf69630a55632d0436636"
SRC_URI[cgt6xbin.sha256sum] = "3c5d45254f99797419d5b3aeb165cf42ad6a1230cce6c8f95ddc3d124c084853"

repository: overo/overo-oe-natty

repo_name: overo/overo-oe-natty

branch_name: HEAD


text:
FILE(REMOVE_RECURSE
  "CMakeFiles/example_datasets_ir_affine.dir/samples/ir_affine.cpp.o"
  "../../bin/example_datasets_ir_affine.pdb"
  "../../bin/example_datasets_ir_affine"
)

# Per-language clean rules from dependency scanning.
FOREACH(lang CXX)
  INCLUDE(CMakeFiles/example_datasets_ir_affine.dir/cmake_clean_${lang}.cmake OPTIONAL)
ENDFOREACH(lang)


text:
@article{Neftci_etal12,
 author = {Neftci, E. and Toth, B. and Indiveri, G. and Abarbanel, H.},
 doi = {10.1162/NECO_a_00293},
 journal = {Neural Computation},
 keyword = {own},
 link = {http://ncs.ethz.ch/pubs/pdf/Neftci_etal12.pdf},
 month = {July},
 number = {7},
 pages = {1669--1694},
 title = {Dynamic State and Parameter Estimation applied to Neuromorphic Systems},
 volume = {24},
 year = {2012}
}

repository: eneftci/academic-kickstart

repo_name: eneftci/academic-kickstart


text:
file(REMOVE_RECURSE
  "CMakeFiles/ex22.dir/main.c.obj"
  "ex22.exe"
  "ex22.exe.manifest"
  "ex22.lib"
  "ex22.pdb"
)

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

repository: pemedeiros/Exercicios-em-C

repo_name: pemedeiros/Exercicios-em-C


text:
.post-item {
 margin-bottom: 0.5em;
}

.post-item-front {
  margin-bottom: 2.75rem;
}

.post-link {
  margin: 0;
  color: inherit;
  text-decoration: none;
  background-image: none;
}

.post-title {
  display: inline-block;
  color: #222;
}

.post-date{
  display: inline-block;
  color: #999;
  font-size: 0.85rem;
  margin-left: 1rem;
}

.post-page-title {
  margin-bottom: 0.6em;
}
.post-link-old {
  padding: 0.25em 0;
}

.post-link-old:hover {
  background-color: #efefef;
}

.post-page-date {
  display: inline-block;
  color: #999;
  font-size: 0.85rem;
  margin-bottom: 1.2em;
}

repository: patricksimpson/blog-gatsby

repo_name: patricksimpson/blog-gatsby


text:
@Misc{MOVE_LANG,
  author = {Sam Blackshear and Evan Cheng and David L. Dill and Victor Gao and
                  Ben Maurer and Todd Nowacki and Alistair Pott and Shaz Qadeer
                  and Rain and Dario Russi and Stephane Sezer and Tim Zakian and
                  Runtian Zho},
  title = {{Move: A Language With Programmable Resources}},
  institution = {},
  year = {2019},
  url = {https://developers.libra.org/docs/move-paper}
}

@InProceedings{MOVE_PROVER,
  author =	 "Zhong, Jingyi Emma and Cheang, Kevin and Qadeer, Shaz and
                  Grieskamp, Wolfgang and Blackshear, Sam and Park, Junkil and
                  Zohar, Yoni and Barrett, Clark and Dill, David L.",
  editor = "Lahiri, Shuvendu K.  and Wang, Chao",
  title = {{The Move Prover}},
  booktitle="Computer Aided Verification",
  year="2020",
  publisher="Springer International Publishing",
  pages="137--150",
}

@Misc{DIEM_FRAMEWORK,
  author = 	 {{The Diem Association}},
  title = 	 {{The Diem Framework}},
  year = 	 {2020},
  url = {https://github.com/libra/libra/tree/master/language/stdlib}
}

@Misc{DIEM,
  author = 	 {{The Diem Association}},
  title = 	 {{An Introduction to Diem}},
  url = {https://libra.org/en-US/white-paper/},
  year = 	 {2019},
}

@INPROCEEDINGS{LINEAR_TYPES,
    author = {Philip Wadler},
    title = {Linear Types Can Change the World!},
    booktitle = {PROGRAMMING CONCEPTS AND METHODS},
    year = {1990},
    publisher = {North}
}

@incollection{BORROW_SEM,
  author    = {Dave Clarke and
               Johan {\"{O}}stlund and
               Ilya Sergey and
               Tobias Wrigstad},
  editor    = {Dave Clarke and
               James Noble and
               Tobias Wrigstad},
  title     = {Ownership Types: {A} Survey},
  booktitle = {Aliasing in Object-Oriented Programming. Types, Analysis and Verification},
  series    = {Lecture Notes in Computer Science},
  volume    = {7850},
  pages     = {15--58},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36946-9\_3},
  doi       = {10.1007/978-3-642-36946-9\_3},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/series/lncs/ClarkeOSW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@Misc{BORROW_CHECKER,
  author = 	 {Sam Blackshear and Todd Nowacki and Shaz Qadeer and John Mitchell},
  title = 	 {The Move Borrow Checker},
  url = {TBD},
  year = 	 {2021},
}

@article{RUST_TYPES,
  author    = {Aaron Weiss and
               Daniel Patterson and
               Nicholas D. Matsakis and
               Amal Ahmed},
  title     = {Oxide: The Essence of Rust},
  journal   = {CoRR},
  volume    = {abs/1903.00982},
  year      = {2019},
  url       = {http://arxiv.org/abs/1903.00982},
  archivePrefix = {arXiv},
  eprint    = {1903.00982},
  timestamp = {Sat, 30 Mar 2019 19:27:21 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1903-00982.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{RUST_SECURE,
author = {Jung, Ralf and Jourdan, Jacques-Henri and Krebbers, Robbert and Dreyer, Derek},
title = {RustBelt: Securing the Foundations of the Rust Programming Language},
year = {2017},
issue_date = {January 2018},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
volume = {2},
number = {POPL},
url = {https://doi.org/10.1145/3158154},
doi = {10.1145/3158154},
journal = {Proc. ACM Program. Lang.},
month = dec,
articleno = {66},
numpages = {34},
keywords = {logical relations, separation logic, type systems, Rust, concurrency}
}

@article{DESIGN_BY_CONTRACT,
author = {Meyer, Bertrand},
title = {Applying "Design by Contract"},
year = {1992},
issue_date = {October 1992},
publisher = {IEEE Computer Society Press},
address = {Washington, DC, USA},
volume = {25},
number = {10},
issn = {0018-9162},
url = {https://doi.org/10.1109/2.161279},
doi = {10.1109/2.161279},
journal = {Computer},
month = oct,
pages = {40–51},
numpages = {12}
}

@Misc{MOVE_LANG_DEF,
  author = 	 {{The Move Team}},
  title = 	 {{The Move Language Definition}},
  year = 	 {2020},
  url = {TBD},
}

@Misc{MOVE_SPEC_LANG_DEF,
  author = 	 {{The Move Team}},
  title = 	 {{The Move Specification Language}},
  year = 	 {2020},
  url = {TBD},
}

@Misc{BOOGIE,
   author = {{The Boogie Team}},
   title = {{Boogie Intermediate Verification Language}},
   url = {https://github.com/boogie-org/boogie}
}

@Misc{Z3,
   author = {{The Z3 Team}},
   title = {{Z3 Prover}},
   url = {https://github.com/Z3Prover/z3}
}

@Misc{CVC,
   author = {{The CVC Team}},
   title = {{CVC5}},
   url = {https://github.com/cvc5/cvc5}
}

@Misc{RUST,
   author = {{Steve Klabnik and Carol Nichols}},
   title = {{The Rust Programming Language}},
   url = {https://doc.rust-lang.org/book/}
}

@InProceedings{BUTTERFLY,
author = {Leino, Rustan and Pit-Claudel, Clément},
title = {Trigger Selection Strategies to Stabilize Program Verifiers},
year = {2016},
month = {January},
abstract = {SMT-based program verifiers often suffer from the so-called butterfly effect, in which minor modifications to the program source cause significant instabilities in verification times, which in turn may lead to spurious verification failures and a degraded user experience. This paper identifies matching loops (ill-behaved quantifiers causing an SMT solver to repeatedly instantiate a small set of quantified formulas) as a significant contributor to these instabilities, and describes some techniques to detect and prevent them. At their core, the contributed techniques move the trigger selection logic away from the SMT solver and into the high-level verifier: this move allows authors of verifiers to annotate, rewrite, and analyze user-written quantifiers to improve the solver’s performance, using information that is easily available at the source level but would be hard to extract from the heavily encoded terms that the solver works with. The paper demonstrates three core techniques (quantifier splitting, trigger sharing, and matching loop detection) by extending the Dafny verifier with its own trigger selection routine, and demonstrates significant predictability and performance gains on both Dafny’s test suite and large verification efforts using Dafny.},
url = {https://www.microsoft.com/en-us/research/publication/trigger-selection-strategies-stabilize-program-verifiers/},
}

repository: darioncassel/libra

repo_name: darioncassel/libra

gha_language: Rust


text:
DESCRIPTION = "Collection of programs (written in C) to do interesting things with sound files."
LICENSE = "GPLv3"
SRC_URI = "git://github.com/libsndfile/sndfile-tools.git;protocol=http \
	"
SRCREV = "6bc73450de421739169642641ad1cc23b10dcf92"

DEPENDS = " cairo jack libsndfile1 libsamplerate0 fftwf"

FILES_${PN} = " \
	${bindir} \
	${libdir} \
	"

S = "${WORKDIR}/git/"
LIC_FILES_CHKSUM = "file://COPYING.GPLv3;md5=d32239bcb673463ab874e80d47fae504"

do_install_append() {
        # Conflicting file with libsamplerate0 package
	rm ${D}${bindir}/sndfile-resample
}

inherit autotools pkgconfig

gha_language: BitBake


text:
# Copyright (c) 2017 Atte Vuorinen <attevuorinen@gmail.com>
#
# This software is provided 'as-is', without any express or implied
# warranty. In no event will the authors be held liable for any damages
# arising from the use of this software.
#
# Permission is granted to anyone to use this software for any purpose,
# including commercial applications, and to alter it and redistribute it
# freely, subject to the following restrictions:
#
# 1. The origin of this software must not be misrepresented; you must not
#    claim that you wrote the original software. If you use this software
#    in a product, an acknowledgement in the product documentation would be
#    appreciated but is not required.
# 2. Altered source versions must be plainly marked as such, and must not be
#    misrepresented as being the original software.
# 3. This notice may not be removed or altered from any source distribution.

# Variables:
# INCLUDES
# SOURCES
# LIBS
# DEFINES
# DEFINES_PRIVATE
# ARGS

if(NOT PB_ROOT)
	set(PB_ROOT ${CMAKE_CURRENT_LIST_DIR})
endif()

include("${PB_ROOT}/Platforms/PB_Platforms.cmake")

# Values

if(PB_RECURSION)
	set(PB_RECURSION TRUE CACHE BOOL "Sub Project" )
else()
	set(PB_MAIN TRUE CACHE BOOL "Main Project" )
endif()

# Config

set(PB_FLAGS CACHE STRING "General flags")
set(PB_CXX_FLAGS CACHE STRING "C++ Compiler Flags")
set(PB_C_FLAGS CACHE STRING "C Compiler Flags")

set(PB-CONFIG_FORCE_PROJECT FALSE CACHE BOOL "Use root project ()" )

set(PB-CONFIG_RELEASE FALSE CACHE BOOL "Release")
set(PB-CONFIG_TOOLCHAIN "${CMAKE_TOOLCHAIN_FILE}" CACHE FILEPATH "SubProject toolchain" )
set(PB-CONFIG_GENERATOR "Unix Makefiles" CACHE STRING "SubProject generator")

# Macros

#macro(BuildPrint target timing color msg)
#		add_custom_command(TARGET ${target} ${timing}
#			COMMAND ${CMAKE_COMMAND} -E cmake_echo_color --${color} "${msg}")
#endmacro(BuildPrint target timing color msg)

# BuildIgnore
macro(BuildIgnore)
	return()
endmacro(BuildIgnore)

macro(BuildDummy dummies)

	foreach(dummy ${dummies})
		add_custom_target(${dummy})
		list(APPEND PB_DUMMY_LIBS ${dummy})
	endforeach()

	list(REMOVE_DUPLICATES PB_DUMMY_LIBS)
	set(PB_DUMMY_LIBS ${PB_DUMMY_LIBS} CACHE INTERNAL "")

endmacro(BuildDummy dummies)

# BuildBegin
# Setups Build environment
# Only call this on ROOT CMakeLists.txt file.
macro(BuildBegin)

	# TODO Add Root check. (just in case)

		if(PB_RECURSION)

			# Back to "root"
			get_filename_component(PARENT_DIR ${PROJECT_BINARY_DIR} DIRECTORY)
			get_filename_component(BUILD_DIR ${PARENT_DIR} DIRECTORY)
			message(STATUS ${BUILD_DIR})

			set(CMAKE_ARCHIVE_OUTPUT_DIRECTORY ${PROJECT_BINARY_DIR}/lib)
			set(CMAKE_LIBRARY_OUTPUT_DIRECTORY ${PROJECT_BINARY_DIR}/lib)
			set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${PROJECT_BINARY_DIR}/bin)

			# Strips Debug information from the release binaries.
			if(PB-CONFIG_RELEASE)
				set(CMAKE_C_FLAGS_RELEASE "${CMAKE_C_FLAGS_RELEASE} -s")
				set(CMAKE_CXX_FLAGS_RELEASE "${CMAKE_CXX_FLAGS_RELEASE} -s")
			endif()

			# Set Recursion flags
			set(CMAKE_C_FLAGS "${PB_C_FLAGS}")
			set(CMAKE_CXX_FLAGS "${PB_CXX_FLAGS}")

			set(CMAKE_C_FLAGS_RELEASE "${PB_C_FLAGS}")
			set(CMAKE_CXX_FLAGS_RELEASE "${PB_CXX_FLAGS}")

			set(CMAKE_C_FLAGS_DEBUG "${PB_C_FLAGS}")
			set(CMAKE_CXX_FLAGS_DEBUG "${PB_CXX_FLAGS}")

		elseif(PB_MAIN)

			set(BUILD_DIR ${PROJECT_BINARY_DIR})
			add_custom_target(PSetup)
			add_custom_target(PBuild)
			add_custom_target(PRun)

			if(PB_CXX_FLAGS)
				list(APPEND PB_FLAGS "-DPB_CXX_FLAGS=${PB_CXX_FLAGS}")
			endif()

			if(PB_C_FLAGS)
				list(APPEND PB_FLAGS "-DPB_C_FLAGS=${PB_C_FLAGS}")
			endif()

			BuildProject()

			add_dependencies(PRun PBuild)

			add_library(PBuildHook SHARED)
			message(STATUS "PB INFO: Don't bother about above warning about PBuildHook, that is intended dirty hack for Make dependencies.")
			set_target_properties(PBuildHook PROPERTIES LINKER_LANGUAGE CXX)
			add_dependencies(PBuildHook PBuild)

			set_property(TARGET PSetup PBuild PRun PBuildHook PROPERTY FOLDER ProjectBuild)

		endif()

endmacro(BuildBegin)

license: Zlib

repository: avuorinen/CMakeProjectBuild

repo_name: avuorinen/CMakeProjectBuild


text:
div {
	box-sizing: border-box;
}
img {
	height: auto;
}

@media (min-width: 320px) {
	.wrapper {
		width: 100vw;
		padding: 15px;
		color: yellow;
		font-size: 14px;
	}
	img {
		width: 100%;
	}
}
@media (min-width: 768px) {
	.wrapper {
		width: 750px;
		color: #000;
		font-size: 16px;
	}
	img {
		width: 49%;
	}
}
@media (min-width: 992px) {
	.wrapper {
		width: 970px;
		color: #800080;
		font-size: 14px;
	}
	img {
		width: 25%;
	}
}
@media (min-width: 1200px) {
	.wrapper {
		width: 1170px;
		color: green;
		font-size: 16px;
	}
}
@media (min-width: 1600px) {
	.wrapper {
		width: 1600px;
		color: red;
		font-size: 20px;
	}
	img {
		width: 24%;
	}
}


text:
@misc{ wiki:Smooth_Function,
   author = "Wikipedia",
   title = "Smooth Function --- {W}ikipedia{,} The Free Encyclopedia",
   year = "2012",
   url = "http://en.wikipedia.org/wiki/Smooth_function",
   note = "[Online; accessed 15-April-2012]"
 }

repository: HarvardAgileRoboticsLab/drake

repo_name: HarvardAgileRoboticsLab/drake


text:
DESCRIPTION = "Screen is a full-screen window manager \
that multiplexes a physical terminal between several \
processes, typically interactive shells."
LICENSE = "GPL"
SECTION = "console/utils"
DEPENDS = "ncurses"

inherit autotools debian-vampyre

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

EXTRA_OECONF = "--with-pty-mode=0620 --with-pty-group=5"

repository: Terentyev/familiar-linux

repo_name: Terentyev/familiar-linux


text:
@article{Kapitanyuk2014GeometricSets,
    title = {{Geometric path following control of a rigid body based on the stabilization of sets}},
    year = {2014},
    journal = {IFAC Proceedings Volumes},
    author = {Kapitanyuk, Yuri A and Chepinskiy, Sergey A and Kapitonov, Aleksandr A},
    number = {3},
    pages = {7342--7347},
    volume = {47},
    publisher = {Elsevier}
}

@inproceedings{Aranovskiy2014RobustProcessing,
    title = {{Robust control of rapid thermal processes applied to vapor deposition processing}},
    year = {2014},
    booktitle = {Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), 2014 6th International Congress on},
    author = {Aranovskiy, Stanislav and Kapitonov, Aleksandr and Bobtsov, Alexey and Pyrkin, Anton and Zavarin, Evgeny and Davydov, Denis and Ortega, Romeo},
    pages = {578--583}
}

@article{Bobtsov2011UsingTheory,
    title = {{Using of lego mindstorms nxt technology for teaching of basics of adaptive control theory}},
    year = {2011},
    journal = {IFAC Proceedings Volumes},
    author = {Bobtsov, Alexey A and Pyrkin, Anton A and Kolyubin, Sergey A and Shavetov, Sergey V and Chepinskiy, Sergey A and Kapitanyuk, Yuriy A and Kapitonov, Alexander A and Bardov, Vladimir M and Titov, Anton V and Surov, Maxim O},
    number = {1},
    pages = {9818--9823},
    volume = {44},
    publisher = {Elsevier}
}

@article{Bobtsov2010ControlUnaccounted-dynamics,
    title = {{Control over the output of nonlinear systems with unaccounted-dynamics}},
    year = {2010},
    journal = {Automation and Remote Control},
    author = {Bobtsov, Alexey Alekseevich and Kapitonov, A A and Nikolaev, Nikolai Anatol'evich},
    number = {12},
    pages = {2497--2504},
    volume = {71},
    publisher = {SP MAIK Nauka/Interperiodica}
}

@article{Kapitonov2014CourseNxt,
    title = {{Course of lab activities on control theory based on the lego nxt}},
    year = {2014},
    journal = {IFAC Proceedings Volumes},
    author = {Kapitonov, Alexander A and Bobtsov, Alexey A and Kapitanyuk, Yuri A and Sysolyatin, Dmitry S and Antonov, Evgeniy S and Pyrkin, Anton A and Chepinskiy, Sergey A},
    number = {3},
    pages = {9063--9068},
    volume = {47},
    publisher = {Elsevier}
}

@inproceedings{Dobriborsci2017ApplicationTheory,
    title = {{Application of the Stewart platform for studying in control theory}},
    year = {2017},
    booktitle = {Information and Digital Technologies (IDT), 2017 International Conference on},
    author = {Dobriborsci, Dmitrii and Kapitonov, Aleksandr and Nikolaev, Nikolay},
    pages = {95--99}
}

@inproceedings{Dobriborsci2017TheRobots,
    title = {{The basics of the identification, localization and navigation for mobile robots}},
    year = {2017},
    booktitle = {Information and Digital Technologies (IDT), 2017 International Conference on},
    author = {Dobriborsci, Dmitrii and Kapitonov, Aleksandr and Nikolaev, Nikolay},
    pages = {100--105}
}

@inproceedings{Kapitonov2017Blockchain-basedUAVs,
    title = {{Blockchain-based protocol of autonomous business activity for multi-agent systems consisting of UAVs}},
    year = {2017},
    booktitle = {Research, Education and Development of Unmanned Aerial Systems (RED-UAS), 2017 Workshop on},
    author = {Kapitonov, Aleksandr and Lonshakov, Sergey and Krupenkin, Aleksandr and Berman, Ivan},
    pages = {84--89}
}

@inproceedings{Ali2016Blockstack:Blockchains,
    title = {{Blockstack: A global naming and storage system secured by blockchains}},
    year = {2016},
    booktitle = {2016 USENIX Annual Technical Conference (USENIX ATC 16)},
    author = {Ali, Muneeb and Nelson, Jude and Shea, Ryan and Freedman, Michael J},
    pages = {181--194}
}

@phdthesis{Barnas2016BlockchainsWorld.,
    title = {{Blockchains in national defence: trustworthy systems in a trustless world.}},
    year = {2016},
    author = {Barnas, Neil B},
    school = {AIR UNIVERSITY}
}

@article{Nugent2016ImprovingContracts,
    title = {{Improving data transparency in clinical trials using blockchain smart contracts}},
    year = {2016},
    journal = {F1000Research},
    author = {Nugent, Timothy and Upton, David and Cimpoesu, Mihai},
    number = {2541},
    volume = {5}
}

@inproceedings{DeGennaro2006DecentralizedSystems,
    title = {{Decentralized control of connectivity for multi-agent systems}},
    year = {2006},
    booktitle = {Decision and Control, 2006 45th IEEE Conference on},
    author = {De Gennaro, Maria Carmela and Jadbabaie, Ali},
    pages = {3628--3633}
}

@incollection{Peters2016UnderstandingMoney,
    title = {{Understanding Modern Banking Ledgers through Blockchain Technologies: Future of Transaction Processing and Smart Contracts on the Internet of Money}},
    year = {2016},
    booktitle = {Banking Beyond Banks and Money},
    author = {Peters, Gareth W and Panayi, Efstathios},
    pages = {239--278},
    publisher = {Springer}
}

@incollection{Pitt2000CommunicationArchitecture,
    title = {{Communication protocols in multi-agent systems: a development method and reference architecture}},
    year = {2000},
    booktitle = {Issues in agent communication},
    author = {Pitt, Jeremy and Mamdani, Abe},
    pages = {160--177},
    publisher = {Springer}
}

@book{Swan2015Blockchain:Economy,
    title = {{Blockchain: Blueprint for a new economy}},
    year = {2015},
    author = {Swan, Melanie},
    publisher = {O'Reilly Media, Inc.}
}

@article{Wood2014Ethereum:Ledger,
    title = {{Ethereum: A secure decentralised generalised transaction ledger}},
    year = {2014},
    journal = {Ethereum Project Yellow Paper},
    author = {Wood, Gavin},
    volume = {151}
}

@inproceedings{Xu2016TheConnector,
    title = {{The blockchain as a software connector}},
    year = {2016},
    booktitle = {Software Architecture (WICSA), 2016 13th Working IEEE/IFIP Conference on},
    author = {Xu, Xiwei and Pautasso, Cesare and Zhu, Liming and Gramoli, Vincent and Ponomarev, Alexander and Tran, An Binh and Chen, Shiping},
    pages = {182--191}
}

@article{Lee2015ASystems,
    title = {{A cyber-physical systems architecture for industry 4.0-based manufacturing systems}},
    year = {2015},
    journal = {Manufacturing Letters},
    author = {Lee, Jay and Bagheri, Behrad and Kao, Hung-An},
    pages = {18--23},
    volume = {3},
    publisher = {Elsevier}
}

@article{Wang2016TowardsCoordination,
    title = {{Towards smart factory for Industry 4.0: A self-organized multi-agent system with big data based feedback and coordination}},
    year = {2016},
    journal = {Computer Networks},
    author = {Wang, Shiyong and Wan, Jiafu and Zhang, Daqiang and Li, Di and Zhang, Chunhua},
    pages = {158--168},
    volume = {101},
    publisher = {Elsevier}
}

@article{Farahani2014CompetitiveApplications,
    title = {{Competitive supply chain network design: An overview of classifications, models, solution techniques and applications}},
    year = {2014},
    journal = {Omega},
    author = {Farahani, Reza Zanjirani and Rezapour, Shabnam and Drezner, Tammy and Fallah, Samira},
    pages = {92--118},
    volume = {45},
    publisher = {Elsevier}
}

@article{Freeman2015WhoWorld,
    title = {{Who owns the robots rules the world}},
    year = {2015},
    journal = {IZA World of Labor},
    author = {Freeman, Richard B}
}

@article{Coria2014IntelligentSystems,
    title = {{Intelligent business processes composition based on multi-agent systems}},
    year = {2014},
    journal = {Expert Systems with Applications},
    author = {Coria, José A Garc\'\ia and Castellanos-Garz{\'{o}}n, José A and Corchado, Juan M},
    number = {4},
    pages = {1189--1205},
    volume = {41},
    publisher = {Elsevier}
}

@article{Montgomery2015EmergingLike,
    title = {{Emerging tech will drive next generation of supply chain success: with robots, drones and holographic glasses now commercially available, what will the next generation of the logistics workforce look like?}},
    year = {2015},
    journal = {Supplychainbrain},
    author = {Montgomery, Kristi}
}

@article{Boyson2014CyberSystems,
    title = {{Cyber supply chain risk management: Revolutionizing the strategic control of critical IT systems}},
    year = {2014},
    journal = {Technovation},
    author = {Boyson, Sandor},
    number = {7},
    pages = {342--353},
    volume = {34},
    publisher = {Elsevier}
}

@book{Monczka2015PurchasingManagement,
    title = {{Purchasing and supply chain management}},
    year = {2015},
    author = {Monczka, Robert M and Handfield, Robert B and Giunipero, Larry C and Patterson, James L},
    publisher = {Cengage Learning}
}

@article{Schmitt2015CentralizationDisruptions,
    title = {{Centralization versus decentralization: risk pooling, risk diversification, and supply chain disruptions}},
    year = {2015},
    journal = {Omega},
    author = {Schmitt, Amanda J and Sun, Siyuan Anthony and Snyder, Lawrence V and Shen, Zuo-Jun Max},
    pages = {201--212},
    volume = {52},
    publisher = {Elsevier}
}

@inproceedings{Norta2015CreationOrganizations,
    title = {{Creation of smart-contracting collaborations for decentralized autonomous organizations}},
    year = {2015},
    booktitle = {International Conference on Business Informatics Research},
    author = {Norta, Alex},
    pages = {3--17}
}

@article{Floridi2017RobotsResponsibilities,
    title = {{Robots, Jobs, Taxes, and Responsibilities}},
    year = {2017},
    journal = {Philosophy {\&} Technology},
    author = {Floridi, Luciano},
    number = {1},
    pages = {1--4},
    volume = {30},
    publisher = {Springer}
}

@inproceedings{Karame2016OnBlockchain,
    title = {{On the Security and Scalability of Bitcoin's Blockchain}},
    year = {2016},
    booktitle = {Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security},
    author = {Karame, Ghassan},
    pages = {1861--1862}
}

@inproceedings{Swan2015BlockchainOrganization,
    title = {{Blockchain thinking: The brain as a dac (decentralized autonomous organization)}},
    year = {2015},
    booktitle = {Texas Bitcoin Conference},
    author = {Swan, Melanie},
    pages = {27--29}
}

@misc{Buterin2014AnFutarchy,
    title = {{An Introduction to Futarchy}},
    year = {2014},
    booktitle = {Ethereum Blog},
    author = {Buterin, Vitalik},
    url = {https://blog.ethereum.org/2014/08/21/introduction-futarchy/}
}

@misc{AIRAProject,
    title = {{AIRA - Autonomous intelligent robot agent project}},
    url = {http://aira.life/}
}

@misc{Lonshakov2015DronePlatform.,
    title = {{Drone employee: an example of realizing the Internet of things on the Ethereum network platform.}},
    year = {2015},
    booktitle = {EnsRationis.com},
    author = {Lonshakov, Sergey},
    url = {http://ensrationis.com/drone-employee-iot-ethereum/}
}

@misc{Lonshakov2016DroneStreaming,
    title = {{Drone Employee video streaming}},
    year = {2016},
    booktitle = {EnsRationis.com},
    author = {Lonshakov, Sergey},
    url = {http://ensrationis.com/drone-employee-video-streaming/}
}

@misc{DroneDrones,
    title = {{Drone Employee: we help businesses hire drones}},
    url = {http://drone-employee.com/}
}

@misc{Buterin2015LightStake,
    title = {{Light Clients and Proof of Stake}},
    year = {2015},
    booktitle = {Ethereum Blog},
    author = {Buterin, Vitalik},
    url = {https://blog.ethereum.org/2015/01/10/light-clients-proof-stake/}
}

@inproceedings{Lee2008CyberChallenges,
    title = {{Cyber physical systems: Design challenges}},
    year = {2008},
    booktitle = {Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on},
    author = {Lee, Edward A},
    pages = {363--369}
}

@inproceedings{Muller2014ApplicationSurvey,
    title = {{Application impact of multi-agent systems and technologies: a survey}},
    year = {2014},
    booktitle = {Agent-oriented software engineering},
    author = {M{\"{u}}ller, Jörg P and Fischer, Klaus},
    pages = {27--53}
}

@article{Yang2013DevelopmentBehaviors,
    title = {{Development of multi-agent system for building energy and comfort management based on occupant behaviors}},
    year = {2013},
    journal = {Energy and Buildings},
    author = {Yang, Rui and Wang, Lingfeng},
    pages = {1--7},
    volume = {56},
    publisher = {Elsevier}
}

@article{Bielskis2015ModellingDisabilities,
    title = {{Modelling of intelligent multi-agent based e-health care system for people with movement disabilities}},
    year = {2015},
    journal = {Elektronika ir elektrotechnika},
    author = {Bielskis, A A and Denisovas, V and Drungilas, D and Gricius, G and Rama{\v{s}}auskas, O},
    number = {6},
    pages = {37--42},
    volume = {86}
}

@inproceedings{Gioioso2014TheTele-manipulation,
    title = {{The flying hand: A formation of UAVs for cooperative aerial tele-manipulation}},
    year = {2014},
    booktitle = {Robotics and Automation (ICRA), 2014 IEEE International Conference on},
    author = {Gioioso, Guido and Franchi, Antonio and Salvietti, Gionata and Scheggi, Stefano and Prattichizzo, Domenico},
    pages = {4335--4341}
}

@misc{Garcia-Banuelos2016OptimizedBlockchain,
    title = {{Optimized Execution of Business Processes on Blockchain}},
    year = {2016},
    booktitle = {CoRR},
    author = {Garc{\textbackslash}'{\{}{\textbackslash}i{\}}a-Ba{\~{n}}uelos, Luciano and Ponomarev, Alexander and Dumas, Marlon and Weber, Ingo},
    volume = {abs/1612.03152},
    url = {http://arxiv.org/abs/1612.03152}
}

@article{Lin2017AChallenges.,
    title = {{A Survey of Blockchain Security Issues and Challenges.}},
    year = {2017},
    journal = {IJ Network Security},
    author = {Lin, Iuon-Chang and Liao, Tzu-Chun},
    number = {5},
    pages = {653--659},
    volume = {19}
}

@misc{Ferrer2016TheSystems,
    title = {{The blockchain: a new framework for robotic swarm systems}},
    year = {2016},
    booktitle = {CoRR},
    author = {Ferrer, Eduardo Castelló},
    volume = {abs/1608.00695},
    url = {http://arxiv.org/abs/1608.00695}
}

@inproceedings{Frantz2016FromContracts,
    title = {{From institutions to code: Towards automated generation of smart contracts}},
    year = {2016},
    booktitle = {Foundations and Applications of Self* Systems, IEEE International Workshops on},
    author = {Frantz, Christopher K and Nowostawski, Mariusz},
    pages = {210--215}
}

@article{Bijani2014ASystems,
    title = {{A review of attacks and security approaches in open multi-agent systems}},
    year = {2014},
    journal = {Artificial Intelligence Review},
    author = {Bijani, Shahriar and Robertson, David},
    number = {4},
    pages = {607--636},
    volume = {42},
    publisher = {Springer}
}

@inproceedings{Weber2016UntrustedBlockchain,
    title = {{Untrusted business process monitoring and execution using blockchain}},
    year = {2016},
    booktitle = {International Conference on Business Process Management},
    author = {Weber, Ingo and Xu, Xiwei and Riveret, Régis and Governatori, Guido and Ponomarev, Alexander and Mendling, Jan},
    pages = {329--347}
}

@misc{AIRAExperiments,
    title = {{AIRA - Factory of experiments}},
    url = {http://aira.life/cases/}
}

@misc{AiralabService,
    title = {{Airalab - Duckietown taxi service}},
    url = {https://blog.aira.life/duckietown-taxi-service-db192f4ff6cc}
}

@article{Buterin2014EthereumPlatform,
    title = {{Ethereum White Paper: A Next Generation Smart Contract {\&} Decentralized Application Platform}},
    year = {2014},
    journal = {Etherum},
    author = {{Buterin Vitalik}},
    isbn = {4082821600}
}

@article{Wood2014Ethereum:Ledgerb,
    title = {{Ethereum: a secure decentralised generalised transaction ledger}},
    year = {2014},
    journal = {Ethereum Project Yellow Paper},
    author = {Wood, Gavin},
    isbn = {9788578110796},
    doi = {10.1017/CBO9781107415324.004},
    issn = {1098-6596},
    pmid = {25246403},
    arxivId = {arXiv:1011.1669v3}
}

@article{Pedersen2016RobotDeployment,
    title = {{Robot skills for manufacturing: From concept to industrial deployment}},
    year = {2016},
    journal = {Robotics and Computer-Integrated Manufacturing},
    author = {Pedersen, Mikkel Rath and Nalpantidis, Lazaros and Andersen, Rasmus Skovgaard and Schou, Casper and B{\o}gh, Simon and Kr{\"{u}}ger, Volker and Madsen, Ole},
    isbn = {0736-5845},
    doi = {10.1016/j.rcim.2015.04.002},
    issn = {07365845},
    keywords = {Automated production, Human-Robot interaction, Industrial robots, Mass customization, Robot skills}
}

@inproceedings{Stock2016Opportunities4.0,
    title = {{Opportunities of Sustainable Manufacturing in Industry 4.0}},
    year = {2016},
    booktitle = {Procedia CIRP},
    author = {Stock, T. and Seliger, G.},
    isbn = {22128271 (ISSN)},
    doi = {10.1016/j.procir.2016.01.129},
    issn = {22128271},
    keywords = {Factory, Industry 4.0, Sustainable development}
}

@inproceedings{Zhilenkov2017AssessmentObjects,
    title = {{Assessment of destabilizing factor for automatic control systems in propulsion systems of mechatronic and maritime transport objects}},
    year = {2017},
    booktitle = {IOP Conference Series: Earth and Environmental Science},
    author = {Zhilenkov, A.A. and Kapitonov, A.A.},
    number = {8},
    volume = {87},
    doi = {10.1088/1755-1315/87/8/082059},
    issn = {17551315}
}

@inproceedings{Zhilenkov2017TheData,
    title = {{The Synthesis of Precise Rotating Machine Mathematical Model, Operating Natural Signals and Virtual Data}},
    year = {2017},
    booktitle = {IOP Conference Series: Materials Science and Engineering},
    author = {Zhilenkov, A.A. and Kapitonov, A.A.},
    number = {1},
    volume = {221},
    doi = {10.1088/1755-1315/221/1/012003},
    issn = {1757899X}
}

@inproceedings{Dobriborsci2017ApplicationTheoryb,
    title = {{Application of the Stewart platform for studying in control theory}},
    year = {2017},
    booktitle = {Proceedings of the International Conference on Information and Digital Technologies, IDT 2017},
    author = {Dobriborsci, D. and Kapitonov, A. and Nikolaev, N.},
    number = {},
    volume = {},
    isbn = {9781509056880},
    doi = {10.1109/DT.2017.8024278}
}

@inproceedings{Kapitanyuk2014GeometricSetsb,
    title = {{Geometric path following control of a rigid body based on the stabilization of sets}},
    year = {2014},
    booktitle = {IFAC Proceedings Volumes (IFAC-PapersOnline)},
    author = {Kapitanyuk, Y.A. and Chepinskiy, S.A. and Kapitonov, A.A.},
    number = {},
    volume = {19},
    isbn = {9783902823625},
    issn = {14746670},
    keywords = {Coordinates transformation, Nonlinear systems, Path following, Rigid body, Set stabilisation}
}

@inproceedings{Dobriborsci2017TheRobotsb,
    title = {{The basics of the identification, localization and navigation for mobile robots}},
    year = {2017},
    booktitle = {Proceedings of the International Conference on Information and Digital Technologies, IDT 2017},
    author = {Dobriborsci, D. and Kapitonov, A. and Nikolaev, N.},
    number = {},
    volume = {},
    isbn = {9781509056880},
    doi = {10.1109/DT.2017.8024279}
}

@inproceedings{Bobtsov2014OutputDynamics,
    title = {{Output control of nonlinear systems with unmodelled dynamics}},
    year = {2014},
    booktitle = {IFAC Proceedings Volumes (IFAC-PapersOnline)},
    author = {Bobtsov, A.A. and Kolyubin, S.A. and Pyrkin, A.A. and Kapitonov, A.A. and Nikolaev, N.A.},
    number = {},
    volume = {19},
    isbn = {9783902823625},
    issn = {14746670},
    keywords = {Control laws, Feedback control, Nonlinear systems, Singular perturbations, Stability}
}

@inproceedings{Aranovskiy2015RobustProcessing,
    title = {{Robust control of rapid thermal processes applied to vapor deposition processing}},
    year = {2015},
    booktitle = {International Congress on Ultra Modern Telecommunications and Control Systems and Workshops},
    author = {Aranovskiy, S. and Kapitonov, A. and Bobtsov, A. and Pyrkin, A. and Zavarin, E. and Davydov, D. and Ortega, R.},
    number = {January},
    volume = {2015-Janua},
    doi = {10.1109/ICUMT.2014.7002165},
    issn = {2157023X}
}

@inproceedings{Kapitonov2014CourseNXTb,
    title = {{Course of lab activities on control theory based on the Lego NXT}},
    year = {2014},
    booktitle = {IFAC Proceedings Volumes (IFAC-PapersOnline)},
    author = {Kapitonov, A.A. and Bobtsov, A.A. and Kapitanyuk, Y.A. and Sysolyatin, D.S. and Antonov, E.S. and Pyrkin, A.A. and Chepinskiy, S.A.},
    number = {},
    volume = {19},
    isbn = {9783902823625},
    issn = {14746670},
    keywords = {Ackermann's formula, LEGO mindstorms NXT, Mobile robots, Modal control, Ziegler-Nichols' ultimate gain method}
}

@inproceedings{Pyrkin2011OutputDisturbance,
    title = {{Output control approach "consecutive compensator" providing exponential and L<inf>∞</inf>-stability for nonlinear systems with delay and disturbance}},
    year = {2011},
    booktitle = {Proceedings of the IEEE International Conference on Control Applications},
    author = {Pyrkin, A.A. and Bobtsov, A.A. and Kolyubin, S.A. and Faronov, M.V. and Shavetov, S.V. and Kapitanyuk, Y.A. and Kapitonov, A.A.},
    number = {},
    volume = {},
    isbn = {9781457710629},
    doi = {10.1109/CCA.2011.6044373}
}

@inproceedings{Bobtsov2011UsingTheoryb,
    title = {{Using of LEGO Mindstorms NXT Technology for teaching of basics of adaptive control theory}},
    year = {2011},
    booktitle = {IFAC Proceedings Volumes (IFAC-PapersOnline)},
    author = {Bobtsov, A.A. and Pyrkin, A.A. and Kolyubin, S.A. and Shavetov, S.V. and Chepinskiy, S.A. and Kapitanyuk, Y.A. and Kapitonov, A.A. and Bardov, V.M. and Titov, A.V. and Surov, M.O.},
    number = {PART 1},
    volume = {18},
    isbn = {9783902661937},
    doi = {10.3182/20110828-6-IT-1002.02364},
    issn = {14746670},
    keywords = {Adaptive and robust control, Cognitive aspects of automation systems and humans, Lego Mindstorm NXT, Management of competences and knowledge, Mobile robots, Teaching curricula developments for control and ot}
}

@inproceedings{Bobtsov2012LegoField,
    title = {{Lego Mindstorms NXT for students' research projects in control field}},
    year = {2012},
    booktitle = {IFAC Proceedings Volumes (IFAC-PapersOnline)},
    author = {Bobtsov, A.A. and Pyrkin, A.A. and Kolyubin, S.A. and Kapitonov, A.A. and Feskov, A.D. and Vlasov, S.M. and Krasnov, A.Y. and Khovanskiy, A.V. and Shavetov, S.V.},
    number = {PART 1},
    volume = {9},
    isbn = {9783902823014},
    doi = {10.3182/20120619-3-RU-2024.00051},
    issn = {14746670},
    keywords = {Adaptive control, Control education, Lego Mindstorm NXT, Management of competences and knowledge, Mobile robots, Teaching curricula development}
}

@article{Kang2016SmartDirections,
    title = {{Smart manufacturing: Past research, present findings, and future directions}},
    year = {2016},
    journal = {International Journal of Precision Engineering and Manufacturing - Green Technology},
    author = {Kang, Hyoung Seok and Lee, Ju Yeon and Choi, Sangsu and Kim, Hyun and Park, Jun Hee and Son, Ji Yeon and Kim, Bo Hyun and Noh, Sang Do},
    isbn = {2288-6206},
    doi = {10.1007/s40684-016-0015-5},
    issn = {21980810},
    keywords = {Big Data, Cyber-Physical System, Industry 4.0, Internet of Things, Smart Factory, Smart Manufacturing}
}

@article{Jazdi2014Cyber4.0,
    title = {{Cyber physical systems in the context of Industry 4.0}},
    year = {2014},
    journal = {2014 IEEE Automation, Quality and Testing, Robotics},
    author = {Jazdi, N},
    isbn = {978-1-4799-3732-5},
    doi = {10.1109/AQTR.2014.6857843},
    issn = {1844-7872},
    keywords = {CPS, Cloud Technology, Industry 4.0, Internet of Things}
}

@inproceedings{Monostori2014Cyber-physicalChallenges,
    title = {{Cyber-physical production systems: Roots, expectations and R{\&}D challenges}},
    year = {2014},
    booktitle = {Procedia CIRP},
    author = {Monostori, László},
    isbn = {2212-8271},
    doi = {10.1016/j.procir.2014.03.115},
    issn = {22128271},
    keywords = {Cyber-physical systems, Distributed systems, Manufacturing systems}
}

@book{Leitao2015IndustrialIndustry,
    title = {{Industrial Agents: Emerging Applications of Software Agents in Industry}},
    year = {2015},
    booktitle = {Industrial Agents: Emerging Applications of Software Agents in Industry},
    author = {Leit{\~{a}}o, Paulo and Karnouskos, Stamatis},
    isbn = {9780128004111},
    doi = {10.1016/C2013-0-15269-5}
}

@article{Pedersen2016RobotDeploymentb,
    title = {{Robot skills for manufacturing: From concept to industrial deployment}},
    year = {2016},
    journal = {Robotics and Computer-Integrated Manufacturing},
    author = {Pedersen, Mikkel Rath and Nalpantidis, Lazaros and Andersen, Rasmus Skovgaard and Schou, Casper and B{\o}gh, Simon and Kr{\"{u}}ger, Volker and Madsen, Ole},
    isbn = {0736-5845},
    doi = {10.1016/j.rcim.2015.04.002},
    issn = {07365845},
    keywords = {Automated production, Human-Robot interaction, Industrial robots, Mass customization, Robot skills}
}

@inproceedings{Stock2016Opportunities4.0b,
    title = {{Opportunities of Sustainable Manufacturing in Industry 4.0}},
    year = {2016},
    booktitle = {Procedia CIRP},
    author = {Stock, T. and Seliger, G.},
    isbn = {22128271 (ISSN)},
    doi = {10.1016/j.procir.2016.01.129},
    issn = {22128271},
    keywords = {Factory, Industry 4.0, Sustainable development}
}

@misc{2018RobotRobotics.,
    title = {{Robot density rises globally - International Federation of Robotics.}},
    year = {2018},
    booktitle = {International Federation of Robotics},
    url = {https://ifr.org/ifr-press-releases/news/robot-density-rises-globally}
}

@misc{2018EnterFactories,
    title = {{Enter the robots: automation fills gaps in east Europe's factories}},
    year = {2018},
    booktitle = {Business {\&} Financial News, U.S {\&} International Breaking News | Reuters},
    url = {https://www.reuters.com/article/us-easteurope-automation-insight/enter-the-robots-automation-fills-gaps-in-east-europes-factories-idUSKBN1FR1ZK}
}

@article{Kang2016SmartDirectionsb,
    title = {{Smart manufacturing: Past research, present findings, and future directions}},
    year = {2016},
    journal = {International Journal of Precision Engineering and Manufacturing - Green Technology},
    author = {Kang, Hyoung Seok and Lee, Ju Yeon and Choi, Sangsu and Kim, Hyun and Park, Jun Hee and Son, Ji Yeon and Kim, Bo Hyun and Noh, Sang Do},
    isbn = {2288-6206},
    doi = {10.1007/s40684-016-0015-5},
    issn = {21980810},
    keywords = {Big Data, Cyber-Physical System, Industry 4.0, Internet of Things, Smart Factory, Smart Manufacturing}
}

@inproceedings{MonostoriLaszlo2014Cyber-physicalChallenges,
    title = {{Cyber-physical production systems: Roots, expectations and R{\&}amp;D challenges}},
    year = {2014},
    booktitle = {Procedia CIRP},
    author = {{Monostori Laszlo}},
    keywords = {Cyber-physical systems, Distributed systems, Manufacturing systems}
}

@incollection{Karnouskos2015IndustrialCybersecurity,
    title = {{Industrial Agents Cybersecurity}},
    year = {2015},
    booktitle = {Industrial Agents: Emerging Applications of Software Agents in Industry},
    author = {Karnouskos, Stamatis},
    isbn = {9780128004111},
    doi = {10.1016/B978-0-12-800341-1.00006-1},
    keywords = {Cyber-physical systems, Cybersecurity, Industrial agents, Industrial requirements, Security threats, Technology trends}
}

@article{Zhu2014RobustSystems,
    title = {{Robust homogenization and consensus of nonlinear multi-agent systems}},
    year = {2014},
    journal = {Systems and Control Letters},
    author = {Zhu, Lijun and Chen, Zhiyong},
    isbn = {0167-6911},
    doi = {10.1016/j.sysconle.2013.12.007},
    issn = {01676911},
    keywords = {Cooperative control, Heterogeneous systems, Multi-agent systems, Nonlinear systems, Robust control}
}

@article{Liu2013Multi-robotConstraints,
    title = {{Multi-robot coordination in complex environment with task and communication constraints}},
    year = {2013},
    journal = {International Journal of Advanced Robotic Systems},
    author = {Liu, Yabo and Yang, Jianhua and Zheng, Yao and Wu, Zhaohui and Yao, Min},
    isbn = {1729-8806},
    doi = {10.5772/54379},
    issn = {17298806},
    keywords = {Coordination and cooperation, Multi-robot system, Task allocation}
}

@article{Lasi2014Industry4.0,
    title = {{Industry 4.0}},
    year = {2014},
    journal = {Business and Information Systems Engineering},
    author = {Lasi, Heiner and Fettke, Peter and Kemper, Hans Georg and Feld, Thomas and Hoffmann, Michael},
    isbn = {0949-0205},
    doi = {10.1007/s12599-014-0334-4},
    issn = {18670202},
    pmid = {1556941973},
    arxivId = {arXiv:1011.1669v3}
}

@article{Schmitt2015CentralizationDisruptionsb,
    title = {{Centralization versus decentralization: Risk pooling, risk diversification, and supply chain disruptions}},
    year = {2015},
    journal = {Omega (United Kingdom)},
    author = {Schmitt, Amanda J. and Sun, Siyuan Anthony and Snyder, Lawrence V. and Shen, Zuo Jun Max},
    isbn = {03050483},
    doi = {10.1016/j.omega.2014.06.002},
    issn = {03050483},
    pmid = {404},
    arxivId = {arXiv:1301.2609v5},
    keywords = {Inventory control, Risk, Supply chain disruptions}
}

@article{Khajavi2014AdditiveChain,
    title = {{Additive manufacturing in the spare parts supply chain}},
    year = {2014},
    journal = {Computers in Industry},
    author = {Khajavi, Siavash H. and Partanen, Jouni and Holmstr{\"{o}}m, Jan},
    isbn = {0166-3615; 1872-6194},
    doi = {10.1016/j.compind.2013.07.008},
    issn = {01663615},
    pmid = {70361685},
    keywords = {Additive manufacturing, Aerospace industry, Distributed production, Spare parts supply chain}
}

@inproceedings{DeGennaro2006DecentralizedSystemsb,
    title = {{Decentralized Control of Connectivity for Multi-Agent Systems}},
    year = {2006},
    booktitle = {Proceedings of the 45th IEEE Conference on Decision and Control},
    author = {De Gennaro, Maria Carmela and Jadbabaie, Ali},
    isbn = {1-4244-0171-2},
    doi = {10.1109/CDC.2006.377041},
    issn = {01912216}
}

@article{Roio2013BitcoinMoney,
    title = {{Bitcoin, the end of the Taboo on Money}},
    year = {2013},
    journal = {Dyne.org Digital Press},
    author = {Roio, Denis Jaromil},
    keywords = {bitcoin, community, crypto, currency, digital, network, technoetic}
}

@misc{Kelion2015CouldThemselves,
    title = {{Could driverless cars own themselves?}},
    year = {2015},
    booktitle = {BBC News},
    author = {Kelion, Leo},
    url = {http://www.bbc.com/news/technology-30998361}
}

@article{Buterin2014EthereumPlatformb,
    title = {{Ethereum White Paper: A Next Generation Smart Contract {\&} Decentralized Application Platform}},
    year = {2014},
    journal = {Etherum},
    author = {{Buterin} and {Vitalik}},
    isbn = {4082821600}
}

@article{Robinson1963CyberneticsMachine,
    title = {{Cybernetics, or Control and Communication in the Animal and the Machine}},
    year = {1963},
    journal = {Technometrics},
    author = {Robinson, Enders A.},
    isbn = {9780262730099},
    doi = {10.1080/00401706.1963.10490065},
    issn = {15372723},
    pmid = {5320264},
    arxivId = {arXiv:1011.1669v3}
}

@article{Wiener1961CyberneticsEd,
    title = {{Cybernetics : Control and Communication in the Animal and the Machine --2nd. ed}},
    year = {1961},
    journal = {212 p. Cambridge, Mass.: The MIT press, 1961. includes index},
    author = {Wiener, Norbert},
    isbn = {9780262730099}
}

@article{1975.,
    title = {{Макроэкономические модели и принципы построения ОГАС.}},
    year = {1975},
    author = {{Глушков Виктор}}
}

@article{Coase1937TheFirm,
    title = {{The Nature of the Firm}},
    year = {1937},
    journal = {Economica},
    author = {Coase, R. H.},
    isbn = {1468-0335},
    doi = {10.1111/j.1468-0335.1937.tb00002.x},
    issn = {14680335},
    pmid = {8609990},
    arxivId = {arXiv:1011.1669v3}
}

@article{Benet2014IPFSSystem,
    title = {{IPFS -Content Addressed, Versioned, P2P File System}},
    year = {2014},
    journal = {arXiv preprint arXiv:1407.3561},
    author = {Benet, Juan},
    isbn = {9781424418909},
    doi = {10.1109/ICPADS.2007.4447808},
    issn = {15219097},
    arxivId = {arXiv:1407.3561v1}
}

@article{Quigley2009ROS:System,
    title = {{ROS: an open-source Robot Operating System}},
    year = {2009},
    journal = {Icra},
    author = {Quigley, Morgan and Conley, Ken and Gerkey, Brian and Faust, Josh and Foote, Tully and Leibs, Jeremy and Berger, Eric and Wheeler, Rob and Mg, Andrew},
    doi = {http://www.willowgarage.com/papers/ros-open-source-robot-operating-system},
    pmid = {8844323},
    arxivId = {1106.4561}
}

@article{N.N.2016BuildApplication,
    title = {{Build unstoppable application}},
    year = {2016},
    journal = {Ethereum Foundation},
    author = {{N.N.}}
}

@article{Dolstra2010NixOS:Distribution,
    title = {{NixOS: A purely functional Linux distribution}},
    year = {2010},
    journal = {Journal of Functional Programming},
    author = {Dolstra, Eelco and L{\"{o}}h, Andres and Pierron, Nicolas},
    isbn = {9781595939197},
    doi = {10.1017/S0956796810000195},
    issn = {09567968}
}

@misc{2017,
    title = {{Как мы учим умные фабрики быть отзывчивыми с помощью протокола робономики}},
    year = {2017},
    author = {{Лоншаков Сергей}},
    url = {http://ensrationis.com/smart-factory-and-capital/}
}

@book{SergienkoIvan2014TopicalGlushkov,
    title = {{Topical directions of informatics: in memory of V. M. Glushkov}},
    year = {2014},
    booktitle = {Springer optimization and its applications},
    author = {{Sergienko Ivan}},
    keywords = {Computer science.}
}

@misc{LonshakovSergey2017HowProtocol,
    title = {{How do we teach smart factories to be responsive using robonomics protocol}},
    year = {2017},
    author = {{Lonshakov Sergey}},
    url = {https://blog.aira.life/how-do-we-teach-smart-factories-to-be-responsive-using-robonomics-protocol-79dc4f75b192}
}

gha_language: TeX


text:
@ARTICLE{ARTICLE:1,
    AUTHOR="John Doe",
    TITLE="The article that articulates all articles",
    JOURNAL="Journal of John Does",
    YEAR="2100",
}

@BOOK{DUMMY:1,
AUTHOR="John Doe' brother",
TITLE="The Book without Title",
PUBLISHER="Dummy Publisher",
YEAR="2101",
}

repository: oist/LaTeX-template-OIST-posters

repo_name: oist/LaTeX-template-OIST-posters


text:
@article{mnih2015human,
  title={Human-level control through deep reinforcement learning},
  author={Mnih, Volodymyr and Kavukcuoglu, Koray and Silver, David and Rusu, Andrei A and Veness, Joel and Bellemare, Marc G and Graves, Alex and Riedmiller, Martin and Fidjeland, Andreas K and Ostrovski, Georg and others},
  journal={Nature},
  volume={518},
  number={7540},
  pages={529--533},
  year={2015},
  publisher={Nature Research}
}

@incollection{mnih-atari-2013,
  title = {Playing Atari With Deep Reinforcement Learning},
  author = {Volodymyr Mnih and Koray Kavukcuoglu and David Silver and Alex Graves and Ioannis Antonoglou and Daan Wierstra and Martin Riedmiller},
  booktitle = {NIPS Deep Learning Workshop},
  year = {2013}
}

@article{DBLP:journals/corr/HasseltGS15,
  author    = {Hado van Hasselt and
               Arthur Guez and
               David Silver},
  title     = {Deep Reinforcement Learning with Double Q-learning},
  journal   = {CoRR},
  volume    = {abs/1509.06461},
  year      = {2015},
  url       = {http://arxiv.org/abs/1509.06461},
  timestamp = {Thu, 01 Oct 2015 14:28:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/HasseltGS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/corr/WangFL15,
  author    = {Ziyu Wang and
               Nando de Freitas and
               Marc Lanctot},
  title     = {Dueling Network Architectures for Deep Reinforcement Learning},
  journal   = {CoRR},
  volume    = {abs/1511.06581},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.06581},
  timestamp = {Tue, 01 Dec 2015 19:22:34 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/WangFL15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

gha_language: Python