5,440 Hits in 5.1 sec

Analysis of three hybrid systems in timed μCRL

Jan Friso Groote, Jos van Wamel
2001 Science of Computer Programming  
We study three simple hybrid control systems in timed CRL [6] .  ...  Although not designed for this purpose, timed CRL seems to allow detailed analysis and veriÿcation of hybrid systems.  ...  Acknowledgements We thank Paul van de Bosch from Eindhoven University of Technology for providing the bottle ÿlling example.  ... 
doi:10.1016/s0167-6423(00)00010-1 fatcat:vsctnuy2vnhblozjir4vdrdqfu

c-kit expression profile and regulatory factors during spermatogonial stem cell differentiation

Lei Zhang, Jiangjing Tang, Christopher J Haines, Huai Feng, Liangxue Lai, Xiaoming Teng, Yibing Han
2013 BMC Developmental Biology  
The wave-like changes of the quantitative expression pattern of c-kit (increase initially and decrease afterwards) during the induction process are similar to that of the in vivo male germ cell development  ...  The extracellular domain of Kit is obtained in the spermatogonia stage, but the intracellular domain (50 kDa) is constantly expressed in both SSCs and spermatogonia.  ...  Real-time RT-PCR analysis of c-kit was performed with Taqman universal PCR master mix and Taqman gene expression assays on the ABI Prism 7900HT Real Time PCR System, according to the manufacturer's instructions  ... 
doi:10.1186/1471-213x-13-38 pmid:24161026 pmcid:PMC3871025 fatcat:ssdevswombgidii5pt4ydsbpbq

Semantics and verification of action diagrams with linear timing

K. Khordoc, E. Cerny
1998 ACM Transactions on Design Automation of Electronic Systems  
Moreover, several desired techniques for the analysis of real-time and hybrid systems have not even been developed for µCRL t .  ...  All three languages allow for the specification of real-time and time-dependent systems. The relation between µCRL t and both types of automata languages is investigated in this thesis.  ...  De hoofdstukken 5 en 6 uit dit proefschrift bestuderen de onderlinge relaties tussen µCRL t , timed automata en hybrid automata.  ... 
doi:10.1145/270580.270582 fatcat:bwnh5h3v7fgrdh7nypj3lybbze

MMP13 is potentially a new tumor marker for breast cancer diagnosis

2009 Oncology Reports  
We selected 371 overexpressed genes in all of the three cell type.  ...  protein by Western blot analysis of the cell culture medium.  ...  This study was supported by grant NSC 95-2320-B-037-027 from the National Science Council of the Republic of China.  ... 
doi:10.3892/or_00000544 fatcat:zxqgl2zd6nb55h4j36s4lri6au

Cytotoxicity and stress gene microarray analysis in cadmium-exposed CRL-1439 normal rat liver cells

Lekan M. Latinwo
1998 International Journal of Molecular Medicine  
Microarray analysis indicated that cadmium treatment caused different patterns of gene expression profiles at each time point of incubation.  ...  Using DNA microarray, we studied the profile of stress gene expression in rat primary hepatocytes treated with cadmium for different time periods using a 100 μM cadmium chloride concentration.  ...  Acknowledgements This study was supported by National Institutes of Health grant 36-1707-123.  ... 
doi:10.3892/ijmm_00000011 fatcat:7aqzcz2n2bbxpi7ho26ehb7uwe

Chondrogenesis of human adipose-derived mesenchymal stromal cells on the [devitalized costal cartilage matrix/poly(vinyl alcohol)/fibrin] hybrid scaffolds

Mohsen Setayeshmehr, Ebrahim Esfandiari, Batool Hashemibeni, Amir Hossein Tavakoli, Mohammad Rafieinia, Ali Samadikuchaksaraei, Lorenzo Moroni, Mohammad Taghi Joghataei
2019 European Polymer Journal  
In the presence of TGF-β3 the constructs exhibited significant expression of these markers compared to the control medium.  ...  However, lack of mechanical properties, rapid biodegradation, and contraction of these scaffolds in culture limit further applications.  ...  This work was supported by grants from the Iran University of Medical Sciences, Tehran, Iran. Appendix A.  ... 
doi:10.1016/j.eurpolymj.2019.04.044 fatcat:ki3ov6es7jffbecrsi2s6o3baa

Microenvironment dependent gene expression signatures in reprogrammed human colon normal and cancer cell lines

Egle Strainiene, Mindaugas Binkis, Silvija Urnikyte, Vaidotas Stankevicius, Ausra Sasnauskiene, Gabrielis Kundrotas, Andrius Kazlauskas, Kestutis Suziedelis
2018 BMC Cancer  
Availability of data and materials All genome wide gene expression analysis data obtained in this study is uploaded to public GEO depository database and can be found using the Accession No.  ...  in the iPSC-CRL-1831 it was among the top three hub genes.  ...  Gene network analysis For further analysis we performed a network construction of genes belonging to the three categories mentioned earlier in order to identify hub genes involved in the processes associated  ... 
doi:10.1186/s12885-018-4145-8 pmid:29482503 pmcid:PMC5827990 fatcat:hbpf4jgcfrhlpizxynglhnoahq

Improving extracellular vesicles visualization: From static to motion

Pablo Reclusa, Peter Verstraelen, Simona Taverna, Muthukumar Gunasekaran, Marzia Pucci, Isabel Pintelon, Nathalie Claes, Diego de Miguel-Pérez, Riccardo Alessandro, Sara Bals, Sunjay Kaushal, Christian Rolfo
2020 Scientific Reports  
We showed, for the first time, the videos of labeled EVs uptake by living lung cancer cells.  ...  Our group has put efforts on developing a protocol able to track the EVs for in vivo internalization analysis.  ...  CRL-2868 cells, treated with 20 µg/ml CRL-5908-EVs, for 9 and 12 hours, internalized the vesicles in a time-dependent manner, as showed in Fig. 3a -f.  ... 
doi:10.1038/s41598-020-62920-0 pmid:32300120 pmcid:PMC7162928 fatcat:7ohf3mu525eavin3wsa7a3zatu

Media Access Technique for Cluster-Based Vehicular Ad Hoc Networks

Zaydoun Y. Rawashdeh, Syed Masud Mahmud
2008 2008 IEEE 68th Vehicular Technology Conference  
This technique integrates the centralization approach of cluster management and the universal way of forwarding data, where the farthest vehicle forwards data in an effort to maximize the opportunity of  ...  We propose a hybrid media access technique for cluster-based vehicular networks.  ...  The cluster in the back constantly tries to adjust its system cycle to match the starting time of the cluster in the front.  ... 
doi:10.1109/vetecf.2008.448 dblp:conf/vtc/RawashdehM08 fatcat:vwum2kjhyrdnrjratnbcb7ndfe

Differentiation of highly pathogenic strain H5N1 of AIV by Real Time PCR in the first outbreak in Romania

M. Zaulet, S.E. Georgescu, H. Coste
2007 Biotechnology in Animal Husbandry  
During October-December 2005 over 3400 biological specimens from 16 affected poultry backyards from Eastern Romania were tested by Real-Time PCR in the first Romanian outbreak.  ...  Fast diagnosis of Avian Influenza is a prerequisite for confining outbreaks. Diagnosis implies the differentiation of virulent and non-virulent Avian Influenza virus.  ...  The Real Time RT-PCR tests were performed simultaneously on three Light Cycler systems (Roche, Germany) that provided fast, easy and accurate results in identifying and quantifying the virus, within one  ... 
doi:10.2298/bah0701411z fatcat:cw5sjdlll5epneusdbocpxcc5u

Comparative performance of microbial lipases immobilized on magnetic polysiloxane polyvinyl alcohol particles

Laura Maria Bruno, José Luiz de Lima Filho, Heizir Ferreira de Castro
2008 Brazilian Archives of Biology and Technology  
The performance of C. rugosa immobilized derivative was constrained by the low lipase loading used in the immobilizing step.  ...  The resulting immobilized derivatives were evaluated in aqueous solution (olive oil hydrolysis) and organic solvent (butyl butyrate synthesis).  ...  ACKNOWLEDGMENTS The authors gratefully acknowledge the financial assistance of CNPq (Conselho Nacional de Desenvolvimento Científico).  ... 
doi:10.1590/s1516-89132008000500003 fatcat:gnth6mywgraqlojv5huu5qjg4i

Nano-printed miniature compound refractive lens for desktop hard x-ray microscopy

Mona Mirzaeimoghri, Alejandro Morales Martinez, Alireza Panna, Eric E. Bennett, Bertrand M. Lucotte, Don L. DeVoe, Han Wen, Thomas Abraham
2018 PLoS ONE  
The overall system resolution with broadband illumination from a tungsten-anode x-ray tube at 30 kV and 10 mm focal distance was measured to be 2.30±0.22 μm.  ...  Hard x-ray lenses are useful elements in x-ray microscopy and in creating focused illumination for analytical applications such as x-ray fluorescence imaging.  ...  We thank Caroline McCue of the University of Maryland for her assistance with the nano 3Dprinting.  ... 
doi:10.1371/journal.pone.0203319 pmid:30161240 fatcat:xt4d462okrdqhlmxtib6ssqr64

Chondroitin sulfate-polyethylenimine copolymer-coated superparamagnetic iron oxide nanoparticles as an efficient magneto-gene carrier for microRNA-encoding plasmid DNA delivery

Yu-Lun Lo, Han-Lin Chou, Zi-Xian Liao, Shih-Jer Huang, Jyun-Han Ke, Yu-Sheng Liu, Chien-Chih Chiu, Li-Fang Wang
2015 Nanoscale  
ACKNOWLEDGEMENTS We are grateful for the financial support from the Ministry of Science and Technology of Taiwan  ...  The NC membrane was washed three times with TBST and developed using an enhanced chemiluminescence (ECL) detection system.  ...  The cell viability of CPIO/DNA was > 90% in the three cell lines but that of PolyMag/DNA was <70% in 293T cells, and ~80% in CRL-5802 and U87 cells.  ... 
doi:10.1039/c5nr01404b pmid:25897645 fatcat:dnadol6x4ba5be2zwe7gzmzlki

An interaction network of the mammalian COP9 signalosome identifies Dda1 as a core subunit of multiple Cul4-based E3 ligases

M. H. Olma, M. Roy, T. Le Bihan, I. Sumara, S. Maerki, B. Larsen, M. Quadroni, M. Peter, M. Tyers, L. Pintard
2009 Journal of Cell Science  
i (Concord, Ontario, Canada) hybrid quadrupole-time of flight instrument equipped with a nanoelectrospray source and interfaced to an LC-Packings Ultimate (Amsterdam, Holland) HPLC system.  ...  In principle, all CRLs identified in our systematic proteomic analysis are candidates for this type of regulation.  ... 
doi:10.1242/jcs.043539 pmid:19295130 pmcid:PMC2720933 fatcat:edd7y3yaivg2dacqp65s7guw2m

Time abstraction in timed /spl mu/CRL a la regions

J.F. Groote, M.A. Reniers, Y.S. Usenko
2006 Proceedings 20th IEEE International Parallel & Distributed Processing Symposium  
As a result, some of the existing untimed analysis tools in the µCRL Toolset [7] could become applicable to the analysis of real-time systems.  ...  In [16] , we outlined a method to describe and analyze realtime systems using timed µCRL. Most descriptions of such systems contain operators such as parallel composition that complicate analysis.  ...  Abstraction from the Fractional Parts Suppose we are not interested in the fractional parts of the action and the deadlock time stamps.  ... 
doi:10.1109/ipdps.2006.1639423 dblp:conf/ipps/GrooteRU06 fatcat:4xlgyubb6razlmvwjobvqvy54e
« Previous Showing results 1 — 15 out of 5,440 results