Search results for " protocol"
showing 10 items of 1320 documents
Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol
2012
Author's version of an article published in the journal: Computer Standards & Interfaces. Also available from the publisher at: http://dx.doi.org/10.1016/j.csi.2011.12.001 Cooperative communications, in which a relay node helps the source node to deliver its packets to the destination node, are able to obtain significant benefits in terms of transmission reliability, coverage extension and energy efficiency. A Cooperative Automatic Repeat reQuest (C-ARQ) MAC protocol has been recently proposed to exploit cooperative diversity at the MAC layer. in this paper, we validate the integrity and the validity of the C-ARQ protocol using formal methods. The protocol logic is modeled in SDL and implem…
Updating the OSPF routing protocol for communication networks by optimal decision-making over the k-shortest path algorithm
2019
Internet routing protocols such as Routing Information Protocol (RIP) pre-compute all the shortest paths by Dijkstra's algorithm (shortest path first, SPF) based on the number of hops between one node and another. Every time any communication is intended, RIP looks-up for the optimal choice in a routing table. This is a high speed method in the decision-making process but not necessary fast for data traffic as it does not take into account any real-time measure of route congestion. Open Shortest Path First (OSPF) presents a dynamic version of this problem by computing the shortest paths taking into account network features such as bandwidth, delay and load. OSPF thereby maintains link-state…
Internet-based perioperative exercise program in patients with Barrett’s carcinoma scheduled for esophagectomy [iPEP - study] a prospective randomize…
2017
Abstract Background Patients undergoing surgery for esophageal cancer have a high risk for postoperative deterioration of lung function and pulmonary complications. This is partly due to one-lung ventilation during thoracotomy. This often accounts for prolonged stay on intensive care units, delayed postoperative reconvalescence and reduced quality of life. Socioeconomic disadvantages can result from these problems. Physical preconditioning has become a crucial leverage to optimize fitness and lung function in patients scheduled for esophagectomy, in particular during the time period of neoadjuvant therapy. Methods/Study design We designed a prospective multicenter randomized-controlled tria…
Cooperative Inventory control
2005
In multi-retailer inventory control the possibility of sharing setup costs motivates communication and coordination among the retailers. We solve the problem of finding suboptimal distributed reordering policies that minimize setup, ordering, storage, and shortage costs incurred by the retailers over a finite horizon. Neuro-dynamic programming (NDP) reduces the computational complexity of the solution algorithm from exponential to polynomial on the number of retailers.
Virtual Vehicles Manager: a java virtual reality environment for distributed multi vehicles dynamics control and simulation
2007
This paper describes a lightweight, full portable software environment for development, simulation and control of vehicles. All the software is developed in Java so there are many advantages as portability, multithreading distribution etc. This environment simulates the vehicles integrating their non-linear differential equation systems. The equation systems can easily be modified changing that representation class so it is easy to manage different vehicles. The scenario is displayed as a 3D virtual reality environment in which all the objects are rendered using a combination of 3 d primitive. It is also possible the use of pre-built 3 d objects loaded from files in 3 ds format. The softwar…
Printed Antennas for Sensor Applications: A Review
2014
With the expansion in number and requirements of modern wireless communications, the technology related to their associated antennas has been continuously improved. Among other options, printed antennas offer excellent features, such as low weight, profile, and cost, while maintaining good performance characteristics. In addition, their straightforward integration with electronics has opened new fields of application such as smart sensing systems. Printed antennas can be used in different parts of a wireless smart sensor as a radio link, sensing element, or even as energy harvester. In this paper, we present a thorough review of recent advances of printed antennas as regards their use in sm…
Analysis of research on web usability for people with cognitive disability from 2002 to 2011
2012
We present a review of research over the last decade on web usability for people with cognitive disabilities. Our aim is to know current status on the issue of usability in relation to people with cognitive disabilities to consider the issues they present and future solutions. We proceeded to perform a review in specialized databases of different scientific disciplines. We describe the results and we discuss empirical studies which evaluated usability of websites for people with cognitive disabilities. Conclusions and future lines are presented.
Challenge of tacit knowledge in acquiring information in cognitive mimetics
2019
Intelligent technologies are rising. This is why methods for designing them are important. One approach is to study how people process information in carrying out intelligence demanding tasks and use this information in designing new technology solutions. This approach can be called cognitive mimetics. A problem in mimetics is to explicate tacit or subconscious knowledge. Here, we study a combination of thinking aloud in ship simulator driving and focus group commenting the solutions of subjects. On the ground of these early experiments, a multiple method combination seems to be the best way forward to solve problems of tacit or subconscious knowledge. peerReviewed
Il Protocollo sul welfare e il diritto al lavoro dei disabili
2008
Thyroid cartilage involvement in patient affected by IgA multiple myeloma: case report.
2008
Neoplasms originating from plasma cell are rare in the head and neck region. A correct clinical evaluation is very important in order to formulate a differential diagnosis as well as to distinguish local from metastatic disease. We report a case of larynx involvement by an IgA multiple myeloma in a 69-year-old female diagnosed in October 2004 and treated with chemotherapy; the 1 year control do not show progression of disease and the laryngeal lesion is unchanged. We highlight the radiological findings and clinical features to suspect plasma cell tumors in cases with a similar presentation.