ANALISI SIMBOLICA DI RETI ELETTRICHE MEDIANTE CALCOLATORE = ANALYSE SYMBOLIQUE D'UN CIRCUIT A L'AIDE D'UN ORDINATEURDAINI FRUHWIRTH C; TERRENI P.1979; ALTA FREQ.; ITA; DA. 1979; VOL. 48; NO 12; PP. 749-759; BIBL. 11 REF.Article

Recent progress in Symbolic Dynamic and Permutation Complexity: Ten Years of Permutation EntropyAMIGÓ, J.M; KELLER, K; KURTHS, J et al.The European physical journal. Special topics. 2013, Vol 222, Num 2, issn 1951-6355, 361 p.Serial Issue

Symbolic partial model checking for security analysisMARTINELLI, Fabio.Lecture notes in computer science. 2003, pp 122-134, issn 0302-9743, isbn 3-540-40797-9, 13 p.Conference Paper

Left-looking to right-looking and vice versa: An application of fractal symbolic analysis to linear algebra code restructuringMATEEV, N; MENON, V; PINGALI, K et al.Lecture notes in computer science. 2000, pp 379-388, issn 0302-9743, isbn 3-540-67956-1Conference Paper

Symbolic convergence and the hydrogen economySOVACOOL, Benjamin K; BROSSMANN, Brent.Energy policy. 2010, Vol 38, Num 4, pp 1999-2012, issn 0301-4215, 14 p.Article

Genetic oscillation patternsJENSEN, M. H; PIGOLOTTI, S; KRISHNA, S et al.The European physical journal. Special topics. 2009, Vol 178, pp 45-56, issn 1951-6355, 12 p.Article

A symbolic approach to design centering of analog circuitsGRASSO, Francesco; MANETTI, Stefano; PICCIRILLI, Maria Cristina et al.Microelectronics and reliability. 2007, Vol 47, Num 8, pp 1288-1295, issn 0026-2714, 8 p.Article

Advanced symbolic analysis for compilers (new techniques and algorithms for symbolic program analysis and optimization)Fahringer, Thomas; Scholz, Bernard.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-01185-4, XII, 129 p, isbn 3-540-01185-4Book

Computer for symbolic analysis of active circuits by 2-graph method-tree generatorTANAKA, M; MURAKAMI, K; YAMAGISHI, M et al.Systems, computers, controls. 1982, Vol 13, Num 6, pp 45-54, issn 0096-8765Article

Computer for symbolic analysis of active circuits by 2-graph method: tree and sign discriminatorsMURAKAMI, K; TANAKA, M; NAKAMURA, K et al.Systems, computers, controls. 1982, Vol 13, Num 6, pp 55-64, issn 0096-8765Article

Ordinal pattern statistics for the assessment of heart rate variabilityGRAFF, G; GRAFF, B; KACZKOWSKA, A et al.The European physical journal. Special topics. 2013, Vol 222, Num 2, pp 525-534, issn 1951-6355, 10 p.Article

Symbolic analysis of switched-capacitor networks using compacted nodal analysis in the S-domainFLOBERG, H; MATTISSON, S.IEEE transactions on computer-aided design of integrated circuits and systems. 1997, Vol 16, Num 10, pp 1196-1199, issn 0278-0070Article

Computer oriented formulation of equations and analysis of switched-capacitor networksVLACH, J; KISHORE SINGHAL; VLACH, M et al.IEEE transactions on circuits and systems. 1984, Vol 31, Num 9, pp 753-765, issn 0098-4094Article

DATA BASE FOR SYMBOLIC NETWORK ANALYSISWU CC; SAEKS R.1981; IEE PROC., G; ISSN 0143-7089; GBR; DA. 1981; VOL. 128; NO 5; PP. 257-263; BIBL. 6 REF.Article

FPGA-based state encoding using symbolic functional decompositionDENIZIAK, S; WISNIEWSKI, M.Electronics letters. 2010, Vol 46, Num 19, pp 1316-1318, issn 0013-5194, 3 p.Article

Fuzzy clustering algorithms for mixed feature variablesMIIN-SHEN YANG; PEI-YUAN HWANG; DE-HUA CHEN et al.Fuzzy sets and systems. 2004, Vol 141, Num 2, pp 301-317, issn 0165-0114, 17 p.Article

A cancellation-free algorithm for the symbolic analysis of circuits containing current conveyorsLASOTA, S; MALCHER, A.International conference on signals and electronic systems. 2005, pp 171-174, isbn 83-906074-7-6, 1Vol, 4 p.Conference Paper

Making collaborative group recommendations based on modal symbolic dataQUEIROZ, Sérgio R. De M; DE CARVALHO, Francisco De A. T.Lecture notes in computer science. 2004, pp 307-316, issn 0302-9743, isbn 3-540-23237-0, 10 p.Conference Paper

Fast time-domain symbolic simulation for synthesis of sigma-delta analog-digital convertersHUI ZHANG; DOBOLI, Alex.IEEE International Symposium on Circuits and Systems. 2004, pp 125-128, isbn 0-7803-8251-X, 4 p.Conference Paper

The dynamics of expansive invertible onesided cellular automataNASU, Masakazu.Transactions of the American Mathematical Society. 2002, Vol 354, Num 10, pp 4067-4084, issn 0002-9947Article

Mechanization of an integrated approach: Shallow embedding into SAL/PVSATTIOGBE, J. Christian.Lecture notes in computer science. 2002, pp 120-131, issn 0302-9743, isbn 3-540-00029-1, 12 p.Conference Paper

Symbolic Analysis of Economical Models with MathematicaGALVEZ, A; IGLESIAS, A.Lecture notes in computer science. 2006, pp 414-421, issn 0302-9743, isbn 3-540-34379-2, 8 p.Conference Paper

Advancing scientific computation by improving scientific code development : Symbolic execution and semantic analysisSTEWART, Mark.Lecture notes in computer science. 2005, pp 1043-1050, issn 0302-9743, isbn 3-540-26032-3, 3Vol, 8 p.Conference Paper

Fuzzy-symbolic analysis for classification of symbolic dataDINESH, M. S; GOWDA, K. C; NAGABHUSHAN, P et al.Lecture notes in computer science. 2005, pp 338-343, issn 0302-9743, isbn 3-540-30506-8, 1Vol, 6 p.Conference Paper

A SAT-based algorithm for reparameterization in symbolic simulationCHAUHAN, Pankaj; CLARKE, Edmund M; KROENINA, Daniel et al.Design automation conference. 2004, pp 524-529, isbn 1-58113-828-8, 6 p.Conference Paper