42,392 Hits in 7.4 sec

The relational data file and the decision problem for classes of proper formulas

Robert A. DiPaola
1971 Proceedings of the 1971 international ACM SIGIR conference on Information storage and retrieval - SIGIR '71  
KEY WORDS AND PHRASES data retrieval system, Relational Data File, applied predicate calculus, definite formulas, proper formulas, solvable cases of the decision problem, recursively unsolvable decision  ...  In the paper it is shown that the decision problem for several classes of proper formulas is solvable. The following results are established.  ...  We nOw take up the decision problem for the class of proper formulas on 9, ~, ~.  ... 
doi:10.1145/511285.511296 dblp:conf/sigir/Paola71 fatcat:vgf2h2qvvjesbj7ku5avkse7mm

Page 1333 of Mathematical Reviews Vol. 48, Issue 4 [page]

1974 Mathematical Reviews  
. : 7698 The solvability of the decision problem for classes of proper formulas and related results. J. Assoc. Comput. Mach. 20 (1973), 112-126.  ...  In this paper, however, it is shown that the decision problem for various classes of proper formulas is solvable.  ... 

System for automatic generation of logical formulas

Radosław Klimek, Katarzyna Grobler-Dębska, Edyta Kucharska, M. Kulisz, M. Szala, M. Badurowicz, W. Cel, M. Chmielewska, Z. Czyż, K. Falkowicz, J. Kujawska, T. Tulwin
2019 MATEC Web of Conferences  
The satisfiability problem (SAT) is one of the classical and also most important problems of the theoretical computer science and has a direct bearing on numerous practical cases.  ...  The resulting logical formulas, i.e. problem instances, could be used for testing existing SAT solvers.  ...  This research is supported by AGH University of Science and Technology, Contract Nos.:, and The planned website for this service is  ... 
doi:10.1051/matecconf/201925203005 fatcat:7wzocpvq3zbv5blwz66mrosubi

Deterministic Automata for Unordered Trees

Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
2014 Electronic Proceedings in Theoretical Computer Science  
While the existing notions are well-investigated concerning expressiveness, they all lack a proper notion of determinism, which makes it difficult to distinguish subclasses of automata for which problems  ...  Automata for unordered unranked trees are relevant for defining schemas and queries for data trees in Json or Xml format.  ...  The cost of the class of Presburger formulae is the cost of its class of filters.  ... 
doi:10.4204/eptcs.161.17 fatcat:fpau4gbdurfpvc6cwehavcboty

Access to treatment for phenylketonuria by judicial means in Rio Grande do Sul, Brazil

Luciano Mangueira Trevisan, Tatiele Nalin, Tassia Tonon, Lauren Monteiro Veiga, Paula Vargas, Bárbara Corrêa Krug, Paulo Gilberto Cogo Leivas, Ida Vanessa Doederlein Schwartz
2015 Ciência & Saúde Coletiva  
Lawsuits filed between 2001- 2010 and having as beneficiaries PKU patients requesting treatment for the disease were included.  ...  Of 20 lawsuits filed, corresponding to 16.8% of RS patients with PKU, 19 were retrieved for analysis. Of these, only two sought to obtain therapies other than metabolic formula.  ...  Acknowledgements This work received funding from the research agencies of Rio Grande do Sul (FAPERGS) and Brazil (CNPq and CAPES) and from the Fundo de Incentivo à Pesquisa e Eventos do Hospital de Clínicas  ... 
doi:10.1590/1413-81232015205.08302014 pmid:26017962 fatcat:p6tbdvxbcncgtmqrnctkncqbye

Text Categorization using Jaccard Coefficient for Text Messages

2016 International Journal of Science and Research (IJSR)  
Proper Classification methods provide the good results of the experiment and gives proper direction to the further processing of the text.  ...  There are lots of techniques are there for classification of the text documents, this paper is to understand different techniques and highlight the important methodology among them and helpful to selecting  ...  Handling and categorized this huge amount of data is another problem; identify the correct technique for our problem is necessary. [4] There are different techniques are available each of the techniques  ... 
doi:10.21275/v5i5.nov163882 fatcat:ld26k3t2g5duhppyewib5n7yiy

Data Analysis and Result Computation (DARC) Algorithm for Tertiary Institutions

Abel U. Osagie
2013 IOSR Journal of Computer Engineering  
We introduce a Fortran algorithm for Data Analysis and Result Computation (DARC). The algorithm analyzes student data as well as computes examination results of all students in a department at once.  ...  That a comprehensive solution for use in many tertiary institutions is not yet common presents a unique opportunity for researchers to help shape the future of this technology.  ...  The rest of the article gave a review of some related work, discusses data preparation, computation and analysis of the computed results.  ... 
doi:10.9790/0661-1436369 fatcat:wqat5wb2czbztdqi677ocuof6e

Learning to classify species with barcodes

Paola Bertolazzi, Giovanni Felici, Emanuel Weitschek
2009 BMC Bioinformatics  
Since 2004 the Consortium for the Barcode of Life (CBOL) promotes the collection of barcode specimens and the development of methods to analyze the barcode for several tasks, among which the identification  ...  The method is able to provide compact formulas on the values (A, C, G, T) at the selected sites that synthesize the characteristic of each species, a relevant information for taxonomists.  ...  David Schindel -Executive Secretary of the Consortium of the Barcode of Life, prof. Neil Sarkar and Mike Trizna from CBOL staff for their interest and their support in our research.  ... 
doi:10.1186/1471-2105-10-s14-s7 pmid:19900303 pmcid:PMC2775153 fatcat:jvdhwv3bije3josp32sqr6aaxm

Symptom Proximity in Diagnostic Problem

Otakar Kříž
2017 Mathematics and Statistics  
An algorithm SP (= Symptom Proximity) is suggested for solving discrete diagnostic problem.  ...  It is based on probabilistic approach to decision-making under uncertainty, however, it does not use knowledge integration from marginal distributions.  ...  Acknowledgements I am very grateful to the anonymous referee for valuable comments and suggestions to improve legibility of the paper.  ... 
doi:10.13189/ms.2017.050206 fatcat:rk75cprvcjeyhdhcvksw4fevlu

Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning

Razieh Mehri, Volker Haarslev
2017 International Workshop on Description Logics  
Our approach presented in this paper applies machine learning to make the selection process more effective and removes the need for manual fine tuning.  ...  Many of the techniques rely on heuristics that have been manually fine tuned for achieving a good performance but might fail dramatically when encountering ontologies exhibiting unexpected design patterns  ...  Therefore, learning to apply the most proper order for variables while solving a SAT problem helps with the order of applying variables in semantic branching.  ... 
dblp:conf/dlog/MehriH17 fatcat:4llcmskxcjbebmr2fewuwdv5my

Newsvendors Tackle the Newsvendor Problem

Martin A. Koschat, Glorian L. Berk, Jeffrey A. Blatt, Nancy M. Kunz, Michael H. LePore, Sam Blyakher
2003 Interfaces  
KOSCHAT, BERK, BLATT, KUNZ, LEPORE, AND BLYAKHER Newsvendors  ...  The optimal formula files are those in which the implied piecewise linear relation between median sales and draw closely matches the relation determined by Formula (2) (Appendix).  ...  With such data and careful statistical analysis, an analyst can determine a class of suitable probability distributions and estimate the vector of parameters i j for each store.  ... 
doi:10.1287/inte. fatcat:pp5c6guy3fdadewf7kmd64t7nu

Machine Learning Based Model to Identify Firewall Decisions to Improve Cyber-Defense

Qasem Abu Al-Haija, Abdelraouf Ishtaiwi
2021 International Journal on Advanced Science, Engineering and Information Technology  
value (PPV), false discovery rate (FDR), and the receiver operating characteristic (ROC) curves for the developed three-class classifier.  ...  The experimental results exhibited our classification model's superiority, scoring an overall accuracy of 99.8%, and 98.5% for ODT, and SNN respectively.  ...  ACKNOWLEDGMENT The authors are grateful to the deanship of scientific research at University of Petra (UoP) for supporting the publication of this paper.  ... 
doi:10.18517/ijaseit.11.4.14608 fatcat:mrpa7fsaibhjjd4zv6h7777nu4

Development of Decision Tree Algorithm for Mining Web Data Stream

Sheetal Sharma, Swati Singh
2016 International Journal of Computer Applications  
to find out different information related to log file.  ...  In this work we develop decision tree algorithm, which is efficient mining method to mine log files and extract knowledge from web data stream and generated training rules and Pattern which are helpful  ...  The information must be preprocessed with a specific end goal to have the proper data for the mining calculations.  ... 
doi:10.5120/ijca2016908770 fatcat:vnvlqchjf5g6dovdza3hsv4yru

Functionality of Sea Ice Data Sources on the NSR

Tadeusz Pastusiak
2016 TransNav: International Journal on Marine Navigation and Safety of Sea Transportation  
Replacing Vf in the formula (1) to Vw allows the obtainment of formula for rate indicator Qw of the file data transfer with necessary elements of the website.  ...  uncertain information relating to navigation in ice and the ability to overcome ice by vessels of any ice class.  ... 
doi:10.12716/1001.10.03.09 fatcat:ulpph2xbrnadpg5is24lqnihfa

Classification of Adverse Event Thyroid Cancer using Naïve Entropy and Association Function

K. V. Uma, S. Appavu alias Balamurugan
2016 Indian Journal of Science and Technology  
Along with that, Association function is used for determining the relative degree between the given attribute and class C.  ...  The risk factors for Adverse event include demographic features of patients and concurrent illnesses, hypersensitivity to related drugs, drugs currently taken etc.  ...  But the incompleteness of the data and high dimensionality of stored data was a problem while applying data mining methods.  ... 
doi:10.17485/ijst/2016/v9i4/87042 fatcat:4ebm66l5ofh5fhvehaxxw6cqpa
« Previous Showing results 1 — 15 out of 42,392 results