Filters








46,652 Hits in 10.6 sec

Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (Extended Version) [article]

Francesco Gavazzo
<span title="2018-02-06">2018</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
To do so a general, abstract framework for studying behavioural relations taking values over quantales is defined according to Lawvere's analysis of generalised metric spaces.  ...  This paper studies the quantitative refinements of Abramsky's applicative similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value λ-calculus with a linear type system that  ...  Special thanks also goes to Alex Simpson and Niels Voorneveld for many insightful discussions about the topic of this work.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1801.09072v3">arXiv:1801.09072v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hvpl33atmjaorlruldhne35ine">fatcat:hvpl33atmjaorlruldhne35ine</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200905054636/https://arxiv.org/pdf/1801.09072v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b1/23/b12345f0df4fc37e666a678bfd9fcfdb21f06f9d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1801.09072v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Quantitative Behavioural Reasoning for Higher-order Effectful Programs

Francesco Gavazzo
<span title="">2018</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cnybbxuptncftdgxtodn5edz7m" style="color: black;">Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS &#39;18</a> </i> &nbsp;
To do so a general, abstract framework for studying behavioural relations taking values over quantales is introduced according to Lawvere's analysis of generalised metric spaces.  ...  This paper studies quantitative refinements of Abramsky's applicative similarity and bisimilarity in the context of a generalisation of Fuzz, a call-by-value λ-calculus with a linear type system that can  ...  Special thanks also goes to Alex Simpson 7 Formally, we should extend our definitions adding a basic type for real numbers and primitives for arithmetical operations, but that is straightforward. and  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3209108.3209149">doi:10.1145/3209108.3209149</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/lics/Gavazzo18.html">dblp:conf/lics/Gavazzo18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2l3donqqgvg3dfxiss3n34aq5y">fatcat:2l3donqqgvg3dfxiss3n34aq5y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200509033657/https://hal.inria.fr/hal-01926069/file/lics2018CameraReady.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4c/4e/4c4e3d2deef9e84415037aa6ef827d2b928527b5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3209108.3209149"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Up-To Techniques for Weighted Systems (Extended Version) [article]

Filippo Bonchi, Barbara König, Sebastian Küpper
<span title="2017-01-23">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This problem is considered for rings and l-monoids, for the latter we provide a rewriting algorithm and show its confluence and termination.  ...  We show how up-to techniques for (bi-)similarity can be used in the setting of weighted systems.  ...  Furthermore we express our thanks to Issai Zaks for his help with the runtime results.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1701.05001v2">arXiv:1701.05001v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/scsi4bw2mfcmvojgq6xpaefh3m">fatcat:scsi4bw2mfcmvojgq6xpaefh3m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191024235119/https://arxiv.org/pdf/1701.05001v2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/6e/b0/6eb033531e3d6da47c7b1aaa76a425085436d1bf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1701.05001v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version) [article]

Ruggero Lanotte and Massimo Merro and Andrei Munteanu and Luca Viganò
<span title="2021-05-22">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, i.e., attacks targeting physical devices.  ...  We define a hybrid process calculus to model both CPSs and physics-based attacks. (2)~We formalise a threat model that specifies MITM attacks that can manipulate sensor readings or control commands in order  ...  Acknowledgements We thank the anonymous reviewers for their insightful and careful reviews.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1902.04572v3">arXiv:1902.04572v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tvbea3y7t5d6ll5h5o4u62iikq">fatcat:tvbea3y7t5d6ll5h5o4u62iikq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210530144954/https://arxiv.org/pdf/1902.04572v3.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4f/0c/4f0ce46e367a1b6b79fffa76a06cf68ae88c5bad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1902.04572v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Euclidean distance geometry and applications [article]

Leo Liberti, Carlile Lavor, Nelson Maculan, Antonio Mucherino
<span title="2012-05-02">2012</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This is useful in several applications where the input data consists of an incomplete set of distances, and the output is a set of points in Euclidean space that realizes the given distances.  ...  We survey some of the theory of Euclidean distance geometry and some of the most important applications: molecular conformation, localization of sensor networks and statics.  ...  We equally grateful to Leandro Martinez for useful discussions.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1205.0349v1">arXiv:1205.0349v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jpr2dxrcj5a6degsanug3bbhcu">fatcat:jpr2dxrcj5a6degsanug3bbhcu</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1205.0349/1205.0349.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1205.0349v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

The Effect of Universal Design for Learning (UDL) Application on E-learning Acceptance: A Structural Equation Model

Ahmed Al-Azawei, Patrick Parslow, Karsten Lundqvist
<span title="2017-09-25">2017</span> <i title="Athabasca University Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mrydmshierdtldllbzh22szhfy" style="color: black;">International Review of Research in Open and Distance Learning</a> </i> &nbsp;
The extended model accounted for 45.4% and 41.6% of the variance of perceived satisfaction and behavioural intention respectively.  ...  It aims to examine the effectiveness of a technology-enhanced traditional web design course on blended e-learning acceptance and learner satisfaction in which UDL principles (multiple means of representation  ...  Acknowledgment The authors would like to thank the Iraqi Ministry of Higher Education and Scientific Research (MHESR-I) for supporting this study.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.19173/irrodl.v18i6.2880">doi:10.19173/irrodl.v18i6.2880</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2hphqsbo3zcwjo7cdmxtcj3uka">fatcat:2hphqsbo3zcwjo7cdmxtcj3uka</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171007095953/http://www.irrodl.org:80/index.php/irrodl/article/viewFile/2880/4387" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d9/70/d97000727d185b24b001b79d0c3521e0c7717460.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.19173/irrodl.v18i6.2880"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A Contextual Normalised Edit Distance

Colin de la Higuera, Luisa Micó
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rnsf6ip73jbf5giprd5odf3nvm" style="color: black;">First International Workshop on Similarity Search and Applications (sisap 2008)</a> </i> &nbsp;
We prove that this contextual edit distance is a metric and that it can be computed through an extension of the usual dynamic programming algorithm for the edit distance.  ...  In order to better fit a variety of pattern recognition problems over strings, using a normalised version of the edit or Levenshtein distance is considered to be an appropriate approach.  ...  , IST-2002-506778, the program CONSOLIDER INGENIO 2010 (CSD2007-00018), and the ANR (for program BLAN07-1_184534).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sisap.2008.17">doi:10.1109/sisap.2008.17</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sisap/HigueraM08.html">dblp:conf/sisap/HigueraM08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vu43k34j55euxe2e366qxymtii">fatcat:vu43k34j55euxe2e366qxymtii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100104233107/http://rua.ua.es/dspace/bitstream/10045/8774/1/2-_sisap08-2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a1/0f/a10f11ba477cbb287d5d35b094ba609999ca806e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sisap.2008.17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Qualitative modelling via constraint programming

Thomas W. Kelsey, Lars Kotthoff, Christopher A. Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
<span title="2014-02-12">2014</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ldxybeeoybgrrpc5b5v6mqdwty" style="color: black;">Constraints</a> </i> &nbsp;
Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative  ...  The aim is to be able to model the behaviour of systems without estimating parameter values and fixing the exact quantitative dynamics.  ...  Forward and central differences can be approximated using the same technique, as can derivatives to any required higher order.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10601-014-9158-6">doi:10.1007/s10601-014-9158-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5j3qjsfdmrdubb4acuaalrqki4">fatcat:5j3qjsfdmrdubb4acuaalrqki4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190426183137/http://eprints.whiterose.ac.uk/144174/1/qualitative_constraints_j.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ed/ad/edadc1f4698ba699d7c1537de74762b1856d02a0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10601-014-9158-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Defining locality as a problem difficulty measure in genetic programming

Edgar Galván-López, James McDermott, Michael O'Neill, Anthony Brabazon
<span title="2011-04-02">2011</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kaqfiyu23jaedmsqlirt7rbdxq" style="color: black;">Genetic Programming and Evolvable Machines</a> </i> &nbsp;
We attempt to extend the standard quantitative definition of genotype-phenotype locality to the genotype-fitness mapping by considering three possible definitions.  ...  Publication information Genetic Programming and Evolvable Machines, 12 (4): 365-401 Publisher Springer Link to online version http://dx. Abstract A mapping is local if it preserves neighbourhood.  ...  Leonardo Vanneschi is particularly thanked for his helpful suggestions and for his encouragement to further continue developing this research.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10710-011-9136-3">doi:10.1007/s10710-011-9136-3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vuxcbdmb4rgejjektxlzpacrkq">fatcat:vuxcbdmb4rgejjektxlzpacrkq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720134140/https://researchrepository.ucd.ie/bitstream/10197/3512/1/LocalityGP_Galvan2011-1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/29/e729aeb474227c9d0cfe8775c0ac27a537e73c7d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10710-011-9136-3"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Qualitative Modelling via Constraint Programming: Past, Present and Future [article]

Thomas W. Kelsey, Lars Kotthoff, Christoffer A. Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent
<span title="2012-09-18">2012</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Traditional applications are the study of the dynamics of physical and biological systems at a higher level of abstraction than that obtained by estimation of numerical parameter values for a fixed quantitative  ...  The aim is to be able to model the behaviour of systems without estimating parameter values and fixing the exact quantitative dynamics.  ...  Forward and central differences can be approximated using the same technique, as can derivatives to any required higher order.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1209.3916v1">arXiv:1209.3916v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/s7w36cffofesdiga4zaxfwqt4y">fatcat:s7w36cffofesdiga4zaxfwqt4y</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1209.3916/1209.3916.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1209.3916v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Reasoning about Faults in Aspect-Oriented Programs: A Metrics-Based Evaluation

Rachel Burrows, Francois Taïani, Alessandro Garcia, Fabiano Cutigi Ferrari
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cmtxa734ezfojns2jrwgh64rym" style="color: black;">2011 IEEE 19th International Conference on Program Comprehension</a> </i> &nbsp;
Aspect code is often introduced and extended as the software projects evolve. Unfortunately, we still lack a good understanding of how faults are introduced in evolving aspect-oriented programs.  ...  Aspect-oriented programming (AOP) aims at facilitating program comprehension and maintenance in the presence of crosscutting concerns.  ...  A purely proportional behaviour will show as a diagonal line, whereas an over-proportional behaviour (higher values contributing more to faults) will appear as a left-corner curve.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icpc.2011.30">doi:10.1109/icpc.2011.30</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iwpc/BurrowsTGF11.html">dblp:conf/iwpc/BurrowsTGF11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w7azyafqtndvjote7s3wi5p6he">fatcat:w7azyafqtndvjote7s3wi5p6he</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922235220/http://ftaiani.ouvaton.org/ressources/icpc2011.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/22/78/2278071e4d3bc10d2528c907d15cd54e32b3f94f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icpc.2011.30"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Program

<span title="2022-03-23">2022</span> <i title="IEEE"> 2022 International Conference on Decision Aid Sciences and Applications (DASA) </i> &nbsp;
The proposed model is an extended version that will answer both "replenishment period" and "optimal replenishment order" simultaneously by considering a joint replenishment environment for multiple items  ...  modelling and reasoning under uncertainty, and it is an effective approach for multisensor data fusion.  ...  The optimization model uses a linear programming algorithm for finding the optimum flowrate for 24 hours.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dasa54658.2022.9765271">doi:10.1109/dasa54658.2022.9765271</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ttqppf4j3navnaxe653mrzmezi">fatcat:ttqppf4j3navnaxe653mrzmezi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220504201614/https://ieeexplore.ieee.org/ielx7/9764877/9764959/09765271.pdf?tp=&amp;arnumber=9765271&amp;isnumber=9764959&amp;ref=" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/49/29/492985ece7d02b6d4983556192135a0bfa7dc3a3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/dasa54658.2022.9765271"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Comparative Study of Three Program Exploration Tools

B. de Alwis, G.C. Murphy, M.P. Robillard
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cmtxa734ezfojns2jrwgh64rym" style="color: black;">15th IEEE International Conference on Program Comprehension (ICPC &#39;07)</a> </i> &nbsp;
In addition to presenting the results of the study, this paper introduces the use of two experimental evaluation aids: the NASA Task Load Index (TLX) for assessing task difficulty and distance profiles  ...  for assessing the degree to which programmers remain on-track.  ...  We thank our subjects in the study, Peggy Storey for comments on an earlier version of this paper, Frédéric Weigand-Warr for help with Suade, and David Vickers for very helpful conversations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icpc.2007.6">doi:10.1109/icpc.2007.6</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iwpc/AlwisMR07.html">dblp:conf/iwpc/AlwisMR07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t5bf3alq7rb6jpg3kqp2kk5blm">fatcat:t5bf3alq7rb6jpg3kqp2kk5blm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090920120440/http://people.cs.ubc.ca:80/~bsd/papers/icpc-2007-dealwis.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/78/ac/78ac0ebdf1872ac61e7212d9c834a0f6781a681e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icpc.2007.6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Theoretical results in genetic programming: the next ten years?

Riccardo Poli, Leonardo Vanneschi, William B. Langdon, Nicholas Freitag McPhee
<span title="2010-05-15">2010</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kaqfiyu23jaedmsqlirt7rbdxq" style="color: black;">Genetic Programming and Evolvable Machines</a> </i> &nbsp;
We consider the theoretical results in GP so far and prospective areas for the future.  ...  We begin by reviewing the state of the art in genetic programming (GP) theory including: schema theories, Markov chain models, the distribution of functionality in program search spaces, the problem of  ...  Acknowledgments The authors would like to thank Julian Miller and the referees of this paper for their extremely useful feedback. Lee Spector is also gratefully thanked.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10710-010-9110-5">doi:10.1007/s10710-010-9110-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yxt6pt46gnhyhgeyuxrejhsxcy">fatcat:yxt6pt46gnhyhgeyuxrejhsxcy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810044222/http://dces.essex.ac.uk/staff/poli/papers/PoliVanneschiLangdonMcPheeGPEM2010_Theor_Res_GP.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/69/67/696714f11557780e2326472478c9fdb11dcefc06.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10710-010-9110-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Quantitative pharmacophore models with inductive logic programming

Ashwin Srinivasan, David Page, Rui Camacho, Ross King
<span title="2006-05-08">2006</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/h4nnd7sxwzcwhetu5qkjbcdh6u" style="color: black;">Machine Learning</a> </i> &nbsp;
Specifically, using data on the inhibition of the protease Thermolysin, we demonstrate that it is possible for an ILP program to construct good quantitative structure-activity models.  ...  , for activity prediction.  ...  inhibitors; and to Ravi Kothari for suggesting the use of kernel regression.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10994-006-8262-2">doi:10.1007/s10994-006-8262-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hmgapi7yxrfmhnfzicxqwdrscm">fatcat:hmgapi7yxrfmhnfzicxqwdrscm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922031243/https://repositorio-aberto.up.pt/bitstream/10216/75538/2/63554.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/99/4b/994b33a48597c969e87a4cf2622cf10f3c43d7d7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10994-006-8262-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 46,652 results