System Description: CutRes 0.1: Cut Elimination by Resolution

Author(s):  
Matthias Baaz ◽  
Alexander Leitsch ◽  
Georg Moser
2002 ◽  
Author(s):  
Konstantin Malyshev ◽  
Yakov Lebedev

2020 ◽  
Vol 12 (1) ◽  
pp. 17-22
Author(s):  
Alexander Nadel

This paper is a system description of the anytime MaxSAT solver TT-Open-WBO-Inc, which won both of the weighted incomplete tracks of MaxSAT Evaluation 2019. We implemented the recently introduced polarity and variable selection heuristics, TORC and TSB, respectively, in the Open-WBO-Inc-BMO algorithm within the open-source anytime MaxSAT solver Open-WBO-Inc. As a result, the solver is substantially more efficient.


2016 ◽  
Author(s):  
Liang He ◽  
Yao Tian ◽  
Yi Liu ◽  
Jiaming Xu ◽  
Weiwei Liu ◽  
...  
Keyword(s):  

Author(s):  
A. V. Strukova

The article considers the new automated air traffic management system «Synthesis AR4», as well as a system description for ensuring the implementation of a modernized airspace structure, navigation and surveillance that provides technical capabilities. A number of functional capabilities and advantages of the airspace security system are presented.


1985 ◽  
Vol 18 (1) ◽  
pp. 55-78 ◽  
Author(s):  
R. G. Coyle
Keyword(s):  

2017 ◽  
Vol 41 (S1) ◽  
pp. S104-S104
Author(s):  
D. Piacentino ◽  
M. Grözinger ◽  
A. Saria ◽  
F. Scolati ◽  
D. Arcangeli ◽  
...  

IntroductionBehavioral disorders, such as conduct disorder, influence choice of treatment and its outcome. Less is known about other variables that may have an influence.Objectives/AimsWe aimed to measure the parent drug and metabolite plasma levels in risperidone-treated children and adolescents with behavioral disorders and investigate the role of drug dose and patients’ gender and age.MethodsWe recruited 115 children/adolescents with DSM-5 behavioral disorders (females = 24; age range: 5–18 years) at the Departments of Psychiatry of the Hospitals of Bolzano, Italy, and Innsbruck, Austria. We measured risperidone and its metabolite 9-hydroxyrisperidone plasma levels and the parent drug-to-metabolite ratio in the plasma of all patients by using LC-MS/MS. A subsample of 15 patients had their risperidone doses measured daily. We compared risperidone and 9-hydroxyrisperidone plasma levels, as well as risperidone/9-hydroxyrisperidone ratio, in males vs. females and in younger (≤ 14 years) vs. older (15–18 years) patients by using Mann-Whitney U test. We fitted linear models for the variables “age” and “daily risperidone dose” by using log-transformation, regression analysis and applying the R2 statistic.ResultsFemales had significantly higher median 9-hydroxyrisperidone plasma levels (P = 0.000). Younger patients had a slightly lower median risperidone/9-hydroxyrisperidone ratio (P = 0.052). At the regression analysis, daily risperidone doses and metabolite, rather than parent drug–plasma levels were correlated (R2 = 0.35).ConclusionsGender is significantly associated with plasma levels, with females being slower metabolizers than males. Concerning age, younger patients seem to be rapid metabolizers, possibly due to a higher activity of CYP2D6. R2 suggests a clear-cut elimination of the metabolite.Disclosure of interestThe authors have not supplied their declaration of competing interest.


Sign in / Sign up

Export Citation Format

Share Document