Publications

Export 7148 results:
[ Author(Asc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
Fraser T, Petroni J., Arbaugh WA.  2006.  Applying flow-sensitive CQUAL to verify MINIX authorization check placement. Proceedings of the 2006 workshop on Programming languages and analysis for security. :3-6.
Frangiadakis N, Kuklov D, Roussopoulos N.  2007.  System for 802.11 connectivity at high speed. UMIACS-TR-2007-27
Frangiadakis N, Câmara D, Filali F, Loureiro AAF, Roussopoulos N.  2008.  Virtual access points for vehicular networks. Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications. :14-14.
Frangiadakis N, Roussopoulos N.  2007.  Caching in Mobile Environments: A New Analysis and the Mobile-Cache System. IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications, 2007. PIMRC 2007. :1-5.
Fouché S, Cohen MB, Porter A.  2009.  Incremental covering array failure characterization in large configuration spaces. Proceedings of the eighteenth international symposium on Software testing and analysis. :177-188.
Foster JS, Johnson R, Kodumal J, Aiken A.  2006.  Flow-insensitive type qualifiers. ACM Transactions on Programming Languages and Systems (TOPLAS). 28(6):1035-1087.
Foster JS, Hicks MW, Pugh W.  2007.  Improving software quality with static analysis. Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. :83-84.
Foster JS, Fahndrich M, Aiken A.  2000.  Polymorphic versus monomorphic points-to analysis. Proceedings of the 7th International Static Analysis Symposium, Lecture Notes in Computer Science. Springer Verlag.
Foster JS, Fähndrich M, Aiken A.  1999.  A theory of type qualifiers. ACM SIGPLAN Notices. 34:192-203.
Foster JS, Terauchi T, Aiken A.  2002.  Flow-sensitive type qualifiers. ACM SIGPLAN Notices. 37(5):1-12.
Förster H, Cummings MP, Coffey MD.  2000.  Phylogenetic relationships of ıt Phytophthora species based on ribosomal ITS I DNA sequence analysis with emphasis on Waterhouse groups V and VI. Mycol Res. 104:1055-1061.
Ford TE, Colwell RR, Rose JB, Morse SS, Rogers DJ, Yates TL.  2009.  Using Satellite Images of Environmental Changes to Predict Infectious Disease Outbreaks. Emerging Infectious DiseasesEmerg Infect Dis. 15(9):1341-1346.
da Fonseca GD, Mount D.  2010.  Approximate range searching: The absolute model. Computational Geometry. 43(4):434-444.
Fong A, Ashktorab Z, Froehlich J.  2013.  Bear-with-me: an embodied prototype to explore tangible two-way exchanges of emotional language. CHI'13 Extended Abstracts on Human Factors in Computing Systems.
Fomin EDDFV, Hajiaghayi MT, Thilikos DM.  2004.  Bidimensional Parameters and Local Treewidth. Latin 2004: Theoretical Informatics: 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004: Proceedings. :109-109.
Folkers A, Samet H.  2002.  Content-based image retrieval using Fourier descriptors on a logo database. Pattern Recognition, 2002. Proceedings. 16th International Conference on. 3:521-524vol.3-521-524vol.3.
Florescu D, Raschid L, Valduriez P.  1996.  A methodology for query reformulation in CIS using semantic knowledge. International Journal of Cooperative Information Systems. 5(4):431-468.
Florescu D, Raschid L, Valduriez P.  1996.  Answering queries using OQL view expressions. In Workshop on Materialized Views, in cooperation with ACM SIGMOD.
Florczyk SJ, Simon M, Juba D, P. Pine S, Sarkar S, Chen D, Baker PJ, Bodhak S, Cardone A, Brady MC et al..  2017.  A Bioinformatics 3D Cellular Morphotyping Strategy for Assessing Biomaterial Scaffold Niches. ACS Biomaterials Science & Engineering. 3(10):2302-2313.
Florczyk SJ, Simon M, Juba D, P Pine S, Sarkar S, Chen D, Baker PJ, Bodhak S, Cardone A, Brady M et al..  2016.  3D Cellular Morphotyping of Scaffold Niches. 2016 32nd Southern Biomedical Engineering Conference (SBEC).
Fleischmann KR, Templeton T C, Boyd-Graber J.  2011.  Modeling diverse standpoints in text classification: learning to be human by modeling human values. Proceedings of the 2011 iConference. :672-673.
Fleischmann KR, Oard D, Cheng AS, Wang P, Ishita E.  2009.  Automatic classification of human values: Applying computational thinking to information ethics. Proceedings of the American Society for Information Science and Technology. 46(1):1-4.
Fleischer L K, Saniee I, Shepherd F B, Srinivasan A.  2007.  Fast and scalable approximation methods for finding minimum cost flows with .... 10/053,079(7280526)
Fleischer L, Meyerson A, Saniee I, Shepherd FB, Srinivasan A.  2001.  Near-optimal design of MP S tunnels with shared recovery. DIMACS Mini-Workshop on Quality of Service Issues in the Internet.
Fleet DJ, Black MJ, Yacoob Y, Jepson AD.  2000.  Design and use of linear models for image motion analysis. International Journal of Computer Vision. 36(3):171-193.

Pages