Search results for " Program"

Pairwise Learning to Rank by Neural Networks Revisited: Reconstruction, Theoretical Analysis and Practical Performance

2020

We present a pairwise learning to rank approach based on a neural net, called DirectRanker, that generalizes the RankNet architecture. We show mathematically that our model is reflexive, antisymmetric, and transitive allowing for simplified training and improved performance. Experimental results on the LETOR MSLR-WEB10K, MQ2007 and MQ2008 datasets show that our model outperforms numerous state-of-the-art methods, while being inherently simpler in structure and using a pairwise approach only.

A generalized transitive closure for relational queries

1988

We augment relational algebra with a generalized transitive closure operator that allows for the efficient evaluation of a subclass of recursive queries. The operator is based on a composition operator which is as general as possible when the operator is required to be associative and when only relational algebra operators are used in its definition. The closure of such a composition can be computed using the well-known efficient algorithms designed for the computation of the usual transitive closure. Besides the case in which complete materialization of recursive relations are required, our strategy also yields an efficient solution in the case in which a selection is applied to the closur…

Rate of growth of frequently hypercyclic functions

2010

AbstractWe study the rate of growth of entire functions that are frequently hypercyclic for the differentiation operator or the translation operator. Moreover, we prove the existence of frequently hypercyclic harmonic functions for the translation operator and we study the rate of growth of harmonic functions that are frequently hypercyclic for partial differentiation operators.

Reliability of Data Transmission of UAVs

2018

Drones have been recently an interesting subject of research due to their roles in accomplishing missions. Flying in a formation fleet, they form a cooperative communication system in order to improve the efficiency of the mission. For this reason, the reliability of the communication is essential to guarantee the overall performance of the fleet although the link conditions, the external factors and the hardware failures of a drone. The drones capture several images or videos of the geographical area of the mission and send them to other drones in the fleet or to the Ground Station Control (GSC). The importance is to ensure that all the data transmitted is received. In this article, we aim…

La Convención de Palermo (UNTOC) y la responsabilidad derivada de delitos de las personas jurídicas: itinerarios e intersecciones del ordenamiento it…

2022

Both the United Nations Convention against Transnational Organised Crime (UNTOC: signed in December 2000 in Palermo) and the Delegation Law no. 300/2000, with its corresponding Legislative Decree no. 231/2001, which jointly introduced in Italy the liability arising from crime for collective entities, mark two "paradigm shifts" for the criminal system. The contribution focuses on the overall value of the two legislative innovations examined in the evolution of criminal law, respectively at the international level and in the Italian context. The interest in analysing their respective contributions is further stimulated by the observation that the two areas, although autonomous, present a sign…

Design of a transverse flux machine for power generation from seawaves

2014

In this paper, we present a transverse flux linear generator. We investigate the possibility to use this generator to extract energy from seawaves. We propose an optimization procedure that allows us to obtain an optimized design of the generator. The optimized design of the converter shows a power generation capability index much higher than other renewable systems.

Generator-based PET radiopharmaceuticals for molecular imaging of tumours: on the way to THERANOSTICS.

2011

Generator-derived radionuclides for PET/CT imaging are promising for optimizing targeted radiotherapy by an individual patient-based approach, applying pre-therapeutic evaluation, as well as dosimetric calculations, and for measuring treatment response after radionuclide therapy.

Solving a large multicontainer loading problem in the car manufacturing industry

2017

Abstract Renault, a large car manufacturer with factories all over the world, has a production system in which not every factory produces all the parts required to assemble a vehicle. Every day, large quantities of car parts are sent from one factory to another, defining very large truck/container transportation problems. The main challenge faced by the Renault logistics platforms is to load the items into trucks and containers as efficiently as possible so as to minimize the number of vehicles sent. Therefore, the problem to be solved is a multicontainer loading problem in which, besides the usual geometric constraints preventing items from overlapping and exceeding the dimensions of the c…

A negotiation protocol to improve long distance truck parking

2017

A Branch-and-Cut Algorithm for the Single Truck and Trailer Routing Problem with Satellite Depots

2016

International audience; In the single truck and trailer routing problem with satellite depots (STTRPSD), a truck with a detachable trailer based at a main depot must serve the demand of a set of customers accessible only by truck. Therefore, before serving the customers, it is necessary to detach the trailer in an appropriate parking place (called either a satellite depot or a trailer point) and transfer goods between the truck and the trailer. This problem has applications in milk collection for farms that cannot be reached using large vehicles. In this work we present an integer programming formulation of the STTRPSD. This formulation is tightened with several families of valid inequaliti…