12 research outputs found
Feasible combinatorial matrix theory
We show that the well-known Konig's Min-Max Theorem (KMM), a fundamental
result in combinatorial matrix theory, can be proven in the first order theory
\LA with induction restricted to formulas. This is an
improvement over the standard textbook proof of KMM which requires
induction, and hence does not yield feasible proofs --- while our new approach
does. \LA is a weak theory that essentially captures the ring properties of
matrices; however, equipped with induction \LA is capable of
proving KMM, and a host of other combinatorial properties such as Menger's,
Hall's and Dilworth's Theorems. Therefore, our result formalizes Min-Max type
of reasoning within a feasible framework
Surface Engineering Artificial Heart Valves to Improve Quality of Life and Lifetime using Modified Diamond-like Coatings
Neurotoxocarosis Neurotoxocaríase
Infection of humans with embryonated eggs of Toxocara canis (larva migrans) remains asymptomatic, or results in covert or common toxocarosis, visceral larva migrans syndrome, or ophthalmologic and neurologic impairment. Though neurological manifestations of Toxocara canis larvae are rare, toxocarosis remains an important differential diagnosis of various neurological disorders. Manifestations of the central nervous system are dementia, meningo-encephalitis, myelitis, cerebral vasculitis, epilepsy, or optic neuritis. Manifestations of the peripheral nervous system comprise radiculitis, affection of cranial nerves, or musculo-skeletal involvement. If toxocarosis is neglected, ignored, or refused as a differential of these abnormalities, it may be easily overlooked for years. Early recognition and treatment of the infection is, however, of paramount importance since it reduces morbidity and mortality and the risk of secondary superinfection. Like the visceral manifestations, neurological manifestations of toxocarosis are treated by benzimidazole components, most frequently albendazole, corticosteroids, or diethylcarbamazine. If detected and treated early, the prognosis of neurological manifestations of toxocarosis is favourable.<br>Infecção humana com ovos embrionados de Toxocara canis (larva migrans) pode permanecer assintomática ou resultar em toxocaríase acentuada ou comum, síndrome da larva migrans visceral ou manifestações neurológicas ou oftalmológicas. Embora manifestações neurológicas das larvas de Toxocara canis sejam raras, a toxocaríase permanece como importante diagnóstico diferencial de várias manifestações neurológicas. Manifestações do sistema nervoso central são demência, meningoencefalite, mielite, vasculite cerebral, epilepsia, ou neurite ótica. Manifestações do sistema nervoso periférico compreendem radiculite, agressão de nervos cranianos ou envolvimento músculo-esquelético. Se a toxocaríase é negligenciada, ignorada, ou recusada como diferencial destas anormalidades, ela pode ser facilmente desapercebida por anos. Reconhecimento precoce de tratamento da infecção é portanto de fundamental importância uma vez que reduz sua morbidade e mortalidade e o risco de superinfecção secundária. Da mesma maneira que as manifestações viscerais, as neurológicas são tratadas por benzimidazólicos, mais freqüentemente albendazole, corticosteróides ou dietilcarbamazine. Se detectado e tratado precocemente, o prognóstico das manifestações neurológicas da toxocaríase é favorável