971 resultados para FORMALISM
Resumo:
By definition, regulatory rules (in legal context called norms) intend to achieve specific behaviour from business processes, and might be relevant to the whole or part of a business process. They can impose conditions on different aspects of process models, e.g., control-flow, data and resources etc. Based on the rules sets, norms can be classified into various classes and sub-classes according to their effects. This paper presents an abstract framework consisting of a list of norms and a generic compliance checking approach on the idea of (possible) execution of processes. The proposed framework is independent of any existing formalism, and provides a conceptually rich and exhaustive ontology and semantics of norms needed for business process compliance checking. The possible uses of the proposed framework include to compare different compliance management frameworks (CMFs).
Resumo:
We propose an architecture for a rule-based online management systems (RuleOMS). Typically, many domain areas face the problem that stakeholders maintain databases of their business core information and they have to take decisions or create reports according to guidelines, policies or regulations. To address this issue we propose the integration of databases, in particular relational databases, with a logic reasoner and rule engine. We argue that defeasible logic is an appropriate formalism to model rules, in particular when the rules are meant to model regulations. The resulting RuleOMS provides an efficient and flexible solution to the problem at hand using defeasible inference. A case study of an online child care management system is used to illustrate the proposed architecture.
Resumo:
This thesis provides a cultural history of Australian copyright law and related artistic controversies. It examines a number of disputes over authorship, collaboration, and appropriation across a variety of cultural fields. It considers legal controversies over the plagiarism of texts, the defacing of paintings, the sampling of musical works, the ownership of plays, the co-operation between film-makers, the sharing of MP3 files on the Internet, and the appropriation of Indigenous culture. Such narratives and stories relate to a broad range of works and subject matter that are protected by copyright law. This study offers an archive of oral histories and narratives of artistic creators about copyright law. It is founded upon interviews with creative artists and activists who have been involved in copyright litigation and policy disputes. This dialogical research provides an insight into the material and social effects of copyright law. This thesis concludes that copyright law is not just a ‘creature of statute’, but it is also a social and imaginative construct. In the lived experience of the law, questions of aesthetics and ethics are extremely important. Industry agreements are quite influential. Contracts play an important part in the operation of copyright law. The media profile of personalities involved in litigation and policy debates is pertinent. This thesis claims that copyright law can be explained by a mix of social factors such as ethical standards, legal regulations, market forces, and computer code. It can also be understood in terms of the personal stories and narratives that people tell about litigation and copyright law reform. Table of Contents Prologue 1 Introduction A Creature of Statute: Copyright Law and Legal Formalism 6 Chapter One The Demidenko Affair: Copyright Law and Literary Works 33 Chapter Two Daubism: Copyright Law and Artistic Works 67 Chapter Three The ABCs of Anarchism: Copyright Law and Musical Works 105 Chapter Four Heretic: Copyright Law and Dramatic Works 146 Chapter Five Shine: Copyright Law and Film 186 Chapter Six Napster: Infinite Digital Jukebox or Pirate Bazaar? Copyright Law and Digital Works 232 Chapter Seven Bangarra Dance Theatre: Copyright Law and Indigenous Culture 275 Chapter Eight The Cathedral and the Bazaar: The Future of Copyright Law 319
Resumo:
Much of the work currently occurring in the field of Quantum Interaction (QI) relies upon Projective Measurement. This is perhaps not optimal, cognitive states are not nearly as well behaved as standard quantum mechanical systems; they exhibit violations of repeatability, and the operators that we use to describe measurements do not appear to be naturally orthogonal in cognitive systems. Here we attempt to map the formalism of Positive Operator Valued Measure (POVM) theory into the domain of semantic memory, showing how it might be used to construct Bell-type inequalities.
Resumo:
Lithium silicophosphate glasses have been prepared by a sol-gel route over a wide range of compositions. Their structural and electrical properties have been investigated. Infrared spectroscopic studies show the presence of hydroxyl groups attached to Si and P. MAS NMR investigations provide evidence for the presence of different phosphatic units in the structure. The variations of de conductivities at 423 K and activation energies have been studied as a function of composition, and both exhibit an increasing trend with the ratio of nonbridging oxygen to bridging oxygen in the structure. Ac conductivity behavior shows that the power law exponent, s, is temperature dependent and exhibits a minimum. Relaxation behavior has been examined in detail using an electrical modulus formalism, and modulus data were fitted to Kohlraush-William-Watts stretched exponential function. A structural model has been proposed and the unusual properties exhibited by this unique system of glasses have been rationalized using this model. Ion transport in these glasses appears to be confined to unidimensional conduits defined by modified phosphate chains and interspersed with unmodified silica units.
Resumo:
Isotope-shift exponent (cu) and the pressure coefficient of superconducting transition temperature (beta) have been studied in the nonadiabatic limit. We have considered the effect of nonadiabaticity in both within and beyond the Migdal-Eliashberg formalism. It reveals from our study that the pressure coefficient of superconducting transition is high for the low-T-c region and low for the high-T-c region and the minimum value of alpha is obtained where the transition temperature is maximum. Lowest value of isotope-shift exponent is obtained for small momentum exchange between the electrons and the bosonic field. Qualitative variation of beta with temperature is consistent with the experimental results of the hole doped superconductors for small momentum exchange.
Resumo:
In this paper, we study the Einstein relation for the diffusivity to mobility ratio (DMR) in n-channel inversion layers of non-linear optical materials on the basis of a newly formulated electron dispersion relation by considering their special properties within the frame work of k.p formalism. The results for the n-channel inversion layers of III-V, ternary and quaternary materials form a special case of our generalized analysis. The DMR for n-channel inversion layers of II-VI, IV-VI and stressed materials has been investigated by formulating the respective 2D electron dispersion laws. It has been found, taking n-channel inversion layers of CdGeAs2, Cd(3)AS(2), InAs, InSb, Hg1-xCdxTe, In1-xGaxAsyP1-y lattice matched to InP, CdS, PbTe, PbSnTe, Pb1-xSnxSe and stressed InSb as examples, that the DMR increases with the increasing surface electric field with different numerical values and the nature of the variations are totally band structure dependent. The well-known expression of the DMR for wide gap materials has been obtained as a special case under certain limiting conditions and this compatibility is an indirect test for our generalized formalism. Besides, an experimental method of determining the 2D DMR for n-channel inversion layers having arbitrary dispersion laws has been suggested.
Resumo:
This paper describes the design and implementation of a high-level query language called Generalized Query-By-Rule (GQBR) which supports retrieval, insertion, deletion and update operations. This language, based on the formalism of database logic, enables the users to access each database in a distributed heterogeneous environment, without having to learn all the different data manipulation languages. The compiler has been implemented on a DEC 1090 system in Pascal.
Resumo:
A relativistic bound-state formalism is used to calculate the branching ratio Γ(V→H+γ)/Γ(V→e+e-) where H is a Higgs scalar and significant relativistic effects have been obtained compared to the nonrelativistic calculation originally due to Wilczek
Resumo:
We present systematic investigations of buckling in Langmuir monolayers of polyvinyl acetate formed at the air-water interface. On compression the polymer monolayers are converted to a continuous membrane with a thickness of ~2–3 nm of well-defined periodicity, lambdab. Above a certain surface concentration the membrane undergoes a morphological transition buckling, leading to the formation of striped patterns. The periodicity seems to depend on molecular weight as per the predictions of the gravity-bending buckling formalism of Milner et al. for fluidlike films on water. However anomalously low values of bending rigidity and Young's modulus are obtained using this formalism. Hence we have considered an alternative model of buckling-based solidlike films on viscoelastic substrates. The values of bending rigidity and Young's modulus obtained by this method, although lower than expected, are closer to the bulk values. Remarkably, no buckling is found to occur above a certain molecular weight. We have tried to explain the observed molecular-weight dependence in terms of the variation in isothermal compressive modulus of the monolayers with surface concentration as well as provided possible explanations for the obtained low values of mechanical properties similar to that observed for ultrathin polymer films.
Resumo:
Transparent SrLiB9O15 (SLBO) glasses were fabricated via the conventional melt-quenching technique. X-ray powder diffraction and differential thermal analysis carried out on the as-quenched samples confirmed their amorphous and glassy nature, respectively. The dielectric constants in the 100 Hz to 10 MHz frequency range for SLBO glasses were measured as a function of temperature (300–1023 K). The dielectric relaxation characteristics were rationalized using the electric modulus formalism. The electrode polarization effect was subtracted from the low-frequency dielectric constant to have an insight into the intrinsic dielectric behavior of SLBO glasses. The imaginary part of electric modulus spectra was modeled using an approximate solution of Kohlrausch–Williams–Watts relation. The dielectric constant for the as-quenched glass increased with increasing temperature and exhibited anomalies in the vicinity of the glass transition and crystallization temperatures.
Resumo:
The dissertation "From Conceptual to Corporeal, from Quotation to Site: Painting and History of Contemporary Art" explores the state of painting in contemporary art and art theory since the 1960s. The purpose of the study is to re-consider the dominant "end of painting" -narrative in contemporary art history, which goes back to the modernist ideology of painting as a reductive, medium-specific form of art. Drawing on Michel Foucault´s concepts of discursive formation and archive, as well as Jean-Luc Nancy´s post-phenomenological philosophy on corporeality, I suggest that contemporary painting can be redefined as a discursive-sensuous practice. Instead of seeing painting as obsolete or over as an avantgarde art genre, I show that there have been alternative, neo-avantgardist ways of defining painting since the end of the 1960s, such as French artist Daniel Buren´s early writings on painting as "theoretical practice". Consequently, the tendency of the canonical Anglo-American contemporary art narratives to underestimate the historical and institutional codes of art can be questioned. This tendency can be seen, for example, in Rosalind Krauss´s influential theory on index. The study also reflects the relations between conceptual art and painting since the 1960s and maps recent theories of painting, which re-examine the genre´s possibilities after the modernist rhetoric. Concepts of "flatbed", "painting in the extended field", "as painting" and so on are compared critically with the idea of painting as discursive practice. It is also shown that the issues in painting arise from the contemporary critical art debate while the dematerialisation paradigm of conceptual art has dissolved. The study focuses on the corporeal-material-sensuous -cluster of meanings attached to painting and searches for its avantgardist possibilities as redefined by postfeminist and post-phenomenological discourse. The ideas of hierarchy of the senses and synesthesia are developed within the framework of Jean-Luc Nancy´s and Luce Irigaray´s thought. The parameters for the study have been Finnish painting from 1990 to 2002. On the Finnish art scene there has been no "end of painting" ideology, strictly speaking. The mythology and medium-specificity of modernism have been deconstructed since the mid-1980s, but "the archive" of painting, like themes of abstraction, formalism and synesthesia have been re-worked by the discursive practice of painting, for example, in the works of Nina Roos, Tarja Pitkänen-Walter and Jussi Niva.
Resumo:
he Dirac generator formalism for relativistic Hamiltonian dynamics is reviewed along with its extension to constraint formalism. In these theories evolution is with respect to a dynamically defined parameter, and thus time evolution involves an eleventh generator. These formulations evade the No-Interaction Theorem. But the incorporation of separability reopens the question, and together with the World Line Condition leads to a second no-interaction theorem for systems of three or more particles. Proofs are omitted, but the results of recent research in this area is highlighted.
Resumo:
We analyze aspects of symmetry breaking for Moyal spacetimes within a quantization scheme which preserves the twisted Poincare´ symmetry. Towards this purpose, we develop the Lehmann-Symanzik- Zimmermann (LSZ) approach for Moyal spacetimes. The latter gives a formula for scattering amplitudes on these spacetimes which can be obtained from the corresponding ones on the commutative spacetime. This formula applies in the presence of spontaneous breakdown of symmetries as well. We also derive Goldstone’s theorem on Moyal spacetime. The formalism developed here can be directly applied to the twisted standard model.
Resumo:
A discussion of the modelling of the primary and secondary noise sources introduced in the formalism of fluctuation phenomena in a previous report is presented. It is illustrated that the generalisation of the modelling of noise sources in mass transport as given by Tyagai is limited in its applicability. A general procedure for the same is discussed in detail.