1,986 research outputs found
Local search for stable marriage problems
The stable marriage (SM) problem has a wide variety of practical
applications, ranging from matching resident doctors to hospitals, to matching
students to schools, or more generally to any two-sided market. In the
classical formulation, n men and n women express their preferences (via a
strict total order) over the members of the other sex. Solving a SM problem
means finding a stable marriage where stability is an envy-free notion: no man
and woman who are not married to each other would both prefer each other to
their partners or to being single. We consider both the classical stable
marriage problem and one of its useful variations (denoted SMTI) where the men
and women express their preferences in the form of an incomplete preference
list with ties over a subset of the members of the other sex. Matchings are
permitted only with people who appear in these lists, an we try to find a
stable matching that marries as many people as possible. Whilst the SM problem
is polynomial to solve, the SMTI problem is NP-hard. We propose to tackle both
problems via a local search approach, which exploits properties of the problems
to reduce the size of the neighborhood and to make local moves efficiently. We
evaluate empirically our algorithm for SM problems by measuring its runtime
behaviour and its ability to sample the lattice of all possible stable
marriages. We evaluate our algorithm for SMTI problems in terms of both its
runtime behaviour and its ability to find a maximum cardinality stable
marriage.For SM problems, the number of steps of our algorithm grows only as
O(nlog(n)), and that it samples very well the set of all stable marriages. It
is thus a fair and efficient approach to generate stable marriages.Furthermore,
our approach for SMTI problems is able to solve large problems, quickly
returning stable matchings of large and often optimal size despite the
NP-hardness of this problem.Comment: 12 pages, Proc. COMSOC 2010 (Third International Workshop on
Computational Social Choice
Energy refurbishment of the general physiology institute at Sapienza university campus
The energy requalification of the existing building heritage is one of the pillars European Union energy policy. A large part of the building heritage was built without taking into consideration the problem of energy consumption. With the aim of energy efficiency and energy savings in electrical uses, there are wide and diversified possibilities for improvement, including interventions on the building envelope and on the systems, with the introduction, where possible, of renewable energy sources. In this context, the redevelopment of historic buildings constitutes an important challenge, which involves both historical-artistic aspects and technological aspects relating to the improvement of energy efficiency and comfort. A critical analysis of every possibility is essential to preserve the balance between efficiency and architecture. The purpose of the study is the energy retrofitting of the Institute of General Physiology located within the "Sapienza" University campus. The proposed interventions include the renovation of the whole building envelope, investigated by thermographic surveys, and the installation of new heating and cooling systems. The results were analysed to identify the best intervention for a sustainable energy renovation of the historic building, taking into account the preservation of its architectural values and making it suitable for modern use
Genome Editing and Muscle Stem Cells as a Therapeutic Tool for Muscular Dystrophies
PURPOSE OF REVIEW:
Muscular dystrophies are a group of severe degenerative disorders characterized by muscle fiber degeneration and death. Therapies designed to restore muscle homeostasis and to replace dying fibers are being experimented, but none of those in clinical trials are suitable to permanently address individual gene mutation. The purpose of this review is to discuss genome editing tools such as CRISPR/Cas (clustered regularly interspaced short palindromic repeats/CRISPR-associated), which enable direct sequence alteration and could potentially be adopted to correct the genetic defect leading to muscle impairment.
RECENT FINDINGS:
Recent findings show that advances in gene therapy, when combined with traditional viral vector-based approaches, are bringing the field of regenerative medicine closer to precision-based medicine.
SUMMARY:
The use of such programmable nucleases is proving beneficial for the creation of more accurate in vitro and in vivo disease models. Several gene and cell-therapy studies have been performed on satellite cells, the primary skeletal muscle stem cells involved in muscle regeneration. However, these have mainly been based on artificial replacement or augmentation of the missing protein. Satellite cells are a particularly appealing target to address these innovative technologies for the treatment of muscular dystrophies
Recent developments of the Hierarchical Reference Theory of Fluids and its relation to the Renormalization Group
The Hierarchical Reference Theory (HRT) of fluids is a general framework for
the description of phase transitions in microscopic models of classical and
quantum statistical physics. The foundations of HRT are briefly reviewed in a
self-consistent formulation which includes both the original sharp cut-off
procedure and the smooth cut-off implementation, which has been recently
investigated. The critical properties of HRT are summarized, together with the
behavior of the theory at first order phase transitions. However, the emphasis
of this presentation is on the close relationship between HRT and non
perturbative renormalization group methods, as well as on recent
generalizations of HRT to microscopic models of interest in soft matter and
quantum many body physics.Comment: 17 pages, 5 figures. Review paper to appear in Molecular Physic
Online Motion Planning for Safe Human–Robot Cooperation Using B-Splines and Hidden Markov Models
When humans and robots work together, ensuring safe cooperation must be a priority. This research aims to develop a novel real-time planning algorithm that can handle unpredictable human movements by both slowing down task execution and modifying the robot’s path based on the proximity of the human operator. To achieve this, an efficient method for updating the robot’s motion is developed using a two-fold control approach that combines B-splines and hidden Markov models. This allows the algorithm to adapt to a changing environment and avoid collisions. The proposed framework is thus validated using the Franka Emika Panda robot in a simple start–goal task. Our algorithm successfully avoids collision with the moving hand of an operator monitored by a fixed camera
Traditional and color M-mode parameters of left ventricular diastolic function during low-dose dobutamine stress echocardiography: relations to contractility reserve.
Human-robot coexistence and interaction in open industrial cells
Recent research results on human\u2013robot interaction and collaborative robotics are leaving behind the traditional paradigm of robots living in a separated space inside safety cages, allowing humans and robot to work together for completing an increasing number of complex industrial tasks. In this context, safety of the human operator is a main concern. In this paper, we present a framework for ensuring human safety in a robotic cell that allows human\u2013robot coexistence and dependable interaction. The framework is based on a layered control architecture that exploits an effective algorithm for online monitoring of relative human\u2013robot distance using depth sensors. This method allows to modify in real time the robot behavior depending on the user position, without limiting the operative robot workspace in a too conservative way. In order to guarantee redundancy and diversity at the safety level, additional certified laser scanners monitor human\u2013robot proximity in the cell and safe communication protocols and logical units are used for the smooth integration with an industrial software for safe low-level robot control. The implemented concept includes a smart human-machine interface to support in-process collaborative activities and for a contactless interaction with gesture recognition of operator commands. Coexistence and interaction are illustrated and tested in an industrial cell, in which a robot moves a tool that measures the quality of a polished metallic part while the operator performs a close evaluation of the same workpiece
Prevalence of Toxocara canis eggs in dog faeces from public places of Florence, Italy
AbstractTo determine whether canine faecal contamination may represent a source of environmental contamination with Toxocara canis eggs within the urban area of Florence, a total number of 754 dog faeces were collected in 7 public places and examined by routine floatation technique during one-year period. The total prevalence of intestinal nematode eggs was 8.6 %. Trichuris vulpis (4.6 %) eggs were the most prevalent followed by T. canis (3.6 %) and Ancylostomidae (1.7 %) eggs. Mixed infections included T. canis/T. vulpis (0.7 %), Ancylostomidae/T. canis (0.4 %), and Ancylosto-midae/T. vulpis (0.3 %). Total prevalence of intestinal nematode eggs was significantly higher in spring than in winter (OR = 2.06). Our results indicate a low prevalence of T. canis eggs suggesting that dog faeces left on soil are unlikely to cause high environmental contamination with T. canis eggs in the town of Florence
- …