Dispositivi neurali elettronici con funzioni specifiche
Joshua Alspector
(University of Colorado, Colorado Springs, Colorado, USA)
In questo saggio illustreremo le motivazioni che spingono a progettare [...] prendere una decisione neuronale, potremmo forse usare la stima di John von Neumann, che prevede 300 pJ per ogni azione binaria (1989) Analog VLSI and neural systems. Menlo Park, Addison Wesley.
METROPOLIS, N., ROSENBLUTH, A., ROSENBLUTH, M., TELLER, ...
Leggi Tutto
Computer science
Scott Kirkpatrick
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e l’ingegneria, costituendo dal punto di vista accademico un settore [...] .ac.in/news/primality.html.
Aho 1974: Aho, Alfred V. - Hopcroft, John E. - Ullman, Jeffrey D., The design and analysis of computer algorithms, Boston, Addison-Wesley, 1974.
Bennett 1973: Bennett, Charles H., Logical reversibility of computation, “IBM ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] V. - Sethi, Ravi - Ullman, Jeffrey D., Compilers, principles, techniques and tools, Reading (Mass.), Addison-Wesley, 1986.
Backus 1959: Backus, John W., The syntax and semantics of the proposed international algebraic language of the Zürich ACM-GAMM ...
Leggi Tutto
Intelligenza artificiale
Francesco Amigoni
Viola Schiaffonati
Marco Somalvico
L’intelligenza artificiale è una disciplina recente che negli anni ha fornito un importante contributo al progresso dell’intera [...] l’inizio ufficiale di una nuova disciplina che il matematico John McCarthy, professore a Dartmouth e uno degli organizzatori del Buchanan, Edward H. Shortliffe, Reading (Mass.), Addison-Wesley, 1984.
Cordeschi 1996: Cordeschi, Roberto, L’intelligenza ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] William P. Thurston e esperti della teoria computazionale dei gruppi come John J. Cannon. Un gruppo si dice automatico se si può rappresentare Analysis of algorithms, Reading (Mass.), Addison-Wesley, 1996.
Sénizergues 1997: Sénizergues, Géraud, The ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] verificata l'uguaglianza.
Bibliografia
Aho 1974: Aho, Alfred V. - Hopcroft, John E. - Ullman, Jeffrey D., The design and analysis of computer algorithms, Reading, Addison-Wesley, 1974.
Cormen 1990: Cormen, Thomas H. - Leiserson, Charles E. - Rivest ...
Leggi Tutto
Perceptron
Gérard Dreyfus
Léon Personnaz
Gérard Toulouse
Le prime idee sui neuroni formali (con uscite binarie o continue) sono emerse come astrazioni nel corso degli studi sulle modalità di funzionamento [...] , Anders - Palmer, G, Introduction to the theory of neural computation, Redford City, Addison-Wesley, 1991.
Hopfield 1982: Hopfield, John J., Neural networks and physical systems with emergent collective computational abilities, "Proceedings of the ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] et impera sono l'algoritmo di James W. Cooley e John W. Tukey (1965) per la trasformata rapida di Fourier , Donald E., The art of computer programming, Reading (Mass.), Addison Wesley, 1968-1973.
Paun 2005: Paun, Gheorge - Rozenberg, Grzegorz - ...
Leggi Tutto
Programmazione, linguaggi di
Gian Marco Todesco
I computer «possono fare tutto quello che gli sappiamo ordinare» scriveva nel 1842 Ada Augusta Byron Lovelace, considerata la prima programmatrice della [...] il linguaggio di programmazione più longevo.
Nel 1958 John McCarthy del MIT crea il Lisp, il cui Art of computer programming, Upper Saddle River (N.J.), Addison-Wesley, 2005.
Louden 2003: Louden, Kenneth C., Programming languages: principles ...
Leggi Tutto
Reti neurali e vita artificiale
Domenico Parisi
A differenza della biologia, che studia il mondo vivente analizzandolo nelle sue parti ed esaminando come queste interagiscono fra loro, la vita artificiale [...] by Christopher G. Langton e altri, Redwood City (Cal.), Addison-Wesley, 1991.
Cangelosi 1994: Cangelosi, Angelo - Parisi, Domenico - , 1990, pp. 179-211.
Holland 1992: Holland, John H., Adaptation in natural and artificial systems: an introductory ...
Leggi Tutto
wesleyano
〈ve-〉 agg. e s. m. (f. -a). – Relativo a John Wesley 〈u̯è∫li〉 (1705-1791), che, insieme con il fratello Charles, fu con il suo insegnamento e la sua instancabile predicazione, il fondatore della Chiesa metodista, rapidamente diffusasi...
metodismo
s. m. [der. di metodo; nel sign. 2, dall’ingl. methodism, der. di method «metodo»]. – 1. In senso proprio, non com., conformità, rigorosa aderenza a un metodo; con sign. riduttivo, esagerato valore attribuito all’uso o all’efficacia...