Using data-based approaches, accurate predictions of thermal deformations, which can significantly affect the quality of manufactured components, can be enabled. However, a sufficient amount of data with maximised inf...
详细信息
We have developed an expert system comprising a self-aware framework for resource-efficient and accurate data transmission within a low-power lossy sensor network (LLN) deployed for indoor monitoring. We derived both ...
详细信息
In this paper, we propose a novel and flexible codeword assignment technique for a Code Division Multiple Access (CDMA) based Network-on-Chip (NoC). This approach allows bandwidth to be reallocated to ports dynamicall...
详细信息
Decision support systems that help physicians are becoming very important part of medical decision making. They are based on different models and the best of them are providing an explanation together with an accurate...
详细信息
ISBN:
(纸本)0967335515
Decision support systems that help physicians are becoming very important part of medical decision making. They are based on different models and the best of them are providing an explanation together with an accurate, reliable and quick response. One of the most viable among decision-making models is the concept of decision trees, already successfully used for many medical decision making purposes. Although effective and reliable, the traditional decision tree construction approach still contains several deficiencies. Therefore we decided to develop and compare several decision supporting models, each of them built with different discretization of attributes and decision classes. For the construction of decision trees we used MtDeciT, in our laboratory developed tool for building decision trees using the classical induction method. All solutions were evolved for determining the influence of basic properties of child and his/her parents to length of successful breastfeeding. A comparison between developed models and obtained results has shown that the way of discretization obviously plays a great role in the reliable and accurate real-world medical decision making.
In this paper, we develop multi-level signaling schemes for on-chip interconnects in order to achieve energy-efficient communication. The methodology uses both bus multiplexing and low-swing signaling characteristics,...
详细信息
The heterogeneous fleet vehicle routing problem (HFVRP) is of great significance in logistics and transportation. This paper considers a crucial and challenging HFVRP variant, namely multi-objective fleet size and mix...
详细信息
The surrogate-assisted evolutionary algorithm (SAEA) is one of the most efficient approaches for addressing expensive continuous or combinatorial optimization problems. However, it encounters significant challenges in...
详细信息
Sleep is a vital component of every human being. Adequate restful and restorative sleep reenergizes the body, enhances overall health and psychological well-being. Sleep hygiene, chaotic lifestyles, disorder breathing...
详细信息
Recent development on distributed systems has shown that a variety of fairness constraints （some of which are only recently defined） play vital roles in designing self- stabilizing population protocols. Existing mod...
详细信息
Recent development on distributed systems has shown that a variety of fairness constraints （some of which are only recently defined） play vital roles in designing self- stabilizing population protocols. Existing model checkers are deficient in verifying the systems as only limited kinds of fair- ness are supported with limited verification efficiency. In this work, we support model checking of distributed systems in the toolkit PAT （process analysis toolkit）, with a variety of fairness constraints （e.g., process-level weak/strong fairness, event-level weak/strong fairness, strong global fairness）. It performs on-the-fly verification against linear temporal prop- erties. We show through empirical evaluation （on recent pop- ulation protocols as well as benchmark systems） that PAT has advantage in model checking with fairness. Previously un- known bugs have been revealed against systems which are designed to function only with strong global fairness.
Conditional capture and conditional precharge techniques for high-performance flip-flops are reviewed in terms of power and delay. It is found that application of conditional techniques can improve Energy-Delay Produc...
详细信息
暂无评论