text:
%% This BibTeX bibliography file was created using BibDesk.
%% https://bibdesk.sourceforge.io/

%% Created for Jeremy Clark at 2020-12-23 12:08:04 -0500

%% Saved with string encoding Unicode (UTF-8)

@inproceedings{FSA97,
	author = {S. {Forrest} and A. {Somayaji} and D. H. {Ackley}},
	booktitle = {Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133)},
	date-added = {2020-12-23 12:07:56 -0500},
	date-modified = {2020-12-23 12:08:04 -0500},
	doi = {10.1109/HOTOS.1997.595185},
	pages = {67-72},
	title = {Building diverse computer systems},
	year = {1997},
	Bdsk-Url-1 = {https://doi.org/10.1109/HOTOS.1997.595185}}

@article{FHS97,
	address = {New York, NY, USA},
	author = {Forrest, Stephanie and Hofmeyr, Steven A. and Somayaji, Anil},
	date-added = {2020-12-23 12:06:20 -0500},
	date-modified = {2020-12-23 12:06:36 -0500},
	doi = {10.1145/262793.262811},
	issn = {0001-0782},
	issue_date = {Oct. 1997},
	journal = {Commun. ACM},
	month = oct,
	number = {10},
	numpages = {9},
	pages = {88--96},
	publisher = {Association for Computing Machinery},
	title = {Computer Immunology},
	url = {https://doi.org/10.1145/262793.262811},
	volume = {40},
	year = {1997},
	Bdsk-Url-1 = {https://doi.org/10.1145/262793.262811}}

@inproceedings{CBN+14,
	author = {Jeremy Clark and Joseph Bonneau and Andrew Miller and Joshua A. Kroll and Edward W. Felten and Arvind Narayanan},
	booktitle = {WEIS},
	date-added = {2020-12-23 11:37:46 -0500},
	date-modified = {2020-12-23 11:37:46 -0500},
	title = {On Decentralizing Prediction Markets and Order Books},
	year = {2014}}

@misc{Ref19,
	author = {Dafflon, Jacques and Baylina, Jordi and Shababi, Thomas},
	date-added = {2020-09-02 09:57:39 -0400},
	date-modified = {2020-09-02 09:57:39 -0400},
	howpublished = {\url{https://eips.ethereum.org/EIPS/eip-777}},
	month = nov,
	note = {[Online; accessed 12-Jan-2019]},
	title = {{EIP 777: A New Advanced Token Standard}},
	year = {2017}}

@misc{Ref20,
	author = {Dexaran},
	date-added = {2020-09-02 09:57:39 -0400},
	date-modified = {2020-09-02 09:57:39 -0400},
	howpublished = {\url{https://github.com/ethereum/EIPs/issues/223}},
	month = mar,
	note = {[Online; accessed 12-Jan-2019]},
	title = {{ERC223 token standard}},
	year = {2017}}

@misc{Ref21,
	author = {Steve Ellis},
	date-added = {2020-09-02 09:57:39 -0400},
	date-modified = {2020-09-02 09:57:39 -0400},
	howpublished = {\url{https://github.com/ethereum/EIPs/issues/677}},
	month = jul,
	note = {[Online; accessed 12-Jan-2019]},
	title = {{transferAndCall Token Standard}},
	year = {2017}}

@misc{Ref22,
	author = {Entriken, William and Shirley, Dieter and Evans, Jacob and Sachs, Nastassia},
	date-added = {2020-09-02 09:57:39 -0400},
	date-modified = {2020-09-02 09:57:39 -0400},
	howpublished = {\url{https://github.com/ethereum/EIPs/blob/master/EIPS/eip-721.md}},
	month = jan,
	note = {[Online; accessed 12-Jan-2019]},
	title = {{ERC-721 Non-Fungible Token Standard}},
	year = {2018}}

@misc{Ref23,
	author = {Dafflon, Jacques and Baylina, Jordi and Shababi, Thomas},
	date-added = {2020-09-02 09:57:39 -0400},
	date-modified = {2020-09-02 09:57:39 -0400},
	howpublished = {\url{https://eips.ethereum.org/EIPS/eip-777}},
	month = nov,
	note = {[Online; accessed 12-Jan-2019]},
	title = {{EIP 777: A New Advanced Token Standard}},
	year = {2017}}

@misc{Ref24,
	author = {Augusto Lemble},
	date-added = {2020-09-02 09:57:39 -0400},
	date-modified = {2020-09-02 09:57:39 -0400},
	howpublished = {\url{https://github.com/ethereum/eips/issues/827}},
	month = jan,
	note = {[Online; accessed 12-Jan-2019]},
	title = {{ERC827 Token Standard (ERC20 Extension)}},
	year = {2018}}

@misc{Ref25,
	author = {Radomski, Witek and Cooke Andrew and Castonguay, Philippe and Therien, James and Binet, Eric},
	date-added = {2020-09-02 09:57:39 -0400},
	date-modified = {2020-09-02 09:57:39 -0400},
	howpublished = {\url{https://github.com/ethereum/EIPs/blob/master/EIPS/eip-1155.md}},
	month = jun,
	note = {[Online; accessed 12-Jan-2019]},
	title = {{ERC-1155 Multi Token Standard}},
	year = {2018}}

@misc{Ref26,
	author = {Chang, Atkins and Bao, Noel and Chu, Jack and Chou, Leo and Goh, Darren},
	date-added = {2020-09-02 09:57:39 -0400},
	date-modified = {2020-09-02 09:57:39 -0400},
	howpublished = {\url{https://github.com/fstnetwork/EIPs/blob/master/EIPS/eip-1376.md}},
	month = sep,
	note = {[Online; accessed 12-Jan-2019]},
	title = {{Service-Friendly Token Standard}},
	year = {2018}}

@misc{ErcBug,
	author = {Cremer, Lukas},
	howpublished = {\url{https://medium.com/coinmonks/missing-return-value-bug-at-least-130-tokens-affected-d67bf08521ca}},
	month = {Jun},
	title = {Missing return value bug --- At least 130 tokens affected},
	year = {2018}}

@misc{EthSecServ,
	author = {Huashan Chen, Marcus Pendleton, Laurent Njilla and Shouhuai Xu},
	howpublished = {\url{https://arxiv.org/pdf/1908.04507.pdf}},
	month = {Aug},
	title = {A Survey on Ethereum Systems Security:	Vulnerabilities, Attacks and Defenses},
	year = {2019}}

@misc{EthGit,
	author = {Ethereum},
	howpublished = {\url{https://github.com/ethereum}},
	month = {May},
	title = {Project repository},
	year = {2014}}

@misc{MakSm,
	author = {Luu, Loi and Chu, Duc-Hiep and Olickel, Hrishi and Saxena, Prateek and Hobor, Aquinas},
	howpublished = {\url{https://dl.acm.org/ft_gateway.cfm?id=2978309&ftid=1805715&dwn=1&CFID=86372769&CFTOKEN=b697c89273876526-8CBDF39B-A89A-31D2-F565B24919F796C6}},
	month = {Oct},
	title = {Making Smart Contracts Smarter},
	year = {2016}}

@misc{victormeasuring,
	author = {Victor, Friedhelm and L{\"u}ders, Bianca Katharina},
	howpublished = {International Conference on Financial Cryptography and Data Security},
	title = {Measuring Ethereum-based ERC20 Token Networks},
	year = {2019}}

@misc{SolidityDoc,
	author = {Ethereum},
	howpublished = {\url{https://solidity.readthedocs.io/en/latest/}},
	month = {Jan},
	title = {Solidity --- Solidity documentation},
	year = {2020}}

@misc{EthInDepth,
	author = {Facu Spagnuolo},
	howpublished = {\url{https://blog.openzeppelin.com/ethereum-in-depth-part-2-6339cf6bddb9/}},
	month = {Jul},
	title = {Ethereum in Depth, Part 2},
	year = {2018}}

@misc{EYTool,
	author = {EY},
	howpublished = {\url{https://review-tool.blockchain.ey.com}},
	month = {Sep},
	title = {Token Review},
	year = {2019}}

@misc{MikVlad,
	author = {Mikhail Vladimirov},
	howpublished = {\url{https://github.com/ethereum/EIPs/issues/20\#issuecomment-263524729}},
	month = {Nov},
	title = {Attack vector on ERC20 API (approve/transferFrom methods) and suggested improvements},
	year = {2016}}

@misc{TomHale,
	author = {Tom Hale},
	howpublished = {\url{https://github.com/ethereum/EIPs/issues/738}},
	month = {Oct},
	title = {Resolution on the EIP20 API Approve / TransferFrom multiple withdrawal attack \#738},
	year = {2017}}

@misc{PeckShield,
	author = {PeckShield},
	howpublished = {\url{https://blog.peckshield.com/2018/04/22/batchOverflow/}},
	month = {Apr},
	title = {ALERT: New batchOverflow Bug in Multiple ERC20 Smart Contracts},
	year = {2018}}

@misc{ERC20Std,
	author = {Fabian Vogelsteller, Vitalik Buterin},
	howpublished = {\url{https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md}},
	month = {Nov},
	title = {ERC-20 Token Standard},
	year = {2015}}

@misc{ERC20MWA,
	author = {Rahimian, Reza and Eskandari, Shayan and Clark, Jeremy},
	howpublished = {\url{https://arxiv.org/abs/1907.00903}},
	month = {Jul},
	title = {Resolving the Multiple Withdrawal Attack on ERC20 Tokens},
	year = {2019}}

@article{eskandari2019sok,
	author = {Eskandari, Shayan and Moosavi, Seyedehmahsa and Clark, Jeremy},
	journal = {International Conference on Financial Cryptography and Data Security},
	organization = {Springer},
	pages = {380},
	title = {SoK: Transparent Dishonesty: front-running attacks on Blockchain},
	volume = {1},
	year = {2019}}

@misc{DAO1,
	author = {Klint Finley},
	howpublished = {\url{https://www.wired.com/2016/06/50-million-hack-just-showed-dao-human/}},
	month = {Sep},
	title = {A \$50 Million Hack Just Showed That the DAO Was All Too Human | WIRED},
	year = {2016}}

@misc{DAO2,
	author = {Jentzsch, Christoph},
	howpublished = {\url{https://blog.slock.it/the-history-of-the-dao-and-lessons-learned-d06740f8cfa5}},
	month = {Aug},
	title = {The History of the DAO and Lessons Learned},
	year = {2016}}

@misc{Overflow,
	author = {Reza Rahimian},
	howpublished = {\url{https://blockchain-projects.readthedocs.io/overflow.html}},
	month = {Dec},
	title = {Overflow attack in Ethereum smart contracts},
	year = {2018}}

@misc{PartiyMultiSig,
	author = {Santiago Palladino},
	howpublished = {\url{https://blog.openzeppelin.com/on-the-parity-wallet-multisig-hack-405a8c12e8f7/}},
	month = {July},
	title = {The Parity Wallet Hack Explained},
	year = {2017}}

@misc{MyEthWallet,
	author = {Kai Sedgwick},
	howpublished = {\url{https://news.bitcoin.com/myetherwallet-servers-are-hijacked-in-dns-attack/}},
	month = {Apr},
	title = {Myetherwallet Servers Are Hijacked},
	year = {2018}}

@misc{LandoKL,
	author = {Guy Lando},
	howpublished = {\url{https://github.com/guylando/KnowledgeLists/blob/master/EthereumSmartContracts.md}},
	month = {May},
	title = {Guy Lando's knowledge list},
	year = {2019}}

@misc{SoliditySecCon,
	author = {Solidity documentation},
	howpublished = {\url{https://solidity.readthedocs.io/en/latest/security-considerations.html}},
	month = {Jan},
	title = {Security Considerations},
	year = {2020}}

@misc{ConsensysSecCon,
	author = {ConsenSys Diligence},
	howpublished = {\url{https://consensys.github.io/smart-contract-best-practices/}},
	month = {Jan},
	title = {Ethereum Smart Contract Security Best Practices},
	year = {2021}}

@misc{IstanbulUpgrades,
	author = {Alex Beregszaszi, Afri Schoedon},
	howpublished = {\url{https://github.com/ethereum/EIPs/blob/master/EIPS/eip-1679.md}},
	month = {Dec},
	title = {Hardfork Meta: Istanbul},
	year = {2019}}

@misc{ConsensysStopTran,
	author = {Steve Marx},
	howpublished = {\url{https://diligence.consensys.net/blog/2019/09/stop-using-soliditys-transfer-now/}},
	month = {Dec},
	title = {Stop Using Solidity's transfer() Now},
	year = {2019}}

@misc{ChainSecurity,
	author = {Hubert Ritzdorf},
	howpublished = {\url{https://docs.google.com/presentation/d/1IiRYSjwle02zQUmWId06Bss8GrxGyw6nQAiZdCRFEPk/}},
	month = {Oct},
	title = {Ethereum Istanbul Hardfork, The Security Perspective},
	year = {2019}}

@misc{SolidtyDocSec,
	author = {Ethereum documentation},
	howpublished = {\url{https://solidity.readthedocs.io/en/latest/security-considerations.html\#re-entrancy}},
	month = {Jan},
	title = {Re-Entrancy},
	year = {2021}}

@misc{SolidtySecBlog,
	author = {Age Manning},
	howpublished = {\url{https://github.com/sigp/solidity-security-blog}},
	month = {Nov},
	title = {Comprehensive list of known attack vectors and common anti-patterns},
	year = {2019}}

@misc{UnexpectedEth,
	author = {Daniel Szego},
	howpublished = {\url{http://danielszego.blogspot.com/2018/03/solidity-security-patterns-forcing.html}},
	month = {Mar},
	title = {Solidity security patterns - forcing ether to a contract},
	year = {2018}}

@misc{ParityFirstHack,
	author = {Haseeb Qureshi},
	howpublished = {\url{https://www.freecodecamp.org/news/a-hacker-stole-31m-of-ether-how-it-happened-and-what-it-means-for-ethereum-9e5dc29e33ce/}},
	month = {Jul},
	title = {A hacker stole \$31M of Ether --- how it happened, and what it means},
	year = {2017}}

@misc{ParitySecondHack,
	author = {Breidenbach, Lorenz and Daian, Phil and Juels, Ari and Gun Sirer, Emin},
	howpublished = {\url{https://hackingdistributed.com/2017/07/22/deep-dive-parity-bug/}},
	month = {Jul},
	title = {An In-Depth Look at the Parity Multisig Bug},
	year = {2017}}

@misc{ParityWalletHack,
	author = {Parity},
	howpublished = {\url{https://www.parity.io/security-alert-2/}},
	month = {Nov},
	title = {Security Alert},
	year = {2018}}

@misc{SoliditySendEther,
	author = {Kirill Bulgakov},
	howpublished = {\url{https://medium.com/daox/three-methods-to-transfer-funds-in-ethereum-by-means-of-solidity-5719944ed6e9}},
	month = {Feb},
	title = {Three methods to send ether by means of Solidity},
	year = {2018}}

@misc{WiKiMutex,
	author = {wikipedia},
	howpublished = {\url{en.wikipedia.org/wiki/Mutual_exclusion}},
	month = {Jan},
	title = {Mutex},
	year = {2019}}

@misc{GameSec1,
	author = {Lye, Kong-wei and Wing, Jeannette},
	howpublished = {\url{https://www.cs.cmu.edu/~wing/publications/CMU-CS-02-136.pdf}},
	month = {May},
	title = {Game Strategies in Network Security},
	year = {2012}}

@misc{EIP150,
	author = {Wood, Gavin},
	howpublished = {\url{http://gavwood.com/paper.pdf}},
	month = {Mar},
	title = {Ethereum: a secure decentralised generalised transaction ledger},
	year = {2016}}

@misc{EIP1884,
	author = {Holst Swende, Martin},
	howpublished = {\url{https://github.com/ethereum/EIPs/blob/master/EIPS/eip-1884.md}},
	month = {Mar},
	title = {Repricing for trie-size-dependent opcodes},
	year = {2019}}

@misc{LIB1,
	author = {Ethereum},
	howpublished = {\url{https://solidity.readthedocs.io/en/latest/contracts.html?highlight=library\#libraries}},
	month = {Jan},
	title = {Solidity --- Solidity documentation},
	year = {2021}}

@misc{LIB2,
	author = {Jain, Sarvesh},
	howpublished = {\url{https://medium.com/coinmonks/all-you-should-know-about-libraries-in-solidity-dd8bc953eae7}},
	month = {Sep},
	title = {All you should know about libraries in solidity},
	year = {2018}}

@misc{SEREUM,
	author = {Rodler, Michael and Li, Wenting and Karame, Ghassan and Davi, Lucas},
	howpublished = {\url{https://arxiv.org/pdf/1812.05934.pdf}},
	month = {Dec},
	title = {Sereum: Protecting Existing Smart Contracts Against Re-Entrancy},
	year = {2018}}

@misc{SECURIFY,
	author = {Tsankov, Petar and Dan, Andrei and Drachsler-Cohen, Dana and Gervais, Arthur},
	howpublished = {\url{https://arxiv.org/pdf/1806.01143.pdf}},
	month = {Aug},
	title = {Securify: Practical Security Analysis of Smart Contracts},
	year = {2018}}

@misc{SECURIFYGIT,
	author = {Tsankov, Petar},
	howpublished = {\url{https://github.com/eth-sri/securify2}},
	month = {Jan},
	title = {Securify v2.0},
	year = {2020}}

@misc{SMARTCHECK,
	author = {SmartDec},
	howpublished = {\url{https://github.com/smartdec/smartcheck}},
	month = {Sep},
	title = {Knowledge-base},
	year = {2018}}

@misc{MythX,
	author = {ConsenSys},
	howpublished = {\url{https://mythx.io/swc-coverage/}},
	month = {Nov},
	title = {MythX SWC coverage},
	year = {2019}}

@misc{ContractGuard,
	author = {GuardStrike},
	howpublished = {\url{https://contract.guardstrike.com/#/knowledge}},
	month = {Mar},
	title = {ContractGuard knowledge-base},
	year = {2020}}

@misc{SlitherSetup,
	author = {Josselin, Feist},
	howpublished = {\url{https://blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/}},
	month = {Oct},
	title = {Slither -- a Solidity static analysis framework},
	year = {2018}}

@misc{SlitherDoc,
	author = {Josselin, Feist},
	howpublished = {\url{https://github.com/crytic/slither/wiki/Detector-Documentation#name-reused}},
	month = {Mar},
	title = {Slither -- Detector Documentation},
	year = {2020}}

@misc{EtherScan,
	author = {EtherScan},
	howpublished = {\url{https://etherscan.io/tokens?sortcmd=remove&sort=marketcap&order=desc}},
	month = {Apr},
	title = {Token Tracker},
	year = {2020}}

@misc{AuditTools,
	author = {di Angelo, Monika and Salzer, Gernot},
	howpublished = {\url{https://publik.tuwien.ac.at/files/publik_278277.pdf}},
	month = {Aug},
	title = {A Survey of Tools for Analyzing Ethereum Smart Contracts},
	year = {2019}}

@misc{SolidityModifer,
	author = {Simon, Gary},
	howpublished = {\url{https://coursetro.com/posts/code/101/Solidity-Modifier-Tutorial---Control-Functions-with-Modifiers}},
	month = {Oct},
	title = {Solidity Modifier Tutorial - Control Functions with Modifiers},
	year = {2017}}

@misc{ReentrancyGuard,
	author = {Venturo, Nicolas and Giordano, Francisco},
	howpublished = {\url{https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/ReentrancyGuard.sol}},
	month = {Oct},
	title = {Reentrancy Guard},
	year = {2017}}

@misc{OrderingAttack,
	author = {Coverdale, Chris},
	howpublished = {\url{https://medium.com/coinmonks/solidity-transaction-ordering-attacks-1193a014884e}},
	month = {Mar},
	title = {Transaction-Ordering Attacks},
	year = {2018}}

@misc{ProxyPatterns,
	author = {OpenZeppelin},
	howpublished = {\url{https://blog.openzeppelin.com/proxy-patterns/}},
	month = {Apr},
	title = {Proxy Patterns},
	year = {2018}}

@misc{ProxyContract,
	author = {Tanner, Jack},
	howpublished = {\url{https://blog.indorse.io/ethereum-upgradeable-smart-contract-strategies-456350d0557c}},
	month = {Mar},
	title = {Summary of Ethereum Upgradeable Smart Contract R\&D --- Part 1--2018},
	year = {2018}}

@misc{TokenBP,
	author = {ConsenSys Diligence},
	howpublished = {\url{https://consensys.github.io/smart-contract-best-practices/tokens/}},
	month = {Mar},
	title = {Token Implementation Best Practice},
	year = {2020}}

@misc{DosRevert,
	author = {ConsenSys Diligence},
	howpublished = {\url{https://consensys.github.io/smart-contract-best-practices/recommendations/\#favor-pull-over-push-for-external-calls}},
	month = {Mar},
	title = {Secure Development Recommendations},
	year = {2020}}

@misc{DEPOSafe,
	author = {Ji, Ru and He, Ningyu and Wu, Lei and Wang, Haoyu},
	howpublished = {\url{https://arxiv.org/pdf/2006.06419.pdf}},
	month = {Jun},
	title = {DEPOSafe: Demystifying the Fake Deposit Vulnerability},
	year = {2020}}

@misc{Osiris,
	author = {Ferreira Torres, Christof and Schutte, Julian and State, Radu},
	howpublished = {\url{https://dl.acm.org/doi/10.1145/3274694.3274737}},
	month = {Dec},
	title = {Osiris: Hunting for Integer Bugs in Ethereum Smart Contracts},
	year = {2018}}

@misc{ORBT,
	author = {Shirshova, Natalia},
	howpublished = {\url{https://medium.com/orbise/the-benefits-of-buy-and-sell-token-functions-dcea536aaf7c}},
	month = {Dec},
	title = {The benefits of ``Buy'' and ``Sell''},
	year = {2018}}

@misc{ORBTToken,
	author = {Reinno},
	howpublished = {\url{https://reinno.io/tokenization.html}},
	month = {Jun},
	title = {A new way to own and invest in real estate},
	year = {2020}}

@misc{Alethio,
	author = {Alethio Reporting},
	howpublished = {\url{https://reports.aleth.io/}},
	month = {Jul},
	title = {Generate meaningful knowledge from Ethereum},
	year = {2020}}

@misc{TokenTracker,
	author = {Token Tracker},
	howpublished = {\url{https://etherscan.io/tokens}},
	month = {Jul},
	title = {ERC-20 Tokens},
	year = {2021}}

@misc{OpenZepplin,
	author = {OpenZeppelin},
	howpublished = {\url{https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/token/ERC20/ERC20.sol}},
	month = {Jun},
	title = {Contracts},
	year = {2020}}

@misc{ConsensysToken,
	author = {Consensys},
	howpublished = {\url{https://github.com/ConsenSys/Tokens}},
	month = {Jun},
	title = {Tokens},
	year = {2020}}

@misc{BECToken,
	author = {BeautyChain: Deployer},
	howpublished = {\url{https://etherscan.io/address/0xc5d105e63711398af9bbff092d4b6769c82f793d}},
	month = {Jun},
	title = {BeautyChain (BEC)},
	year = {2020}}

@misc{SafeMath,
	author = {OpenZeppelin},
	howpublished = {\url{https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/math/SafeMath.sol}},
	month = {Jun},
	title = {Contracts},
	year = {2020}}

@misc{CrossFunctionExample,
	author = {ConsenSys},
	howpublished = {\url{https://consensys.github.io/smart-contract-best-practices/known_attacks/#cross-function-reentrancy}},
	month = {Jun},
	title = {Cross-function Reentrancy},
	year = {2020}}

@misc{SolidityDocPayable,
	author = {Ethereum},
	howpublished = {\url{https://docs.soliditylang.org/en/latest/contracts.html#receive-ether-function}},
	month = {Jun},
	title = {Receive Ether Function},
	year = {2021}}

@misc{SolidityByExampleSelfDestruct,
	author = {solidity-by-example.org},
	howpublished = {\url{https://solidity-by-example.org/0.6/hacks/self-destruct/}},
	month = {Apr},
	title = {Solidity by Example},
	year = {2021}}

@misc{MonolithDAO,
	author = {Vessenes, Peter},
	howpublished = {\url{https://github.com/MonolithDAO/token/blob/master/src/Token.sol}},
	month = {Apr},
	title = {MonolithDAO},
	year = {2017}}

@misc{Rubixi,
	author = {Rubixi},
	howpublished = {\url{https://etherscan.io/address/0xe82719202e5965Cf5D9B6673B7503a3b92DE20be#code}},
	month = {Mar},
	title = {Rubixi Contract},
	year = {2016}}

@misc{Odin,
	author = {Sooho},
	howpublished = {\url{https://odin.sooho.io/}},
	month = {Mar},
	title = {Verify a smart contract},
	year = {2020}}

@misc{SWC,
	author = {SmartContractSecurity},
	howpublished = {\url{https://swcregistry.io/}},
	month = {Jun},
	title = {Smart Contract Weakness Classification and Test Cases},
	year = {2020}}

@misc{LibertyReserve,
	author = {Wikipedia},
	howpublished = {\url{https://en.wikipedia.org/wiki/Liberty_Reserve}},
	month = {Jun},
	title = {Liberty Reserve},
	year = {2020}}

@misc{NatSpec,
	author = {Ethereum},
	howpublished = {\url{docs.soliditylang.org/en/latest/natspec-format.html}},
	month = {Jun},
	title = {NatSpec Format},
	year = {2021}}

@misc{TokenScope,
	author = {Chen, Ting and Zhang, Zhang and Li, Zihao},
	howpublished = {\url{http://www4.comp.polyu.edu.hk/~csxluo/TokenScope.pdf}},
	month = {Nov},
	title = {TokenScope: Automatically Detecting Inconsistent Behaviors of Cryptocurrency Tokens in Ethereum},
	year = {2019}}

@misc{GNT,
	author = {Golem Factory GmbH},
	howpublished = {\url{https://etherscan.io/address/0xa74476443119A942dE498590Fe1f2454d7D4aC0d#code}},
	month = {Nov},
	title = {Golem Network Token},
	year = {2016}}

@misc{OPZ1,
	author = {Roan, Alex},
	howpublished = {\url{https://medium.com/better-programming/7-openzeppelin-contracts-you-should-always-use-5ba2e7953cc4}},
	month = {Apr},
	title = {7 OpenZeppelin Contracts You Should Always Use},
	year = {2020}}

@misc{OPZ2,
	author = {Zalecki, Michal},
	howpublished = {\url{https://www.tooploox.com/blog/create-and-distribute-your-erc20-token-with-openzeppelin}},
	month = {Aug},
	title = {Create and distribute your ERC20 token with OpenZeppelin},
	year = {2018}}

@misc{OPZ3,
	author = {Quintal, Josh},
	howpublished = {\url{https://www.trufflesuite.com/tutorials/robust-smart-contracts-with-openzeppelin}},
	month = {Aug},
	title = {Building robust smart contracts with openzeppelin},
	year = {2017}}

@misc{TON,
	author = {Durov, Pavel},
	howpublished = {\url{https://telegra.ph/What-Was-TON-And-Why-It-Is-Over-05-12}},
	month = {May},
	title = {What Was TON And Why It Is Over},
	year = {2020}}

@misc{VulExp,
	author = {Perez, Daniel and Livshits, Benjamin},
	howpublished = {\url{https://www.usenix.org/system/files/sec21summer_perez.pdf}},
	month = {Aug},
	title = {Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited},
	year = {2018}}

@misc{CEI,
	author = {Solidty Documentation},
	howpublished = {\url{https://docs.soliditylang.org/en/latest/security-considerations.html\#use-the-checks-effects-interactions-pattern}},
	month = {Aug},
	title = {Checks Effects Interactions Pattern},
	year = {2020}}

@misc{Crytic,
	author = {Trail of Bits},
	howpublished = {\url{https://blog.trailofbits.com/2019/10/24/watch-your-language-our-first-vyper-audit/}},
	month = {Oct},
	title = {Watch Your Language: Our First Vyper Audit},
	year = {2019}}

@misc{VyperReadme,
	author = {Vyper},
	howpublished = {\url{https://github.com/vyperlang/vyper}},
	month = {Apr},
	title = {Pythonic Smart Contract Language for the EVM},
	year = {2021}}

@inproceedings{Vyper1,
	author = {Kaleem, Mudabbir and Mavridou, Anastasia and Laszka, Aron},
	booktitle = {Proceedings of the 2nd Conference on Blockchain Research and Applications for Innovative Networks and Services (BRAINS 2020)},
	month = {Jun},
	title = {Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities},
	year = {2020}}


text:
@InProceedings{li09a,
  title = {Kernel Learning by Unconstrained Optimization},
  author = {Fuxin Li and Yunshan Fu and Yu-Hong Dai and Cristian Sminchisescu and wang jue},
  pages = {328--335},
  abstract = {We study the problem of learning a kernel matrix from an  apriori kernel and training data. In this context, we propose a new unconstrained convex optimization formulation, with an  arbitrary convex second-order differentiable loss function on kernel  entries and a LogDet divergence term for regularization. Since the  number of variables is of order $O(n^2)$, the computational cost of  standard Newton and quasi-Newton methods for learning a kernel  matrix is prohibitive. Here an operator form Hessian is  used to develop an $O(n^3)$ trust-region inexact Newton method,  where the Newton direction is computed using several conjugate  gradient steps on the Hessian operator equation. On the uspst  dataset, our algorithm can handle 2 million optimization variables  within one hour. Experiments are shown for both linear (Mahalanobis)  metric learning and for kernel learning. The convergence rate, speed  and performance of several loss functions and algorithms are  discussed.},
  pdf = {http://jmlr.org/proceedings/papers/v5/li09a/li09a.pdf},
}

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:
@article{Bibby2013,
   author = {Bibby, Jaclyn and Keegan, Ronan M. and Mayans, Olga and Winn, Martyn D. and Rigden, Daniel J.},
   doi = {10.1107/S0907444913018453},
   journal = {Acta Crystallogr. Sect. D Biol. Crystallogr.},
   label = {AMPLE_NMR},
   number = {11},
   pages = {2194--2201},
   title = {{Application of the AMPLE cluster-and-truncate approach to NMR structures for molecular replacement}},
   volume = {69},
   year = {2013},
}

repository: rigdenlab/ample

repo_name: rigdenlab/ample

gha_language: Python


text:
#
# FindMetaLic.cmake
#
# This module defines the following variables:
#   MetaLic_INCLUDE_DIRS
#   MetaLic_GENERATOR_LIBRARIES
#   MetaLic_READER_LIBRARIES
#   MetaLic_FOUND
#
# You can help it find the required paths/files by pre-setting
# the 'MetaLic_DIR' variable to the right install directory.
#

include(FindPackageHandleStandardArgs)

find_path(MetaLic_INCLUDE_DIR
    NAMES
        "metalicensor/keys/public-key.h"
    HINTS
        "${MetaLic_DIR}/include/"
        "${MetaLic_DIR}/build/include/"
        "${MetaLic_DIR}/build/install/include/"
        "${MetaLic_ROOT_DIR}/include/"
        "${MetaLic_ROOT_DIR}/build/include/"
        "${MetaLic_ROOT_DIR}/build/install/include/"
        "$ENV{METALIC_ROOT}/include/"
        "$ENV{METALIC_ROOT}/build/include/"
        "$ENV{METALIC_ROOT}/build/install/include/"
        "$ENV{USER_DEVELOP}/MetaLic/include/"
        "$ENV{USER_DEVELOP}/vendor/MetaLic/include/"
        "$ENV{USER_DEVELOP}/metalicensor/include/"
        "$ENV{USER_DEVELOP}/vendor/metalicensor/include/"
)

find_library(MetaLic_GENERATOR_LIBRARY
    NAMES
        "metalic_generator"
    HINTS
        "${MetaLic_DIR}/lib/"
        "${MetaLic_DIR}/build/lib/"
        "${MetaLic_DIR}/build/install/lib/"
        "${MetaLic_ROOT_DIR}/lib/"
        "${MetaLic_ROOT_DIR}/build/lib/"
        "${MetaLic_ROOT_DIR}/build/install/lib/"
        "$ENV{METALIC_ROOT}/lib/"
        "$ENV{METALIC_ROOT}/build/lib/"
        "$ENV{METALIC_ROOT}/build/install/lib/"
        "$ENV{USER_DEVELOP}/MetaLic/lib/"
        "$ENV{USER_DEVELOP}/vendor/MetaLic/lib/"
        "$ENV{USER_DEVELOP}/metalicensor/lib/"
        "$ENV{USER_DEVELOP}/vendor/metalicensor/lib/"
        "${MetaLic_INCLUDE_DIR}/../lib/"
        "${MetaLic_LIBRARY_DIR}"
)

find_library(MetaLic_READER_LIBRARY
    NAMES
        "metalic_reader"
    HINTS
        "${MetaLic_DIR}/lib/"
        "${MetaLic_DIR}/build/lib/"
        "${MetaLic_DIR}/build/install/lib/"
        "${MetaLic_ROOT_DIR}/lib/"
        "${MetaLic_ROOT_DIR}/build/lib/"
        "${MetaLic_ROOT_DIR}/build/install/lib/"
        "$ENV{METALIC_ROOT}/lib/"
        "$ENV{METALIC_ROOT}/build/lib/"
        "$ENV{METALIC_ROOT}/build/install/lib/"
        "$ENV{USER_DEVELOP}/MetaLic/lib/"
        "$ENV{USER_DEVELOP}/vendor/MetaLic/lib/"
        "$ENV{USER_DEVELOP}/metalicensor/lib/"
        "$ENV{USER_DEVELOP}/vendor/metalicensor/lib/"
        "${MetaLic_INCLUDE_DIR}/../lib/"
        "${MetaLic_LIBRARY_DIR}"
)

mark_as_advanced(
    MetaLic_INCLUDE_DIR
    MetaLic_GENERATOR_LIBRARY
    MetaLic_READER_LIBRARY
)
if(NOT WIN32)
    find_package(OpenSSL REQUIRED)
    find_package(ZLIB REQUIRED) # Zlib required when openssl version < 1.0.1f
endif(NOT WIN32)
set(MetaLic_DIR_old ${MetaLic_DIR})
set(MetaLic_DIR "MetaLic_DIR-NOTFOUND" CACHE PATH "The directory to the MetaLicensor installation, i.e. where include and lib directories can be found." FORCE)
find_package_handle_standard_args(MetaLic
    REQUIRED_VARS
        MetaLic_INCLUDE_DIR
        MetaLic_GENERATOR_LIBRARY
        MetaLic_READER_LIBRARY
)
if(MetaLic_FOUND)
    set(MetaLic_DIR "${MetaLic_DIR_old}" CACHE PATH "The directory to the MetaLicensor installation, i.e. where include and lib directories can be found." FORCE)
    set(MetaLic_INCLUDE_DIRS ${MetaLic_INCLUDE_DIR} ${OPENSSL_INCLUDE_DIR})
    set(MetaLic_GENERATOR_LIBRARIES ${MetaLic_GENERATOR_LIBRARY})
    set(MetaLic_READER_LIBRARIES ${MetaLic_READER_LIBRARY} ${OPENSSL_CRYPTO_LIBRARY} ${ZLIB_LIBRARIES} dl)
    mark_as_advanced(MetaLic_INCLUDE_DIRS MetaLic_GENERATOR_LIBRARIES MetaLic_READER_LIBRARIES)
endif()

repository: wawiesel/meta-licensor

repo_name: wawiesel/meta-licensor

extension: cmake


text:
@article{pmid32227078,
 author = {Suvila, K.  and McCabe, E. L.  and Lima, J. A. C.  and Aittokallio, J.  and Yano, Y.  and Cheng, S.  and Niiranen, T. J. },
 journal = {Am J Hypertens},
 month = {07},
 number = {7},
 pages = {644--651},
 title = {Self-reported Age of Hypertension Onset and Hypertension-Mediated Organ Damage in Middle-Aged Individuals},
 volume = {33},
 year = {2020}
}

repository: hypertensioncenter/academic-kickstart

repo_name: hypertensioncenter/academic-kickstart


text:
@t{portaz2019image,
 author = {Portaz, Maxime and Randrianarivo, Hicham and Nivaggioli, Adrien and Maudet, Estelle and Servan, Christophe and Peyronnet, Sylvain},
 journal = {arXiv preprint arXiv:1903.11299},
 title = {Image search using multilingual texts: a cross-modal learning approach between image and text},
 year = {2019}
}

branch_name: refs/heads/main


text:
%% LaTeX2e file `pem.bib'
%% generated by the `filecontents' environment
%% from source `pem' on 2017/03/08.
%%
@article{investopedia,
   author = {{Investopedia}},
    title = "{If You Had Invested Right After Amazon's IPO}",
     year = 2015,
    month = aug,
   adsurl = {http://www.investopedia.com/articles/investing/082715/if-you-had-invested-right-after-amazons-ipo.asp}
}

@article{yahooapple,
   author = {{Yahoo}},
    title = "{Apple Inc. (AAPL)}",
     year = 2017,
    month = feb,
   adsurl = {https://finance.yahoo.com/quote/AAPL?ltr=1}
}

@article{yahooamazon,
   author = {{Yahoo}},
    title = "{Amazon.com Inc. (AMZN)}",
     year = 2017,
    month = feb,
   adsurl = {https://finance.yahoo.com/quote/AMZN?ltr=1}
}

@article{wired,
   author = {{Cade Metz}},
    title = "{The Rise of the Artificially Intelligent Hedge Fund}",
     year = 2016,
    month = jan,
   adsurl = {https://www.wired.com/2016/01/the-rise-of-the-artificially-intelligent-hedge-fund/#slide-1}
}

@article{hurwitz,
   author = {Hurwit, Evan and Marwala, Tshilidzi},
    title = "{State of the Art Review for Applying Computational Intelligence and Machine Learning Techniques to Portfolio Optimisation}",
     year = 2009,
    month = oct
}

repository: AbhinavMadahar/pecuniaexmachina

repo_name: AbhinavMadahar/pecuniaexmachina


text:
SUMMARY = "Recipe for  build an external smartio Linux kernel module"
SECTION = "PETALINUX/modules"
LICENSE = "GPLv2"
LIC_FILES_CHKSUM = "file://COPYING;md5=12f884d2ae1ff87c09e5b7ccc2c4ca7e"

inherit module

SRC_URI = "file://Makefile \
           file://smartio.c \
           file://smartio.h \
	   file://COPYING \
          "

S = "${WORKDIR}"

# The inherit of module.bbclass will automatically name module packages with
# "kernel-module-" prefix as required by the oe-core build environment.

repository: Xilinx/IIoT-EDDP

repo_name: Xilinx/IIoT-EDDP

extension: bb


text:
@article{Geoghegan_2018,
 author = {Geoghegan, Jemma L. and Holmes, Edward C.},
 title = {The phylogenomics of evolving virus virulence},
 journal = {Nature Reviews Genetics},
 publisher = {Springer Science and Business Media {LLC}},
 year = {2018},
 month = {oct},
 number = {12},
 volume = {19},
 pages = {756--769},
 url = {https://doi.org/10.1038%2Fs41576-018-0055-5},
 doi = {10.1038/s41576-018-0055-5}
}


text:
/************************************************
The Universal Style
************************************************/
* {
  box-sizing: border-box;
}
html {
  margin: 0;
  font-family: Helvetica, Arial, sans-serif;
  text-rendering: optimizeLegibility;
  overflow-x: hidden;
}
h2 {
  margin-top: 0;
  margin-bottom: 10px;
  padding-top: 50px;
  text-align: center;
  text-transform: uppercase;
  color: #c37d0d;
  font-family: 'Oswald', sans-serif;
  font-size: 2.2em;
  font-weight: 600;
}
p {
  color: #fff;
  font-size: 0.8em;
  text-align: center;
  margin-bottom: 20px;
}
.container {
  max-width: 1140px;
  margin: 0 auto;
}
a {
  text-decoration: none;
}
.clear-fix {
  display: block;
  content: "";
  clear: both;
}
/************************************************
The Button Style
************************************************/
.btn {
  margin: 0 auto;
  text-transform: uppercase;
  padding-top: 6px;
  display: block;
  width: 120px;
  height: 35px;
  font-family: 'Oswald', sans-serif;
  font-size: 1em;
  text-align: center;
}
.btn-black {
  background-color: #2f2f2f;
  color: #fff;
}
.btn-white {
  background-color: #fff;
  color: #2f2f2f;
}
.btn:hover {
  background-color: #c37d0d;
  color: #2f2f2f;
}
/************************************************
The Header Style
************************************************/
header {
  height: 600px;
  background-image: url(../img/bg.jpg);
  background-position: center;
  background-repeat: no-repeat;
  background-size: cover;
}
header h1 {
  margin-top: 0;
  padding-top: 170px;
  font-family: 'Oswald', sans-serif;
  font-size: 9em;
  font-weight: 600;
  color: #fff;
  text-transform: uppercase;
  text-align: center;
}
header p {
  text-align: center;
  text-transform: capitalize;
  color: #fff;
  margin-top: -100px;
  font-size: 1em;
}
/************************************************
The Features Section Style
************************************************/
.features {
  background: #2f2f2f;
}
.features .col {
  float: left;
  width: 24%;
  margin-left: 2%;
  margin-right: 2%;
  margin-bottom: 20px;
}
/************************************************
The Jumbotron Section Style
************************************************/
.jumbotron {
  height: 450px;
  background-image: url(../img/feature.jpg);
  background-position: center;
  background-size: cover;
  background-repeat: no-repeat;
}

.slogan {
  text-align: center;
  margin-top: 0;
  padding-top: 190px;
  font-family: 'Oswald', sans-serif;
  font-size: 3.1em;
  font-weight: 600;
  text-transform: uppercase;
  color: #fff;
}
.learn-more {
  background: #2f2f2f;
  padding-bottom: 80px;
}
/************************************************
The Jumbotron Section Style
************************************************/
footer {
  height: 500px;
  background-image: url(../img/footer.jpg);
  background-position: center;
  background-size: cover;
  background-repeat: no-repeat;
}
.promote {
  text-align: center;
  margin-top: 0;
  padding-top: 200px;
  font-family: 'Oswald', sans-serif;
  font-size: 2em;
  font-weight: 600;
  text-transform: uppercase;
  color: #fff;
  margin-bottom: 25px;
}

repository: ngduyanhece/Move

repo_name: ngduyanhece/Move

extension: css


text:
@font-face {
  font-family: 'SpoqaHanSans-Thin';
  src: url('SpoqaHanSans-Thin.eot') format('embedded-opentype');
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: 'SpoqaHanSans-Thin';
  src:  url(data:application/x-font-woff;charset=utf-8;base64,d09GRgABAAAABuOYABAAAAAUvjAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABMVFNIAAALmAAAA38A
[encoded data, 43487 characters]

repository: cdnjs/cdnjs

path: /ajax/libs/spoqa-han-sans/1.0.0/Subset/SpoqaHanSans/Spoqa Han sans_subset(webfont inclued)/SpoqaHanSans-Thin/styles.css

repo_name: cdnjs/cdnjs


text: [encoded data, 43605 characters]


text:
G2xo
[encoded data, 43516 characters]


text:
LHqXR5x4XG8gdQSMjdx4ehhPbeZPp5kw
[encoded data, 43706 characters]


text: [encoded data, 43429 characters]


text:
wYBA4MAgbCwIHBoEDg8CBQWDjILBxENg4CGwc
[encoded data, 43431 characters]


text:
zKX2RzzbDjIOwib6RaE4unTvF+pnyeSdLMZ/zV0xl
[encoded data, 43394 characters]


text:
5C
[encoded data, 43358 characters]


text:
wuebszN2l3Rl9ZTwZtRawqpwGWiqe45OAi5TQD
[encoded data, 43460 characters]


text:
5GAVhtWxydQW
[encoded data, 43391 characters]


text:
6XBY2
[encoded data, 43399 characters]


text: [encoded data, 43573 characters]


text:
wK/WsxlFeLa5hu1WGnH7P4DtORllE3RVHl7duYqR2l0iLaww
[encoded data, 43421 characters]


text:
sZ8JkswVU1Falm/HIx4o65YxhNMhj191qBSz8WG80Fq20nY9oz4
[encoded data, 36404 characters]
UZtsve1OozbZdKfhV2LKf6DuFyP/A63433fxDr5N9P8AaedEFgAAAA==) format('woff'), url('SpoqaHanSans-Thin.ttf')  format('truetype'), url('SpoqaHanSans-Thin.svg#SpoqaHanSans-Thin') format('svg');
  font-weight: normal;
  font-style: normal;
}


text:
body {
	background-color: whitesmoke;
	margin: 0;
	overscroll-behavior-y: none;
}

#app {
	block-size: 100dvb;
	display: grid;
	min-inline-size: 48rem;
	overflow-x: scroll;
}

repository: stylelint/stylelint-demo

repo_name: stylelint/stylelint-demo

gha_language: TypeScript


text:
@inproceedings{popeea2014reduction,
  title={Reduction for compositional verification of multi-threaded programs},
  author={Popeea, Corneliu and Rybalchenko, Andrey and Wilhelm, Andreas},
  booktitle={Formal Methods in Computer-Aided Design (FMCAD), 2014},
  pages={187--194},
  year={2014},
  organization={IEEE}
}
@inproceedings{gupta2011predicate,
  title={Predicate abstraction and refinement for verifying multi-threaded programs},
  author={Gupta, Ashutosh and Popeea, Corneliu and Rybalchenko, Andrey},
  booktitle={ACM SIGPLAN Notices},
  volume={46},
  number={1},
  pages={331--344},
  year={2011},
  organization={ACM}
}
@article{grebenshchikov2012synthesizing,
  title={Synthesizing software verifiers from proof rules},
  author={Grebenshchikov, Sergey and Lopes, Nuno P and Popeea, Corneliu and Rybalchenko, Andrey},
  journal={ACM SIGPLAN Notices},
  volume={47},
  number={6},
  pages={405--416},
  year={2012},
  publisher={ACM}
}
@inproceedings{cobleigh2003learning,
  title={Learning assumptions for compositional verification},
  author={Cobleigh, Jamieson M and Giannakopoulou, Dimitra and P{\u{a}}s{\u{a}}reanu, Corina S},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={331--346},
  year={2003},
  organization={Springer}
}
@article{owicki1976axiomatic,
  title={An axiomatic proof technique for parallel programs I},
  author={Owicki, Susan and Gries, David},
  journal={Acta informatica},
  volume={6},
  number={4},
  pages={319--340},
  year={1976},
  publisher={Springer}
}
@inproceedings{kahlon2009monotonic,
  title={Monotonic partial order reduction: An optimal symbolic partial order reduction technique},
  author={Kahlon, Vineet and Wang, Chao and Gupta, Aarti},
  booktitle={International Conference on Computer Aided Verification},
  pages={398--413},
  year={2009},
  organization={Springer}
}
@inproceedings{wachter2013verifying,
  title={Verifying multi-threaded software with impact.},
  author={Wachter, Bj{\"o}rn and Kroening, Daniel and Ouaknine, Joel},
  booktitle={FMCAD},
  pages={210--217},
  year={2013}
}
@article{lipton1975reduction,
  title={Reduction: A method of proving properties of parallel programs},
  author={Lipton, Richard J},
  journal={Communications of the ACM},
  volume={18},
  number={12},
  pages={717--721},
  year={1975},
  publisher={ACM}
}
@article{jones1983tentative,
  title={Tentative steps toward a development method for interfering programs},
  author={Jones, Cliff B.},
  journal={ACM Transactions on Programming Languages and Systems (TOPLAS)},
  volume={5},
  number={4},
  pages={596--619},
  year={1983},
  publisher={ACM}
}
@inproceedings{wang2008peephole,
  title={Peephole partial order reduction},
  author={Wang, Chao and Yang, Zijiang and Kahlon, Vineet and Gupta, Aarti},
  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
  pages={382--396},
  year={2008},
  organization={Springer}
}
@inproceedings{godefroid1993refining,
  title={Refining dependencies improves partial-order verification methods},
  author={Godefroid, Patrice and Pirottin, Didier},
  booktitle={International Conference on Computer Aided Verification},
  pages={438--449},
  year={1993},
  organization={Springer}
}
@inproceedings{grobetae2006hw,
  title={HW/SW co-verification of embedded systems using bounded model checking},
  author={Gro$\beta$e, Daniel and K{\"u}hne, Ulrich and Drechsler, Rolf},
  booktitle={Proceedings of the 16th ACM Great Lakes symposium on VLSI},
  pages={43--48},
  year={2006},
  organization={ACM}
}
@inproceedings{xie2005translation,
  title={Translation-based co-verification},
  author={Xie, Fei and Song, Xiaoyu and Chung, Haera and Nandi, Ranajoy},
  booktitle={Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design},
  pages={111--120},
  year={2005},
  organization={IEEE Computer Society}
}
@article{xie2007component,
  title={Component-based hardware/software co-verification for building trustworthy embedded systems},
  author={Xie, Fei and Yang, Guowu and Song, Xiaoyu},
  journal={Journal of Systems and Software},
  volume={80},
  number={5},
  pages={643--654},
  year={2007},
  publisher={Elsevier}
}
@inproceedings{nguyen2011formal,
  title={Formal hardware/software co-verification by interval property checking with abstraction},
  author={Nguyen, Minh D and Wedler, Markus and Stoffel, Dominik and Kunz, Wolfgang},
  booktitle={Proceedings of the 48th Design Automation Conference},
  pages={510--515},
  year={2011},
  organization={ACM}
}
@inproceedings{horn2013formal,
  title={Formal co-validation of low-level hardware/software interfaces.},
  author={Horn, Alex and Tautschnig, Michael and Val, Celina G and Liang, Lihao and Melham, Tom and Grundy, Jim and Kroening, Daniel},
  booktitle={FMCAD},
  pages={121--128},
  year={2013}
}
@inproceedings{subramanyan2016verifying,
  title={Verifying information flow properties of firmware using symbolic execution},
  author={Subramanyan, Pramod and Malik, Sharad and Khattri, Hareesh and Maiti, Abhranil and Fung, Jason},
  booktitle={2016 Design, Automation \& Test in Europe Conference \& Exhibition (DATE)},
  pages={337--342},
  year={2016},
  organization={IEEE}
}
@inproceedings{subramanyan2015template,
  title={Template-based synthesis of instruction-level abstractions for SoC verification},
  author={Subramanyan, Pramod and Vizel, Yakir and Ray, Sayak and Malik, Sharad},
  booktitle={Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design},
  pages={160--167},
  year={2015},
  organization={FMCAD Inc}
}
@incollection{bjorner2015horn,
  title={Horn clause solvers for program verification},
  author={Bj{\o}rner, Nikolaj and Gurfinkel, Arie and McMillan, Ken and Rybalchenko, Andrey},
  booktitle={Fields of Logic and Computation II},
  pages={24--51},
  year={2015},
  publisher={Springer}
}
@inproceedings{gurfinkel2015seahorn,
  title={The seahorn verification framework},
  author={Gurfinkel, Arie and Kahsai, Temesghen and Komuravelli, Anvesh and Navas, Jorge A},
  booktitle={International Conference on Computer Aided Verification},
  pages={343--361},
  year={2015},
  organization={Springer}
}
@inproceedings{kahlon2006symbolic,
  title={Symbolic model checking of concurrent programs using partial orders and on-the-fgupta2011threadeoly transactions},
  author={Kahlon, Vineet and Gupta, Aarti and Sinha, Nishant},
  booktitle={International Conference on Computer Aided Verification},
  pages={286--299},
  year={2006},
  organization={Springer}
}
@inproceedings{gupta2011threader,
  title={Threader: A constraint-based verifier for multi-threaded programs},
  author={Gupta, Ashutosh and Popeea, Corneliu and Rybalchenko, Andrey},
  booktitle={International Conference on Computer Aided Verification},
  pages={412--417},
  year={2011},
  organization={Springer}
}
@inproceedings{schmidt2013computational,
  title={A computational model for SAT-based verification of hardware-dependent low-level embedded system software},
  author={Schmidt, Bernard and Villarraga, Carlos and Bormann, J{\"o}rg and Stoffel, Dominik and Wedler, Markus and Kunz, Wolfgang},
  booktitle={Design Automation Conference (ASP-DAC), 2013 18th Asia and South Pacific},
  pages={711--716},
  year={2013},
  organization={IEEE}
}
@inproceedings{komuravelli2015compositional,
  title={Compositional verification of procedural programs using horn clauses over integers and arrays},
  author={Komuravelli, Anvesh and Bj{\o}rner, Nikolaj and Gurfinkel, Arie and McMillan, Kenneth L},
  booktitle={Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design},
  pages={89--96},
  year={2015},
  organization={FMCAD Inc}
}
@article{qadeer2004kiss,
  title={KISS: keep it simple and sequential},
  author={Qadeer, Shaz and Wu, Dinghao},
  journal={Acm sigplan notices},
  volume={39},
  number={6},
  pages={14--24},
  year={2004},
  publisher={ACM}
}
@article{srivastava2016hpvm,
  title={HPVM: A Portable Virtual Instruction Set for Heterogeneous Parallel Systems},
  author={Srivastava, Prakalp and Kotsifakou, Maria and Adve, Vikram},
  journal={arXiv preprint arXiv:1611.00860},
  year={2016}
}
@misc{intel-manual,
  title={{Intel} {Architecture} {Software} {Developer's} {Manual.} {Volume} {2:} {Instruction} {Set} {Reference}},
  author={Intel Corporation},
  noshortenauthor={yes},
  year={1999},
  howpublished={\url{http://download.intel.com/design/intarch/manuals/24319101.pdf}},
}

repository: pramodsu/ILA-Tools

repo_name: pramodsu/ILA-Tools

gha_language: C


text:
@article{liu2021exploiting,
 author = {Liu, Vincent and Wright, James and White, Martha},
 journal = {Under Submission},
 title = {Exploiting Action Impact Regularity and Exogenous State Variables for Offline Reinforcement Learning},
 url = {https://arxiv.org/abs/2111.08066},
 year = {2022}
}


text:
/***
Advanced Search
***/

.advanced-search-sidebar {
  float: left;
  width: 230px;
  margin-right: 20px;
}

.advanced-search-content {
  overflow: hidden;
}

/* BEGIN ADVANCED SEARCH LIST */

.advanced-search-list ul li a {
  font-size: 14px !important;
  padding: 8px 10px;
}

.advanced-search-list .nav li a .badge {
  float: right;
  background-color: #b4c4cd !important;
  margin-top: 1px !important;
}

.advanced-search-list .nav li a .badge-active {
  background-color: #ffffff !important;
  color: #637b89 !important;
}

.advanced-search-list .nav .active {
  background-color: #ffffff !important;
}

.advanced-search-list .nav-pills > li.active > a {
  background-color: #87a9c7 !important;
}

/* END ADVANCED SEARCH LIST */

repository: yemrekeskin/DynamicView

repo_name: yemrekeskin/DynamicView


text:
@article{walley_advantages_2015,
	title = {Advantages of a wholly Bayesian approach to assessing efficacy in early drug development: a case study},
	volume = {14},
	issn = {1539-1612},
	doi = {10.1002/pst.1675},
	shorttitle = {Advantages of a wholly Bayesian approach to assessing efficacy in early drug development},
	abstract = {This paper illustrates how the design and statistical analysis of the primary endpoint of a proof-of-concept study can be formulated within a Bayesian framework and is motivated by and illustrated with a Pfizer case study in chronic kidney disease. It is shown how decision criteria for success can be formulated, and how the study design can be assessed in relation to these, both using the traditional approach of probability of success conditional on the true treatment difference and also using Bayesian assurance and pre-posterior probabilities. The case study illustrates how an informative prior on placebo response can have a dramatic effect in reducing sample size, saving time and resource, and we argue that in some cases, it can be considered unethical not to include relevant literature data in this way.},
	pages = {205--215},
	number = {3},
	journaltitle = {Pharmaceutical Statistics},
	shortjournal = {Pharm Stat},
	author = {Walley, Rosalind J. and Smith, Claire L. and Gale, Jeremy D. and Woodward, Phil},
	date = {2015-06},
	urldate = {2017-07-18}
	pmid = {25865949},
	tags = {Bayesian statistics, Informative prior}
}

repository: pmean/build-website

repo_name: pmean/build-website


text:
@Article{Aut2001,
  author = 	 {A. Author1 and B. Author2},
  title = 	 {My new paper},
  journal = 	 {Journal},
  year = 	 {2001},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

repository: prvn-pa/la-tut

repo_name: prvn-pa/la-tut


text:
@article{Brunner-2020-Spatial,
    title = "Spatial Dependence of Floods Shaped by Spatiotemporal Variations in Meteorological and Land‐Surface Processes",
    author = "Brunner, Manuela I.  and
      Gilleland, Eric  and
      Wood, Andy  and
      Swain, Daniel L.  and
      Clark, Martyn",
    journal = "Geophysical Research Letters, Volume 47, Issue 13",
    volume = "47",
    number = "13",
    year = "2020",
    publisher = "American Geophysical Union (AGU)",
    url = "https://aclanthology.org/G20-44001",
    doi = "10.1029/2020gl088000",
    abstract = "Floods often affect large regions and cause adverse societal impacts. Regional flood hazard and risk assessments therefore require a realistic representation of spatial flood dependencies to avoid the overestimation or underestimation of risk. However, it is not yet well understood how spatial flood dependence, that is, the degree of co-occurrence of floods at different locations, varies in space and time and which processes influence the strength of this dependence. We identify regions in the United States with seasonally similar flood behavior and analyze processes governing spatial dependence. We find that spatial flood dependence varies regionally and seasonally and is generally strongest in winter and spring and weakest in summer and fall. Moreover, we find that land-surface processes are crucial in shaping the spatiotemporal characteristics of flood events. We conclude that the regional and seasonal variations in spatial flood dependencies must be considered when conducting current and future flood risk assessments.",
}

repository: gwf-uwaterloo/gwf-publications

repo_name: gwf-uwaterloo/gwf-publications


text:
@INPROCEEDINGS{Itoh2003,
  author = {Takayuki Itoh and Koji Koyamada},
  title = {{HeiankyoView}: Orthogonal Representation of Large-scale Hierarchical Data},
  booktitle = {PBit'03: Proceedings of the International Symposium Towards Peta-Bit Ultra Networks},
  year = {2003},
  pages = {125--130},
  abstract = {Visualization is very useful for various large-scale computing fields. One of the authors has reported a hierarchical data visualization technique, and applied it to various large-scale computing data including large-scale Web sites, but also for data mining results, Web search queries, network intrusion detection results, and distributed processes. This paper presents the new hierarchical data visualization technique, HeiankyoView, which can be also applied to various large-scale computing fields. It places data items of input data while it packs the items as many as possible in small display areas, and aligns the items along X-axis and Y-axis of the display area. The technique represents nodes of hierarchical data as a set of rectangles, which are parallel to X-axis and Y-axis. Here the technique orthogonally divides the display area by extension lines of edges of previously placed rectangles. By referring the grid-like subspaces of the display area, the technique quickly finds the adequate positions to place remaining rectangles.},
  url = {http://itolab.is.ocha.ac.jp/~itot/paper/ItotRICPE18.pdf}
}

repository: vis-au/treevisnet

repo_name: vis-au/treevisnet


text:
body {
    font-family: 'Noto Sans TC', sans-serif;
    color: #333;
      background-image: url("/assets/img/bg.min.jpg");
      background-attachment: fixed;
      background-position: center;
      background-size: cover;
}
p {
    color: #666;
    text-align: justify;
    word-break: break-all;
}
a, a:visited, a:hover {
    color: #666;
}
a.btn {
    color: #FC761B;
}
#lang-btn {
    position: fixed;
    right: 1em;
    top: 1em;
    z-index: 999;
    font-size: 0.8em;
}
#header-img {
    height: 100vh;
    width: 100%;
    overflow: hidden;
}
.inner-img {
    position: absolute;
    top: 0;
    left: 0;
    background-repeat: no-repeat;
    background-position: center;
    height: 100%;
    width: 100%;
}
#header-img .inner-img.inner-1 {
    background-size: 60%;
    background-image: url("../assets/img/Sch001_2020_f2.png");
}
#header-img .inner-img.inner-2 {
    background-size: 120%;
    background-image: url("../assets/img/Sch001_2020_f1.png");
}

#intros {
    background-color: white;
}

.col-block {
    border: 1px solid #AAA;
    transition: 0.5s;
}
.col-block:hover {
    border: 1px solid #666;
}
.team-img {
    padding-top: 100%;
    background-size: cover;
    background-position: center;
    background-repeat: no-repeat;
}
.team-img-inner {
    padding-top: 75%;
    background-size: contain;
    background-position: center;
    background-repeat: no-repeat;
}
.media-img {
    background-size: cover;
    background-position: center;
    background-repeat: no-repeat;
    padding-top: 75%;
}
.carousel-img {
    background-size: cover;
    background-position: center;
    background-repeat: no-repeat;
    height: 27vw;
}

#courses {
    min-height: 20em;
}

#courselist p {
    color: #AAA;
    font-size: 1.2em;
}
#courselist .animatenumbers {
    color: #FDD;
    font-size: 1.8em;
    width: 1.8em;
    display: inline-block;
}

#carouselPhotos {
    outline: 5px solid #fff;
}

#mediareports {
    background-color: white;
}

#footer {
  bottom: 0;
padding: 1rem 0;
background-color: rgba(0,0,0,0.6);
}
#footer a {
  font-size: 1rem;
  margin: 0.5rem;
  border-radius: 5px;
}
#footer a:link {
  color: #AAA;
}
#footer a:visited {
  color: #AAA;
}

.btn-outline-my {
  color: #FC761B;
  background-color: rgba(0,0,0,0);
  border: 1.5px solid #FC761B;
}
.btn-outline-my:hover {
  color: #FFF;
  background-color: #FC761B;
}

@media (max-width: 991px) {
    body {
        font-size: 1.2em;
    }
    #header-img .inner-img {
        display: none;
    }
    #header-img {
        height: 30vh;
        background-image: url("../assets/img/Sch001_2020.png");
        background-attachment: local;
    }
    .carousel-img {
        height: 60vw;
    }
    .media-img {
        height: 200px;
    }
}


text:
@inproceedings{NipkowOP00,
        author={Tobias Nipkow and Oheimb, David von and Cornelia Pusch},
        title={{$\mu$Java}: Embedding a Programming Language in a Theorem Prover},
        booktitle = {Foundations of Secure Computation},
        series= {NATO Science Series F: Computer and Systems Sciences},
        volume = {175},
        year = {2000},
        publisher = {IOS Press},
        editor = {Friedrich L. Bauer and Ralf Steinbr{\"u}ggen},
        abstract = {This paper introduces the subset $micro$Java of Java,
essentially by omitting everything but classes.
The type system and semantics of this language
(and a corresponding abstract Machine $micro$JVM)
are formalized in the theorem prover Isabelle/HOL.
Type safety both of $micro$Java and the $micro$JVM
are mechanically verified.

To make the paper self-contained, it starts with
introductions to Isabelle/HOL and the art of
embedding languages in theorem provers.},
        CRClassification = {D.3.1, F.3.2},
        CRGenTerms = {Languages, Reliability, Theory, Verification},
        url = {\url{https://isabelle.in.tum.de/Bali/papers/MOD99.html}},
        pages = {117--144}
}

@inproceedings{DvO-ECOOP00,
        author = {David von Oheimb},
        title = {Axiomatic Semantics for {J}ava$^{\ell{}ight}$ in {Isabelle/HOL}},
        booktitle = {Formal Techniques for {J}ava Programs},
        year = {2000},
        publisher = {Fernuniversit{{\"a}t} Hagen},
        editor = {Drossopoulou, S. and Eisenbach, S. and Jacobs, B. and Leavens, G. T. and M{\"u}ller, P. and Poetzsch-Heffter, A.},
        organization = {Technical Report 269, 5/2000},
        note = {ECOOP2000 Workshop proceedings available from \url{http://www.informatik.fernuni-hagen.de/pi5/publications.html}},
        abstract = {We introduce a Hoare-style calculus for a nearly
full subset of sequential Java, which we call Java_light. In particular,
we present solutions to challenging features like exception handling,
static initialization of classes and dynamic binding of methods.

This axiomatic semantics has been proved sound and complete w.r.t.
our operational semantics of Java_light, described in earlier papers.
To our knowledge, our Hoare logic is the first one for an
object-oriented language that has been proved complete.
The proofs also give new insights into the role of type-safety.

All the formalization and proofs have been done with the
theorem prover Isabelle/HOL.},
        CRClassification = {D.2.4, D.3.1, F.3.1},
        CRGenTerms = {Languages, Verification, Theory},
        url       = {\url{https://isabelle.in.tum.de/Bali/papers/ECOOP00.html}}
}

@inproceedings{KleinN00,
author={Gerwin Klein and Tobias Nipkow},
title={Verified Lightweight Bytecode Verification},
        booktitle = {Formal Techniques for {J}ava Programs},
        year = {2000},
        publisher = {Fernuniversit{{\"a}t} Hagen},
        editor = {Drossopoulou, S. and Eisenbach, S. and Jacobs, B. and Leavens, G. T. and M{\"u}ller, P. and Poetzsch-Heffter, A.},
        organization = {Technical Report 269, 5/2000},
        note = {ECOOP2000 Workshop proceedings available from \url{http://www.informatik.fernuni-hagen.de/pi5/publications.html}},
        url       = {\url{http://www4.in.tum.de/~nipkow/pubs/lbv.html}}
}

@article{KleinN-CPE01,
        author = "Gerwin Klein and Tobias Nipow",
        title = "Verified Lightweight Bytecode Verification",
        journal = "Concurrency and Computation: Practice and Experience",
        year = "2001",
        volume = "13",
        number = "13",
        editor = "Gary T. Leavens and Susan Eisenbach",
        pages = "1133-1151",
        url = {http://www4.informatik.tu-muenchen.de/~kleing/papers/cpe01.html},
        abstract = {Eva and Kristoffer Rose proposed a (sparse) annotation of Java Virtual
Machine code with types to enable a one-pass verification of welltypedness.
We have formalized a variant of their proposal in the theorem prover
Isabelle/HOL and proved soundness and completeness.},
        note = {Invited contribution to special issue on Formal Techniques for Java},
}

@inproceedings{Nipkow-FOSSACS01,author={Tobias Nipkow},
title={Verified Bytecode Verifiers},booktitle=
{Foundations of Software Science and Computation Structures (FOSSACS 2001)},
editor={F. Honsell},publisher=Springer,series=LNCS,volume=2030,
pages={347--363},year=2001}

gha_license_id: NOASSERTION

gha_language: Isabelle


text:
@article{Tang-2022-EM-Earth:,
    title = "EM-Earth: The Ensemble Meteorological Dataset for Planet Earth",
    author = "Tang, Guoqiang  and
      Clark, Martyn P.  and
      Papalexiou, Simon Michael",
    journal = "Bulletin of the American Meteorological Society, Volume 103, Issue 4",
    volume = "103",
    number = "4",
    year = "2022",
    publisher = "American Meteorological Society",
    url = "https://aclanthology.org/G22-34001",
    doi = "10.1175/bams-d-21-0106.1",
    pages = "E996--E1018",
    abstract = "Abstract Gridded meteorological estimates are essential for many applications. Most existing meteorological datasets are deterministic and have limitations in representing the inherent uncertainties from both the data and methodology used to create gridded products. We develop the Ensemble Meteorological Dataset for Planet Earth (EM-Earth) for precipitation, mean daily temperature, daily temperature range, and dewpoint temperature at 0.1{\mbox{$^\circ$}} spatial resolution over global land areas from 1950 to 2019. EM-Earth provides hourly/daily deterministic estimates, and daily probabilistic estimates (25 ensemble members), to meet the diverse requirements of hydrometeorological applications. To produce EM-Earth, we first developed a station-based Serially Complete Earth (SC-Earth) dataset, which removes the temporal discontinuities in raw station observations. Then, we optimally merged SC-Earth station data and ERA5 estimates to generate EM-Earth deterministic estimates and their uncertainties. The EM-Earth ensemble members are produced by sampling from parametric probability distributions using spatiotemporally correlated random fields. The EM-Earth dataset is evaluated by leave-one-out validation, using independent evaluation stations, and comparing it with many widely used datasets. The results show that EM-Earth is better in Europe, North America, and Oceania than in Africa, Asia, and South America, mainly due to differences in the available stations and differences in climate conditions. Probabilistic spatial meteorological datasets are particularly valuable in regions with large meteorological uncertainties, where almost all existing deterministic datasets face great challenges in obtaining accurate estimates.",
}


text:
##
## Copyright (c) 2017, Alliance for Open Media. All rights reserved
##
## This source code is subject to the terms of the BSD 2 Clause License and
## the Alliance for Open Media Patent License 1.0. If the BSD 2 Clause License
## was not distributed with this source code in the LICENSE file, you can
## obtain it at www.aomedia.org/license/software. If the Alliance for Open
## Media Patent License 1.0 was not distributed with this source code in the
## PATENTS file, you can obtain it at www.aomedia.org/license/patent.
##
if (NOT AOM_AOM_PORTS_AOM_PORTS_CMAKE_)
set(AOM_AOM_PORTS_AOM_PORTS_CMAKE_ 1)

set(AOM_PORTS_INCLUDES
    "${AOM_ROOT}/aom_ports/aom_once.h"
    "${AOM_ROOT}/aom_ports/aom_timer.h"
    "${AOM_ROOT}/aom_ports/bitops.h"
    "${AOM_ROOT}/aom_ports/emmintrin_compat.h"
    "${AOM_ROOT}/aom_ports/mem.h"
    "${AOM_ROOT}/aom_ports/mem_ops.h"
    "${AOM_ROOT}/aom_ports/mem_ops_aligned.h"
    "${AOM_ROOT}/aom_ports/msvc.h"
    "${AOM_ROOT}/aom_ports/system_state.h")

set(AOM_PORTS_INCLUDES_X86
    "${AOM_ROOT}/aom_ports/x86_abi_support.asm")

set(AOM_PORTS_ASM_MMX "${AOM_ROOT}/aom_ports/emms.asm")

set(AOM_PORTS_SOURCES_ARM
    "${AOM_ROOT}/aom_ports/arm.h"
    "${AOM_ROOT}/aom_ports/arm_cpudetect.c")

# For arm targets and targets where HAVE_MMX is true:
#   Creates the aom_ports build target, adds the includes in aom_ports to the
#   target, and makes libaom depend on it.
# Otherwise:
#   Adds the includes in aom_ports to the libaom target.
# For all target platforms:
#   The libaom target must exist before this function is called.
function (setup_aom_ports_targets)
  if (HAVE_MMX)
    add_asm_library("aom_ports" "AOM_PORTS_ASM_MMX" "aom")
    set(aom_ports_has_symbols 1)
  elseif ("${AOM_TARGET_CPU}" MATCHES "arm")
    add_library(aom_ports OBJECT ${AOM_PORTS_SOURCES_ARM})
    set(aom_ports_has_symbols 1)
    target_sources(aom PRIVATE $<TARGET_OBJECTS:aom_ports>)
  endif ()

  if (aom_ports_has_symbols)
    target_sources(aom_ports PRIVATE ${AOM_PORTS_INCLUDES})

    if ("${AOM_TARGET_CPU}" STREQUAL "x86" OR
        "${AOM_TARGET_CPU}" STREQUAL "x86_64")
      target_sources(aom_ports PRIVATE ${AOM_PORTS_INCLUDES_X86})
    endif ()

    set(AOM_LIB_TARGETS ${AOM_LIB_TARGETS} PARENT_SCOPE)
  else ()
    target_sources(aom PRIVATE ${AOM_PORTS_INCLUDES})

    if ("${AOM_TARGET_CPU}" STREQUAL "x86" OR
        "${AOM_TARGET_CPU}" STREQUAL "x86_64")
      target_sources(aom PRIVATE ${AOM_PORTS_INCLUDES_X86})
    endif ()
  endif ()
endfunction ()

endif ()  # AOM_AOM_PORTS_AOM_PORTS_CMAKE_

repository: mozilla/aom

repo_name: mozilla/aom


text:
@INPROCEEDINGS{MyPaperofSynchronization,
author={L. Valbuena and P. Cruz and R. Figueroa and F. Sorrentino and R. Fierro},
booktitle={2014 IEEE/RSJ International Conference on Intelligent Robots and Systems},
title={Stable formation of groups of robots via synchronization},
year={2014},
pages={376-381},
keywords={aerospace robotics;mobile robots;position control;formation control;inter-group phase configuration state;intra-group phase configuration state;phase alignment;phase balancing;planar agents;rotorcraft aerial platforms;synchronization;terrestrial robots;Educational institutions;Oscillators;Robot kinematics;Robot sensing systems;Synchronization;Trajectory},
doi={10.1109/IROS.2014.6942587},
ISSN={2153-0858},
month={Sept},}

@ARTICLE{Sepulchre_Stabilization_All_to_All_Communication,
author={Sepulchre, R. and Paley, D.A. and Leonard, N.E.},
journal={Automatic Control, IEEE Transactions on},
title={Stabilization of Planar Collective Motion: All-to-All Communication},
year={2007},
volume={52},
number={5},
pages={811-824},
keywords={Lyapunov methods;asymptotic stability;control system synthesis;Lyapunov functions;exponential stability;fixed relative spacing;isolated relative equilibria;planar collective motion stabilization;Aerospace engineering;Control systems;Design methodology;Feedback;Lyapunov method;Multiagent systems;Oscillators;Sea measurements;Solid modeling;Stability;Cooperative control;geometric control;multi agent systems;stabilization},
doi={10.1109/TAC.2007.898077},
ISSN={0018-9286},
}

@article{arenas2008synchronization,
  title={Synchronization in complex networks},
  author={Arenas, Alex and Diaz-Guilera, Albert and Kurths, Jurgen and Moreno, Yamir and Zhou, Changsong},
  journal={Physics Reports},
  volume={469},
  number={3},
  pages={93--153},
  year={2008},
  publisher={Elsevier}
}

@article{sorrentino2007network,
  title={Network synchronization of groups},
  author={Sorrentino, Francesco and Ott, Edward},
  journal={Physical Review E},
  volume={76},
  number={5},
  pages={056114},
  year={2007},
  publisher={APS}
}

@article{williams2013experimental,
  title={Experimental Observations of Group Synchrony in a System of Chaotic Optoelectronic Oscillators},
  author={Williams, Caitlin RS and Murphy, Thomas E and Roy, Rajarshi and Sorrentino, Francesco and Dahms, Thomas and Sch{\"o}ll, Eckehard},
  journal={Physical review letters},
  volume={110},
  number={6},
  pages={064104},
  year={2013},
  publisher={APS}
}
@ARTICLE{2012PhRvE..86a6202D,
   author = {{Dahms}, T. and {Lehnert}, J. and {Sch{\"o}ll}, E.},
    title = {Cluster and group synchronization in delay-coupled networks},
  journal = {Phys. Rev. Lett.},
 keywords = {Synchronization; coupled oscillators, Control of chaos, applications of chaos, Delay and functional equations, Complex systems},
     year = 2012,
    month = jul,
   volume = 86,
   number = 1,
      eid = {016202},
    pages = {016202},
      doi = {10.1103/PhysRevE.86.016202},
   adsurl = {http://adsabs.harvard.edu/abs/2012PhRvE..86a6202D},
  adsnote = {Provided by the SAO/NASA Astrophysics Data System}
}
@article{PhysRevLett.110.159901,
  title = {Experimental Observations of Group Synchrony in a System of Chaotic Optoelectronic Oscillators},
  author = {Williams, Caitlin R. S. and Murphy, Thomas E. and Roy, Rajarshi and Sorrentino, Francesco and Dahms, Thomas and Sch\"oll, Eckehard},
  journal = {Phys. Rev. Lett.},
  volume = {110},
  issue = {15},
  pages = {159901},
  numpages = {1},
  year = {2013},
  month = {Apr},
  doi = {10.1103/PhysRevLett.110.159901},
  url = {http://link.aps.org/doi/10.1103/PhysRevLett.110.159901},
  publisher = {American Physical Society}
}
@article{ Koditschek_1992,
  author = {E. Rimon and D.E. Koditschek},
  title = {Exact Robot Navigation Using Artificial Potential Fields},
  journal ={IEEE Transactions on Robotics and Automation},
  volume = {8},
  number = {5},
  year = {1992},
  pages = {501-518},
}
@ARTICLE{Tanner_Boddu_Multiagent_Navigation_Functions_Revisited,
author={Tanner, H.G. and Boddu, A.},
journal={IEEE Transactions on Robotics},
title={Multiagent Navigation Functions Revisited},
year={2012},
volume={28},
number={6},
pages={1346-1359},
keywords={mobile agents;multi-agent systems;multi-robot systems;control law;free-floating formation;mobile agents;multiagent navigation functions;multiagent potential functions;multirobot systems;single-agent potential function approach;Collision avoidance;Mobile agents;Multiagent systems;Navigation;Robot kinematics;Formation control;multi-agent systems;potential fields},
doi={10.1109/TRO.2012.2210656},
ISSN={1552-3098},}
@ARTICLE { Kumar_Multirotor_Aerial_Vehicles,
    AUTHOR = { Mahony, R. and Kumar, V. and Corke, P. },
    ADDED = { 2012-09-09 12:01:44 +0000 },
    MODIFIED = { 2012-09-09 12:01:57 +0000 },
    DOI = { 10.1109/MRA.2012.2206474 },
    ISSN = { 1070-9932 },
    JOURNAL = { Robotics Automation Magazine, IEEE },
    NUMBER = { 99 },
    PAGES = { 1 },
    TITLE = { Multirotor Aerial Vehicles: Modeling, Estimation, and Control of Quadrotor },
    VOLUME = { PP },
    YEAR = { 2012 },
}
@ARTICLE{4456754,
author={Loizou, S.G. and Kyriakopoulos, K.J.},
journal={IEEE Transactions on Robotics},
title={Navigation of Multiple Kinematically Constrained Robots},
year={2008},
volume={24},
number={1},
pages={221 -231},
keywords={asymptotic stability;bounded velocity specification;holonomic agent;mobile robots;multiple kinematic constrained robot;multirobot navigation-function-based controller;nonholonomic agent;nonsmooth backstepping controller;asymptotic stability;mobile robots;multi-robot systems;navigation;robot dynamics;robot kinematics;},
doi={10.1109/TRO.2007.912092},
ISSN={1552-3098},
}
@ARTICLE{1333204,
author={Reza Olfati-Saber and Richard Murray},
journal={IEEE Transactions on Automatic Control},
title={Consensus problems in networks of agents with switching topology and time-delays},
year={2004},
volume={49},
number={9},
pages={ 1520 - 1533},
keywords={ Lyapunov functions; control theory; convergence analysis; dynamic agent networks; graph theory; linear consensus protocols; matrix theory; switching topology; time-delays; Lyapunov methods; control theory; convergence; delays; graph theory; matrix algebra; time-varying systems;},
doi={10.1109/TAC.2004.834113},
ISSN={0018-9286},
}
@INPROCEEDINGS{Tanner03stableflocking,
    author = {Herbert G. Tanner and Ali Jadbabaie and George J. Pappas},
    title = {{Stable Flocking of Mobile Agents, Part II: Dynamic Topology}},
    booktitle = {IEEE Conference on Decision and Control},
    year = {2003},
    pages = {2016--2021}
}
@INPROCEEDINGS{1272910,
author={Tanner, H.G. and Jadbabaie, A. and Pappas, G.J.},
booktitle={42nd IEEE Conference on Decision and Control},
title={{Stable flocking of mobile agents, Part I: fixed topology}},
year={2003},
volume={2},
number={},
pages={ 2010 - 2015 Vol.2},
keywords={ collision avoidance; control interconnections; coordination control scheme; double integrator dynamics; fixed topology; multiple mobile agents; smooth control laws; stable flocking motion; collision avoidance; decentralised control; graph theory; mobile robots; multi-robot systems; stability;},
doi={10.1109/CDC.2003.1272910},
ISSN={0191-2216},
}
@INPROCEEDINGS{1570754,
author={ Tanner, H.G. and Kumar, A.},
booktitle={Proceedings of the IEEE International Conference on Robotics and Automation},
title={Towards Decentralization of Multi-robot Navigation Functions},
year={2005},
volume={},
number={},
pages={ 4132 - 4137},
keywords={},
doi={10.1109/ROBOT.2005.1570754},
ISSN={},
}
@INPROCEEDINGS{Olfati-saber02distributedcooperative,
    author = {Reza Olfati-saber and Richard M. Murray},
    title = {Distributed cooperative control of multiple vehicle formations using structural potential functions},
    booktitle = {IFAC World Congress},
    year = {2002}
}
@ARTICLE{OOgren04cooperativecontrol,
    author = {Petter \"Ogren and Edward Fiorelli and Naomi Ehrich Leonard},
    title = {Cooperative control of mobile sensor networks: Adaptive gradient climbing in a distributed environment},
    journal = {IEEE Transactions on Automatic Control},
    year = {2004},
    volume = {49},
    pages = {1292--1302}
}
@INPROCEEDINGS{Zavlanos03decentralizedmotion,
    author = {Michael M. Zavlanos and Kostas J. Kyriakopoulos},
    booktitle={11th Mediterranean Conference on Control and Automation},
    title = {Decentralized Motion Control of Multiple Mobile Agents},
    year = {2003}
}
@Article{Dorfler_Bullo_Survey,
author = {F. Dorfler and F. Bullo},
title = {Synchronization in Complex Oscillator Networks: {A} Survey},
journal = {automatica},
year = 2013,
month = apr,
note = {Submitted},
keyword = {Power; Networks},
}

@article{PhysRevE.76.056114,
  title = {Network synchronization of groups},
  author = {Sorrentino, Francesco and Ott, Edward},
  journal = {Phys. Rev. E},
  volume = {76},
  issue = {5},
  pages = {056114},
  numpages = {10},
  year = {2007},
  month = {Nov},
  doi = {10.1103/PhysRevE.76.056114},
  url = {http://link.aps.org/doi/10.1103/PhysRevE.76.056114},
  publisher = {American Physical Society}
}

@article{0295-5075-93-5-50002,
  author={F. Sorrentino and M. Porfiri},
  title={Analysis of parameter mismatches in the master stability function for network synchronization},
  journal={EPL (Europhysics Letters)},
  volume={93},
  number={5},
  pages={50002},
  url={http://stacks.iop.org/0295-5075/93/i=5/a=50002},
  year={2011},
  abstract={In this letter, we perform a sensitivity analysis on the master stability function approach for the synchronization of networks of coupled dynamical systems. More specifically, we analyze the linear stability of a nearly synchronized solution for a network of coupled dynamical systems, for which the individual dynamics and output functions of each unit are approximately identical and the sums of the entries in the rows of the coupling matrix slightly deviate from zero. The motivation for this parametric study comes from experimental instances of synchronization in human-made or natural settings, where ideal conditions are difficult to observe.}
}

@Article{key1,
author	= "Author",
title	= "Title of Article",
journal	= "Title of Journal",
year = year,
month = "month"
}

@Book{LinearQuadraticControl_Chaouki_Abdallah ,
author	= "Peter Dorato and Chaouki T. Abdallah and Vito Cerone",
publisher	= "Prentice Hall",
title	=	"Linear Quadratic Control: An Introduction.",
year	= 1995
}
@INPROCEEDINGS{6386230,
author={Karydis, K. and Poulakakis, I. and Tanner, H.G.},
booktitle={IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
title={A switching kinematic model for an octapedal robot},
year={2012},
pages={507-512},
keywords={feedback;legged locomotion;motion control;path planning;robot kinematics;eight-legged bioinspired miniature robot;feedback control;horizontal motion;locomotion behavior;motion planning;octapedal robot;reduced-order kinematic representations;switching four-bar linkages;switching kinematic model;tetrapod gait;Analytical models;Couplings;Kinematics;Legged locomotion;Oscillators;Switches},
doi={10.1109/IROS.2012.6386230},
ISSN={2153-0858},}

@INPROCEEDINGS{6225261,
author={Pullin, A. O. and Kohut, N.J. and Zarrouk, D. and Fearing, R.S.},
booktitle={IEEE International Conference on Robotics and Automation (ICRA)},
title={Dynamic turning of 13 cm robot comparing tail and differential drive},
year={2012},
pages={5086-5093},
keywords={actuators;cells (electric);electric motors;legged locomotion;position control;robot dynamics;slip;steering systems;turning (machining);velocity control;2 drive motors;OctoRoACH;battery electronics;closed-loop bandwidth;control electronics;differential drive;differential velocity drive;differential-drive steering;dynamic robot;dynamic turning;leg slip;leg velocity control;low-mass tail;moderate friction surfaces;modified off-the-shelf servo;rate-gyro-based heading control system;robot without tail;running legged robots;tail drive;turning commands;uncertain dynamics;yaw frequencies;yaw rate control;Batteries;Friction;Kinematics;Legged locomotion;Turning;Velocity control},
doi={10.1109/ICRA.2012.6225261},
ISSN={1050-4729},}

@MISC{MAST_WebPage,
author = {Herbert Tanner},
title = {Abstraction and Model Predictive Control},
year = {2013},
url = {https://alliance.seas.upenn.edu/~mastwiki/wiki/index.php?n=Repository.2013-2017QuarterlyReports},}

@book{GMM_EM,
author = {Christopher M. Bishop},
title = {Pattern Recognition and Machine Learning},
year = {2006},
publisher = {Springer},
url = {www.cse.psu.edu/~rtc12/CSE586Spring2010/papers/prmlMixturesEM.pdf},
}

@book{Khalil_NonlinearSystems,
 author={Hassan K. Khalil},
 title={Nonlinear Systems},
 publisher={Prentice Hall},
 year={2002},}

@book{ghassemlooy2012optical,
  title={Optical Wireless Communications: System and Channel Modelling with MATLAB{\textregistered}},
  author={Ghassemlooy, Z. and Popoola, W. and Rajbhandari, S.},
  isbn={9781439851883},
  lccn={2012006800},
  year={2012},
  publisher={Taylor \& Francis}
}
@phdthesis{Mellinger_Thesis,
  author = {Daniel Warren Mellinger},
  title = {Trajectory Generation and Control for Quadrotors},
  school = {University of Pennsilvanya},
  year = {2012}
}
@MISC{MOOC_Quadcopters,
  title         = "Robotics: Aerial Robotics by University of Pennsylvania",
  url           = "https://www.coursera.org/learn/robotics-flight/home/welcome",
  organization  = "Coursera",
  month         = "",
  year          = ""
}

@MISC{AscTec_link,
  title         = "AscTec Hummingbird",
  url           = "http://www.asctec.de/uav-applications/research/products/asctec-hummingbird/",
  organization  = "Ascending Technologies",
  month         = "June",
  year          = "2016"
}

@MISC{TurtleBots_link,
  title         = "TurtleBot 2",
  url           = "http://www.willowgarage.com/turtlebot",
  organization  = "Willow Garage",
  month         = "February",
  year          = "2014"
}

@MISC{marhes_link,
  title         = "Stable Formation of Groups of Heterogeneous Robots
via Synchronization",
  url           = "http://marhes.ece.unm.edu",
  organization  = "The University of New Mexico - \marhes Laboratory",
  month         = "February",
  year          = "2014"
}

@ARTICLE{suggestedReferenceOne,
author={Hongkeun Kim and Hyungbo Shim and Jin Heon Seo},
journal={IEEE Transactions on Automatic Control},
title={Output Consensus of Heterogeneous Uncertain Linear Multi-Agent Systems},
year={2011},
volume={56},
number={1},
pages={200-206},
keywords={feedback;linear systems;multi-agent systems;regulation;telecommunication networks;uncertain systems;communication network;heterogeneous uncertain linear multiagent system;output consensus;output feedback;output regulation theory;parametric uncertainty;Eigenvalues and eigenfunctions;Laplace equations;Network topology;Observers;Regulators;Synchronization;Uncertainty;Heterogeneous multi-agent systems;internal models;output consensus;output feedback},
doi={10.1109/TAC.2010.2088710},
ISSN={0018-9286},}

@Article{Burges1998,
author="Burges, Christopher J.C.",
title="A Tutorial on Support Vector Machines for Pattern Recognition",
journal="Data Mining and Knowledge Discovery",
year="1998",
volume="2",
number="2",
pages="121--167",
abstract="The tutorial starts with an overview of the concepts of VC dimension and structural risk minimization. We then describe linear Support Vector Machines (SVMs) for separable and non-separable data, working through a non-trivial example in detail. We describe a mechanical analogy, and discuss when SVM solutions are unique and when they are global. We describe how support vector training can be practically implemented, and discuss in detail the kernel mapping technique which is used to construct SVM solutions which are nonlinear in the data. We show how Support Vector machines can have very large (even infinite) VC dimension by computing the VC dimension for homogeneous polynomial and Gaussian radial basis function kernels. While very high VC dimension would normally bode ill for generalization performance, and while at present there exists no theory which shows that good generalization performance is guaranteed for SVMs, there are several arguments which support the observed high accuracy of SVMs, which we review. Results of some experiments which were inspired by these arguments are also presented. We give numerous examples and proofs of most of the key theorems. There is new material, and I hope that the reader will find that even old material is cast in a fresh light.",
issn="1573-756X",
doi="10.1023/A:1009715923555",
url="http://dx.doi.org/10.1023/A:1009715923555"
}

@article{suggestedReferencetTwo,
title = "Output synchronization for heterogeneous networks of non-introspective agents ",
journal = "Automatica ",
volume = "48",
number = "10",
pages = "2444 - 2453",
year = "2012",
note = "",
issn = "0005-1098",
doi = "http://dx.doi.org/10.1016/j.automatica.2012.06.081",
author = "Håvard Fjær Grip and Tao Yang and Ali Saberi and Anton A. Stoorvogel",
keywords = "Synchronization",
keywords = "Decentralization",
keywords = "Multi-agent systems "
}
%url = "http://www.sciencedirect.com/science/article/pii/S0005109812003512",

@article{suggestedReferencetThree,
title = "Phase synchronization control of complex networks of Lagrangian systems on adaptive digraphs ",
journal = "Automatica ",
volume = "49",
number = "5",
pages = "1148 - 1161",
year = "2013",
note = "",
issn = "0005-1098",
doi = "http://dx.doi.org/10.1016/j.automatica.2013.01.048",
author = "Soon-Jo Chung and Saptarshi Bandyopadhyay and Insu Chang and Fred Y. Hadaegh",
keywords = "Co-operative control",
keywords = "Complex network",
keywords = "Synchronization",
keywords = "Nonlinear control",
keywords = "Adaptive control",
keywords = "Robotics",
keywords = "Space vehicles "
}
%url = "http://www.sciencedirect.com/science/article/pii/S0005109813000496",

@ARTICLE{HMM_Rabiner,
author={Lawrence R. Rabiner},
journal={Proceedings of the IEEE},
title={A Tutorial on Hidden Markov Models and Selected Applications in Speech Recognition},
year={1987},
volume={77},
number={2},
pages={257-286},}

@book{bookML_Murphy,
 author={Kevin P. Murphy},
 title={Machine Learning a probabilistic perspective},
 publisher={The MIT Press},
 year={2012},}

repository: valbuenaster/ML-Material

path: /HOMEWORK 4/References.bib

repo_name: valbuenaster/ML-Material


text:
# cppcheck
add_custom_target(
	cppcheck
	ALL
	COMMAND cppcheck
	${CMAKE_SOURCE_DIR}/app
	${CMAKE_SOURCE_DIR}/lib
    --enable=warning
    --std=c++20
	--output-file=${CMAKE_SOURCE_DIR}/analysis/cppcheck.txt
)

repository: andi-makes/ZeroOverheadCPP

repo_name: andi-makes/ZeroOverheadCPP


text:
@article{2014MNRAS.441.2034T,
 abstract = {The spiral host galaxy of the Swift GRB 060505 at z = 0.089 was the site
of a puzzling long duration burst without an accompanying
supernova. Studies of the burst environment by Thöne et al.
suggested that this Gamma-ray Burst (GRB) came from the collapse
of a massive star and that the GRB site was a region with
properties different from the rest of the galaxy. We reobserved
the galaxy in high spatial resolution using the VIMOS integral-
field unit at the VLT with a spaxel size of 0.67 arcsec.
Furthermore, we use long-slit high-resolution data from
HIRES/Keck at two different slit positions covering the GRB
site, the centre of the galaxy and an H II region next to the
GRB region. We compare the properties of different H II regions
in the galaxy with the GRB site and study the global and local
kinematic properties of this galaxy. The resolved data show that
the GRB site has the lowest metallicity in the galaxy with ̃1/3
Z$_☉$, but its specific star formation rate (SSFR) of 7.4
M$_☉$ yr$^-1$/L/L* and age (determined by the
H\ensuremathα EW) are similar to other H II regions in
the host. The galaxy shows a gradient in metallicity and SSFR
from the bulge to the outskirts as it is common for spiral
galaxies. This gives further support to the theory that GRBs
prefer regions of higher star formation and lower metallicity,
which, in S-type galaxies, are more easily found in the spiral
arms than in the centre. Kinematic measurements of the galaxy do
not show evidence for large perturbations but a minor merger in
the past cannot be excluded. This study confirms the collapsar
origin of GRB 060505 but reveals that the properties of the H II
region surrounding the GRB were not unique to that galaxy.
Spatially resolved observations are key to know the implications
and interpretations of unresolved GRB hosts observations at
higher redshifts.},
 adsnote = {Provided by the SAO/NASA Astrophysics Data System},
 adsurl = {https://ui.adsabs.harvard.edu/abs/2014MNRAS.441.2034T},
 archiveprefix = {arXiv},
 author = {Thöne, C.~C. and Christensen, L. and Prochaska, J.~X. and
Bloom, J.~S. and Gorosabel, J. and Fynbo, J.~P.~U. and
Jakobsson, P. and Fruchter, A.~S.},
 doi = {10.1093/mnras/stu711},
 eprint = {1404.0881},
 journal = {\mnras},
 keywords = {techniques: high angular resolution, gamma-ray bursts: individual: GRB 060505, galaxies: ISM, galaxies: kinematics and dynamics, Astrophysics - High Energy Astrophysical Phenomena, Astrophysics - Astrophysics of Galaxies},
 month = {Jul},
 number = {3},
 pages = {2034-2048},
 primaryclass = {astro-ph.HE},
 title = {The host of the SN-less GRB 060505 in high resolution},
 volume = {441},
 year = {2014}
}

repository: profjsb/my-content

repo_name: profjsb/my-content


text:
@import url(https://fonts.googleapis.com/css?family=Roboto:400,700,700italic,400italic);
.container {
  display: flex;
  flex-wrap: wrap;
  flex-direction: column; }
  .container.reverse {
    flex-direction: column-reverse; }
  .container.columns {
    flex-direction: row; }
    .container.columns.reverse {
      flex-direction: row-reverse; }
  .container.grow {
    flex-grow: 1; }
    .container.grow.grow-2 {
      flex-grow: 2; }
    .container.grow.grow-3 {
      flex-grow: 3; }
    .container.grow.grow-4 {
      flex-grow: 4; }
    .container.grow.grow-5 {
      flex-grow: 5; }
    .container.grow.grow-6 {
      flex-grow: 6; }
    .container.grow.grow-7 {
      flex-grow: 7; }
    .container.grow.grow-8 {
      flex-grow: 8; }
    .container.grow.grow-9 {
      flex-grow: 9; }
    .container.grow.grow-10 {
      flex-grow: 10; }
    .container.grow.grow-11 {
      flex-grow: 11; }
    .container.grow.grow-12 {
      flex-grow: 12; }
  .container.place-start {
    justify-content: flex-start; }
  .container.place-end {
    justify-content: flex-end; }
  .container.place-center {
    justify-content: center; }
  .container.place-spread {
    justify-content: space-between; }
  .container.place-equal {
    justify-content: space-around; }
  .container.align-start {
    align-content: flex-start; }
  .container.align-end {
    align-content: flex-end; }
  .container.align-center {
    align-content: center; }
  .container.align-baseline {
    align-content: center; }
  .container.stretch {
    align-content: stretch; }
  @media screen and (min-device-width: 768px) {
    .container.t-reverse {
      flex-direction: column-reverse; }
    .container.t-columns {
      flex-direction: row; }
      .container.t-columns.t-reverse {
        flex-direction: row-reverse; }
    .container.t-grow {
      flex-grow: 1; }
      .container.t-grow.t-grow-2 {
        flex-grow: 2; }
      .container.t-grow.t-grow-3 {
        flex-grow: 3; }
      .container.t-grow.t-grow-4 {
        flex-grow: 4; }
      .container.t-grow.t-grow-5 {
        flex-grow: 5; }
      .container.t-grow.t-grow-6 {
        flex-grow: 6; }
      .container.t-grow.t-grow-7 {
        flex-grow: 7; }
      .container.t-grow.t-grow-8 {
        flex-grow: 8; }
      .container.t-grow.t-grow-9 {
        flex-grow: 9; }
      .container.t-grow.t-grow-10 {
        flex-grow: 10; }
      .container.t-grow.t-grow-11 {
        flex-grow: 11; }
      .container.t-grow.t-grow-12 {
        flex-grow: 12; }
    .container.t-place-start {
      justify-content: flex-start; }
    .container.t-place-end {
      justify-content: flex-end; }
    .container.t-place-center {
      justify-content: center; }
    .container.t-place-spread {
      justify-content: space-between; }
    .container.t-place-equal {
      justify-content: space-around; }
    .container.t-align-start {
      align-content: flex-start; }
    .container.t-align-end {
      align-content: flex-end; }
    .container.t-align-center {
      align-content: center; }
    .container.t-align-baseline {
      align-content: center; }
    .container.t-stretch {
      align-content: stretch; } }
  @media screen and (min-device-width: 1200px) {
    .container.d-reverse {
      flex-direction: column-reverse; }
    .container.d-columns {
      flex-direction: row; }
      .container.d-columns.d-reverse {
        flex-direction: row-reverse; }
    .container.d-grow {
      flex-grow: 1; }
      .container.d-grow.d-grow-2 {
        flex-grow: 2; }
      .container.d-grow.d-grow-3 {
        flex-grow: 3; }
      .container.d-grow.d-grow-4 {
        flex-grow: 4; }
      .container.d-grow.d-grow-5 {
        flex-grow: 5; }
      .container.d-grow.d-grow-6 {
        flex-grow: 6; }
      .container.d-grow.d-grow-7 {
        flex-grow: 7; }
      .container.d-grow.d-grow-8 {
        flex-grow: 8; }
      .container.d-grow.d-grow-9 {
        flex-grow: 9; }
      .container.d-grow.d-grow-10 {
        flex-grow: 10; }
      .container.d-grow.d-grow-11 {
        flex-grow: 11; }
      .container.d-grow.d-grow-12 {
        flex-grow: 12; }
    .container.d-place-start {
      justify-content: flex-start; }
    .container.d-place-end {
      justify-content: flex-end; }
    .container.d-place-center {
      justify-content: center; }
    .container.d-place-spread {
      justify-content: space-between; }
    .container.d-place-equal {
      justify-content: space-around; }
    .container.d-align-start {
      align-content: flex-start; }
    .container.d-align-end {
      align-content: flex-end; }
    .container.d-align-center {
      align-content: center; }
    .container.d-align-baseline {
      align-content: center; }
    .container.d-stretch {
      align-content: stretch; } }

.box {
  flex-basis: inherit;
  flex-grow: inherit; }
  .box.equal {
    flex-basis: 0; }
  .box.grow {
    flex-grow: 1; }
    .box.grow.grow-2 {
      flex-grow: 2; }
    .box.grow.grow-3 {
      flex-grow: 3; }
    .box.grow.grow-4 {
      flex-grow: 4; }
    .box.grow.grow-5 {
      flex-grow: 5; }
    .box.grow.grow-6 {
      flex-grow: 6; }
    .box.grow.grow-7 {
      flex-grow: 7; }
    .box.grow.grow-8 {
      flex-grow: 8; }
    .box.grow.grow-9 {
      flex-grow: 9; }
    .box.grow.grow-10 {
      flex-grow: 10; }
    .box.grow.grow-11 {
      flex-grow: 11; }
    .box.grow.grow-12 {
      flex-grow: 12; }
  .box.align-start {
    align-self: flex-start; }
  .box.align-end {
    align-self: flex-end; }
  .box.align-center {
    align-self: center; }
  .box.align-baseline {
    align-self: center; }
  .box.stretch {
    align-self: stretch; }
  @media screen and (min-device-width: 768px) {
    .box.t-equal {
      flex-basis: 0; }
    .box.t-grow {
      flex-grow: 1; }
      .box.t-grow.t-grow-2 {
        flex-grow: 2; }
      .box.t-grow.t-grow-3 {
        flex-grow: 3; }
      .box.t-grow.t-grow-4 {
        flex-grow: 4; }
      .box.t-grow.t-grow-5 {
        flex-grow: 5; }
      .box.t-grow.t-grow-6 {
        flex-grow: 6; }
      .box.t-grow.t-grow-7 {
        flex-grow: 7; }
      .box.t-grow.t-grow-8 {
        flex-grow: 8; }
      .box.t-grow.t-grow-9 {
        flex-grow: 9; }
      .box.t-grow.t-grow-10 {
        flex-grow: 10; }
      .box.t-grow.t-grow-11 {
        flex-grow: 11; }
      .box.t-grow.t-grow-12 {
        flex-grow: 12; }
    .box.t-align-start {
      align-self: flex-start; }
    .box.t-align-end {
      align-self: flex-end; }
    .box.t-align-center {
      align-self: center; }
    .box.t-align-baseline {
      align-self: center; }
    .box.t-stretch {
      align-self: stretch; } }
  @media screen and (min-device-width: 1200px) {
    .box.d-equal {
      flex-basis: 0; }
    .box.d-grow {
      flex-grow: 1; }
      .box.d-grow.d-grow-2 {
        flex-grow: 2; }
      .box.d-grow.d-grow-3 {
        flex-grow: 3; }
      .box.d-grow.d-grow-4 {
        flex-grow: 4; }
      .box.d-grow.d-grow-5 {
        flex-grow: 5; }
      .box.d-grow.d-grow-6 {
        flex-grow: 6; }
      .box.d-grow.d-grow-7 {
        flex-grow: 7; }
      .box.d-grow.d-grow-8 {
        flex-grow: 8; }
      .box.d-grow.d-grow-9 {
        flex-grow: 9; }
      .box.d-grow.d-grow-10 {
        flex-grow: 10; }
      .box.d-grow.d-grow-11 {
        flex-grow: 11; }
      .box.d-grow.d-grow-12 {
        flex-grow: 12; }
    .box.d-align-start {
      align-self: flex-start; }
    .box.d-align-end {
      align-self: flex-end; }
    .box.d-align-center {
      align-self: center; }
    .box.d-align-baseline {
      align-self: center; }
    .box.d-stretch {
      align-self: stretch; } }

body {
  font-family: "Roboto", sans-serif;
  font-size: 16px;
  color: #222222;
  margin: 0; }

repository: dariuszp/frontend

repo_name: dariuszp/frontend


text:
@import "@folio/stripes-components/lib/variables.css";

.defaultFileUploader {
  display: flex;
  justify-content: center;
  align-items: center;
  flex-direction: column;
  min-height: 200px;
  border: 1px dashed var(--color-border);
  background-color: var(--color-fill);
  border-radius: var(--radius);
}

gha_language: JavaScript


text:
%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/

%% Created for Lauro Cesar Araujo at 2015-04-27 19:43:45 -0300

%% Saved with string encoding Unicode (UTF-8)

%PARA ESCREVER AS REFERENCIAS UTILIZE OS EXEMPLOS ABAIXO

%EM CASO DE TESE DE MESTRADO UTILIZE ESSA ESTRUTURA
@mastersthesis{github2018,
address={Noruega},
author={Rune Nilsen Abrahamsen},
school={Norwegian University of Science and Technology},
title={Simulating Cyclists in a Simulator with the use of Behaviour Trees},
type={Mestrado em Ciências da Computação},
year={2016}}

%EM CASO DE SITES UTILIZE ESSE MODELO
@ARTICLE{unifeso:2018,
  address = {Teresopolis},
  organization = {Centro Universitário Serra dos Órgãos},
  title = {UNIFESO},
  journal = {.Net},
  month = {DEZEMBRO},
  year = {2018},
  url = {http://www.unifeso.edu.br},
  urlaccessdate = {11 de Dezembro 2018}}

%EM CASO DE MONOGRAFIAS DE OUTROS AUTORES UTILIZE ESSE EXEMPLO
@monography{gabriel2018,
address={Rio de Janeiro},
author={Gabriel de Castro Monteiro},
school={Centro Universitário Serra dos Órgãos - Unifeso},
title={Reprodução de ambiente historico de teresópolis utilizando Game Engine e realidade virtual},
type={Bacharelado},
year={2018}}

%EM CASO DE ANAIS DE CONFERENCIAS NACIONAIS OU INTERNACIONAIS UTILIZE ESSE EXEMPLO
@inproceedings{Murizah2018,
author={Murizah Kassim and Muhamad Noor Hariz Muhamad Said},
booktitle={Anais...},
conference-number={4th},
conference-year={2018},
conference-location={Auckland},
organization={International Conference on Control, Automation and Robotics},
publisher={Auckland University Of Technology},
title={Data Analytics on Interactive Indoor Cycling Exercises With Virtual Reality Video Games},
year={2018}}

%POR ULTIMO CASO FOR UTILIZAR UM LIVRO UTILIZE ESSE EXEMPLO
@book{Corradi2010,
 author  ={Wagner Corradi and Rodrigo Dias Társia and Wanderson Silva de Oliveira and Sérgio Luiz Araújo Vieira and Maria Carolina Nemes and Karla Balzuweit},
 title   ={FUNDAMENTOS DE FISICA I},
 address ={Belo Horizonte, Minas Gerais},
 publisher={UFMG},
 isbn ={978-85-7041-852-4},
 year ={2010}
}

%ATENÇÃO AS REFERENCIAS SO APARECERAM NO TEXTO MEDIANTE O USO DO COMANDO CITE OU CITEONLINE ACRESCIDOS DE UMA \ ESSE COMANDO FARA APARECER A SUA REFERENCIA NA BIBILIOGRAFIA

@misc{birds1998,
 title   ={Escreva seu trabalho de conclusão de curso com as normas da ABNT em Markdown},
 url     ={https://github.com/abntex/limarka},
 organization={AbnTeX},
 urlaccessdate={27 nov. 2016}
}

repository: ArielZimbrao/TCC

repo_name: ArielZimbrao/TCC


text:
if(EXISTS ${CURRENT_INSTALLED_DIR}/share/libturbo-jpeg/copyright)
    message(FATAL_ERROR "'${PORT}' conflicts with 'libturbo-jpeg'. Please remove libturbo-jpeg:${TARGET_TRIPLET}, and try to install ${PORT}:${TARGET_TRIPLET} again.")
endif()
if(EXISTS ${CURRENT_INSTALLED_DIR}/share/mozjpeg/copyright)
    message(FATAL_ERROR "'${PORT}' conflicts with 'mozjpeg'. Please remove mozjpeg:${TARGET_TRIPLET}, and try to install ${PORT}:${TARGET_TRIPLET} again.")
endif()

if(VCPKG_TARGET_IS_WINDOWS)
    vcpkg_check_linkage(ONLY_STATIC_LIBRARY)
endif()

vcpkg_download_distfile(ARCHIVE
    URLS        "http://www.ijg.org/files/jpegsr9d.zip"
    FILENAME    "jpegsr9d.zip"
    SHA512      441a783c945fd549693dbe3932d8d35e1ea00d8464870646760ed84a636facb4d7afe0ca3ab988e7281a71e41c2e96be618b8c6a898f116517e639720bba82a3
)
vcpkg_extract_source_archive_ex(
    OUT_SOURCE_PATH SOURCE_PATH
    ARCHIVE ${ARCHIVE}
)

# Replace some #define in jconfig.txt to #cmakedefine so the CMakeLists.txt can run `configure_file` command.
# See https://github.com/LuaDist/libjpeg
vcpkg_replace_string(${SOURCE_PATH}/jconfig.txt
    "#define HAVE_STDDEF_H"
    "#cmakedefine HAVE_STDDEF_H"
)
vcpkg_replace_string(${SOURCE_PATH}/jconfig.txt
    "#define HAVE_STDLIB_H"
    "#cmakedefine HAVE_STDLIB_H"
)

file(COPY ${CMAKE_CURRENT_LIST_DIR}/CMakeLists.txt DESTINATION ${SOURCE_PATH})

vcpkg_configure_cmake(
    SOURCE_PATH ${SOURCE_PATH}
    PREFER_NINJA
    OPTIONS
        -DBUILD_EXECUTABLES=OFF # supports [tools] feature to enable this option?
)
vcpkg_install_cmake()
vcpkg_copy_pdbs()

# There is no LICENSE file, but README containes some legal text.
file(INSTALL ${SOURCE_PATH}/README DESTINATION ${CURRENT_PACKAGES_DIR}/share/${PORT} RENAME copyright)

if(VCPKG_LIBRARY_LINKAGE STREQUAL static)
    file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/bin ${CURRENT_PACKAGES_DIR}/debug/bin)
endif()
file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/debug/include)
file(REMOVE_RECURSE ${CURRENT_PACKAGES_DIR}/debug/share)


text:
SUMMARY = "HMI demo for Protection Relays using QT  tools"
LICENSE = "BSD-3-Clause"
LIC_FILES_CHKSUM = "file://main.cpp;beginline=1;endline=33;md5=a9cde3921a8be42ed79ab74661799104"

inherit qt5

PV = "1.0"
PR = "r0"

BRANCH = "master"
SRC_URI = "git://git.ti.com/git/sitara-linux/protection-relays-hmi.git;protocol=https;branch=${BRANCH}"

SRCREV = "b116b5628a68ba3b6db88435023cf034504655d3"

S = "${WORKDIR}/git"

do_install() {
    install -d ${D}${bindir}
    install -m 755 protection_relays_hmi ${D}${bindir}
}

repository: rcn-ee/meta-arago

repo_name: rcn-ee/meta-arago