Find Research outputs

Search results

• A constructor-based reachability logic for rewrite theories

  Skeirik, S., Stefanescu, A. & Meseguer, J., 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer, p. 201-217 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 LNCS).

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

• A Construction-Based Approach to Russian Impersonal Predications Denoting Uncontrolled Events

  Davies, L. E., 2004.

  Research output: Contribution to conference › Paper › peer-review

• A Constraint on Primordial B-modes from the First Flight of the Spider Balloon-borne Telescope

  Ade, P. A. R., Amiri, M., Benton, S. J., Bergman, A. S., Bihary, R., Bock, J. J., Bond, J. R., Bonetti, J. A., Bryan, S. A., Chiang, H. C., Contaldi, C. R., Doré, O., Duivenvoorden, A. J., Eriksen, H. K., Farhang, M., Filippini, J. P., Fraisse, A. A., Freese, K., Galloway, M., Gambrel, A. E., & 50 othersGandilo, N. N., Ganga, K., Gualtieri, R., Gudmundsson, J. E., Halpern, M., Hartley, J., Hasselfield, M., Hilton, G., Holmes, W., Hristov, V. V., Huang, Z., Irwin, K. D., Jones, W. C., Karakci, A., Kuo, C. L., Kermish, Z. D., Leung, J. S. Y., Li, S., Mak, D. S. Y., Mason, P. V., Megerian, K., Moncelsi, L., Morford, T. A., Nagy, J. M., Netterfield, C. B., Nolta, M., O'Brient, R., Osherson, B., Padilla, I. L., Racine, B., Rahlin, A. S., Reintsema, C., Ruhl, J. E., Runyan, M. C., Ruud, T. M., Shariff, J. A., Shaw, E. C., Shiu, C., Soler, J. D., Song, X., Trangsrud, A., Tucker, C., Tucker, R. S., Turner, A. D., Van Der List, J. F., Weber, A. C., Wehus, I. K., Wen, S., Wiebe, D. V. & Young, E. Y., Mar 1 2022, In: Astrophysical Journal. 927, 2, 174.

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

  Open Access

• A constraint on impact theories of chondrule formation

  Kerridge, J. F. & Kieffer, S. W., May 1977, In: Earth and Planetary Science Letters. 35, 1, p. 35-42 8 p.

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

• A Constrained Variable Projection Reconstruction Method for Photoacoustic Computed Tomography Without Accurate Knowledge of Transducer Responses

  Sheng, Q., Wang, K., Matthews, T. P., Xia, J., Zhu, L., Wang, L. V. & Anastasio, M. A., Dec 2015, In: IEEE transactions on medical imaging. 34, 12, p. 2443-2458 16 p., 7113884.

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

• A Constrained Maximum Likelihood Estimator for Unguided Social Sensing

  Shao, H., Yao, S., Zhao, Y., Zhang, C., Han, J., Kaplan, L., Su, L. & Abdelzaher, T., Oct 8 2018, INFOCOM 2018 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 2429-2437 9 p. 8486306. (Proceedings - IEEE INFOCOM; vol. 2018-April).

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

• A constrained maximization formulation to analyze deformation of fiber reinforced elastomeric actuators

  Singh, G. & Krishnan, G., May 16 2017, In: Smart Materials and Structures. 26, 6, 065024.

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

• A constrained matrix-variate Gaussian process for transposable data

  Koyejo, O., Lee, C. & Ghosh, J., Oct 2014, In: Machine Learning. 97, 1-2, p. 103-127 25 p.

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

• A constrained latent variable model for coreference resolution

  Chang, K. W., Samdani, R. & Roth, D., 2013, EMNLP 2013 - 2013 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 601-612 12 p. (EMNLP 2013 - 2013 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference).

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

• A constrained hidden Markov model approach for non-explicit citation context extraction

  Sondhi, P. & Zhai, C., 2014, SIAM International Conference on Data Mining 2014, SDM 2014. Zaki, M. J., Banerjee, A., Parthasarathy, S., Ning-Tan, P., Obradovic, Z. & Kamath, C. (eds.). Society for Industrial and Applied Mathematics Publications, p. 361-369 9 p. (SIAM International Conference on Data Mining 2014, SDM 2014; vol. 1).

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

• A constrained evolutionary Gaussian multiple access channel game

  Zhu, Q., Tembine, H. & Başar, T., 2009, Proceedings of the 2009 International Conference on Game Theory for Networks, GameNets '09. p. 403-410 8 p. 5137426. (Proceedings of the 2009 International Conference on Game Theory for Networks, GameNets '09).

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

• A constitutive model for confined concrete in slender rectangular RC sections incorporating compressive energy

  Welt, T., Lehman, D., Lowes, L. & LaFave, J., Dec 30 2018, In: Construction and Building Materials. 193, p. 344-362 19 p.

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

• A constituency parsing tree based method for relation extraction from abstracts of scholarly publications

  Jiang, M. & Diesner, J., 2019, EMNLP-IJCNLP 2019 - Graph-Based Methods for Natural Language Processing - Proceedings of the 13th Workshop. Association for Computational Linguistics (ACL), p. 186-191 6 p. (EMNLP-IJCNLP 2019 - Graph-Based Methods for Natural Language Processing - Proceedings of the 13th Workshop).

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

• A constant-space belief propagation algorithm for stereo matching

  Yang, Q., Wang, L. & Ahuja, N., 2010, 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, CVPR 2010. p. 1458-1465 8 p. 5539797. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

• A Constant Propagation Algorithm for Explicitly Parallel Programs

  Lee, J., Midkiff, S. P. & Padua, D. A., 1998, In: International Journal of Parallel Programming. 26, 5, p. 563-589 27 p.

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

• A consistent penalty method for contact between a deforming viscoplastic workpiece and a rigid tool

  Dawson, P. R., Boyce, D. E., Eggert, G. M. & Beaudoin, A. J., Dec 15 1995, In: International Journal for Numerical Methods in Engineering. 38, 23, p. 3969-3987 19 p.

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

• A consistent hydrodynamic boundary condition for the lattice Boltzmann method

  Noble, D. R., Chen, S., Georgiadis, J. G. & Buckius, R. O., 1995, In: Physics of fluids. 7, 1, p. 203-209 7 p.

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

• A consistent finite element technique for recovery of distributed reactions and surface tractions

  Haber, R., Nov 1985, In: International Journal for Numerical Methods in Engineering. 21, 11, p. 2013-2025 13 p.

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

• A Consistent, Hybrid-Dynamical-System, Lumped-Parameter Model of Tire-Terrain Interactions

  Sanghvi, P. & Dankowicz, H., May 1 2015, In: Journal of Computational and Nonlinear Dynamics. 10, 3, 031002.

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

• A consistency condition for the vector potential in multiply-connected domains

  Epstein, C. L., Gimbutas, Z., Greengard, L., Klockner, A. & O'Neil, M., 2013, In: IEEE Transactions on Magnetics. 49, 3, p. 1072-1076 5 p., 6327672.

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

• A Consideration of the Evaluation of Demonstration Projects to End Childhood Hunger (EDECH)

  Gundersen, C., Jan 2021, In: Journal of the Academy of Nutrition and Dietetics. 121, 1, p. S78-S80

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

  Open Access

• A conserved zinc finger domain in higher plants

  Vodkin, M. H. & Vodkin, L. O., May 1989, In: Plant Molecular Biology. 12, 5, p. 593-594 2 p.

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

• A conserved threonine within Escherichia coli leucyl-tRNA synthetase prevents hydrolytic editing of leucyl-tRNA^leu

  Mursinna, R. S., Lincecum, T. L. & Martinis, S. A., May 8 2001, In: Biochemistry. 40, 18, p. 5376-5381 6 p.

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

• A Conserved Residue of Cytochrome P-450 Is Involved in Heme-Oxygen Stability and Activation

  Martinis, S. A., Atkins, W. M., Stayton, P. S. & Sligar, S. G., Dec 1989, In: Journal of the American Chemical Society. 111, 26, p. 9252-9253 2 p.

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

• A conserved proline-rich sequence between the N-terminal signal-anchor and catalytic domains is required for assembly of functional cytochrome P450 2C2

  Chen, C. D., Doray, B. & Kemper, B., Feb 15 1998, In: Archives of Biochemistry and Biophysics. 350, 2, p. 233-238 6 p.

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

• A conserved motif liganding the [4Fe–4S] cluster in [4Fe–4S] fumarases prevents irreversible inactivation of the enzyme during hydrogen peroxide stress

  Lu, Z. & Imlay, J. A., Sep 2019, In: Redox Biology. 26, 101296.

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

  Open Access

• A conserved histone variant enriched in nucleoli of mammalian cells

  Allis, C. D., Ziegler, Y. S., Gorovsky, M. A. & Olmsted, J. B., Nov 1982, In: Cell. 31, 1, p. 131-136 6 p.

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

• A conserved glutamic acid in helix VI of cytochrome bo₃ influences a key step in oxygen reduction

  Watmough, N. J., Katsonouri, A., Little, R. H., Osborne, J. P., Furlong-Nickels, E., Gennis, R. B., Brittain, T. & Greenwood, C., Nov 4 1997, In: Biochemistry. 36, 44, p. 13736-13742 7 p.

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

• A conserved fertility signal despite population variation in the cuticular chemical profile of the trap-jaw ant Odontomachus brunneus

  Smith, A. A., Millar, J. G., Hanks, L. M. & Suarez, A. V., Oct 2013, In: Journal of Experimental Biology. 216, 20, p. 3917-3924 8 p.

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

• A conserved and seemingly redundant Escherichia coli biotin biosynthesis gene expressed only during anaerobic growth

  Song, X. & Cronan, J. E., Nov 2021, In: Molecular Microbiology. 116, 5, p. 1315-1327 13 p.

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

• A conserved African swine fever virus right variable region gene, I1 1L, is non-essential for growth in vitro and virulence in domestic swine

  Kleiboeker, S. B., Kutish, G. F., Neilan, J. G., Lu, Z., Zsak, L. & Rock, D. L., May 1998, In: Journal of General Virology. 79, 5, p. 1189-1195 7 p.

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

• A conserved African swine fever virus IκB homolog, 5EL, is nonessential for growth in vitro and virulence in domestic swine

  Neilan, J. G., Lu, Z., Kutish, G. F., Zsak, L., Lewis, T. L. & Rock, D. L., Sep 1 1997, In: Virology. 235, 2, p. 377-385 9 p.

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

• A Conservative Test of Genetic Drift in the Endosymbiotic Bacterium Buchnera: Slightly Deleterious Mutations in the Chaperonin groEL

  Herbeck, J. T., Funk, D. J., Degnan, P. H. & Wernegreen, J. J., Dec 2003, In: Genetics. 165, 4, p. 1651-1660 10 p.

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

• A conservative level set method on unstructured meshes for modeling multiphase thermo-fluid flow in additive manufacturing processes

  Lin, S., Gan, Z., Yan, J. & Wagner, G. J., Dec 1 2020, In: Computer Methods in Applied Mechanics and Engineering. 372, 113348.

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

  Open Access

• A conservative level set method for N-phase flows with a free-energy-based surface tension model

  Howard, A. A. & Tartakovsky, A. M., Feb 1 2021, In: Journal of Computational Physics. 426, 109955.

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

  Open Access

• A conservative framework for primary atomization computation and application to the study of nozzle and density ratio effects

  Le Chenadec, V. & Pitsch, H., Dec 4 2013, In: Atomization and Sprays. 23, 12, p. 1139-1165 27 p.

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

• A 'conservative' approach to parallelizing the Sharks World simulation

  Nicol, D. M. & Riffe, S. E., Dec 1990, 90 Winter Simulation Conf.. Publ by IEEE, p. 186-190 5 p. (Winter Simulation Conference Proceedings).

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

• A Conservation-Based Transitional Boundary Layer Model

  Brewster, M. Q., Oct 1 2022, In: Journal of Heat Transfer. 144, 10, 101801.

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

• A conservation-based approach to compensation for livestock depredation: The Florida panther case study

  Jacobs, C. E., Main, M. B. & Roca, A. L., Sep 30 2015, In: PloS one. 10, 9, e139203.

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

• A Consensus Problem in Mean Field Setting with Noisy Measurements of Target

  Basar, T., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 6521-6526 6 p. 8431664. (Proceedings of the American Control Conference; vol. 2018-June).

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

• A consensus map in cultivated hexaploid oat reveals conserved grass synteny with substantial subgenome rearrangement

  Chaffin, A. S., Huang, Y. F., Smith, S., Bekele, W. A., Babiker, E., Gnanesh, B. N., Foresman, B. J., Blanchard, S. G., Jay, J. J., Reid, R. W., Wight, C. P., Chao, S., Oliver, R., Islamovic, E., Kolb, F. L., McCartney, C., Mitchell Fetch, J. W., Beattie, A. D., Bjørnstad, Å., Michael Bonman, J., & 11 othersLangdon, T., Howarth, C. J., Brouwer, C. R., Jellen, E. N., Klos, K. E., Poland, J. A., Hsieh, T. F., Brown, R., Jackson, E., Schlueter, J. A. & Tinker, N. A., Jul 2016, In: Plant Genome. 9, 2

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

  Open Access

• A consensus linkage map for swine chromosome 7

  Rohrer, G. A., Alexander, L. J., Beattie, C. W., Wilkie, P., Flickinger, G. H., Schook, L. B., Paszek, A. A., Andersson, L., Mariani, P., Marklund, L., Fredholm, M., Hoyheim, B., Archibald, A. L., Nielsen, V. H., Milan, D. & Groenen, M. A. M., Jun 1997, In: Animal genetics. 28, 3, p. 223-229 7 p.

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

• A consensus-based transparency checklist

  Aczel, B., Szaszi, B., Sarafoglou, A., Kekecs, Z., Kucharský, Š., Benjamin, D., Chambers, C. D., Fisher, A., Gelman, A., Gernsbacher, M. A., Ioannidis, J. P., Johnson, E., Jonas, K., Kousta, S., Lilienfeld, S. O., Lindsay, D. S., Morey, C. C., Munafò, M., Newell, B. R., Pashler, H., & 47 othersShanks, D. R., Simons, D. J., Wicherts, J. M., Albarracin, D., Anderson, N. D., Antonakis, J., Arkes, H. R., Back, M. D., Banks, G. C., Beevers, C., Bennett, A. A., Bleidorn, W., Boyer, T. W., Cacciari, C., Carter, A. S., Cesario, J., Clifton, C., Conroy, R. M., Cortese, M., Cosci, F., Cowan, N., Crawford, J., Crone, E. A., Curtin, J., Engle, R., Farrell, S., Fearon, P., Fichman, M., Frankenhuis, W., Freund, A. M., Gaskell, M. G., Giner-Sorolla, R., Green, D. P., Greene, R. L., Harlow, L. L., de la Guardia, F. H., Isaacowitz, D., Kolodner, J., Lieberman, D., Logan, G. D., Mendes, W. B., Moersdorf, L., Nyhan, B., Pollack, J., Sullivan, C., Vazire, S. & Wagenmakers, E. J., Jan 1 2020, In: Nature human behaviour. 4, 1, p. 4-6 3 p.

  Research output: Contribution to journal › Comment/debate › peer-review

  Open Access

• A consensus based overlapping decentralized estimator in lossy networks: Stability and denoising effects

  Stanković, S. S., Stanković, M. S. & Stipanović, D. M., Sep 30 2008, 2008 American Control Conference, ACC. p. 4364-4369 6 p. 4587181. (Proceedings of the American Control Conference).

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

• A Consensus-based Approach for Distributed Quickest Detection of Significant Events in Networks

  Li, J., Towsley, D., Zou, S., Veeravalli, V. V. & Ciocarlie, G., Nov 2019, Conference Record - 53rd Asilomar Conference on Circuits, Systems and Computers, ACSSC 2019. Matthews, M. B. (ed.). IEEE Computer Society, p. 1881-1884 4 p. 9048991. (Conference Record - Asilomar Conference on Signals, Systems and Computers; vol. 2019-November).

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

• Aconselhamento para a prática de atividade física como estratégia de educação à saúde

  Translated title of the contribution: Counseling for physical activity as a health education strategySiqueira, F. V., Nahas, M. V., Facchini, L. A., Silveira, D. S., Piccini, R. X., Tomasi, E., Thumé, E. & Hallal, P. C., Jan 2009, In: Cadernos de Saude Publica. 25, 1, p. 203-213 11 p.

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

  Open Access

• A CONOP9 composite taxon range chart for Ordovician conodonts from Baltoscandia: a framework for biostratigraphic correlation and maximum-likelihood biodiversity analyses

  Goldman, D., Bergström, S. M., Sheets, H. D. & Pantle, C., Apr 2014, In: GFF. 136, 2, p. 342-354 13 p.

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

• A connectionist approach to the organization and continuity of working models of attachment

  Fraley, R. C., Dec 2007, In: Journal of Personality. 75, 6, p. 1157-1180 24 p.

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

• A connection formalism for the solution of large and stiff models

  Daly, D. & Sanders, W. H., 2001, In: Proceedings of the IEEE Annual Simulation Symposium. p. 258-265 8 p.

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

• A connection between two sets of conjectures

  Dutta, S. P., 2007, In: Math. Student. Special Centenary Volume, p. 71-80 (2008)

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