Miracle-dz/UniFAR-FTUs huggingface dataset:
Adaptation des stratégies des solveurs SAT CDCL aux solveurs PB natifs

Résumé Les solveurs pseudo-booléens (PB) travaillant native-ment sur des contraintes PB sont fondés sur l’architecture CDCL à l’origine des hautes performances des solveurs SAT modernes. En particulier, ces solveurs PB utilisent non seulement une procédure d’analyse de conﬂits (uti-lisant les plans-coupes), mais également des stratégies complémentaires qui sont cruciales pour l’eﬃcacité du solveur, comme les heuristiques de choix de variable, de suppression des contraintes apprises et de redémarrage. Cependant, ces stratégies sont le plus souvent réutilisées par les solveurs PB sans tenir compte de la forme parti-culière des contraintes PB qu’ils considèrent. Dans cet article, nous présentons et évaluons diﬀérentes manières d’adapter ces stratégies pour tenir compte des spéciﬁ-cités des contraintes PB tout en préservant le même comportement que dans le cadre clausal. Nous avons implanté ces stratégies dans deux solveurs diﬀérents, à savoir Sat4j (pour lequel nous considérons trois conﬁgu-rations) et RoundingSat . Nos expérimentations montrent que ces stratégies dédiées permettent d’améliorer, parfois signiﬁcativement, les performances de ces solveurs, à la fois sur des problèmes de décision et d’optimisation. Abstract Current implementations of pseudo-Boolean (PB) solvers working on native PB constraints are based on the CDCL architecture which empowers highly eﬃcient modern SAT solvers. In particular, such PB solvers not only implement a (cutting-planes-based) conﬂict analysis procedure, but also complementary strategies for components that are crucial for the eﬃciency of CDCL, namely branching heuristics, learned constraint deletion and restarts. However, these strategies are mostly reused by PB solvers without considering the particular form of the PB constraints they deal with. In this paper, we present and evaluate diﬀerent ways of adapting CDCL
Fifth-generation small cell backhaul capacity enhancement and large-scale parameter effect

The proliferation of handheld devices has continued to push the demand for higher data rates. Network providers will use small cells as an overlay to macrocell in fifth-generation (5G) for network capacity enhancement. The current cellular wireless backhauls suffer from the problem of insufficient backhaul capacity to cater to the new small cell deployment scenarios. Using the 3D digital map of Lagos Island in the Wireless InSite, small cells are deployed on a street canyon and in high-rise scenarios to simulate the backhaul links to the small cells at 28 GHz center frequency and 100 MHz bandwidth. Using a user-defined signal to interference plus noise ratio-throughput (SINR-throughput) table based on an adaptive modulation and coding scheme (MCS), the throughput values were generated based on the equation specified by 3GPP TS 38.306 V15.2. 0 0, which estimates the peak data rate based on the modulation order and coding rate for each data stream calculated by the propagation model. Finding shows achieved channel capacity is comparable with gigabit passive optical networks (GPON) used in fiber to the ‘X’ (FTTX) for backhauling small cells. The effect of channel parameters such as root mean squared (RMS) delay spread and RMS angular spread on channel capacity are also investigated and explained.
Old and New Ceramics: Manufacturers, Products and Markets in the Venetian Republic in the 17th and 18th Centuries

This contribution aims to draw up a map of ceramics production sites in the Venetian area from 1600 to 1800, bearing particular attention to institutional and informal devices allowing local production to adapt to European markets trends and innovations. The paper investigates the logics of privileges allowance to private entrepreneurs outside of the guilds framework, conceived probably as a protection for offer more than for demand: they had to do the exploitation of natural resources at a local level (water, raw materials), and of the services labor force accumulating specialized skills working in close contact with foreign invited artisans. The defence and seizure of industrial expertise was in fact the object of enduring court cases between manufacturers fighting to retain and attract highly qualified workers. These were the actual agents' innovation exchange among European, Italian and regional production centres. Continuous exchange and imitation allowed Venetian privileged firms to keep positions in secondary European markets providing most of the demand for local production. The paper is a contribution in a collection edited by Paola Lanaro, submitted and accepted publication by the Center for Renaissance and Reformation Studies of the Toronto University.
Information Technology Impact on Work Practices: A Study of 3D CAD Capabilities in Architecture, Engineering, and Construction

The current set of concerns for research on the impacts of information technology (IT) on organizational work is unduly restricted. The intent behind the use of new IT is to alter work practices of an organization, but how this happens and in what form has received limited attention; in particular, how specific types of use relate to specific impacts. Theoretical explanations have moved us already beyond simplistic determinism where IT impact is direct without due analysis of the context and the use. Such explanations include socio-technical theory, social construction of technology, structuration theory, and social representations. These studies have expanded considerably our understanding how IT use will lead to changes in work practices and thereby to organizational transformation. The way in which IT impact is currently conceptualized falls short in the current business environment where IT use is embedded, pervasive and diverse. Based on calls to theorize rigorously about the IT artifact we explore in more detail how specific IT capabilities and how they impact work practices. To this end we suggest several analytical dimensions to analyze work practices to understand in more detail how changes in IT use and work practices interact in dynamic, interorganizational settings. We illustrate the breadth and diversity of potential IT impact by illustrating how the use of novel capabilities associated with 3D technologies in the Architecture, Engineering, and Construction (AEC) industry impacted multiple dimensions of work practice and ultimately played a significant role in changing work practices of builders, architects and engineers. We conclude by identifying implications to research and potential future research directions.
Thermal mass performance in residential construction : an energy analysis using a cube model

Given the pervasiveness of energy efficiency concerns in the built environment, this research aims to answer key questions regarding the performance of thermal mass construction. The work presents the Cube Model, a simplified model of the single-family home. The model combines simplified geometry and equivalent envelope parameters with accurate climate data and internal loading assumptions. The model first addresses the notion as to whether building simplification is a valid means of analysis through a calibration and validation study. Then, the model is used to address three research areas on passive thermal mass: (1) the quantification of thermal mass performance with respect to material thermal properties; (2) the optimization of thermal mass performance for given material parameters; and (3) the sensitivity of thermal mass performance to infiltration and geometry effects. The experiments for wall and slab constructions, to address the first research area, demonstrate that the energy savings from thermal mass are both climate and season dependent. Results provide the magnitude of energy savings in fifty climates across the United States. Optimization experiments on the material thickness and conductivity, to address the second research area, show that constructions do not reach peak thermal mass performance at the same thermal properties in all climates. Sensitivity analyses, to address the third research area, indicate that passive thermal mass and tight construction practices can be mutually optimized without a trade-off of energy performance. Geometry effects demonstrate that modifications in building design can either benefit or hinder the performance of passive thermal mass. The combination of the results suggests that optimum design for thermal mass performance and the resulting energy consumption are climate-dependent and sensitive to many factors aside from material thermal properties.
Hymenoptera Genome Database: new genomes and annotation datasets for improved go enrichment and orthologue analyses

Abstract We report an update of the Hymenoptera Genome Database (HGD; http://HymenopteraGenome.org), a genomic database of hymenopteran insect species. The number of species represented in HGD has nearly tripled, with fifty-eight hymenopteran species, including twenty bees, twenty-three ants, eleven wasps and four sawflies. With a reorganized website, HGD continues to provide the HymenopteraMine genomic data mining warehouse and JBrowse/Apollo genome browsers integrated with BLAST. We have computed Gene Ontology (GO) annotations for all species, greatly enhancing the GO annotation data gathered from UniProt with more than a ten-fold increase in the number of GO-annotated genes. We have also generated orthology datasets that encompass all HGD species and provide orthologue clusters for fourteen taxonomic groups. The new GO annotation and orthology data are available for searching in HymenopteraMine, and as bulk file downloads.
Optimal adaptive allocation using deep reinforcement learning in a dose‐response study

Estimation of the dose‐response curve for efficacy and subsequent selection of an appropriate dose in phase II trials are important processes in drug development. Various methods have been investigated to estimate dose‐response curves. Generally, these methods are used with equal allocation of subjects for simplicity; nevertheless, they may not fully optimize performance metrics because of nonoptimal allocation. Optimal allocation methods, which include adaptive allocation methods, have been proposed to overcome the limitations of equal allocation. However, they rely on asymptotics, and thus sometimes cannot efficiently optimize the performance metric with the sample size in an actual clinical trial. The purpose of this study is to construct an adaptive allocation rule that directly optimizes a performance metric, such as power, accuracy of model selection, accuracy of the estimated target dose, or mean absolute error over the estimated dose‐response curve. We demonstrate that deep reinforcement learning with an appropriately defined state and reward can be used to construct such an adaptive allocation rule. The simulation study shows that the proposed method can successfully improve the performance metric to be optimized when compared with the equal allocation, D‐optimal, and TD‐optimal methods. In particular, when the mean absolute error was set to the metric to be optimized, it is possible to construct a rule that is superior for many metrics.
Increased air temperature during repeated-sprint training in hypoxia amplifies changes in muscle oxygenation without decreasing cycling performance

ABSTRACT The present study aims to investigate the acute performance and physiological responses, with specific reference to muscle oxygenation, to ambient air temperature manipulation during repeated-sprint training in hypoxia (RSH). Thirteen male team-sport players completed one familiarisation and three experimental sessions at a simulated altitude of ∼3000 m (FIO2 0.144). Air temperatures utilised across the three experimental sessions were: 20°C, 35°C and 40°C (all 50% relative humidity). Participants performed 3 × 5 × 10-s maximal cycle sprints, with 20-s passive recovery between sprints, and 5 min active recovery between sets. There were no differences between conditions for cycling peak power, mean power, and total work (p>0.05). Peak core temperature (Tc) was not different between conditions (38.11 ± 0.36°C). Vastus lateralis muscle deoxygenation during exercise and reoxygenation during recovery was of greater magnitude in 35°C and 40°C than 20°C (p<0.001 for all). There was no condition × time interaction for Tc, skin temperature, pulse oxygen saturation, heart rate, rating of perceived exertion and thermal sensation (P>0.05). Exercise-induced increases in blood lactate concentration were higher in 35°C and 40°C than 20°C (p=0.010 and p=0.001, respectively). Integrating ambient temperatures up to 40°C into a typical RSH session had no detrimental effect on performance. Additionally, the augmented muscle oxygenation changes experienced during exercise and recovery in temperatures ≥35°C may indicate that the potency of RSH training is increased with additional heat. However, alterations to the training session may be required to generate a sufficient rise in Tc for heat training purposes. Highlights Heat exposure (35-40°C) did not affect mechanical performance during a typical RSH session. This indicates hot ambient temperature can be implemented during RSH, without negative consequence to training output. Hotter ambient conditions (35-40°C) likely result in greater muscle oxygenation changes during both exercise and recovery compared to temperate conditions. Although hotter sessions were perceived as more difficult and more thermally challenging, they did not further elevate Tc beyond that of temperate conditions. Accordingly, if intended to be used for heat acclimation purposes, alterations to the session may be required to increase heat load.
Pregnancy combined with severe pneumonia caused by Chlamydia psittaci infection - a case report.

OBJECTIVE Chlamydia psittaci (Cps) feeds on gram-negative aerobic cells. Respiratory inhalation of Cps or close contact with infected animals can cause psittacosis in humans. Given its challengeable early diagnosis and rapid progression, misdiagnosis or improper antibacterial drugs may lead to multi-organ dysfunction with a high mortality. CASE REPORT A pregnant woman at 29+1 weeks of gestational age had a fever. CT images of the chest showed lamellar consolidations in the inferior lobe of the right lung, light inflammation in the middle lobe of the right lung. Negative results were obtained from multiple times of blood and sputum culture. Next generation sequencing (NGS) results identified that Cps caused severe pneumonia, which was alleviated by specific antibiotic treatment. CONCLUSION Cps can cause severe pneumonia in the pregnant woman and be cured through precise antibiotic treatment. NGS is efficient in the rapid identification of pathogens and accurate diagnosis when bacteriological culture fails.
The intensity of the foreign body response to polyether‐polyurethane implant in diabetic mice is strain‐dependent

A number of genetic factors have been linked to the development of diabetes, a condition that often requires implantable devices such as glucose sensors. In normoglycaemic individuals, this procedure induces a foreign body reaction (FBR) that is detrimental to bioimplant functionality. However, the influence of the genetic background on this reaction in diabetes has not been investigated. We examined the components of FBR (capsule thickness, collagen deposition, mast cell and foreign body giant cell number) in subcutaneous implants of polyether polyurethane (SIPP) in streptozotocin (STZ)‐induced diabetes in Swiss, C57BL/6 and Balb/c mice. The fasting blood glucose levels before STZ injections were 133.5 ± 5.1 mg/dL, after the treatment increased 68.4% in Swiss mice, 62.4% in C57BL/6 and 30.9% in Balb/c mice. All FBR features were higher in implants of Swiss and C57BL/6 mice compared with those in implants of Balb/c. Likewise, the apoptotic index was higher in implants of diabetic Swiss and C57BL/6 mice whose glycaemic levels were the highest. Our findings show an association between the severity of hyperglycaemic levels and the intensity of the FBR to SIPP. These important strain‐related differences in susceptibility to diabetes and the intensity of the FBR must be considered in management using implantable devices in diabetic individuals.
Blood Pressure, Hypertension, and the Risk of Aortic Dissection Incidence and Mortality: Results From the J-SCH Study, the UK Biobank Study, and a Meta-Analysis of Cohort Studies

Background: Hypertension or elevated blood pressure (BP) is an important risk factor for aortic dissection (AD); however, few prospective studies on this topic have been published. We investigated the association between hypertension/elevated BP and AD in 2 cohorts and conducted a meta-analysis of published prospective studies, including these 2 studies. Methods: We analyzed data from the J-SHC study (Japan-Specific Health Checkups) and UK Biobank, which prospectively followed up 534 378 and 502 424 participants, respectively. Multivariable Cox regression was used to estimate hazard ratios and 95% CIs for the association of hypertension/elevated BP with AD incidence in the UK Biobank and AD mortality in the J-SHC Study. In the meta-analysis, summary relative risks were calculated with random-effects models. A potential nonlinear dose-response relationship between BP and AD was tested with fractional polynomial models, and the best-fitting second-order fractional polynomial regression model was determined. Results: In the J-SHC study and UK Biobank, there were 84 and 182 ADs during the 4- and 9-year follow-up, and the adjusted hazard ratios of AD were 3.57 (95% CI, 2.17–6.11) and 2.68 (95% CI, 1.78–4.04) in hypertensive individuals, 1.33 (95% CI, 1.05–1.68) and 1.27 (95% CI, 1.11–1.48) per 20–mm Hg increase in systolic BP (SBP), and 1.67 (95% CI, 1.40–2.00) and 1.66 (95% CI, 1.46–1.89) per 10-mm Hg increase in diastolic BP (DBP), respectively. In the meta-analysis, the summary relative risks were 3.07 (95% CI, 2.15–4.38, I2=76.7%, n=7 studies, 2818 ADs, 4 563 501 participants) for hypertension and 1.39 (95% CI, 1.16–1.66, I2=47.7%, n=3) and 1.79 (95% CI: 1.51–2.12, I2 = 57.0%, n=3) per 20–mm Hg increase in SBP and per 10–mm Hg increase in DBP, respectively. The AD risk showed a strong, positive dose-response relationship with SBP and even more so with DBP. The risk of AD in the nonlinear dose-response analysis was significant at SBP >132 mm Hg and DBP >75 mm Hg. Conclusions: Hypertension and elevated SBP and DBP are associated with a high risk of AD. The risk of AD was positively dose dependent, even within the normal BP range. These findings provide further evidence for the optimization of BP to prevent AD.
The ion‐coupling mechanism of human excitatory amino acid transporters

Excitatory amino acid transporters (EAATs) maintain glutamate gradients in the brain essential for neurotransmission and to prevent neuronal death. They use ionic gradients as energy source and co‐transport transmitter into the cytoplasm with Na+ and H+, while counter‐transporting K+ to re‐initiate the transport cycle. However, the molecular mechanisms underlying ion‐coupled transport remain incompletely understood. Here, we present 3D X‐ray crystallographic and cryo‐EM structures, as well as thermodynamic analysis of human EAAT1 in different ion bound conformations, including elusive counter‐transport ion bound states. Binding energies of Na+ and H+, and unexpectedly Ca2+, are coupled to neurotransmitter binding. Ca2+ competes for a conserved Na+ site, suggesting a regulatory role for Ca2+ in glutamate transport at the synapse, while H+ binds to a conserved glutamate residue stabilizing substrate occlusion. The counter‐transported ion binding site overlaps with that of glutamate, revealing the K+‐based mechanism to exclude the transmitter during the transport cycle and to prevent its neurotoxic release on the extracellular side.
Efficacy, Safety, and Tolerability of Ansofaxine (LY03005) Extended-Release Tablet for Major Depressive Disorder: A Randomized, Double-Blind, Placebo-Controlled, Dose-Finding, Phase 2 Clinical Trial

Abstract Background Ansofaxine (LY03005) extended-release tablet is a potential triple reuptake inhibitor of serotonin, norepinephrine, and dopamine. This study assessed the efficacy, safety, and appropriate dosage of ansofaxine for the treatment of major depressive disorder (MDD). Methods A multicenter, randomized, double-blind, placebo-controlled, dose-finding, Phase 2 clinical trial was conducted in China. Eligible patients with MDD (18–65 years) were randomly assigned to receive fixed-dose ansofaxine extended-release tablets (40, 80, 120, or 160 mg/d) or placebo for 6 weeks. The primary outcome measure was a change in the total score on the 17-item Hamilton Depression Rating Scale from baseline to week 6. Results A total of 260 patients were recruited from October 2015 to September 2017, and 255 patients received the study drug as follows: 40 mg (n = 52), 80 mg (n = 52), 120 mg (n = 51), and 160 mg (n = 51) ansofaxine and placebo (n = 49). Significant differences were found in mean changes in 17-item Hamilton Depression Rating Scale total scores at week 6 in the 4 ansofaxine groups vs placebo (−12.46; χ2 = −9.71, P = .0447). All doses of ansofaxine were generally well-tolerated. Treatment-related adverse events occurred in 141 patients (303 cases), yielding incidence rates of 51.92%, 65.38%, 56.86%, and 62.75% in the 40-, 80-, 120-, and 160-mg ansofaxine groups and 38.78% in the placebo group. Conclusion Active doses (40, 80, 120, and 160 mg/d) of ansofaxine in a controlled setting were safe, tolerated, and effective in improving depression symptoms in MDD patients.
Mesencephalic astrocyte-derived neurotrophic factor restores blood–brain barrier integrity of aged mice after ischaemic stroke/reperfusion through anti-inflammation via TLR4/MyD88/NF-κB pathway

Abstract Ischaemic stroke remains a leading cause of disability and mortality worldwide and ageing-associated inflammation for the aged patients specifically leads to worse post-stroke blood–brain barrier (BBB) disruption than young subjects. Accordingly, suppression of excessive inflammation can alleviate BBB injury, which provides potential therapeutic treatment for ischaemic stroke of the aged. Prior studies revealed that mesencephalic astrocyte-derived neurotrophic factor (MANF) regulated inflammatory response and alleviated liver injury in ageing. However, it is unclear whether MANF confer similar benefit to BBB of aged mice suffered from ischaemic stroke. Transient cerebral ischaemia induced by middle cerebral artery occlusion (MCAO) was conducted in aged mice (18–20 months old). MANF was injected into the right lateral ventricle 2 h after MCAO. BBB integrity, tight junctional proteins, ultrastructure of microvessels, infarct volume, neurological scores, brain water content, pro-inflammatory cytokines and neutrophil infiltration rate were determined 72 h after MCAO. H2O2-induced senescent bEnd.3 cells were applied in the in vitro study to investigate the possible mechanism. First, we confirmed that ischaemic stroke/reperfusion in senescent condition promoted the over-expression of MANF on brain endothelial cells. Then, MANF supplement could suppress the pro-inflammatory factor production, restore BBB integrity and then alleviate infarct volume, neurological scores, brain water content and neutrophil infiltration rate. In addition, MANF maintained BBB integrity after ischaemic stroke of aged condition dependent on TLR4/MyD88/NF-κB pathway via intervention of pro-inflammatory factors production. In summary, the recognition of MANF in the process of BBB breakdown at aged condition may offer novel therapeutic approaches for ischaemic stroke.