Filters








3 Hits in 13.5 sec

On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems

Vincent Penelle, Sylvain Salvati, Grégoire Sutre, Michael Wagner
2018 Foundations of Software Technology and Theoretical Computer Science  
ACM Subject Classification Theory of computation → Formal languages and automata theory, Theory of computation → Logic and verification so amenable to other models.  ...  For example, in [9], Hague, Kochems and Ong study the downward closure of languages of HOPDA, and compute it by deciding the simultaneous unboundedness problem of their languages.  ...  In Krzysztof Diks and Wojciech Rytter, editors, Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, volume 2420  ... 
doi:10.4230/lipics.fsttcs.2018.44 dblp:conf/fsttcs/PenelleSS18 fatcat:pmpp2zxolrdxldsjwoev7tt4pa

Abstract Book, XIII International Congress of Histochemistry and Cytochemistry ICHC2008, Imaging of Cell Dynamics, 23rd-27th August 2008, Medical University of Gdansk, Poland

FHC Redaction
2008 Folia Histochemica et Cytobiologica  
MS 1 was found in 32 cases, MS 2 characterized 30 tumors and MS 3-26.  ...  Stimulation of ER stress is involved in the cellular toxicity of mutant Htt. This work was supported by the National Natural Science Foundation of China (30430260).  ...  of Warsaw, Department of Histology and Embryology, Warsaw, Poland Contact: justynan@ib.amwaw.edu.pl The purpose of the present study was to elucidate why keratinocytes of the outer root sheath (ORS)  ... 
doi:10.5603/4388 doaj:cdebe86bf2604301b2401e99ae9a504c fatcat:7j6nazvgnjf2bhooy5awdzq7uy

Reinforcement Learning (Dagstuhl Seminar 13321) The Critical Internet Infrastructure (Dagstuhl Seminar 13322) Coding Theory (Dagstuhl Seminar 13351) Interaction with Information for Visual Reasoning (Dagstuhl Seminar 13352)

Peter Auer, Marcus Hutter, Laurent, Georg Carle, Jochen Schiller, Steve Uhlig, Walter Willinger, Matthias Wählisch, Thore Husfeldt, Ramamohan Paturi, Gregory Sorkin, Ryan Williams (+14 others)
unpublished
They use the same technology as IBM's ink-jet printer from 50 years ago, high dimensional and high throughput, measuring the intensity of the fluorescence (proportional to the number of certain proteins  ...  Alex: Flow Cytometry data analysis is a real case of Big-Data robots producing much larger data than can be processed at the moment.  ...  In Proceedings of the 2010 IEEE 51st Annual Symposium on Foundations of Computer Science, FOCS '10, pages 143-152, Washington, DC, USA, 2010. IEEE Computer Society.  ... 
fatcat:iz3co5xisfejfbnx2t6ptrorfm