987 resultados para Partial Order Semantics


Relevância:

30.00% 30.00%

Publicador:

Resumo:

One of the ways by which the legal system has responded to different sets of problems is the blurring of the traditional boundaries of criminal law, both procedural and substantive. This study aims to explore under what conditions does this trend lead to the improvement of society's welfare by focusing on two distinguishing sanctions in criminal law, incarceration and social stigma. In analyzing how incarceration affects the incentive to an individual to violate a legal standard, we considered the crucial role of the time constraint. This aspect has not been fully explored in the literature on law and economics, especially with respect to the analysis of the beneficiality of imposing either a fine or a prison term. We observed that that when individuals are heterogeneous with respect to wealth and wage income, and when the level of activity can be considered a normal good, only the middle wage and middle income groups can be adequately deterred by a fixed fines alone regime. The existing literature only considers the case of the very poor, deemed as judgment proof. However, since imprisonment is a socially costly way to deprive individuals of their time, other alternatives may be sought such as the imposition of discriminatory monetary fine, partial incapacitation and other alternative sanctions. According to traditional legal theory, the reason why criminal law is obeyed is not mainly due to the monetary sanctions but to the stigma arising from the community’s moral condemnation that accompanies conviction or merely suspicion. However, it is not sufficiently clear whether social stigma always accompanies a criminal conviction. We addressed this issue by identifying the circumstances wherein a criminal conviction carries an additional social stigma. Our results show that social stigma is seen to accompany a conviction under the following conditions: first, when the law coincides with the society's social norms; and second, when the prohibited act provides information on an unobservable attribute or trait of an individual -- crucial in establishing or maintaining social relationships beyond mere economic relationships. Thus, even if the social planner does not impose the social sanction directly, the impact of social stigma can still be influenced by the probability of conviction and the level of the monetary fine imposed as well as the varying degree of correlation between the legal standard violated and the social traits or attributes of the individual. In this respect, criminal law serves as an institution that facilitates cognitive efficiency in the process of imposing the social sanction to the extent that the rest of society is boundedly rational and use judgment heuristics. Paradoxically, using criminal law in order to invoke stigma for the violation of a legal standard may also serve to undermine its strength. To sum, the results of our analysis reveal that the scope of criminal law is narrow both for the purposes of deterrence and cognitive efficiency. While there are certain conditions where the enforcement of criminal law may lead to an increase in social welfare, particularly with respect to incarceration and stigma, we have also identified the channels through which they could affect behavior. Since such mechanisms can be replicated in less costly ways, society should first try or seek to employ these legal institutions before turning to criminal law as a last resort.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The technology of partial virtualization is a revolutionary approach to the world of virtualization. It lies directly in-between full system virtual machines (like QEMU or XEN) and application-related virtual machines (like the JVM or the CLR). The ViewOS project is the flagship of such technique, developed by the Virtual Square laboratory, created to provide an abstract view of the underlying system resources on a per-process basis and work against the principle of the Global View Assumption. Virtual Square provides several different methods to achieve partial virtualization within the ViewOS system, both at user and kernel levels. Each of these approaches have their own advantages and shortcomings. This paper provides an analysis of the different virtualization methods and problems related to both the generic and partial virtualization worlds. This paper is the result of an in-depth study and research for a new technology to be employed to provide partial virtualization based on ELF dynamic binaries. It starts with a mild analysis of currently available virtualization alternatives and then goes on describing the ViewOS system, highlighting its current shortcomings. The vloader project is then proposed as a possible solution to some of these inconveniences with a working proof of concept and examples to outline the potential of such new virtualization technique. By injecting specific code and libraries in the middle of the binary loading mechanism provided by the ELF standard, the vloader project can promote a streamlined and simplified approach to trace system calls. With the advantages outlined in the following paper, this method presents better performance and portability compared to the currently available ViewOS implementations. Furthermore, some of itsdisadvantages are also discussed, along with their possible solutions.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

La ricerca ha ad oggetto l’analisi della disciplina della responsabilità del vettore terrestre di merci per conto terzi ed i riflessi che detta disciplina ha avuto modo di svilupparsi nel mercato assicurativo. L’attenzione è stata rivolta al contratto di trasporto di cose in generale, seguendone la disciplina codicistica e le evoluzioni legislative intervenute. Particolare rilievo assume la novella apportata all’art. 1696 c.c., introdotta dall’art. 10 del Dlgs. 286/2005, grazie alla quale l’ordinamento italiano ha potuto codificare il limite di indennizzo dovuto dal vettore nell’ipotesi di colpa lieve, L’introduzione del limite legale di indennizzo per le ipotesi di responsabilità per perdita o avaria della merce trasportata ha generato nel mondo assicurativo interessanti reazioni. L’elaborato esamina anche l’evoluzione giurisprudenziale formatisi in tema di responsabilità vettoriale, evidenziando il crescente rigore imposto dalla giurisprudenza fondato sul principio del receptum. Tale fenomeno ha visto immediata reazione nel mercato assicurativo il quale, sulla base di testi contrattuali non dissimili tra le diverse compagnie di assicurazioni operanti sul mercato domestico e che traevano origine dai formulari approvati dall’ANIA, ha seguito l’evoluzione giurisprudenziale apportando significative restrizioni al rischio tipico previsto dalle coperture della responsabilità civile vettoriale. La ricerca si è poi focalizzata sull’esame delle più comuni clausole contemplate dalle polizze di assicurazioni di responsabilità civile e sul loro significato alla luce delle disposizioni di legge in materia. Tale analisi riveste preminente interesse poiché consente di verificare in concreto come l’assicurazione possa effettivamente costituire per l’impresa di trasporto non tanto un costo bensì una opportunità di risparmio da un lato ed un modello comportamentale, sebbene indotto, dall’altro lato per il raggiungimento di quei canoni di diligenza che qualsiasi operatore del settore dovrebbe tenere durante l’esecuzione del trasporto ed il cui venir meno determina, come detto, sensibili effetti pregiudizievoli di carattere economico.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Infantile hemangiomas (IHs) are the most common benign neoplastic pathology of childhood; their natural history generally involves three phases: after the onset, which usually occurs in the first weeks of life, there is the proliferation phase where the IH reaches its maximum development and it is followed by the spontaneous involution which leads to the IH regression. The duration and the extent of these phases may vary widely even though in most of the cases the involution process begins around twelve months of life and the regression, complete or partial, is completed around seventh-ninth year of life. The majority of the IHs does not require any treatment. However, 10%-20% is likely to develop serious complications, functional impairments or aesthetic alterations and entail a timely treatment. Although there is no treatment protocol currently shared, therapies usually used in cases with a complication risk consist in: systemic or intralesional steroids as a first choice; interferon α, vincristine and/or bleomicin as second or third choice and/or surgical treatment. Propranolol, a non-selective beta-blocker, has been used for cardiovascular diseases even in childhood for decades. Since 2008 it has been widely used in the IHs treatment, although it is still "off-label". In literature there are hundreds of cases and some clinical studies that show the effectiveness and safety of this drug for this indication. Thanks to a multidisciplinary team (Dermatologists, Cardiologists, Paediatricians, and Radiologists) of S. Orsola-Malpighi Hospital, a clinical study, which has been previously approved by the ethics committee, is carried out in order to evaluate the efficacy and safety of systemic propranolol in the treatment of IHs in paediatric age. At the end of 2012, 78 patients underwent this treatment: the results we have obtained so far show a good efficacy and safety profile in agreement with the data provided by the literature.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

It is usual to hear a strange short sentence: «Random is better than...». Why is randomness a good solution to a certain engineering problem? There are many possible answers, and all of them are related to the considered topic. In this thesis I will discuss about two crucial topics that take advantage by randomizing some waveforms involved in signals manipulations. In particular, advantages are guaranteed by shaping the second order statistic of antipodal sequences involved in an intermediate signal processing stages. The first topic is in the area of analog-to-digital conversion, and it is named Compressive Sensing (CS). CS is a novel paradigm in signal processing that tries to merge signal acquisition and compression at the same time. Consequently it allows to direct acquire a signal in a compressed form. In this thesis, after an ample description of the CS methodology and its related architectures, I will present a new approach that tries to achieve high compression by design the second order statistics of a set of additional waveforms involved in the signal acquisition/compression stage. The second topic addressed in this thesis is in the area of communication system, in particular I focused the attention on ultra-wideband (UWB) systems. An option to produce and decode UWB signals is direct-sequence spreading with multiple access based on code division (DS-CDMA). Focusing on this methodology, I will address the coexistence of a DS-CDMA system with a narrowband interferer. To do so, I minimize the joint effect of both multiple access (MAI) and narrowband (NBI) interference on a simple matched filter receiver. I will show that, when spreading sequence statistical properties are suitably designed, performance improvements are possible with respect to a system exploiting chaos-based sequences minimizing MAI only.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A 2D Unconstrained Third Order Shear Deformation Theory (UTSDT) is presented for the evaluation of tangential and normal stresses in moderately thick functionally graded conical and cylindrical shells subjected to mechanical loadings. Several types of graded materials are investigated. The functionally graded material consists of ceramic and metallic constituents. A four parameter power law function is used. The UTSDT allows the presence of a finite transverse shear stress at the top and bottom surfaces of the graded shell. In addition, the initial curvature effect included in the formulation leads to the generalization of the present theory (GUTSDT). The Generalized Differential Quadrature (GDQ) method is used to discretize the derivatives in the governing equations, the external boundary conditions and the compatibility conditions. Transverse and normal stresses are also calculated by integrating the three dimensional equations of equilibrium in the thickness direction. In this way, the six components of the stress tensor at a point of the conical or cylindrical shell or panel can be given. The initial curvature effect and the role of the power law functions are shown for a wide range of functionally conical and cylindrical shells under various loading and boundary conditions. Finally, numerical examples of the available literature are worked out.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

MultiProcessor Systems-on-Chip (MPSoC) are the core of nowadays and next generation computing platforms. Their relevance in the global market continuously increase, occupying an important role both in everydaylife products (e.g. smartphones, tablets, laptops, cars) and in strategical market sectors as aviation, defense, robotics, medicine. Despite of the incredible performance improvements in the recent years processors manufacturers have had to deal with issues, commonly called “Walls”, that have hindered the processors development. After the famous “Power Wall”, that limited the maximum frequency of a single core and marked the birth of the modern multiprocessors system-on-chip, the “Thermal Wall” and the “Utilization Wall” are the actual key limiter for performance improvements. The former concerns the damaging effects of the high temperature on the chip caused by the large power densities dissipation, whereas the second refers to the impossibility of fully exploiting the computing power of the processor due to the limitations on power and temperature budgets. In this thesis we faced these challenges by developing efficient and reliable solutions able to maximize performance while limiting the maximum temperature below a fixed critical threshold and saving energy. This has been possible by exploiting the Model Predictive Controller (MPC) paradigm that solves an optimization problem subject to constraints in order to find the optimal control decisions for the future interval. A fully-distributedMPC-based thermal controller with a far lower complexity respect to a centralized one has been developed. The control feasibility and interesting properties for the simplification of the control design has been proved by studying a partial differential equation thermal model. Finally, the controller has been efficiently included in more complex control schemes able to minimize energy consumption and deal with mixed-criticalities tasks

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, and semantic study of intermediate systems between the classical propositional calculus CPC and the minimal normal modal logic K.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Most of the problems in modern structural design can be described with a set of equation; solutions of these mathematical models can lead the engineer and designer to get info during the design stage. The same holds true for physical-chemistry; this branch of chemistry uses mathematics and physics in order to explain real chemical phenomena. In this work two extremely different chemical processes will be studied; the dynamic of an artificial molecular motor and the generation and propagation of the nervous signals between excitable cells and tissues like neurons and axons. These two processes, in spite of their chemical and physical differences, can be both described successfully by partial differential equations, that are, respectively the Fokker-Planck equation and the Hodgkin and Huxley model. With the aid of an advanced engineering software these two processes have been modeled and simulated in order to extract a lot of physical informations about them and to predict a lot of properties that can be, in future, extremely useful during the design stage of both molecular motors and devices which rely their actions on the nervous communications between active fibres.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

After the development of power electronics converters, the number of transformers subjected to non-sinusoidal stresses (including DC) has increased in applications such as HVDC links and traction (electric train power cars). The effects of non-sinusoidal voltages on transformer insulation have been investigated by many researchers, but still now, there are some issues that must be understood. Some of those issues are tackled in this Thesis, studying PD phenomena behavior in Kraft paper, pressboard and mineral oil at different voltage conditions like AC, DC, AC+DC, notched AC and square waveforms. From the point of view of converter transformers, it was found that the combined effect of AC and DC voltages produces higher stresses in the pressboard that those that are present under pure DC voltages. The electrical conductivity of the dielectric systems in DC and AC+DC conditions has demonstrated to be a critical parameter, so, its measurement and analysis was also taken into account during all the experiments. Regarding notched voltages, the RMS reduction caused by notches (depending on firing and overlap angles) seems to increase the PDIV. However, the experimental results show that once PD activity has incepted, the notches increase PD repetition rate and magnitude, producing a higher degradation rate of paper. On the other hand, the reduction of mineral oil stocks, their relatively low flash point as well as environmental issues, are factors that are pushing towards the use of esters as transformer insulating fluids. This PhD Thesis also covers the study of two different esters with the scope to validate their use in traction transformers. Mineral oil was used as benchmark. The complete set of dielectric tests performed in the three fluids, show that esters behave better than mineral oil in practically all the investigated conditions, so, their application in traction transformers is possible and encouraged.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Future climatic change scenarios predict rising of the atmospheric CO2 levels which could favor the proliferation of some harmful bloom-forming cyanobacteria as Microcystis aeruginosa. In the present study, the response of M. aeruginosa strain PCC 7806 to two different partial pressure of CO2 was tested. Sandrini et al. (2013) recently found that several, but not all, M. aeruginosa strains lack the SbtA or BicA HCO3- uptake system genes; the contribution of different Ci transporters to photosynthesis and the difference between low and high affinity activated Ci uptake state were investigated. M. aeruginosa PCC 7806 was cultured in four chemostats containing modified BG11 medium with 10 mM NaNO3 and no presence of NaCl, NaHCO3, Na2CO3 and additional buffers. A wide variety of analysis on samples collected from continuous cultures – such as A750, medium composition, cellular composition, cell counting, mini-PAM, measurements with the O2 optode, Aminco, 77K fluorescence emission spectra – was carried out. Data analysis results showed that the increased CO2 concentration has a big effect on M. aeruginosa PCC 7806. Experiments were performed using the Oxy-4 O2 optode apparatus in order to measure the photosynthetic O2 evolution of samples taken from both batch and chemostat cultures. At low bicarbonate concentration, an evident inhibition of Na+-dependent HCO3- transporter BicA by LiCl at 25 mM was observed. The consequent addition of 25 mM NaCl was able to counteract the Li+ effect at pH 8.0 but not at pH 10.0. In the latter case, only the addition of a higher amount of HCO3- led to photosynthetic O2 evolution suggesting the important role of the BicA transporter. However, further studies are needed to better explain the results obtained as high pH levels might have an influence on the transport systems, altering the mechanism of pH regulation and the functioning of Na+/H+ antiporter systems.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Decomposition based approaches are recalled from primal and dual point of view. The possibility of building partially disaggregated reduced master problems is investigated. This extends the idea of aggregated-versus-disaggregated formulation to a gradual choice of alternative level of aggregation. Partial aggregation is applied to the linear multicommodity minimum cost flow problem. The possibility of having only partially aggregated bundles opens a wide range of alternatives with different trade-offs between the number of iterations and the required computation for solving it. This trade-off is explored for several sets of instances and the results are compared with the ones obtained by directly solving the natural node-arc formulation. An iterative solution process to the route assignment problem is proposed, based on the well-known Frank Wolfe algorithm. In order to provide a first feasible solution to the Frank Wolfe algorithm, a linear multicommodity min-cost flow problem is solved to optimality by using the decomposition techniques mentioned above. Solutions of this problem are useful for network orientation and design, especially in relation with public transportation systems as the Personal Rapid Transit. A single-commodity robust network design problem is addressed. In this, an undirected graph with edge costs is given together with a discrete set of balance matrices, representing different supply/demand scenarios. The goal is to determine the minimum cost installation of capacities on the edges such that the flow exchange is feasible for every scenario. A set of new instances that are computationally hard for the natural flow formulation are solved by means of a new heuristic algorithm. Finally, an efficient decomposition-based heuristic approach for a large scale stochastic unit commitment problem is presented. The addressed real-world stochastic problem employs at its core a deterministic unit commitment planning model developed by the California Independent System Operator (ISO).

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The cone penetration test (CPT), together with its recent variation (CPTU), has become the most widely used in-situ testing technique for soil profiling and geotechnical characterization. The knowledge gained over the last decades on the interpretation procedures in sands and clays is certainly wide, whilst very few contributions can be found as regards the analysis of CPT(u) data in intermediate soils. Indeed, it is widely accepted that at the standard rate of penetration (v = 20 mm/s), drained penetration occurs in sands while undrained penetration occurs in clays. However, a problem arise when the available interpretation approaches are applied to cone measurements in silts, sandy silts, silty or clayey sands, since such intermediate geomaterials are often characterized by permeability values within the range in which partial drainage is very likely to occur. Hence, the application of the available and well-established interpretation procedures, developed for ‘standard’ clays and sands, may result in invalid estimates of soil parameters. This study aims at providing a better understanding on the interpretation of CPTU data in natural sand and silt mixtures, by taking into account two main aspects, as specified below: 1)Investigating the effect of penetration rate on piezocone measurements, with the aim of identifying drainage conditions when cone penetration is performed at a standard rate. This part of the thesis has been carried out with reference to a specific CPTU database recently collected in a liquefaction-prone area (Emilia-Romagna Region, Italy). 2)Providing a better insight into the interpretation of piezocone tests in the widely studied silty sediments of the Venetian lagoon (Italy). Research has focused on the calibration and verification of some site-specific correlations, with special reference to the estimate of compressibility parameters for the assessment of long-term settlements of the Venetian coastal defences.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The main task of this work is to present a concise survey on the theory of certain function spaces in the contexts of Hörmander vector fields and Carnot Groups, and to discuss briefly an application to some polyharmonic boundary value problems on Carnot Groups of step 2.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Abstract Background: Turner syndrome (TS) is a chromosomal abnormality (total or partial absence of one of the sexual chromosomes in some or all cells of the body), which affects approximately 1:2000 female. Principal characteristics are short stature and gonadal disgenesis. Clinical management consist of Growth Hormone (GH) treatment and oestrogen replacement therapy (HRT), to induce development of secondary characteristics and to avoid the sequelae of oestrogen deficiency. Aim of the study: To assess clinical management, quality of life (QoL) and general psychosocial adjustment of women with TS. Population: 70 adult Caucasian females with TS (mean age: 27.8, ± 7.6; range 18-48 y.). Setting: Specialist service for Rare Disease care, University Hospital. Methods: Subjects were required to fill in questionnaires collecting ASR, WHOQOL, and 8 open questions. Data were compared with those of the Italian population or to those collected in a comparison group (70 healthy females, mean age: 27.9, ±7.3, range 21-48 y.). Results: Women with TS are educated as well as the Italian Population, but they have a less successful professional life. They show good QoL in general, but they appeared less satisfied in social area. They had statistically higher scores than the comparison group for depression, anxiety and withdrawal. Are less involved in a love relationship. Diagnosis communication was mostly performed by doctors or parents, satisfaction was higher when information was given by parents. Main preoccupation about TS are infertility, feeling of being different and future health problem. Conclusions: Italian people with TS were generally well adapted and have a good QoL, but lived more often with parents and show impaired sentimental and sexual life. They have higher degree of psychological distress compared to a comparison group. Psychological intervention should firstly address parents in order to encourage an open communication on diagnosis issues and on sexual education.