io-port.net

io-port 05965360 Falcone, Yliès; Jaber, Mohamad; Nguyen, Thanh-Hung; Bozga, Marius; Bensalem, Saddek

Runtime verification of component-based systems. (English)

Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 204-220 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05916862 Hung, Benjamin W.K.; Kolitz, Stephan E.; Ozdaglar, Asuman

Optimization-based influencing of village social networks in a counterinsurgency. (English)

Salerno, John (ed.) et al., Social computing, behavioral-cultural modeling and prediction. 4th international conference, SBP 2011, College Park, MD, USA, March 29‒31, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19655-3/pbk). Lecture Notes in Computer Science 6589, 10-17 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70061634 Jaggernauth, Camille; Hung, Benny; Lin, Philip; Chuo, Yindar; Kaminska, Bozena

Test firmware architecture for a flexible wireless physiological multi-sensor (English)

SMC, 1140-1144 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70101758 Falcone, Yliès; Jaber, Mohamad; Nguyen, Thanh-Hung; Bozga, Marius; Bensalem, Saddek

Runtime verification of component-based systems (English)

SEFM, 204-220 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70453253 Hung, Benjamin W. K.; Kolitz, Stephan E.; Ozdaglar, Asuman E.

Optimization-based influencing of village social networks in a counterinsurgency (English)

SBP, 10-17 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70821972 Vu, Chi Cuong; Nguyen, Huu Hung; Bui, Lam Thu

A parallel cooperative coevolution evolutionary algorithm (English)

KSE, 48-53 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05868272 Hung, Bui Quang; Otsubo, Masanori; Hijikata, Yoshinori; Nishida, Shogo

HITS algorithm improvement using semantic text portion. (English)

Web Intell. Agent Syst. 8, No. 2, 149-164 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50157548 Hung, Bui Quang; Otsubo, Masanori; Hijikata, Yoshinori; Nishida, Shogo

HITS algorithm improvement using semantic text portion (English)

Web Intelligence and Agent Systems 8, No. 2, 149-164 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50200109 Cheung, Sai Hung; Beck, James L.

Calculation of posterior probabilities for Bayesian model class assessment and averaging from posterior samples based on dynamic system data (English)

Comp.-Aided Civil and Infrastruct. Engineering 25, No. 5, 304-321 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50241703 Tam, Yik Hung; Benkoczi, Robert; Hassanein, Hossam S.; Akl, Selim G.

Channel assignment for multihop cellular networks: minimum delay (English)

IEEE Trans. Mob. Comput. 9, No. 7, 1022-1034 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70950219 Chang, Hung-Bin; Cheng, Shin-Ming; Lien, Shao-Yu; Chen, Kwang-Cheng

Statistical delay control of opportunistic links in cognitive radio networks (English)

PIMRC, 2250-2254 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05664610 Fan, Tsai-Hung; Balakrishnan, N.; Chang, Chia-Chen

The Bayesian approach for highly reliable electro-explosive devices using one-shot device testing. (English)

J. Stat. Comput. Simulation 79, No. 9, 1143-1154 (2009).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70326389 Hijikata, Yoshinori; Hung, Bui Quang; Otsubo, Masanori; Nishida, Shogo

HITS algorithm improvement using anchor-related text extracted by DOM structure analysis (English)

SAC, 1691-1698 (2009).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70452430 Gatta, Francesco; Gomez, Ray; Shin, Young; Hayashi, Takayuki; Zou, Hanli; Chang, James Y. C.; Dauphinee, Leonard; Xiao, Jianhong; Chang, Dave S. -H.; Chih, Tai-Hong; Brandolini, Massimo; Koh, Dongsoo; Hung, Bryan J. -J.; Wu, Tao; Introini, Mattia; Cusmai, Giuseppe; Tan, Loke; Currivan, Bruce; He, Lin; Cangiane, Peter; Vorenkamp, Pieter

An embedded 65nm CMOS low-IF 48MHz-to-1GHz dual tuner for DOCSIS 3.0 (English)

ISSCC, 122-123 (2009).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70633708 Tam, Yik Hung; Benkoczi, Robert; Hassanein, Hossam S.; Akl, Selim G.

Effective cell size scheme in multi-hop cellular networks (English)

GLOBECOM, 1-6 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71025745 Chang, Hung-Bin; Chen, Kwang-Cheng; Prasad, Neeli Rashmi; Su, Chih-Wei

Auction based spectrum management of cognitive radio networks (English)

VTC Spring (2009).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70151311 Basu, Ananda; Gallien, Matthieu; Lesire, Charles; Nguyen, Thanh-Hung; Bensalem, Saddek; Ingrand, Félix; Sifakis, Joseph

Incremental component-based construction and verification of a robotic system (English)

ECAI, 631-635 (2008).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70608808 Yeh, Chia-Hung; Bai, Jia-Chi; Wang, Sun-Chen; Sung, Po-Yi; Yeh, Ruey-Nan; Shih, Maverick

Vision-based vehicle event detection through visual rhythm analysis (English)

ICME, 309-312 (2008).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70631442 Tam, Yik Hung; Benkoczi, Robert; Hassanein, Hossam S.; Akl, Selim G.

Optimal cell size in multi-hop cellular networks (English)

GLOBECOM, 574-578 (2008).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71005874 Pham, Duy Hung; Bonnet, Stéphane; Guillemaud, Régis; Castelli, Eric; Yen, Pham Thi Ngoc

Estimation of respiratory waveform using an accelerometer (English)

ISBI, 1493-1496 (2008).

20

PDF XML AMS-TeX TEXT BIBTeX DOI