118,504 research outputs found
On the Complexity of Termination Inference for Processes
No full textWe study type systems for termination in the -calculus from
the point of view of type inference. We analyse four systems by Deng
and Sangiorgi.
We show that inference can be done in polynomial time for two of
these, but that this is not the case for the two most expressive
systems.
To remedy this, we study two modifications of these type systems
that allow us to recover a polynomial type inference
Catania negletta ed i problemi per il suo rinnovamento igienico
No full textCatania negletta ed i problemi per il suo rinnovamento igienico / Giuseppe Sangiorgi. - Catania : Editoriale siciliana tipografica, 1927
Dedica manoscritta dell\u27autore: A S. E. l\u27on. Bodrero / rispettoso / omaggio / dell\u27A.
https://galileodiscovery.unipd.it/discovery/fulldisplay?context=L&vid=39UPD_INST:VU1&search_scope=MyInst_and_CI&tab=Everything&docid=alma99000717599020604
La progettazione integrata nell’industria alimentare : criteri progettuali e gestionali per il settore caseario
No full textLa progettazione integrata nell’industria agro-alimentare
No full textIl caseificio esaminato è di tipo artigianale, poiché la caseificazione avviene ancora con tecniche tradizionali ad opera di 4 addetti. I locali destinati alla produzione, ricavati nell’ambito di una vecchia azienda agricola, nonostante siano stati ristrutturati, risultano scarsamente adeguati ai requisiti igienici e di sicurezza richiesti per gli edifici destinati ad attività alimentare. Il layout non è lineare e rende difficile lo svolgimento delle attività. Nella scelta delle finiture si nota una certa sensibilità aziendale nell’adeguarsi ai dettami del D.L.vo 155/97, ma certe strutture costituiscono un pericolo per l’igiene e la sicurezza dei lavoratori
La progettazione integrata applicata a piccoli caseifici e malghe della Val Camonica
No full textL’indagine, condotta su piccole realtà casearie della Val Camonica, applicando la metodologia della “progettazione integrata”, ha posto in evidenza i principali elementi critici relativi agli aspetti strutturali, ambientali e gestionali: i layout non garantiscono sufficienti condizioni igieniche, i rivestimenti non sono sufficientemente resistenti agli urti, le pendenze non agevolano il drenaggio dell’acqua, alcune parti di soffitto e pareti presentano macchie d’umido e muffe, le operazioni di manutenzione e pulizia di locali e apparecchi di illuminazione non sono svolte con sufficiente cura.
Pertanto sulla base di quanto emerso sono stati individuati nuovi criteri progettuali al fine di ridurre l’insorgenza di conflittualità nell’applicazione dei regolamenti vigenti
Non-Local Effects in p-MOSFET Substrate Hot Hole Injection Experiments
No full textExtensive measurements of hot-hole injection probability from silicon into silicon dioxide covering a wide range of oxide fields and substrate biases are presented and compared with results previously published in the literature. It is found that, in the highly inhomogeneous electric fields typically needed to induce substrate hole injection, nonlocal effects take place that limit the possibility to accurately describe injection probability data by means of a unique set of lucky carrier model parameters
Treatment of superficial and profunda femoral artery bifurcation lesions: still a procedure only for surgeons?
No full text- …
