On modal expansions of left-continuous t-norm logics

The authors have been suported by the MINECO project TIN2012-39348-C02-01. Vidal has also been supported by the FWF/GACR project I1897-N25.Peer reviewe

Rab27a co-ordinates actin-dependent transport by controlling organelle-associated motors and track assembly proteins

Abstract: Cell biologists generally consider that microtubules and actin play complementary roles in long- and short-distance transport in animal cells. On the contrary, using melanosomes of melanocytes as a model, we recently discovered that the motor protein myosin-Va works with dynamic actin tracks to drive long-range organelle dispersion in opposition to microtubules. This suggests that in animals, as in yeast and plants, myosin/actin can drive long-range transport. Here, we show that the SPIRE-type actin nucleators (predominantly SPIRE1) are Rab27a effectors that co-operate with formin-1 to generate actin tracks required for myosin-Va-dependent transport in melanocytes. Thus, in addition to melanophilin/myosin-Va, Rab27a can recruit SPIREs to melanosomes, thereby integrating motor and track assembly activity at the organelle membrane. Based on this, we suggest a model in which organelles and force generators (motors and track assemblers) are linked, forming an organelle-based, cell-wide network that allows their collective activity to rapidly disperse the population of organelles long-distance throughout the cytoplasm

A roadmap to improve the quality of atrial fibrillation management:proceedings from the fifth Atrial Fibrillation Network/European Heart Rhythm Association consensus conference

At least 30 million people worldwide carry a diagnosis of atrial fibrillation (AF), and many more suffer from undiagnosed, subclinical, or 'silent' AF. Atrial fibrillation-related cardiovascular mortality and morbidity, including cardiovascular deaths, heart failure, stroke, and hospitalizations, remain unacceptably high, even when evidence-based therapies such as anticoagulation and rate control are used. Furthermore, it is still necessary to define how best to prevent AF, largely due to a lack of clinical measures that would allow identification of treatable causes of AF in any given patient. Hence, there are important unmet clinical and research needs in the evaluation and management of AF patients. The ensuing needs and opportunities for improving the quality of AF care were discussed during the fifth Atrial Fibrillation Network/European Heart Rhythm Association consensus conference in Nice, France, on 22 and 23 January 2015. Here, we report the outcome of this conference, with a focus on (i) learning from our 'neighbours' to improve AF care, (ii) patient-centred approaches to AF management, (iii) structured care of AF patients, (iv) improving the quality of AF treatment, and (v) personalization of AF management. This report ends with a list of priorities for research in AF patients

Evidence-based Guidelines for the Management of Exocrine Pancreatic Insufficiency After Pancreatic Surgery

To provide evidence-based recommendations for the management of exocrine pancreatic insufficiency (EPI) after pancreatic surgery

Research and Design of a Routing Protocol in Large-Scale Wireless Sensor Networks

无线传感器网络，作为全球未来十大技术之一，集成了传感器技术、嵌入式计算技术、分布式信息处理和自组织网技术，可实时感知、采集、处理、传输网络分布区域内的各种信息数据，在军事国防、生物医疗、环境监测、抢险救灾、防恐反恐、危险区域远程控制等领域具有十分广阔的应用前景。 本文研究分析了无线传感器网络的已有路由协议，并针对大规模的无线传感器网络设计了一种树状路由协议，它根据节点地址信息来形成路由，从而简化了复杂繁冗的路由表查找和维护，节省了不必要的开销，提高了路由效率，实现了快速有效的数据传输。 为支持此路由协议本文提出了一种自适应动态地址分配算——ADAR（AdaptiveDynamicAddre...As one of the ten high technologies in the future, wireless sensor network, which is the integration of micro-sensors, embedded computing, modern network and Ad Hoc technologies, can apperceive, collect, process and transmit various information data within the region. It can be used in military defense, biomedical, environmental monitoring, disaster relief, counter-terrorism, remote control of haz...学位：工学硕士院系专业：信息科学与技术学院通信工程系_通信与信息系统学号：2332007115216

On possibilistic modal logics defined over MTL-chains

In this paper we revisit a 1994 paper by Hájek et al. where a modal logic over a finitely-valued Lukasiewicz logic is defined to capture possibilistic reasoning. In this paper we go further in two aspects: first, we generalize the approach in the sense of considering modal logics over an arbitrary finite MTL-chain, and second, we consider a different possibilistic semantics for the necessity and possibility modal operators. The main result is a completeness proof that exploits similar techniques to the ones involved in Hájek et al.’s previous work.The authors are deeply indebted to an anonymous reviewer for the useful comments that have helped to significantly improve the layout of this chapter. The authors also acknowledge partial support of the Spanish projects EdeTri (TIN2012-39348-C02-01) and Agreement Technologies (CONSOLIDER CSD2007-0022, INGENIO 2010), and the grant 2009SGR-1433 from the Catalan Government. Initially they were also supported by the projects TASSAT (TIN2010-20967-C04-01) and 2009SGR-1434.Peer Reviewe

Semantic Integration on Spatial Databases - SIT-SD Prototype

Progress on data integration has come to the point that we must deal with the need of semantic integration. In this work we present a prototype of an integration tool of information sources (Semantic Integration Tool for Spatial Data). It focuses on schema integration of spatial databases. This tool is able to recognize the similarities and the differences between entities to be integrated. It is based on a Federated Architecture and, therefore, it is a leveled architecture