Filters








6,491 Hits in 4.6 sec

Selected extended papers of NFM 2018

Aaron Dutle, César Muñoz, Anthony Narkawicz
<span title="2019-08-16">2019</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/m7bjtth7yrhkzjnmhmza375ykq" style="color: black;">Innovations in Systems and Software Engineering</a> </i> &nbsp;
In A Synergistic Approach to Improving Symbolic Execution Using Test Ranges, G. Yang, R. Qiu, S. Khurshid, C. Pȃsȃreanu, and J. Wen introduce the concepts of feasible ranges and unexplored ranges.  ...  These concepts aim at achiev-ing efficient work distribution for symbolic execution and an efficient reuse of testing results created by other tools.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11334-019-00351-5">doi:10.1007/s11334-019-00351-5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/syx4i3zrpfayjhdrbe3ubv6ym4">fatcat:syx4i3zrpfayjhdrbe3ubv6ym4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200311075324/https://link.springer.com/content/pdf/10.1007%2Fs11334-019-00351-5.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/97/47/97476010ba77e0009befa0eb72f99de96ce71218.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11334-019-00351-5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Software V&V support by parametric analysis of large software simulation systems

Johann Schumann, Karen Gundy-Burlet, Corina Pasareanu, Tim Menzies, Anthony Barrett
<span title="">2009</span> <i title="IEEE"> 2009 IEEE Aerospace conference </i> &nbsp;
For the automatic analysis of the generated data we use unsupervised Bayesian clustering techniques (AutoBayes) and supervised learning of critical parameter ranges using the treatment learner TAR3.  ...  We have addressed the factors deterring such a comprehensive analysis with a tool to support parametric analysis and envelope assessment: a combination of advanced Monte Carlo generation with n-factor  ...  Part of this work was performed at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with NASA.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/aero.2009.4839618">doi:10.1109/aero.2009.4839618</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/5txzkbjqp5c45erxnztvp7lo4e">fatcat:5txzkbjqp5c45erxnztvp7lo4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705075437/http://menzies.us/pdf/09aerospace.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/d2/bd/d2bdd285ea298c9336357a6c4ad582efa852af1e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/aero.2009.4839618"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Automatic structural testing with abstraction refinement and coarsening

Mauro Baluda
<span title="">2011</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE &#39;11</a> </i> &nbsp;
White box testing, also referred to as structural testing, can be used to assess the validity of test suites with respect to the implementation.  ...  yet executed or to prove the infeasibility of the elements not yet covered.  ...  ARC-B implements frontier analysis in the style of concolic execution, that is, by performing lightweight symbolic execution on a concrete path up to a frontier, and then using a solver to compute a test  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2025113.2025173">doi:10.1145/2025113.2025173</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/Baluda11.html">dblp:conf/sigsoft/Baluda11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iwr7xm4hwzer7nuysqbxhp752q">fatcat:iwr7xm4hwzer7nuysqbxhp752q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218082613/https://static.aminer.org/pdf/20170130/pdfs/sigsoft/1cymggpv5ilazxwtl3dcqnuhsee0obi4.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/d1/79/d179b7788a77d8e4e34cba04bdfea5f760af3704.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2025113.2025173"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Steering symbolic execution to less traveled paths

You Li, Zhendong Su, Linzhang Wang, Xuandong Li
<span title="">2013</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6y3m32grtnfktkp2oo6oqjbvta" style="color: black;">Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages &amp; applications - OOPSLA &#39;13</a> </i> &nbsp;
Symbolic execution is a promising testing and analysis methodology. It systematically explores a program's execution space and can generate test cases with high coverage.  ...  In particular, we use frequency distributions of explored length-n subpaths to prioritize "less traveled" parts of the program to improve test coverage and error detection.  ...  Acknowledgments We thank the anonymous reviewers for constructive feedback on earlier drafts of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2509136.2509553">doi:10.1145/2509136.2509553</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/oopsla/LiSWL13.html">dblp:conf/oopsla/LiSWL13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/27t6bc6gufhvfk2r2znooqr4k4">fatcat:27t6bc6gufhvfk2r2znooqr4k4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150131184452/http://web.cs.ucdavis.edu:80/~su/publications/oopsla13-pgse.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/56/ca/56ca2faf4db84b4c9f3d876d4a6a65675c8a220d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2509136.2509553"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Steering symbolic execution to less traveled paths

You Li, Zhendong Su, Linzhang Wang, Xuandong Li
<span title="2013-11-12">2013</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xu5bk2lj5rbdxlx6222nw7tsxi" style="color: black;">SIGPLAN notices</a> </i> &nbsp;
Symbolic execution is a promising testing and analysis methodology. It systematically explores a program's execution space and can generate test cases with high coverage.  ...  In particular, we use frequency distributions of explored length-n subpaths to prioritize "less traveled" parts of the program to improve test coverage and error detection.  ...  Acknowledgments We thank the anonymous reviewers for constructive feedback on earlier drafts of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2544173.2509553">doi:10.1145/2544173.2509553</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jmmkwvckfjfyznsch6dqdmvew4">fatcat:jmmkwvckfjfyznsch6dqdmvew4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150131184452/http://web.cs.ucdavis.edu:80/~su/publications/oopsla13-pgse.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/56/ca/56ca2faf4db84b4c9f3d876d4a6a65675c8a220d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2544173.2509553"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Combining Symbolic Execution and Model Checking for Data Flow Testing

Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">2015 IEEE/ACM 37th IEEE International Conference on Software Engineering</a> </i> &nbsp;
This paper tackles this challenge by introducing a hybrid DFT framework: (1) The core of our framework is based on dynamic symbolic execution (DSE), enhanced with a novel guided path search to improve  ...  This combined approach also enables the crosschecking of each component for reliable and robust testing results.  ...  Dynamic Symbolic Execution [14] , [15] (DSE) is a widely accepted and effective approach for automatic test data generation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icse.2015.81">doi:10.1109/icse.2015.81</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/SuFPHS15.html">dblp:conf/icse/SuFPHS15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ts33nzyoubbinoaftwdyp5pyce">fatcat:ts33nzyoubbinoaftwdyp5pyce</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922002256/http://web.cs.ucdavis.edu/%7Esu/publications/icse15-dft.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/c1/c4/c1c4fbb9c03e96e146e687878aaf39d1c0649250.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icse.2015.81"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

The Serum Concentration of the Calcium Binding Protein S100B is Positively Associated with Cognitive Performance in Older Adults

Virginie Lam, Matthew A. Albrecht, Ryusuke Takechi, Corey Giles, Anthony P. James, Jonathan K. Foster, John C. L. Mamo
<span title="2013-09-30">2013</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xyafp6gbr5et3ghi4kqddnyolm" style="color: black;">Frontiers in Aging Neuroscience</a> </i> &nbsp;
Subjects provided a fasting blood sample for S100B measurement (Mean = 0.24 ng/mL, SD = 0.14) and completed a battery of neuropsychological tests.  ...  S100B concentrations (both with and without the covariates of age and sex) were positively associated with the following measures of cognitive performance: digit-symbol coding, Stroop test, and measures  ...  the larger range of possible scores on the Digit-Symbol Coding test.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fnagi.2013.00061">doi:10.3389/fnagi.2013.00061</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/24137128">pmid:24137128</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3786387/">pmcid:PMC3786387</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zp2itvxfqngnbf7np7hpc5ndhu">fatcat:zp2itvxfqngnbf7np7hpc5ndhu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430153429/https://espace.curtin.edu.au/bitstream/handle/20.500.11937/24957/193199_97348_Serum_Concentration_of_the_Calcium_Binding_Protein_S100B_is_Positively_Associated_with.pdf;jsessionid=1332CE4DC807636D72763380C95CC4DB?sequence=2" 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/e1/18/e11821d72fb3fe1733d0b8298ada74f95e7ebf8a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fnagi.2013.00061"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> frontiersin.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3786387" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Adaptive Runtime Verification [chapter]

Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We present Adaptive Runtime Verification (ARV), a new approach to runtime verification in which overhead control, runtime verification with state estimation, and predictive analysis are synergistically  ...  Edges are labeled with transition probabilities; for example, 0.20 on the edge from s 2 to s 3 means A 2,3 = 0.20.  ...  We thank the anonymous reviewers for their valuable comments.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35632-2_18">doi:10.1007/978-3-642-35632-2_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/drl3hqgskvfwfm4k3adwciolxi">fatcat:drl3hqgskvfwfm4k3adwciolxi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923003824/http://www3.cs.stonybrook.edu/~stoller/papers/rv2012.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/ef/a7/efa7a3e2601fe33af397b3db9f6a6205fd502216.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-35632-2_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Software testing: a research travelogue (2000–2014)

Alessandro Orso, Gregg Rothermel
<span title="">2014</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">Proceedings of the on Future of Software Engineering - FOSE 2014</a> </i> &nbsp;
Despite decades of work by researchers and practitioners on numerous software quality assurance techniques, testing remains one of the most widely practiced and studied approaches for assessing and improving  ...  Nevertheless, we hope that the approach we followed helps this paper better reflect not only our views, but also those of the software testing community in general.  ...  We are extremely grateful to all of our colleagues who found time to respond (in several cases quite extensively) to our request for input on contributions and challenges in the area of software testing  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2593882.2593885">doi:10.1145/2593882.2593885</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/OrsoR14.html">dblp:conf/icse/OrsoR14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qrgtbowbubaexljt7fmhr3euzm">fatcat:qrgtbowbubaexljt7fmhr3euzm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160418022322/http://www.cc.gatech.edu:80/~orso/papers/orso.rothermel.ICSE2014-FOSE.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/7f/be/7fbe2aac3e8bfd4b51e5c177f824827e6ebec5b1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/2593882.2593885"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Formal Software Analysis Emerging Trends in Software Model Checking

Matthew B. Dwyer, John Hatcliff, Robby Robby, Corina S. Pasareanu, Willem Visser
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/wvv27s77dvd5flktsj246kcxwu" style="color: black;">Future of Software Engineering (FOSE &#39;07)</a> </i> &nbsp;
His interests cover a wide range of topics in software dependability including: specification methods, static analysis and verification, run-time monitoring and testing.  ...  During this period, researchers have developed and investigated a wide variety of approaches, but techniques based on mathematical modeling of program behavior have been a particular focus since they offer  ...  Symbolic execution has many applications, ranging from test input generation (i.e. one can solve the path conditions to get actual program inputs that can be used to test the program) to proving program  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fose.2007.6">doi:10.1109/fose.2007.6</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icse/DwyerHRPV07.html">dblp:conf/icse/DwyerHRPV07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ucvmmm75kjbyxluplh5z3y3x4q">fatcat:ucvmmm75kjbyxluplh5z3y3x4q</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706072056/http://www.cs.colostate.edu/~france/CS614/Readings/Readings2011/Model-Checking-FOSE07.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/68/aa/68aaa820333d1a40d26f2c701453260c3ac5edbe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fose.2007.6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Technology Self-organizing Ensembles of Intelligent Agents with Collective Synergetic Interaction

Evgeny Bryndin
<span title="">2020</span> <i title="Science Publishing Group"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/74sksabce5eglh6dzl5trod25m" style="color: black;">Automation Control and Intelligent Systems</a> </i> &nbsp;
The synergistic approach created reference positions for the development of a new promising area of informatics.  ...  The synergetic approach shows the most important role of resonant phenomena of the states of information systems. The synergistic principle provides a single basis for self-organization.  ...  Synergistic Principle of Self-organization of Interaction of Agents In ensembles, it is proposed to use the synergistic principle of interaction of agents with artificial intelligence for distributed re-creation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11648/j.acis.20200804.11">doi:10.11648/j.acis.20200804.11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3cm4ynl2szdpzdfjm46hsetxry">fatcat:3cm4ynl2szdpzdfjm46hsetxry</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210116211328/http://article.sciencepublishinggroup.com/pdf/10.11648.j.acis.20200804.11.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/2f/65/2f658d8f35034a9cc5786ffca10a2e0f67e4635c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.11648/j.acis.20200804.11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Robotic Rehabilitation: An Opportunity to Improve Cognitive Functions in Subjects With Stroke. An Explorative Study

Irene Aprile, Giulia Guardati, Valeria Cipollini, Dionysia Papadopoulou, Alessia Mastrorosa, Letizia Castelli, Serena Monteleone, Alessandra Redolfi, Silvia Galeri, Marco Germanotta
<span title="2020-11-19">2020</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/4kchoxo3jrfubkck3y7nfncina" style="color: black;">Frontiers in Neurology</a> </i> &nbsp;
Objective: This study aims to assess the impact of a technological rehabilitation intervention on cognitive functions in patients with stroke, using a set of three robots and one sensor-based device for  ...  Patients were assessed before and after the treatment with several cognitive tests (Oxford Cognitive Scale, Symbol Digit Modalities Test, Digit Span, Rey-Osterrieth Complex Figure, Tower of London, and  ...  ACKNOWLEDGMENTS We would like to thank Cristiano Pecchioli, Romina Garattini, Gianluigi Sacella, and Fulvia Noro for their help in data collection.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fneur.2020.588285">doi:10.3389/fneur.2020.588285</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/33329334">pmid:33329334</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC7710798/">pmcid:PMC7710798</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u7itu46osfc7hmuhslqnmb3ls4">fatcat:u7itu46osfc7hmuhslqnmb3ls4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201121063720/https://fjfsdata01prod.blob.core.windows.net/articles/files/588285/pubmed-zip/.versions/1/.package-entries/fneur-11-588285/fneur-11-588285.pdf?sv=2018-03-28&amp;sr=b&amp;sig=P9gzcMOopVyiElsZ5R6m74%2BWKNpLp3ogNcpUx1qInmA%3D&amp;se=2020-11-21T06%3A37%3A50Z&amp;sp=r&amp;rscd=attachment%3B%20filename%2A%3DUTF-8%27%27fneur-11-588285.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/f4/48/f448e8e869c97b8ab631b975551f7ad00757927a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fneur.2020.588285"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> frontiersin.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7710798" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Efficient Construction of Simultaneous Deterministic Finite Automata on Multicores Using Rabin Fingerprints [article]

Minyoung Jung and Bernd Burgstaller and Johann Blieberger
<span title="2017-09-26">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
To compute fingerprints, we apply the Barrett reduction algorithm and accelerate it using recent additions to the x86 instruction set architecture.  ...  Evaluations have been conducted on a 4 CPU (64 cores) AMD Opteron 6378 system and a 2 CPU (28 cores, 2 hyperthreads per core) Intel Xeon E5-2697 v3 system.  ...  Thus, a thread in the kth group starts its execution if there is a state in S k that is not processed for the symbol which is given to it (line 3).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1512.09228v2">arXiv:1512.09228v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/n6refsduejcd5fti6ylj5dzu4a">fatcat:n6refsduejcd5fti6ylj5dzu4a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200903061811/https://arxiv.org/pdf/1512.09228v2.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/4e/e5/4ee5ee45bdda8da53377dbf0dc493f52ce81acb6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1512.09228v2" 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>

Simultaneous Aerobic Exercise and Memory Training Program in Older Adults with Subjective Memory Impairments

Sarah C. McEwen, Prabha Siddarth, Berna Abedelsater, Yena Kim, Wenli Mui, Pauline Wu, Natacha D. Emerson, Jacob Lee, Shayna Greenberg, Tiffany Shelton, Scott Kaiser, Gary W. Small (+2 others)
<span title="2018-02-20">2018</span> <i title="IOS Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uux5o5kf5zaednhl4637xcmbte" style="color: black;">Journal of Alzheimer&#39;s Disease</a> </i> &nbsp;
There are currently no effective treatments for dementia; therefore, preventative strategies to delay or prevent the onset of dementia are of critical importance.  ...  Conversely, the SEQ group, but not the SIM, showed significant improvement in executive functioning (t(51) = 5.0, p = 0.0001, ES = 0.96).  ...  However, one study did not have an active control group [15] and neither study used a strategy-based training approach for their simultaneous training, instead they used a drill-and-practice based approach  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jad-170846">doi:10.3233/jad-170846</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/29480182">pmid:29480182</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5870016/">pmcid:PMC5870016</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ws4xji3wnvarnbv6ws5oycwejy">fatcat:ws4xji3wnvarnbv6ws5oycwejy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190303152737/http://pdfs.semanticscholar.org/cbd4/04184bf92aaf19084fabe05c14299528b25f.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/cb/d4/cbd404184bf92aaf19084fabe05c14299528b25f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3233/jad-170846"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5870016" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Cognitive Impairment in Chinese Patients with Sporadic Amyotrophic Lateral Sclerosis

Bo Cui, Liying Cui, Jing Gao, Mingsheng Liu, Xiaoguang Li, Caiyan Liu, Junfang Ma, Jia Fang, Weidong Le
<span title="2015-09-14">2015</span> <i title="Public Library of Science (PLoS)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s3gm7274mfe6fcs7e3jterqlri" style="color: black;">PLoS ONE</a> </i> &nbsp;
Methods A total of 106 incident patients with sporadic ALS were enrolled and comprehensive neuropsychological tests covering memory, executive function, attention, language, and visuospatial function were  ...  Neuropsychological performances of 76 ageand education-matched healthy controls were used for the purpose of classification and comparison.  ...  Acknowledgments The authors thank the ALS patients and the healthy controls for their participations in this study. Author Contributions  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pone.0137921">doi:10.1371/journal.pone.0137921</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/26367133">pmid:26367133</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC4569418/">pmcid:PMC4569418</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6nqvzprqsfdjppwxnlcytj6p64">fatcat:6nqvzprqsfdjppwxnlcytj6p64</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171011050518/http://journals.plos.org/plosone/article/file?id=10.1371/journal.pone.0137921&amp;type=printable" 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/ce/97/ce97473bc06918554c32fb4796c40da8cb1a4a5f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1371/journal.pone.0137921"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> plos.org </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4569418" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 6,491 results