Results for "Valeria de Paiva"

total 37547took 0.12s
The ILLTP Library for Intuitionistic Linear LogicApr 15 2019Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose ... More
Fuzzy Topological SystemsJul 13 2011Dialectica categories are a very versatile categorical model of linear logic. These have been used to model many seemingly different things (e.g., Petri nets and Lambek's calculus). In this note, we expand our previous work on fuzzy petri nets to deal ... More
Dialectica Categories for the Lambek CalculusJan 21 2018We revisit the old work of de Paiva on the models of the Lambek Calculus in dialectica models making sure that the syntactic details that were sketchy on the first version got completed and verified. We extend the Lambek Calculus with a \kappa modality, ... More
Existence and multiplicity results for a class of non-linear Schrödinger equations with magnetic potential involving sign-changing non linearityApr 12 2019In this work we consider the following class of elliptic problems $$- \Delta_A u + u = a(x) |u|^{q-2}u+b(x) |u|^{p-2}u , \mbox{ in } \mathbb{R}^N, $$ $u\in H^1_A (\mathbb{R}^N)$, with $2<q<p<2^*= \frac{2N}{N-2}$, $a(x)$ and $b(x)$ are functions that can ... More
Proceedings of the LexSem+Logics Workshop 2016Aug 14 2016Lexical semantics continues to play an important role in driving research directions in NLP, with the recognition and understanding of context becoming increasingly important in delivering successful outcomes in NLP tasks. Besides traditional processing ... More
Linguistic Legal Concept Extraction in PortugueseOct 22 2018This work investigates legal concepts and their expression in Portuguese, concentrating on the "Order of Attorneys of Brazil" Bar exam. Using a corpus formed by a collection of multiple-choice questions, three norms related to the Ethics part of the OAB ... More
On the Lambek Calculus with an Exchange ModalityApr 15 2019In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing the existence of the exchange structural rule. One should view this logic ... More
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and ApplicationsApr 12 2019This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has been a key feature in several lines of research in both theoretical and ... More
Deformations of Hyperbolic Cone-Structures: Study of the Collapsing caseJan 13 2012This work is devoted to the study of deformations of hyperbolic cone structures under the assumption that the lengths of the singularity remain uniformly bounded over the deformation. Given a sequence $(M_{i}%, p_{i}) $ of pointed hyperbolic cone-manifolds ... More
Nutty-based Robot Animation -- Principles and PracticesApr 05 2019Jun 03 2019Robot animation is a new form of character animation that extends the traditional process by allowing the animated motion to become more interactive and adaptable during interaction with users in real-world settings. This paper reviews how this new type ... More
Proposal of Pattern Recognition as a necessary and sufficient Principle to Cognitive ScienceMay 31 2011Despite the prevalence of the Computational Theory of Mind and the Connectionist Model, the establishing of the key principles of the Cognitive Science are still controversy and inconclusive. This paper proposes the concept of Pattern Recognition as Necessary ... More
Pattern Recognition Theory of MindJul 26 2009I propose that pattern recognition, memorization and processing are key concepts that can be a principle set for the theoretical modeling of the mind function. Most of the questions about the mind functioning can be answered by a descriptive modeling ... More
Contact geometry and isosystolic inequalitiesSep 20 2011Jun 25 2012A long-standing open problem in systolic geometry asks whether a Riemannian metric on the real projective space whose volume equals that of the canonical metric, but is not isometric to it, must necessarily carry a periodic geodesic of length smaller ... More
PGA: A Program for Genome Annotation by Comparative Analysis of Maximum Likelihood Phylogenies of Genes and SpeciesApr 02 2014The Phylogenetic Genome Annotator (PGA) is a computer program that enables real-time comparison of 'gene trees' versus 'species trees' obtained from predicted open reading frames of whole genome data. The gene phylogenies are inferred for each individual ... More
Tidal Stripping of Globular Clusters in the Virgo ClusterMay 11 2009With the aim of finding evidence of tidal stripping of globular clusters (GCs) we analysed a sample of 13 elliptical galaxies taken from the ACS Virgo Cluster Survey (VCS). These galaxies belong to the main concentration of the Virgo cluster (VC) and ... More
The Theory of Traces for Systems with Nondeterminism and ProbabilityAug 02 2018Jan 15 2019This paper studies trace-based equivalences for systems combining nondeterministic and probabilistic choices. We show how trace semantics for such processes can be recovered by instantiating a coalgebraic construction known as the generalised powerset ... More
A Noise Mitigation Approach for VLC SystemsMar 28 2019Visible Light Communication (VLC) is based on the dual use of the illumination infrastructure for wireless data communication. The major interest on this communication technology lies on its specific features to be a secure, cost-effective wireless technology. ... More
Lattice-valued Overlap and Quasi-Overlap FunctionsJan 31 2019Overlap functions were introduced as class of bivariate aggregation functions on [0, 1] to be applied in image processing. This paper has as main objective to present appropriates definitions of overlap functions considering the scope of lattices and ... More
Large deviations for method-of-quantiles estimators of one-dimensional parametersNov 15 2016Nov 19 2018We consider method-of-quantiles estimators of unknown parameters, namely the analogue of method-of-moments estimators obtained by matching empirical and theoretical quantiles at some probability level lambda in (0,1). The aim is to present large deviation ... More
Involutions on sapphire Sol 3-manifolds and the Borsuk-Ulam theorem for maps into $R^n$Oct 01 2014Nov 13 2014For each sapphire Sol $3$-manifold, we classify the free involutions. For each triple $(M, \tau; R^n)$ where $M$ is a sapphire Sol $3$-manifold and $\tau$ is a free involution, we show if $(M, \tau; R^n)$ has the Borsuk-Ulam property or not. It is known ... More
Dynamic capillary assembly of colloids at interfaces with 10,000g accelerationsFeb 26 2018Extreme deformation of soft matter is central to our understanding of the effects of shock, fracture, and phase change in a variety of systems. Yet, despite, the increasing interest in this area, far-from-equilibrium behaviours of soft matter remain challenging ... More
A Derivation of the Vlasov-Navier-Stokes Model for Aerosol Flows from Kinetic TheoryAug 01 2016This article proposes a derivation of the Vlasov-Navier-Stokes system for spray/aerosol flows. The distribution function of the dispersed phase is governed by a Vlasov-equation, while the velocity field of the propellant satisfies the Navier-Stokes equations ... More
The HPS electromagnetic calorimeterOct 14 2016The Heavy Photon Search experiment (HPS) is searching for a new gauge boson, the so-called "heavy photon". Through its kinetic mixing with the Standard Model photon, this particle could decay into an electron-positron pair. It would then be detectable ... More
A Learning Theory Approach to a Computationally Efficient Parameter Selection for the Elastic NetSep 23 2018Despite recent advances in regularisation theory, the issue of parameter selection still remains a challenge for most applications. In a recent work the framework of statistical learning was used to approximate the optimal Tikhonov regularisation parameter ... More
Unsupervised parameter selection for denoising with the elastic netSep 23 2018May 13 2019Despite recent advances in regularisation theory, the issue of parameter selection still remains a challenge for most applications. In a recent work the framework of statistical learning was used to approximate the optimal Tikhonov regularisation parameter ... More
Unsupervised parameter selection for denoising with the elastic netSep 23 2018May 29 2019Despite recent advances in regularisation theory, the issue of parameter selection still remains a challenge for most applications. In a recent work the framework of statistical learning was used to approximate the optimal Tikhonov regularisation parameter ... More
A Derivation of the Vlasov-Stokes System for Aerosol Flows from the Kinetic Theory of Binary Gas MixturesSep 08 2016In this short paper, we formally derive the thin spray equation for a steady Stokes gas, i.e. the equation consists in a coupling between a kinetic (Vlasov type) equation for the dispersed phase and a (steady) Stokes equation for the gas. Our starting ... More
Prime Focus Spectrograph - Subaru's future -Oct 09 2012The Prime Focus Spectrograph (PFS) of the Subaru Measurement of Images and Redshifts (SuMIRe) project has been endorsed by Japanese community as one of the main future instruments of the Subaru 8.2-meter telescope at Mauna Kea, Hawaii. This optical/near-infrared ... More
Generalized Nehari manifold and semilinear Schrödinger equation with weak monotonicity condition on the nonlinear termSep 15 2016We study the Schr\"odinger equations $-\Delta u + V(x)u = f(x,u)$ in $\mathbb{R}^N$ and $-\Delta u - \lambda u = f(x,u)$ in a bounded domain $\Omega\subset\mathbb{R}^N$. We assume that $f$ is superlinear but of subcritical growth and $u\mapsto f(x,u)/|u|$ ... More
On the Levi-Civita solutions with cosmological constantNov 03 1999The main properties of the Levi-Civita solutions with the cosmological constant are studied. In particular, it is found that some of the solutions need to be extended beyond certain hypersurfaces in order to have geodesically complete spacetimes. Some ... More
Empathic Robot for Group Learning: A Field StudyFeb 05 2019This work explores a group learning scenario with an autonomous empathic robot. We address two research questions: (1) Can an autonomous robot designed with empathic competencies foster collaborative learning in a group context? (2) Can an empathic robot ... More
The Atacama Large Millimeter/submillimeter Array (ALMA) Band-1 ReceiverDec 02 2016The Atacama Large Millimeter/submillimeter Array(ALMA) Band 1 receiver covers the 35-50 GHz frequency band. Development of prototype receivers, including the key components and subsystems has been completed and two sets of prototype receivers were fully ... More
Existence at least four solutions for a Schrödinger equation with magnetic potential involving sign-changing weight functionApr 12 2019In this paper we consider the following class of elliptic problems $$- \Delta_A u + u = a_{\lambda}(x) |u|^{q-2}u+b_{\mu}(x) |u|^{p-2}u ,$$ for $x \in \mathbb{R}^N$, $1<q<2<p<2^*-1= \frac{N+2}{N-2}$, $a_{\lambda}(x)$ is a sign-changing weight function, ... More
Comments on anomaly versus WKB/tunneling methods for calculating Unruh radiationAug 25 2008Feb 21 2009In this Letter we make a critique of, and comparison between, the anomaly method and WKB/tunneling method for obtaining radiation from non-trivial spacetime backgrounds. We focus on Rindler spacetime (the spacetime of an accelerating observer) and the ... More
A WKB-like approach to Unruh RadiationJan 27 2010Unruh radiation is the thermal flux seen by an accelerated observer moving through Minkowski spacetime. In this article we study Unruh radiation as tunneling through a barrier. We use a WKB-like method to obtain the tunneling rate and the temperature ... More
Temporal contribution to gravitational WKB-like calculationsApr 15 2008Aug 06 2008Recently, it has been shown that the radiation arising from quantum fields placed in a gravitational background (e.g. Hawking radiation) can be derived using a quasi-classical calculation. Here we show that this method has a previously overlooked temporal ... More
Set-valued Brownian motionSep 22 2015Brownian motions, martingales, and Wiener processes are introduced and studied for set valued functions taking values in the subfamily of compact convex subsets of arbitrary Banach space $X$. The present paper is an application of one the paper of the ... More
Probability density estimation of photometric redshifts based on machine learningJun 12 2017Photometric redshifts (photo-z's) provide an alternative way to estimate the distances of large samples of galaxies and are therefore crucial to a large variety of cosmological problems. Among the various methods proposed over the years, supervised machine ... More
W gamma production in hadronic collisions using the POWHEG+MiNLO methodAug 25 2014Dec 10 2014We detail a calculation of W gamma production in hadronic collision, at Next-to-Leading Order (NLO) QCD interfaced to a shower generator according to the POWHEG prescription supplemented with the MiNLO procedure. The fixed order result is matched to an ... More
On the Asymmetry of Vibrational Energy FlowApr 16 2016A simple model to predict the directionality of vibrational energy flow at molecular level is presented. This model is based on a vibrational energy propagation analysis using ab intio molecular dynamics and the Fukui function and local softness reactivity ... More
Field-induced Ordering in Critical AntiferromagnetsDec 21 1998Transfer-matrix scaling methods have been used to study critical properties of field-induced phase transitions of two distinct two-dimensional antiferromagnets with discrete-symmetry order parameters: triangular-lattice Ising systems (TIAF) and the square-lattice ... More
Existence, multiplicity and regularity for a Schrödinger equation with magnetic potential involving sign-changing weight functionApr 15 2019In this paper we consider the following class of elliptic problems $$- \Delta_A u + u = a_{\lambda}(x) |u|^{q-2}u+b_{\mu}(x) |u|^{p-2}u ,\,\, x\in \mathbb{R}^N$$ where $1<q<2<p<2^*-1= \frac{N+2}{N-2}$, $a_{\lambda}(x)$ is a sign-changing weight function, ... More
Learning multimodal representations for sample-efficient recognition of human actionsMar 06 2019Humans interact in rich and diverse ways with the environment. However, the representation of such behavior by artificial agents is often limited. In this work we present \textit{motion concepts}, a novel multimodal representation of human actions in ... More
Compressibility of a fermionic Mott insulator of ultracold atomsSep 29 2014Jan 31 2015We characterize the Mott insulating regime of a repulsively interacting Fermi gas of ultracold atoms in a three-dimensional optical lattice. We use in-situ imaging to extract the central density of the gas, and to determine its local compressibility. ... More
Rigidity index preservation of regular holonomic D-modulesMay 04 2012This paper shows algebraically that the Fourier transform preserves the rigidity index of irreducible regular holonomic $\mathcal{D}_{\mathbb{P}^1}[*\{\infty\}]$-modules.
ALPRS - A New Approach for License Plate Recognition using the Sift AlgorithmMar 07 2013This paper presents a new approach for the automatic license plate recognition, which includes the SIFT algorithm in step to locate the plate in the input image. In this new approach, besides the comparison of the features obtained with the SIFT algorithm, ... More
Photoassociative ionization of Na inside a storage ringJul 31 2009Dec 25 2011Motivated by recent interest in low dimensional arrays of atoms, we experimentally investigated the way cold collisional processes are affected by the geometry of the considered atomic sample. More specifically, we studied the case of photoassociative ... More
Efficient Differential Fourier-Transform Spectrometer for precision Sunyaev-Zel'dovich effect measurementsFeb 17 2014May 26 2014Precision measurements of the Sunyaev-Zel'dovich effect in clusters of galaxies require excellent rejection of common-mode signals and wide frequency coverage. We describe an imaging, efficient, differential Fourier transform spectrometer (FTS), optimized ... More
Prime Focus Spectrograph for the Subaru telescope: massively multiplexed optical and near-infrared fiber spectrographJul 02 2015The Prime Focus Spectrograph (PFS) is an optical/near-infrared multifiber spectrograph with 2394 science fibers distributed across a 1.3-deg diameter field of view at the Subaru 8.2-m telescope. The wide wavelength coverage from 0.38 {\mu}m to 1.26 {\mu}m, ... More
The Lyapunov matrix equation. Matrix analysis from a computational perspectiveJan 29 2015Decay properties of the solution $X$ to the Lyapunov matrix equation $AX + X A^T = D$ are investigated. Their exploitation in the understanding of equation matrix properties, and in the development of new numerical solution strategies when $D$ is not ... More
Quantitative MRI molecular imaging in the evaluation of early post mortem changes in muscles. A feasibility study on a pig phantomMar 06 2019Estimating early postmortem interval EPI is a difficult task in daily forensic activity due to limitations of accurate and reliable methods. The aim of the present work is to describe a novel approach in the estimation of EPI based on quantitative magnetic ... More
A mathematical model for the primary tumor of mCRC and analysis of clinical data based on 5-FU and bevacizumab regimenJul 27 2016The growth of the primary tumor of metastatic colorectal cancer (mCRC) and associated angiogenesis is modeled by a system of ordinary differential equations for basic quantities which summarize the number of proliferating and hypoxic cancer cells, the ... More
Cosmic Star Formation: a simple model of the SFRD(z)Nov 09 2017We investigate the evolution of the cosmic star formation rate density (SFRD) from redshift z=20 to z=0 and compare it with the observational one by Madau and Dickinson derived from recent compilations of UV and IR data. The theoretical SFRD(z) and its ... More
Surface Thermal Gradients Activated by Enhanced Molecular Absorption in Mid-infrared Vertical Antenna ArraysDec 19 2018We investigate local heat generation by molecules at the apex of polymer-embedded vertical antennas excited at resonant mid-infrared wavelengths, exploiting the surface enhanced infrared absorption (SEIRA) effect. The embedding of vertical nanoantennas ... More
Is there any measurable benefit in publishing preprints in the arXiv section Quantitative Biology?Nov 07 2014A public preprint server such as arXiv allows authors to publish their manuscripts before submitting them to journals for peer review. It offers the chance to establish priority by making the results available upon completion. This article presents the ... More
The potential of preprints to accelerate scholarly communication - A bibliometric analysis based on selected journalsJun 20 2013This paper quantifies to which extent preprints in arXiv accelerate scholarly communication. The following subject fields were investigated up to the year 2012: High Energy Physics (HEP), Mathematics, Astrophysics, Quantitative Biology, and Library and ... More
Gravitational waves from perturbed starsMay 09 2011Non radial oscillations of neutron stars are associated with the emission of gravitational waves. The characteristic frequencies of these oscillations can be computed using the theory of stellar perturbations, and they are shown to carry detailed information ... More
The Underlying Event in Hadron-Hadron CollisionsMay 10 2002We measured the ambient energy in jet events using data of the CDF experiment at center-of-mass energies of 1800 and 630 GeV by examining the transverse momentum of charged particles in a region of the detector far away from the two most energetic jets ... More
The underlying event in jet and minimum bias events at the TevatronNov 29 2001We describe a study of the underlying event in jet and minimum bias events using data from the CDF detector. The underlying event contribution to the jet energy has been calculated in jet events and compared to the results of two Monte Carlo programs: ... More
Thermoplasmonic Effect of Surface Enhanced Infrared Absorption in Vertical Nanoantenna ArraysJan 23 2018The temperature increase and temperature gradients induced by mid-infrared laser illumination of vertical gold nanoantenna arrays embedded into polymer layers was measured directly with a photothermal expansion nanoscope. Nanoscale thermal hotspot images ... More
Cell membrane disruption by vertical nanopillars: the role of membrane bending and traction forcesApr 27 2018Gaining access to the cell interior is fundamental for many applications, such as electrical recording, drug and biomolecular delivery. A very promising technique consists of culturing cells on nano/micro pillars. The tight adhesion and high local deformation ... More
Testing modified gravity with Planck: the case of coupled dark energyMay 31 2013The Planck collaboration has recently published maps of the Cosmic Microwave Background (CMB) radiation, in good agreement with a LCDM model, a fit especially valid for multipoles l > 40. We explore here the possibility that dark energy is dynamical and ... More
The nonlinear Schrödinger equation on the hyperbolic spaceJun 03 2004Nov 29 2007In this article we study some aspects of dispersive and concentration phenomena for the Schr\"odinger equation posed on hyperbolic space $\mathbb{H}^n$, in order to see if the negative curvature of the manifold gets the dynamics more stable than in the ... More
Different approaches to the study of the gravitational radiation emitted by astrophysical sourcesDec 17 1999Dec 20 1999Stars and black holes are sources of gravitational radiation in many phases of their life, and the signals they emit exhibit features that are characteristic of the generating process. Emitted since the beginning of star formation, these signals also ... More
Dual mixed volumes and isosystolic inequalitiesAug 30 2004The theory of dual mixed volumes is extended to star bodies in cotangent bundles and is used to prove several isosystolic inequalities for Hamiltonian systems and Finsler metrics.
Dual spheres have the same girthAug 30 2004Symplectic and Finsler geometry are used to settle a conjecture of Sch\"affer stating that the girth of a normed space--the infimum of the lengths of all closed, rectifiable, centrally symmetric curves on its unit sphere--equals the girth of its dual. ... More
Correlation driven Mott-insulator-to-metal transitionMar 29 2013We study transport properties of the half-filled two-dimensional (2D) Hubbard model with spatially varying interactions, where a pattern of interacting and non-interacting sites is formed. We use Determinantal Quantum Monte Carlo method to calculate the ... More
Nutty-based Robot Animation -- Principles and PracticesApr 05 2019Apr 16 2019Robot animation is a new form of character animation that extends the traditional process by allowing the animated motion to become more interactive and adaptable during interaction with users in real-world settings. This paper reviews how this new type ... More
Hydrodynamical simulations of galaxy clusters in dark energy cosmologies: I. general propertiesAug 31 2010Mar 23 2012We investigate the influence of dark energy on structure formation, within five different cosmological models, namely a concordance $\Lambda$CDM model, two models with dynamical dark energy, viewed as a quintessence scalar field (using a RP and a SUGRA ... More
Hand range of motion evaluation for Rheumatoid Arthritis patientsMar 16 2019We introduce a framework for dynamic evaluation of the fingers movements: flexion, extension, abduction and adduction. This framework estimates angle measurements from joints computed by a hand pose estimation algorithm using a depth sensor (Realsense ... More
Can AMS-02 discriminate the origin of an anti-proton signal?Jun 20 2014Nov 09 2014Indirect searches can be used to test dark matter models against expected signals in various channels, in particular antiprotons. With antiproton data available soon at higher and higher energies, it is important to test the dark matter hypothesis against ... More
Evolution by the vortex filament equation of curves with a cornerAug 20 2013In this proceedings article we shall survey a series of results on the stability of self-similar solutions of the vortex filament equation. This equation is a geometric flow for curves in $\mathbb R^3$ and it is used as a model for the evolution of a ... More
What gravitational signals say about the structure and the evolution of astrophysical sourcesJan 16 2002Gravitational waves transport very detailed information on the structure and evolution of astrophysical sources. For instance a binary system in the early stages of its evolution emits a wavetrain at specific frequencies that depend on the characteristics ... More
Less is more: How cosmic voids can shed light on dark energyNov 14 2012We showed how the shape of cosmic voids can be used to distinguish between different models of dark energy using galaxy positions.
The darkness that shaped the void: dark energy and cosmic voidsMay 18 2012Jun 12 2012Aims: We assess the sensitivity of void shapes to the nature of dark energy that was pointed out in recent studies. We investigate whether or not void shapes are useable as an observational probe in galaxy redshift surveys. We focus on the evolution of ... More
Oscillations of small bubbles and medium yielding in elastoviscoplastic fluidsApr 02 2019We investigate the radial oscillations of small gas bubbles trapped in yield-stress fluid and driven by an acoustic pressure field. We model the rheological behavior of the yield-stress fluid using the recently developed elasto-visco-plastic (EVP) constitutive ... More
Forecasting intracranial hypertension using multi-scale waveform metricsFeb 25 2019Objective: Intracranial hypertension is an important risk factor of secondary brain damage after traumatic brain injury. Hypertensive episodes are often diagnosed reactively and time is lost before counteractive measures are taken. A pro-active approach ... More
A mathematical model for growth of solid tumors and combination therapy with an application to colorectal cancerJul 27 2016May 30 2017We present a mathematical model, based on ordinary differential equations, for the evolution of solid tumors and their response to treatment. Specifically the effects of a cytotoxic agent and a monoclonal antibody are included as control term in the equations. ... More
Remarks on the blow-up for the Schrödinger equation with critical mass on a plane domainJan 13 2004In this paper we concentrate on the analysis of the critical mass blowing-up solutions for the cubic focusing Schr\"odinger equation with Dirichlet boundary conditions, posed on a plane domain. We bound the blow-up rate from below, for bounded and unbounded ... More
Stop or Continue Data Collection: A Nonignorable Missing Data Approach for Continuous VariablesNov 06 2015We present an approach to inform decisions about nonresponse followup sampling. The basic idea is (i) to create completed samples by imputing nonrespondents' data under various assumptions about the nonresponse mechanisms, (ii) take hypothetical samples ... More
Deformation of Hyperbolic Cone-Structures: Study of the non-Colapsing caseMar 07 2012This work is devoted to the study of deformations of hyperbolic cone structures under the assumption that the lengths of the singularity remain uniformly bounded over the deformation. Given a sequence (M_{i},p_{i}) of pointed hyperbolic cone-manifolds ... More
Asymmetry in Hilbert's fourth problemJan 11 2013In the asymmetric setting, Hilbert's fourth problem asks to construct and study all (non-reversible) projective Finsler metrics: Finsler metrics defined on open, convex subsets of real projective $n$-space for which geodesics lie on projective lines. ... More
Accurate Segmentation of Dermoscopic Images based on Local Binary Pattern ClusteringFeb 17 2019Feb 20 2019Segmentation is a key stage in dermoscopic image processing, where the accuracy of the border line that defines skin lesions is of utmost importance for subsequent algorithms (e.g., classification) and computer-aided early diagnosis of serious medical ... More
Accurate Segmentation of Dermoscopic Images based on Local Binary Pattern ClusteringFeb 17 2019Segmentation is a key stage in dermoscopic image processing, where the accuracy of the border line that defines skin lesions is of utmost importance for subsequent algorithms (e.g., classification) and computer-aided early diagnosis of serious medical ... More
On the Geometry of Planar Domain WallsMay 11 1995The Geometry of planar domain walls is studied. It is argued that the planar walls indeed have plane symmetry. In the Minkowski coordinates the walls are mapped into revolution paraboloids.
Generalized detailed balance relation for black hole horizon's fluctuationsDec 06 2017In classical thermodynamics, irreversible processes are accomplished with an increase of entropy and a release of heat into the environment. In the case of black hole thermodynamics, instead, the increase of entropy is related with the absorption of energy ... More
Leveraging Large Amounts of Weakly Supervised Data for Multi-Language Sentiment ClassificationMar 07 2017This paper presents a novel approach for multi-lingual sentiment classification in short texts. This is a challenging task as the amount of training data in languages other than English is very limited. Previously proposed multi-lingual approaches typically ... More
Accurate Segmentation of Dermoscopic Images based on Local Binary Pattern ClusteringFeb 17 2019Feb 19 2019Segmentation is a key stage in dermoscopic image processing, where the accuracy of the border line that defines skin lesions is of utmost importance for subsequent algorithms (e.g., classification) and computer-aided early diagnosis of serious medical ... More
Controlled Intracellular Delivery of Single Particles in Single Cells by 3D Hollow NanoelectrodesJul 20 2018We present an electrophoretic platform based on 3D hollow nanoelectrodes capable of controlling and quantifying the intracellular delivery of single nanoparticles in single selected cells by surface-enhanced Raman spectroscopy (SERS). The gold-coated ... More
Christhin: Quantitative Analysis of Thin Layer ChromatographyApr 23 2012May 04 2012Manual for Christhin 0.1.36 Christhin (Chromatography Riser Thin) is software developed for the quantitative analysis of data obtained from thin-layer chromatographic techniques (TLC). Once installed on your computer, the program is very easy to use, ... More
Polish device for FOCCoS/PFS slit systemAug 12 2014The Fiber Optical Cable and Connector System, FOCCoS, for the Prime Focus Spectrograph, PFS, is responsible for transporting light from the Subaru Telescope focal plane to a set of four spectrographs. Each spectrograph will be fed by a convex curved slit ... More
Accretion in Strong Field Gravity with eXTPDec 10 2018In this paper we describe the potential of the enhanced X-ray Timing and Polarimetry (eXTP) mission for studies related to accretion flows in the strong field gravity regime around both stellar-mass and supermassive black-holes. eXTP has the unique capability ... More
On the limits of Brans-Dicke spacetimes: a coordinate-free approachApr 20 1993We investigate the limit of Brans-Dicke spacetimes as the scalar field coupling constant omega tends to infinity applying a coordinate-free technique. We obtain the limits of some known exact solutions. It is shown that these limits may not correspond ... More
From Community Detection to Community DeceptionSep 01 2016The community deception problem is about how to hide a target community C from community detection algorithms. The need for deception emerges whenever a group of entities (e.g., activists, police enforcements) want to cooperate while concealing their ... More
Matrix-equation-based strategies for convection-diffusion equationsJan 13 2015We are interested in the numerical solution of nonsymmetric linear systems arising from the discretization of convection-diffusion partial differential equations with separable coefficients and dominant convection. Preconditioners based on the matrix ... More
Stability of the selfsimilar dynamics of a vortex filamentFeb 06 2012Apr 03 2013In this paper we continue our investigation about selfsimilar solutions of the vortex filament equation, also known as the binormal flow (BF) or the localized induction equation (LIE). Our main result is the stability of the selfsimilar dynamics of small ... More
Low latency search for Gravitational waves from BH-NS binaries in coincidence with Short Gamma Ray BurstsDec 18 2013Feb 24 2014We propose a procedure to be used in the search for gravitational waves from black hole-neutron star coalescing binaries, in coincidence with short gamma-ray bursts. It is based on two recently proposed semi-analytic fits, one reproducing the mass of ... More
On the stability of a singular vortex dynamicsFeb 14 2008Aug 27 2008In this paper we address the question of the singular vortex dynamics exhibited in [15], which generates a corner in finite time. The purpose is to prove that under some appropriate small regular perturbation the corner still remains. Our approach uses ... More
Simplicial and modular aspects of string dualitiesMay 04 2006This Ph.D. thesis collects results obtained investigating two different aspects of modern unifying theories. In the first part I summarized results achieved investigating simplicial aspects of string dualities. Exploiting Boundary Conformal Field Theory ... More
On the existence and approximation of a dissipating feedbackOct 31 2018Nov 03 2018Given a matrix $A\in \R^{n\times n}$ and a tall rectangular matrix $B \in \R^{n\times q}$, $q < n$, we consider the problem of making the pair $(A,B)$ dissipative, that is the determination of a {\it feedback} matrix $K \in \R^{q\times n}$ such that the ... More