io-port.net

io-port 06062051 Johansson, Moa; Dixon, Lucas; Bundy, Alan

Conjecture synthesis for inductive theories. (English)

J. Autom. Reasoning 47, No. 3, 251-289 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05979042 Lucas, Blake C.; Kazhdan, Michael; Taylor, Russell H.

SpringLS: a deformable model representation to provide interoperability between meshes and level sets. (English)

Fichtinger, Gabor (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2011. 14th international conference, Toronto, Canada, September 18‒22, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23628-0/pbk). Lecture Notes in Computer Science 6892, 442-450 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05976057 Oliveira, Lucas Bueno Ruas; Nakagawa, Elisa Yumi

A service-oriented reference architecture for software testing tools. (English)

Crnkovic, Ivica (ed.) et al., Software architecture. 5th European conference, ECSA 2011, Essen, Germany, September 13‒16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23797-3/pbk). Lecture Notes in Computer Science 6903, 405-421 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05962541 Lucas, Blake C.; Otake, Yoshito; Armand, Mehran; Taylor, Russell H.

A multi-view active contour method for bone cement reconstruction from C-arm X-ray images. (English)

Taylor, Russell H. (ed.) et al., Information processing in computer-assisted interventions. Second international conference, IPCAI 2011, Berlin, Germany, June 22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21503-2/pbk). Lecture Notes in Computer Science 6689, 36-46 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05958895 Figueira, Lucas Baggio; Roque, Antonio Carlos

Pattern recognition using a recurrent neural network inspired on the olfactory bulb. (English)

Ferrández, José Manuel (ed.) et al., New challenges on bioinspired applications. 4th international work-conference on the interplay between natural and artificial computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 ‒ June 3, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-21325-0/pbk). Lecture Notes in Computer Science 6687, 275-285 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05891255 Jee, Justin; Rozowsky, Joel S.; Yip, Kevin Y.; Lochovsky, Lucas; Bjornson, Robert; Zhong, Guoneng; Zhang, Zhengdong D.; Fu, Yutao; Wang, Jie; Weng, Zhiping; Gerstein, Mark

ACT: aggregation and correlation toolbox for analyses of genome tracks. (English)

Bioinformatics 27, No. 8, 1152-1154 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50235405 Dongarra, Jack; Beckman, Peter H.; Moore, Terry; Aerts, Patrick; Aloisio, Giovanni; Andre, Jean-Claude; Barkai, David; Berthou, Jean-Yves; Boku, Taisuke; Braunschweig, Bertrand; Cappello, Franck; Chapman, Barbara M.; Chi, Xuebin; Choudhary, Alok N.; Dosanjh, Sudip S.; Dunning, Thom H.; Fiore, Sandro; Geist, Al; Gropp, Bill; Harrison, Robert J.; Hereld, Mark; Heroux, Michael A.; Hoisie, Adolfy; Hotta, Koh; Jin, Zhong; Ishikawa, Yutaka; Johnson, Fred; Kale, Sanjay; Kenway, Richard; Keyes, David E.; Kramer, Bill; Labarta, Jesús; Lichnewsky, Alain; Lippert, Thomas; Lucas, Bob; Maccabe, Barney; Matsuoka, Satoshi; Messina, Paul; Michielse, Peter; Mohr, Bernd; Müller, Matthias S.; Nagel, Wolfgang E.; Nakashima, Hiroshi; Papka, Michael E.; Reed, Daniel A.; Sato, Mitsuhisa; Seidel, Edward; Shalf, John; Skinner, David; Snir, Marc; Sterling, Thomas L.; Stevens, Rick; Streitz, Fred; Sugar, Bob; Sumimoto, Shinji; Tang, William; Taylor, John; Thakur, Rajeev; Trefethen, Anne E.; Valero, Mateo; Van Der Steen, Aad; Vetter, Jeffrey S.; Williams, Peg; Wisniewski, Robert W.; Yelick, Katherine A.

The international exascale software project roadmap (English)

IJHPCA 25, No. 1, 3-60 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70065147 De Oliveira, Lucas Bueno Ruas; Nakagawa, Elisa Yumi

A service-oriented reference architecture for software testing tools (English)

ECSA, 405-421 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70115055 Mimbi, Lucas; Bankole, Felix Olu; Kyobe, Michael

Mobile phones and digital divide in east african countries (English)

SAICSIT Conf., 318-321 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70393266 Liu, Wen P.; Lucas, Blake C.; Guerin, Kelleher; Plaku, Erion

Sensor and sampling-based motion planning for minimally invasive robotic exploration of osteolytic lesions (English)

IROS, 1346-1352 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70655584 Figueira, Lucas Baggio; Roque, Antonio Carlos

Pattern recognition using a recurrent neural network inspired on the olfactory bulb (English)

IWINAC (2), 275-285 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70689214 Wanner, Lucas; Balani, Rahul; Zahedi, Sadaf; Apte, Charwak; Gupta, Puneet; Srivastava, Mani B.

Variability-aware duty cycle scheduling in long running embedded sensing systems (English)

DATE, 131-136 (2011).

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70744182 Guessi, Milena; De Oliveira, Lucas Bueno Ruas; Nakagawa, Elisa Yumi

Representation of reference architectures: A systematic review (English)

SEKE, 782-785 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX

io-port 70756253 Lucas, Blake C.; Kazhdan, Michael M.; Taylor, Russell H.

Springls: A deformable model representation to provide interoperability between meshes and level sets (English)

MICCAI (2), 442-450 (2011).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70927471 Layman, Lucas; Basili, Victor R.; Zelkowitz, Marvin V.; Fisher, Karen L.

A case study of measuring process risk for early insights into software safety (English)

ICSE, 623-632 (2011).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71029881 Lucas, Blake C.; Otake, Yoshito; Armand, Mehran; Taylor, Russell H.

A multi-view active contour method for bone cement reconstruction from C-arm X-ray images (English)

IPCAI, 36-46 (2011).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05845129 Montano-Rivas, Omar; McCasland, Roy; Dixon, Lucas; Bundy, Alan

Scheme-based synthesis of inductive theories. (English)

Sidorov, Grigori (ed.) et al., Advances in artificial intelligence. 9th Mexican international conference on artificial intelligence, MICAI 2010, Pachuca, Mexico, November 8‒13, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16760-7/pbk). Lecture Notes in Computer Science 6437. Lecture Notes in Artificial Intelligence, 348-361 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05818177 Johansson, Moa; Dixon, Lucas; Bundy, Alan

Dynamic rippling, middle-out reasoning and lemma discovery. (English)

Siegler, Simon (ed.) et al., Verification, induction, termination analysis. Festschrift for Christoph Walther on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-17171-0/pbk). Lecture Notes in Computer Science 6463. Lecture Notes in Artificial Intelligence, 102-116 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05794759 Cherini, Renato; Rearte, Lucas; Blanco, Javier

A shape analysis for non-linear data structures. (English)

Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14‒16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 201-217 (2010).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05789144 de Oliveira, Lucas Bueno Ruas; Romero Felizardo, Katia; Feitosa, Daniel; Nakagawa, Elisa Yumi

Reference models and reference architectures based on service-oriented architecture: a systematic review. (English)

Babar, Muhammad Ali (ed.) et al., Software architecture. 4th European conference, ECSA 2010, Copenhagen, Denmark, August 23‒26, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15113-2/pbk). Lecture Notes in Computer Science 6285, 360-367 (2010).

20

PDF XML AMS-TeX TEXT BIBTeX DOI