Mario Carneiro

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Although some work has been done on the metamathematics of Metamath, there has not been a clear definition of a model for a Meta-math formal system. We define the collection of models of an arbitrary Metamath formal system, both for tree-based and string-based representations. This definition is demonstrated with examples for propositional calculus, ZFC set(More)
  • L Alice, B O Barcelos, J E Ruppenthal, R C R Beck, Inovação, Nanotecnologia Farmacêutica No Brasil +125 others
  • 2015
microemulsion modifies the pharmacokinetic profile and cardiotoxicity of doxorubicin. The antiproliferative effect of indomethacin-loaded lipid-core nanocapsules in glioma cells is mediated by cell cycle regulation, differentiation, and the inhibition of survival pathways. Investigation of the structural organization of cationic nanoemulsion/antisense(More)
Local Proceedings iii iv Preface This volume contains the proceedings of the 18th International workshop AUTOMATA and the 3rd international symposium JAC. AUTOMATA workshop series aims at gathering researchers from all over the world working in fundamental aspects of cellular automata and related discrete complex systems. Topics cover (although they are not(More)
Surgical procedures for double-bundle reconstruction of anterior cruciate ligament, which currently use semitendinous and gracilis tendon grafts, have been described in the last decade. Most of the techniques utilize twice the hardware used in single-bundle reconstructions. We report an original anterior cruciate ligament double-bundle reconstruction(More)
AIM To evaluate longitudinally the cephalometric changes in the facial profile of young adults. METHODS The sample was composed of 27 individuals of both genders who presented with Class I and normal occlusion; the initial mean age was 21.2 years. After a mean period of 7.2 years, patients were re-evaluated. All measurements were carried out via(More)
  • 1