Search concepts
|
Selected filters
|
- 51,150 - 51,200 out of 53,794 results
Search results
-
Type-driven data layouts for improved vectorisation
Sinkarovs, A. & Scholz, S-B., May 2016, In: Concurrency and Computation: Practice and Experience. 28, p. 2092–2119 28 p.Research output: Contribution to journal › Article › peer-review
4 Citations (Scopus) -
Typed λ-calculi with one binder
Kamareddine, F., Sep 2005, In: Journal of Functional Programming. 15, 5, p. 771-796 26 p.Research output: Contribution to journal › Article › peer-review
7 Citations (Scopus) -
Type Error Customization in GHC: Controlling expression-level type errors by type-level programming
Serrano, A. & Hage, J., 30 Aug 2017, Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages: IFL 2017. Association for Computing Machinery, 2Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Citations (Scopus) -
Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules
Serrano, A. & Hage, J., 22 Mar 2016, Programming Languages and Systems. ESOP 2016. Springer, p. 672-698 27 p. (Lecture Notes in Computer Science; vol. 9632).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
19 Citations (Scopus) -
Type error slicing in implicitly typed higher-order languages
Haack, C. & Wells, J. B., Mar 2004, In: Science of Computer Programming. 50, 1-3, p. 189-224 36 p.Research output: Contribution to journal › Article › peer-review
88 Citations (Scopus) -
Type error slicing in implicitly typed higher-order languages
Haack, C. & Wells, J. B., 2003, Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. Vol. 2618. p. 284-301 18 p. (Lecture Notes in Computer Science; vol. 2618).Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
46 Citations (Scopus) -
Type Families with Class, Type Classes with Family
Serrano, A., Hage, J. & Bahr, P., 30 Aug 2015, Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell: Haskell '15. Association for Computing Machinery, p. 129-140 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Type-I integrable quantum impurities in the Heisenberg model
Doikou, A., 21 Dec 2013, In: Nuclear Physics B. 877, 3, p. 885–899 15 p.Research output: Contribution to journal › Article › peer-review
5 Citations (Scopus) -
Type inference, principal typings, and let-polymorphism for first-class mixin modules
Makholm, H. & Wells, J. B., 2005, In: ACM SIGPLAN Notices. 40, 9, p. 156-167 12 p.Research output: Contribution to journal › Article › peer-review
1 Citation (Scopus) -
Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with Beta-Reduction
Wells, J. B. & Carlier, S., Aug 2004.Research output: Contribution to conference › Paper › peer-review
-
Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction
Carlier, S. & Wells, J. B., 2004, Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04. p. 132-143 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Citations (Scopus) -
Types for Proofs and Programs
Callaghan, P. (ed.), Luo, Z. (ed.), McKinna, J. (ed.) & Pollack, R. (ed.), 2002, Springer. (Lecture Notes in Computer Science; vol. 2277)Research output: Book/Report › Book
-
Types in logic and mathematics before 1940
Kamareddine, F., Laan, T. & Nederpelt, R., 2002, In: Bulletin of Symbolic Logic. 8, 2, p. 185-245 61 p.Research output: Contribution to journal › Article › peer-review
17 Citations (Scopus) -
Type synthesis and classification of kinematically redundant translational parallel mechanisms
Kong, X., 2011, Geometric Methods in Robotics and Mechanism Research: Theory and Applications . Lou, Y. & Li, Z. (eds.). Lambert Academic Publishing, p. 63-84Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)
-
Type synthesis and reconfiguration analysis of a class of variable-DOF single-loop mechanisms
Kong, X. & Pfurner, M., 2015, In: Mechanism and Machine Theory. 85, p. 116-128 12 p.Research output: Contribution to journal › Article › peer-review
61 Citations (SciVal) -
TYPE synthesis of 2-DOF 3-4R parallel mechanisms with both spatial parallelogram translational mode and equal-diameter spherical rotation mode
Kong, X. & Yu, J., 2014, ASME 2014 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, Vol. 5B. DETC2014-34883Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Type Synthesis of 2-DOF Rotational Parallel Manipulators With an Equal-Diameter Spherical Pure Rolling Motion
Wu, K., Yu, J., Zong, G. & Kong, X., 2014, ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, Vol. 6A. 10 p. DETC2013-12305Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
9 Citations (Scopus) -
Type synthesis of 3-DOF multi-mode translational/spherical parallel mechanisms with lockable joints
Kong, X. & Jin, Y., Feb 2016, In: Mechanism and Machine Theory. 96, Part 2, p. 323-333 11 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile57 Citations (Scopus)192 Downloads (Pure) -
Type synthesis of 3-DOF parallel manipulators with both a planar operation mode and a spatial translational operation mode
Kong, X., Nov 2013, In: Journal of Mechanisms and Robotics. 5, 4, 8 p., 041015.Research output: Contribution to journal › Article › peer-review
75 Citations (Scopus) -
Type synthesis of 3-DOF parallel manipulators with both planar and translational operation modes
Kong, X., 2011, Proceedings of ASME 2011 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6 Citations (Scopus) -
Type synthesis of 3-DOF translational compliant parallel mechanisms
Yue, C., Su, H-J. & Kong, X., 2013, ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: Volume 6A: 37th Mechanisms and Robotics Conference. American Society of Mechanical Engineers, Vol. 6A. 11 p. DETC2013-12718Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Citations (Scopus) -
Type synthesis of 3-RSR equivalent 2R1T parallel mechanisms
Chen, Z., Li, Y., Huang, Z. & Kong, X., 2018, ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, Vol. 5A. DETC2018-85101Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Citations (Scopus) -
Type synthesis of kinematically redundant 3T1R parallel manipulators
Kong, X., Chablat, D., Caro, S., Yu, J. & Gosselin, C., 2013, Proceedings of the ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, Vol. 6 A. 9 p. DETC2013-12575Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus) -
Type synthesis of multi-mode mobile parallel mechanisms based on refined virtual chain approach
Liu, Y., Li, Y., Yao, Y. & Kong, X., Oct 2020, In: Mechanism and Machine Theory. 152, 103908.Research output: Contribution to journal › Article › peer-review
Open AccessFile6 Citations (SciVal)3 Downloads (Pure) -
Type synthesis of parallel mechanisms with a constant Jacobian matrix
Zhao, Y., Cao, Y., Kong, X. & Zhao, T., Dec 2018, In: Journal of Mechanisms and Robotics. 10, 6, 061011.Research output: Contribution to journal › Article › peer-review
6 Citations (Scopus) -
Type synthesis of parallel mechanisms with multiple operation modes
Kong, X., Gosselin, C. M. & Richard, P. L., Jun 2007, In: Journal of Mechanical Design, Transactions of the ASME. 129, 6, p. 595-601 7 p.Research output: Contribution to journal › Article › peer-review
157 Citations (SciVal) -
Type synthesis of partially decoupled 2-DOF parallel mechanisms with two 1T1R operational modes
Kong, X., 2012, Advances in Reconfigurable Mechanisms and Robots I. Springer London: Springer, p. 245-257 13 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)
2 Citations (Scopus) -
Type synthesis of single-DOF single-loop mechanisms with two operation modes
Kong, X. & Huang, C., 2009, Proceedings of the 2009 ASME/IFToMM International Conference on Reconfigurable Mechanisms and Robots, ReMAR 2009. p. 136-141 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
51 Citations (SciVal) -
Type Synthesis of Single-Loop Overconstrained 6R Spatial Mechanisms for Circular Translation
Kong, X., 8 Aug 2014, In: Journal of Mechanisms and Robotics. 6, 4, 8 p., 41016.Research output: Contribution to journal › Article › peer-review
30 Citations (SciVal) -
Type synthesis of six-DOF wrist-partitioned fully parallel manipulators
Kong, X. & Gosselin, C. M., 2008, 2007 Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC2007. Vol. 8 PART B. p. 1195-1203 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7 Citations (Scopus) -
Type synthesis of six-DOF wrist-partitioned parallel manipulators
Kong, X. & Gosselin, C. M., Jun 2008, In: Journal of Mechanical Design, Transactions of the ASME. 130, 6, p. 623021-623028 8 p.Research output: Contribution to journal › Article › peer-review
13 Citations (Scopus) -
Type synthesis of three-degree-of-freedom translational compliant parallel mechanisms
Cong, Y., Zhang, Y., Su, H-J. & Kong, X., 2015, In: Journal of Mechanisms and Robotics. 7, 3, p. 031012Research output: Contribution to journal › Article › peer-review
4 Citations (Scopus) -
Type Synthesis of Two-Degrees-of-Freedom 3-4R Parallel Mechanisms With Both Spherical Translation Mode and Sphere-on-Sphere Rolling Mode
Kong, X. & Yu, J., Nov 2015, In: Journal of Mechanisms and Robotics. 7, 4, 8 p., 041018.Research output: Contribution to journal › Article › peer-review
25 Citations (SciVal) -
Type synthesis of two degrees-of-freedom rotational parallel mechanisms with a fixed center-of-rotation based on a graphic approach
Wu, K., Yu, J. J., Li, S. Z., Zong, G. H. & Kong, X., 12 Aug 2012, Proceedings of ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference: Chicago, Illinois, USA, August 12–15, 2012. American Society of Mechanical Engineers, p. 647-658 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6 Citations (Scopus) -
Type synthesis of variable degree-of-freedom parallel manipulators with both planar and 3T1R operation modes
Kong, X., Aug 2012, Proceedings of ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. American Society of Mechanical Engineers, Vol. 4. p. 497-504 8 p. DETC2012-70621Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Typing of the fish pathogen Listonella (Vibrio) anguillara by pyrolysis mass spectrometry
Manfio, G. P., Goodfellow, M., Austin, B., Austin, D. A., Pedersen, K., Larsen, J. L., Verdonck, L. & Swings, J., Jan 1997, In: Zentralblatt für Bakteriologie. 285, 2, p. 245-251 7 p.Research output: Contribution to journal › Article › peer-review
5 Citations (Scopus) -
Typology of Kano models: a critical review of literature and proposition of a revised model
Shahin, A., Pourhamidi, M., Antony, J. & Park, S. H., 2013, In: International Journal of Quality and Reliability Management. 30, 3, p. 341-358 18 p.Research output: Contribution to journal › Article › peer-review
72 Citations (SciVal) -
Typology of long-term port efficiency improvement paths: Malmquist total factor productivity for world container ports
Cheon, S., Dowall, D. E. & Song, D. W., Dec 2009, In: Journal of Infrastructure Systems. 15, 4, p. 340-350 11 p., 010904QIS.Research output: Contribution to journal › Article › peer-review
10 Citations (Scopus) -
TYR-143 facilitates interdomain electron transfer in flavocytochrome B2
Miles, C. S., Rouvière-Fourmy, N., Lederer, F., Mathews, F. S., Reid, G. A., Black, M. T. & Chapman, S. K., 1 Jul 1992, In: Biochemical Journal. 285, 1, p. 187-192 6 p.Research output: Contribution to journal › Article › peer-review
58 Citations (Scopus) -
Tyrosine residues enhance cross-linking of synthetic proteins into lignin-like dehydrogenation products
McDougall, G. J., Stewart, D. & Morrison, I. M., Jan 1996, In: Phytochemistry. 41, 1, p. 43-47 5 p.Research output: Contribution to journal › Article › peer-review
21 Citations (Scopus) -
UAE green building strategic model
Salama, M. & Hana, A. R., Sep 2013, Proceedings of the 29th Annual Association of Researchers in Construction Management Conference, ARCOM 2013. Smith, SD. & Ahiaga-Dagbui, D. D. (eds.). ARCOM, p. 1321-1330 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
UAS Operators Safety and Reliability Survey: Emerging Technologies Towards the Certification of Autonomous UAS
Osborne, M., Lantair, J., Shafiq, Z., Zhao, X., Robu, V., Flynn, D. & Perry, J., 10 Feb 2020, 2019 4th International Conference on System Reliability and Safety (ICSRS). IEEE, p. 203-212 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Citations (Scopus)10 Downloads (Pure) -
UAV-Aided Jamming for Secure Ground Communication with Unknown Eavesdropper Location
Nnamani, C. O., Khandaker, M. R. A. & Sellathurai, M., 2020, In: IEEE Access. 8, p. 72881-72892 12 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile5 Citations (SciVal)18 Downloads (Pure) -
Ubiquitination of PTEN (phosphatase and tensin homolog) inhibits phosphatase activity and is enhanced by membrane targeting and hyperosmotic stress
Maccario, H., Perera, N. M., Gray, A., Downes, C. P. & Leslie, N., 2010, In: Journal of Biological Chemistry. 285, 17, p. 12620-8 9 p.Research output: Contribution to journal › Article › peer-review
42 Citations (SciVal) -
Ubiquitous social perception abilities for interaction initiation in human-robot interaction
Deshmukh, A., Castellano, G., Lim, M. Y., Aylett, R. & McOwan, P. W., 2010, AFFINE'10 - Proceedings of the 3rd ACM Workshop on Affective Interaction in Natural Environments, Co-located with ACM Multimedia 2010. p. 55-60 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Citations (Scopus) -
UC-B: Use case modelling with Event-B
Murali, R., Ireland, A. & Grov, G., 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer International Publishing, p. 297-302 6 p. (Lecture Notes in Computer Science; vol. 9675).Research output: Chapter in Book/Report/Conference proceeding › Chapter
Open AccessFile1 Citation (Scopus)92 Downloads (Pure) -
Üç Eklemli Bir Robot Bacaǧmm İleri Adim Atmasi İçin Optimal Davraniş Esinli Bulanik Kontrolcu Tasarimi
Erden, M. S. & Leblebicioǧlu, K., 1 Dec 2004, Proceedings of the IEEE 12th Signal Processing and Communications Applications Conference, SIU 2004. Gunsel, B. (ed.). p. 466-469 4 p.Translated title of the contribution :Optimal behaviour inspired fuzzy controller design for a three joint robot leg in protraction phase Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
UHF techniques for lumped constant circulators
Helszajn, J., Dec 2005, In: Microwave Engineering Europe. DEC./JAN., p. 28-34 7 p.Research output: Contribution to journal › Literature review › peer-review
-
Uh I Am Not Understanding You at All: Constructing (Mis)Understanding in Provider/Patient-Interpreted Medical Encounters
Angelelli, C. V., 2014, Investigations in Healthcare Interpreting. Gallaudet University Press, p. 1-31 31 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
4 Citations (Scopus) -
UISP 2018: Proceedings of the 2nd Workshop on User Interfaces and Scheduling and Planning
Freedman, R. G. (ed.), Frank, J. D. (ed.), Benton, J. (ed.) & Petrick, R. P. A. (ed.), Jun 2018Research output: Book/Report › Book