Ricerc@Sapienza

In this note we show two results about k-DNF resolution. First we prove that there are CNF formulas which require exponential length refutations in resolution extended with parities of size k, but have polynomial length refutations in k-DNF resolution. Then we show that small proofs in tree-like k-DNF resolution and narrow proofs in dag-like resolution have the same proving power, over CNFs. This latter result is clearly implicit in Krajíček (1994) [24] but this direct proof is focused on resolution and provides information about refutation width.

In this paper we present the Women in Computer Vision Workshop - WiCV 2019,
organized in conjunction with CVPR 2019. This event is meant for increasing the
visibility and inclusion of women researchers in the computer vision field.
Computer vision and machine learning have made incredible progress over the
past years, but the number of female researchers is still low both in academia
and in industry. WiCV is organized especially for the following reason: to
raise visibility of female researchers, to increase collaborations between

Visual search of relevant targets in the environment is a crucial robot skill. We propose a preliminary framework for the execution monitor of a robot task, taking care of the robot attitude to visually searching the environment for targets involved in the task. Visual search is also relevant to recover from a failure. The framework exploits deep reinforcement learning to acquire a common sense scene structure and it takes advantage of a deep convolutional network to detect objects and relevant relations holding between them.

The paper describes a measurement campaign conducted at the Engineering Department of Astronautics, Electrical and Energetic, Sapienza University of Rome. Starting from measurement campaign, in the context of building an urban microgrid, a PV plant and a energy storage system has been proposed. The measurements were conducted in two relevant period of the year in order to know the power consumption of the facility.

The study of algebraic modelling of labelled non-deterministic concurrent processes leads us to consider a category LB , obtained from a complete meet-semilattice B and from B-valued equivalence relations. We prove that, if B has enough properties, then LB presents a two-fold internal logical structure, induced by two doctrines definable on it: one related to its families of subobjects and one to its families of regular subobjects. The first doctrine is Heyting and makes LB a Heyting category, the second one is Boolean.

The mechanisms by which microRNAs control pediatric high-grade gliomas (pHGGs) have
yet to be fully elucidated. Our studies of patient-derived pHGG tissues and of the pHGG cell line
KNS42 revealed down-regulation in these tumors of three microRNAs, specifically miR-107, miR-181c,
and miR-29a-3p. This down-regulation increases the proliferation of KNS42 cells by de-repressing
expression of the Notch2 receptor (Notch2), a validated target of miR-107 and miR-181c and a

Echo state networks (ESNs), belonging to the wider family of reservoir computing methods, are a powerful tool for the analysis of dynamic data. In an ESN, the input signal is fed to a fixed (possibly large) pool of interconnected neurons, whose state is then read by an adaptable layer to provide the output. This last layer is generally trained via a regularized linear least-squares procedure.

This paper deals with the opportunity of extracting useful information from medical data retrieved directly from a stereophotogrammetric system applied to gait analysis. A feature selection method to exhaustively evaluate all the possible combinations of the gait parameters is presented, in order to find the best subset able to classify among diseased and healthy subjects.