DPLL and Artificial Intelligence, Challenge on Olympiad !?

We know DPLL algorithm is backtracking + unit propagation + pure literal rule. I have an example. There is one example to solve following Satisfiability problem with DPLL. if assign of "0" to...

05 June 2016 4,894 0 View

Big Challenge in Database Theory, An Strange Questions?

In 2PL (two phase locking), what advantage(s) does the rigorous model have over the strict model? I) There is no advantage over the strict model. II) In contrast to the strict model, it guarantees...

04 May 2015 8,431 0 View

Find a Hamiltonian Tour with minimum weight and NP-Completeness?

I ran into a question on previous Mid-Exam. anyone could clarify me? Problem A: Given a Complete Weighted Graph G, find a Hamiltonian Tour with minimum weight. Problem B: Given a Complete Weighted...

01 February 2015 3,790 0 View

How many time must we call the relax function to ensure that for each vertex u, D[u] equals to length of shortest path from vertex 1 to u?

In a Weighted Directed Graph G (with positive weights), with n vertex and m edges, we want to calculate the shortest path from vertex 1 to other vertexes. We use 1-dimensional array D[1..n], and...

01 February 2015 4,484 2 View

Constraint Satisfaction Problem ?

Consider Constraint Satisfaction Problem for Coloring following map (Attach via Picture at the end of this question) (i.e like color graphing problem, see :...

31 December 2014 8,620 5 View

How can one solve for the CPU and cycles for this datapath?

We have a 'datapath' from one CPU, see attachment figure. If the next instruction address is in 'PC Register', how many 'clock cycles 'need to follow 'word add' instruction fetched and...

31 December 2014 1,963 0 View

BCD adder and Decimal Output Problem

31 December 2014 915 0 View

A Big Problem on Database Serialization?

Now in these class notes, https://www.cs.umd.edu/class/spring2003/cmsc424-0401/ClassNotesMay1.ppt section Precedence Graph, it says if the graph has a cycle, S is not serializable But I think this...

11 December 2014 1,800 0 View

Can anyone help me solve this confusing problem on LALR(1) and SLR(1) Parser?

I read the following example in one of my professors notes. 1) we have a SLR(1) Grammar G as following. we use SLR(1) parser generator and generate a parse table S for G. we use LALR(1) parser...

09 October 2014 6,389 14 View

Suppose T1, T2 is created with SLR(1) and LALR(1) for Grammar G. if G be a SLR(1) Grammar which of the following is TRUE?

I'm so glad that ask my third question on my favorite site. Infact i ran into multiple choice question in recent exam on Compiler Course. Suppose T1, T2 is created with SLR(1) and LALR(1) for...

07 August 2014 5,631 2 View

How to compare two groups with only two measurements?

Hiiiii everyone! I have an enquiry on statistical analysis. I was looking for many forum and it's still cannot solve my problem. I want to compare means of two groups of data but only with two...

03 March 2021 8,796 3 View

Enhanced Yellow Fluorescent Protein (Aequorea victoria) DNA sequence?

I am on the lookout for the Enhanced Yellow Fluorescent Protein (Aequorea victoria) DNA sequence. Does anyone know where I can find it? Thank you in advance

03 March 2021 3,568 1 View

What kind of fluid could I use for a pitfall trap that also does not invalidate molecular testing?

Hi, I want to start testing pitfall trap to obtain ants samples, but I need to conduct molecular analysis on those insects. So, what kind of fluid can I use? Ethanol expires too early and I need...

03 March 2021 5,978 5 View

Anyone plz suggest relevant topic for research in image processing+Deep learning.?

I have selected brain tumor images ...but now found that already lots of research done n this topic.

03 March 2021 5,774 3 View

What's the best way to measure growth rates in House sparrow chicks from day 2 to day 10?

What's the best way to measure growth rates in House sparrow chicks from day 2 to day 10? Since, the growth curve from day 2 to 10 won't be like the "Logistic curve" it might not follow logistic...

03 March 2021 1,401 3 View

Do we need to write protocol for a second study of a systematic review that has been registered and published?

I have conducted and published a systematic review and meta-analysis research with the topic related to public health and health pomotion (protocol was registed in PROSPERO). Now we want to...

03 March 2021 8,920 3 View

How to increase a model accuracy ?

dear community, my model is based feature extraction from non stationary signals using discrete Wavelet Transform and then using statistical features then machine learning classifiers in order to...

03 March 2021 6,994 5 View

What is the production process of CaFe ferroalloys?

I looking for ferro calcium production process

03 March 2021 1,755 4 View

Chlorinated organic formation in odor control scrubbers using hypochlorite?

I'm involved in a study of odor control technologies for municipal wastewater treatment plant. One of the control options involves a chemical 2-stage (acid/alkaline) packed bed scrubber. The...

03 March 2021 3,661 2 View

Resistor definition in Piezoelectric bimorph with ANSYS workbench

Hello, good day! I am trying to simulate similar bimorph piezoelectric harvester with below commands. However, the output power doesn't change with resistor value. Please help to find the reason. ET,10,CIRCU94,0 !SET UP RESISTOR R,1,100000 !RESISTANCE VALUE TYPE,10 !SET ELEMENT TYPE E,1,2 !CREATE RESISTOR BETWEEN NODES 1 AND 2 Thanks in advance Regards,

02 March 2021 0 0 View