This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimization strategy of the new method is based on the operators as defined in ESPRESSO-II, our SAT-based implementation is significantly different. The new minimizer SAT-ESPRESSO was found to perform 5–20 times faster than...

Part-whole relation, ormeronymy plays an important role in many domains. Among approaches to addressing the part-whole relation extraction task, the Espresso bootstrapping algorithm has proved to be effective by significantly improving recall while keeping high precision. In this paper, we first investigate the effect of using fine-grained subtypes and careful seed selection step on the perform...

We describe a new program package that is designed to perform numerical Molecular Dynamics (MD) and Monte Carlo (MC) simulations for a broad class of soft matter systems in a parallel computing environment. Our main concept in developing ESPResSo was to provide a user friendly and fast simulation tool which serves at the same time as a research platform capable of rapidly incorporating the late...

There are many applications scenarios for which the computational performance and memory footprint of the prediction phase of Deep Neural Networks (DNNs) needs to be optimized. Binary Neural Networks (BDNNs) have been shown to be an effective way of achieving this objective. In this paper, we show how Convolutional Neural Networks (CNNs) can be implemented using binary representations. Espresso...

There are many applications scenarios for which the computational performance and memory footprint of the prediction phase of Deep Neural Networks (DNNs) need to be optimized. Binary Deep Neural Networks (BDNNs) have been shown to be an effective way of achieving this objective. In this paper, we show how Convolutional Neural Networks (CNNs) can be implemented using binary representations. Espr...

There is limited information available concerning the treatment of daytime somnolence associated with Parkinson's disease (PD); the most frequently applied therapeutic strategies include decreasing the dose of dopamine agonists or adding potential wake-promoting agents. There is recent data from a placebo-controlled trial concluding on a non-significant trend in favor of caffeine. We aimed to e...

In this paper we present development work carried out on Quantum ESPRESSO [1] software package within PRACE-1IP. We describe the different activities performed to enable the Quantum ESPRESSO user community to challenge frontiers of science running extreme computing simulation on European Tier-0 system of current and next generation. There main sections are described: 1) the improvement of paral...

شاخص سطح برگ نقش مهمی در تبادل ماده و انرژی بین زمین اتمسفر دارد. مانند سایر گیاهان، نیشکر معیار خوبی برای وضعیت سلامت رشد این محصول است که به‌دلیل آن صنایع غذایی انرژی، اهمیت اقتصادی بسیاری ماهوارة PRISMA سال 2019 پرتاب شد، یکی از جدیدترین منابع داده‌های ابرطیفی را فراهم کرده به‌ویژه، تهیة نقشة متغیرهای گیاهی کاربرد پژوهش حاضر، نوع جدیدی شبکه‌های عصبی مصنوعی، موسوم به شبکة تنظیم‌شده با روش بیز...