|
Francine Berman
Francine Berman (born February 7, 1951)Dr. FRANCINE BERMAN , Rensselaer Polytechnic Institute is an American computer scientist, and a leader in digital data preservation and cyber-infrastructure. In 2009, she was the inaugural recipient of the IEEE/ACM-CS "for her influential leadership in the design, development and deployment of national-scale , her inspiring work as a teacher and mentor, and her exemplary service to the [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Glendale, California
Glendale is a city in the San Fernando Valley and Verdugo Mountains regions of Los Angeles County, California, Los Angeles County, California, United States. At the 2020 United States Census, 2020 U.S. Census the population was 196,543, up from 191,719 at the 2010 United States Census, 2010 census, making it the fourth-largest city in Los Angeles County and the List of largest California cities by population, 24th-largest city in California. It is located about north of downtown Los Angeles. Glendale lies in the Verdugo Mountains, and is a suburb in the Los Angeles metropolitan area. The city is bordered to the northwest by the Sun Valley, Los Angeles, Sun Valley and Tujunga, Los Angeles, California, Tujunga neighborhoods of Los Angeles; to the northeast by La Cañada Flintridge, California, La Cañada Flintridge and the unincorporated area of La Crescenta, California, La Crescenta; to the west by Burbank, California, Burbank and Griffith Park; to the east by Eagle Rock, Los An ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dynamic Logic (modal Logic)
In logic, philosophy, and theoretical computer science, dynamic logic is an extension of modal logic capable of encoding properties of computer programs. A simple example of a statement in dynamic logic is :\text \to text\text, which states that if the ground is currently dry and it rains, then afterwards the ground will be wet. The syntax of dynamic logic contains a language of ''propositions'' (like "the ground is dry") and a language of ''actions'' (like "it rains"). The core modal constructs are , which states that after performing action ''a'' the proposition ''p'' should hold, and \langle a \rangle p, which states that after performing action ''a'' it is possible that ''p'' holds. The action language supports operations a\mathbinb (doing one action followed by another), a \cup b (doing one action or another), and iteration a (doing one action zero or more times). The proposition language supports Boolean operations (and, or, and not). The action logic is expressive enough ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computing Research Association
The Computing Research Association (CRA) is a 501(c)3 non-profit association of North American academic departments of computer science, computer engineering, and related fields; laboratories and centers in industry, government, and academia engaging in basic computing research; and affiliated professional societies. CRA was formed in 1972 and is based in Washington, D.C., United States. Mission and activities CRA's mission is to enhance innovation by joining with industry, government and academia to strengthen research and advanced education in computing. CRA executes this mission by leading the computing research community, informing policymakers and the public, and facilitating the development of strong, diverse talent in the field. Policy CRA assists policymakers who seek to understand the issues confronting the federal Networking and Information Technology Research and Development (NITRD) program, a thirteen-agency, $4-billion-a-year federal effort to support computing res ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tony Hey
Professor Anthony John Grenville Hey (born 17 August 1946) was Vice-President of Microsoft Research Connections, a division of Microsoft Research, until his departure in 2014. Education Hey was educated at King Edward's School, Birmingham and the University of Oxford. He graduated with a Bachelor of Arts degree in physics in 1967, and a Doctor of Philosophy in theoretical physics in 1970 supervised by P. K. Kabir. He was a student of Worcester College, Oxford and St John's College, Oxford. Career and research From 1970 through 1972 Hey was a postdoctoral fellow at California Institute of Technology (Caltech). Moving to Pasadena, California, he worked with Richard Feynman and Murray Gell-Mann, both winners of the Nobel Prize in Physics. He then moved to Geneva, Switzerland and worked as a fellow at CERN (the European organisation for nuclear research) for two years. Hey worked about thirty years as an academic at University of Southampton, starting in 1974 as a particle p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
American Association For The Advancement Of Science
The American Association for the Advancement of Science (AAAS) is an American international non-profit organization with the stated goals of promoting cooperation among scientists, defending scientific freedom, encouraging scientific responsibility, and supporting scientific education and science outreach for the betterment of all humanity. It is the world's largest general scientific society, with over 120,000 members, and is the publisher of the well-known scientific journal ''Science''. History Creation The American Association for the Advancement of Science was created on September 20, 1848, at the Academy of Natural Sciences in Philadelphia, Pennsylvania. It was a reformation of the Association of American Geologists and Naturalists. The society chose William Charles Redfield as their first president because he had proposed the most comprehensive plans for the organization. According to the first constitution which was agreed to at the September 20 meeting, the goal of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Institute Of Electrical And Electronics Engineers
The Institute of Electrical and Electronics Engineers (IEEE) is a 501(c)(3) professional association for electronic engineering and electrical engineering (and associated disciplines) with its corporate office in New York City and its operations center in Piscataway, New Jersey. The mission of the IEEE is ''advancing technology for the benefit of humanity''. The IEEE was formed from the amalgamation of the American Institute of Electrical Engineers and the Institute of Radio Engineers in 1963. Due to its expansion of scope into so many related fields, it is simply referred to by the letters I-E-E-E (pronounced I-triple-E), except on legal business documents. , it is the world's largest association of technical professionals with more than 423,000 members in over 160 countries around the world. Its objectives are the educational and technical advancement of electrical and electronic engineering, telecommunications, computer engineering and similar disciplines. History Origins ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Computing Machinery
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, claiming nearly 110,000 student and professional members . Its headquarters are in New York City. The ACM is an umbrella organization for academic and scholarly interests in computer science ( informatics). Its motto is "Advancing Computing as a Science & Profession". History In 1947, a notice was sent to various people: On January 10, 1947, at the Symposium on Large-Scale Digital Calculating Machinery at the Harvard computation Laboratory, Professor Samuel H. Caldwell of Massachusetts Institute of Technology spoke of the need for an association of those interested in computing machinery, and of the need for communication between them. ..After making some inquiries during May and June, we believe there is ample interest to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Research Data Alliance
The Research Data Alliance (RDA) is a research community organization started in 2013 by the European Commission, the American National Science Foundation and National Institute of Standards and Technology, and the Australian Department of Innovation. Its mission is to build the social and technical bridges to enable open sharing of data.Research Data Alliance (2018"About RDA" Web Page. Accessed 2018-04-27 The RDA vision is researchers and innovators openly sharing data across technologies, disciplines, and countries to address the grand challenges of society.Research Data Alliance (2018"About RDA" Web Page. Accessed 2018-04-27 The RDA is a major recipient of support in the form of grants from its constituent members' governments. As of May 2021, the RDA has over 11,000 individual members from 145 countries.Research Data Alliance (2021"About RDA?" Web Page. Accessed 2021-05-07 Structure The RDA's main vehicle for outputs are 18-month long working groups that generate recommenda ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Joint Information Systems Committee
Jisc is a United Kingdom not-for-profit company that provides network and IT services and digital resources in support of further and higher education institutions and research as well as not-for-profits and the public sector. History The Joint Information Systems Committee (JISC) was established on 1 April 1993 under the terms of letters of guidance from the Secretaries of State to the newly established Higher Education Funding Councils for England, Scotland and Wales, inviting them to establish a Joint Committee to deal with networking and specialist information services. JISC was to provide national vision and leadership for the benefit of the entire Higher Education sector. The organisation inherited the functions of the Information Systems Committee (ISC) and the Computer Board, both of which had served universities. An initial challenge was to support a much larger community of institutions, including ex-polytechnics and higher education colleges. The new committe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Andrew W
Andrew is the English form of a given name common in many countries. In the 1990s, it was among the top ten most popular names given to boys in English-speaking countries. "Andrew" is frequently shortened to "Andy" or "Drew". The word is derived from the el, Ἀνδρέας, ''Andreas'', itself related to grc, ἀνήρ/ἀνδρός ''aner/andros'', "man" (as opposed to "woman"), thus meaning "manly" and, as consequence, "brave", "strong", "courageous", and "warrior". In the King James Bible, the Greek "Ἀνδρέας" is translated as Andrew. Popularity Australia In 2000, the name Andrew was the second most popular name in Australia. In 1999, it was the 19th most common name, while in 1940, it was the 31st most common name. Andrew was the first most popular name given to boys in the Northern Territory in 2003 to 2015 and continuing. In Victoria, Andrew was the first most popular name for a boy in the 1970s. Canada Andrew was the 20th most popular name chosen for mal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Library Of Congress
The Library of Congress (LOC) is the research library that officially serves the United States Congress and is the ''de facto'' national library of the United States. It is the oldest federal cultural institution in the country. The library is housed in three buildings on Capitol Hill in Washington, D.C.; it also maintains a conservation center in Culpeper, Virginia. The library's functions are overseen by the Librarian of Congress, and its buildings are maintained by the Architect of the Capitol. The Library of Congress is one of the largest libraries in the world. Its "collections are universal, not limited by subject, format, or national boundary, and include research materials from all parts of the world and in more than 470 languages." Congress moved to Washington, D.C., in 1800 after holding sessions for eleven years in the temporary national capitals in New York City and Philadelphia. In both cities, members of the U.S. Congress had access to the sizable collection ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
TeraGrid
TeraGrid was an e-Science grid computing infrastructure combining resources at eleven partner sites. The project started in 2001 and operated from 2004 through 2011. The TeraGrid integrated high-performance computers, data resources and tools, and experimental facilities. Resources included more than a petaflops of computing capability and more than 30 petabytes of online and archival data storage, with rapid access and retrieval over high-performance computer network connections. Researchers could also access more than 100 discipline-specific databases. TeraGrid was coordinated through the Grid Infrastructure Group (GIG) at the University of Chicago, working in partnership with the resource provider sites in the United States. History The US National Science Foundation (NSF) issued a solicitation asking for a "distributed terascale facility" from program director Richard L. Hilderbrandt. The TeraGrid project was launched in August 2001 with $53 million in funding to four sites: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
