Patient Variability in Sciatic Nerve Branch Point Distance Using Ultrasound Guided Localization

Background and Objectives: Improved ultrasound and needle technology make popliteal sciatic nerve blockade a popular anesthetic technique and imaging to localize the branch point of the common peroneal and posterior tibial components is important because successful blockade techniques vary with respect to injection of the common trunk proximally or separate injections distally. Nerve stimulation, ultrasound, cadaveric and magnetic resonance studies demonstrate variability in distance and discordance between imaging and anatomic examination of the branch point. The popliteal crease and imprecise, inaccessible landmarks render measurement of the branch point variable and inaccurate. The purpose of this study was to use the tibial tuberosity, a fixed bony reference, to measure the distance of the branch point. Method: During popliteal sciatic nerve blockade in the supine position the branch point was identified by ultrasound and the block needle was inserted. The vertical distance from the tibial tuberosity prominence and needle insertion point was measured. Results: In 92 patients the branch point is a mean distance of 12.91 cm proximal to the tibial tuberosity and more proximal in male (13.74 cm) than female patients (12.08 cm). Body height is related to the branch point distance and is more proximal in taller patients. Separation into two nerve branches during local anesthetic injection supports notions of more proximal neural anatomic division. Limitations: Imaging of the sciatic nerve division may not equal its true anatomic separation. Conclusion: Refinements in identification and resolution of the anatomic division of the nerve branch point will determine if more accurate localization is of any clinical significance for successful nerve blockade.

Verification of floating point programs

In this thesis we present an approach to automated verification of floating point programs. Existing techniques for automated generation of correctness theorems are extended to produce proof obligations for accuracy guarantees and absence of floating point exceptions. A prototype automated real number theorem prover is presented, demonstrating a novel application of function interval arithmetic in the context of subdivision-based numerical theorem proving. The prototype is tested on correctness theorems for two simple yet nontrivial programs, proving exception freedom and tight accuracy guarantees automatically. The prover demonstrates a novel application of function interval arithmetic in the context of subdivision-based numerical theorem proving. The experiments show how function intervals can be used to combat the information loss problems that limit the applicability of traditional interval arithmetic in the context of hard real number theorem proving.

On bandwidth request mechanism with piggyback in fixed IEEE 802.16 networks

This paper investigates the random channel access mechanism specified in the IEEE 802.16 standard for the uplink traffic in a Point-to-MultiPoint (PMP) network architecture. An analytical model is proposed to study the impacts of the channel access parameters, bandwidth configuration and piggyback policy on the performance. The impacts of physical burst profile and non-saturated network traffic are also taken into account in the model. Simulations validate the proposed analytical model. It is observed that the bandwidth utilization can be improved if the bandwidth for random channel access can be properly configured according to the channel access parameters, piggyback policy and network traffic.

Performance comparison of OFDM bandwidth request schemes in fixed IEEE 802.16 networks

IEEE 802.16 standard specifies two contention based bandwidth request schemes working with OFDM physical layer specification in point-to-multipoint (PMP) architecture, the mandatory one used in region-full and the optional one used in region-focused. This letter presents a unified analytical model to study the bandwidth efficiency and channel access delay performance of the two schemes. The impacts of access parameters, available bandwidth and subchannelization have been taken into account. The model is validated by simulations. The mandatory scheme is observed to perform closely to the optional one when subchannelization is active for both schemes.

Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs. © 2014 Springer International Publishing Switzerland.

Survivorship and Clinical Outcome of the Minimally Invasive Uniglide Medial Fixed Bearing, All-polyethylene Tibia, Unicompartmental Knee Arthroplasty at a Mean Follow-up of 7.3 Years

Background: Medial UKA performed in England and Wales represents 7 to 11% of all knee arthroplasty procedures, and is most commonly performed using mobile-bearing designs. Fixed bearing eliminates the risk of bearing dislocation, however some studies have shown higher revision rates for all-polyethylene tibial components compared to those that utilize metal-backed implants. The aim of the study is to analyse survivorship and maximum 8-year clinical outcome of medial fixed bearing, Uniglide unicompartmental knee arthroplasty performed using an all-polyethylene tibial component with a minimal invasive approach. Methods: Between 2002 and 2009, 270 medial fixed UKAs were performed in our unit. Patients were reviewed pre-operatively, 5 and 8 years post-operatively. Clinical and radiographic reviews were carried out. Patients’ outcome scores (Oxford, WOMAC and American Knee Score) were documented in our database and analysed. Results: Survival and clinical outcome data of 236 knees with a mean 7.3 years follow-up are reported. Every patient with less than 4.93 years follow-up underwent a revision. The patients’ average age at the time of surgery was 69.5 years. The American Knee Society Pain and Function scores, the Oxford Knee Score and the WOMAC score all improved significantly. The 5 years survival rate was 94.1% with implant revision surgery as an end point. The estimated 10 years survival rate is 91.3%. 14 patients were revised before the 5 year follow-up. Conclusion: Fixed bearing Uniglide UKA with an all-polyethylene tibial component is a valuable tool in the management of a medial compartment osteoarthritis, affording good short term survivorship.

Asymptotic Change-Point Analysis of the Dependencies in Time Series

In recent papers, Wied and his coauthors have introduced change-point procedures to detect and estimate structural breaks in the correlation between time series. To prove the asymptotic distribution of the test statistic and stopping time as well as the change-point estimation rate, they use an extended functional Delta method and assume nearly constant expectations and variances of the time series. In this thesis, we allow asymptotically infinitely many structural breaks in the means and variances of the time series. For this setting, we present test statistics and stopping times which are used to determine whether or not the correlation between two time series is and stays constant, respectively. Additionally, we consider estimates for change-points in the correlations. The employed nonparametric statistics depend on the means and variances. These (nuisance) parameters are replaced by estimates in the course of this thesis. We avoid assuming a fixed form of these estimates but rather we use "blackbox" estimates, i.e. we derive results under assumptions that these estimates fulfill. These results are supplement with examples. This thesis is organized in seven sections. In Section 1, we motivate the issue and present the mathematical model. In Section 2, we consider a posteriori and sequential testing procedures, and investigate convergence rates for change-point estimation, always assuming that the means and the variances of the time series are known. In the following sections, the assumptions of known means and variances are relaxed. In Section 3, we present the assumptions for the mean and variance estimates that we will use for the mean in Section 4, for the variance in Section 5, and for both parameters in Section 6. Finally, in Section 7, a simulation study illustrates the finite sample behaviors of some testing procedures and estimates.

Locating the maximum power point for thermoelectric generators for constant heat operation

Thermoelectric generators (TEGs) are solid-state devices that can be used for the direct conversion between heat and electricity. These devices are an attractive option for generating clean energy from heat. There are two modes of operation for TEGs; constant heat and constant temperature. It is a well-known fact that for constant temperature operation, TEGs have a maximum power point lying at half the open circuit voltage of the TEG, for a particular temperature. This work aimed to investigate the position of the maximum power point for Bismuth Telluride TEGs working under constant heat conditions i.e. the heat supply to the TEG is fixed however the temperature across the TEG can vary depending upon its operating conditions. It was found that for constant heat operation, the maximum power point for a TEG is greater than half the open circuit voltage of the TEG.

Photoelastic Analysis Of Fixed Partial Prosthesis Crown Height And Implant Length On Distribution Of Stress In Two Dental Implant Systems.

The aim of this study was to evaluate by photoelastic analysis stress distribution on short and long implants of two dental implant systems with 2-unit implant-supported fixed partial prostheses of 8 mm and 13 mm heights. Sixteen photoelastic models were divided into 4 groups: I: long implant (5 × 11 mm) (Neodent), II: long implant (5 × 11 mm) (Bicon), III: short implant (5 × 6 mm) (Neodent), and IV: short implants (5 × 6 mm) (Bicon). The models were positioned in a circular polariscope associated with a cell load and static axial (0.5 Kgf) and nonaxial load (15°, 0.5 Kgf) were applied to each group for both prosthetic crown heights. Three-way ANOVA was used to compare the factors implant length, crown height, and implant system (α = 0.05). The results showed that implant length was a statistically significant factor for both axial and nonaxial loading. The 13 mm prosthetic crown did not result in statistically significant differences in stress distribution between the implant systems and implant lengths studied, regardless of load type (P > 0.05). It can be concluded that short implants showed higher stress levels than long implants. Implant system and length was not relevant factors when prosthetic crown height were increased.

Correlação entre o ponto de compensação respiratoria e desempenho em corredores de rua

Universidade Estadual de Campinas . Faculdade de Educação Física

O campo atrativo perceptual do nadar (CAPn) e a propulsão na natação

Universidade Estadual de Campinas . Faculdade de Educação Física

Desempenho e estado ácido-base sanguíneo em corredores de 10 km submetidos a corridas em diferentes intensidades contantes

Universidade Estadual de Campinas. Faculdade de Educação Física

Influence of different catilever extensions and glass or polyamaramid reinforcement fibers on fracture strength of implant-supported temporary

In long-term oral rehabilitation treatments, resistance of provisional crowns is a very important factor, especially in cases of an extensive edentulous distal space. The aim of this laboratorial study was to evaluate an acrylic resin cantilever-type prosthesis regarding the flexural strength of its in-balance portion as a function of its extension variation and reinforcement by two types of fibers (glass and polyaramid), considering that literature is not conclusive on this subject. Each specimen was composed by 3 total crowns at its mesial portion, each one attached to an implant component (abutment), while the distal portion (cantilever) had two crowns. Each specimen was constructed by injecting acrylic resin into a two-part silicone matrix placed on a metallic base. In each specimen, the crowns were fabricated with either acrylic resin (control group) or acrylic resin reinforced by glass (Fibrante, Angelus) or polyaramide (Kevlar 49, Du Pont) fibers. Compression load was applied on the cantilever, in a point located 7, 14 or 21 mm from the distal surface of the nearest crown with abutment, to simulate different extensions. The specimen was fixed on the metallic base and the force was applied until fracture in a universal test machine. Each one of the 9 sub-groups was composed by 10 specimens. Flexural strength means (in kgf) for the distances of 7, 14 and 21 mm were, respectively, 28.07, 8.27 and 6.39 for control group, 31.89, 9.18 and 5.16 for Kevlar 49 and 30.90, 9.31 and 6.86 for Fibrante. Data analysis ANOVA showed statistically significant difference (p<0.05) only regarding cantilever extension. Tukey's test detected significantly higher flexural strength for the 7 mm-distance, followed by 14 and 21 mm. Fracture was complete only on specimens of non-reinforced groups.

Avaliação citométrica dos adipócitos localizados no tecido subcutâneo da parede anterior do abdome após infiltração percutânea de CO2

OBJETIVO: Avaliar os efeitos da infiltração de dióxido de carbono em adipócitos presentes na parede abdominal. MÉTODOS: Quinze voluntárias foram submetidas a sessões de infusão de CO2 durante três semanas consecutivas (duas sessões por semana com intervalos de dois a três dias entre cada sessão). O volume de gás carbônico infundido por sessão, em pontos previamente demarcados, foi sempre calculado com base na superfície da área a ser tratada, com volume infundido fixo de 250 mL/100cm² de superfície tratada. Os pontos de infiltração foram demarcados respeitando-se o limite eqüidistante 2cm entre eles. Em cada ponto se injetou 10mL, por sessão, com fluxo de 80mL/min. Foram colhidos fragmentos de tecido celular subcutâneo da parede abdominal anterior antes e após o tratamento. O número e as alterações histomorfológicas dos adipócitos (diâmetro médio, perímetro, comprimento, largura e número de adipócitos por campos de observação) foram mensurados por citometria computadorizada. Os resultados foram analisados com o teste t de Student pareado, adotando-se nível de significância de 5% (p<0,05). RESULTADOS: Encontrou-se redução significativa no número de adipócitos da parede abdominal e na área, diâmetro, perímetro, comprimento e largura após o uso da hipercapnia (p=0,0001). CONCLUSÃO: A infiltração percutânea de CO2 reduz a população e modifica a morfologia dos adipócitos presentes na parede abdominal anterior.

Ventilation behavior in trained and untrained men during incremental test: evidence of one metabolic transition point

This study aimed to describe and compare the ventilation behavior during an incremental test utilizing three mathematical models and to compare the feature of ventilation curve fitted by the best mathematical model between aerobically trained (TR) and untrained ( UT) men. Thirty five subjects underwent a treadmill test with 1 km.h(-1) increases every minute until exhaustion. Ventilation averages of 20 seconds were plotted against time and fitted by: bi-segmental regression model (2SRM); three-segmental regression model (3SRM); and growth exponential model (GEM). Residual sum of squares (RSS) and mean square error (MSE) were calculated for each model. The correlations between peak VO2 (VO2PEAK), peak speed (Speed(PEAK)), ventilatory threshold identified by the best model (VT2SRM) and the first derivative calculated for workloads below (moderate intensity) and above (heavy intensity) VT2SRM were calculated. The RSS and MSE for GEM were significantly higher (p < 0.01) than for 2SRM and 3SRM in pooled data and in UT, but no significant difference was observed among the mathematical models in TR. In the pooled data, the first derivative of moderate intensities showed significant negative correlations with VT2SRM (r = -0.58; p < 0.01) and Speed(PEAK) (r = -0.46; p < 0.05) while the first derivative of heavy intensities showed significant negative correlation with VT2SRM (r = -0.43; p < 0.05). In UT group the first derivative of moderate intensities showed significant negative correlations with VT2SRM (r = -0.65; p < 0.05) and Speed(PEAK) (r = -0.61; p < 0.05), while the first derivative of heavy intensities showed significant negative correlation with VT2SRM (r= -0.73; p < 0.01), Speed(PEAK) (r = -0.73; p < 0.01) and VO2PEAK (r = -0.61; p < 0.05) in TR group. The ventilation behavior during incremental treadmill test tends to show only one threshold. UT subjects showed a slower ventilation increase during moderate intensities while TR subjects showed a slower ventilation increase during heavy intensities.