Classification of the severity of diabetic neuropathy: a new approach taking uncertainties into account using fuzzy logic

OBJECTIVE: This study proposes a new approach that considers uncertainty in predicting and quantifying the presence and severity of diabetic peripheral neuropathy. METHODS: A rule-based fuzzy expert system was designed by four experts in diabetic neuropathy. The model variables were used to classify neuropathy in diabetic patients, defining it as mild, moderate, or severe. System performance was evaluated by means of the Kappa agreement measure, comparing the results of the model with those generated by the experts in an assessment of 50 patients. Accuracy was evaluated by an ROC curve analysis obtained based on 50 other cases; the results of those clinical assessments were considered to be the gold standard. RESULTS: According to the Kappa analysis, the model was in moderate agreement with expert opinions. The ROC analysis (evaluation of accuracy) determined an area under the curve equal to 0.91, demonstrating very good consistency in classifying patients with diabetic neuropathy. CONCLUSION: The model efficiently classified diabetic patients with different degrees of neuropathy severity. In addition, the model provides a way to quantify diabetic neuropathy severity and allows a more accurate patient condition assessment.

A Note on the Use of Sum in the Logic of Proofs

The Logic of Proofs~LP, introduced by Artemov, encodes the same reasoning as the modal logic~S4 using proofs explicitly present in the language. In particular, Artemov showed that three operations on proofs (application~$\cdot$, positive introspection~!, and sum~+) are sufficient to mimic provability concealed in S4~modality. While the first two operations go back to G{\"o}del, the exact role of~+ remained somewhat unclear. In particular, it was not known whether the other two operations are sufficient by themselves. We provide a positive answer to this question under a very weak restriction on the axiomatization of LP.

THE LOGIC OF NOMINAL RECORD LINKAGE WITH A CASE STUDY FROM LAREDO, TEXAS

The Laredo Epidemiology Project is a study of the patterns of degenerative disease, particularly cancer, in the families of Laredo, Texas. The genealogical history of Laredo was reconstructed by the grouping of 350,000 individual church and civil vital event records into multi-generational families, with record linkage based on matching names. Mortality data from death records are mapped onto these pedigrees for analysis. This dissertation describes the construction of the data base and the logic upon which decisions were based. ^

Exploring the logic of mobile search

After more than a decade of development work and hopes, the usage of mobile Internet has finally taken off. Now, we are witnessing the first signs of evidence of what might become the explosion of mobile content and applications that will be shaping the (mobile) Internet of the future. Similar to the wired Internet, search will become very relevant for the usage of mobile Internet. Current research on mobile search has applied a limited set of methodologies and has also generated a narrow outcome of meaningful results. This article covers new ground, exploring the use and visions of mobile search with a users' interview-based qualitative study. Its main conclusion builds upon the hypothesis that mobile search is sensitive to a mobile logic different than today's one. First, (advanced) users ask for accessing with their mobile devices the entire Internet, rather than subsections of it. Second, success is based on new added-value applications that exploit unique mobile functionalities. The authors interpret that such mobile logic involves fundamentally the use of personalised and context-based services.

Introduction to technical communications of the 26th Int'l. Conference on logic programming (ICLP'10)

Abstract is not available.

A new approach to a model of the mammalian retina with optically programmable logic cells

This paper reports a model of the mammalian retina as well as an interpretation of some functions of the visual cortex. Its main objective is to simulate some of the behaviors observed at the different retina cells depending on the characteristics of the light impinging onto the photoreceptors. This simulation is carried out with a simple structure employed previously as basic building block of some optical computer architectures. Its possibility to perform any type of Boolean function allows a wide range of behaviors.

Changing kinship systems: a study in the acculturation of the Creeks, Cherokee, and Choctaw / by Alexander Spoehr, Curator, Oceanic Ethnology. Formerly Curator, North American Ethnology and Archaeology.

v.33:no.4(1947)

Kinship system of the Seminole / by Alexander Spoehr.

v.33:no.2(1942)

Aristotelian predicables, universality and realism: the logic of comparison in topics as denying the view that Aristotle was a realist

Aristotle is reportedly held to have been a Moderate Realist in that he would maintain that a concept derives from an act of grasping a mind-independent universal object that exists somehow inside of the many different things which the concept is predicated of. As far as a universal is independent of mind, it would stand for the proper object of a concept that subsumes a given number of things as its own instantiations. But we claim that Aristotle rejected such a view and instead did perceive and comprehend universality as a feature of thought rather than as a feature of reality in its own right. As showed in the chapters of Topics regarding the so-called logic of comparison (with the support of Albert the Great’s commentary), each predicate can be more or less consistent with the attribute of the subject of which it may be predicated. Both essential and accidental attributes assume a definite degree of being related to the degree of belonging to substance. Unlike particular things, the universality of a concept is to be understood always in comparison with another concept according to a hierarchy of predicates in terms of universality degree arranged by comparative terms such as ‘more’, ‘less’, and ‘likewise’. What is really mind-independent are the truth conditions which make a universal true when exclusively referring to a set of things identically meant by the same predicate whose universality is given by the place occupied in the hierarchy of predicates.

The Political Logic of Disintegration: Seven Lessons from the Soviet Collapse. CEPS Essay (No. 1), September 2012

In short, the European Union, as we know it, no longer exists. The very foundations on which it was built are eroding. Shared memories of the Second World War have faded away – half the 15- and 16-year-olds in German high schools do not know that Hitler was a dictator, while a third believe that he protected human rights. The collapse of the Soviet Union has stripped away the geopolitical rationale for European unity. The democratic welfare state that was at the heart of the post-war political consensus is under siege by, among other things, sheer demographics. And the prosperity that bolstered the European project’s political legitimacy is vanishing. More than six out of ten Europeans believe that the lives of today’s children will be more difficult than those of people from their own generation. Against this background, how unthinkable is the EU’s disintegration? Should Europeans make the mistake of taking the Union for granted? Should they assume that the Union would not collapse because it should not collapse? Here, Europe’s capacity to learn from the Soviet precedent could play a crucial part. For the very survival of the EU may depend on its leaders’ ability to manage a similar mix of political, economic and psychological factors that were in play in the process of the Soviet collapse. The game of disintegration is primarily a political one driven much more by the perceptions and misperceptions of the political actors than simply by the constellation of the structural factors – institutional and economic.

An analysis of the regression model for nonsaturating logic circuit analysis.

Also issued as thesis (M.S.) University of Illinois.

Use and description of the CALCOMP program to draw networks of logic gates /

Mode of access: Internet.

Essays on the powers of the human mind : An essay on quantity. An analysis of Aristotl's logic /

Mode of access: Internet.