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

02 February 2014 0 10K 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

Binary Logistic Generalized Linear Mixed model in SPSS. Is it doable?

I want to analyses the proportion of swimming sperm of three species of fish in two salinities. To analyse the proportion of swimming sperm in a Generalized Linear Model, I would use a Binary...

03 March 2021 2,297 3 View

What analysis to choose with a large neste dataset and clearly skewed or kurtotic distributions?

Hello! I have a dataset of n=3000 nested within 8 countries with approximately 200 or 400 responses in each country. I originally planned to perform multilevel modelling with 4 dependent variables...

02 March 2021 6,865 1 View

Do anyone here can help us in the field of molecular docking?

We have synthesized various metal complexes with different environment around the metals. Now to see the application of synthesized complexes we need this study also. we are also interested in...

01 March 2021 1,899 2 View

How can we simulate an hyperelastic-viscoelastic behavor with Ansys APDL?

I am working on modeling and simulation of biomecanical material behaviour, I have succeded on simulating skin using anisotropic hyperelastic material, on APDL and in our lab's finite element...

28 February 2021 552 3 View

How to compare 2 samples recruited with different sampling methods?

If I want to compare characteristics of 2 groups of patients, one group is recruited from a random sample of the general public while another group is from a sample with a fixed gender (male to...

26 February 2021 3,526 3 View

Is there any one who can provide a donation of HPV detection and genotyping kits in exchange collaboration fors?

Warm greetings My name is Ayichew S. and I am doing my Ph.D. in Medical Microbiology (on Human papillomavirus). At this stage, I have almost completed a clinical sample Cervical swabs)...

25 February 2021 1,660 3 View

CGA 300 Regulator for CO2 cylinder?

Has anyone ever tried to deliver CO2 with a CGA 300 regulator? I know that a CGA 320 regulator is standard for CO2. The issue is that I currently do not have any free CGA 320 regulators. I also...

25 February 2021 3,292 3 View

Do you consider undergoing a structure literature review / Meta analysis and getting numerical findings sort of quantitative method?

I am looking for a classification of the research methods included in literature review papers or Meta analysis ones .

22 February 2021 1,131 4 View

Can I do two kinds of mixed method in explanatory research?

Dear distinguish professors and scholars, I have a research in measuring two kinds: think tank capacity and research impact on policy. Can I do two kinds of mixed methods in order to find, "Is...

20 February 2021 6,897 1 View

Which books and review articles describe well the current state of deep reinforcement learning for the optimal control of physical processes?

I am going to treat in a lecture the application of deep reinforcement learning for the optimal control of physical processes. Therefore, I am looking for the best references. Besides the classics...

16 February 2021 1,006 6 View