What is the best LaTex Editor for Windows ?

What is the best LaTex Editor for Windows ?

07 August 2018 7,285 12 View

We are looking for an heuristic for the Condition C2 -Visibility of transitions- of P.O.R Technique; is there an article discussing this condition ?

We are looking for an heuristic for the Condition C2 -regarding the visibility of transitions- of Partial Order Reduction Technique : C2 : If a state "s" is not fully expanded, every transition...

06 July 2018 2,575 0 View

What are the limits of the techniques developed in the context of solving the state explosion problem in formal verification ?

The State Explosion Problem is always posed; We want to know what are the limits of the techniques developped to solve this problem. In an informal way and from 'machine' point of view we can say...

06 July 2018 2,391 0 View

What are efficiency criteria of a code of an algorithm in these programming languages : C , C# and C++ ?

What are efficiency criteria of a code of an algorithm in these programming languages : C , C# and C++ ?

06 July 2018 9,838 2 View

I have a class diagram on Python and I want to generate the NuSMV code of this diagram, what should I do in this case?

I have a class diagram on Python and I want to generate the NuSMV code of this diagram, what should I do in this case?

31 December 2017 1,892 1 View

What are the Fault-Tolerant Control methods of discrete event systems that exist ?

11 December 2017 5,619 4 View

Guidelines for survey (question type) analysis?

Hi. Please tell me what guidelines should i need to follow for questionaries' type research work in India. It is not hospital based work, we are conduction basic institutional based qualitative...

03 March 2021 2,037 3 View

How to access MSCI KLD Stats and Sustainalytics?

Hello all, I'm currently working on my undergraduate thesis and I'm having difficulties trying to access KLD Stats and Sustainalytics because my campus Airlangga University and apparently other...

02 March 2021 8,525 1 View

No title

02 March 2021 324 2 View

Ideas for Phd's Thesis on pricing (Marketing)?

Hi everyone, I'm studying Marketing and I would like to write my PhD thesis on the topic of pricing. Any specific ideas?

02 March 2021 9,706 5 View

No title

02 March 2021 3,060 3 View

No title

02 March 2021 932 1 View

How to calculate BREQ 3 questionnaire?

how to calculate BEHAVIOURAL REGULATION IN EXERCISE QUESTIONNAIRE BREQ 3 ,which contain 24 questions and each question has 5 answers (0- Strongly disagree , 1-disagree, 2- Neither agree nor...

02 March 2021 811 3 View

New Journal, "Integrative Psychological and Behavioral Science" -- do you not know, and have you not seen, this done before?

Question to you and THEM, the New Journal, "Integrative Psychological and Behavioral Science" -- do you not know, and have you not seen, this done before? There appears to be a core problem for...

02 March 2021 3,024 2 View

Please suggest a good text book for "Research Methodology in Life Sciences". Which book would be good for PhD Scholars?

Please provide Book Title and author name

02 March 2021 9,059 3 View

How does Scientist/RG community evaluates a case study article and the impact of it on a researcher career?

An article that is published as a case study in the SJR listed journal. How much value is added to a researcher career? How it is evaluated by a scientific researcher/University admission...

02 March 2021 9,661 3 View