Find Research outputs

Search results

• A logic-based framework for collection/item metadata relationships

  Wickett, K., Oct 8 2018, In: Journal of Documentation. 74, 6, p. 1175-1189 15 p.

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

• A Logical Theory of Concurrent Objects

  Meseguer, J., Jan 9 1990, In: ACM SIGPLAN Notices. 25, 10, p. 101-115 15 p.

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

  Open Access

• A logical theory of concurrent objects

  Meseguer, J., Sep 1 1990, Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990. Association for Computing Machinery, Inc, p. 101-115 15 p. (Proceedings of the European Conference on Object-Oriented Programming on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA/ECOOP 1990).

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

  Open Access

• A Logical Semantics for Object-Oriented Databases

  Meseguer, J. & Qian, X., Jan 6 1993, In: ACM SIGMOD Record. 22, 2, p. 89-98 10 p.

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

• Alogia and formal thought disorder: Differential patterns of verbal fluency task performance

  Docherty, A. R., Berenbaum, H. & Kerns, J. G., Oct 2011, In: Journal of Psychiatric Research. 45, 10, p. 1352-1357 6 p.

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

• Aloe vera: An in vitro study of effects on corneal wound closure and collagenase activity

  Curto, E. M., Labelle, A. & Chandler, H. L., Nov 1 2014, In: Veterinary Ophthalmology. 17, 6, p. 403-410 8 p.

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

• Aloe: Verifying reliability of approximate programs in the presence of recovery mechanisms

  Joshi, K., Fernando, V. & Misailovic, S., Feb 22 2020, CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization. Mars, J., Tang, L., Xue, J. & Wu, P. (eds.). Association for Computing Machinery, Inc, p. 56-67 12 p. (CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization).

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

  Open Access

• A Location Allocation Model for Facility Planning in a Competitive Environment

  Ghosh, A. & Craig, C. S., Jan 1984, In: Geographical Analysis. 16, 1, p. 39-51 13 p.

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

• A locally optimal handoff Algorithm for cellular communications

  Veeravalli, V. V., 1997, In: IEEE Transactions on Vehicular Technology. 46, 3, p. 603-609 7 p.

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

• A locally conservative, discontinuous least-squares finite element method for the Stokes equations

  Bochev, P., Lai, J. & Olson, L., Feb 29 2012, In: International Journal for Numerical Methods in Fluids. 68, 6, p. 782-804 23 p.

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

• A Localized Cyber Threat Mitigation Approach for Wide Area Control of FACTS

  Chattopadhyay, A., Valdes, A., Sauer, P. W. & Nuqui, R., 2021, 2021 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2021. Institute of Electrical and Electronics Engineers Inc., p. 264-269 6 p. (2021 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, SmartGridComm 2021).

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

• A localization principle for orbifold theories

  de Fernex, T., Lupercio, E., Nevins, T. & Uribe, B., 2006, Recent developments in algebraic topology. American Mathematical Society, Vol. 407. p. 113-133 21 p. (Contemp. Math.).

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

• A localist evaluation solution for visual stability across saccades

  Irwin, D. E., McConkie, G. W., Carlson-Radvansky, L. A. & Currie, C., Jun 1994, In: Behavioral and Brain Sciences. 17, 2, p. 265-266 2 p.

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

• A Local History of Global Capital: Jute and Peasant Life in the Bengal Delta

  Ali, T. O., 2018, Princeton University Press. 272 p.

  Research output: Book/Report/Conference proceeding › Book

• A local families index formula for ∂-operators on punctured riemann surfaces

  Albin, P. & Rochon, F., Jul 2009, In: Communications in Mathematical Physics. 289, 2, p. 483-527 45 p.

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

• A local department of public health and the geospatial data infrastructure

  Ruiz, M. O. & Remmert, D., Aug 2004, In: Journal of Medical Systems. 28, 4, p. 385-395 11 p.

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

• A local control approach to voltage regulation in distribution networks

  Zhang, B., Dominguez-Garcia, A. D. & Tse, D., 2013, 45th North American Power Symposium, NAPS 2013. 6666945. (45th North American Power Symposium, NAPS 2013).

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

• A local algorithm for structure-preserving graph cut

  Zhou, D., Zhang, S., Yildirim, M. Y., Alcorn, S., Tong, H., Davulcu, H. & He, J., Aug 13 2017, KDD 2017 - Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 655-664 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining; vol. Part F129685).

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

  Open Access

• A local algorithm for product return prediction in E-commerce

  Zhu, Y., Li, J., He, J., Quanz, B. L. & Deshpande, A. A., Jul 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 3718-3724 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2018-July).

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

• A load-transfer function for the side resistance of drilled shafts in soft rock

  Asem, P. & Gardoni, P., Oct 2019, In: Soils and Foundations. 59, 5, p. 1241-1259 19 p.

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

• A load on my mind: Evidence that anhedonic depression is like multi-tasking

  Bredemeier, K., Berenbaum, H., Brockmole, J. R., Boot, W. R., Simons, D. J. & Most, S. B., Jan 2012, In: Acta Psychologica. 139, 1, p. 137-145 9 p.

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

• A load balancing technique for memory channels

  Oh, B., Kim, N. S., Ahn, J., Li, B., Dreslinski, R. G. & Mudge, T., Oct 1 2018, MEMSYS 2018 - Proceedings of the International Symposium on Memory Systems. Association for Computing Machinery, (ACM International Conference Proceeding Series).

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

• A load balancing strategy for prioritized execution of tasks

  Sinha, A. B. & Kale, L. V., 1993, Proceedings of 7th International Parallel Processing Symposium, IPPS 1993. Institute of Electrical and Electronics Engineers Inc., p. 230-237 8 p. 262887. (Proceedings of 7th International Parallel Processing Symposium, IPPS 1993).

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

• AlN piezoelectric parametric oscillators with low phase noise

  Lu, R., Gao, A. & Gong, S., 2016, 2016 Solid-State Sensors, Actuators and Microsystems Workshop, Hilton Head 2016. Allen, M. G. & Lamers, T. (eds.). Transducer Research Foundation, p. 80-83 4 p. (2016 Solid-State Sensors, Actuators and Microsystems Workshop, Hilton Head 2016).

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

  Open Access

• AlN/GaN double-barrier resonant tunneling diodes grown by metal-organic chemical vapor deposition

  Bayram, C., Vashaei, Z. & Razeghi, M., 2010, In: Applied Physics Letters. 96, 4, 042103.

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

• Almost-sure stability of linear gyroscopic systems

  Nolan, V. J. & Sri Namachchivaya, N., Oct 14 1999, In: Journal of Sound and Vibration. 227, 1, p. 105-130 26 p.

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

• Almost sure stability of dynamical systems under combined harmonic and stochastic excitations

  Sri Namachchivaya, N., Nov 22 1991, In: Journal of Sound and Vibration. 151, 1, p. 77-90 14 p.

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

• Almost sure asymptotic stability of scalar stochastic delay equations: Finite state Markov process

  Sri Namachchivaya, N. & Wihstutz, V., Mar 2012, In: Stochastics and Dynamics. 12, 1, 1150010.

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

• Almost-sure asymptotic stability of rotor blades flapping motion in forward flight in turbulent flow

  Sri Namachchivaya, N. & Prussing, J. E., Mar 1991, In: Probabilistic Engineering Mechanics. 6, 1, p. 2-9 8 p.

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

• Almost sure asymptotic stability of an oscillator with delay feedback when excited by finite-state Markov noise

  Lingala, N., Sri Namachchivaya, N., O'Reilly, O. M. & Wihstutz, V., 2013, In: Probabilistic Engineering Mechanics. 32, p. 21-30 10 p.

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

• Almost-sure asymptotic stability of a general four-dimensional system driven by real noise

  Doyle, M. M. & Namachchivaya, N. S., May 1994, In: Journal of Statistical Physics. 75, 3-4, p. 525-552 28 p.

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

• Almost-sensorless localization

  O'Kane, J. M. & LaValle, S. M., 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation. p. 3764-3769 6 p. 1570694. (Proceedings - IEEE International Conference on Robotics and Automation; vol. 2005).

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

• Almost‐Periodic Response Determination for Models of the Basilar Membrane

  Sandberg, I. W. & Allen, J. B., Oct 1985, In: AT&T Technical Journal. 64, 8, p. 1775-1786 12 p.

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

• Almost optimal sequential tests of discrete composite hypotheses

  Fellouris, G. & Tartakovsky, A. G., Jul 2013, In: Statistica Sinica. 23, 4, p. 1717-1741 25 p.

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

• Almost optimal model-free reinforcement learning via reference-advantage decomposition

  Zhang, Z., Zhou, Y. & Ji, X., 2020, In: Advances in Neural Information Processing Systems. 2020-December

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

• Almost Lyapunov functions for nonlinear systems

  Liu, S., Liberzon, D. & Zharnitsky, V., Mar 2020, In: Automatica. 113, 108758.

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

  Open Access

• Almost intersections of curves mod $p$

  Zaharescu, A., 2002, In: Advanced Studies in Contemporary Mathematics (Kyungshang). 5, 2, p. 155-161 7 p.

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

• Almost extreme waves

  Dyachenko, S. A., Hur, V. M. & Silantyev, D. A., Jan 25 2023, In: Journal of Fluid Mechanics. 955, 955 A17.

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

• Almost Dying, Dying Twice: Ritual and Audience in Euripides' Iphigenia in Tauris

  Tzanetou, A., 2000, Euripides and Tragic Theatre in the Late Fifth Century. Cropp, M. J., Lee, K. H. & Sansone, D. (eds.). Champaign, IL: University of Illinois Press, p. 199-216 18 p. (Illinois Classical Studies; vol. 24/25).

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

• Almost disjointness preservers

  Oikhberg, T. & Tradacete, P., Jun 2017, In: Canadian Journal of Mathematics. 69, 3, p. 650-686 37 p.

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

  Open Access

• Almost classical solutions of Hamilton-Jacobi equations

  Deville, R. & Jaramillo, J. A., 2008, In: Revista Matematica Iberoamericana. 24, 3, p. 989-1010 22 p.

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

• Almost band preservers

  Oikhberg, T. & Tradacete, P., Dec 1 2017, In: Positivity. 21, 4, p. 1393-1423 31 p.

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

• Almost any quantum spin system with short-range interactions can support toric codes

  Raginsky, M., Feb 25 2002, In: Physics Letters, Section A: General, Atomic and Solid State Physics. 294, 3-4, p. 153-157 5 p.

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

• Almost alternating sums

  O'Bryant, K., Reznick, B. & Serbinowska, M., Oct 2006, In: American Mathematical Monthly. 113, 8, p. 673-688 16 p.

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

• Almost all triple systems with independent neighborhoods are semi-bipartite

  Balogh, J. & Mubayi, D., May 2011, In: Journal of Combinatorial Theory. Series A. 118, 4, p. 1494-1518 25 p.

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

• Almost all triangle-free triple systems are tripartite

  Balogh, J. & Mubayi, D., Mar 2012, In: Combinatorica. 32, 2, p. 143-169 27 p.

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

• Almost all primes satisfy the Atkin–Serre conjecture and are not extremal

  Gafni, A., Thorner, J. & Wong, P. J., Jun 2021, In: Research in Number Theory. 7, 2, 31.

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

• Almost all C₄-free graphs have fewer than (1 - ε)ex(n, C₄) edges

  Balog, J. & Samotij, W., Oct 26 2010, In: SIAM Journal on Discrete Mathematics. 24, 3, p. 1011-1018 8 p.

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

• Almond consumption and processing affects the composition of the gastrointestinal microbiota of healthy adult men and women: A randomized controlled trial

  Holscher, H. D., Taylor, A. M., Swanson, K. S., Novotny, J. A. & Baer, D. J., Feb 2018, In: Nutrients. 10, 2, 126.

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

  Open Access

• ALMA's Polarized View of 10 Protostars in the Perseus Molecular Cloud

  Cox, E. G., Harris, R. J., Looney, L. W., Li, Z. Y., Yang, H., Tobin, J. J. & Stephens, I., Mar 10 2018, In: Astrophysical Journal. 855, 2, 92.

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