Class information for:
Level 1: ADDER CIRCUITS//CIRCUIT DESIGN FAULT TOLERANCE//UNDEFINEDNESS

Basic class information
ID Publications Average number
of references		 Avg. shr. active
ref. in WoS
29747 148 27.5 17%


Bar chart of Publication_year

Last years might be incomplete

Classes in level above (level 2)


ID, lev.
above		 Publications Label for level above
216 20103 FORMAL METHODS IN SYSTEM DESIGN//MODEL CHECKING//LECTURE NOTES IN COMPUTER SCIENCE

Terms with highest relevance score


Rank Term Type of term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ.
in class
1 ADDER CIRCUITS Author keyword 2 67% 1% 2
2 CIRCUIT DESIGN FAULT TOLERANCE Address 1 100% 1% 2
3 UNDEFINEDNESS Author keyword 1 40% 1% 2
4 AFRICAN AMERICAN PSYCHOLOGY Author keyword 1 50% 1% 1
5 CIRCUIT GENERATION Author keyword 1 50% 1% 1
6 DATAFLOW SYNTHESIS Author keyword 1 50% 1% 1
7 END AROUND CARRY Author keyword 1 50% 1% 1
8 IXION Author keyword 1 50% 1% 1
9 LAYOUT DESCRIPTION Author keyword 1 50% 1% 1
10 PARTIAL EXPRESSIONS Author keyword 1 50% 1% 1

Web of Science journal categories

Author Key Words


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ.
in class		 LCSH search Wikipedia search
1 ADDER CIRCUITS 2 67% 1% 2 Search ADDER+CIRCUITS Search ADDER+CIRCUITS
2 UNDEFINEDNESS 1 40% 1% 2 Search UNDEFINEDNESS Search UNDEFINEDNESS
3 AFRICAN AMERICAN PSYCHOLOGY 1 50% 1% 1 Search AFRICAN+AMERICAN+PSYCHOLOGY Search AFRICAN+AMERICAN+PSYCHOLOGY
4 CIRCUIT GENERATION 1 50% 1% 1 Search CIRCUIT+GENERATION Search CIRCUIT+GENERATION
5 DATAFLOW SYNTHESIS 1 50% 1% 1 Search DATAFLOW+SYNTHESIS Search DATAFLOW+SYNTHESIS
6 END AROUND CARRY 1 50% 1% 1 Search END+AROUND+CARRY Search END+AROUND+CARRY
7 IXION 1 50% 1% 1 Search IXION Search IXION
8 LAYOUT DESCRIPTION 1 50% 1% 1 Search LAYOUT+DESCRIPTION Search LAYOUT+DESCRIPTION
9 PARTIAL EXPRESSIONS 1 50% 1% 1 Search PARTIAL+EXPRESSIONS Search PARTIAL+EXPRESSIONS
10 POWERLISTS 1 50% 1% 1 Search POWERLISTS Search POWERLISTS

Key Words Plus


Rank Web of Science journal category Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ.
in class
1 ALGOL 60 0 14% 1% 1
2 CHURCHS LAMBDA NOTATION 0 14% 1% 1
3 VDM 0 13% 1% 1
4 MPL OMEGA 0 100% 1% 1
5 UNDEFINEDNESS 0 100% 1% 1

Journals

Reviews


Title Publ. year Cit. Active
references		 % act. ref.
to same field
Pinnacles of software engineering: 25 years of formal methods 2000 3 19 21%
Domains as a prerequisite for requirements and software domain perspectives & facets, requirements aspects and software views 1998 0 11 9%
SCHIZOPHRENIA-LIKE PSYCHOSES ASSOCIATED WITH ORGANIC CEREBRAL-DISORDERS - A REVIEW 1983 107 11 9%

Address terms


Rank Address term Relevance score
(tfidf)		 Class's shr.
of term's tot.
occurrences		 Shr. of publ.
in class containing
term		 Num. of
publ.
in class
1 CIRCUIT DESIGN FAULT TOLERANCE 1 100% 1.4% 2
2 PURE MATH COMPUTERALGEBRA 0 25% 0.7% 1
3 DIGITAL DESIGN ENVIRONM 0 14% 0.7% 1
4 MATEMAT INFORMAT AUTOMAT 0 100% 0.7% 1
5 SYST DESIGN METHODS 0 100% 0.7% 1

Related classes at same level (level 1)


Rank Relatedness score Related classes
1 0.0000169534 ALGEBRAIC SPECIFICATION//REWRITING LOGIC//EQUIVALENT DEDUCTIVE SYSTEMS
2 0.0000158361 LOGIC AND SYMBOLIC COMPUTING//O ALGEBRA//IDEALS THEORY
3 0.0000134099 FORMAL ASPECTS OF COMPUTING//REFINEMENT CALCULUS//VERIFIED SOFTWARE REPOSITORY
4 0.0000119384 SOFTWARE ENGINEERING JOURNAL//ADA CODE//ANIMATION PROTOTYPING
5 0.0000118958 MICROCODE VERIFICATION//HARDWARE VERIFICATION//ACL2
6 0.0000099364 COMPUTER GRAPHICS STANDARDS//PHIGS//COMPUTER GRAPHICS METAFILE
7 0.0000088065 LAMBDA CALCULUS//INTERSECTION TYPES//JOURNAL OF FUNCTIONAL PROGRAMMING
8 0.0000082296 DESIGN ERROR DIAGNOSIS//PASS FAIL INFORMATION//WITT POLYNOMIAL
9 0.0000081912 HIGH LEVEL SYNTHESIS//BEHAVIORAL SYNTHESIS//MODULE SELECTION
10 0.0000072897 ABSTRACT STATE MACHINES//COREASM//DIP TECNOL INFORMAZ