DOCSLIB.ORG

Title Publisher 3C ON-LINE ACM / Association for Computing Machinery 3DOR

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Title Publisher 3C ON-LINE ACM / Association for Computing Machinery 3DOR Title Publisher 3C ON-LINE ACM / Association for Computing Machinery 3DOR: 3D Object Retrieval ACM / Association for Computing Machinery 3DVP: 3D Video Processing ACM / Association for Computing Machinery A2CWiC: Conference of Women in Computing in India ACM / Association for Computing Machinery AAA-IDEA : Advanced Architectures and Algorithms for Internet Delivery and ApplicationsACM / Association for Computing Machinery AADEBUG: Automated analysis-driven debugging ACM / Association for Computing Machinery AAMAS: Autonomous Agents and Multiagent Systems ACM / Association for Computing Machinery ACDC: Automated Control for Datacenters and Clouds ACM / Association for Computing Machinery AcessNets: Access Networks ACM / Association for Computing Machinery ACET: Advances in Computer Enterntainment Technology ACM / Association for Computing Machinery ACISNR: Applications of Computer and Information Sciences to Nature Research ACM / Association for Computing Machinery ACL2: ACL2 Theorem Prover and its Applications ACM / Association for Computing Machinery ACM Communications in Computer Algebra ACM / Association for Computing Machinery ACM Computing Surveys ACM / Association for Computing Machinery ACM DEV: Computing for Development ACM / Association for Computing Machinery ACM Inroads ACM / Association for Computing Machinery ACM Journal of Computer Documentation ACM / Association for Computing Machinery ACM Journal of Data and Information Quality (JDIQ) ACM / Association for Computing Machinery ACM journal on emerging technologies in computing systems ACM / Association for Computing Machinery ACM Letters on Programming Languages and Systems (LOPLAS) ACM / Association for Computing Machinery ACM Lisp Bulletin ACM / Association for Computing Machinery ACM Policy: ACM Policy ACM / Association for Computing Machinery ACM Queue ACM / Association for Computing Machinery ACM SE: ACM Southeast Regional Conference ACM / Association for Computing Machinery ACM SIGACCESS Accessibility and Computing (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGACT News (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGAda Ada Letters (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGAPL APL Quote Quad ACM / Association for Computing Machinery ACM SIGAPP Applied Computing Review ACM / Association for Computing Machinery ACM SIGARCH Computer Architecture News (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGART Bulletin (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGBED Review ACM / Association for Computing Machinery ACM SIGBIO Newsletter (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGBioinformatics Record ACM / Association for Computing Machinery ACM SIGCAPH Computers and the Physically Handicapped ACM / Association for Computing Machinery ACM SIGCAS Computers and Society (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGCHI Bulletin ACM / Association for Computing Machinery ACM SIGCHI Bulletin - a supplement to interactions ACM / Association for Computing Machinery ACM SIGCOMM Computer Communication Review ACM / Association for Computing Machinery ACM SIGCPR Computer Personnel ACM / Association for Computing Machinery ACM SIGCSE Bulletin (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGCSIM Installation Management Review: A Quarterly Publication of the SpecialACM Interest / Association Group on forComputer Computing Systems Machinery Installation Management ACM SIGCUE Outlook (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGDA Newsletter (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGDOC Asterisk Journal of Computer Documentation (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGecom Exchanges (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGEVO Workshop on Foundations of Genetic Algorithms ACM / Association for Computing Machinery ACM SIGEVOlution ACM / Association for Computing Machinery ACM SIGFORTH Newsletter (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGGRAPH Computer Graphics ACM / Association for Computing Machinery ACM SIGGROUP Bulletin ACM / Association for Computing Machinery ACM SIGHIT Record ACM / Association for Computing Machinery ACM SIGICE Bulletin (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGIR Forum (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGITE Newsletter ACM / Association for Computing Machinery ACM SIGITE Research in IT ACM / Association for Computing Machinery ACM SIGKDD Explorations Newsletter (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGMETRICS Performance Evaluation Review ACM / Association for Computing Machinery ACM SIGMICRO Newsletter ACM / Association for Computing Machinery ACM SIGMIS Database (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGMOBILE Mobile Computing and Communications Review (ACM Digital Library)ACM / Association for Computing Machinery ACM SIGMOD Record (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGMultimedia Records ACM / Association for Computing Machinery ACM SIGNUM Newsletter (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGOA Newsletter (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGOIS Bulletin (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGOPS Operating Systems Review ACM / Association for Computing Machinery ACM SIGPC Notes ACM / Association for Computing Machinery ACM SIGPLAN ERLANG Workshop : a satellite event of PLI ACM / Association for Computing Machinery ACM SIGPLAN Lisp Pointers (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGPLAN Notices ACM / Association for Computing Machinery ACM SIGPLAN OOPS Messenger (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGSAC Review ACM / Association for Computing Machinery ACM SIGSAM Bulletin (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGSIM Simulation Digest (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGSMALL Newsletter ACM / Association for Computing Machinery ACM SIGSMALL/PC Notes (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGSOC Bulletin ACM / Association for Computing Machinery ACM SIGSOFT Software Engineering Notes (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGUCCS Newsletter (ACM Digital Library) ACM / Association for Computing Machinery ACM SIGWEB Newsletter (ACM Digital Library) ACM / Association for Computing Machinery ACM Transactions on Accessible Computing (TACCESS) ACM / Association for Computing Machinery ACM Transactions on Algorithms ACM / Association for Computing Machinery ACM Transactions on applied perception (TAP) ACM / Association for Computing Machinery ACM Transactions on Architecture and Code Optimization (TACO) ACM / Association for Computing Machinery ACM Transactions on Asian and Low-Resource Language Information Processing ACM / Association for Computing Machinery ACM Transactions on Asian Language Information Processing (TALIP) ACM / Association for Computing Machinery ACM Transactions on Autonomous and Adaptive Systems (TAAS) ACM / Association for Computing Machinery ACM Transactions on Computation Theory (TOCT) ACM / Association for Computing Machinery ACM Transactions on Computational Logic ACM / Association for Computing Machinery ACM Transactions on Computer Systems ACM / Association for Computing Machinery ACM Transactions on Computer-Human Interaction ACM / Association for Computing Machinery ACM Transactions on Computing Education (TOCE) ACM / Association for Computing Machinery ACM Transactions on Cyber-Physical Systems ACM / Association for Computing Machinery ACM transactions on database systems ACM / Association for Computing Machinery ACM Transactions on Design Automation of Electronic Systems ACM / Association for Computing Machinery ACM Transactions on Economics and Computation ACM / Association for Computing Machinery ACM Transactions on Embedded Computing Systems ACM / Association for Computing Machinery ACM Transactions on Graphics ACM / Association for Computing Machinery ACM Transactions on Information and System Security - TISSEC ACM / Association for Computing Machinery ACM Transactions on Information Systems ACM / Association for Computing Machinery ACM Transactions on Intelligent Systems and Technology (TIST) ACM / Association for Computing Machinery ACM Transactions on Interactive Intelligent Systems ACM / Association for Computing Machinery ACM Transactions on Internet Technology ACM / Association for Computing Machinery ACM Transactions on Knowledge Discovery from Data (TKDD) ACM / Association for Computing Machinery ACM Transactions on Management Information Systems ACM / Association for Computing Machinery ACM Transactions on Mathematical Software ACM / Association for Computing Machinery ACM Transactions on Modeling and Computer Simulation ACM / Association for Computing Machinery ACM Transactions on Modeling and Performance Evaluation of Computing Systems ACM / Association for Computing Machinery ACM Transactions on Multimedia Computing, Communications & Applications ACM / Association for Computing Machinery ACM Transactions on Parallel Computing ACM / Association for Computing Machinery ACM Transactions on Privacy and Security ACM / Association for Computing Machinery
Load more

Recommended publications
  • Note: This Is a Pre-Print, Draft Manuscript of Toby Svoboda, Duties Regarding Nature: a Kantian Environmental Ethic (Routledge, 2016)
    Note: This is a pre-print, draft manuscript of Toby Svoboda, Duties Regarding Nature: A Kantian Environmental Ethic (Routledge, 2016). If citing, please consult the published version, which contains substantial revisions. Duties Regarding Nature: A Kantian Environmental Ethic Draft of Complete Manuscript Toby Svoboda Table of Contents • Introduction: Kant and Environmental Ethics • Chapter 1: Traditional Approaches to Environmental Ethics • Chapter 2: Kantian Approaches to Animal Ethics and Environmental Ethics • Chapter 3: Indirect Duties, Moral Perfection, and Virtuous Dispositions • Chapter 4: Teleology and Non-Human Flourishing • Chapter 5: A Kantian Environmental Virtue Ethic • Conclusion: Advantages of the Kantian Environmental Virtue Ethic • References Introduction, 1 Introduction: Kant and Environmental Ethics Why Environmental Ethics? I have set out in this book to develop and defend a Kantian approach to environmental ethics. This immediately raises a question: why should we want an environmental ethic at all, much less a Kantian one? Human beings face serious environmental problems, such as those associated with climate change, loss of biodiversity, and air pollution.1 It seems clear that these problems have various ethical dimensions, given that they threaten to increase human mortality rates, cause substantial harm to present and future generations, and exacerbate socio-economic injustice.2 Moreover, the impact of human activities on the environment, such as ocean acidification due to anthropogenic emissions of greenhouse
    [Show full text]
  • Eakta Jain A. Professional Preparation: B. Appointments: C. Publications
    Eakta Jain Department of Computer and Information Science and Engineering University of Florida Phone: (352) 562-3979 E-mail: [email protected] Webpage: jainlab.cise.ufl.edu A. Professional Preparation: Indian Institute of Technology Kanpur, India B.Tech. (Electrical Engineering) 2006 Carnegie Mellon University M.S. (Robotics) 2010 Carnegie Mellon University Ph.D. (Robotics) 2012 B. Appointments: 02/14 – present Assistant Professor, Department of Computer and Information Science and Engi- neering, University of Florida, Gainesville, FL 12/12-02/14 Member of Technical Staff, Texas Instruments Embedded Signal Processing Lab, Computer Vision Branch, Dallas, TX 07/12-12/12 Systems Software Engineer, Natural User Interfaces Team, Texas Instruments, Dallas, TX 09/11-01/12 Lab Associate, Disney Research Pittsburgh, PA 06/10-08/10 Lab Associate, Disney Research Pittsburgh, PA 06/08-08/08 Lab Associate, Disney Research Pittsburgh, PA 06/07-08/07 Walt Disney Animation Studios, Burbank, CA C. Publications: Is the Motion of a Child Perceivably Different from the Motion of an Adult? Jain, E., Anthony, L., Aloba, A., Castonguay, A., Cuba, I., Shaw, A. and Woodward, J. (2016). ACM Transactions on Applied Percep- tion (TAP), 13(4), Article 22. DOI: 10.1145/2947616 Decoupling Light Reflex from Pupillary Dilation to Measure Emotional Arousal in Videos, Rai- turkar, P., Kleinsmith, A., Keil, A., Banerjee, A., and Jain, E. (2016), ACM Symposium on Ap- plied Perception (SAP), 89-96. Gaze-driven Video Re-editing, Jain, E., Sheikh, Y., Shamir, A. and Hodgins, J., (2015), ACM Transac- tions on Graphics (TOG) (34, p21:1-p21:12). DOI: 10.1145/2699644 3D Saliency from Eye Tracking with Tomography, Ma, B., Jain, E., and Entezari, A.
    [Show full text]
  • Yaffe-CV 7-20-16
    Gideon Yaffe Professor of Law and Professor of Philosophy & Psychology, Yale Law School Yale Law School, P.O. Box 208215, New Haven, CT 06520 [email protected] Publications Books As Author: The Age of Culpability: Children and the Nature of Criminal Responsibility, Oxford University Press, forthcoming. Attempts: In the Philosophy of Action and the Criminal Law, Oxford University Press, 2010. Manifest Activity: Thomas Reid’s Theory of Action, Oxford University Press, 2004. Liberty Worth the Name: Locke on Free Agency, Princeton University Press, 2000. As Co-Editor: Rational and Social Agency: The Philosophy of Michael Bratman (with Manuel Vargas), Oxford University Press, 2014. Contemporary Perspectives on Early Modern Philosophy: Essays in Honor of Vere Chappell (with David Owen and Paul Hoffman), Broadview Press, 2008. Articles “The Duty Requirement” forthcoming in The Ethics and Law of Omissions, edited by Dana Nelkin and Sam Rickless, Oxford University Press. “Desert for Wrongdoing” in The Journal of Ethics, 2016. “Hypothetical Consent” forthcoming in The Routledge Handbook of the Ethics of Consent, edited by Peter Schaber. “Collective Intentionality in the Law” forthcoming in The Routledge Handbook of Collective Intentionality, edited by Kirk Ludgwig and Marija Jankovic. “What Does Recent Neuroscience Tell Us About Criminal Responsibility?” (with Uri Maoz) in Journal of Law and the Biosciences, 2015. “Non-Political Images Evoke Neural Predictors of Political Ideology” (middle author--Ahn, W.-Y., Kishida, K. T., Gu, X., Lohrenz, T., Harvey, A. H., Alford, J. R., Smith, K. B., Yaffe, G., Hibbing, J. R., Dayan, P., & Montague, P. R.) in Current Biology, v.24, n. 22, 2014.
    [Show full text]
  • Hillview: a Trillion-Cell Spreadsheet for Big Data
    Hillview: A trillion-cell spreadsheet for big data Mihai Budiu Parikshit Gopalan Lalith Suresh [email protected] [email protected] [email protected] VMware Research VMware Research VMware Research Udi Wieder Han Kruiger Marcos K. Aguilera [email protected] University of Utrecht [email protected] VMware Research VMware Research ABSTRACT Unfortunately, enterprise data is growing dramatically, and cur- Hillview is a distributed spreadsheet for browsing very large rent spreadsheets do not work with big data, because they are lim- datasets that cannot be handled by a single machine. As a spread- ited in capacity or interactivity. Centralized spreadsheets such as sheet, Hillview provides a high degree of interactivity that permits Excel can handle only millions of rows. More advanced tools such data analysts to explore information quickly along many dimen- as Tableau can scale to larger data sets by connecting a visualiza- sions while switching visualizations on a whim. To provide the re- tion front-end to a general-purpose analytics engine in the back- quired responsiveness, Hillview introduces visualization sketches, end. Because the engine is general-purpose, this approach is either or vizketches, as a simple idea to produce compact data visualiza- slow for a big data spreadsheet or complex to use as it requires tions. Vizketches combine algorithmic techniques for data summa- users to carefully choose queries that the system is able to execute rization with computer graphics principles for efficient rendering. quickly. For example, Tableau can use Amazon Redshift as the an- While simple, vizketches are effective at scaling the spreadsheet alytics back-end but users must understand lengthy documentation by parallelizing computation, reducing communication, providing to navigate around bad query types that are too slow to execute [17].
    [Show full text]
  • SIGOPS Annual Report 2012
    SIGOPS Annual Report 2012 Fiscal Year July 2012-June 2013 Submitted by Jeanna Matthews, SIGOPS Chair Overview SIGOPS is a vibrant community of people with interests in “operatinG systems” in the broadest sense, includinG topics such as distributed computing, storaGe systems, security, concurrency, middleware, mobility, virtualization, networkinG, cloud computinG, datacenter software, and Internet services. We sponsor a number of top conferences, provide travel Grants to students, present yearly awards, disseminate information to members electronically, and collaborate with other SIGs on important programs for computing professionals. Officers It was the second year for officers: Jeanna Matthews (Clarkson University) as Chair, GeorGe Candea (EPFL) as Vice Chair, Dilma da Silva (Qualcomm) as Treasurer and Muli Ben-Yehuda (Technion) as Information Director. As has been typical, elected officers agreed to continue for a second and final two- year term beginning July 2013. Shan Lu (University of Wisconsin) will replace Muli Ben-Yehuda as Information Director as of AuGust 2013. Awards We have an excitinG new award to announce – the SIGOPS Dennis M. Ritchie Doctoral Dissertation Award. SIGOPS has lonG been lackinG a doctoral dissertation award, such as those offered by SIGCOMM, Eurosys, SIGPLAN, and SIGMOD. This new award fills this Gap and also honors the contributions to computer science that Dennis Ritchie made durinG his life. With this award, ACM SIGOPS will encouraGe the creativity that Ritchie embodied and provide a reminder of Ritchie's leGacy and what a difference a person can make in the field of software systems research. The award is funded by AT&T Research and Alcatel-Lucent Bell Labs, companies that both have a strong connection to AT&T Bell Laboratories where Dennis Ritchie did his seminal work.
    [Show full text]
  • Johann Frick
    JOHANN FRICK Department of Philosophy (609) 258-9494 (office) 212 1879 Hall (609) 258-1502 (fax) Princeton University [email protected] Princeton, New Jersey 08544- http://scholar.princeton.edu/jfrick 1006 AREAS OF SPECIALIZATION Normative Ethics; Practical Ethics (including Bioethics); Political Philosophy. AREAS OF COMPETENCE Metaethics; Causation; Philosophy of Action; Wittgenstein. EMPLOYMENT 2020- Associate Professor in the Department of Philosophy and the Present Center for Human Values, Princeton University. 2015 – Assistant Professor in the Department of Philosophy and the 2020 Center for Human Values, Princeton University. Feb 2014 – Instructor in the Department of Philosophy and the Center for 2015 Human Values, Princeton University. EDUCATION 2008 - 2014 Ph.D. in Philosophy, Harvard University. • Dissertation: “Making People Happy, Not Making Happy People: A Defense of the Asymmetry Intuition in Population Ethics”; Committee: T.M. Scanlon, Frances Kamm, Derek Parfit. 2005 - 2008 BPhil degree in Philosophy, Merton College, Oxford University. • Distinction in both the written examinations and the BPhil thesis. • BPhil thesis: “Morality and the Problem of Foreseeable Non- Compliance”; advisor: Derek Parfit. • Specialization in Moral Philosophy (tutor: Ralph Wedgwood); Political Philosophy (tutors: Joseph Raz and John Tasioulas); Wittgenstein (tutor: Stephen Mulhall). 2006 - 2007 Visiting student at the École Normale Supérieure (ENS) in Paris. • Courses and seminars at the ENS, the Institut Jean Nicod, and the Collège de France; tutor: François Recanati. 2002 - 2005 BA (Hons.) degree in Philosophy, Politics & Economics, St. John’s College, Oxford University. • First Class Honours in the Final Examinations (June 2005). • Distinction in the Preliminary Examination (June 2003). FELLOWSHIPS, AWARDS, AND HONORS Richard Stockton Bicentennial Preceptorship, Princeton University (2018-2021), awarded annually to one or two assistant professors from all the humanities and social sciences.
    [Show full text]
  • Department of Computer Science and Engineering
    Department of Computer Science and Engineering Journals SJR Title ISSN SJR Quartile Country Molecular Systems Biology ISSN 17444292 8.87 Q1 United Kingdom IEEE Transactions on Pattern Analysis and Machine Intelligence ISSN 01628828 7.653 Q1 United States MIS Quarterly: Management Information Systems ISSN 02767783 6.984 Q1 United States Wiley Interdisciplinary Reviews: Computational Molecular Science ISSN 17590884, 17590876 6.715 Q1 United States Foundations and Trends in Machine Learning ISSN 19358237 6.194 Q1 United States IEEE Transactions on Fuzzy Systems ISSN 10636706 5.8 Q1 United States International Journal of Computer Vision ISSN 09205691 5.633 Q1 Netherlands Journal of Supply Chain Management ISSN 15232409 5.343 Q1 United Kingdom Journal of Operations Management ISSN 02726963 5.052 Q1 Netherlands IEEE Transactions on Smart Grid ISSN 19493053 4.784 Q1 United States Bioinformatics ISSN 13674811, 13674803 4.643 Q1 United Kingdom Information Systems Research ISSN 15265536, 10477047 4.397 Q1 United States IEEE Transactions on Evolutionary Computation ISSN 1089778X 4.308 Q1 United States IEEE Transactions on Automatic Control ISSN 00189286 4.238 Q1 United States International Journal of Robotics Research ISSN 02783649 4.184 Q1 United States Briefings in Bioinformatics ISSN 14774054, 14675463 4.086 Q1 United Kingdom SIAM Journal on Optimization ISSN 10526234, 10957189 3.943 Q1 United States IEEE Transactions on Systems, Man and Cybernetics Part B: Cybernetics ISSN 10834419 3.921 Q1 United States Internet and Higher Education ISSN 10967516
    [Show full text]
  • I. Personal Information (1/11/2021) I.A. UID, Last Name, First Name, Middle Name, Contact Information UID: 101001302 Last
    I. Personal Information (1/11/2021) I.A. UID, Last Name, First Name, Middle Name, Contact Information UID: 101001302 Last Name: Shneiderman First Name: Ben Mailing Address: Brendan Iribe Building, Dept. of Computer Science, University of Maryland, College Park, MD 20742 Email: [email protected] Personal URL: http://www.cs.umd.edu/~ben HCIL URL: http://www.cs.umd.edu/hcil Wikipedia: https://en.wikipedia.org/wiki/Ben_Shneiderman Google Scholar: https://scholar.google.com/citations?user=h4i4fh8AAAAJ&hl=en ORCID: orcid.org/0000-0002-8298-1097 I.B. Academic Appointments at UMD 2017- Emeritus Distinguished University Professor 2013- Distinguished University Professor 2013- Affiliate Professor, Glenn L. Martin Professor of Engineering 2005- Affiliate Professor, College of Information Studies 2005- Affiliate Professor, College of Engineering 1991- 2005 Member, Institute for Systems Research 1989- Professor, Department of Computer Science 1987- Member, Institute for Advanced Computer Studies 1980- 1989 Associate Professor, Department of Computer Science 1976- 1980 Assistant Professor, Department of Information Systems Management I.C. Administrative Appointments at UMD 1983- 2000 Founding Director, Human-Computer Interaction Lab, Institute for Advanced Computer Studies I.D. Other Employment 1973- 1976 Indiana University Assistant Professor, Department of Computer Science 1972- 1973 State University of NY Instructor, Department of Computer Science at Stony Brook 1968- 1972 State University of NY Instructor, Department of Data Processing at Farmingdale
    [Show full text]
  • Member Renewal Guide
    MEMBERSHIP DUES (All prices indicated are in U.S. dollars) membership dues (cont’d) Professional Member .........................................................................................$99 Professional Member PLUS Digital Library ($99 + $99) .........$198 PAYMENT Lifetime Membership ...................................................................... Prices vary Payment accepted by Visa, MasterCard, American Express, Available to ACM Professional Members in three age tiers. Discover, check, or money order in U.S. dollars. For residents Pricing is determined as a multiple of current professional rates. outside the US our preferred method of payment is credit The pricing structure is listed at www.acm.org/membership/life. card—but we do accept checks drawn in foreign currency at Membership the current monetary exchange rate. Student to Professional Transition ..........................................................$49 Renewal PLUS Digital Library ($49 + $50) ................................................................$99 CHANGING YOUR MEMBERSHIP STATUS... Student Membership .........................................................................................$19 From Student to Professional Guide Access to online books and courses; print subscription to XRDS; (Special Student Transition Dues of $49) online subscription to Communications of the ACM; and more. Cross out “Student” in the Member Class section, and write Student Membership PLUS Digital Library .......................................$42 “Student Tran sition
    [Show full text]
  • Springer Titles on Display
    ABCD springer.com Springer Titles on Display American Philosophical Association - Eastern Division 2008 Franklin Hall B, Philadelphia Marriott Philadelphia, PA December 27 — 30, 2008 20% Discount valid through January 30 2009 Discount applicable to all Springer books. Mention reference E30290S when ordering. Credit cards preferred (AMEX, MasterCard, VISA). Springer ships internationally. Prices do not include tax or shipping. Order form with discount code at the back of this list. springerlink.com SpringerLink The world’s most comprehensive online collection of scientifi c, technological and medical journals, books and reference works Journals, eBooks and eReference Works integrated on a single user interface New powerful search engine Extensive Online Archives Collection Organized in 13 subject Collections To browse our content visit springerlink.com VISIT TODAY 012521a 012521a_210x276ma_4c.indd 1 24.07.2007 14:05:38 Uhr APA - Eastern Division 2008, Philadelphia, PA 7 December 27 — 30, 2008 1 springer.com Science and Its History Nanotechnology & Society Symbolic Landscapes A Reassessment of the Historiography Current and Emerging Ethical Issues G. Backhaus, J. Murungi (Eds.) of Science F. Allhoff, P. Lin (Eds.) 2009. Approx. 420 p. 60 illus. Hardcover J. Agassi 2008. XXXIV, 300 p. Hardcover 978-1-4020-8702-8 7 $269.00 Exhibits Price 7 $215.20 2008. 500 p. 10 illus. (Boston Studies in the Philosophy 978-1-4020-6208-7 7 $119.00 of Science, Volume 253) Dustjacket Exhibits Price 7 $95.20 978-1-4020-5631-4 7 $159.00 Exhibits Price 7 $127.20 Extensionalism: The Revolution Physicians at War in Logic The Dual-Loyalties Challenge N. Bar- Am Thinking about Life F.
    [Show full text]
  • Shanlu › About › Cv › CV Shanlu.Pdf Shan Lu
    Shan Lu University of Chicago, Dept. of Computer Science Phone: +1-773-702-3184 5730 S. Ellis Ave., Rm 343 E-mail: [email protected] Chicago, IL 60637 USA Homepage: http://people.cs.uchicago.edu/~shanlu RESEARCH INTERESTS Tool support for improving the correctness and efficiency of large scale software systems EMPLOYMENT 2019 – present Professor, Dept. of Computer Science, University of Chicago 2014 – 2019 Associate Professor, Dept. of Computer Sciences, University of Chicago 2009 – 2014 Assistant Professor, Dept. of Computer Sciences, University of Wisconsin – Madison EDUCATION 2008 University of Illinois at Urbana-Champaign, Urbana, IL Ph.D. in Computer Science Thesis: Understanding, Detecting, and Exposing Concurrency Bugs (Advisor: Prof. Yuanyuan Zhou) 2003 University of Science & Technology of China, Hefei, China B.S. in Computer Science HONORS AND AWARDS 2019 ACM Distinguished Member Among 62 members world-wide recognized for outstanding contributions to the computing field 2015 Google Faculty Research Award 2014 Alfred P. Sloan Research Fellow Among 126 “early-career scholars (who) represent the most promising scientific researchers working today” 2013 Distinguished Alumni Educator Award Among 3 awardees selected by Department of Computer Science, University of Illinois 2010 NSF Career Award 2021 Honorable Mention Award @ CHI for paper [C71] (CHI 2021) 2019 Best Paper Award @ SOSP for paper [C62] (SOSP 2019) 2019 ACM SIGSOFT Distinguished Paper Award @ ICSE for paper [C58] (ICSE 2019) 2017 Google Scholar Classic Paper Award for
    [Show full text]
  • Software Engineering 0835
    Software Engineering 0835 1. Objectives In order to cultivate top creative talents in the field of software engineering, this discipline is designed to help students develop awareness of innovation and innovation capacity. Focusing on relevant software engineering research, students are expected to master the solid and broad basic theory and in-depth expertise and to achieve innovative research results. Doctoral students in this field should have a rigorous scientific attitude, good scientific style and scientific ethics, a wide range of disciplinary perspectives, a pioneering spirit and the overall quality for independently conducting scientific research. 2. Length of Study Period Postgraduate classification Normal length of study period Length of study period 4 years full-time 3 to 5 years full-time Doctoral students or 5 years part-time or 5 to 7 years part-time Direct Doctoral students I 5 years full-time 5 to 7 years full-time Direct Doctoral students II 6 years full-time 5 to 7 years full-time Notes: (1) Direct Doctoral students I: Doctoral students pursuing a doctoral degree directly from a bachelor degree (2) Direct Doctoral students II: Doctoral students of successive postgraduate and doctoral programs of study without a master degree 3. Research Areas (1) Software engineering theory and methods (2) Embedded computing and the Internet of Things (3) Digital media technologies (4) Trustworthy software (5) Computer and network security 4. Curriculums and Credits 4.1 Doctoral students (14 Credits or above) Course Classification Course
    [Show full text]