text:
hunter_config(OpenEXR VERSION "1.0.2" CMAKE_ARGS CMAKE_POSITION_INDEPENDENT_CODE=YES)
hunter_config(ZLIB VERSION "1.2.8-p3" CMAKE_ARGS CMAKE_POSITION_INDEPENDENT_CODE=YES)
hunter_config(PNG VERSION "1.6.16-p4" CMAKE_ARGS CMAKE_POSITION_INDEPENDENT_CODE=YES)
hunter_config(Jpeg VERSION "9b-p1"    CMAKE_ARGS CMAKE_POSITION_INDEPENDENT_CODE=YES)
hunter_config(TIFF VERSION "4.0.2-p3" CMAKE_ARGS CMAKE_POSITION_INDEPENDENT_CODE=YES)

license: MIT

repository: Artomatix/ArtomatixImageLoader

license_type: permissive

repo_name: Artomatix/ArtomatixImageLoader

branch_name: refs/heads/master

gha_license_id: MIT

gha_language: HTML

extension: cmake


text:
require nodejs_0.inc

INC_PR = "r1"

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

SRC_URI[md5sum] = "1292af0584de9ba773eb06120b5ddb86"
SRC_URI[sha256sum] = "6b48461dff7a002cedba45a016af81f66a79b465cee1d7bfe5bd74910c1a7bfa"

repository: huseyinkozan/meta-nodejs

repo_name: huseyinkozan/meta-nodejs

extension: bb


text:
@article{DBLP:journals/corr/HristovaMM14,
  author    = {Desislava Hristova and
               Mirco Musolesi and
               Cecilia Mascolo},
  title     = {Keep Your Friends Close and Your Facebook Friends Closer: {A} Multiplex
               Network Approach to the Analysis of Offline and Online Social Ties},
  journal   = {CoRR},
  volume    = {abs/1403.8034},
  year      = {2014},
  url       = {http://arxiv.org/abs/1403.8034},
  timestamp = {Tue, 01 Apr 2014 11:56:46 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/HristovaMM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@book{deb2001multi,
  title={Multi-objective optimization using evolutionary algorithms},
  author={Deb, Kalyanmoy},
  volume={16},
  year={2001},
  publisher={John Wiley \& Sons}
}

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

@article{matthews1975comparison,
  title={Comparison of the predicted and observed secondary structure of T4 phage lysozyme},
  author={Matthews, Brian W},
  journal={Biochimica et Biophysica Acta (BBA)-Protein Structure},
  volume={405},
  number={2},
  pages={442--451},
  year={1975},
  publisher={Elsevier}
}

@article{FrazzoliMIT,
title = {MIT OCW 16.410/413 - Principles of Autonomy and Decision Making, Fall 2010},
journal = {MIT OpenCourseWare: Massachusetts Institute of Technology},
author = {Frazzoli, Emilio},
year = {2010},
url = {http://ocw.mit.edu/courses/aeronautics-and-astronautics/16-410-principles-of-autonomy-and-decision-making-fall-2010/},
license = {Creative Commons BY-NC-SA}
}

@book{Russell:2003:AIM:773294,
 author = {Russell, Stuart J. and Norvig, Peter},
 title = {Artificial Intelligence: A Modern Approach},
 year = {2003},
 isbn = {0137903952},
 edition = {2},
 publisher = {Pearson Education},
}

@article{dempster1977maximum,
  title={Maximum likelihood from incomplete data via the EM algorithm},
  author={Dempster, Arthur P and Laird, Nan M and Rubin, Donald B},
  journal={Journal of the royal statistical society. Series B (methodological)},
  pages={1--38},
  year={1977},
  publisher={JSTOR}
}

@article{deb1994simulated,
  title={Simulated binary crossover for continuous search space},
  author={Deb, Kalyanmoy and Agrawal, Ram B},
  journal={Complex Systems},
  volume={9},
  number={3},
  pages={1--15},
  year={1994},
  publisher={Citeseer}
}

@article{deb2002fast,
  title={A fast and elitist multiobjective genetic algorithm: NSGA-II},
  author={Deb, Kalyanmoy and Pratap, Amrit and Agarwal, Sameer and Meyarivan, TAMT},
  journal={Evolutionary Computation, IEEE Transactions on},
  volume={6},
  number={2},
  pages={182--197},
  year={2002},
  publisher={IEEE}
}

@book{back1996evolutionary,
  title={Evolutionary algorithms in theory and practice},
  author={Back, Thomas},
  year={1996},
  publisher={Oxford Univ. Press}
}

@inproceedings{mouret2009classification,
  title={Classification of images based on Hidden Markov Models},
  author={Mouret, Marc and Solnon, Christine and Wolf, Christian},
  booktitle={Content-Based Multimedia Indexing, 2009. CBMI'09. Seventh International Workshop on},
  pages={169--174},
  year={2009},
  organization={IEEE}
}

@book{mohri2012foundations,
  title={Foundations of machine learning},
  author={Mohri, Mehryar and Rostamizadeh, Afshin and Talwalkar, Ameet},
  year={2012},
  publisher={MIT press}
}

@article{munassar2010comparison,
  title={A comparison between five models of software engineering},
  author={Munassar, Nabil Mohammed Ali and Govardhan, A},
  journal={IJCSI},
  volume={5},
  pages={95--101},
  year={2010},
  publisher={Citeseer}
}

@book{Stroustrup:2000:CPL:518791,
 author = {Stroustrup, Bjarne},
 title = {The  C++ Programming Language},
 year = {2000},
 isbn = {0201700735},
 edition = {3rd},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
}

@article{powers2011evaluation,
  title={Evaluation: from precision, recall and F-measure to ROC, informedness, markedness and correlation},
  author={Powers, David Martin},
  year={2011},
  publisher={Bioinfo Publications}
}

@article{viterbi1967error,
  title={Error bounds for convolutional codes and an asymptotically optimum decoding algorithm},
  author={Viterbi, Andrew J},
  journal={Information Theory, IEEE Transactions on},
  volume={13},
  number={2},
  pages={260--269},
  year={1967},
  publisher={IEEE}
}

@inproceedings{ferguson1980hidden,
  title={Hidden Markov analysis: an introduction},
  author={Ferguson, JD},
  booktitle={Proceedings of the Symposium on the Applications of Hidden Markov Models to Text and Speech, IDA-CRD, Princeton, NJ},
  year={1980}
}

@book{norris1998markov,
  title={Markov chains},
  author={Norris, James R},
  number={2},
  year={1998},
  publisher={Cambridge university press}
}

@article{markov1906rasprostranenie,
  title={{\cyr Rasprostranenie zakona bol{\char126}shih chisel na velichiny, zavisyawie drug ot druga}},
  author={{\cyr Markov, AA}},
  journal={{\cyi Izvestiya Fiziko-matematicheskogo obwestva pri Kazanskom universitete}},
  pages={135--156},
  year={1906}
}

@article{satish1993use,
  title={Use of hidden Markov models for partial discharge pattern classification},
  author={Satish, L and Gururaj, BI},
  journal={Electrical Insulation, IEEE Transactions on},
  volume={28},
  number={2},
  pages={172--182},
  year={1993},
  publisher={IEEE}
}

@inproceedings{pardo2005modeling,
  title={Modeling form for on-line following of musical performances},
  author={Pardo, Bryan and Birmingham, William},
  booktitle={PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE},
  volume={20},
  number={2},
  pages={1018},
  year={2005},
  organization={Menlo Park, CA; Cambridge, MA; London; AAAI Press; MIT Press; 1999}
}

@article{rabiner1989tutorial,
  title={A tutorial on hidden Markov models and selected applications in speech recognition},
  author={Rabiner, Lawrence},
  journal={Proceedings of the IEEE},
  volume={77},
  number={2},
  pages={257--286},
  year={1989},
  publisher={IEEE}
}

@article{starner1995real,
  title={Real-time American Sign language visual recognition from video using Hidden Markov Models},
  author={Starner, Thad and Pentland, Alex},
  journal={Master's Thesis, MIT Program in Media Arts},
  year={1995}
}

@article{baum1966statistical,
  title={Statistical inference for probabilistic functions of finite state Markov chains},
  author={Baum, Leonard E and Petrie, Ted},
  journal={The annals of mathematical statistics},
  pages={1554--1563},
  year={1966},
  publisher={JSTOR}
}

@article{baum1970maximization,
  title={A maximization technique occurring in the statistical analysis of probabilistic functions of Markov chains},
  author={Baum, Leonard E and Petrie, Ted and Soules, George and Weiss, Norman},
  journal={The annals of mathematical statistics},
  pages={164--171},
  year={1970},
  publisher={JSTOR}
}

@article{mucha2010community,
  title={Community structure in time-dependent, multiscale, and multiplex networks},
  author={Mucha, Peter J and Richardson, Thomas and Macon, Kevin and Porter, Mason A and Onnela, Jukka-Pekka},
  journal={science},
  volume={328},
  number={5980},
  pages={876--878},
  year={2010},
  publisher={American Association for the Advancement of Science}
}

@article{mucha2010communities,
  title={Communities in multislice voting networks},
  author={Mucha, Peter J and Porter, Mason A},
  journal={Chaos},
  volume={20},
  number={4},
  pages={041108},
  year={2010}
}

@book{bollobas1998modern,
  title={Modern graph theory},
  author={Bollob{\'a}s, B{\'e}la},
  volume={184},
  year={1998},
  publisher={Springer Science \& Business Media}
}

@article{de2014multilayer,
  title={Multilayer analysis and visualization of networks},
  author={De Domenico, Manlio and Porter, Mason A and Arenas, Alex},
  journal={arXiv preprint arXiv:1405.0843},
  year={2014}
}

@article{kivela2014multilayer,
  title={Multilayer networks},
  author={Kivel{\"a}, Mikko and Arenas, Alex and Barthelemy, Marc and Gleeson, James P and Moreno, Yamir and Porter, Mason A},
  journal={Journal of Complex Networks},
  volume={2},
  number={3},
  pages={203--271},
  year={2014},
  publisher={Oxford University Press}
}

@article{padgett1993robust,
  title={Robust Action and the Rise of the Medici, 1400-1434},
  author={Padgett, John F and Ansell, Christopher K},
  journal={American journal of sociology},
  pages={1259--1319},
  year={1993},
  publisher={JSTOR}
}

@article{krackhardt1987cognitive,
  title={Cognitive social structures},
  author={Krackhardt, David},
  journal={Social networks},
  volume={9},
  number={2},
  pages={109--134},
  year={1987},
  publisher={Elsevier}
}

@article{magnani2013combinatorial,
  title={Combinatorial analysis of multiple networks},
  author={Magnani, Matteo and Micenkova, Barbora and Rossi, Luca},
  journal={arXiv preprint arXiv:1303.4986},
  year={2013}
}

@article{stark2006biogrid,
  title={BioGRID: a general repository for interaction datasets},
  author={Stark, Chris and Breitkreutz, Bobby-Joe and Reguly, Teresa and Boucher, Lorrie and Breitkreutz, Ashton and Tyers, Mike},
  journal={Nucleic acids research},
  volume={34},
  number={suppl 1},
  pages={D535--D539},
  year={2006},
  publisher={Oxford Univ Press}
}

@article{de2013anatomy,
  title={The anatomy of a scientific rumor},
  author={De Domenico, Manlio and Lima, Antonio and Mougel, Paul and Musolesi, Mirco},
  journal={Scientific reports},
  volume={3},
  year={2013},
  publisher={Nature Publishing Group}
}

@article{cardillo2013emergence,
  title={Emergence of network features from multiplexity},
  author={Cardillo, Alessio and G{\'o}mez-Garde{\~n}es, Jes{\'u}s and Zanin, Massimiliano and Romance, Miguel and Papo, David and Del Pozo, Francisco and Boccaletti, Stefano},
  journal={Scientific reports},
  volume={3},
  year={2013},
  publisher={Nature Publishing Group}
}

@article{de2014navigability,
  title={Navigability of interconnected networks under random failures},
  author={De Domenico, Manlio and Sol{\'e}-Ribalta, Albert and G{\'o}mez, Sergio and Arenas, Alex},
  journal={Proceedings of the National Academy of Sciences},
  volume={111},
  number={23},
  pages={8351--8356},
  year={2014},
  publisher={National Acad Sciences}
}

@article{loe2014comparison,
  title={Comparison of communities detection algorithms for multiplex},
  author={Loe, Chuan Wen and Jensen, Henrik Jeldtoft},
  journal={arXiv preprint arXiv:1406.2205},
  year={2014}
}

@article{bianconi2013statistical,
  title={Statistical mechanics of multiplex networks: Entropy and overlap},
  author={Bianconi, Ginestra},
  journal={Physical Review E},
  volume={87},
  number={6},
  pages={062806},
  year={2013},
  publisher={APS}
}

@article{azimi2014k,
  title={k- core percolation on multiplex networks},
  author={Azimi-Tafreshi, N and G{\'o}mez-Garde{\~n}es, J and Dorogovtsev, SN},
  journal={Physical Review E},
  volume={90},
  number={3},
  pages={032816},
  year={2014},
  publisher={APS}
}

@article{asllani2014turing,
  title={Turing patterns in multiplex networks},
  author={Asllani, Malbor and Busiello, Daniel M and Carletti, Timoteo and Fanelli, Duccio and Planchon, Gwendoline},
  journal={Physical Review E},
  volume={90},
  number={4},
  pages={042814},
  year={2014},
  publisher={APS}
}

@article{granell2014competing,
  title={Competing spreading processes on multiplex networks: awareness and epidemics},
  author={Granell, Clara and G{\'o}mez, Sergio and Arenas, Alex},
  journal={Physical Review E},
  volume={90},
  number={1},
  pages={012808},
  year={2014},
  publisher={APS}
}

@article{nicosia2013growing,
  title={Growing multiplex networks},
  author={Nicosia, Vincenzo and Bianconi, Ginestra and Latora, Vito and Barthelemy, Marc},
  journal={Physical review letters},
  volume={111},
  number={5},
  pages={058701},
  year={2013},
  publisher={APS}
}

@article{zhao2014multiple,
  title={Multiple routes transmitted epidemics on multiplex networks},
  author={Zhao, Dawei and Li, Lixiang and Peng, Haipeng and Luo, Qun and Yang, Yixian},
  journal={Physics Letters A},
  volume={378},
  number={10},
  pages={770--776},
  year={2014},
  publisher={Elsevier}
}

@article{estrada2014communicability,
  title={Communicability reveals a transition to coordinated behavior in multiplex networks},
  author={Estrada, Ernesto and G{\'o}mez-Garde{\~n}es, Jes{\'u}s},
  journal={Physical Review E},
  volume={89},
  number={4},
  pages={042819},
  year={2014},
  publisher={APS}
}

@article{hu2014conditions,
  title={Conditions for viral influence spreading through multiplex correlated social networks},
  author={Hu, Yanqing and Havlin, Shlomo and Makse, Hern{\'a}n A},
  journal={Physical Review X},
  volume={4},
  number={2},
  pages={021031},
  year={2014},
  publisher={APS}
}

@article{de2014identifying,
  title={Identifying modular flows on multilayer networks reveals highly overlapping organization in social systems},
  author={De Domenico, Manlio and Lancichinetti, Andrea and Arenas, Alex and Rosvall, Martin},
  journal={arXiv preprint arXiv:1408.2925},
  year={2014}
}

repository: PetarV-/CSTII-Dissertation

repo_name: PetarV-/CSTII-Dissertation

extension: bib


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

%% Created for Spencer Smith at 2021-10-15 10:25:56 -0400

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

@misc{ASTM2009,
	author = {ASTM},
	date-added = {2021-10-15 10:25:08 -0400},
	date-modified = {2021-10-15 10:25:08 -0400},
	number = {E1300-09a},
	title = {Standard Practice for Determining Load Resistance of Glass in Buildings},
	type = {Standard},
	year = {2009}}

@article{DouviEtAl2021,
	abstract = {In this work, technologies related to the storage of solar energy, utilizing the latent heat content of phase change materials for the production of domestic hot water are reviewed. Many researchers have been involved in this field in order to accomplish the targets of environmentally friendly solutions and higher efficiency. For domestic use, materials with melting temperature between 40 and 80 $\,^{\circ}$C are commonly studied, with paraffins, fatty acids, salt hydrates and alcohols being the most popular. For harvesting the solar radiation, usually flat plate or evacuated tubes solar collectors are used, either commercial ones or modified. The storage unit may include only phase change material or it can have a hybrid form combined with water. The outcome of the most studies, is that the addition of phase change materials in comparison to systems without latent storage, increases the duration of heat release towards the domestic water at the end of the day and also increases the solar collector's efficiency because it does not experience large temperature fluctuations. However, difficulties emerge during the selection of the appropriate storage material as this must have a high melting temperature in order to provide hot enough domestic water, but not higher than the temperature that the solar collector can produce, in order to fully melt the material. Moreover, investigation is necessary for the selection of the optimum water flow rate that minimizes the charging duration and maximizes the system efficiency and hot water amount. Another challenge that researchers face is the low thermal conductivity of many phase change materials. For this purpose, methods for improving the performance of the systems have been examined and they are also reported.},
	author = {Eleni Douvi and Christos Pagkalos and George Dogkas and Maria K. Koukou and Vassilis N. Stathopoulos and Yiannis Caouris and Michail Gr. Vrachopoulos},
	date-added = {2021-10-14 16:26:06 -0400},
	date-modified = {2021-10-14 16:26:15 -0400},
	doi = {https://doi.org/10.1016/j.ijft.2021.100075},
	issn = {2666-2027},
	journal = {International Journal of Thermofluids},
	keywords = {Latent heat storage, PCM, Domestic hot water, Review, Solar},
	pages = {100075},
	title = {Phase change materials in solar domestic hot water systems: A review},
	url = {https://www.sciencedirect.com/science/article/pii/S2666202721000136},
	volume = {10},
	year = {2021},
	bdsk-url-1 = {https://www.sciencedirect.com/science/article/pii/S2666202721000136},
	bdsk-url-2 = {https://doi.org/10.1016/j.ijft.2021.100075}}

@book{BirdEtAl2002,
	author = {Bird, R.B. and Lightfoot, E.N. and Stewart, W.E.},
	date-added = {2021-10-14 15:34:57 -0400},
	date-modified = {2021-10-14 15:34:57 -0400},
	isbn = {9780471364740},
	lccn = {2001023739},
	publisher = {J. Wiley},
	title = {Transport Phenomena},
	url = {https://books.google.ca/books?id=wYnRQwAACAAJ},
	year = {2002},
	bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAdLi4vLi4vLi4vcHViL0JpcmRFdEFsMjAwMi5wZGZPEQFMAAAAAAFMAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8QQmlyZEV0QWwyMDAyLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAADAAIAAAogY3UAAAAAAAAAAAAAAAAAA3B1YgAAAgApLzpVc2VyczpzbWl0aHM6UmVwb3M6cHViOkJpcmRFdEFsMjAwMi5wZGYAAA4AIgAQAEIAaQByAGQARQB0AEEAbAAyADAAMAAyAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgAnVXNlcnMvc21pdGhzL1JlcG9zL3B1Yi9CaXJkRXRBbDIwMDIucGRmAAATAAEvAAAVAAIADf//AAAACAANABoAJABEAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAZQ=},
	bdsk-url-1 = {https://books.google.ca/books?id=wYnRQwAACAAJ}}

@misc{ASTM2015,
	author = {ASTM},
	date-added = {2021-10-14 11:26:10 -0400},
	date-modified = {2021-10-15 10:25:56 -0400},
	number = {F2248 − 09},
	title = {Standard Practice for Specifying an Equivalent 3-Second Duration Design Loading for Blast Resistant Glazing Fabricated with Laminated Glass},
	type = {Standard},
	year = {2015}}

@inbook{RobertsonAndRobertson1999Vol,
	address = {New York, NY, USA},
	author = {Suzanne Robertson and James Robertson},
	chapter = {Volere Requirements Specification Template},
	date-added = {2021-10-14 11:19:49 -0400},
	date-modified = {2021-10-14 11:19:49 -0400},
	pages = {353--391},
	publisher = {ACM Press/Addison-Wesley Publishing Co},
	title = {Mastering the Requirements Process},
	year = {1999}}

@article{IEEE1998,
	author = {IEEE},
	date-added = {2021-10-14 11:19:12 -0400},
	date-modified = {2021-10-14 11:19:12 -0400},
	doi = {10.1109/IEEESTD.1998.88286},
	journal = {IEEE Std 830-1998},
	keywords = {formal specification;IEEE Std 830-1998;IEEE recommended practice;IEEE/EIA Std 12207.1-1997;commercial software product selection;contracts;customers;guidelines;in-house software product selection;prototyping;software development;software requirements specification;standards compliance;suppliers;system requirements specifications;Software requirements and specifications;contract;customer;prototyping;software requirements specification;supplier;system requirements specifications},
	month = oct,
	pages = {1-40},
  	volume = {830},
	title = {Recommended Practice for Software Requirements Specifications},
	year = {1998},
	bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAZLi4vLi4vLi4vcHViL0lFRUUxOTk4LnBkZk8RATwAAAAAATwAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////wxJRUVFMTk5OC5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAMAAgAACiBjdQAAAAAAAAAAAAAAAAADcHViAAACACUvOlVzZXJzOnNtaXRoczpSZXBvczpwdWI6SUVFRTE5OTgucGRmAAAOABoADABJAEUARQBFADEAOQA5ADgALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASACNVc2Vycy9zbWl0aHMvUmVwb3MvcHViL0lFRUUxOTk4LnBkZgAAEwABLwAAFQACAA3//wAAAAgADQAaACQAQAAAAAAAAAIBAAAAAAAAAAUAAAAAAAAAAAAAAAAAAAGA},
	bdsk-url-1 = {http://dx.doi.org/10.1109/IEEESTD.1998.88286}}

@article{Boehm1987,
	author = {Barry W. Boehm},
	date-added = {2021-10-14 11:14:36 -0400},
	date-modified = {2021-10-14 11:14:36 -0400},
	journal = {Computer},
	volume = {20},
	number = {09},
	pages = {43--47},
	title = {Improving Software Productivity},
	year = {1987},
	bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAaLi4vLi4vLi4vcHViL0JvZWhtMTk4Ny5wZGZPEQE+AAAAAAE+AAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8NQm9laG0xOTg3LnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAADAAIAAAogY3UAAAAAAAAAAAAAAAAAA3B1YgAAAgAmLzpVc2VyczpzbWl0aHM6UmVwb3M6cHViOkJvZWhtMTk4Ny5wZGYADgAcAA0AQgBvAGUAaABtADEAOQA4ADcALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASACRVc2Vycy9zbWl0aHMvUmVwb3MvcHViL0JvZWhtMTk4Ny5wZGYAEwABLwAAFQACAA3//wAAAAgADQAaACQAQQAAAAAAAAIBAAAAAAAAAAUAAAAAAAAAAAAAAAAAAAGD},
	bdsk-url-1 = {http://citeseerx.ist.psu.edu/viewdoc/summary;jsessionid=8A5967CE077ECB46DE9EBFC12F443C68?doi=10.1.1.365.9038}}

@book{Dalkir2011,
	abstract = {The ability to manage knowledge has become increasingly important in today's knowledge
economy. Knowledge is considered a valuable commodity, embedded in products and in
the tacit knowledge of highly mobile individual employees. Knowledge management (KM)
represents a deliberate and systematic approach to cultivating and sharing an organization's
knowledge base. It is a highly multidisciplinary field that encompasses both information
technology and intellectual capital. This textbook and professional reference offers
a comprehensive overview of the field of KM, providing both a substantive theoretical
grounding and a pragmatic approach to applying key concepts. Drawing on ideas, tools,
and techniques from such disciplines as sociology, cognitive science, organizational
behavior, and information science, the text describes KM theory and practice at the
individual, community, and organizational levels. It offers illuminating case studies
and vignettes from companies including IBM, Xerox, British Telecommunications, JP
Morgan Chase, and Nokia. This second edition has been updated and revised throughout.
New material has been added on the information and library science perspectives, taxonomies
and knowledge classification, the media richness of the knowledge-sharing channel,
e-learning, social networking in KM contexts, strategy tools, results-based outcome
assessments, knowledge continuity and organizational learning models, KM job descriptions,
copyleft and Creative Commons, and other topics. New case studies and vignettes have
been added; and the references and glossary have been updated and expanded. },
	author = {Dalkir, Kimiz},
	date-added = {2021-10-13 16:47:43 -0400},
	date-modified = {2021-10-13 16:48:08 -0400},
	edition = {2nd},
	address = {Cambridge, Massachusetts, USA},
	isbn = {0262015080},
	publisher = {The MIT Press},
	title = {Knowledge Management in Theory and Practice},
	year = {2011},
	bdsk-url-1 = {https://dl.acm.org/doi/book/10.5555/1995301}}

@article{BeasonEtAl1998,
	author = {W. Lynn Beason and Terry L. Kohutek and Joseph M. Bracci},
	date-added = {2021-10-13 10:38:44 -0400},
	date-modified = {2021-10-13 10:38:44 -0400},
	journal = {Journal of Structural Engineering},
	month = {February},
	number = {2},
	pages = {215--221},
	title = {Basis for {ASTME E 1300} Annealed Glass Thickness Selection Charts},
	volume = {124},
	year = {1998},
	bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxBnLi4vLi4vLi4vY2FzZVN0dWRpZXMvQ2FzZVN0dWRpZXMvZ2xhc3MvcmVmcy8xQmFzaXNGb3JBU1RNRTEzMDBBbm5lYWxlZEdsYXNzVGhpY2tuZXNzU2VsZWN0aW9uQ2hhcnRzLnBkZk8RAjYAAAAAAjYAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////x8xQmFzaXNGb3JBU1RNRTEzMDAjRkZGRkZGRkYucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAMABQAACiBjdQAAAAAAAAAAAAAAAAAEcmVmcwACAHMvOlVzZXJzOnNtaXRoczpSZXBvczpjYXNlU3R1ZGllczpDYXNlU3R1ZGllczpnbGFzczpyZWZzOjFCYXNpc0ZvckFTVE1FMTMwMEFubmVhbGVkR2xhc3NUaGlja25lc3NTZWxlY3Rpb25DaGFydHMucGRmAAAOAHgAOwAxAEIAYQBzAGkAcwBGAG8AcgBBAFMAVABNAEUAMQAzADAAMABBAG4AbgBlAGEAbABlAGQARwBsAGEAcwBzAFQAaABpAGMAawBuAGUAcwBzAFMAZQBsAGUAYwB0AGkAbwBuAEMAaABhAHIAdABzAC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgBxVXNlcnMvc21pdGhzL1JlcG9zL2Nhc2VTdHVkaWVzL0Nhc2VTdHVkaWVzL2dsYXNzL3JlZnMvMUJhc2lzRm9yQVNUTUUxMzAwQW5uZWFsZWRHbGFzc1RoaWNrbmVzc1NlbGVjdGlvbkNoYXJ0cy5wZGYAABMAAS8AABUAAgAN//8AAAAIAA0AGgAkAI4AAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAACyA==},
	bdsk-url-1 = {https://ascelibrary.org/doi/10.1061/%28ASCE%290733-9445%281998%29124%3A2%28215%29}}

@misc{SmithAndCarette2020arXiv,
	archiveprefix = {arXiv},
	author = {Spencer Smith and Jacques Carette},
	date-added = {2021-10-13 10:20:14 -0400},
	date-modified = {2021-10-13 10:20:14 -0400},
	eprint = {2009.14015},
	howpublished = {\url{https://arxiv.org/abs/2009.14015}},
	primaryclass = {cs.SE},
	title = {Long-term Productivity for Long-term Impact, arXiv report},
	year = {2020},
	bdsk-url-1 = {https://arxiv.org/pdf/2009.14015.pdf}}

@inproceedings{Farmer2007,
	abstract = {An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms. A biform theory is simultaneously an axiomatic theory and an algorithmic theory. It represents mathematical knowledge both declaratively and procedurally. Since the algorithms of algorithmic theories manipulate the syntax of expressions, biform theories---as well as algorithmic theories---are difficult to formalize in a traditional logic without the means to reason about syntax. Chiron is a derivative of von-Neumann-Bernays-G{\"o}del (nbg) set theory that is intended to be a practical, general-purpose logic for mechanizing mathematics. It includes elements of type theory, a scheme for handling undefinedness, and a facility for reasoning about the syntax of expressions. It is an exceptionally well-suited logic for formalizing biform theories. This paper defines the notion of a biform theory, gives an overview of Chiron, and illustrates how biform theories can be formalized in Chiron.},
	address = {Berlin, Heidelberg},
	author = {Farmer, William M.},
	booktitle = {Towards Mechanized Mathematical Assistants},
	date-added = {2021-10-12 14:23:48 -0400},
	date-modified = {2021-10-12 14:23:48 -0400},
	editor = {Kauers, Manuel and Kerber, Manfred and Miner, Robert and Windsteiger, Wolfgang},
	isbn = {978-3-540-73086-6},
	pages = {66--79},
	publisher = {Springer Berlin Heidelberg},
	title = {Biform Theories in Chiron},
	year = {2007}}

@article{Knuth1984,
	abstract = {The author and his associates have been experimenting for the past several years with a programming language and documentation system called WEB. This paper presents WEB by example, and discusses why the new system appears to be an improvement over previous ones.},
	author = {Knuth, Donald E.},
	date-added = {2015-03-19 19:28:55 +0000},
	date-modified = {2015-03-19 19:28:55 +0000},
	doi = {10.1093/comjnl/27.2.97},
	eprint = {http://comjnl.oxfordjournals.org/content/27/2/97.full.pdf+html},
	journal = {The Computer Journal},
	number = {2},
	pages = {97-111},
	title = {Literate Programming},
	url = {http://comjnl.oxfordjournals.org/content/27/2/97.abstract},
	volume = {27},
	year = {1984},
	bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAyLi4vLi4vLi4vLi4vV29yay9SZXNlYXJjaC9SZWZlcmVuY2VzL0tudXRoMTk4NC5wZGZPEQFkAAAAAAFkAAIAAAxNYWNpbnRvc2ggSEQAAAAAAAAAAAAAAAAAAAAAAAAAQkQAAf////8NS251dGgxOTg0LnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA/////wAAAAAAAAAAAAAAAAAEAAQAAAogY3UAAAAAAAAAAAAAAAAAClJlZmVyZW5jZXMAAgA1LzpVc2VyczpzbWl0aHM6V29yazpSZXNlYXJjaDpSZWZlcmVuY2VzOktudXRoMTk4NC5wZGYAAA4AHAANAEsAbgB1AHQAaAAxADkAOAA0AC4AcABkAGYADwAaAAwATQBhAGMAaQBuAHQAbwBzAGgAIABIAEQAEgAzVXNlcnMvc21pdGhzL1dvcmsvUmVzZWFyY2gvUmVmZXJlbmNlcy9LbnV0aDE5ODQucGRmAAATAAEvAAAVAAIADf//AAAACAANABoAJABZAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAcE=},
	bdsk-url-1 = {http://comjnl.oxfordjournals.org/content/27/2/97.abstract},
	bdsk-url-2 = {http://dx.doi.org/10.1093/comjnl/27.2.97}}

@article{Parnas1986,
	author = {Parnas, David Lorge and Clements, Paul C},
	journal = {IEEE Transactions on Software Engineering},
        volume = {12},
	number = {2},
	pages = {251--257},
	publisher = {IEEE},
	title = {A rational design process: How and why to fake it},
	year = {1986}}

@article{mitchell:rattle_18_nov_2020,
	author = {Spall, Sarah and Mitchell, Neil and Tobin-Hochstadt, Sam},
	title = {Build Scripts with Perfect Dependencies},
	year = {2020},
	month = {November},
	day = {18},
	issue_date = {November 2020},
	publisher = {Association for Computing Machinery},
	address = {New York, NY, USA},
	volume = {4},
	number = {OOPSLA},
	url = {https://doi.org/10.1145/3428237},
	doi = {10.1145/3428237},
	abstract = {Build scripts for most build systems describe the actions to run, and the dependencies between those actions - but often build scripts get those dependencies wrong. Most build scripts have both too few dependencies (leading to incorrect build outputs) and too many dependencies (leading to excessive rebuilds and reduced parallelism). Any programmer who has wondered why a small change led to excess compilation, or who resorted to a clean step, has suffered the ill effects of incorrect dependency specification. We outline a build system where dependencies are not specified, but instead captured by tracing execution. The consequence is that dependencies are always correct by construction and build scripts are easier to write. The simplest implementation of our approach would lose parallelism, but we are able to recover parallelism using speculation.},
	journal = {Proc. ACM Program. Lang.},
	articleno = {169},
	numpages = {28},
	keywords = {functional programming, build systems}
}

@article{SchulteEtAl2012,
	author = {Schulte, Eric and Davison, Dan and Dye, Thomas and Dominik, Carsten and others},
	journal = {Journal of Statistical Software},
	number = {3},
	pages = {1--24},
	publisher = {American Statistical Association},
	title = {A multi-language computing environment for literate programming and reproducible research},
	volume = {46},
	year = {2012}}

@inproceedings{SmithAndLai2005,
	address = {Paris, France},
	author = {W. Spencer Smith and Lei Lai},
	booktitle = {Proceedings of the First International Workshop on Situational Requirements Engineering Processes -- Methods, Techniques and Tools to Support Situation-Specific Requirements Engineering Processes, SREP'05},
	date-added = {2014-10-03 23:54:42 +0000},
	date-modified = {2014-10-03 23:54:42 +0000},
	editor = {J. Ralyt\'{e} and P. \.{A}gerfalk and N. Kraiem},
	local-url = {file://localhost/Users/smiths/Work/Research/Papers/SREP05/SREP05_ReformatAndRevise/SmithAndLai_2005.pdf},
	organization = {In conjunction with 13th IEEE International Requirements Engineering Conference},
	pages = {107--121},
	title = {A New Requirements Template for Scientific Computing},
	year = {2005},
	bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAhLi4vLi4vLi4vcHViL1NtaXRoQW5kTGFpXzIwMDUucGRmTxEBXAAAAAABXAACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAAAAAAEJEAAH/////FFNtaXRoQW5kTGFpXzIwMDUucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP////8AAAAAAAAAAAAAAAAAAwACAAAKIGN1AAAAAAAAAAAAAAAAAANwdWIAAAIALS86VXNlcnM6c21pdGhzOlJlcG9zOnB1YjpTbWl0aEFuZExhaV8yMDA1LnBkZgAADgAqABQAUwBtAGkAdABoAEEAbgBkAEwAYQBpAF8AMgAwADAANQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAK1VzZXJzL3NtaXRocy9SZXBvcy9wdWIvU21pdGhBbmRMYWlfMjAwNS5wZGYAABMAAS8AABUAAgAN//8AAAAIAA0AGgAkAEgAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAABqA==},
	bdsk-file-2 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxBVLi4vLi4vLi4vLi4vV29yay9SZXNlYXJjaC9QYXBlcnMvU1JFUDA1L1NSRVAwNV9SZWZvcm1hdEFuZFJldmlzZS9TbWl0aEFuZExhaV8yMDA1LnBkZk8RAcQAAAAAAcQAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xRTbWl0aEFuZExhaV8yMDA1LnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAQABgAACiBjdQAAAAAAAAAAAAAAAAAYU1JFUDA1X1JlZm9ybWF0QW5kUmV2aXNlAAIAWC86VXNlcnM6c21pdGhzOldvcms6UmVzZWFyY2g6UGFwZXJzOlNSRVAwNTpTUkVQMDVfUmVmb3JtYXRBbmRSZXZpc2U6U21pdGhBbmRMYWlfMjAwNS5wZGYADgAqABQAUwBtAGkAdABoAEEAbgBkAEwAYQBpAF8AMgAwADAANQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAVlVzZXJzL3NtaXRocy9Xb3JrL1Jlc2VhcmNoL1BhcGVycy9TUkVQMDUvU1JFUDA1X1JlZm9ybWF0QW5kUmV2aXNlL1NtaXRoQW5kTGFpXzIwMDUucGRmABMAAS8AABUAAgAN//8AAAAIAA0AGgAkAHwAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAACRA==}}

@article{SmithEtAl2007,
	author = {W. Spencer Smith and Lei Lai and Ridha Khedri},
	date-added = {2014-10-03 23:49:56 +0000},
	date-modified = {2018-05-19 17:58:44 +0000},
	doi = {10.1007/s11155-006-9020-7},
	issn = {1573-1340},
	journal = {Reliable Computing, Special Issue on Reliable Engineering Computation},
	local-url = {/Users/smiths/Work/Research/Papers/ReliableComputing/SmithLaiAndKhedri2007fulltext.pdf},
	month = feb,
	number = {1},
	pages = {83--107},
	title = {Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Software Reliability},
	url = {https://doi.org/10.1007/s11155-006-9020-7},
	volume = {13},
	year = {2007},
	bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAuLi4vLi4vLi4vcHViL1NtaXRoTGFpQW5kS2hlZHJpMjAwN2Z1bGx0ZXh0LnBkZk8RAY4AAAAAAY4AAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////x9TbWl0aExhaUFuZEtoZWRyaTIjRkZGRkZGRkYucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAMAAgAACiBjdQAAAAAAAAAAAAAAAAADcHViAAACADovOlVzZXJzOnNtaXRoczpSZXBvczpwdWI6U21pdGhMYWlBbmRLaGVkcmkyMDA3ZnVsbHRleHQucGRmAA4ARAAhAFMAbQBpAHQAaABMAGEAaQBBAG4AZABLAGgAZQBkAHIAaQAyADAAMAA3AGYAdQBsAGwAdABlAHgAdAAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAOFVzZXJzL3NtaXRocy9SZXBvcy9wdWIvU21pdGhMYWlBbmRLaGVkcmkyMDA3ZnVsbHRleHQucGRmABMAAS8AABUAAgAN//8AAAAIAA0AGgAkAFUAAAAAAAACAQAAAAAAAAAFAAAAAAAAAAAAAAAAAAAB5w==},
	bdsk-file-2 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxBULi4vLi4vLi4vLi4vV29yay9SZXNlYXJjaC9QYXBlcnMvUmVsaWFibGVDb21wdXRpbmcvU21pdGhMYWlBbmRLaGVkcmkyMDA3ZnVsbHRleHQucGRmTxEB2AAAAAAB2AACAAAMTWFjaW50b3NoIEhEAAAAAAAAAAAAAAAAAAAAAAAAAEJEAAH/////H1NtaXRoTGFpQW5kS2hlZHJpMiNGRkZGRkZGRi5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAP////8AAAAAUERGIENBUk8ABAAFAAAKIGN1AAAAAAAAAAAAAAAAABFSZWxpYWJsZUNvbXB1dGluZwAAAgBXLzpVc2VyczpzbWl0aHM6V29yazpSZXNlYXJjaDpQYXBlcnM6UmVsaWFibGVDb21wdXRpbmc6U21pdGhMYWlBbmRLaGVkcmkyMDA3ZnVsbHRleHQucGRmAAAOAEQAIQBTAG0AaQB0AGgATABhAGkAQQBuAGQASwBoAGUAZAByAGkAMgAwADAANwBmAHUAbABsAHQAZQB4AHQALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAFVVc2Vycy9zbWl0aHMvV29yay9SZXNlYXJjaC9QYXBlcnMvUmVsaWFibGVDb21wdXRpbmcvU21pdGhMYWlBbmRLaGVkcmkyMDA3ZnVsbHRleHQucGRmAAATAAEvAAAVAAIADf//AAAACAANABoAJAB7AAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAlc=},
	bdsk-url-1 = {https://doi.org/10.1007/s11155-006-9020-7}}

@book{bjorner2009domain,
  title={Domain Engineering: Technology, Management, Research and Engineering},
  author={Bj{\o}rner, Dines},
  year={2009},
  publisher={JAIST Press}
}

@book{bjorner2021domaineng,
  title={Domain Science and Engineering},
  subtitle={A Foundation for Software Development},
  author={Bj{\o}rner, Dines},
  year={2021},
  publisher={Springer International Publishing},
  address={New York},
  doi = {10.1007/978-3-030-73484-8},
  series = {Monographs in Theoretical Computer Science. An EATCS Series}
}

@InProceedings{SPL-long-lived,
author="Lutz, Robyn
and Weiss, David
and Krishnan, Sandeep
and Yang, Jingwei",
editor="Bosch, Jan
and Lee, Jaejoon",
title="Software Product Line Engineering for Long-Lived, Sustainable Systems",
booktitle="Software Product Lines: Going Beyond",
year="2010",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="430--434",
abstract="The design and operation of long-lived, sustainable systems (LSS) are hampered by limited support for change over time and limited preservation of system knowledge. The solution we propose is to adopt software product-line engineering (SPLE) techniques for use in single, critical systems with requirements for sustainability. We describe how four categories of change in a LSS can be usefully handled as variabilities in a software product line. We illustrate our argument with examples of changes from the Voyager spacecraft.",
isbn="978-3-642-15579-6"
}

@incollection{parnas2011precise,
  title={Precise documentation: The key to better software},
  author={Parnas, David Lorge},
  booktitle={The Future of Software Engineering},
  pages={125--148},
  year={2011},
  address={New York},
  publisher={Springer}
}

@misc{madec_gurvan_2022_6334656,
  author       = {Madec Gurvan and
                  Romain Bourdallé-Badie and
                  Jérôme Chanut and
                  Emanuela Clementi and
                  Andrew Coward and
                  Christian Ethé and
                  Doroteaciro Iovino and
                  Dan Lea and
                  Claire Lévy and
                  Tomas Lovato and
                  Nicolas Martin and
                  Sébastien Masson and
                  Silvia Mocavero and
                  Clément Rousset and
                  Dave Storkey and
                  Simon Müeller and
                  George Nurser and
                  Mike Bell and
                  Guillaume Samson and
                  Pierre Mathiot and
                  Francesca Mele and
                  Aimie Moulin},
  title        = {NEMO ocean engine},
  month        = mar,
  year         = 2022,
  publisher    = {Zenodo},
  version      = {v4.2},
  doi          = {10.5281/zenodo.6334656},
  url          = {https://doi.org/10.5281/zenodo.6334656}
}

@TECHREPORT{Madec1998,
  author = {G. Madec and P. Delecluse and M. Imbard and C. Levy},
  title = {OPA 8 Ocean General Circulation Model - Reference Manual},
  institution = {LODYC/IPSL Note 11},
  year = {1998}
}

@inproceedings{claessen2000quickcheck,
  title={QuickCheck: a lightweight tool for random testing of Haskell programs},
  author={Claessen, Koen and Hughes, John},
  booktitle={Proceedings of the fifth ACM SIGPLAN international conference on Functional programming},
  pages={268--279},
  year={2000}
}

@inproceedings{GOOLPEPM,
  title = {GOOL: Generic Object-Oriented Language},
  subtitle = {(short paper)},
  author = {Brooks MacLachlan and Jacques Carette and Spencer S. Smith},
  booktitle = {Proceedings of 2020 SIGPLAM Workskop on Partial Evaluation and Program Manipulation (PEPM 2020)},
  year = {2020},
  organization = {ACM},
  DOI = {https://doi.org/10.1145/3372884.3373159}
}

@book{alexander1977pattern,
  title={A pattern language: towns, buildings, construction},
  author={Alexander, Christopher},
  year={1977},
  publisher={Oxford university press}
}

@article{lenat1995cyc,
  title={CYC: A large-scale investment in knowledge infrastructure},
  author={Lenat, Douglas B},
  journal={Communications of the ACM},
  volume={38},
  number={11},
  pages={33--38},
  year={1995},
  publisher={ACM New York, NY, USA}
}

@article{Spoofax,
author={Lennart C. L. Kats and Eelco Visser},
title={The {Spoofax} language workbench: Rules for declarative specification of languages and {IDE}s},
journal={ACM SIGPLAN Notices},
volume=45,
number=10,
month=oct,
year=2010,
pages={444--463},
nodoi={10.1145/1932682.1869497},
nourl={https://doi.org/10.1145/1932682.1869497},
note={OOPSLA 2010}
}

@inproceedings{researchr,
  title = {Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites},
  author = {Elmer van Chastelet and Eelco Visser and Craig Anslow},
  year = {2015},
  nodoi={10.1145/2814189.2817270},
  nourl = {http://doi.acm.org/10.1145/2814189.2817270},
  pages = {50--51},
  booktitle = {Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications (SPLASH): Software for Humanity},
  editor = {Jonathan Aldrich and Patrick Eugster},
  publisher = {ACM},
}

@incollection{WebDSL,
author={Visser, Eelco},
year=2008,
month=jul,
title={{WebDSL}: A Case Study in Domain-Specific Language Engineering},
editor={Lämmel, Ralf and Visser, Joost and Saraiva, Jo\~{a}o},
booktitle={Generative and Transformational Techniques in Software Engineering {II}},
series={LNCS 5235},
publisher={Springer},
nourl={https://doi.org/10.1007/978-3-540-88643-3_7},
nodoi={10.1007/978-3-540-88643-3_7},
note={GTTSE 2007}
}

@inproceedings{voelter2011product,
  title={Product line engineering using domain-specific languages},
  author={Voelter, Markus and Visser, Eelco},
  booktitle={2011 15th International Software Product Line Conference},
  pages={70--79},
  year={2011},
  organization={IEEE}
}

@ARTICLE{neighbors1984draco,
  author={Neighbors, James M.},
  journal={IEEE Transactions on Software Engineering},
  title={The Draco Approach to Constructing Software from Reusable Components},
  year={1984},
  volume={SE-10},
  number={5},
  pages={564-574},
  doi={10.1109/TSE.1984.5010280}
}

@article{neighbors1989draco,
  title={Draco: A method for engineering reusable software systems},
  author={Neighbors, James M},
  journal={Software reusability},
  volume={1},
  pages={295--319},
  year={1989},
  publisher={ACM press New York}
}

@article{baxter1992design,
  title={Design maintenance systems},
  author={Baxter, Ira D},
  journal={Communications of the ACM},
  volume={35},
  number={4},
  pages={73--89},
  year={1992},
  publisher={ACM New York, NY, USA}
}

@inproceedings{baxter2002dms,
  title={DMS: Program transformations for practical scalable software evolution},
  author={Baxter, Ira D},
  booktitle={Proceedings of the International Workshop on Principles of Software Evolution},
  pages={48--51},
  year={2002}
}

@article{novak1983glisp,
  title={GLISP: A LISP-based programming system with data abstraction},
  author={Novak, Gordon S},
  journal={AI Magazine},
  volume={4},
  number={3},
  pages={37--37},
  year={1983}
}

@inproceedings{novak1994generating,
  title={Generating programs from connections of physical models},
  author={Novak, Gordon S},
  booktitle={Proceedings of the Tenth Conference on Artificial Intelligence for Applications},
  pages={224--230},
  year={1994},
  organization={IEEE}
}

@article{DBLP:journals/tse/Novak95a,
  author    = {Gordon S. Novak},
  title     = {Creation of Views for Reuse of Software with Different Data Representations},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {21},
  number    = {12},
  pages     = {993--1005},
  year      = {1995},
  url       = {https://doi.org/10.1109/32.489074},
  doi       = {10.1109/32.489074},
  timestamp = {Wed, 17 May 2017 10:56:38 +0200},
  biburl    = {https://dblp.org/rec/journals/tse/Novak95a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{kook1991representation,
  title={Representation of models for expert problem solving in physics},
  author={Kook, Hyung Joon and Novak, Gordon S.},
  journal={IEEE Transactions on Knowledge and Data Engineering},
  volume={3},
  number={1},
  pages={48--54},
  year={1991},
  publisher={IEEE}
}

@article{novak1997software,
  title={Software reuse by specialization of generic procedures through views},
  author={Novak, Gordon S.},
  journal={IEEE Transactions on Software Engineering},
  volume={23},
  number={7},
  pages={401--417},
  year={1997},
  publisher={IEEE}
}

@inproceedings{srinivas95specware,
    author = "Y. V. Srinivas and R. Jullig",
    title = "Specware: Formal Support for Composing Software",
    booktitle = "Mathematics of Program Construction",
    pages = "399--422",
    year = "1995",
    opturl = "citeseer.nj.nec.com/srinivas95specware.html"
}

@inbook{smith1999mechanizing,
author = {Smith, Douglas},
year = {1999},
month = {08},
pages = {251-292},
title = {Mechanizing the Development of Software},
booktitle ={Calculational System Design},
publisher = {IOS Press},
}

@book{apel2016feature,
  title={Feature-oriented software product lines},
  author={Apel, Sven and Batory, Don and K{\"a}stner, Christian and Saake, Gunter},
  year={2016},
  publisher={Springer}
}

@ARTICLE{parnas1976families,
  author={Parnas, D.L.},
  journal={IEEE Transactions on Software Engineering},
  title={On the Design and Development of Program Families},
  year={1976},
  volume={SE-2},
  number={1},
  pages={1-9},
  doi={10.1109/TSE.1976.233797}}

@article{schulte2012multi,
  title={A multi-language computing environment for literate programming and reproducible research},
  author={Schulte, Eric and Davison, Dan and Dye, Thomas and Dominik, Carsten},
  journal={Journal of Statistical Software},
  volume={46},
  pages={1--24},
  year={2012}
}

@conference{kluyver2016jupyter,
Title = {Jupyter Notebooks -- a publishing format for reproducible computational workflows},
Author = {Thomas Kluyver and Benjamin Ragan-Kelley and Fernando P{\'e}rez and Brian Granger and Matthias Bussonnier and Jonathan Frederic and Kyle Kelley and Jessica Hamrick and Jason Grout and Sylvain Corlay and Paul Ivanov and Dami{\'a}n Avila and Safia Abdalla and Carol Willing},
Booktitle = {Positioning and Power in Academic Publishing: Players, Agents and Agendas},
Editor = {F. Loizides and B. Schmidt},
Organization = {IOS Press},
Pages = {87 - 90},
Year = {2016}
}

repository: JacquesCarette/Drasil

repo_name: JacquesCarette/Drasil

gha_language: Haskell


text:
# This is the support library for reiser4progs, required when
# building that package.  The libraries from this build must
# be installed on the system to use the reiser4progs programs
PR = "r0"
DESCRIPTION = "Library for user-level code accessing Reiser4 filesystems"
HOMEPAGE = "http://www.namesys.com"
MAINTAINER = "John Bowler <jbowler@acm.org>"
SECTION = "base"
LICENSE = "GPL-2"

SRC_URI = "ftp://ftp.namesys.com/pub/reiser4progs/${P}.tar.gz"

inherit autotools

# This disables anything which uses libminimal - that library
# is used for boot loader stuff and so is not required unless
# the system will boot from a Reiser4 file system, the same
# setting must exist for the reiser4progs build
DISABLE_LIBMINIMAL ?= "--disable-libminimal"
EXTRA_OECONF = "${DISABLE_LIBMINIMAL}"

do_stage() {
	echo "NOTE: stage package ${PF} is: (${PN},${PV},${PR})"
	autotools_stage_includes
	oe_libinstall -a -so -C src ${PN} ${STAGING_LIBDIR}
}

repository: Terentyev/familiar-linux

repo_name: Terentyev/familiar-linux


text:
SECTION = "devel/chicken"
DESCRIPTION = "Scientific bibliography management."
LICENSE = "BSD"
LIC_FILES_CHKSUM = "file://scbib.meta;md5=190d37b8c64e95e12738a17756c0c83e"
DEPENDS_append_class-cross = " chicken-egg-regex-cross chicken-egg-datatype-cross"
DEPENDS_append_class-crosssdk = " chicken-egg-regex-crosssdk chicken-egg-datatype-crosssdk"
DEPENDS_append_class-nativesdk = " nativesdk-chicken-egg-regex nativesdk-chicken-egg-datatype chicken-egg-regex-crosssdk chicken-egg-datatype-crosssdk"
DEPENDS = " chicken-egg-regex chicken-egg-datatype chicken-egg-regex-cross chicken-egg-datatype-cross chicken-egg-scbib-cross"
RDEPENDS_${PN} = " chicken-egg-regex chicken-egg-datatype"

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

SRC_URI[md5sum] = "db040c9b4f3b05e94c600e0b87491f3a"
SRC_URI[sha256sum] = "74c73d826d0c8558c7eb8a1d14e872c755d11686028a89e0624aab00ac05ef21"

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

inherit chicken_install

BBCLASSEXTEND = "cross crosssdk nativesdk"

repository: OSSystems/meta-chicken

repo_name: OSSystems/meta-chicken


text:
@InCollection{zouwe_gebruik_2017,
  title = {Gebruik van niet-reguliere behandelwijzen voor kanker naast reguliere behandeling},
  author = {Nicole {van der Zouwe} and Frits {van Dam} and Thomas P. C. Dorlo},
  booktitle = {Leerboek Oncologie},
  editor = {C. J. H. {van de Velde}},
  date = {2017-01-01},
  edition = {9},
  publisher = {Bohn Stafleu van Loghum},
  isbn = {978-90-368-0442-4},
  doi = {10.1007/978-90-368-0442-4_40},
  url = {https://mijn.bsl.nl/gebruik-van-niet-reguliere-behandelwijzen-voor-kanker-naast-regu/12290094},
  abstract = {In dit hoofdstuk staan de ontwikkelingen rond het gebruik van alternatieve of niet-reguliere behandelwijzen voor kanker centraal. Allereerst wordt aan de hand van internationale onderzoeksgegevens de omvang van het gebruik van niet-reguliere behandelwijzen voor kanker beschreven. Vervolgens komt de Nederlandse situatie meer in detail aan de orde. Daarbij gaan we in op de vraag wie een niet-reguliere kankertherapie volgen, waarom ze dat doen en welke kosten ermee zijn gemoeid. Dan volgt een overzicht van bekende en veelgebruikte niet-reguliere behandelwijzen voor kanker in Nederland. Het hoofdstuk wordt afgesloten met een beschouwing.},
}

repository: thomasdorlo/thomasdorlo

repo_name: thomasdorlo/thomasdorlo


text:
@article{canny1986computational,
  title={A computational approach to edge detection},
  author={Canny, John},
  journal={IEEE Transactions on pattern analysis and machine intelligence},
  number={6},
  pages={679--698},
  year={1986},
  publisher={Ieee}
}

@article{crowley1984representation,
  title={A representation for shape based on peaks and ridges in the difference of low-pass transform},
  author={Crowley, James L and Parker, Alice C},
  journal={IEEE transactions on pattern analysis and machine intelligence},
  number={2},
  pages={156--170},
  year={1984},
  publisher={IEEE}
}

@inproceedings{dalal2005histograms,
  title={Histograms of oriented gradients for human detection},
  author={Dalal, Navneet and Triggs, Bill},
  booktitle={2005 IEEE computer society conference on computer vision and pattern recognition (CVPR'05)},
  volume={1},
  pages={886--893},
  year={2005},
  organization={IEEE}
}

@inproceedings{deng2009imagenet,
  title={Imagenet: A large-scale hierarchical image database},
  author={Deng, Jia and Dong, Wei and Socher, Richard and Li, Li-Jia and Li, Kai and Fei-Fei, Li},
  booktitle={2009 IEEE conference on computer vision and pattern recognition},
  pages={248--255},
  year={2009},
  organization={Ieee}
}

@incollection{fukushima1982neocognitron,
  title={Neocognitron: A self-organizing neural network model for a mechanism of visual pattern recognition},
  author={Fukushima, Kunihiko and Miyake, Sei},
  booktitle={Competition and cooperation in neural nets},
  pages={267--285},
  year={1982},
  publisher={Springer}
}

@article{geirhos2018imagenet,
  title={ImageNet-trained CNNs are biased towards texture; increasing shape bias improves accuracy and robustness},
  author={Geirhos, Robert and Rubisch, Patricia and Michaelis, Claudio and Bethge, Matthias and Wichmann, Felix A and Brendel, Wieland},
  journal={arXiv preprint arXiv:1811.12231},
  year={2018}
}

@inproceedings{girshick2014rich,
  title={Rich feature hierarchies for accurate object detection and semantic segmentation},
  author={Girshick, Ross and Donahue, Jeff and Darrell, Trevor and Malik, Jitendra},
  booktitle={Proceedings of the IEEE conference on computer vision and pattern recognition},
  pages={580--587},
  year={2014}
}

@inproceedings{girshick2015fast,
  title={Fast r-cnn},
  author={Girshick, Ross},
  booktitle={Proceedings of the IEEE international conference on computer vision},
  pages={1440--1448},
  year={2015}
}

@misc{gonzales2002digital,
  title={Digital image processing},
  author={Gonzales, Rafael C and Woods, Richard E},
  year={2002},
  publisher={Prentice hall New Jersey}
}

@inproceedings{grauman2005pyramid,
  title={The pyramid match kernel: Discriminative classification with sets of image features},
  author={Grauman, Kristen and Darrell, Trevor},
  booktitle={Tenth IEEE International Conference on Computer Vision (ICCV'05) Volume 1},
  volume={2},
  pages={1458--1465},
  year={2005},
  organization={IEEE}
}

@inproceedings{harris1988combined,
  title={A combined corner and edge detector.},
  author={Harris, Christopher G and Stephens, Mike and others},
  booktitle={Alvey vision conference},
  volume={15},
  number={50},
  pages={10--5244},
  year={1988},
  organization={Citeseer}
}

@inproceedings{harzallah2009combining,
  title={Combining efficient object localization and image classification},
  author={Harzallah, Hedi and Jurie, Fr{\'e}d{\'e}ric and Schmid, Cordelia},
  booktitle={2009 IEEE 12th international conference on computer vision},
  pages={237--244},
  year={2009},
  organization={IEEE}
}

@inproceedings{he2017mask,
  title={Mask r-cnn},
  author={He, Kaiming and Gkioxari, Georgia and Doll{\'a}r, Piotr and Girshick, Ross},
  booktitle={Proceedings of the IEEE international conference on computer vision},
  pages={2961--2969},
  year={2017}
}

@inproceedings{he2016deep,
  title={Deep residual learning for image recognition},
  author={He, Kaiming and Zhang, Xiangyu and Ren, Shaoqing and Sun, Jian},
  booktitle={Proceedings of the IEEE conference on computer vision and pattern recognition},
  pages={770--778},
  year={2016}
}

@inproceedings{hinton2018matrix,
  title={Matrix capsules with EM routing},
  author={Hinton, Geoffrey E and Sabour, Sara and Frosst, Nicholas},
  booktitle={International conference on learning representations},
  year={2018}
}

@inproceedings{jaderberg2015spatial,
  title={Spatial transformer networks},
  author={Jaderberg, Max and Simonyan, Karen and Zisserman, Andrew and others},
  booktitle={Advances in neural information processing systems},
  pages={2017--2025},
  year={2015}
}

@article{krizhevsky2017imagenet,
  title={Imagenet classification with deep convolutional neural networks},
  author={Krizhevsky, Alex and Sutskever, Ilya and Hinton, Geoffrey E},
  journal={Communications of the ACM},
  volume={60},
  number={6},
  pages={84--90},
  year={2017},
  publisher={ACM New York, NY, USA}
}

@inproceedings{lazebnik2006beyond,
  title={Beyond bags of features: Spatial pyramid matching for recognizing natural scene categories},
  author={Lazebnik, Svetlana and Schmid, Cordelia and Ponce, Jean},
  booktitle={2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'06)},
  volume={2},
  pages={2169--2178},
  year={2006},
  organization={IEEE}
}

@article{lecun1989handwritten,
  title={Handwritten digit recognition with a back-propagation network},
  author={LeCun, Yann and Boser, Bernhard and Denker, John and Henderson, Donnie and Howard, R and Hubbard, Wayne and Jackel, Lawrence},
  journal={Advances in neural information processing systems},
  volume={2},
  pages={396--404},
  year={1989}
}

@inproceedings{lecun2004learning,
  title={Learning methods for generic object recognition with invariance to pose and lighting},
  author={LeCun, Yann and Huang, Fu Jie and Bottou, Leon},
  booktitle={Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2004. CVPR 2004.},
  volume={2},
  pages={II--104},
  year={2004},
  organization={IEEE}
}

@inproceedings{lin2011large,
  title={Large-scale image classification: Fast feature extraction and SVM training},
  author={Lin, Yuanqing and Lv, Fengjun and Zhu, Shenghuo and Yang, Ming and Cour, Timothee and Yu, Kai and Cao, Liangliang and Huang, Thomas},
  booktitle={CVPR 2011},
  pages={1689--1696},
  year={2011},
  organization={IEEE}
}

@inproceedings{liu2016ssd,
  title={Ssd: Single shot multibox detector},
  author={Liu, Wei and Anguelov, Dragomir and Erhan, Dumitru and Szegedy, Christian and Reed, Scott and Fu, Cheng-Yang and Berg, Alexander C},
  booktitle={European conference on computer vision},
  pages={21--37},
  year={2016},
  organization={Springer}
}

@inproceedings{long2015fully,
  title={Fully convolutional networks for semantic segmentation},
  author={Long, Jonathan and Shelhamer, Evan and Darrell, Trevor},
  booktitle={Proceedings of the IEEE conference on computer vision and pattern recognition},
  pages={3431--3440},
  year={2015}
}

@inproceedings{lowe1999object,
  title={Object recognition from local scale-invariant features},
  author={Lowe, David G},
  booktitle={Proceedings of the seventh IEEE international conference on computer vision},
  volume={2},
  pages={1150--1157},
  year={1999},
  organization={Ieee}
}

@article{minaee2020image,
  title={Image segmentation using deep learning: A survey},
  author={Minaee, Shervin and Boykov, Yuri and Porikli, Fatih and Plaza, Antonio and Kehtarnavaz, Nasser and Terzopoulos, Demetri},
  journal={arXiv preprint arXiv:2001.05566},
  year={2020}
}

@inproceedings{noh2015learning,
  title={Learning deconvolution network for semantic segmentation},
  author={Noh, Hyeonwoo and Hong, Seunghoon and Han, Bohyung},
  booktitle={Proceedings of the IEEE international conference on computer vision},
  pages={1520--1528},
  year={2015}
}

@article{viola2005detecting,
  title={Detecting pedestrians using patterns of motion and appearance},
  author={Viola, Paul and Jones, Michael J and Snow, Daniel},
  journal={International Journal of Computer Vision},
  volume={63},
  number={2},
  pages={153--161},
  year={2005},
  publisher={Springer}
}

@article{otsu1979threshold,
  title={A threshold selection method from gray-level histograms},
  author={Otsu, Nobuyuki},
  journal={IEEE transactions on systems, man, and cybernetics},
  volume={9},
  number={1},
  pages={62--66},
  year={1979},
  publisher={IEEE}
}

@inproceedings{papageorgiou1998general,
  title={A general framework for object detection},
  author={Papageorgiou, Constantine P and Oren, Michael and Poggio, Tomaso},
  booktitle={Sixth International Conference on Computer Vision (IEEE Cat. No. 98CH36271)},
  pages={555--562},
  year={1998},
  organization={IEEE}
}

@inproceedings{redmon2016you,
  title={You only look once: Unified, real-time object detection},
  author={Redmon, Joseph and Divvala, Santosh and Girshick, Ross and Farhadi, Ali},
  booktitle={Proceedings of the IEEE conference on computer vision and pattern recognition},
  pages={779--788},
  year={2016}
}

@inproceedings{ren2015faster,
  title={Faster r-cnn: Towards real-time object detection with region proposal networks},
  author={Ren, Shaoqing and He, Kaiming and Girshick, Ross and Sun, Jian},
  booktitle={Advances in neural information processing systems},
  pages={91--99},
  year={2015}
}

@inproceedings{ronneberger2015u,
  title={U-net: Convolutional networks for biomedical image segmentation},
  author={Ronneberger, Olaf and Fischer, Philipp and Brox, Thomas},
  booktitle={International Conference on Medical image computing and computer-assisted intervention},
  pages={234--241},
  year={2015},
  organization={Springer}
}

@article{russakovskyimagenet,
  title={ImageNet Large Scale Visual Recognition Challenge},
  author={Russakovsky, Olga and Deng, Jia and Su, Hao and Krause, Jonathan and Satheesh, Sanjeev and Ma, Sean and Huang, Zhiheng and Karpathy, Andrej and Khosla, Aditya and Bernstein, Michael and others},
  publisher={Citeseer}
}

@article{russell2002artificial,
  title={Artificial intelligence: a modern approach},
  author={Russell, Stuart and Norvig, Peter},
  year={2002}
}

@inproceedings{sanchez2011high,
  title={High-dimensional signature compression for large-scale image classification},
  author={S{\'a}nchez, Jorge and Perronnin, Florent},
  booktitle={CVPR 2011},
  pages={1665--1672},
  year={2011},
  organization={IEEE}
}

@article{shi2000normalized,
  title={Normalized cuts and image segmentation},
  author={Shi, Jianbo and Malik, Jitendra},
  journal={IEEE Transactions on pattern analysis and machine intelligence},
  volume={22},
  number={8},
  pages={888--905},
  year={2000},
  publisher={Ieee}
}

@article{simonyan2014very,
  title={Very deep convolutional networks for large-scale image recognition},
  author={Simonyan, Karen and Zisserman, Andrew},
  journal={arXiv preprint arXiv:1409.1556},
  year={2014}
}

@inproceedings{szegedy2015going,
  title={Going deeper with convolutions},
  author={Szegedy, Christian and Liu, Wei and Jia, Yangqing and Sermanet, Pierre and Reed, Scott and Anguelov, Dragomir and Erhan, Dumitru and Vanhoucke, Vincent and Rabinovich, Andrew},
  booktitle={Proceedings of the IEEE conference on computer vision and pattern recognition},
  pages={1--9},
  year={2015}
}

@inproceedings{wang2009hog,
  title={An HOG-LBP human detector with partial occlusion handling},
  author={Wang, Xiaoyu and Han, Tony X and Yan, Shuicheng},
  booktitle={2009 IEEE 12th international conference on computer vision},
  pages={32--39},
  year={2009},
  organization={IEEE}
}

@inproceedings{zhang2018single,
  title={Single-shot refinement neural network for object detection},
  author={Zhang, Shifeng and Wen, Longyin and Bian, Xiao and Lei, Zhen and Li, Stan Z},
  booktitle={Proceedings of the IEEE conference on computer vision and pattern recognition},
  pages={4203--4212},
  year={2018}
}

branch_name: refs/heads/main


text:
@article{trusting_trust,
	title     = {Reflections on Trusting Trust},
	author    = {Thompson, Ken},
	journal   = {Communications of the ACM},
	volume    = {27},
	number    = {8},
	pages     = {761--763},
	year      = {1984},
	publisher = {ACM}
}

@phdthesis{cifuentes_reverse_comp,
	title  = {Reverse Compilation Techniques},
	author = {Cifuentes, Cristina},
	year   = {1994},
	school = {Queensland University of Technology},
}

@inproceedings{helping_johnny,
	title        = {Helping Johnny to Analyze Malware: A Usability-Optimized Decompiler and Malware Analysis User Study},
	author       = {Yakdan, Khaled and Dechand, Sergej and Gerhards-Padilla, Elmar and Smith, Matthew},
	booktitle    = {Security and Privacy (SP), 2016 IEEE Symposium on},
	pages        = {158--177},
	year         = {2016},
	organization = {IEEE},
	note         = {[Online] Available: \url{https://net.cs.uni-bonn.de/fileadmin/ag/martini/Staff/yakdan/dream_oakland2016.pdf}. [Accessed: 08 Jun 2017]},
}

@inproceedings{semantics_preserving_structural_analysis,
	title     = {Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring},
	author    = {Schwartz, Edward J and Lee, JongHyup and Woo, Maverick and Brumley, David},
	booktitle = {Proceedings of the USENIX Security Symposium},
	volume    = {16},
	year      = {2013},
	note      = {[Online] Available: \url{https://www.usenix.org/system/files/conference/usenixsecurity13/sec13-paper_schwartz.pdf}. [Accessed: 08 Jun 2017]},
}

@inproceedings{no_more_gotos,
	title     = {No More Gotos: Decompilation Using Pattern-Independent Control-Flow Structuring and Semantics-Preserving Transformations},
	author    = {Yakdan, Khaled and Eschweiler, Sebastian and Gerhards-Padilla, Elmar and Smith, Matthew},
	booktitle = {NDSS},
	year      = {2015},
	note      = {[Online] Available: \url{https://net.cs.uni-bonn.de/fileadmin/ag/martini/Staff/yakdan/dream_ndss2015.pdf}. [Accessed: 08 Jun 2017]},
}

@mastersthesis{pdg_control_flow_analysis,
	title  = {{Matching of Control- and Data-Flow Constructs in Disassembled Code}},
	author = {Conradi, Tobias},
	year   = {2015},
	type   = {{BSc} thesis},
	school = {Hamburg University of Technology},
	note   = {[Online] Available: \url{https://www.sts.tuhh.de/pw-and-m-theses/2015/conradi15.pdf}. [Accessed: 08 Jun 2017]},
}

@mastersthesis{node_splitting,
	title  = {Decompilation of {LLVM IR}},
	author = {Moll, Simon},
	year   = {2011},
	type   = {{BSc} thesis},
	school = {Saarland University},
	note   = {[Online] Available: \url{http://www.cdl.uni-saarland.de/publications/theses/moll_bsc.pdf}. [Accessed: 08 Jun 2017]},
}

@article{interprocedural_control_flow_recovery,
	title     = {{Interprocedural Control Flow Reconstruction}},
	author    = {Flexeder, Andrea and Mihaila, Bogdan and Petter, Michael and Seidl, Helmut},
	journal   = {Programming Languages and Systems},
	pages     = {188--203},
	year      = {2010},
	publisher = {Springer},
	note      = {[Online] Available: \url{http://www2.in.tum.de/bib/files/Flexeder10Interprocedural.pdf}. [Accessed: 15 Aug 2017]},
}

@inproceedings{structuring_decompiled_graphs,
	title        = {{Structuring Decompiled Graphs}},
	author       = {Cifuentes, Cristina},
	booktitle    = {Compiler Construction},
	pages        = {91--105},
	year         = {1996},
	organization = {Springer},
	note         = {[Online] Available: \url{https://pdfs.semanticscholar.org/48bf/d31773af7b67f9d1b003b8b8ac889f08271f.pdf}. [Accessed: 15 Aug 2017]},
}

@inproceedings{structuring_algorithm_for_decompilation,
	title     = {{A Structuring Algorithm for Decompilation}},
	author    = {Cifuentes, Cristina},
	booktitle = {Proceedings of the XIX Conferencia Latinoamericana de Inform atica},
	pages     = {267--276},
	year      = {1993},
	note      = {[Online] Available: \url{https://pdfs.semanticscholar.org/e0c8/25644a0e85550da2bd4b4b1c1c7c7affc246.pdf}. [Accessed: 15 Aug 2017]},
}

@article{unravelling_unstructured_programs,
	title     = {{Unravelling Unstructured Programs}},
	author    = {Oulsnam, Gordon},
	journal   = {The Computer Journal},
	volume    = {25},
	number    = {3},
	pages     = {379--387},
	year      = {1982},
	publisher = {The British Computer Society},
	note      = {[Online] Available: \url{https://academic.oup.com/comjnl/article-pdf/25/3/379/1053480/25-3-379.pdf}. [Accessed: 15 Aug 2017]},
}

@article{algorithmic_transformation_of_schemas,
	title     = {{The Algorithmic Transformation of Schemas to Structured Form}},
	author    = {Oulsnam, Gordon},
	journal   = {The Computer Journal},
	volume    = {30},
	number    = {1},
	pages     = {43--51},
	year      = {1987},
	publisher = {Oxford University Press},
	note      = {[Online] Available: \url{https://academic.oup.com/comjnl/article-pdf/30/1/43/1137143/300043.pdf}. [Accessed: 15 Aug 2017]},
}

@inproceedings{flow_graph_reducibility,
	title        = {{Flow Graph Reducibility}},
	author       = {Hecht, Matthew S and Ullman, Jeffrey D},
	booktitle    = {Proceedings of the fourth annual ACM symposium on Theory of computing},
	pages        = {238--250},
	year         = {1972},
	organization = {ACM},
}

@article{characterizations_of_reducible_flow_graphs,
	title     = {{Characterizations of Reducible Flow Graphs}},
	author    = {Hecht, Matthew S and Ullman, Jeffrey D},
	journal   = {Journal of the ACM (JACM)},
	volume    = {21},
	number    = {3},
	pages     = {367--375},
	year      = {1974},
	publisher = {ACM},
}

@inproceedings{taming_control_flow,
	title        = {{Taming control flow: A structured approach to eliminating goto statements}},
	author       = {Erosa, Ana M and Hendren, Laurie J},
	booktitle    = {Computer Languages, 1994., Proceedings of the 1994 International Conference on},
	pages        = {229--240},
	year         = {1994},
	organization = {IEEE},
	note         = {[Online] Available: \url{https://www.researchgate.net/profile/Laurie_Hendren/publication/2609386_Taming_Control_Flow_A_Structured_Approach_to_Eliminating_Goto_Statements/links/556c638a08aeccd7773b2c49.pdf}. [Accessed: 15 Aug 2017]},
}

@article{formal_basis_for_removing_goto_statements,
	title     = {{A Formal Basis for Removing Goto Statements}},
	author    = {Pan, Si and Dromey, R. Geoff},
	journal   = {The Computer Journal},
	volume    = {39},
	number    = {3},
	pages     = {203--214},
	year      = {1996},
	publisher = {Oxford University Press},
	note      = {[Online] Available: \url{https://pdfs.semanticscholar.org/f1a6/242247c6ae2df38ac7608eab839e059abcd7.pdf}. [Accessed: 15 Aug 2017]},
}

@article{conversion_of_unstructured_flow_diagrams,
	title     = {Conversion of unstructured flow diagrams to structured form},
	author    = {Williams, M. Howard and Ossher, HL},
	journal   = {The Computer Journal},
	volume    = {21},
	number    = {2},
	pages     = {161--167},
	year      = {1978},
	publisher = {The British Computer Society},
	note      = {[Online] Available: \url{https://academic.oup.com/comjnl/article-pdf/21/2/161/1291112/21-2-161.pdf}. [Accessed: 15 Aug 2017]},
}

@inproceedings{new_structuring_algorithms,
	title        = {New algorithms for control-flow graph structuring},
	author       = {Moretti, Eric and Chanteperdrix, Gilles and Osorio, Angel},
	booktitle    = {Software Maintenance and Reengineering, 2001. Fifth European Conference on},
	pages        = {184--187},
	year         = {2001},
	organization = {IEEE},
}

@book{MoSCoW_analysis,
	title     = {{A Guide to the Business Analysis Body of Knowledger}},
	author    = {Kevin Brennan and others},
	year      = {2009},
	publisher = {Iiba},
}

@inproceedings{basic_concepts_of_control_flow_analysis,
	title        = {Control Flow Analysis},
	author       = {Allen, Frances E},
	booktitle    = {ACM Sigplan Notices},
	volume       = {5},
	number       = {7},
	pages        = {1--19},
	year         = {1970},
	organization = {ACM},
	note         = {[Online] Available: \url{http://www.cs.columbia.edu/~suman/secure_sw_devel/p1-allen.pdf}. [Accessed: 01 Feb 2018]},
}

@mastersthesis{compositional_decompilation,
	title  = {{Compositional Decompilation using LLVM IR}},
	author = {Eklind, Robin},
	year   = {2015},
	type   = {{BSc} thesis},
	school = {Uppsala University},
	note   = {[Online] Available: \url{http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-279307}. [Accessed: 14 Mar 2018]},
}

@article{rosen_method,
	title={High-level data flow analysis},
	author={Rosen, Barry K},
	journal={Communications of the ACM},
	volume={20},
	number={10},
	pages={712--724},
	year={1977},
	publisher={ACM}
}

@book{advanced_compiler_design_implementation_book,
	title={Advanced compiler design implementation},
	author={Muchnick, Steven and others},
	year={1997},
	publisher={Morgan kaufmann}
}

@phdthesis{homan_centric_decompilation,
	title={A Human-Centric Approach For Binary Code Decompilation.},
	author={Yakdan, Khaled},
	year={2018},
	school={University of Bonn, Germany},
	note={[Online] Available: \url{http://hss.ulb.uni-bonn.de/2018/5004/5004.pdf}. [Accessed: 23 Jan 2019]},
}

@inproceedings{revng,
	title={rev. ng: a unified binary analysis framework to recover CFGs and function boundaries},
	author={Di Federico, Alessandro and Payer, Mathias and Agosta, Giovanni},
	booktitle={Proceedings of the 26th International Conference on Compiler Construction},
	pages={131--141},
	year={2017},
	organization={ACM},
	note={[Online] Available: \url{https://nebelwelt.net/publications/files/17CC.pdf}. [Accessed: 23 Jan 2019]},
}

license: Unlicense

repository: decomp/doc

repo_name: decomp/doc