533 resultados para Unite Cube
Resumo:
L'interesse per il tema dell'onere della prova nell'inadempimento contrattuale è giustificato dalla circostanza che il noto intervento delle Sezioni Unite in materia, al quale originariamente si è pensato di attribuire una portata indifferenziata e assoluta, non ha avuto l'effetto di porre fine ai numerosi contrasti interpretativi. Al contrario, lo stesso ha determinato il sorgere di nuove incertezze e profili problematici, subendo, peraltro, continue smentite in diversi settori della responsabilità civile. Lo scopo della presente indagine è stato quello di verificare in quali contesti la regola fissata dalla Cassazione venisse applicata e in quali disattesa, procedendo, quindi, ad accertare la modulazione dell'onere della prova in alcuni settori considerati emblematici. Si è, così, tentato di individuare le ragioni della limitazione dell'indirizzo in parola, nonché i criteri in base ai quali determinare l'allocazione dell'onere della prova.
Resumo:
La ricerca effettuata, analizza in modo razionale ma contestualmente divulgativo, le dinamiche insediative che hanno caratterizzato il paesaggio della Sicilia occidentale dall'occupazione bizantina al dominio da parte dei Normanni ( 535-1194 d.C. circa ). Il volume presenta una chiara raccolta dei documenti e delle fonti letterarie che riguarda gli abitati rurali ed i borghi incastellati della Sicilia occidentale e pone l’interesse sia per la cultura materiale che per la gestione ed organizzazione del territorio. Attraverso i risultati delle attestazioni documentarie, unite alle ricerche archeologiche ( effettuate nel territorio preso in esame sia in passato che nel corso degli ultimi anni ) viene redatto un elenco dei siti archeologici e dei resti monumentali ( aggiornato fino al 2013-14 ) in funzione della tutela, conservazione e valorizzazione del paesaggio. Sulla base dei documenti rinvenuti e delle varie fonti prese in esame ( letterarie, archeologiche, monumentali, toponomastiche ) vengono effettuate alcune considerazioni sull’insediamento sparso, sull’incastellamento, sulle istituzioni e sulla formazione delle civitates. L’indagine svolta, attraverso cui sono stati individuati i documenti e le fonti, comprende anche una parziale ricostruzione topografica dei principali centri abitativi indagati. Per alcune sporadiche strutture medievali, talvolta raffigurate in fortuite stampe del XVI-XVII secolo, è stato possibile, in aggiunta, eseguire un rilievo architettonico. La descrizione degli abitati rurali e dei siti fortificati, infine, è arricchita da una serie di schede in cui vengono evidenziati i siti archeologici, i resti monumentali ed i reperti più interessanti del periodo bizantino, arabo e normanno-svevo della Sicilia occidentale.
Resumo:
Scegliere di consumare in modo sostenibile significa passare ad un nuovo modello di consumo. Tale modello richiede una maggiore consapevolezza e responsabilità da parte dei consumatori, unite all'adozione di nuovi stili di vita e di scelte d’acquisto, che permettano il raggiungimento di elevati livelli di benessere nel rispetto dell'ambiente. Un notevole sforzo è stato compiuto recentemente dai policy maker per incoraggiare il consumo sostenibile quali implementazioni dello sviluppo sostenibile. Ancora lunga, tuttavia, è la strada da percorrere per raggiungere pienamente questo obiettivo. Tra i prodotti sostenibili, il biologico si è rivelato di gran lunga il più rappresentativo: le statistiche di questo mercato mostrano, infatti, tendenze positive, sebbene il consumo risulti ancora eterogeneo e contenuto rispetto al consumo di alimenti convenzionali. Ciò mostra che il comportamento dei consumatori non è ancora abbastanza reattivo alle suddette politiche. Il presente studio si propone di contribuire alla ricerca sul consumo sostenibile approfondendo i fattori che incoraggiano o impediscono il consumo di prodotti alimentari biologici in Italia. Adottando un nuovo approccio si cerca di capire come i diversi segmenti di diete alimentari affrontino gli alimenti biologici in termini di consumi e di atteggiamenti. Un'analisi multivariata a più fasi è stata condotta su un campione di 3.004 consumatori. Un’analisi delle componenti principali non lineare è stata applicata alle variabili ordinali che misurano il consumo di ventuno categorie di alimenti. Successivamente è stata applicata la cluster analysis che ha dato luogo a quattro segmenti di abitudini alimentari. I prodotti biologici sono diventati parte delle abitudini alimentari in Italia in quasi un terzo della popolazione. Il consumo sembra essersi affermato soprattutto nel segmento con abitudini alimentari sane. Una scarsa attenzione ad una dieta sana, gli stili di vita, il reddito, l'accessibilità, la mancanza di consapevolezza condizionano le abitudini alimentari a scapito di un consumo più sostenibile.
Resumo:
La tesi ha come obiettivo l’analisi della correlazione dello stile tettonico, in termini di deformazione sismica, con il b-value della relazione magnitudo-frequenza di occorrenza (Gutenberg e Richter, 1944) in area globale ed euro-mediterranea. L’esistenza di una dipendenza funzionale tra il b-value e gli angoli di rake, del tipo di quella segnalata da Schorlemmer et al. (2005) e Gulia e Wiemer (2010), viene confermata prima su scala globale e poi su scala euro-mediterranea, a partire dai dati dei principali dataset di tensori momento delle aree in esame, il Global Centroid Moment Tensor (GCMT) ed il Regional Centroid Moment Tensor (RCMT). La parte innovativa della tesi consiste invece nell’incrocio di tali dataset con un database globale di terremoti, l’International Seismological Center (ISC), con magnitudo momento omogenea rivalutata in accordo con Lolli et al. (2014), per il calcolo del b-value. Il campo di deformazione sismica viene ottenuto attraverso il metodo della somma dei tensori momento sismico secondo Kostrov (1974) su pixelizzazioni a celle quadrate o esagonali. All’interno di ciascuna cella, le componenti del tensore di ciascun terremoto vengono sommate tra loro e dal tensore somma vengono estratte le direzioni dei piani principali della migliore doppia coppia. Il sub-catalogo sismico per il calcolo del b-value, ottenuto come scomposizione di quello globale ISC, viene invece ricavato per ogni cluster di celle comprese all'interno di un opportuno range di rake, le quali condividono un medesimo stile tettonico (normale, inverso o trascorrente). La magnitudo di completezza viene valutata attraverso i metodi di massima verosimiglianza [Bender, 1983] ed EMR [Woessner e Wiemer 2005]. La retta di interpolazione per il calcolo del b-value viene costruita quindi secondo il metodo di massima verosimiglianza [Bender, 1983] [Aki 1965]. L’implementazione nel linguaggio del software Matlab® degli algoritmi di pixelizzazione e di costruzione dei tensori somma, l’utilizzo di funzioni di calcolo dal pacchetto Zmap [Wiemer e Wyss, 2001], unite al lavoro di traduzione di alcune routines [Gasperini e Vannucci (2003)] dal linguaggio del FORTRAN77, hanno costituito la parte preliminare al lavoro. La tesi è strutturata in 4 capitoli.Nel primo capitolo si introducono le nozioni teoriche di base riguardanti i meccanismi focali e la distribuzione magnitudo-frequenza, mentre nel secondo capitolo l’attenzione viene posta ai dati sismici dei database utilizzati. Il terzo capitolo riguarda le procedure di elaborazione dati sviluppate nella tesi. Nel quarto ed ultimo capitolo infine si espongono e si discutono i risultati sperimentali ottenuti, assieme alle conclusioni finali.
Resumo:
In dieser Arbeit werden formstabile, amphiphile, oberflächenstrukturierte Polyphenylendendrimere (PPDs) mit verschiedenen Oberflächenpolaritäten beschrieben. Die physikalisch-chemischen Eigenschaften dieser Makromoleküle wurden studiert, welche ein gutes Verständnis der Nanoumgebung amphiphiler PPDs lieferten. Auch lichtinduzierte Polaritätsänderung wurde untersucht. Mit dem Konzept einer gleichmäßigen Verteilung polarer Bereiche auf der Peripherie hydrophober PPPs gelang es, Transportsysteme für Fettsäuren und Zytostatika zu erzeugen, welche charakteristische Merkmale natürlicher Transportproteine wie Albumin in sich vereinen. Hierzu zählen eine stabile dreidimensionale Form, die Ausbildung von Bindungstaschen sowie eine definierte strukturierte Oberfläche aus hydrophilen und hydrophoben Bereichen. Die Verfügbarkeit von lipophilen Bindungstaschen übertrifft sogar die des Albumins. Im Gegensatz zu Polymeren kann die Wirkstoffaufnahme bei PPDs exakt bestimmt werden. Die Anpassung der peripheren Gruppen beeinflusst den zellulären Aufnahmemechanismus. Es konnten effiziente Zellaufnahmen in A549-Zellen sowie der Transport und die intrazelluläre Freisetzung von Doxorubicin erreicht werden. Manche PPDs bieten eine Größe und Architektur, die es ermöglicht, Endothelzellen des Gehirns zu durchdringen. Es wurde auch der andere Extremfall untersucht, indem alle polaren Gruppen auf einer Hemisphäre akkumuliert wurden. Zur Darstellung solcher Janus-Dendrimere wurde ein neues Synthesekonzept herausgearbeitet und die erhaltenen Janus-Dendrimere mittels Lichtstreuung untersucht, wobei definierte perlenschnurartige Aggregate gefunden wurden. Weiterhin wurden semifluorierte Amphiphile vorgestellt, welche die Möglichkeit zur Selbstorganisation durch Nanophasenseparation bieten.
Resumo:
Die Fallzahlen von Prostata- und Brustkrebs nehmen aktuell die Spitzenplätze bei Krebserkrankungen weltweit ein. Eine schwerwiegende Folge dieser Erkrankung stellen Metastasierungen in das Knochengewebe dar, welche zu einer dramatischen Verschlechterung des Allgemeinzustandes und der Lebensqualität des Patienten führen. Die Symptome sind gekennzeichnet durch enorme Schmerzen in Kombination mit osteoblastischen und osteolytischen Knochenveränderungen, bis hin zu Frakturen und spinalen Kompressionssyndromen, sowie einer metabolischen Hypercalcaemie.rnBei der Diagnose und Therapie nehmen verschiedene Radiopharmaka eine Schlüsselrolle ein. Konjugate aus makrozyklischen Chelatoren und knochenaffinen Bisphosphonaten stellen ein geeignetes Mittel dar als so genannte Theranostika, die Diagnose und Therapie in einem Molekül vereinen. Hierbei konnten mit dem Generator basierenden PET-Nuklid 68Ga(III) und dem Therapienuklid 177Lu(III) erste Erfolge mit der Verbindung BPAMD am Patienten erzielt werden. Im Rahmen der vorliegenden Arbeit ist es gelungen, die pharmakologischen Eigenschaften der BPAMD-Leitstruktur weiter zu optimieren und neue Derivate erfolgreich zu synthetisieren. Diese zeichneten sich durch eine erhöhte Knochenaffinität und eines besseren ´target to background´ Verhältnisses aus. Im Zuge der Derivatisierung ist es außerdem gelungen, erfolgreich eine Substanz darzustellen, welche über eine gesteigerte Blutretention verfügt und die letztendlich die Bioverfügbarkeit des Tracers erhöhte. Verbindungen solchen Typs können zu einem besseren Tumor zu gesundem Knochen Verhältnis beitragen und eventuell einen höheren Therapieerfolg erzielen. Eines dieser neuen vielversprechenden Bisphosphonate, [68Ga]NO2APBP konnte innerhalb einer klinischen Phase 0 bzw. I sein großes Potential als Diagnostikum zur Erfassung von Skelettmetastasen unter Beweis stellen. Innerhalb einer Testreihe mit 12 Patienten wurde eine hohe diagnostische Übereinstimmung mit dem Goldstandard 18F-Fluorid erreicht. In ausgesuchten Metastasen konnte sogar eine höhere Tracer-Aufnahme erzielt werden.rnIn Zukunft können makrozyklische Bisphosphonate eine wichtige Rolle bei der palliativen Schmerztherapie von Knochenmetastasen einnehmen. rn
Resumo:
UNHRD è un Network di Basi Operative di Pronto Intervento Umanitario delle Nazioni Unite, con sei sedi nel mondo, in grado di inviare aiuti di prima necessità in qualsiasi parte del mondo entro 24-48 ore. Creata nel 2000, quella di Brindisi è la prima base del Network. Nel 2014, all’interno di UNHRD di Brindisi, nasce una nuova unità di ricerca e sviluppo, chiamata UNHRD LAB, per revisionare, testare e sviluppare prodotti innovativi contribuendo al miglioramento delle risposte alle emergenze umanitarie. Il LAB, gestito da esperti del campo, lavora in collaborazione con centri di ricerca, fornitori, Organizzazioni Non Governative, Agenzie Governative e con l’Università di Bologna, grazie alla quale ho avuto la possibilità di trascorrere sei mesi all’interno di questa nuova unità. Lavorando in stretta collaborazione con Nicolas Messmer, esperto del campo e responsabile del LAB, ho appurato che la progettazione di un campo umanitario al giorno d’oggi non segue metodi standardizzati, ma si basa sul buon senso di tecnici esperti che stimano numero e tipologie di container da inviare per allestirlo, sulla base dei quali si definiscono i fabbisogni energetici da soddisfare. Al fine di migliorare e velocizzare l’allestimento di un campo umanitario, ho deciso di proporre la creazione di tre standard di campo: piccolo, medio e grande (in funzione del numero degli operatori destinati ad accogliere) definire tipologia e numero di prodotti da inviare nei tre casi, individuare il fabbisogno energetico e ottimizzarlo proponendo soluzioni a basso consumo. Uno dei focus del LAB è infatti la “green techonolgy”, ovvero la ricerca di soluzioni a basso impatto ambientale, da qui i miei studi verso l’efficientamento energetico e l’attenzione verso nuove tecnologie ecofriendly come il fotovoltaico.
Resumo:
There have been numerous councils throughout the Catholic Church?s history. From the First Council of Nicaea in 325 CE to Vatican II in 1962, only a few centuries have passed without any major church doctrinal change. Following hand in hand with changes in doctrine came the bifurcation of the Christian Church into the Roman CatholicChurch and the Orthodox Church. The first split came in 325 CE with Arianism. Arius of Alexandria and his followers did not agree with the Catholic Church?s viewpoint that the son, Jesus, should be on equal footing with the Father and the Holy Spirit. Constantine the Great brought the Arianism debate to the First Council of Nicaea,which declared Arianism a heretical religion. The following Catholic council?s decisions separated the two Churches even more, eventually creating the formal separation of the Church during the East-West Schism in the middle of the 11th century. Although the twoChurches constantly tried to unite, the Churches hit speed bumps along the way. Eventually, the 1274 Second Council of Lyons officially united the two Churches, even if only for an ephemeral time. At first glance, it might not seem that much resulted from the 1274 Second Council of Lyons. Almost immediately after the council?s ruling, the two Churches split again. Little is known as to why the 1274 Second Council of Lyons ultimately failed in its unification attempt. In this thesis, I will examine the churches of the Little Metropolis at Athens, Merbaka in the Argolid, and Agioi Theodoroi in Athens. In detailing the architectural features of these buildings, I will reconstruct the church building program in association with the 1274 Second Council of Lyons. I will also compare these churchesusing historical sources to keep the sociological, religious, political, and historical context accurate.
Resumo:
This project intertwines philosophical and historico-literary themes, taking as its starting point the concept of tragic consciousness inherent in the epoch of classicism. The research work makes use of ontological categories in order to describe the underlying principles of the image of the world which was created in philosophical and scientific theories of the 17th century as well as in contemporary drama. Using these categories brought Mr. Vilk to the conclusion that the classical picture of the world implied a certain dualism; not the Manichaean division between light and darkness but the discrimination between nature and absolute being, i.e. God. Mr. Vilk begins with an examination of the philosophical essence of French classical theatre of the XVII and XVIII centuries. The history of French classical tragedy can be divided into three periods: from the mid 17th to early 19th centuries when it triumphed all over France and exerted a powerful influence over almost all European countries; followed by the period of its rejection by the Romantics, who declared classicism to be "artificial and rational"; and finally our own century which has taken a more moderate line. Nevertheless, French classical tragedy has never fully recovered its status. Instead, it is ancient tragedy and the works of Shakespeare that are regarded to be the most adequate embodiment of the tragic. Consequently they still provoke a great number of new interpretations ranging from specialised literary criticism to more philosophical rumination. An important feature of classical tragedy is a system of rules and unities which reveals a hidden ontological structure of the world. The ontological picture of the dramatic world can be described in categories worked out by medieval philosophy - being, essence and existence. The first category is to be understood as a tendency toward permanency and stability (within eternity) connected with this or that fragment of dramatic reality. The second implies a certain set of permanent elements that make up the reality. And the third - existence - should be understood as "an act of being", as a realisation of permanently renewed processes of life. All of these categories can be found in every artistic reality but the accents put on one or another and their interrelations create different ontological perspectives. Mr. Vilk plots the movement of thought, expressed in both philosophical and scientific discourses, away from Aristotle's essential forms, and towards a prioritising of existence, and shows how new forms of literature and drama structured the world according to these evolving requirements. At the same time the world created in classical tragedy fully preserves another ontological paradigm - being - as a fundamental permanence. As far as the tragic hero's motivations are concerned this paradigm is revealed in the dedication of his whole self to some cause, and his oath of fidelity, attitudes which shape his behaviour. It may be the idea of the State, or personal honour, or something borrowed from the emotional sphere, passionate love. Mr. Vilk views the conflicting ambivalence of existence and being, duty as responsibility and duty as fidelity, as underlying the main conflict of classical tragedy of the 17th century. Having plotted the movement of the being/existence duality through its manifestations in 17th century tragedy, Mr. Vilk moves to the 18th century, when tragedy took a philosophical turn. A dualistic view of the world became supplanted by the Enlightenment idea of a natural law, rooted in nature. The main point of tragedy now was to reveal that such conflicts as might take place had an anti-rational nature, that they arose as the result of a kind of superstition caused by social reasons. These themes Mr. Vilk now pursues through Russian dramatists of the 18th and early 19th centuries. He begins with Sumarakov, whose philosophical thought has a religious bias. According to Sumarakov, the dualism of the divineness and naturalness of man is on the one hand an eternal paradox, and on the other, a moral challenge for humans to try to unite the two opposites. His early tragedies are not concerned with social evils or the triumph of natural feelings and human reason, but rather the tragic disharmony in the nature of man and the world. Mr Vilk turns next to the work of Kniazhnin. He is particularly keen to rescue his reputation from the judgements of critics who accuse him of being imitative, and in order to do so, analyses in detail the tragedy "Dido", in which Kniazhnin makes an attempt to revive the image of great heroes and city-founders. Aeneas represents the idea of the "being" of Troy, his destiny is the re-establishment of the city (the future Rome). The moral aspect behind this idea is faithfulness, he devotes himself to Gods. Dido is also the creator of a city, endowed with "natural powers" and abilities, but her creation is lacking internal stability grounded in "being". The unity of the two motives is only achieved through Dido's sacrifice of herself and her city to Aeneus. Mr Vilk's next subject is Kheraskov, whose peculiarity lies in the influence of free-mason mysticism on his work. This section deals with one of the most important philosophical assumptions contained in contemporary free-mason literature of the time - the idea of the trinitarian hierarchy inherent in man and the world: body - soul - spirit, and nature - law - grace. Finally, Mr. Vilk assess the work of Ozerov, the last major Russian tragedian. The tragedies which earned him fame, "Oedipus in Athens", "Fingal" and "Dmitri Donskoi", present a compromise between the Enlightenment's emphasis on harmony and ontological tragic conflict. But it is in "Polixene" that a real meeting of the Russian tradition with the age-old history of the genre takes place. The male and female characters of "Polixene" distinctly express the elements of "being" and "existence". Each of the participants of the conflict possesses some dominant characteristic personifying a certain indispensable part of the moral world, a certain "virtue". But their independent efforts are unable to overcome the ontological gap separating them. The end of the tragedy - Polixene's sacrificial self-immolation - paradoxically combines the glorification of each party involved in the conflict, and their condemnation. The final part of Mr. Vilk's research deals with the influence of "Polixene" upon subsequent dramatic art. In this respect Katenin's "Andromacha", inspired by "Polixene", is important to mention. In "Andromacha" a decisive divergence from the principles of the philosophical tragedy of Russian classicism and the ontology of classicism occurs: a new character appears as an independent personality, directed by his private interest. It was Katenin who was to become the intermediary between Pushkin and classical tragedy.
Resumo:
The report explores the problem of detecting complex point target models in a MIMO radar system. A complex point target is a mathematical and statistical model for a radar target that is not resolved in space, but exhibits varying complex reflectivity across the different bistatic view angles. The complex reflectivity can be modeled as a complex stochastic process whose index set is the set of all the bistatic view angles, and the parameters of the stochastic process follow from an analysis of a target model comprising a number of ideal point scatterers randomly located within some radius of the targets center of mass. The proposed complex point targets may be applicable to statistical inference in multistatic or MIMO radar system. Six different target models are summarized here – three 2-dimensional (Gaussian, Uniform Square, and Uniform Circle) and three 3-dimensional (Gaussian, Uniform Cube, and Uniform Sphere). They are assumed to have different distributions on the location of the point scatterers within the target. We develop data models for the received signals from such targets in the MIMO radar system with distributed assets and partially correlated signals, and consider the resulting detection problem which reduces to the familiar Gauss-Gauss detection problem. We illustrate that the target parameter and transmit signal have an influence on the detector performance through target extent and the SNR respectively. A series of the receiver operator characteristic (ROC) curves are generated to notice the impact on the detector for varying SNR. Kullback–Leibler (KL) divergence is applied to obtain the approximate mean difference between density functions the scatterers assume inside the target models to show the change in the performance of the detector with target extent of the point scatterers.
Resumo:
The intention of the present volume is to unite the research of a range of scholars who have been working on features of non-standard, vernacular English which show an areal distribution, i.e. which cluster geographically across the world. Features common to an area can be due to (i) shared dialect input, (ii) common but separate innovations after settlement, or (iii) area-internal diffusion from one variety to another and/or others. The relative weighting of these factors is an important topic in the book and is a key focus in the 17 chapters. The book is divided into two large blocks, the first one consisting of case studies (8 chapters) and the second with features complexes (9 chapters). The former look at major anglophone locations from an areal perspective while the latter examine linguistic categories and features with a view to determine whether these could be areally based or not.
Resumo:
In this paper we prove a Lions-type compactness embedding result for symmetric unbounded domains of the Heisenberg group. The natural group action on the Heisenberg group TeX is provided by the unitary group U(n) × {1} and its appropriate subgroups, which will be used to construct subspaces with specific symmetry and compactness properties in the Folland-Stein’s horizontal Sobolev space TeX. As an application, we study the multiplicity of solutions for a singular subelliptic problem by exploiting a technique of solving the Rubik-cube applied to subgroups of U(n) × {1}. In our approach we employ concentration compactness, group-theoretical arguments, and variational methods.
Resumo:
Purpose: The aim of this work is to evaluate the geometric accuracy of a prerelease version of a new six degrees of freedom (6DoF) couch. Additionally, a quality assurance method for 6DoF couches is proposed. Methods: The main principle of the performance tests was to request a known shift for the 6DoF couch and to compare this requested shift with the actually applied shift by independently measuring the applied shift using different methods (graph paper, laser, inclinometer, and imaging system). The performance of each of the six axes was tested separately as well as in combination with the other axes. Functional cases as well as realistic clinical cases were analyzed. The tests were performed without a couch load and with a couch load of up to 200 kg and shifts in the range between −4 and +4 cm for the translational axes and between −3° and +3° for the rotational axes were applied. The quality assurance method of the new 6DoF couch was performed using a simple cube phantom and the imaging system. Results: The deviations (mean ± one standard deviation) accumulated over all performance tests between the requested shifts and the measurements of the applied shifts were −0.01 ± 0.02, 0.01 ± 0.02, and 0.01 ± 0.02 cm for the longitudinal, lateral, and vertical axes, respectively. The corresponding values for the three rotational axes couch rotation, pitch, and roll were 0.03° ± 0.06°, −0.04° ± 0.12°, and −0.01° ± 0.08°, respectively. There was no difference found between the tests with and without a couch load of up to 200 kg. Conclusions: The new 6DoF couch is able to apply requested shifts with high accuracy. It has the potential to be used for treatment techniques with the highest demands in patient setup accuracy such as those needed in stereotactic treatments. Shifts can be applied efficiently and automatically. Daily quality assurance of the 6DoF couch can be performed in an easy and efficient way. Long-term stability has to be evaluated in further tests.
Resumo:
The main method of proving the Craig Interpolation Property (CIP) constructively uses cut-free sequent proof systems. Until now, however, no such method has been known for proving the CIP using more general sequent-like proof formalisms, such as hypersequents, nested sequents, and labelled sequents. In this paper, we start closing this gap by presenting an algorithm for proving the CIP for modal logics by induction on a nested-sequent derivation. This algorithm is applied to all the logics of the so-called modal cube.
Resumo:
Children investigated by child welfare are at significant risk for poor cognitive, emotional, social, behavioral and economic outcomes. In 2000, California formed the Child Welfare Services Group to propose changes in how child welfare services are delivered, the CWS Redesign. California State University, Long Beach’s child welfare training program developed its complement. Fundamentally, Redesign calls for partnering with families and communities to strengthen families, prevent unnecessary placements or re-unite families successfully. These changes are a paradigm shift in attitudes toward birth families and communities. In a qualitative study, interns logged their observations and subsequent impressions of CWS-Client encounters to explore how attitudes are learned. Majority of interns observed positive, collaborative encounters and perceived birth parents as motivated. Their impressions support introducing interns to birth families on the front-end of CWS training.