Filters








531 Hits in 5.6 sec

Verifying event-driven programs using ramified frame properties

Neel R. Krishnaswami, Lars Birkedal, Jonathan Aldrich
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nuiccnig4reqxkb7vehpzfsidu" style="color: black;">Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation - TLDI &#39;10</a> </i> &nbsp;
We show how to modularly verify programs written using dynamically-generated bidirectional dependency information.  ...  Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects.  ...  This work was partially supported by the US NSF grants CCF-0916808 and CCF-0546550, and US DARPA grant HR00110710019.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1708016.1708025">doi:10.1145/1708016.1708025</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/tldi/KrishnaswamiBA10.html">dblp:conf/tldi/KrishnaswamiBA10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/42bmifmvqjhv5m5ds2c4zctv3m">fatcat:42bmifmvqjhv5m5ds2c4zctv3m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808082824/http://www.cs.bham.ac.uk/~krishnan/ramified-frames-tldi10.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/bb/e8/bbe8cd4011a1c5ae847df3c2c298653026251425.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1708016.1708025"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

An object evaluator to generate flexible applications [article]

Larissa Ismailova, Konstantin Zinchenko
<span title="2001-06-10">2001</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
The main tool system referred as the Application Development Environment (ADE) is used to build database applications involving the graphical user interface (GUI).  ...  The first layer consists of the relational sybsystem and the second layer consists of the frame-based event driven subsystem.  ...  Event Driven Objects. (Here: Let event be an assigning Figure 2 :Figure 3 : 23 Indexing the actual objects.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0106017v1">arXiv:cs/0106017v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g2tnvdzj5repxgratowmmq3kqi">fatcat:g2tnvdzj5repxgratowmmq3kqi</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-cs0106017/cs0106017.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] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/94/a6/94a63a35367514cd7ce985be6d0eb000685bc9ac.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/cs/0106017v1" 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>

Vision Egg: An Open-Source Library for Realtime Visual Stimulus Generation

Andrew D. Straw
<span title="">2008</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/w7oms7cvvjfs7ht4yodsyhuzku" style="color: black;">Frontiers in Neuroinformatics</a> </i> &nbsp;
Arbitrary scenes, from traditional sinusoidal gratings to naturalistic 3D scenes can now be specifi ed on a frame-by-frame basis in realtime.  ...  A programming library called the Vision Egg that aims to make it easy to take advantage of these innovations.  ...  Thanks to Michael Dickinson for use of the high speed video camera.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/neuro.11.004.2008">doi:10.3389/neuro.11.004.2008</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/19050754">pmid:19050754</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC2584775/">pmcid:PMC2584775</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/exv77ylskfdvlfm4ie5b2hnnia">fatcat:exv77ylskfdvlfm4ie5b2hnnia</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20090210224250/http://frontiersin.org:80/neuroinformatics/paper/10.3389/neuro.11/004.2008/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/11/51/11517d1f510126af603708b16f456622f3a7af18.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/neuro.11.004.2008"> <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/PMC2584775" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

The Qualification Problem: A solution to the problem of anomalous models

Michael Thielscher
<span title="">2001</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
The approach has been implemented in an action programming language based on the Fluent Calculus and successfully applied to the high-level control of robots.   ...  Our theory builds on the established predicate logic formalism of the Fluent Calculus as a solution to the Frame Problem and to the Ramification Problem in reasoning about actions.  ...  Consequently, our theory does not satisfy this property, thanks to the use of Default Logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(01)00131-x">doi:10.1016/s0004-3702(01)00131-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/idqh2rr2vbbotjrnbfs74jmdeu">fatcat:idqh2rr2vbbotjrnbfs74jmdeu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20110310224450/http://cgi.cse.unsw.edu.au/~mit/Papers/AIJ01.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/40/e4/40e4b70ed44490235567f0898525499ae299448d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0004-3702(01)00131-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

The ASM Refinement Method

Egon B�rger
<span title="2003-11-01">2003</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/oeimezgcfbas7drzmyhogjmlb4" style="color: black;">Formal Aspects of Computing</a> </i> &nbsp;
frequently occurring forms of ASM refinements are identified and illustrated by examples from the design and verification of architectures and protocols, from the semantics and the implementation of programming  ...  Proving Refinement Correctness In this section we show how to use ASM refinements for proving system properties.  ...  Refinement based upon this scheme generalizes in particular the standard notion of a simulation which is used to verify data refinements (see [46] ).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-003-0012-7">doi:10.1007/s00165-003-0012-7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mzvctoj72zgm7fqnh2csoa6isu">fatcat:mzvctoj72zgm7fqnh2csoa6isu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20081206160854/http://www.di.unipi.it/~boerger/Papers/Methodology/RefineFACS.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/6a/02/6a022eda15e55edbf263d732862b3f3b00d18493.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00165-003-0012-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

WSSL: A Fluent Calculus-Based Language for Web Service Specifications [chapter]

George Baryannis, Dimitris Plexousakis
<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;
Also, a tool is implemented that translates WSSL specifications to FLUX programs and allows for service validation based on user-defined goals.  ...  These issues involve the frame, ramification and qualification problems, which deal with the succinct and flexible representation of non-effects, indirect effects and preconditions, respectively.  ...  The frame problem has been addressed in the situation and event calculi, while Kakas et al. [12] present an event calculus theory that solves the ramification and qualification problems as well.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-38709-8_17">doi:10.1007/978-3-642-38709-8_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yoyr6hwp2fgutg22wumpbeitx4">fatcat:yoyr6hwp2fgutg22wumpbeitx4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200325002741/https://link.springer.com/content/pdf/10.1007%2F978-3-642-38709-8_17.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/10/c9/10c92e85dba0c6ce24b9ec7371f99e701aee8267.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-38709-8_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Different Kenyon Cell Populations Drive Learned Approach and Avoidance in Drosophila

Emmanuel Perisse, Yan Yin, Andrew C. Lin, Suewei Lin, Wolf Huetteroth, Scott Waddell
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5lze265mrrcddlccx7zpfjyjwi" style="color: black;">Neuron</a> </i> &nbsp;
., 2012) , it is not known how opposing behavioral programs of avoidance or approach are generated.  ...  We expressed a membrane-tethered GFP (uas-mCD8::GFP) using the c739, 0770, NP7175, and c708a GAL4 drivers and localized expression within the overall MB neurons using a LexAop-rCD2::RFP transgene driven  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.neuron.2013.07.045">doi:10.1016/j.neuron.2013.07.045</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/24012007">pmid:24012007</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3765960/">pmcid:PMC3765960</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bhurg6mtangardmvwph4jbnlkm">fatcat:bhurg6mtangardmvwph4jbnlkm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190317135349/https://core.ac.uk/download/pdf/82816369.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/57/3f/573fcd66ce65366043c027467be2ff76a573bd19.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.neuron.2013.07.045"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3765960" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Visualizing Synaptic Dopamine Efflux with a 2D Nanofilm [article]

Chandima Bulumulla, Andrew T Krasley, Deepika Walpita, Abraham G Beyene
<span title="2022-01-22">2022</span> <i title="Cold Spring Harbor Laboratory"> bioRxiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Using this technology, we were able to monitor the spatiotemporal dynamics of dopamine release in dendritic processes, a poorly understood phenomenon.  ...  We thank Kaspar Podgorski for developing and sharing with us the MATLAB program used for data analysis and David Ackerman for improving the program to suit our needs.  ...  Figure S3 : S3 Figure S3: TH immunofluorescence is used to verify identity of putative dopamine neurons.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1101/2022.01.19.476937">doi:10.1101/2022.01.19.476937</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gtfg6wiiibaprkua5mdy4kdobe">fatcat:gtfg6wiiibaprkua5mdy4kdobe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220125163348/https://www.biorxiv.org/content/biorxiv/early/2022/01/22/2022.01.19.476937.full.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/bd/11/bd11b9af464ad42fc344a5566c4b718438c533e1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1101/2022.01.19.476937"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> biorxiv.org </button> </a>

Operative GABAergic inhibition in hippocampal CA1 pyramidal neurons in experimental epilepsy

M. Esclapez, J. C. Hirsch, R. Khazipov, Y. Ben-Ari, C. Bernard
<span title="1997-10-28">1997</span> <i title="Proceedings of the National Academy of Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/nvtuoas5pbdsllkntnhizy4f4q" style="color: black;">Proceedings of the National Academy of Sciences of the United States of America</a> </i> &nbsp;
Furthermore, large network-driven GABAergic inhibitory postsynaptic currents were present in pyramidal cells during interictal discharges.  ...  Interneurons were identified using morphological criteria (location of the soma, aspiny dendrites, and axonal arborization). RESULTS Morphological and Electrophysiological Properties.  ...  Using the same paradigm in CA1 pyramidal cells, we first verified, in control slices, that the pharmacologically and surgically isolated GABA type A (GABA A ) receptormediated IPSP evoked by focal stimulation  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1073/pnas.94.22.12151">doi:10.1073/pnas.94.22.12151</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/9342378">pmid:9342378</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC23733/">pmcid:PMC23733</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yqnmowntwrbmzdfyrdsiqmazua">fatcat:yqnmowntwrbmzdfyrdsiqmazua</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180729164846/http://www.pnas.org/content/pnas/94/22/12151.full.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/93/64/936463e5c39b51522eadf8a16c22f7b970372157.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1073/pnas.94.22.12151"> <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 target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC23733" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

'You can dance your prototype if you like': independent filmmakers adapting the hackathon

Joakim Karlsen, Anders Sundnes Løvlie
<span title="2017-07-03">2017</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lbtts5aevbgtjlhiys3pkjcj7i" style="color: black;">Digital Creativity</a> </i> &nbsp;
They use several examples from his study to explain this. The convention that a musical concert lasts for about 2 hours "ramifies throughout the producing organization.  ...  According to Vallgårda, the computer does not have "any useful properties before it is combined with other materials" (ibid., 581).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/14626268.2017.1351992">doi:10.1080/14626268.2017.1351992</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3k2jwoz2tjfypntlnskhjslkri">fatcat:3k2jwoz2tjfypntlnskhjslkri</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190430071400/https://www.duo.uio.no/bitstream/handle/10852/65031/PhD--JoakimKarlsen-2018.pdf?sequence=3" 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/d5/f3/d5f3ab18a78a16b3befc45dce7cd495ae2c0281b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/14626268.2017.1351992"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>

Functional Characterization of Neurofilament Light Splicing and Misbalance in Zebrafish

Doris Lou Demy, Maria Letizia Campanari, Raphael Munoz-Ruiz, Heather D Durham, Benoit J Gentil, Edor Kabashi
<span title="2020-05-16">2020</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s3iichab3fbz7jq46o55l6trkq" style="color: black;">Cells</a> </i> &nbsp;
This study used zebrafish as a model to characterize the NEFL homologue neflb, which encodes two different isoforms via a splicing of the primary transcript (neflbE4 and neflbE3).  ...  Motor neurons expressing eGFP-neflb4E extend long and ramified axons.  ...  Motor neurons expressing eGFP-neflb4E extend long and ramified axons.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/cells9051238">doi:10.3390/cells9051238</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/32429483">pmid:32429483</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC7291018/">pmcid:PMC7291018</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t37ij2mozjdgzkbusrc5b3z52u">fatcat:t37ij2mozjdgzkbusrc5b3z52u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210715201040/https://hal.sorbonne-universite.fr/hal-03152405/document" 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/74/90/7490168cc55117f0e1979aa39eb0f721e4548788.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/cells9051238"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7291018" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Cross-Species Genome-Wide Analysis Reveals Molecular and Functional Diversity of the Unconventional Interferon-ω Subtype

Lauren E. Shields, Jordan Jennings, Qinfang Liu, Jinhwa Lee, Wenjun Ma, Frank Blecha, Laura C. Miller, Yongming Sang
<span title="2019-06-25">2019</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t7exsmmojvgjnhq3pflf7pk6zq" style="color: black;">Frontiers in Immunology</a> </i> &nbsp;
IFN-α, (3) highly cross-species antiviral (but little anti-proliferative) activity exerted in cells of humans and other mammalian species, and (4) demonstrating potential novel molecular and functional properties  ...  Comparison and plot drawing were performed using a SDT program.  ...  Sequence alignments were generated primarily using the programs MUSCLE and ClustalW through EMBL-EBI port (http://www.ebi.ac.uk/), and other sequence management was conducted using programs at the Sequence  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fimmu.2019.01431">doi:10.3389/fimmu.2019.01431</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/31293589">pmid:31293589</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC6603160/">pmcid:PMC6603160</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cs3lz6ycx5hsnkp26ysr4niso4">fatcat:cs3lz6ycx5hsnkp26ysr4niso4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200210071019/https://fjfsdata01prod.blob.core.windows.net/articles/files/459179/pubmed-zip/.versions/1/.package-entries/fimmu-10-01431/fimmu-10-01431.pdf?sv=2015-12-11&amp;sr=b&amp;sig=kUen5AAOwlwq6Hz%2FWCZiFxOo3FLtPhMBb9GapqM3JcY%3D&amp;se=2020-02-10T07%3A10%3A48Z&amp;sp=r&amp;rscd=attachment%3B%20filename%2A%3DUTF-8%27%27fimmu-10-01431.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/2e/d2/2ed23e6fe433d2ce14436eaa68a9ab6240a00500.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fimmu.2019.01431"> <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/PMC6603160" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

Noninflammatory Changes of Microglia Are Sufficient to Cause Epilepsy

Xiaofeng Zhao, Yuan Liao, Shannon Morgan, Ramkumar Mathur, Paul Feustel, Joseph Mazurkiewicz, Jiang Qian, Julia Chang, Gary W. Mathern, Matthew A. Adamo, Anthony L. Ritaccio, Michael Gruenthal (+2 others)
<span title="">2018</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5ihveavyobfs3mlzee7cjt7mfe" style="color: black;">Cell Reports</a> </i> &nbsp;
Alternatively, their hyperproliferation could be extrinsically driven, reflecting a secondary response to some pathological event(s) elicited by the elevated microglial mTOR signaling (e.g., release of  ...  Images were acquired at 1 frame/min for 61 cycles with the green fluorescence channel and DIC using a 63× oil objective using a Zeiss LSM 880 confocal microscope (Supplemental Experimental Procedures).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.celrep.2018.02.004">doi:10.1016/j.celrep.2018.02.004</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/29466735">pmid:29466735</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5880308/">pmcid:PMC5880308</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3xdzkhmqzbglrb7jghfwcfxpfa">fatcat:3xdzkhmqzbglrb7jghfwcfxpfa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201103042101/https://escholarship.org/content/qt39j4f5ps/qt39j4f5ps.pdf?t=qaf58w" 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/5e/8a/5e8ace82ddcd8329ceba38d8efb8618b531828f4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.celrep.2018.02.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5880308" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

A Theory for Stress Testing of Financial Institutions as a Deliberative Exercise

Robert F. Weber
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/tol7woxlqjeg5bmzadeg6qrg3e" style="color: black;">Social Science Research Network</a> </i> &nbsp;
Sensitivity Analysis Firm- conducted "War stress Games" tests Portfolio- Scenario driven Analysis Financial Stress Tests Event-driven Historical, event-driven Historical, event- driven Regulator-conducted  ...  Scenario analysis can take the form of portfolio-driven scenario analysis and event-driven scenario analysis.  ...  occurring based on prior rate information. 436 Propensity, by contrast, refers to the subjective perception of probability supplemented by event cues that subjectively tie the counterfactual outcome  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.2273663">doi:10.2139/ssrn.2273663</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ud2ftrwnbjbizm5uqbyoml4iwi">fatcat:ud2ftrwnbjbizm5uqbyoml4iwi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20140923154341/http://www.minnesotalawreview.org/wp-content/uploads/2014/06/Weber_MLR.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/5d/5e/5d5ee55ed376343d3006f88b3fba622365122c1c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2139/ssrn.2273663"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ssrn.com </button> </a>

RNA-Seq Analysis of Microglia Reveals Time-Dependent Activation of Specific Genetic Programs following Spinal Cord Injury

Harun N. Noristani, Yannick N. Gerber, Jean-Charles Sabourin, Marine Le Corre, Nicolas Lonjon, Nadine Mestre-Frances, Hélène E. Hirbec, Florence E. Perrin
<span title="2017-04-03">2017</span> <i title="Frontiers Media SA"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uc7xbcwzljashhncrlsxupx3em" style="color: black;">Frontiers in Molecular Neuroscience</a> </i> &nbsp;
RSeQC v2.3.3, PicardTools v1.92 and SamTools v.1.18 software were used to verify biological quality control and summarization. HTSeq v.0.5.4p3 was used to prepare the count data.  ...  However, microglia display enlarged cell morphology and higher eGFP expression compared to peripheral infiltrating macrophages and we were able to use these properties to preferentially isolate microglia  ...  No use, distribution or reproduction is permitted which does not comply with these terms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fnmol.2017.00090">doi:10.3389/fnmol.2017.00090</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/28420963">pmid:28420963</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC5376598/">pmcid:PMC5376598</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rgcjab3yxvfz5bxdbdnbytpu24">fatcat:rgcjab3yxvfz5bxdbdnbytpu24</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503043001/https://hal.archives-ouvertes.fr/hal-01762560/document" 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/a2/d3/a2d3f215a67444a9cfa1f14bcf6070a328f44df3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3389/fnmol.2017.00090"> <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/PMC5376598" 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 531 results