Search results for "nomo"
showing 10 items of 500 documents
Right to a court in democratic state ruled by law
2019
W artykule omówiono prawo do sądu w demokratycznym państwie prawnym, które stanowi gwarancję sądowej ochrony praw człowieka przed ich naruszeniem przez organy władzy publicznej. Spełnia ono dwie funkcje: po pierwsze, chroni podmiotowe prawo jednostki i wiąże wszystkie władze publiczne w zakresie ich działania w podporządkowaniu Konstytucji; po drugie, tworzy charakterystyczny system powiązania indywidualnego statusu jednostki i obiektywnego porządku prawnego, wobec tego jest współcześnie traktowane jako składnik demokratycznego państwa prawnego. Konstytucyjne ujęcie prawa do sądu może być rozpatrywane w dwóch znaczeniach: 1) jako zasada prawa konstytucyjnego; 2) jako prawo podmiotowe jednos…
Sprachlernberatung für DaF
2011
Trotz der zunehmenden Etablierung der Sprachlernberatung in der Erwachsenenbildung beschränkt sich die Auseinandersetzung mit dem Thema meist auf einzelne sporadisch veröffentliche Beiträge, die nur begrenzt einen Einblick in die Breite des Tätigkeitsfeldes zulassen. Eine systematische Erfassung davon, wie das Beratungskonzept im Fremdsprachenbereich und speziell in Deutsch als Fremdsprache konkret umgesetzt wird, ist aber nötig, um seine theoretischen Grundlagen zu überprüfen und damit zu der bisher kaum erfolgten empirischen Erforschung dieses Bereichs anzuregen. In der Verschiedenheit der einzelne Beiträge will dieses Buch eine Übersicht darüber geben, was Sprachlernberatung heute in unt…
Garanzia autonoma ed escussione abusiva: nuove tendenze rimediali in una diversa prospettiva ermeneutica
2008
Il saggio analizza la fattispecie del contratto autonomo di garanzia e le sue problematiche. L’Autore ripercorre in particolare le principali soluzioni date dalla dottrina e dalla giurisprudenza all’ipotesi di abuso rappresentata dalla c.d. escussione fraudolenta, che abbraccia quelle fattispecie in cui il beneficiario, nonostante l’estinzione del rapporto di base per adempimento, decide di escutere comunque la garanzia giocando sull’impossibilità per il garante di opporre eccezioni relative al rapporto garantito. Le principali strategie rimediali prospettate mostrano – ad avviso dell’A. – un approccio metodologico interamente sbilanciato sul versante a posteriori della fattispecie, in quan…
A comparative study of partitioning methods for crowd simulations
2010
The simulation of large crowds of autonomous agents with realistic behavior is still a challenge for several computer research communities. In order to handle large crowds, some scalable architectures have been proposed. Nevertheless, the effective use of distributed systems requires the use of partitioning methods that can properly distribute the workload generated by agents among the existing distributed resources. In this paper, we analyze the use of irregular shape regions (convex hulls) for solving the partitioning problem. We have compared a partitioning method based on convex hulls with two techniques that use rectangular regions. The performance evaluation results show that the conv…
Decentralized Coordination System for Multiple AGVs in a Structured Environment
2011
Abstract In this paper, we propose a decentralized coordination algorithm for safe and efficient management of a group of mobile robots following predefined paths in a dynamic industrial environment. The proposed algorithm is based on shared resources and proved to guarantee ordered traffic flows avoiding collisions and deadlocks. In consistency with the model of distributed robotic systems (DRS), no centralized mechanism, synchronized clock, shared memory or ground support is needed. A local inter-robot communication is required among a small number of spatially adjacent robotic units.
Chest CT in COVID-19 Pneumonia: Potentials and Limitations of Radiomics and Artificial Intelligence
2021
SARS-CoV-2 epidemics has resulted in an unprecedented global health crisis causing a high number of deaths with pneumonia being the most common manifestation. Chest CT is the best imaging modality to identify pulmonary involvement, but unfortunately there are no pathognomonic features for COVID-19 pneumonia, since many other infectious and non-infectious diseases may cause similar alterations. The adoption of artificial intelligence in biomedical imaging has the potential to revolutionize the identification, management, and the patient’s outcome. If adequately validated, it could be used as a support with predictive and prognostic purposes in symptomatic patients but also as a screening tes…
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
Nomofilachia e correzione di ufficio delle sentenze della Cassazione
2020
La Corte di cassazione è l’organo di vertice dell’ordinamento giudiziario civile e penale italiano, come giudice di legittimità di ultimo grado. Lo scritto esamina i profili problematici della funzione della Corte di cassazione civile, che ha assegnato a se stessa il ruolo di guida della giurisprudenza e ha messo in secondo piano la funzione di garanzia dei diritti delle parti. La evoluzione del ruolo della Corte di cassazione ha recentemente determinato un uso improprio del procedimento di correzione, che è diretto ad emendare errori materiali o di calcolo. In particolare, la Corte di cassazione ha affermato di avere il potere di promuovere di ufficio il procedimento di correzione per emen…
Key competences and plurilingual education in the Valencian Region (Spain) : a curricular analysis of Primary Education
2020
The purpose of this work is to study the level of transversality of key competences in Primary Education in the Valencian Community. To this end, an analysis of the Decree 108/2014 cur-rently in effect will be carried out, along with determining the frequency with which each competence is worked on during this stage of education. The data obtained will be interpreted bearing in mind plurilingual programs and, more specifically, the basis of the methodological needs that are pursued in CLIL, the approach to teaching non-linguistic areas through a foreign language. Generally, the findings point to a lack of transversality in some of the competences, one of them being the linguistic competence…
Molecular data attest to the occurrence of autochthonous Daphnia pulex (Crustacea, Branchiopoda) populations in Sicily, Italy
2021
Biological invasions are known to be among the most important threats to the long-term conservation of native biota, and their effects might be even more difficult to contrast when they are cryptic, i.e., when the non-native invaders cannot be easily recognised based on morphology, and can thus be confused with native taxa. Such cryptic invasions are known to widely occur in the cladoceran genus Daphnia O.F. Müller, 1785, so that the actual distribution and status of most species and lineages need to be checked with a genetic approach. In the frame of this work, we investigated if the Sicilian populations of D. (Daphnia) pulex Leydig, 1860 belonged to the allochthonous North American lineag…