Background and aim: It seems that melanocytic nevi, freckle and lentigo are more common in women with melasma, and a common genetic background may exist. In this study the prevalence and number of lentigo, freckle and melanocytic nevus were compared in women with and without melasma.Materials and methods: In a case-control study, 120 women with melasma (case group) and ...

Background The aim of this study was to evaluate the anxiety and depression in women with infertility. MaterialsAndMethods A case control study was carried out on 150 subjects with infertility and on 150 subjects with tubal ligation. The two groups were matched in demographic and personal characteristics. Data collection tool was a questionnaire including questions regarding demographic and obs...

Background The aim of this study was to compare sexual function between women of infertile couples and women who have undergone TL. MaterialsAndMethods In this case control study in Royan Institute and in a health center in Gilan province (Iran), between 2013 and 2014. There were 150 infertile women (cases) and 150 women undergoing TL (controls). A questionnaire was completed for each patient. ...

Ranging from firmware to cloud services, software is an essential part of almost any imaginable system, or at the very least assists us in their design or maintenance. The sheer complexity and sophisticated concepts of today’s software products thus demand for solutions that assist us in assuring their quality. We aim to contribute in this direction by proposing a fault localization approach fo...

We discuss output feedback control design with multiple performance specifications, each measured in a weighted H∞-norm. The multidisk design problem consists in finding a stabilizing output feedback controller which minimizes the different performance specifications simultaneously using a worst case strategy. This is less conservative than existing approaches, but difficult to solve algorithmi...

We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded during the ILP-based longest path analysis which helps to improve precision. The new analysis works at the assembly level and uses the Omega library to evaluate Presburger formulas.

A new discretization based solution to the sampled-data H 1 control problem is given. In contrast to previous solution procedures, the method is not based on the lifting technique. Instead, an equivalent nite-dimensional discrete problem representation is derived directly from a description of the sampled-data system. This is achieved via a closed-loop expression of the worst-case intersample d...

Although both blackand white-box testing have the same objective, namely detecting faults in a program, they are often conducted separately. In our opinion, the reason is the lack of techniques and tools integrating both strategies, although an integration can substantially decrease testing costs. Specifically, an integrated technique can generate a reduced test suite, as single test cases can ...

We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded during the ILP-based longest path analysis which helps to improve precision. The new analysis works at the assembly level and uses the Omega library to evaluate Presburger formulas.