1,773 research outputs found
Geometric Aspects of Ambrosetti-Prodi operators with Lipschitz nonlinearities
For Dirichlet boundary conditions on a bounded domain, what happens to the
critical set of the Ambrosetti-Prodi operator if the nonlinearity is only a
Lipschitz map? It turns out that many properties which hold in the smooth case
are preserved, despite of the fact that the operator is not even differentiable
at some points. In particular, a global Lyapunov-Schmidt decomposition of great
convenience for numerical inversion is still available
Hemicraniectomy for large middle cerebral artery territory infarction: outcome and clinical variables in 10 patients
Seroprevalence of Bordetella pertussis in healthcare workers in a Portuguese tertiary referral hospital
info:eu-repo/semantics/publishedVersio
Pemphigus Vulgaris - A Pediatric Case
O Pênfigo Vulgar é uma doença auto-imune rara na infância,com evolução crónica e mortalidade significativa. A doença
manifesta-se por lesões vesiculares, semelhantes a infecções benignas, mas que são refractárias ao tratamento sintomático
e persistem após a fase aguda. Apresenta-se o caso de uma criança de três anos com lesões muco-cutâneas orais, persistentes.
A biópsia permitiu o diagnóstico de Pênfigo Vulgar, tendo sido iniciada terapia corticosteróide sistémica. A dificuldade
no controlo da doença levou Ă introdução de outros fármacos imunossupressores, atĂ© se atingir a estabilidade clĂnica.
Todas as opções de tratamento do PĂŞnfigo apresentam efeitos iatrogĂ©nicos, sendo imprescindĂvel um equilĂbrio entre
controlo da doença e qualidade de vida do doente
Follicular Fluid redox involvement for ovarian follicle growth
As the human ovarian follicle enlarges in the course of a regular cycle or following controlled ovarian stimulation, the changes in its structure reveal the oocyte environment composed of cumulus oophorus cells and the follicular fluid (FF).In contrast to the dynamic nature of cells, the fluid compartment appears as a reservoir rich in biomolecules. In some aspects, it is similar to the plasma, but it also exhibits differences that likely relate to its specific localization around the oocyte. The chemical composition indicates that the follicular fluid is able to detect and buffer excessive amounts of reactive oxygen species, employing a variety of antioxidants, some of them components of the intracellular milieu.An important part is played by albumin through specific cysteine residues. But the fluid contains other molecules whose cysteine residues may be involved in sensing and buffering the local oxidative conditions. How these molecules are recruited and regulated to intervene such process is unknown but it is a critical issue in reproduction.In fact, important proteins in the FF, that regulate follicle growth and oocyte quality, exhibit cysteine residues at specific points, whose untoward oxidation would result in functional loss. Therefore, preservation of controlled oxidative conditions in the FF is a requirement for the fine-tuned oocyte maturation process. In contrast, its disturbance enhances the susceptibility to the establishment of reproductive disorders that would require the intervention of reproductive medicine technology.info:eu-repo/semantics/publishedVersio
The Unmet Needs for Studying Chronic Pelvic/Visceral Pain Using Animal Models
The different definitions of chronic pelvic/visceral pain used by international societies have changed over the years. These differences have a great impact on the way researchers study chronic pelvic/visceral pain. Recently, the role of systemic changes, including the role of the central nervous system, in the perpetuation and chronification of pelvic/visceral pain has gained weight. Consequently, researchers are using animal models that resemble those systemic changes rather than using models that are organ- or tissue-specific. In this review, we discuss the advantages and disadvantages of using bladder-centric and systemic models, enumerating some of the central nervous system changes and pain-related behaviors occurring in each model. We also present some drawbacks when using animal models and pain-related behavior tests and raise questions about possible, yet to be demonstrated, investigator-related bias. We also suggest new approaches to study chronic pelvic/visceral pain by refining existing animal models or using new ones.</jats:p
Incremental bounded model checking for embedded software
Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and test case generation are some of the most common applications of automated verification tools based on bounded model checking (BMC). Existing industrial tools for embedded software use an off-the-shelf bounded model checker and apply it iteratively to verify the program with an increasing number of unwindings. This approach unnecessarily wastes time repeating work that has already been done and fails to exploit the power of incremental SAT solving. This article reports on the extension of the software model checker CBMC to support incremental BMC and its successful integration with the industrial embedded software verification tool BTC EMBEDDED TESTER. We present an extensive evaluation over large industrial embedded programs, mainly from the automotive industry. We show that incremental BMC cuts runtimes by one order of magnitude in comparison to the standard non-incremental approach, enabling the application of formal verification to large and complex embedded software. We furthermore report promising results on analysing programs with arbitrary loop structure using incremental BMC, demonstrating its applicability and potential to verify general software beyond the embedded domain
Thermoelectric spin voltage in graphene
In recent years, new spin-dependent thermal effects have been discovered in
ferromagnets, stimulating a growing interest in spin caloritronics, a field
that exploits the interaction between spin and heat currents. Amongst the most
intriguing phenomena is the spin Seebeck effect, in which a thermal gradient
gives rise to spin currents that are detected through the inverse spin Hall
effect. Non-magnetic materials such as graphene are also relevant for spin
caloritronics, thanks to efficient spin transport, energy-dependent carrier
mobility and unique density of states. Here, we propose and demonstrate that a
carrier thermal gradient in a graphene lateral spin valve can lead to a large
increase of the spin voltage near to the graphene charge neutrality point. Such
an increase results from a thermoelectric spin voltage, which is analogous to
the voltage in a thermocouple and that can be enhanced by the presence of hot
carriers generated by an applied current. These results could prove crucial to
drive graphene spintronic devices and, in particular, to sustain pure spin
signals with thermal gradients and to tune the remote spin accumulation by
varying the spin-injection bias
Prevalence of 35delG and Met34Thr GJB2 variants in Portuguese samples
Objective: To estimate the prevalence of 35delG and Met34Thr variants in a Portuguese children's community sample and to compare these frequencies with nonsyndromic hearing-loss patients.
Methods: 502 children were randomly selected among the 8647 participants of the Portuguese birth cohort Generation XXI, and screened for Met34Thr and 35delG variants in the GJB2 gene. These variants were also studied on 89 index-cases, observed in the Clinic of “Hereditary Hearing-loss” in Saint John's Hospital Center, presenting a mild to profound nonsyndromic hearing-loss.
Results: Among the 502 children from Generation XXI, 10 were heterozygous for the 35delG variant (95% Confidence Interval 1.03–3.68) and 1 homozygous (95% Confidence Interval 0.01–1.24). Other 10 children presented heterozygosity for the Met34Thr variant (95% Confidence Interval 1.03–3.68). No homozygous for the Met34Thr or compound heterozygotes (35delG/Met34Thr) were found. In the total of 89 nonsyndromic hearing-loss patients, 5 (95% Confidence Interval 2.11–12.8) were heterozygous and 7 (95% Confidence Interval 3.61–15.6) were homozygous for the 35delG variant. The Met34Thr variant was found in 4 patients, 2 heterozygous (95% Confidence Interval 0.13–8.31) and 2 homozygous (95% Confidence Interval 0.13–8.31).
Conclusion: The carrier frequency of 35delG and Met34Thr variants in a Portuguese sample was 1 in 50. Our data suggests that the 35delG mutation has an association with deafness. For the Met34Thr variant, no association was observed. However, Met34Thr seemed to conform to an additive model in hearing-loss
- …