|
Higher-Order And Symbolic Computation
''Higher-Order and Symbolic Computation'' (formerly ''LISP and Symbolic Computation''; print: , online: ) was a computer science journal published by Springer Science+Business Media. It focuses on programming concepts and abstractions and programming language theory. The final issue appeared in 2013. Editors Former editors-in-chief of the journal have been: * Richard P. Gabriel, Sun Microsystems, Inc., USA (1988 – 1991) * Guy L. Steele Jr., Sun Microsystems, Inc., USA (1988 – 1991) * Robert R. Kessler, University of Utah, USA (1991 – 1998) The last editors-in-chief were Olivier Danvy ( Aarhus University) and Carolyn Talcott (SRI International). Abstracting and indexing The journal is abstracted and indexed in Academic OneFile, ACM Computing Reviews, ACM Digital Library, Computer Abstracts International Database, Computer Science Index, Current Abstracts, EBSCO, EI-Compendex, INSPEC, io-port.net, PASCAL, Scopus, Summon by Serial Solutions, VINITI Dat ... [...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 Applied science, practical disciplines (including the design and implementation of Computer architecture, hardware and Computer programming, software). Computer science is generally considered an area of research, 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 computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing Vulnerability (computing), security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Progr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Abstracts International Database
A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations (computation) automatically. Modern digital electronic computers can perform generic sets of operations known as programs. These programs enable computers to perform a wide range of tasks. A computer system is a nominally complete computer that includes the hardware, operating system (main software), and peripheral equipment needed and used for full operation. This term may also refer to a group of computers that are linked and function together, such as a computer network or computer cluster. A broad range of industrial and consumer products use computers as control systems. Simple special-purpose devices like microwave ovens and remote controls are included, as are factory devices like industrial robots and computer-aided design, as well as general-purpose devices like personal computers and mobile devices like smartphones. Computers power the Internet, which links b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Functional And Logic Programming
A journal, from the Old French ''journal'' (meaning "daily"), may refer to: *Bullet journal, a method of personal organization *Diary, a record of what happened over the course of a day or other period *Daybook, also known as a general journal, a daily record of financial transactions * Logbook, a record of events important to the operation of a vehicle, facility, or otherwise *Record (other) *Transaction log, a chronological record of data processing *Travel journal In publishing, ''journal'' can refer to various periodicals or serials: *Academic journal, an academic or scholarly periodical ** Scientific journal, an academic journal focusing on science ** Medical journal, an academic journal focusing on medicine **Law review, a professional journal focusing on legal interpretation * Magazine, non-academic or scholarly periodicals in general **Trade magazine, a magazine of interest to those of a particular profession or trade ** Literary magazine, a magazine devoted to li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Of Functional Programming
The ''Journal of Functional Programming'' is a peer-reviewed scientific journal covering the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications. The journal is of interest to computer scientists, software engineers, programming language researchers, and mathematicians interested in the logical foundations of programming. Philip Wadler was editor-in-chief from 1990 to 2004. The journal is indexed in ''Zentralblatt MATH''. As of 2022, the journal is published as open access: the journal articles are available online without a subscription. Author's institutions are expected to cover the journal costs: as of 2022, the article processing charge is GBP ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zentralblatt MATH
zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Information Infrastructure GmbH. Editors are the European Mathematical Society, FIZ Karlsruhe, and the Heidelberg Academy of Sciences. zbMATH is distributed by Springer Science+Business Media. It uses the Mathematics Subject Classification codes for organising reviews by topic. History Mathematicians Richard Courant, Otto Neugebauer, and Harald Bohr, together with the publisher Ferdinand Springer, took the initiative for a new mathematical reviewing journal. Harald Bohr worked in Copenhagen. Courant and Neugebauer were professors at the University of Göttingen. At that time, Göttingen was considered one of the central places for mathematical research, having appointed mathematicians like David Hilbert, Hermann Minkowski, Carl Runge, and Felix Klein, the great ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
VINITI Database RAS
VINITI Database RAS is a database provided by the All-Russian Institute for Scientific and Technical Information (VINITI). The database is devoted to scientific publications. It is described as a large abstracting database. In general, it is indexed for the natural sciences, exact sciences, and technical sciences. Included in this database is AJ (Abstract Journal), indexed from 1981 to the present day. The database is made up of published materials encompassing, conference proceedings, trade publications, thesis, periodicals, books, patents, regulatory documents, and collected scientific literature. Russian sources make up 30% of the deposited scientific works. The database produces documents that have a bibliographal description, keywords, a heading and an abstract. Primary source abstracts are mostly in Russian. Another organizational structure of the ''VINITI database'' is its divisions into 29 thematic fragments. Also, there are over 230 editions of this database. A s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Serials Solutions
Serials Solutions was a division of ProQuest that provided e-resource access and management services (ERAMS) to libraries. These products enabled librarians to more easily manage electronic resources that serve the needs of their users. Serials Solutions became part of ProQuest Workflow Solutions in 2011 and the "Serials Solutions" name was retired in 2014. In 2015, Proquest acquired Ex Libris Group, a library automation company with many similar products to those of ProQuest Workflow Solutions. The Workflow Solutions division was to be merged with Ex Libris into a new business group called "Ex Libris, a ProQuest Company". History Serials Solutions was conceived in 1999 over beers by brothers Steve, Mike, and Peter McCracken after recognizing that providing relief to the frustrations of library patrons in navigating electronic resources was a profitable domain to pursue. Serials Solutions was incorporated in March 2000. The business grew from a four-man operation run out of the Mc ... [...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 particu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
PASCAL (database)
PASCAL is a scientific bibliographic database, which is maintained by INIST (CNRS The French National Centre for Scientific Research (french: link=no, Centre national de la recherche scientifique, CNRS) is the French state research organisation and is the largest fundamental science agency in Europe. In 2016, it employed 31,637 ...). PASCAL covers the core scientific literature in science, technology and medicine with a special emphasis on European literature. , PASCAL maintains a database of more than 17 million records, 90% of which are author abstracts. Its coverage is from 1973 to present. Its source documents are composed of journal articles at 88% (3,085 international titles), proceedings at 9%, and dissertations, books, patents, and reports account combined for 3%. References External links * Bibliographic databases and indexes French National Centre for Scientific Research {{database-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
EI-Compendex
Ei Compendex is an engineering bibliographic database published by Elsevier. The name "Compendex" stands for COMPuterized ENgineering inDEX. It covers scientific literature pertaining to engineering materials. It started in 1884 under the name ''Engineering Index'' (Ei) and its first electronic bulletin was issued in 1967. Elsevier purchased the parent company Engineering Information in 1998. Hane, Paula J Elsevier Science Acquires Engineering Information Information Today, Inc. 06 February 1998 Coverage Ei Compendex currently contains over 20 million records as of December 2020 and references over 5,000 international sources including journals, conferences and trade publications. Approximately 1,000,000 new records are added to the database annually from over 190 disciplines within the engineering field. Coverage is from 1970 to the present, and is updated weekly. [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
