decidibilita
decidibilità termine utilizzato nella teoria della calcolabilità per indicare l’esistenza di una procedura algoritmica che permetta di stabilire, in un numero finito di passi, se una data [...] proprietà è verificata o meno. Per esempio, un insieme è decidibile se, dato un oggetto a, è possibile stabilire, tramite un algoritmo se a appartiene o non appartiene all’insieme. L’insieme dei numeri ...
Leggi Tutto
Gaspare Dalia
Abstract
Il tema è trattato alla luce delle più recenti riforme legislative e, in particolare, del d.lgs. 7.9.2010, n. 161, che ha recepito la Decisione Quadro 2008/909/GAI per l’applicazione [...] personali detentive è quello individuato ai sensi dell’art. 658 c.p.p. (art. 4 d.lgs. cit.).
Al contrario, nella procedura passiva è la Corte d’appello del distretto in cui è avvenuto l’arresto della persona condannata oppure di quello del luogo ...
Leggi Tutto
Francesco Vergine
Abstract
Viene analizzato l’istituto del sequestro conservativo passando attraverso l’esame dei presupposti, della struttura sino alla estinzione della misura con riferimenti di [...] C.S.M., 1989, n. 27, 216; Pansini, C., sub Art. 316 c.p.p., in Giarda, A.-Spangher, G., Codice di procedura penale commentato,II, Milano, 2010; Pierdonati, M., Fumus in re ipsa del delitto e “giudicato cautelare” nel sequestro preventivo, in Dir. pen ...
Leggi Tutto
Dichiarazioni spontanee
Alfredo Pompeo Viola
Utilizzabilità delle dichiarazioni spontanee non verbalizzate
Il codice di procedura penale, nel disciplinare l’attività della polizia giudiziaria (libro [...] V, titolo IV), stabilisce le forme di documentazione della stessa, prescrivendo, all’art. 357, co. 2, lett. b), che sia redatto verbale delle «sommarie informazioni rese e dichiarazioni spontanee ricevute ...
Leggi Tutto
. È un mezzo di tutela dei creditori introdotto dal codice di procedura civile del 1942, per impedire che eccezionali condizioni del mercato possano provocare vendite troppo svantaggiose; è una fase incidentale [...] del procedimento esecutivo e rappresenta uno stato di quiescenza della procedura di espropriazione. Ha per oggetto non il bene del debitore, ma i frutti di esso o, più genericamente, l'utilizzazione del suo valore; è disposta per un periodo non ...
Leggi Tutto
Dionigi Scano
Abstract
La voce illustra la disciplina degli organi del fallimento a seguito della riforma della legge fallimentare che ha profondamente rivisto le aree di rispettiva competenza e le [...] in ogni momento gli altri organi e il fallito e di essere destinatario di segnalazioni che riguardano la procedura (Sandulli, M., Le procedure concorsuali, in AA.VV., Manuale di diritto commerciale, X ed., Torino, 2011, 1039). L’art. 23 affida al ...
Leggi Tutto
Diritto
C. compromissoria Uno dei due tipi di convenzione di arbitrato (➔) previsti dal codice di procedura civile. Tradizionalmente si è soliti distinguerla dall’altro tipo di convenzione, il compromesso [...] deve risultare da atto avente la forma richiesta per il compromesso, a norma dell’art. 807 del codice di procedura civile. Per quanto concerne le controversie arbitrabili, valgono gli stessi limiti previsti per il compromesso. Anche la c ...
Leggi Tutto
Francesco Vergine
Abstract
Vengono analizzati i preliminari teorici della cautela reale del nostro ordinamento processuale penale con approfondimenti inerenti la natura del sequestro conservativo e [...] , 2, Milano, 1990, 248; Bellantoni, G., Sequestro probatorio e processo penale, Piacenza, 2005, 21; Cantone, R., I sequestri nel codice di procedura penale, in Arch. nuova proc. pen., 1996, 4; Cassano, M., sub Art. 316 c.p.p., in Gaito, A., Codice di ...
Leggi Tutto
In fisica, nella risoluzione di problemi a molti corpi, si definisce metodo di a. qualunque procedura o teoria che per calcolare il moto di una particella tiene conto dell’interazione della stessa con [...] tutte le altre facenti parte del medesimo sistema in considerazione. Esempio notevole di procedimento autoconsistente è il metodo iterativo di Hartree-Fock, ampiamente usato per il calcolo degli orbitali ...
Leggi Tutto
predicato decidibile
predicato decidibile predicato P(x), riferito alla variabile x, per il quale esista una procedura che, data una qualsiasi costante a, permetta di stabilire, in un numero finito di [...] alcuni casi si riesce a stabilire, con un numero finito di operazioni, se il predicato P(x) è vero mentre non esiste una procedura finita per stabilire se P(x) è falso. In questo caso si dice che il predicato P(x) è semidecidibile e la sua funzione ...
Leggi Tutto
procedura
s. f. [dal fr. procédure, der. di procéder «procedere»; nel sign. 3 è un calco dell’ingl. procedure]. – 1. a. non com. Modo di procedere, cioè di operare o di comportarsi in determinate circostanze o per ottenere un certo risultato...
procedurista
s. m. e f. [der. di procedura] (pl. m. -i). – 1. Giurista esperto nella procedura processuale. 2. non com. In informatica, chi è incaricato di gestire e di controllare il buon funzionamento dei programmi dopo la loro messa a punto...