Find Research outputs

Search results

• Article

  Symbolic analysis tools for CSP

  Li, L., Gunter, E. & Mansky, W., 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8687, p. 295-313 19 p.

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

• Symbolic analysis with mathematica in power electronics and electromechanical systems

  O'Connell, T. C., Krein, P. T. & Mossoba, J. T., 2004, In: Proceedings of the IEEE Workshop on Computers in Power Electronics, COMPEL. p. 133-139 7 p.

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

• Symbolic bifaces: the cache from Montezume Mound #1, Pike County, Illinois

  Koldehoff, B. H., 2015, In: Illinois Antiquity. 50, 1, p. 1--4

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

• Symbolic computational techniques for solving games

  Alur, R., Madhusudan, P. & Nam, W., Apr 2005, In: International Journal on Software Tools for Technology Transfer. 7, 2, p. 118-128 11 p.

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

• Symbolic interactionism, poststructuralism, and the racial subject

  Denzin, N. K., 2001, In: Symbolic Interaction. 24, 2, p. 243-249 7 p.

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

• Symbolic powers, intersection multiplicity, and asymptotic behaviour of tor

  Dutta, S. P., Oct 1983, In: Journal of the London Mathematical Society. S2-28, 2, p. 261-281 21 p.

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

• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

  Meseguer, J. & Thati, P., Jun 2007, In: Higher-Order and Symbolic Computation. 20, 1-2, p. 123-160 38 p.

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

• Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

  Meseguer, J. & Thati, P., Jan 20 2005, In: Electronic Notes in Theoretical Computer Science. 117, SPEC. ISS., p. 153-182 30 p.

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

• Symbolic simulation of engineering systems on a supercomputer

  Ragheb, M., Gvillo, D. & Makowitz, H., Mar 26 1986, In: Proceedings of SPIE - The International Society for Optical Engineering. 635, p. 368-374 7 p.

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

• Symbolic Threat Affects Negative Self-conscious Emotions

  Chen, Y., Li, L., Ybarra, O. & Zhao, Y., 2020, In: Journal of Pacific Rim Psychology. 14, e12.

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

  Open Access

• Symbolic Threat and Social Dominance Among Liberals and Conservatives: SDO Reflects Conformity to Political Values

  Morrison, K. R. & Ybarra, O., Oct 2009, In: European Journal of Social Psychology. 39, 6, p. 1039-1052 14 p.

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

• Symbolic Versus Associative Learning

  Hummel, J. E., Aug 2010, In: Cognitive Science. 34, 6, p. 958-965 8 p.

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

  Open Access

• Symbolism and Incommensurability in Civil Sanctioning: Decision Makers as Goal Managers

  Robbennolt, J. K., Darley, J. M. & MacCoun, R. J., Jun 1 2003, In: Brooklyn Law Review. 68, 4, p. 1121-1158 38 p.

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

• Symbol Makers, Symbol Weavers: How Children Link Play, Pictures, and Print

  Dyson, A. H., 1990, In: Young Children. 45, 2, p. 50-57 8 p.

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

• Symbols of Service: Oral histories of veterans tattoos as outreach

  Pionke, J. J. & Osborne, N. J., Apr 3 2018, In: College and Undergraduate Libraries. 25, 2, p. 122-130 9 p.

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

• Symmetrical interfacial reconstruction and magnetism in La _0.7Ca_0.3MnO₃/YBa₂Cu ₃O₇/La_0.7Ca_0.3MnO₃ heterostructures

  Visani, C., Tornos, J., Nemes, N. M., Rocci, M., Leon, C., Santamaria, J., Te Velthuis, S. G. E., Liu, Y., Hoffmann, A., Freeland, J. W., Garcia-Hernandez, M., Fitzsimmons, M. R., Kirby, B. J., Varela, M. & Pennycook, S. J., Aug 23 2011, In: Physical Review B - Condensed Matter and Materials Physics. 84, 6, 060405.

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

  Open Access

• Symmetric cumulants and event-plane correlations in Pb + Pb collisions

  Giacalone, G., Yan, L., Noronha-Hostler, J. & Ollitrault, J. Y., Jul 18 2016, In: Physical Review C. 94, 1, 014906.

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

• Symmetric data-driven fusion of diffusion tensor MRI: Age differences in white matter

  Mendez Colmenares, A., Hefner, M. B., Calhoun, V. D., Salerno, E. A., Fanning, J., Gothe, N. P., McAuley, E., Kramer, A. F. & Burzynska, A. Z., 2023, In: Frontiers in Neurology. 14, 1094313.

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

  Open Access

• Symmetric evaluation of multimodal human-robot interaction with gaze and standard control

  Jones, E. R., Chinthammit, W., Huang, W., Engelke, U. & Lueg, C., Dec 1 2018, In: Symmetry. 10, 12, 680.

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

  Open Access

• Symmetric formulation of the S-procedure, Kalman-Yakubovich-Popov lemma and their exact losslessness conditions

  Tanaka, T. & Langbort, C., 2013, In: IEEE Transactions on Automatic Control. 58, 6, p. 1486-1496 11 p., 6403516.

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

• Symmetric Galerkin boundary element computation of T-stress and stress intensity factors for mixed-mode cracks by the interaction integral method

  Sutradhar, A. & Paulino, G. H., Nov 2004, In: Engineering Analysis with Boundary Elements. 28, 11, p. 1335-1350 16 p.

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

• Symmetric galerkin boundary integral formulation for interface and multi-zone problems

  Gray, L. J. & Paulino, G., 1997, In: International Journal for Numerical Methods in Engineering. 40, 16, p. 3085-3101 17 p.

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

• Symmetric Galerkin boundary integral fracture analysis for plane orthotropic elasticity

  Gray, L. J. & Paulino, G. H., 1997, In: Computational Mechanics. 20, 1-2, p. 26-33 8 p.

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

• Symmetric-gapped surface states of fractional topological insulators

  Cho, G. Y., Teo, J. C. Y. & Fradkin, E., Oct 12 2017, In: Physical Review B. 96, 16, 161109.

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

• Symmetric group representations and Z

  Adve, A. & Yong, A., Jan 2018, In: Comptes Rendus Mathematique. 356, 1, p. 1-4 4 p.

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

• Symmetric monoidal and cartesian double categories as a semantic framework for tile logic

  Bruni, R., Meseguer, J. & Montanari, U., 2002, In: Mathematical Structures in Computer Science. 12, 1, p. 53-90 38 p.

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

• Symmetric stable processes stay in thick sets

  Wu, J. M., Jan 2004, In: Annals of Probability. 32, 1 A, p. 315-336 22 p.

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

  Open Access

• Symmetries, dimensions and topological insulators: The mechanism behind the face of the Bott clock

  Stone, M., Chiu, C. K. & Roy, A., Jan 28 2011, In: Journal of Physics A: Mathematical and Theoretical. 44, 4, 045001.

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

• Symmetries and conservation laws for the wave equations of scalar statistical optics

  Mitofsky, A. M. & Carney, P. S., Oct 17 2008, In: Journal of Physics A: Mathematical and Theoretical. 41, 41, 415207.

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

• Symmetries and detailed balance in forward-backward semiclassical dynamics

  Liu, J. & Makri, N., Mar 6 2006, In: Chemical Physics. 322, 1-2, p. 23-29 7 p.

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

• Symmetries in CR complexity theory

  D'Angelo, J. P. & Xiao, M., Jun 20 2017, In: Advances in Mathematics. 313, p. 590-627 38 p.

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

• Symmetries in generalized Kähler geometry

  Lin, Y. & Tolman, S., Nov 2006, In: Communications in Mathematical Physics. 268, 1, p. 199-222 24 p.

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

• Symmetrized correlation function for liquid para-hydrogen using complex-time pair-product propagators

  Nakayama, A. & Makri, N., 2006, In: Journal of Chemical Physics. 125, 2, 024503.

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

• Symmetry-breaking bifurcation in nonlinear schrödinger/gross- pitaevskii equations

  Kirr, E. W., Kevrekidis, P. G., Shlizerman, E. & Weinstein, M. I., 2008, In: SIAM Journal on Mathematical Analysis. 40, 2, p. 566-604 39 p.

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

• Symmetry-Breaking Bifurcation in the Nonlinear Schrödinger Equation with Symmetric Potentials

  Kirr, E., Kevrekidis, P. G. & Pelinovsky, D. E., Dec 2011, In: Communications in Mathematical Physics. 308, 3, p. 795-844 50 p.

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

• Symmetry breaking in Ge_1−xMn_xTe and the impact on thermoelectric transport

  Adamczyk, J. M., Bipasha, F. A., Rome, G. A., Ciesielski, K., Ertekin, E. & Toberer, E. S., Jul 1 2022, In: Journal of Materials Chemistry A. 10, 31, p. 16468-16477 10 p.

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

• Symmetry-breaking in patch formation on triangular gold nanoparticles by asymmetric polymer grafting

  Kim, A., Vo, T., An, H., Banerjee, P., Yao, L., Zhou, S., Kim, C., Milliron, D. J., Glotzer, S. C. & Chen, Q., Dec 2022, In: Nature communications. 13, 1, 6774.

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

  Open Access

• Symmetry Breaking in Side Chains Leading to Mixed Orientations and Improved Charge Transport in Isoindigo-alt-Bithiophene Based Polymer Thin Films

  Xue, G., Zhao, X., Qu, G., Xu, T., Gumyusenge, A., Zhang, Z., Zhao, Y., Diao, Y., Li, H. & Mei, J., Aug 2 2017, In: ACS Applied Materials and Interfaces. 9, 30, p. 25426-25433 8 p.

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

• Symmetry driven irreversibilities at ferromagnetic-antiferromagnetic interfaces

  Hoffmann, A., Aug 27 2004, In: Physical review letters. 93, 9, p. 097203-1-097203-4 097203.

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

• Symmetry for Boosting Algorithmic Proofs of Cyberphysical Systems

  Mitra, S. & Sibai, H., Oct 1 2022, Computer, 55, 10, p. 88-93 6 p.

  Research output: Contribution to specialist publication › Article

• Symmetry-Induced Stability in Alkali-Doped Calcium Silicate Hydrate

  Özçelik, V. O., Garg, N. & White, C. E., Jun 6 2019, In: Journal of Physical Chemistry C. 123, 22, p. 14081-14088 8 p.

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

• Symmetry of piezoelectric (1-x)Pb(Mg_1/3Nb_2/3)O ₃-xPbTiO₃ (x=0.31) single crystal at different length scales in the morphotropic phase boundary region

  Kim, K. H., Payne, D. A. & Zuo, J. M., Nov 29 2012, In: Physical Review B - Condensed Matter and Materials Physics. 86, 18, 184113.

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

• Symmetry of solitary water waves with vorticity

  Hur, V. M., 2008, In: Mathematical Research Letters. 15, 2-3, p. 491-509 19 p.

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

  Open Access

• Symmetry of steady periodic water waves with vorticity

  Hur, V. M., Sep 15 2007, In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 365, 1858, p. 2203-2214 12 p.

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

• Symmetry-protected entangling boundary zero modes in crystalline topological insulators

  Chang, P. Y., Mudry, C. & Ryu, S., Sep 1 2014, In: Journal of Statistical Mechanics: Theory and Experiment. 2014, 9, P09014.

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

• Symmetry protected Josephson supercurrents in three-dimensional topological insulators

  Cho, S., Dellabetta, B., Yang, A., Schneeloch, J., Xu, Z., Valla, T., Gu, G., Gilbert, M. J. & Mason, N., 2013, In: Nature communications. 4, 1689.

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

• Symmetry-protected topological interfaces and entanglement sequences

  Santos, L. H., Cano, J., Mulligan, M. & Hughes, T. L., Aug 17 2018, In: Physical Review B. 98, 7, 075131.

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

  Open Access

• Symmetry-protected topological phases, generalized Laughlin argument, and orientifolds

  Hsieh, C. T., Sule, O. M., Cho, G. Y., Ryu, S. & Leigh, R. G., Oct 27 2014, In: Physical Review B - Condensed Matter and Materials Physics. 90, 16, 165134.

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

• Symmetry-protected topological phases and orbifolds: Generalized Laughlin's argument

  Sule, O. M., Chen, X. & Ryu, S., Aug 12 2013, In: Physical Review B - Condensed Matter and Materials Physics. 88, 7, 075125.

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

• Symmetry quantification and mapping using convergent beam electron diffraction

  Kim, K. H. & Zuo, J. M., Jan 2013, In: Ultramicroscopy. 124, p. 71-76 6 p.

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