aris p | Slamet Riyadi University (original) (raw)

Papers by aris p

We propose the use of "selective blocking" by "blocker tags" as a way of protecting consumers fro... more We propose the use of "selective blocking" by "blocker tags" as a way of protecting consumers from unwanted scanning of RFID tags attached to items they may be carrying or wearing.

IEEE Transactions on Computers, 1991

Abstmct-The concept af virtual channels is extended to multiple, virtual communication systems th... more Abstmct-The concept af virtual channels is extended to multiple, virtual communication systems that provide adaptability and fault tolerance in addition to being deadlock-free. A channel dependency graph is taken as the definition of what connections are possible and any routing function must use only those connections defined by it. Virtual interconnection networks allowing adaptive, deadlock-he routing are examined for three k-ary n-cube topologies: unidirectional, torus-connected bidirectional, and mesh-connected bidirectional.

A temporal logic is defined which contains both linear and branching operators. The underlying mo... more A temporal logic is defined which contains both linear and branching operators. The underlying model is the tree of all possible computations. The following metatheoretical results are proven: 1) an exponential decision procedure for satisfiability; 2)a finite model property; 3)the completeness of an axiomatization.

Lancet, 2001

A new generation of subsecond multi-slice computed tomography (MSCT) scanners, which allow comple... more A new generation of subsecond multi-slice computed tomography (MSCT) scanners, which allow complete coronary coverage, are becoming widely available. We investigated the potential value of MSCT angiography in a range of coronary disorders.We studied 35 patients, including 11 who had undergone percutaneous transluminal coronary angioplasty and four who had had coronary-artery bypass grafts, by both MSCT and conventional coronary angiography. After intravenous injection of a non-ionic contrast medium with high iodine content, the entire heart was scanned within a single breath-hold. The total examination time was no more than 20 min. The retrospective electrocardiographically gated reconstruction source images and three-dimensional reconstructed volumes were analysed by two investigators, unaware of the results of conventional angiography.In the 31 patients without previous coronary surgery, 173 (73%) of the 237 proximal and middle coronary segments were assessable. In the assessable segments, 17 of 21 significant stenoses (>50% reduction of vessel diameter) were correctly diagnosed. The non-assessable segments included four lesions. Misinterpretations were mainly the result of severe calcification of the vessel wall. Segments with implanted stents were poorly visualised, but stent patency could be assessed in all cases. Of the 17 segments of bypass grafts, 15 were assessable and four of five graft lesions were detected. Two cases of anomalous coronary anatomy could be visualised well.These preliminary data suggest that MSCT allows non-invasive imaging of coronary-artery stenoses and has potential to develop into a reliable clinical technique.

IEEE Transactions on Computers, 1990

Abstmct-VLSI communication networks are wire-limited. The cost of a network is not a function of ... more Abstmct-VLSI communication networks are wire-limited. The cost of a network is not a function of the number of switches required, but rather a function of the wiring density required to construct the network. This paper analyzes communication networks of varying dimension under the assumption of constant wire bisection. Expressions for the latency, average case throughput, and hot-spot throughput of k-ary n-cube networks with constant bisection are derived that agree closely with experimental measurements. It is shown that low-dimensional networks (e.g., tori) have lower latency and higher hot-spot throughput than high-dimensional networks (e.g., binary n-cubes) with the same bisection width.

Communications of The ACM, 1994

We propose the use of "selective blocking" by "blocker tags" as a way of protecting consumers fro... more We propose the use of "selective blocking" by "blocker tags" as a way of protecting consumers from unwanted scanning of RFID tags attached to items they may be carrying or wearing.

IEEE Transactions on Computers, 1991

Abstmct-The concept af virtual channels is extended to multiple, virtual communication systems th... more Abstmct-The concept af virtual channels is extended to multiple, virtual communication systems that provide adaptability and fault tolerance in addition to being deadlock-free. A channel dependency graph is taken as the definition of what connections are possible and any routing function must use only those connections defined by it. Virtual interconnection networks allowing adaptive, deadlock-he routing are examined for three k-ary n-cube topologies: unidirectional, torus-connected bidirectional, and mesh-connected bidirectional.

A temporal logic is defined which contains both linear and branching operators. The underlying mo... more A temporal logic is defined which contains both linear and branching operators. The underlying model is the tree of all possible computations. The following metatheoretical results are proven: 1) an exponential decision procedure for satisfiability; 2)a finite model property; 3)the completeness of an axiomatization.

Lancet, 2001

A new generation of subsecond multi-slice computed tomography (MSCT) scanners, which allow comple... more A new generation of subsecond multi-slice computed tomography (MSCT) scanners, which allow complete coronary coverage, are becoming widely available. We investigated the potential value of MSCT angiography in a range of coronary disorders.We studied 35 patients, including 11 who had undergone percutaneous transluminal coronary angioplasty and four who had had coronary-artery bypass grafts, by both MSCT and conventional coronary angiography. After intravenous injection of a non-ionic contrast medium with high iodine content, the entire heart was scanned within a single breath-hold. The total examination time was no more than 20 min. The retrospective electrocardiographically gated reconstruction source images and three-dimensional reconstructed volumes were analysed by two investigators, unaware of the results of conventional angiography.In the 31 patients without previous coronary surgery, 173 (73%) of the 237 proximal and middle coronary segments were assessable. In the assessable segments, 17 of 21 significant stenoses (>50% reduction of vessel diameter) were correctly diagnosed. The non-assessable segments included four lesions. Misinterpretations were mainly the result of severe calcification of the vessel wall. Segments with implanted stents were poorly visualised, but stent patency could be assessed in all cases. Of the 17 segments of bypass grafts, 15 were assessable and four of five graft lesions were detected. Two cases of anomalous coronary anatomy could be visualised well.These preliminary data suggest that MSCT allows non-invasive imaging of coronary-artery stenoses and has potential to develop into a reliable clinical technique.

IEEE Transactions on Computers, 1990

Abstmct-VLSI communication networks are wire-limited. The cost of a network is not a function of ... more Abstmct-VLSI communication networks are wire-limited. The cost of a network is not a function of the number of switches required, but rather a function of the wiring density required to construct the network. This paper analyzes communication networks of varying dimension under the assumption of constant wire bisection. Expressions for the latency, average case throughput, and hot-spot throughput of k-ary n-cube networks with constant bisection are derived that agree closely with experimental measurements. It is shown that low-dimensional networks (e.g., tori) have lower latency and higher hot-spot throughput than high-dimensional networks (e.g., binary n-cubes) with the same bisection width.

Communications of The ACM, 1994