Nel panorama dell’informatica contemporanea, il dibattito sulla sostenibilità ambientale si intensifica di pari passo con l’avanzamento tecnologico. Il permacomputing e il vernacular computing emergono [...] (DVFS), che regola dinamicamente la frequenza e la tensione del processore in base al carico di lavoro, massimizzando computazionali sia durante l’addestramento sia durante l’inferenza, mantenendo al contempo prestazioni comparabili. In conclusione, ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
inferenza, regola di
inferenza, regola di locuzione equivalente a regola di deduzione o regola di derivazione logica (→ deduzione, regola di); essa designa una regola che permette di passare da una affermazione a un’altra in una catena di...
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione corrispondente compare nei più diffusi...