Find Research outputs

Search results

• Towards a Semantics for XML Markup

  Renear, A., Dubin, D., Sperberg-McQueen, C. M. & Huitfeldt, C., 2002, Proceedings of the 2002 ACM Symposium on Document Engineering. Furuta, R., Maletic, J. I., Munson, E., Furuta, R., Maletic, J. I. & Munson, E. (eds.). p. 119-126 8 p. (Proceedings of the 2002 ACM Symposium on Document Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a Semantic Web: Connecting Knowledge in Academic Research

  Cope, B., Kalantzis, M. & Magee, L., Jan 2011, Chandos Publishing. 544 p.

  Research output: Book/Report/Conference proceeding › Book

• Towards a singularity-proof scheme in numerical relativity

  Seidel, E. & Suen, W. M., 1992, In: Physical review letters. 69, 13, p. 1845-1848 4 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a sociability theory of computer anxiety: An Interpersonal Circumplex Perspective

  Brown, H. G., Deng, L., Poole, M. S. & Forducey, P., 2005, In: Proceedings of the Annual Hawaii International Conference on System Sciences. p. 151 1 p.

  Research output: Contribution to journal › Conference article › peer-review

• Towards a social media analytics platform: Event detection and user profiling for twitter - A tutorial at WWW 2014

  Gupta, M., Li, R. & Chang, K. C. C., Apr 7 2014, WWW 2014 Companion - Proceedings of the 23rd International Conference on World Wide Web. Association for Computing Machinery, Inc, p. 193-194 2 p. (WWW 2014 Companion - Proceedings of the 23rd International Conference on World Wide Web).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a solution of pure Yang-Mills theory in 3 + 1 dimensions

  Freidel, L., Leigh, R. G. & Minic, D., Sep 28 2006, In: Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics. 641, 1, p. 105-111 7 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a stable numerical evolution of strongly gravitating systems in general relativity: The conformal treatments

  Alcubierre, M., Brügmann, B., Dramlitsch, T., Font, J. A., Papadopoulos, P., Seidel, E., Stergioulas, N. & Takahashi, R., Aug 15 2000, In: Physical Review D - Particles, Fields, Gravitation and Cosmology. 62, 4, p. 1-16 16 p., 044034.

  Research output: Contribution to journal › Article › peer-review

• Towards a stable numerical evolution of strongly gravitating systems in general relativity: The conformal treatments

  Alcubierre, M., Brügmann, B., Dramlitsch, T., Font, J. A., Papadopoulos, P., Seidel, E., Stergioulas, N. & Takahashi, R., 2000, In: Physical Review D. 62, 4, 044034.

  Research output: Contribution to journal › Article › peer-review

• Towards a Stakeholder Theory of Strategic Management

  Mahoney, J. T., 2012, Towards a New Theory of the Firm: Humanizing the Firm and the Management Profession. Ricart Costa, J. E. & Rosanas Marti, J. M. (eds.). Bilbao, Spain: BBVA, p. 153-182

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Towards a standardized reference point indentation testing procedure

  Setters, A. & Jasiuk, I., Jun 2014, In: Journal of the Mechanical Behavior of Biomedical Materials. 34, p. 57-65 9 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a strategy language for Maude

  Martí-Oliet, N., Meseguer, J. & Verdejo, A., Jan 20 2005, In: Electronic Notes in Theoretical Computer Science. 117, SPEC. ISS., p. 417-441 25 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a systematic assessment of errors in diffusion Monte Carlo calculations of semiconductors: Case study of zinc selenide and zinc oxide

  Yu, J., Wagner, L. K. & Ertekin, E., Dec 14 2015, In: Journal of Chemical Physics. 143, 22, 224707.

  Research output: Contribution to journal › Article › peer-review

• Towards a test automation framework for alloy

  Sullivan, A., Zaeem, R. N., Khurshid, S. & Marinov, D., Jul 21 2014, 2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings. Association for Computing Machinery, p. 113-116 4 p. (2014 International SPIN Symposium on Model Checking of Software, SPIN 2014 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a theoretical construct for modelling smallholders' forestland-use decisions: What can we learn from agriculture and forest economics?

  Baker, K., Bull, G. Q., Baylis, K. & Barichello, R., Sep 14 2017, In: Forests. 8, 9, 345.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Towards a theoretical framework linking generational memories to workplace attitudes and behaviors

  Dencker, J. C., Joshi, A. & Martocchio, J. J., Sep 2008, In: Human Resource Management Review. 18, 3, p. 180-187 8 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a theoretical model of technology adoption in hospitality organizations

  Wang, Y. & Qualls, W., Sep 2007, In: International Journal of Hospitality Management. 26, 3, p. 560-573 14 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a theory of actor computation

  Agha, G., Mason, I. A., Smith, S. & Talcott, C., 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (ed.). Springer, p. 565-579 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 630 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a theory of anonymous networking

  Ghaderi, J. & Srikant, R., 2010, 2010 Proceedings IEEE INFOCOM. 5462155. (Proceedings - IEEE INFOCOM).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a theory of free-lunch privacy in cyber-physical systems

  Jia, R., Dong, R., Ganesh, P., Sastry, S. & Spanos, C., Jul 1 2017, 55th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2017. Institute of Electrical and Electronics Engineers Inc., p. 902-910 9 p. (55th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2017; vol. 2018-January).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a theory of policy timing

  Mittenzwei, K., Bullock, D. S. & Salhofer, K., Oct 2012, In: Australian Journal of Agricultural and Resource Economics. 56, 4, p. 583-596 14 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a theory of revealed economic behavior: The economic-neurosciences interface

  Pennings, J. M. E., Garcia, P. G. & Hendrix, E. H., Jan 2005, In: Journal of Bioeconomics. 7, 2, p. 113-127 15 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a theory of trade finance

  Schmidt-Eisenlohr, T., Sep 2013, In: Journal of International Economics. 91, 1, p. 96-112 17 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a thread-based parallel direct execution simulator

  Dickens, P., Hainesa, M., Mehrotraa, P. & Nicol, D., 1996, Architecture and Software Technology. IEEE Computer Society, p. 424-432 9 p. 495490. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a transmission line limit preserving algorithm for large-scale power system equivalents

  Jang, W., Mohapatra, S. & Overbye, T. J., Mar 26 2015, Proceedings of the 48th Annual Hawaii International Conference on System Sciences, HICSS 2015. Bui, T. X. & Sprague, R. H. (eds.). IEEE Computer Society, p. 2759-2765 7 p. 7070147. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 2015-March).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

  Chen, X., Lin, Z., Trinh, M. T. & Roşu, G., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Springer, p. 477-499 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12760 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Towards a U.S. national program for monitoring native bees

  Woodard, S. H., Federman, S., James, R. R., Danforth, B. N., Griswold, T. L., Inouye, D., McFrederick, Q. S., Morandin, L., Paul, D. L., Sellers, E., Strange, J. P., Vaughan, M., Williams, N. M., Branstetter, M. G., Burns, C. T., Cane, J., Cariveau, A. B., Cariveau, D. P., Childers, A., Childers, C., & 18 othersCox-Foster, D. L., Evans, E. C., Graham, K. K., Hackett, K., Huntzinger, K. T., Irwin, R. E., Jha, S., Lawson, S., Liang, C., López-Uribe, M. M., Melathopoulos, A., Moylett, H. M. C., Otto, C. R. V., Ponisio, L. C., Richardson, L. L., Rose, R., Singh, R. & Wehling, W., Dec 2020, In: Biological Conservation. 252, 108821.

  Research output: Contribution to journal › Article › peer-review

• Towards a unified proof framework for automated fixpoint reasoning using matching logic

  Chen, X., Trinh, M. T., Rodrigues, N., Peña, L. & Roşu, G., Nov 13 2020, In: Proceedings of the ACM on Programming Languages. 4, OOPSLA, 161.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Towards a unified theory of operational and axiomatic semantics

  Rośu, G. & Ştefǎnescu, A., 2012, Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Proceedings. PART 2 ed. Springer, p. 351-363 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7392 LNCS, no. PART 2).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a unified thermodynamic sorption database; uranium (VI) and chromate (VI) adsorption on iron oxides

  Bompoti, N., Chrysochoou, M. & Machesky, M., 2018, V.M. Goldschmidt Conference - Program and Abstracts. Vol. 28.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a Unified Understanding of Lithium Action in Basic Biology and its Significance for Applied Biology

  Jakobsson, E., Argüello-Miranda, O., Chiu, S. W., Fazal, Z., Kruczek, J., Nunez-Corrales, S., Pandit, S. & Pritchet, L., Dec 1 2017, In: Journal of Membrane Biology. 250, 6, p. 587-604 18 p.

  Research output: Contribution to journal › Review article › peer-review

  Open Access

• Towards a universal, quanti able, and scalable file format converter

  McHenry, K., Kooper, R. & Bajcsy, P., 2009, e-Science 2009 - 5th IEEE International Conference on e-Science. p. 140-147 8 p. 5380873. (e-Science 2009 - 5th IEEE International Conference on e-Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a universal viewer for digital content

  McHenry, K., Ondrejcek, M., Marini, L., Kooper, R. & Bajcsy, P., 2011, In: Procedia Computer Science. 4, p. 732-739 8 p.

  Research output: Contribution to journal › Conference article › peer-review

• Towards authentic emotion recognition

  Sebe, N., Sun, Y., Bakker, E., Lew, M. S., Cohen, I. & Huang, T. S., 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004. p. 623-628 6 p. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards auto-documentary: Tracking the evolution of news stories

  Duygulu, P., Pan, J. Y. & Forsyth, D. A., 2004, ACM Multimedia 2004 - proceedings of the 12th ACM International Conference on Multimedia. p. 820-827 8 p. (ACM Multimedia 2004 - proceedings of the 12th ACM International Conference on Multimedia).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards automated prediction of relationships among scientific datasets

  Alawini, A., Maier, D., Tufte, K., Howe, B. & Nandikur, R., Jun 29 2015, SSDBM 2015 - Proceedings of the 27th International Conference on Scientific and Statistical Database Management. Gupta, A. & Rathbun, S. (eds.). Association for Computing Machinery, a35. (ACM International Conference Proceeding Series; vol. 29-June-2015).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards automated safety vetting of PLC code in real-world plants

  Zhang, M., Chen, C. Y., Kao, B. C., Qamsane, Y., Shao, Y., Lin, Y., Shi, E., Mohan, S., Barton, K., Moyne, J. & Mao, Z. M., May 2019, Proceedings - 2019 IEEE Symposium on Security and Privacy, SP 2019. Institute of Electrical and Electronics Engineers Inc., p. 522-538 17 p. 8835244. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2019-May).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Towards automatic generation of semantic types in scientific workflows

  Bowers, S. & Ludäscher, B., 2005, Web Information Systems Engineering, WISE 2005 Workshops - WISE 2005 International Workshops, Proceedings. p. 207-216 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3807 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards automatic performance analysis

  Sinha, A. B. & Kale, L. V., 1996, Software. Pingali, K. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 53-60 8 p. 538559. (Proceedings of the International Conference on Parallel Processing; vol. 3).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards automatic phone-to-phone communication for vehicular networking applications

  Hu, S., Liu, H., Su, L., Wang, H., Abdelzaher, T. F., Hui, P., Zheng, W., Xie, Z. & Stankovic, J. A., 2014, IEEE INFOCOM 2014 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 1752-1760 9 p. 6848113. (Proceedings - IEEE INFOCOM).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards Automatic Recognition of Scientifically Rigorous Clinical Research Evidence

  Kilicoglu, H., Demner-Fushman, D., Rindflesch, T. C., Wilczynski, N. L. & Haynes, R. B., Jan 2009, In: Journal of the American Medical Informatics Association. 16, 1, p. 25-31 7 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a verification logic for rewriting logic

  Fiadeiro, J. L., Maibaum, T., Martí-Oliet, N., Meseguer, J. & Pita, I., 2000, Recent Trends in Algebraic Development Techniques - 14th International Workshop, WADT 1999, Selected Papers. Bert, D., Choppy, C. & Mosses, P. (eds.). Springer, p. 438-458 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1827).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a verified model of the algorand consensus protocol in coq

  Alturki, M. A., Chen, J., Luchangco, V., Moore, B., Palmskog, K., Peña, L. & Roşu, G., 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer, p. 362-367 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a video-capable wireless underwater modem: Doppler tolerant broadband acoustic communication

  Riedl, T. & Singer, A., Jan 20 2014, 2014 Underwater Communications and Networking, UComms 2014. Institute of Electrical and Electronics Engineers Inc., 7017122. (2014 Underwater Communications and Networking, UComms 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a weighted version of the hajnal-szemerédi theorem

  Balogh, J., Kemkes, G., Lee, C. & Young, S. J., May 2013, In: Combinatorics Probability and Computing. 22, 3, p. 346-350 5 p.

  Research output: Contribution to journal › Article › peer-review

• Towards a wind farm reduced-order model

  Pulgar-Painemal, H. A. & Sauer, P. W., Aug 2011, In: Electric Power Systems Research. 81, 8, p. 1688-1695 8 p.

  Research output: Contribution to journal › Article › peer-review

• Towards behavioral maude: Behavioral membership equational logic

  Meseguer, J. & Roşu, G., Oct 2002, In: Electronic Notes in Theoretical Computer Science. 65, 1, p. 197-253 57 p.

  Research output: Contribution to journal › Conference article › peer-review

• Towards best-effort merge of taxonomically organized data

  Thau, D., Bowers, S. & Ludaescher, B., May 28 2010, ICDE Workshops 2010 - The 2010 IEEE 26th International Conference on Data Engineering Workshops. p. 151-154 4 p. 5452756. (Proceedings - International Conference on Data Engineering).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards better than human capability in diagnosing prostate cancer using infrared spectroscopic imaging

  Llorá, X., Reddy, R., Matesic, B. & Bhargava, R., 2007, Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference. p. 2098-2105 8 p. (Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards biohythane production from biomass: Influence of operational stage on anaerobic fermentation and microbial community

  Si, B., Liu, Z., Zhang, Y., Li, J., Shen, R., Zhu, Z. & Xing, X., Feb 23 2016, In: International Journal of Hydrogen Energy. 41, 7, p. 4429-4438 10 p.

  Research output: Contribution to journal › Article › peer-review

• Towards blackbox identity testing of log-variate circuits

  Forbes, M. A., Ghosh, S. & Saxena, N., Jul 1 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 54. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution