Technical ReportOpen accessEvery word in the titleDental Caries Etiology: A Modified Six-Factor Model and Venn DiagramJohn Sami MamounDietary fermentable carbohydrates or sucrose may be metabolized by cariogenic bacteria at a specific tooth surface site, which may result in an episode of the site having a pH of 5.5 or less, that may cause temporary net demineralization. Numerous demineralization episodes at a specific tooth surface may result in a carious lesion if saliva does not remineralize the surface … …Current Research in Dentistry, Vol. 16, Issue 1 · 23 Dec 2025 · 3,698 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleAutomatic Digitization of Engineering Diagrams using Intelligent AlgorithmsPremanand Ghadekar, Shaunak Joshi, Debabrata Swain et al.At present usage of computational intelligence became the ultimate need of the heavy engineering industries. Digitization can be achieved in these sectors by scanning the hard copy images. When older documents are digitized are not of very high fidelity and therefore the accuracy, reliability of the estimates of components such as equipment and materials after digitization are remarkably low since … …Journal of Computer Science, Vol. 17, Issue 9 · 28 Sep 2021 · 7,058 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleAn Event-Based Methodology to Generate Class Diagrams and its Empirical EvaluationSandeep K. Singh, Sangeeta Sabharwal, J. P. GuptaProblem statement: Event-based systems have importance in many application domains ranging from real time monitoring systems in production, logistics, medical devices and networking to complex event processing in finance and security. The increasing popularity of Event-based systems has opened new challenging issues for them. One such issue is to carry out requirements analysis of event-based systems and build conceptual models. … …Journal of Computer Science, Vol. 6, Issue 11 · 23 Oct 2010 · 7,626 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleOn The Integration of Decision Diagrams in High Order Logic Based Theorem Provers: a SurveySa'ed Abed, Otmane Ait Mohamed, Ghiath Al SammaneThis survey discuss approaches that integrate Decision Diagrams inside High Order Logic based Theorem provers. The approaches can be divided in two kinds, one is based on building a translation between model checker and theorem prover, the second is based on embedding the model checker algorithms inside the theorem prover. A comparison between both is discussed in detail. The paper … …Journal of Computer Science, Vol. 3, Issue 10 · 31 Oct 2007 · 6,980 accessesView PDFCite
Research ArticleOpen accessIn the keywordsConceptual Software Engineering Applied to Movie Scripts and StoriesSabah Al-FedaghiAccording to researchers, a large proportion of research software (software on which researchers rely) is fragile and the source of numerous problems that plague computational science. This study introduces another application of software engineering tools, conceptual modeling, which can be applied to other fields of research. One way to strengthen the relationship between software engineering and other fields is to … …Journal of Computer Science, Vol. 16, Issue 12 · 17 Dec 2020 · 7,132 accessesView PDFCite
Research ArticleOpen accessIn the keywordsHow to Document Computer NetworksSabah Al-Fedaghi, Bader BehbehaniDocumenting networks is an essential tool for troubleshooting network problems. The documentation details a network’s structure and context, serves as a reference and makes network management more effective. Complex network diagrams are hard to document and maintain and are not guaranteed to reflect reality. They contain many superficial icons (e.g., wall, screen and tower). Defining a single coherent network architecture … …Journal of Computer Science, Vol. 16, Issue 6 · 10 Jun 2020 · 7,584 accessesView PDFCite
Research ArticleOpen accessIn the keywordsA Petri Net Based Agent Behavioral TestingZina Houhamdi, Belkacem AthamenaIn Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design models. If a design model contains faults, they are passed to the generated implementations. Practical model validation techniques are required to discover and delete faults … …American Journal of Applied Sciences, Vol. 9, Issue 11 · 10 Sep 2012 · 6,682 accessesView PDFCite
Research ArticleOpen accessIn the keywordsRepower and Evaluation of New Power of Synchronous GeneratorsS.P.Y. Santos, E. Delbone, E.F. Carvalho, L.N. MartinsProblem Statement: Useful life of winding isolation is about 30 years. It can be reduced when it is submitted to overloads or when it is worked in aggressive environments. Approach: When retrofit is done, an increasing to superior isolation class is recommendable. So, generator capacity can be increased and pay back could be excellent justifying the investment. Result: Several Brazilian’s … …American Journal of Applied Sciences, Vol. 8, Issue 6 · 13 Jun 2011 · 6,800 accessesView PDFCite
Research ArticleOpen accessIn the keywordsDynamics Modelling of a Plate Vibrating in a Perfect FluidBouarroudj Nadra, Belaib LekhmissiWe deal with the interaction problem of a plate vibrating within a perfect fluid. We establish the equations describing the dynamics behaviour of the plate using the general equations of the elasto-dynamic. The fluid flow described by the equation of Euler’s low amplitude. We presented results of the existence, the unicity and the regularity of the problem verified by the … …Journal of Mathematics and Statistics, Vol. 3, Issue 3 · 30 Sep 2007 · 6,896 accessesView PDFCite
Research ArticleOpen accessIn the keywordsBDD Path Length Minimization Based on Initial Variable OrderingP. W.C. Prasad, M. Raseen, A. Assi, S. M.N.A. SenanayakeA large variety of problems in digital system design, combinational optimization and verification can be formulated in terms of operations performed on Boolean functions. The time complexity of Binary Decision Diagram (BDD) representing a Boolean function is directly related to the path length of that BDD. In this paper we present a method to generate a BDD with minimum path … …Journal of Computer Science, Vol. 1, Issue 4 · 31 Dec 2005 · 6,504 accessesView PDFCite