#### Filter Results:

- Full text PDF available (7)

#### Publication Year

2004

2016

- This year (0)
- Last five years (5)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Mario Carneiro, Caio Augusto de Souza Nery, Luiz Aurelio Mestriner
- The Knee
- 2006

A case of bilateral simultaneous stress fracture of the patella is presented in a 64 year old Marathon runner sustained when he slipped off a curb whilst out walking. This was confirmed on Xray and treated by tension band wiring using the AO technique. He had an excellent result returning to normal function in both knees. This case is unusual since the… (More)

- L Alice, B O Barcelos, +128 authors Maria Palmira An
- 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)

- Mario Carneiro, Ricardo Dizioli Navarro, Gilberto Yoshinobu Nakama, João Mauricio Barretto, Antonio Altenor Bessa de Queiroz, Marcus Vinicius Malheiro Luzo
- Knee surgery, sports traumatology, arthroscopy…
- 2009

In this article, an original double-bundle anterior cruciate ligament reconstruction technique is described. The procedure is developed using hamstring tendon grafts while maintaining tibial osseous insertion. Two tibial tunnels are drilled and a simplified and precise outside-in double tunnel femoral drilling technique is utilized. The graft fixation is… (More)

- TEREZINHA BRAGA, MARIA VALERIANA, MOURA RIBEIRO, RUBENS MOURA RIBEIRO, MÁRIO CARNEIRO, LEÃO RIBEIRO
- 2012

- Mario Carneiro, Ricardo Dizioli Navarro, Gilberto Yoshinobu Nakama, João Mauricio Barretto, Antonio Altenor Bessa de Queiroz, Marcus Vinicius Malheiro Luzo
- Revista brasileira de ortopedia
- 2009

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)

- Ricardo Navarro, Mario Carneiro
- The Knee
- 2004

The inclination of the joint line after supracondylar osteotomy of the femur for valgus deformity was studied in 22 patients and 26 knees. The patients (four males and 18 females) were 17-77 years old (mean, 49.5 years). The obliquity of the joint line was measured in positive degrees (medial inclination) and negative degrees (lateral inclination). Mean… (More)

In this paper we show that, under certain generic conditions, billiards on ovals have only a finite number of periodic orbits, for each period N , all non-degenerate and at least one of them is hyperbolic. Moreover, the invariant curves of two hyperbolic points are transversal. We explore these properties to give some dynamical consequences specially about… (More)

- Mario Carneiro
- ArXiv
- 2015

Unlike some other formal systems, the proof system Meta-math has no built-in concept of " decimal number " in the sense that arbitrary digit strings are not recognized by the system without prior definition. We present a system of theorems and definitions and an algorithm to apply these as basic operations to perform arithmetic calculations with a number of… (More)

- Mario Carneiro
- FM4M/MathUI/ThEdu/DP/WIP@CIKM
- 2016

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)

- Mario Carneiro
- FM4M/MathUI/ThEdu/DP/WIP@CIKM
- 2016

We present the formalization of Dirichlet's theorem on the infinitude of primes in arithmetic progressions, and Selberg's elementary proof of the prime number theorem, which asserts that the number π(x) of primes less than x is asymptotic to x/ log x, within the proof system Metamath.

- ‹
- 1
- ›