550 research outputs found

    Developing frameworks for protocol implementation

    Get PDF
    This paper presents a method to develop frameworks for protocol implementation. Frameworks are software structures developed for a specific application domain, which can be reused in the implementation of various different concrete systems in this domain. The use of frameworks support a protocol implementation process connected with formal design methods and produce an implementation code easy to extend and to reuse

    Klein-Gordon oscillator subject to a Coulomb-type potential in Bonnor-Melvin universe with a cosmological constant

    Full text link
    In this work we study spin-0 particles described by the Klein-Gordon oscillator formalism in a spacetime which structure is determined by a homogeneous magnetic field and a cosmological constant. For this purpose we take into account a framework based on the Bonnor-Melvin solution with the inclusion of the cosmological constant. We write the Klein-Gordon equation and the effect of a scalar potential is also considered.Comment: 9 pages, 2 figure

    Polytipic recursion patterns

    Get PDF
    Comunicação apresentada em SBLP'00, Proc. 4th Brazilian Symposium on Programming Languages, Recife, May, 2000Recursive schemes over inductive data structures have been recognized as category-theoretic universals, yielding a handful of equational laws for program construction and transformation. This paper introduces the implementation of such recursion patterns as type parametric, or polytypic, functionals in the CAMILA prototyping language. Several examples are discussed

    Time-Reversal Symmetry Breaking and Decoherence in Chaotic Dirac Billiards

    Full text link
    In this work, we perform a statistical study on Dirac Billiards in the extreme quantum limit (a single open channel on the leads). Our numerical analysis uses a large ensemble of random matrices and demonstrates the preponderant role of dephasing mechanisms in such chaotic billiards. Physical implementations of these billiards range from quantum dots of graphene to topological insulators structures. We show, in particular, that the role of finite crossover fields between the universal symmetries quickly leaves the conductance to the asymptotic limit of unitary ensembles. Furthermore, we show that the dephasing mechanisms strikingly lead Dirac billiards from the extreme quantum regime to the semiclassical Gaussian regime

    Thermodynamic and dynamic anomalies for a three dimensional isotropic core-softened potential

    Get PDF
    Using molecular dynamics simulations and integral equations (Rogers-Young, Percus-Yevick and hypernetted chain closures) we investigate the thermodynamic of particles interacting with continuous core-softened intermolecular potential. Dynamic properties are also analyzed by the simulations. We show that, for a chosen shape of the potential, the density, at constant pressure, has a maximum for a certain temperature. The line of temperatures of maximum density (TMD) was determined in the pressure-temperature phase diagram. Similarly the diffusion constant at a constant temperature, DD, has a maximum at a density ρmax\rho_{max} and a minimum at a density ρmin<ρmax\rho_{min}<\rho_{max}. In the pressure-temperature phase-diagram the line of extrema in diffusivity is outside of TMD line. Although in this interparticle potential lacks directionality, this is the same behavior observed in SPC/E water.Comment: 16 page

    Early Debridement, antibiotics and implant retention (DAIR) in patients with suspected acute infection after hip or knee arthroplasty - safe, effective and without negative functional impact

    Get PDF
    Introduction: Debridement, antibiotics and implant retention (DAIR) is known to be effective in treating acute periprosthetic joint infection (PJI). However, deciding to perform additional surgery in the early postoperative period may be challenging as there is the concern of adding morbidity and clinical presentation is often subtle. We mean to assess the impact of early DAIR on final functional outcome. Methods: A case-control comparison was performed between patients that underwent DAIR for suspected PJI between 2010-2016 and controls randomly selected (1:2 ratio) from a list of primary joint replacements. Patients were matched for anatomic site, age, gender, American Society of Anesthesiologists (ASA) classification, body mass index and follow-up time. The outcome of surgical treatment and complications were assessed and Hip disability and Osteoarthritis Outcome Score (HOOS) or Knee injury and Osteoarthritis Outcome Score (KOOS) were performed. Results: Thirty-eight cases were included at a mean follow-up of 42 months. Infection was not confirmed in one patient. There was one infection related-death and three other cases of treatment failure that required a two-stage revision. Overall success rate was 89.2%. There were no significant patient reported differences regarding final functional outcome between both groups: pain 91±6 vs. 87±13; other symptoms 90±8 vs. 90±9; activities of day living 86±8 vs. 85±14; sport 63±13 vs. 57±16; quality of life 78±17 vs. 76±16. Discussion: These findings support that DAIR for suspected acute PJI is safe, effective and causes no impact on final functional results. Thus, a low threshold for assuming infection and subsequent DAIR may safely be adopted in the early postoperative period.info:eu-repo/semantics/publishedVersio

    Cowpea development under different temperatures and carbon dioxide concentrations.

    Get PDF
    The increase of CO2 concentrations and temperatures may affect the plant development and production. This study aimed to evaluate the impact of the increased temperature and carbon dioxide concentration on the development of cowpea cultivars. The experiment was conducted in growth chambers, with control of CO2 and temperature. A completely randomized design was carried out, in a 4 x 3 x 2 factorial arrangement [cultivar x temperature (day/night) x CO2 ], with three replicates. The duration of the cowpea vegetative and reproductive phases was evaluated and, at the end of the experiment, the number of pods per plant, number of grains per pod, seed weight, shoot fresh and dry matter weight were quantified. Temperature affects the development of cowpea cultivars, and the temperatures of 29 ºC (day)/23 ºC (night) lead to a higher seed weight. The increase of CO2 leads to a higher number of pods and seeds and seed weight. The BRS Tapaihum cultivar presented the highest number of pods and seeds and seed weight. In addition, the temperatures of 32 ºC (day)/29 ºC (night) lead to a greater flower abortion in the BRS Pujante and BRS Tapaihum cultivars

    Método de determinação de cálcio iônico no leite bovino.

    Get PDF
    bitstream/item/44002/1/documento-321.pd
    corecore