Can anyone suggest projects that are using NuSMV model checker and they need people to collaborate with them?

25 February 2014 0 3K Report

I am using NuSMV model checker in my research. But, I need to apply my knowledge in a real system specifications and verifications.

Badges
Science topic

More Rafat Alshorman's questions See All

How to make correlation between Optical density and dry weight of a microalga and what will be the units used in this correlation?

I want to make a correlation between the optical density and dry weight of Chlorella Vulgaris. I have dried specific different diluted volumes of the culture but don't know how to make this...

02 November 2022 2,459 3 View

How we can measure Kemp % in wool without using of benzene?

Would you please let me to know about the methods for measurement of medullation and Kemp % on animal? My problem is that the wool sampling and sending to laboratory is not possible. So I would...

21 February 2021 7,707 4 View

Any recommended kit for Isoenzyme Analysis?

Hi, I need suggestion for isoenzyme analysis kit. Previously we use 'AuthentiKit (Innovative chemistry, USA)' but it is not available now. Can anyone recommend any other commercially available...

13 June 2019 543 0 View

How can we calculate amount of protein in unknown sample from polynomial standard curve of proteins by Bradford Assay of BSA?

Hi I want to calculate the amount of Proteins in unknown sample with A = 0.059 at 595 nm by Bradford method. I use BSA for standard curve and plot graph on excel as polynomial curve having 3 order...

04 January 2019 6,306 3 View

How to improve rotavirus immunofluorescence with Vero cells?

I am getting very poor amount of virus detection with high titre of virus during immunofluorescence. Asking for your suggestions. I am using Vero cells for rotavirus immunofluorescence though...

09 November 2017 9,883 5 View

Why my Vero cells detach after infection and incubation with overlay media?

I am trying to do plaque assay for rotavirus. Though MA104 is widely used for rotavirus assay however vero cell is also recommended. I am trying with vero cell. But my vero cells detach after few...

11 August 2017 5,168 6 View

How can I read .atr file for ECG - MITBIH Database

I work on ECG signal processing. and I want a program to read .atr file to be able to know the type of ECG signal as a reference to my work.

17 February 2017 2,286 4 View

What is the molecular weight and size of Rotavirus (whole virus)?

Can anyone give me the molecular weight and size of Rotavirus strain? Not the weight, size of proteins please.

08 September 2016 6,067 0 View

Can we use '1 M ortho phosphoric acid' for cell culture media pH adjustment instead of 1M HCl?

Usually 1M HCl is added to adjust pH in cell culture media containing bi-carbonate. However there are some argue about stability of pH adjusted by HCl. Some suggest that, ortho phosphoric acid...

06 July 2016 3,539 2 View

Is there any articles showing that, soluble interleukin 6 receptor (sIL-6R) induce more IL-10 expression than membrane bound IL-6 receptor?

Il-6/sIL-6r compound plays as pro-inflammatory while Il-10 plays as anti-inflammatory. But there's a connection between these two cytokines. Some evidence says that Il-6 increase IL-10 production...

03 April 2016 9,807 4 View

If we are using snowball sampling technique, how do we justify the true representativeness of the sample statistically? is there any statistical test?

Are there any statistical methods to justify your sampling technique using SPSS or AMOS?

05 August 2024 9,153 4 View

How to report results of Generalised Linear Mixed Models in a journal article?

Hi everyone, If you have written or come across any papers where Generalised Linear Mixed Models are used to examine intervention (e.g., in mental health) efficacy, could you please share the...

04 August 2024 4,130 4 View

What are possible strategies can be used to analyze data under sequential explanatory mixed method approach?

Better ways to analyze the qualitative and quantitative data in a sequential explanatory mixed method approaches

04 August 2024 2,703 6 View

Interested in a SCOPUS collaboration?

Hi RG family. My team and I are working on some SCOPUS publications and we need co-authors who are willing and capable of undertaking both qualitative and quantitative-based studies. The scope...

02 August 2024 7,843 0 View

Are current regulations effective in preventing cancer caused by toxins?

I am currently researching the impact of environmental toxins on children's health and would greatly appreciate insights from experts in the field. If you are an expert or researcher working on...

02 August 2024 4,474 2 View

Is there any Indian Company or Startups, from any universiy or IITS, which manufacture Gas Chromatography instrument , i want to make a custOmized G?

or we can collaborate

01 August 2024 6,705 2 View

Why 3 replicates for most biological assays? Is it enough to examine the data fits normal distribution?

Just bounced on me. Before statistically analysing significant difference, shouldn't we see if data fits normal distribution first? Is 3 replicates enough to testify the hypothesis of normal...

31 July 2024 8,141 13 View

Have you heard about Technological Surveillance on Oceanographic Research Vessels?

It is important to highlight that technological surveillance on oceanographic vessels is a collaborative effort in which different specialists work together to effectively leverage technology in...

31 July 2024 1,633 0 View

Posthoc test lettering in JAMOVI?

Does anyone know of a module for the JAMOVI software that is capable of generating mean separations using the classic letters based on post hoc results (e.g., Tukey test)? If, as I believe, such...

31 July 2024 3,333 4 View

Request for Advice: Starch Metabolism Research Project?

I am currently considering a research project focusing on a comparative analysis of starch metabolism in orchids and roses. I am particularly interested in identifying the types and quantities of...

30 July 2024 4,267 2 View