|
Theoretical Computer Science (journal)
''Theoretical Computer Science'' (TCS) is a computer science journal published by Elsevier, started in 1975 and covering theoretical computer science. The journal publishes 52 issues a year. It is abstracted and indexed by Scopus and the Science Citation Index. According to the Journal Citation Reports, its 2020 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as ... is 0.827. References Computer science journals Elsevier academic journals Publications established in 1975 {{comp-sci-theory-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paul Spirakis
Paul Spirakis is a Professor of Computer Science at the University of Liverpool, specialising in Algorithms, Complexity and Algorithmic Game Theory. He has been a professor at the University of Liverpool since 2013 and, he also is a professor at Patras University. He leads the Algorithms Research section in the Department of Computer Science at the University of Liverpool. He is a Fellow of EATCS and a Member of Academia Europaea. He is the Editor in Chief (Track A) of the journal ''Theoretical Computer Science''. He completed his S.M in Applied Mathematics (Computer Science) at Harvard University in 1979 followed by a PhD in Applied Mathematics (Computer Science) also at Harvard University in 1982 (supervised by John Reif). References {{DEFAULTSORT:Spirakis, Paul Greek computer scientists English computer scientists Harvard John A. Paulson School of Engineering and Applied Sciences alumni Year of birth missing (living people) Living people National Technical Univers ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Don Sannella
Donald T. Sannella FRSE is professor of computer science in the Laboratory for Foundations of Computer Science, at the School of Informatics, University of Edinburgh, Scotland. Sannella graduated from Yale University, University of California, Berkeley and University of Edinburgh with degrees in computer science. His research interests include: algebraic specification and formal software development, correctness of modular systems, types and functional programming, resource certification for mobile code. Sannella is founder of the European Joint Conferences on Theory and Practice of Software, a confederation of computer science conferences, held annually in Europe since 1998. He is editor-in-chief of the journal ''Theoretical Computer Science computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lila Kari
Lila Kari (née Sântean) is a Romanian and Canadian computer scientist, professor in the David R. Cheriton School of Computer Science at the University of Waterloo, Canada. Biography Professor Kari earned a master's degree at the University of Bucharest in 1987, studying there with Gheorghe Păun, and then moved to the University of Turku in Finland for her graduate studies, earning a Ph.D. in 1991 under the supervision of Arto Salomaa. She came to the University of Western Ontario as a visiting professor in 1993, and by 1996 had been hired there as a tenure-track faculty member.. In 2017 she accepted a position of professor of computer science and University Research Chair at the University of Waterloo. Research Kari's thesis research was in formal language theory. In the mid-1990s, inspired by an article by Leonard Adleman in ''Science'', she shifted her interests to DNA computing. In her research, together with Laura Landweber, she has initiated and explored the study of c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (including the design and implementation of hardware and software). Computer science is generally considered an area of academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing security vulnerabilities. Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of repositories o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elsevier
Elsevier () is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as '' The Lancet'', ''Cell'', the ScienceDirect collection of electronic journals, '' Trends'', the '' Current Opinion'' series, the online citation database Scopus, the SciVal tool for measuring research performance, the ClinicalKey search engine for clinicians, and the ClinicalPath evidence-based cancer care service. Elsevier's products and services also include digital tools for data management, instruction, research analytics and assessment. Elsevier is part of the RELX Group (known until 2015 as Reed Elsevier), a publicly traded company. According to RELX reports, in 2021 Elsevier published more than 600,000 articles annually in over 2,700 journals; as of 2018 its archives contained over 17 million documents and 40,000 e-books, with over one billion annual downloads. Researchers have criticized Elsevier for its high profit m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Netherlands
) , anthem = ( en, "William of Nassau") , image_map = , map_caption = , subdivision_type = Sovereign state , subdivision_name = Kingdom of the Netherlands , established_title = Before independence , established_date = Spanish Netherlands , established_title2 = Act of Abjuration , established_date2 = 26 July 1581 , established_title3 = Peace of Münster , established_date3 = 30 January 1648 , established_title4 = Kingdom established , established_date4 = 16 March 1815 , established_title5 = Liberation Day , established_date5 = 5 May 1945 , established_title6 = Kingdom Charter , established_date6 = 15 December 1954 , established_title7 = Caribbean reorganisation , established_date7 = 10 October 2010 , official_languages = Dutch , languages_type = Regional languages , languages_sub = yes , languages = , languages2_type = Recognised languages , languages2_sub = yes , languages2 = , demonym = Dutch , capital = Amsterdam , largest_city = capital , ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (including the design and implementation of hardware and software). Computer science is generally considered an area of academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing security vulnerabilities. Computer graphics and computational geometry address the generation of images. Programming language theory considers different ways to describe computational processes, and database theory concerns the management of repositories o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoretical Computer Science
computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumscribe the theoretical areas precisely. The ACM's Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description: History While logical inference and mathematical proof had existed previously, in 1931 Kurt Gödel proved with his incompleteness theorem that there are fundamental limitations on what statements could be proved or disproved. Information theory was added to the field with a 1948 mathematical theory of communication by Claude Shannon. In the same decade, Donald Hebb introduced a mathematical model of learning in the brain. With mounting biological data supporting this hypothesis with some modification, the fields of neural networks and parallel distributed processing were established. I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scopus
Scopus is Elsevier's abstract and citation database launched in 2004. Scopus covers nearly 36,377 titles (22,794 active titles and 13,583 inactive titles) from approximately 11,678 publishers, of which 34,346 are peer-reviewed journals in top-level subject fields: life sciences, social sciences, physical sciences and health sciences. It covers three types of sources: book series, journals, and trade journals. All journals covered in the Scopus database are reviewed for sufficiently high quality each year according to four types of numerical quality measure for each title; those are ''h''-Index, CiteScore, SJR ( SCImago Journal Rank) and SNIP ( Source Normalized Impact per Paper). Searches in Scopus also incorporate searches of patent databases. Overview Comparing ease of use and coverage of Scopus and the Web of Science (WOS), a 2006 study concluded that "Scopus is easy to navigate, even for the novice user. ... The ability to search both forward and backward from a part ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Science Citation Index
The Science Citation Index Expanded – previously entitled Science Citation Index – is a citation index originally produced by the Institute for Scientific Information (ISI) and created by Eugene Garfield. It was officially launched in 1964 and is now owned by Clarivate (previously the Intellectual Property and Science business of Thomson Reuters). The indexing database covers more than 9,200 notable and significant journals, across 178 disciplines, from 1900 to the present. These are alternatively described as the world's leading journals of science and technology, because of a rigorous selection process. Accessibility The index is available online within Web of Science, as part of its Core Collection (there are also CD and printed editions, covering a smaller number of journals). The database allows researchers to search through over 53 million records from thousands of academic journals that were published by publishers from around the world. Chemistry Citation Index Cla ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Citation Reports
''Journal Citation Reports'' (''JCR'') is an annual publicationby Clarivate Analytics (previously the intellectual property of Thomson Reuters). It has been integrated with the Web of Science and is accessed from the Web of Science-Core Collections. It provides information about academic journals in the natural sciences and social sciences, including impact factors. The ''JCR'' was originally published as a part of '' Science Citation Index''. Currently, the ''JCR'', as a distinct service, is based on citations compiled from the '' Science Citation Index Expanded'' and the '' Social Sciences Citation Index''.- - - Basic journal information The information given for each journal includes: * the basic bibliographic information of publisher, title abbreviation, language, ISSN * the subject categories (there are 171 such categories in the sciences and 54 in the social sciences) Citation information * Basic citation data: ** the number of articles published during that year and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Impact Factor
The impact factor (IF) or journal impact factor (JIF) of an academic journal is a scientometric index calculated by Clarivate that reflects the yearly mean number of citations of articles published in the last two years in a given journal, as indexed by Clarivate's Web of Science. As a journal-level metric, it is frequently used as a proxy for the relative importance of a journal within its field; journals with higher impact factor values are given the status of being more important, or carry more prestige in their respective fields, than those with lower values. While frequently used by universities and funding bodies to decide on promotion and research proposals, it has come under attack for distorting good scientific practices. History The impact factor was devised by Eugene Garfield, the founder of the Institute for Scientific Information (ISI) in Philadelphia. Impact factors began to be calculated yearly starting from 1975 for journals listed in the '' Journal Citation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
