CINXE.COM

<!DOCTYPE html> <html lang="en" dir="ltr"> <head>  <script async src="https://www.googletagmanager.com/gtag/js?id=G-P63WKM1TM1"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'G-P63WKM1TM1'); </script>  <script type="text/javascript" > (function(m,e,t,r,i,k,a){m[i]=m[i]||function(){(m[i].a=m[i].a||[]).push(arguments)}; m[i].l=1*new Date(); for (var j = 0; j < document.scripts.length; j++) {if (document.scripts[j].src === r) { return; }} k=e.createElement(t),a=e.getElementsByTagName(t)[0],k.async=1,k.src=r,a.parentNode.insertBefore(k,a)}) (window, document, "script", "https://mc.yandex.ru/metrika/tag.js", "ym"); ym(55165297, "init", { clickmap:false, trackLinks:true, accurateTrackBounce:true, webvisor:false }); </script> <noscript><div><img src="https://mc.yandex.ru/watch/55165297" style="position:absolute; left:-9999px;" alt="" /></div></noscript>    <title>Search results for: contract algebra</title> <meta name="description" content="Search results for: contract algebra"> <meta name="keywords" content="contract algebra"> <meta name="viewport" content="width=device-width, initial-scale=1, minimum-scale=1, maximum-scale=1, user-scalable=no"> <meta charset="utf-8"> <link href="https://cdn.waset.org/favicon.ico" type="image/x-icon" rel="shortcut icon"> <link href="https://cdn.waset.org/static/plugins/bootstrap-4.2.1/css/bootstrap.min.css" rel="stylesheet"> <link href="https://cdn.waset.org/static/plugins/fontawesome/css/all.min.css" rel="stylesheet"> <link href="https://cdn.waset.org/static/css/site.css?v=150220211555" rel="stylesheet"> </head> <body> <header> <div class="container"> <nav class="navbar navbar-expand-lg navbar-light"> <a class="navbar-brand" href="https://waset.org"> <img src="https://cdn.waset.org/static/images/wasetc.png" alt="Open Science Research Excellence" title="Open Science Research Excellence" /> </a> <button class="d-block d-lg-none navbar-toggler ml-auto" type="button" data-toggle="collapse" data-target="#navbarMenu" aria-controls="navbarMenu" aria-expanded="false" aria-label="Toggle navigation"> <span class="navbar-toggler-icon"></span> </button> <div class="w-100"> <div class="d-none d-lg-flex flex-row-reverse"> <form method="get" action="https://waset.org/search" class="form-inline my-2 my-lg-0"> <input class="form-control mr-sm-2" type="search" placeholder="Search Conferences" value="contract algebra" name="q" aria-label="Search"> <button class="btn btn-light my-2 my-sm-0" type="submit"><i class="fas fa-search"></i></button> </form> </div> <div class="collapse navbar-collapse mt-1" id="navbarMenu"> <ul class="navbar-nav ml-auto align-items-center" id="mainNavMenu"> <li class="nav-item"> <a class="nav-link" href="https://waset.org/conferences" title="Conferences in 2024/2025/2026">Conferences</a> </li> <li class="nav-item"> <a class="nav-link" href="https://waset.org/disciplines" title="Disciplines">Disciplines</a> </li> <li class="nav-item"> <a class="nav-link" href="https://waset.org/committees" rel="nofollow">Committees</a> </li> <li class="nav-item dropdown"> <a class="nav-link dropdown-toggle" href="#" id="navbarDropdownPublications" role="button" data-toggle="dropdown" aria-haspopup="true" aria-expanded="false"> Publications </a> <div class="dropdown-menu" aria-labelledby="navbarDropdownPublications"> <a class="dropdown-item" href="https://publications.waset.org/abstracts">Abstracts</a> <a class="dropdown-item" href="https://publications.waset.org">Periodicals</a> <a class="dropdown-item" href="https://publications.waset.org/archive">Archive</a> </div> </li> <li class="nav-item"> <a class="nav-link" href="https://waset.org/page/support" title="Support">Support</a> </li> </ul> </div> </div> </nav> </div> </header> <main> <div class="container mt-4"> <div class="row"> <div class="col-md-9 mx-auto"> <form method="get" action="https://publications.waset.org/abstracts/search"> <div id="custom-search-input"> <div class="input-group"> <i class="fas fa-search"></i> <input type="text" class="search-query" name="q" placeholder="Author, Title, Abstract, Keywords" value="contract algebra"> <input type="submit" class="btn_search" value="Search"> </div> </div> </form> </div> </div> <div class="row mt-3"> <div class="col-sm-3"> <div class="card"> <div class="card-body"><strong>Commenced</strong> in January 2007</div> </div> </div> <div class="col-sm-3"> <div class="card"> <div class="card-body"><strong>Frequency:</strong> Monthly</div> </div> </div> <div class="col-sm-3"> <div class="card"> <div class="card-body"><strong>Edition:</strong> International</div> </div> </div> <div class="col-sm-3"> <div class="card"> <div class="card-body"><strong>Paper Count:</strong> 454</div> </div> </div> </div> <h1 class="mt-3 mb-3 text-center" style="font-size:1.6rem;">Search results for: contract algebra</h1> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">454</span> Quantum Algebra from Generalized Q-Algebra</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Muna%20Tabuni">Muna Tabuni</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The paper contains an investigation of the notion of Q algebras. A brief introduction to quantum mechanics is given, in that systems the state defined by a vector in a complex vector space H which have Hermitian inner product property. H may be finite or infinite-dimensional. In quantum mechanics, operators must be hermitian. These facts are saved by Lie algebra operators but not by those of quantum algebras. A Hilbert space H consists of a set of vectors and a set of scalars. Lie group is a differentiable topological space with group laws given by differentiable maps. A Lie algebra has been introduced. Q-algebra has been defined. A brief introduction to BCI-algebra is given. A BCI sub algebra is introduced. A brief introduction to BCK=BCH-algebra is given. Every BCI-algebra is a BCH-algebra. Homomorphism maps meanings are introduced. Homomorphism maps between two BCK algebras are defined. The mathematical formulations of quantum mechanics can be expressed using the theory of unitary group representations. A generalization of Q algebras has been introduced, and their properties have been considered. The Q- quantum algebra has been studied, and various examples have been given. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=Q-algebras" title="Q-algebras">Q-algebras</a>, <a href="https://publications.waset.org/abstracts/search?q=BCI" title=" BCI"> BCI</a>, <a href="https://publications.waset.org/abstracts/search?q=BCK" title=" BCK"> BCK</a>, <a href="https://publications.waset.org/abstracts/search?q=BCH-algebra" title=" BCH-algebra"> BCH-algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=quantum%20mechanics" title=" quantum mechanics"> quantum mechanics</a> </p> <a href="https://publications.waset.org/abstracts/138379/quantum-algebra-from-generalized-q-algebra" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/138379.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">199</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">453</span> Introducing Quantum-Weijsberg Algebras by Redefining Quantum-MV Algebras: Characterization, Properties, and Other Important Results</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Lavinia%20Ciungu">Lavinia Ciungu</a> </p> <p class="card-text"><strong>Abstract:</strong></p> In the last decades, developing algebras related to the logical foundations of quantum mechanics became a central topic of research. Generally known as quantum structures, these algebras serve as models for the formalism of quantum mechanics. In this work, we introduce the notion of quantum-Wajsberg algebras by redefining the quantum-MV algebras starting from involutive BE algebras. We give a characterization of quantum-Wajsberg algebras, investigate their properties, and show that, in general, quantum-Wajsberg algebras are not (commutative) quantum-B algebras. We also define the ∨-commutative quantum-Wajsberg algebras and study their properties. Furthermore, we prove that any Wajsberg algebra (bounded ∨-commutative BCK algebra) is a quantum-Wajsberg algebra, and we give a condition for a quantum-Wajsberg algebra to be a Wajsberg algebra. We prove that Wajsberg algebras are both quantum-Wajsberg algebras and commutative quantum-B algebras. We establish the connection between quantum-Wajsberg algebras and quantum-MV algebras, proving that the quantum-Wajsberg algebras are term equivalent to quantum-MV algebras. We show that, in general, the quantum-Wajsberg algebras are not commutative quantum-B algebras and if a quantum-Wajsberg algebra is self-distributive, then the corresponding quantum-MV algebra is an MV algebra. Our study could be a starting point for the development of other implicative counterparts of certain existing algebraic quantum structures. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=quantum-Wajsberg%20algebra" title="quantum-Wajsberg algebra">quantum-Wajsberg algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=quantum-MV%20algebra" title=" quantum-MV algebra"> quantum-MV algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=MV%20algebra" title=" MV algebra"> MV algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=Wajsberg%20algebra" title=" Wajsberg algebra"> Wajsberg algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=BE%20algebra" title=" BE algebra"> BE algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=quantum-B%20algebra" title=" quantum-B algebra"> quantum-B algebra</a> </p> <a href="https://publications.waset.org/abstracts/192449/introducing-quantum-weijsberg-algebras-by-redefining-quantum-mv-algebras-characterization-properties-and-other-important-results" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/192449.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">15</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">452</span> On the Framework of Contemporary Intelligent Mathematics Underpinning Intelligent Science, Autonomous AI, and Cognitive Computers</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Yingxu%20Wang">Yingxu Wang</a>, <a href="https://publications.waset.org/abstracts/search?q=Jianhua%20Lu"> Jianhua Lu</a>, <a href="https://publications.waset.org/abstracts/search?q=Jun%20Peng"> Jun Peng</a>, <a href="https://publications.waset.org/abstracts/search?q=Jiawei%20Zhang"> Jiawei Zhang</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The fundamental demand in contemporary intelligent science towards Autonomous AI (AI*) is the creation of unprecedented formal means of Intelligent Mathematics (IM). It is discovered that natural intelligence is inductively created rather than exhaustively trained. Therefore, IM is a family of algebraic and denotational mathematics encompassing Inference Algebra, Real-Time Process Algebra, Concept Algebra, Semantic Algebra, Visual Frame Algebra, etc., developed in our labs. IM plays indispensable roles in training-free AI* theories and systems beyond traditional empirical data-driven technologies. A set of applications of IM-driven AI* systems will be demonstrated in contemporary intelligence science, AI*, and cognitive computers. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=intelligence%20mathematics" title="intelligence mathematics">intelligence mathematics</a>, <a href="https://publications.waset.org/abstracts/search?q=foundations%20of%20intelligent%20science" title=" foundations of intelligent science"> foundations of intelligent science</a>, <a href="https://publications.waset.org/abstracts/search?q=autonomous%20AI" title=" autonomous AI"> autonomous AI</a>, <a href="https://publications.waset.org/abstracts/search?q=cognitive%20computers" title=" cognitive computers"> cognitive computers</a>, <a href="https://publications.waset.org/abstracts/search?q=inference%20algebra" title=" inference algebra"> inference algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=real-time%20process%20algebra" title=" real-time process algebra"> real-time process algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=concept%20algebra" title=" concept algebra"> concept algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=semantic%20algebra" title=" semantic algebra"> semantic algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=applications" title=" applications"> applications</a> </p> <a href="https://publications.waset.org/abstracts/182399/on-the-framework-of-contemporary-intelligent-mathematics-underpinning-intelligent-science-autonomous-ai-and-cognitive-computers" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/182399.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">61</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">451</span> Conspicuous and Significant Learner Errors in Algebra</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Michael%20Lousis">Michael Lousis</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The kind of the most important and conspicuous errors the students made during the three-years of testing of their progress in Algebra are presented in this article. The way these students’ errors changed over three-years of school Algebra learning also is shown. The sample is comprised of two hundred (200) English students and one hundred and fifty (150) Greek students, who were purposefully culled according to their participation in each occasion of testing in the development of the three-year Kassel Project in England and Greece, in both domains at once of Arithmetic and Algebra. Hence, for each of these English and Greek students, six test-scripts were available and corresponded to the three occasions of testing in both Arithmetic and Algebra respectively. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=algebra" title="algebra">algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=errors" title=" errors"> errors</a>, <a href="https://publications.waset.org/abstracts/search?q=Kassel%20Project" title=" Kassel Project"> Kassel Project</a>, <a href="https://publications.waset.org/abstracts/search?q=progress%20of%20learning" title=" progress of learning"> progress of learning</a> </p> <a href="https://publications.waset.org/abstracts/60297/conspicuous-and-significant-learner-errors-in-algebra" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/60297.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">301</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">450</span> Explicit Chain Homotopic Function to Compute Hochschild Homology of the Polynomial Algebra</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Zuhier%20Altawallbeh">Zuhier Altawallbeh</a> </p> <p class="card-text"><strong>Abstract:</strong></p> In this paper, an explicit homotopic function is constructed to compute the Hochschild homology of a finite dimensional free k-module V. Because the polynomial algebra is of course fundamental in the computation of the Hochschild homology HH and the cyclic homology CH of commutative algebras, we concentrate our work to compute HH of the polynomial algebra.by providing certain homotopic function. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=hochschild%20homology" title="hochschild homology">hochschild homology</a>, <a href="https://publications.waset.org/abstracts/search?q=homotopic%20function" title=" homotopic function"> homotopic function</a>, <a href="https://publications.waset.org/abstracts/search?q=free%20and%20projective%20modules" title=" free and projective modules"> free and projective modules</a>, <a href="https://publications.waset.org/abstracts/search?q=free%20resolution" title=" free resolution"> free resolution</a>, <a href="https://publications.waset.org/abstracts/search?q=exterior%20algebra" title=" exterior algebra"> exterior algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=symmetric%20algebra" title=" symmetric algebra"> symmetric algebra</a> </p> <a href="https://publications.waset.org/abstracts/20251/explicit-chain-homotopic-function-to-compute-hochschild-homology-of-the-polynomial-algebra" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/20251.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">405</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">449</span> Fuzzy Implicative Pseudo-Ideals of Pesudo-BCK Algebras</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Alireza%20Gilani">Alireza Gilani</a> </p> <p class="card-text"><strong>Abstract:</strong></p> In this paper, we consider the fuzzification of implicative pseudo-ideal in a pseudo-BCK algebra, and then we investigate some of their properties. We prove that the family of fuzzy implicative pseudo-ideal is completely distributive lattice. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=BCK-algebra" title="BCK-algebra">BCK-algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=pseudo-BCK%20algebra" title=" pseudo-BCK algebra"> pseudo-BCK algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=pseudo-ideal" title=" pseudo-ideal"> pseudo-ideal</a>, <a href="https://publications.waset.org/abstracts/search?q=implicative%20pseudo-ideal" title=" implicative pseudo-ideal"> implicative pseudo-ideal</a> </p> <a href="https://publications.waset.org/abstracts/43353/fuzzy-implicative-pseudo-ideals-of-pesudo-bck-algebras" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/43353.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">400</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">448</span> Modeling Salam Contract for Profit and Loss Sharing</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Dchieche%20Amina">Dchieche Amina</a>, <a href="https://publications.waset.org/abstracts/search?q=Aboulaich%20Rajae"> Aboulaich Rajae</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Profit and loss sharing suggests an equitable sharing of risks and profits between the parts involved in a financial transaction. Salam is a contract in which advance payment is made for goods to be delivered at a future date. The purpose of this work is to price a new contract for profit and loss sharing based on Salam contract, using Khiyar Al Ghabn which is an agreement of choice in case of misrepresent facts. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=Islamic%20finance" title="Islamic finance">Islamic finance</a>, <a href="https://publications.waset.org/abstracts/search?q=shariah%20compliance" title=" shariah compliance"> shariah compliance</a>, <a href="https://publications.waset.org/abstracts/search?q=profi%0Ct%20and%20loss%20sharing" title=" profit and loss sharing"> profit and loss sharing</a>, <a href="https://publications.waset.org/abstracts/search?q=derivatives" title=" derivatives"> derivatives</a>, <a href="https://publications.waset.org/abstracts/search?q=risks" title=" risks"> risks</a>, <a href="https://publications.waset.org/abstracts/search?q=hedging" title=" hedging"> hedging</a>, <a href="https://publications.waset.org/abstracts/search?q=salam%20contract" title=" salam contract"> salam contract</a> </p> <a href="https://publications.waset.org/abstracts/41170/modeling-salam-contract-for-profit-and-loss-sharing" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/41170.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">332</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">447</span> Formal Verification for Ethereum Smart Contract Using Coq</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Xia%20Yang">Xia Yang</a>, <a href="https://publications.waset.org/abstracts/search?q=Zheng%20Yang"> Zheng Yang</a>, <a href="https://publications.waset.org/abstracts/search?q=Haiyong%20Sun"> Haiyong Sun</a>, <a href="https://publications.waset.org/abstracts/search?q=Yan%20Fang"> Yan Fang</a>, <a href="https://publications.waset.org/abstracts/search?q=Jingyu%20Liu"> Jingyu Liu</a>, <a href="https://publications.waset.org/abstracts/search?q=Jia%20Song"> Jia Song</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The smart contract in Ethereum is a unique program deployed on the Ethereum Virtual Machine (EVM) to help manage cryptocurrency. The security of this smart contract is critical to Ethereum’s operation and highly sensitive. In this paper, we present a formal model for smart contract, using the separated term-obligation (STO) strategy to formalize and verify the smart contract. We use the IBM smart sponsor contract (SSC) as an example to elaborate the detail of the formalizing process. We also propose a formal smart sponsor contract model (FSSCM) and verify SSC’s security properties with an interactive theorem prover Coq. We found the 'Unchecked-Send' vulnerability in the SSC, using our formal model and verification method. Finally, we demonstrate how we can formalize and verify other smart contracts with this approach, and our work indicates that this formal verification can effectively verify the correctness and security of smart contracts. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=smart%20contract" title="smart contract">smart contract</a>, <a href="https://publications.waset.org/abstracts/search?q=formal%20verification" title=" formal verification"> formal verification</a>, <a href="https://publications.waset.org/abstracts/search?q=Ethereum" title=" Ethereum"> Ethereum</a>, <a href="https://publications.waset.org/abstracts/search?q=Coq" title=" Coq"> Coq</a> </p> <a href="https://publications.waset.org/abstracts/85595/formal-verification-for-ethereum-smart-contract-using-coq" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/85595.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">691</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">446</span> Non Commutative Lᵖ Spaces as Hilbert Modules</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Salvatore%20Triolo">Salvatore Triolo</a> </p> <p class="card-text"><strong>Abstract:</strong></p> We discuss the possibility of extending the well-known Gelfand-Naimark-Segal representation to modules over a C*algebra. We focus our attention on the case of Hilbert modules. We consider, in particular, the problem of the existence of a faithful representation. Non-commutative Lᵖ-spaces are shown to constitute examples of a class of CQ*-algebras. Finally, we have shown that any semisimple proper CQ*-algebra (X, A#), with A# a W*-algebra can be represented as a CQ*-algebra of measurable operators in Segal’s sense. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=Gelfand-Naimark-Segal%20representation" title="Gelfand-Naimark-Segal representation">Gelfand-Naimark-Segal representation</a>, <a href="https://publications.waset.org/abstracts/search?q=CQ%2A-algebras" title=" CQ*-algebras"> CQ*-algebras</a>, <a href="https://publications.waset.org/abstracts/search?q=faithful%20representation" title=" faithful representation"> faithful representation</a>, <a href="https://publications.waset.org/abstracts/search?q=non-commutative%20L%E1%B5%96-spaces" title=" non-commutative Lᵖ-spaces"> non-commutative Lᵖ-spaces</a>, <a href="https://publications.waset.org/abstracts/search?q=operator%20in%20Hilbert%20spaces" title=" operator in Hilbert spaces"> operator in Hilbert spaces</a> </p> <a href="https://publications.waset.org/abstracts/142662/non-commutative-l-spaces-as-hilbert-modules" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/142662.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">248</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">445</span> The Weights of Distinguished sl2-Subalgebras in Dn</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Yassir%20I.%20Dinar">Yassir I. Dinar</a> </p> <p class="card-text"><strong>Abstract:</strong></p> We computed the weights of the adjoint action of distinguished sl2-triples in Lie algebra of type Dn using mathematical induction. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=lie%20algebra" title="lie algebra">lie algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=root%20systems" title=" root systems"> root systems</a>, <a href="https://publications.waset.org/abstracts/search?q=representation%20theory" title=" representation theory"> representation theory</a>, <a href="https://publications.waset.org/abstracts/search?q=nilpotent%20orbits" title=" nilpotent orbits"> nilpotent orbits</a> </p> <a href="https://publications.waset.org/abstracts/41148/the-weights-of-distinguished-sl2-subalgebras-in-dn" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/41148.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">294</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">444</span> Waad Bil Mourabaha Pricing</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Dchieche%20Amina">Dchieche Amina</a>, <a href="https://publications.waset.org/abstracts/search?q=Aboulaich%20Rajae"> Aboulaich Rajae</a> </p> <p class="card-text"><strong>Abstract:</strong></p> In this work, we will modelize Waad Bil Mourabaha contract. This islamic contract provides the right to buy goods at a future date with a Mourabaha. Waad is a promise of sale or purchase of goods, declared in a unilateral way. In spite of the divergence between some schools of Islamic law about the Waad, this contract will allow us to study sophisticated and interesting contract: Waad Bil Mourabaha that can be used for hedging. In order to price Waad Bil Mourabaha contract, we will use an adapted Black and Scholes model using the Shariah compliant assumptions. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=Islamic%20finance" title="Islamic finance">Islamic finance</a>, <a href="https://publications.waset.org/abstracts/search?q=Black-Scholes%20model" title=" Black-Scholes model"> Black-Scholes model</a>, <a href="https://publications.waset.org/abstracts/search?q=call%20option" title=" call option"> call option</a>, <a href="https://publications.waset.org/abstracts/search?q=risks" title=" risks"> risks</a>, <a href="https://publications.waset.org/abstracts/search?q=hedging" title=" hedging"> hedging</a> </p> <a href="https://publications.waset.org/abstracts/15514/waad-bil-mourabaha-pricing" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/15514.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">507</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">443</span> Psychological Contract Violation and Occupational Stressors amongst UK Police Officers</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Fazeelat%20Duran">Fazeelat Duran</a>, <a href="https://publications.waset.org/abstracts/search?q=Darren%20Bishopp"> Darren Bishopp</a>, <a href="https://publications.waset.org/abstracts/search?q=Jessica%20%20Woodhams"> Jessica Woodhams</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Psychological contract refers to the perceptions of an employee and their employer regarding their mutual obligations towards each other. The rationale for applying the psychological contract theory in UK policing was to investigate its impact on their wellbeing because the psychological contract is a useful tool in identifying factors having a negative effect on the wellbeing of employees. The paper will report on a study, which examined how occupational stressors and psychological contract violation may influence the wellbeing (e.g. Physical Stress and General Health) of a sample of police officers (N=127). The design of the study was cross-sectional and based on data collected through a self-report survey. The results of hierarchical regression analyses and structural equation model, suggest that occupational stressors and psychological contract violation play a critical role in both physical and psychological health. The implications of these findings and the utility of considering the psychological contract will be discussed. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=police%20officers" title="police officers">police officers</a>, <a href="https://publications.waset.org/abstracts/search?q=psychological%20contract" title=" psychological contract"> psychological contract</a>, <a href="https://publications.waset.org/abstracts/search?q=occupational%20stressors" title=" occupational stressors"> occupational stressors</a>, <a href="https://publications.waset.org/abstracts/search?q=wellbeing" title=" wellbeing"> wellbeing</a> </p> <a href="https://publications.waset.org/abstracts/60743/psychological-contract-violation-and-occupational-stressors-amongst-uk-police-officers" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/60743.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">433</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">442</span> From Equations to Structures: Linking Abstract Algebra and High-School Algebra for Secondary School Teachers</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=J.%20Shamash">J. Shamash</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The high-school curriculum in algebra deals mainly with the solution of different types of equations. However, modern algebra has a completely different viewpoint and is concerned with algebraic structures and operations. A question then arises: What might be the relevance and contribution of an abstract algebra course for developing expertise and mathematical perspective in secondary school mathematics instruction? This is the focus of this paper. The course Algebra: From Equations to Structures is a carefully designed abstract algebra course for Israeli secondary school mathematics teachers. The course provides an introduction to algebraic structures and modern abstract algebra, and links abstract algebra to the high-school curriculum in algebra. It follows the historical attempts of mathematicians to solve polynomial equations of higher degrees, attempts which resulted in the development of group theory and field theory by Galois and Abel. In other words, algebraic structures grew out of a need to solve certain problems, and proved to be a much more fruitful way of viewing them. This theorems in both group theory and field theory. Along the historical ‘journey’, many other major results in algebra in the past 150 years are introduced, and recent directions that current research in algebra is taking are highlighted. This course is part of a unique master’s program – the Rothschild-Weizmann Program – offered by the Weizmann Institute of Science, especially designed for practicing Israeli secondary school teachers. A major component of the program comprises mathematical studies tailored for the students at the program. The rationale and structure of the course Algebra: From Equations to Structures are described, and its relevance to teaching school algebra is examined by analyzing three kinds of data sources. The first are position papers written by the participating teachers regarding the relevance of advanced mathematics studies to expertise in classroom instruction. The second data source are didactic materials designed by the participating teachers in which they connected the mathematics learned in the mathematics courses to the school curriculum and teaching. The third date source are final projects carried out by the teachers based on material learned in the course. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=abstract%20algebra" title="abstract algebra ">abstract algebra </a>, <a href="https://publications.waset.org/abstracts/search?q=linking%20abstract%20algebra%20and%20school%20mathematics" title=" linking abstract algebra and school mathematics"> linking abstract algebra and school mathematics</a>, <a href="https://publications.waset.org/abstracts/search?q=school%20algebra" title=" school algebra"> school algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=secondary%20school%20mathematics" title=" secondary school mathematics"> secondary school mathematics</a>, <a href="https://publications.waset.org/abstracts/search?q=teacher%20professional%20development" title=" teacher professional development"> teacher professional development</a> </p> <a href="https://publications.waset.org/abstracts/94997/from-equations-to-structures-linking-abstract-algebra-and-high-school-algebra-for-secondary-school-teachers" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/94997.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">146</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">441</span> Math Rally Proposal for the Teaching-Learning of Algebra</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Liliana%20O.%20Mart%C3%ADnez">Liliana O. Martínez</a>, <a href="https://publications.waset.org/abstracts/search?q=Juan%20E.%20Gonz%C3%A1lez"> Juan E. González</a>, <a href="https://publications.waset.org/abstracts/search?q=Manuel%20Ram%C3%ADrez-Aranda"> Manuel Ramírez-Aranda</a>, <a href="https://publications.waset.org/abstracts/search?q=Ana%20Cervantes-Herrera"> Ana Cervantes-Herrera</a> </p> <p class="card-text"><strong>Abstract:</strong></p> In this work, the use of a collection of mathematical challenges and puzzles aimed at students who are starting in algebra is proposed. The selected challenges and puzzles are intended to arouse students' interest in this area of mathematics, in addition to facilitating the teaching-learning process through challenges such as riddles, crossword puzzles, and board games, all in everyday situations that allow them to build themselves the learning. For this, it is proposed to carry out a "Math Rally: algebra" divided into four sections: mathematical reasoning, a hierarchy of operations, fractions, and algebraic equations. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=algebra" title="algebra">algebra</a>, <a href="https://publications.waset.org/abstracts/search?q=algebraic%20challenge" title=" algebraic challenge"> algebraic challenge</a>, <a href="https://publications.waset.org/abstracts/search?q=algebraic%20puzzle" title=" algebraic puzzle"> algebraic puzzle</a>, <a href="https://publications.waset.org/abstracts/search?q=math%20rally" title=" math rally"> math rally</a> </p> <a href="https://publications.waset.org/abstracts/156056/math-rally-proposal-for-the-teaching-learning-of-algebra" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/156056.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">168</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">440</span> On Lie-Central Derivations and Almost Inner Lie-Derivations of Leibniz Algebras</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Natalia%20Pacheco%20Rego">Natalia Pacheco Rego</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The Liezation functor is a map from the category of Leibniz algebras to the category of Lie algebras, which assigns a Leibniz algebra to the Lie algebra given by the quotient of the Leibniz algebra by the ideal spanned by the square elements of the Leibniz algebra. This functor is left adjoint to the inclusion functor that considers a Lie algebra as a Leibniz algebra. This environment fits in the framework of central extensions and commutators in semi-abelian categories with respect to a Birkhoff subcategory, where classical or absolute notions are relative to the abelianization functor. Classical properties of Leibniz algebras (properties relative to the abelianization functor) were adapted to the relative setting (with respect to the Liezation functor); in general, absolute properties have the corresponding relative ones, but not all absolute properties immediately hold in the relative case, so new requirements are needed. Following this line of research, it was conducted an analysis of central derivations of Leibniz algebras relative to the Liezation functor, called as Lie-derivations, and a characterization of Lie-stem Leibniz algebras by their Lie-central derivations was obtained. In this paper, we present an overview of these results, and we analyze some new properties concerning Lie-central derivations and almost inner Lie-derivations. Namely, a Leibniz algebra is a vector space equipped with a bilinear bracket operation satisfying the Leibniz identity. We define the Lie-bracket by [x, y]lie = [x, y] + [y, x] , for all x, y . The Lie-center of a Leibniz algebra is the two-sided ideal of elements that annihilate all the elements in the Leibniz algebra through the Lie-bracket. A Lie-derivation is a linear map which acts as a derivative with respect to the Lie-bracket. Obviously, usual derivations are Lie-derivations, but the converse is not true in general. A Lie-derivation is called a Lie-central derivation if its image is contained in the Lie-center. A Lie-derivation is called an almost inner Lie-derivation if the image of an element x is contained in the Lie-commutator of x and the Leibniz algebra. The main results we present in this talk refer to the conditions under which Lie-central derivation and almost inner Lie-derivations coincide. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=almost%20inner%20Lie-derivation" title="almost inner Lie-derivation">almost inner Lie-derivation</a>, <a href="https://publications.waset.org/abstracts/search?q=Lie-center" title=" Lie-center"> Lie-center</a>, <a href="https://publications.waset.org/abstracts/search?q=Lie-central%20derivation" title=" Lie-central derivation"> Lie-central derivation</a>, <a href="https://publications.waset.org/abstracts/search?q=Lie-derivation" title=" Lie-derivation"> Lie-derivation</a> </p> <a href="https://publications.waset.org/abstracts/127473/on-lie-central-derivations-and-almost-inner-lie-derivations-of-leibniz-algebras" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/127473.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">135</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">439</span> Validating the Contract between Microservices</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Parveen%20Banu%20Ansari">Parveen Banu Ansari</a>, <a href="https://publications.waset.org/abstracts/search?q=Venkatraman%20Chinnappan"> Venkatraman Chinnappan</a>, <a href="https://publications.waset.org/abstracts/search?q=Paramasivam%20Shankar"> Paramasivam Shankar</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Contract testing plays a pivotal role in the current landscape of microservices architecture. Testing microservices at the initial stages of development helps to identify and rectify issues before they escalate to higher levels, such as UI testing. By validating microservices through contract testing, you ensure the integration quality of APIs, enhancing the overall reliability and performance of the application. Contract testing, being a collaborative effort between testers and developers, ensures that the microservices adhere to the specified contracts or agreements. This proactive approach significantly reduces defects, streamlines the development process, and contributes to the overall efficiency and robustness of the application. In the dynamic and fast-paced world of digital applications, where microservices are the building blocks, embracing contract testing is indeed a strategic move for ensuring the quality and reliability of the entire system. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=validation" title="validation">validation</a>, <a href="https://publications.waset.org/abstracts/search?q=testing" title=" testing"> testing</a>, <a href="https://publications.waset.org/abstracts/search?q=contract" title=" contract"> contract</a>, <a href="https://publications.waset.org/abstracts/search?q=agreement" title=" agreement"> agreement</a>, <a href="https://publications.waset.org/abstracts/search?q=microservices" title=" microservices"> microservices</a> </p> <a href="https://publications.waset.org/abstracts/180208/validating-the-contract-between-microservices" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/180208.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">57</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">438</span> Lease Contract: Concept and Types, Comparative Legal Analysis Between Bulgarian Legislation and European Countries</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Veselin%20Konstantinov%20Hristov">Veselin Konstantinov Hristov</a> </p> <p class="card-text"><strong>Abstract:</strong></p> In recent years, the lease contract has become more and more applicable and occupies a key place in commercial relations and business. In Bulgaria, the legal regulation of the leasing contract is relatively new and imperfectly developed. There are many legal loopholes and it is they that determine the need for a comparative legal analysis. The purpose of the study is to analyze the various European legislations regarding the leasing contract and to find effective solutions for the legal system of Bulgaria. First of all, are examined the concept of the leasing contract, which originated in the United States of America around the 1950s and spread in Europe, and the etymology of the term "leasing". After that, the main types of lease contracts – financial and operational – are examined and analyzed in detail. Their features and characteristics were studied, as well as a comparative analysis was made between them. Next, in the research, a comparative-legal analysis of the leasing contract in different European countries was made in terms of its development and distribution, as well as its legal characteristics. The mechanism of action and functioning of the leasing contract in several European countries is analyzed. Conclusions are made regarding the legal framework under which the lease contract is most effective. Types of leasing contracts specific only to certain European countries and their advantages are examined. In conclusion, recommendations are made to improve the legal framework of the leasing contract in Bulgaria. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=alternative%20financing" title="alternative financing">alternative financing</a>, <a href="https://publications.waset.org/abstracts/search?q=leasing%20contract" title=" leasing contract"> leasing contract</a>, <a href="https://publications.waset.org/abstracts/search?q=financing%20instruments" title=" financing instruments"> financing instruments</a>, <a href="https://publications.waset.org/abstracts/search?q=innovation" title=" innovation"> innovation</a> </p> <a href="https://publications.waset.org/abstracts/167808/lease-contract-concept-and-types-comparative-legal-analysis-between-bulgarian-legislation-and-european-countries" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/167808.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">82</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">437</span> Classification of Tropical Semi-Modules</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Wagneur%20Edouard">Wagneur Edouard</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Tropical algebra is the algebra constructed over an idempotent semifield S. We show here that every m-dimensional tropical module M over S with strongly independent basis can be embedded into Sm, and provide an algebraic invariant -the Γ-matrix of M- which characterises the isomorphy class of M. The strong independence condition also yields a significant improvement to the Whitney embedding for tropical torsion modules published earlier We also show that the strong independence of the basis of M is equivalent to the unique representation of elements of M. Numerous examples illustrate our results. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=classification" title="classification">classification</a>, <a href="https://publications.waset.org/abstracts/search?q=idempotent%20semi-modules" title=" idempotent semi-modules"> idempotent semi-modules</a>, <a href="https://publications.waset.org/abstracts/search?q=strong%20independence" title=" strong independence"> strong independence</a>, <a href="https://publications.waset.org/abstracts/search?q=tropical%20algebra" title=" tropical algebra"> tropical algebra</a> </p> <a href="https://publications.waset.org/abstracts/32556/classification-of-tropical-semi-modules" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/32556.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">370</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">436</span> The Contract for Educational Services: Civil and Administrative Aspects</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Yuliya%20Leonidovna%20Kiva-Khamzina">Yuliya Leonidovna Kiva-Khamzina</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The legal nature of the contract for educational services causes a lot of controversies. In particular, it raises the question about industry sector relationships, which require making a contract for educational services. The article describes the different types of contracts classifications for services provision from the perspective of civil law, deals with the specifics of the contract on rendering educational services; the author makes the conclusion that the contract for the provision of educational services is a complex institution that includes elements of the civil and administrative law. The following methods were used to conduct the study: dialectical method of cognition, the historical method, systemic analysis, classification. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=administrative%20aspect" title="administrative aspect">administrative aspect</a>, <a href="https://publications.waset.org/abstracts/search?q=civil%20aspect" title=" civil aspect"> civil aspect</a>, <a href="https://publications.waset.org/abstracts/search?q=educational%20service" title=" educational service"> educational service</a>, <a href="https://publications.waset.org/abstracts/search?q=industry" title=" industry"> industry</a>, <a href="https://publications.waset.org/abstracts/search?q=legal%20nature" title=" legal nature"> legal nature</a>, <a href="https://publications.waset.org/abstracts/search?q=services%20provision" title=" services provision"> services provision</a> </p> <a href="https://publications.waset.org/abstracts/51623/the-contract-for-educational-services-civil-and-administrative-aspects" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/51623.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">324</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">435</span> A Survey on the Blockchain Smart Contract System: Security Strengths and Weaknesses</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Malaw%20Ndiaye">Malaw Ndiaye</a>, <a href="https://publications.waset.org/abstracts/search?q=Karim%20Konate"> Karim Konate</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Smart contracts are computer protocols that facilitate, verify, and execute the negotiation or execution of a contract, or that render a contractual term unnecessary. Blockchain and smart contracts can be used to facilitate almost any financial transaction. Thanks to these smart contracts, the settlement of dividends and coupons could be automated. Smart contracts have become lucrative and profitable targets for attackers because they can hold a great amount of money. Smart contracts, although widely used in blockchain technology, are far from perfect due to security concerns. Since there are recent studies on smart contract security, none of them systematically study the strengths and weaknesses of smart contract security. Some have focused on an analysis of program-related vulnerabilities by providing a taxonomy of vulnerabilities. Other studies are responsible for listing the series of attacks linked to smart contracts. Although a series of attacks are listed, there is a lack of discussions and proposals on improving security. This survey takes stock of smart contract security from a more comprehensive perspective by correlating the level of vulnerability and systematic review of security levels in smart contracts. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=blockchain" title="blockchain">blockchain</a>, <a href="https://publications.waset.org/abstracts/search?q=Bitcoin" title=" Bitcoin"> Bitcoin</a>, <a href="https://publications.waset.org/abstracts/search?q=smart%20contract" title=" smart contract"> smart contract</a>, <a href="https://publications.waset.org/abstracts/search?q=criminal%20smart%20contract" title=" criminal smart contract"> criminal smart contract</a>, <a href="https://publications.waset.org/abstracts/search?q=security" title=" security"> security</a> </p> <a href="https://publications.waset.org/abstracts/135465/a-survey-on-the-blockchain-smart-contract-system-security-strengths-and-weaknesses" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/135465.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">168</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">434</span> Incomplete Existing Algebra to Support Mathematical Computations</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Ranjit%20Biswas">Ranjit Biswas</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The existing subject Algebra is incomplete to support mathematical computations being done by scientists of all areas: Mathematics, Physics, Statistics, Chemistry, Space Science, Cosmology etc. even starting from the era of great Einstein. A huge hidden gap in the subject ‘Algebra’ is unearthed. All the scientists today, including mathematicians, physicists, chemists, statisticians, cosmologists, space scientists, and economists, even starting from the great Einstein, are lucky that they got results without facing any contradictions or without facing computational errors. Most surprising is that the results of all scientists, including Nobel Prize winners, were proved by them by doing experiments too. But in this paper, it is rigorously justified that they all are lucky. An algebraist can define an infinite number of new algebraic structures. The objective of the work in this paper is not just for the sake of defining a distinct algebraic structure, but to recognize and identify a major gap of the subject ‘Algebra’ lying hidden so far in the existing vast literature of it. The objective of this work is to fix the unearthed gap. Consequently, a different algebraic structure called ‘Region’ has been introduced, and its properties are studied. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=region" title="region">region</a>, <a href="https://publications.waset.org/abstracts/search?q=ROR" title=" ROR"> ROR</a>, <a href="https://publications.waset.org/abstracts/search?q=RORR" title=" RORR"> RORR</a>, <a href="https://publications.waset.org/abstracts/search?q=region%20algebra" title=" region algebra"> region algebra</a> </p> <a href="https://publications.waset.org/abstracts/184965/incomplete-existing-algebra-to-support-mathematical-computations" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/184965.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">52</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">433</span> The Psychological Contract and the Readiness to Verbalize It in Financial Institutions in Poland</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Anna%20Rogozi%C5%84ska-Pawe%C5%82czyk">Anna Rogozińska-Pawełczyk</a> </p> <p class="card-text"><strong>Abstract:</strong></p> A psychological contract is an agreement between the employer and an employee that covers the parties’ informal and frequently non-verbalized obligations and expectations towards each other. The contract is a cognitive pattern-governing employee’s behaviour in the organization. A gap between employee’s expectations and the organizational reality may lead to difficult-to-solve conflicts or cause the employee to modify their behaviour towards organizational values and goals, if they are willing and ready to verbalize their expectations. The article discusses psychological contracts in the financial institutions in Poland. Its theoretical part outlines the types of psychological contracts in organizations (relational, transactional, and balanced) and shows the process of their verbalization. The purpose of the article is to present how the type of the psychological contract relates to employee’s readiness to verbalize it. The article ends with conclusions arising from the study. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=customer%20contact%20staff%20in%20banks" title="customer contact staff in banks">customer contact staff in banks</a>, <a href="https://publications.waset.org/abstracts/search?q=employee%20expectations" title=" employee expectations"> employee expectations</a>, <a href="https://publications.waset.org/abstracts/search?q=financial%20institutions" title=" financial institutions"> financial institutions</a>, <a href="https://publications.waset.org/abstracts/search?q=mutual%20expectations" title=" mutual expectations"> mutual expectations</a>, <a href="https://publications.waset.org/abstracts/search?q=psychological%20contract" title=" psychological contract"> psychological contract</a>, <a href="https://publications.waset.org/abstracts/search?q=verbalization%20of%20the%20psychological%20contract" title=" verbalization of the psychological contract"> verbalization of the psychological contract</a> </p> <a href="https://publications.waset.org/abstracts/35372/the-psychological-contract-and-the-readiness-to-verbalize-it-in-financial-institutions-in-poland" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/35372.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">487</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">432</span> Psycholgical Contract Violation and Its Impact on Job Satisfaction Level: A Study on Subordinate Employees in Enterprises of Hanoi, Vietnam</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Quangyen%20Tran">Quangyen Tran</a>, <a href="https://publications.waset.org/abstracts/search?q=YeZhuang%20Tian"> YeZhuang Tian</a>, <a href="https://publications.waset.org/abstracts/search?q=Chengfeng%20Li"> Chengfeng Li</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Psychological contract violations may lead to damaging an organization through losing its potential employees; it is a very significant concept in understanding the employment relationships. The authors selected contents of psychological contract violation scale based on the nine areas of violation most relevant to managerial samples (High pay, training, job security, career development, pay based on performance, promotion, feedback, expertise and quality of co-workers and support with personal problems), using regression analysis, the degree of psychological contract violations was measured by an adaptation of a multiplicative scale with Cronbach’s alpha as a measure of reliability. Through the regression analysis, psychological contract violations was found have a positive impact on employees’ job satisfaction, the frequency of psychological contract violations was more intense among male employees particularly in terms of training, job security and pay based on performance. Job dissatisfaction will lead to a lowering of employee commitment in the job, enterprises in Hanoi, Vietnam should therefore offer lucrative jobs in terms of salary and other emoluments to their employees. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=psychological%20contract" title="psychological contract">psychological contract</a>, <a href="https://publications.waset.org/abstracts/search?q=psychological%20contract%20violation" title=" psychological contract violation"> psychological contract violation</a>, <a href="https://publications.waset.org/abstracts/search?q=job%20satisfaction" title=" job satisfaction"> job satisfaction</a>, <a href="https://publications.waset.org/abstracts/search?q=subordinate%20employees" title=" subordinate employees"> subordinate employees</a>, <a href="https://publications.waset.org/abstracts/search?q=employers%E2%80%99%20obligation" title=" employers’ obligation"> employers’ obligation</a> </p> <a href="https://publications.waset.org/abstracts/3227/psycholgical-contract-violation-and-its-impact-on-job-satisfaction-level-a-study-on-subordinate-employees-in-enterprises-of-hanoi-vietnam" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/3227.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">325</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">431</span> An Application of Bidirectional Option Contract to Coordinate a Dyadic Fashion Apparel Supply Chain </h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Arnab%20Adhikari">Arnab Adhikari</a>, <a href="https://publications.waset.org/abstracts/search?q=Arnab%20Bisi"> Arnab Bisi</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Since the inception, the fashion apparel supply chain is facing the problem of high demand uncertainty. Often the demand volatility compels the corresponding supply chain member to incur substantial holding cost and opportunity cost in case of the overproduction and the underproduction scenario, respectively. It leads to an uncoordinated fashion apparel supply chain. There exist several scholarly works to achieve coordination in the fashion apparel supply chain by employing the different contracts such as the buyback contract, the revenue sharing contract, the option contract, and so on. Specially, the application of option contract in the apparel industry becomes prevalent with the changing global scenario. Exploration of existing literature related to the option contract reveals that most of the research works concentrate on the one direction demand adjustment i.e. either to match the demand upwards or downwards. Here, we present a holistic approach to coordinate a dyadic fashion apparel supply chain comprising one manufacturer and one retailer with the help of bidirectional option contract. We show a combination of wholesale price contract and bidirectional option contract can coordinate the under expanded supply chain. We also propose a framework that captures the variation of the apparel retailer’s order quantity and the apparel manufacturer’s production quantity with the changing exercise price for the different ranges of the option price. We analytically explore that corresponding cost parameters of the supply chain members along with the nature of demand distribution play an instrumental role in the coordination as well as the retailer’s ordering decision. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=fashion%20apparel%20supply%20chain" title="fashion apparel supply chain">fashion apparel supply chain</a>, <a href="https://publications.waset.org/abstracts/search?q=supply%20chain%20coordination" title=" supply chain coordination"> supply chain coordination</a>, <a href="https://publications.waset.org/abstracts/search?q=wholesale%20price%20contract" title=" wholesale price contract"> wholesale price contract</a>, <a href="https://publications.waset.org/abstracts/search?q=bidirectional%20option%20contract" title=" bidirectional option contract"> bidirectional option contract</a> </p> <a href="https://publications.waset.org/abstracts/38689/an-application-of-bidirectional-option-contract-to-coordinate-a-dyadic-fashion-apparel-supply-chain" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/38689.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">441</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">430</span> Recovery of Damages by General Cargo Interest under Bill of Lading Carriage Contract</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Eunice%20Chiamaka%20Allen-Ngbale">Eunice Chiamaka Allen-Ngbale</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Cargo claims are brought by cargo interests against carriers when the goods are not delivered or delivered short or mis-delivered or delivered damaged. The objective of the cargo claimant is to seek recovery for the loss suffered through the award of damages against the carrier by a court of competent jurisdiction. Moreover, whether the vessel on which the goods were carried is or is not under charter, the bill of lading plays a central role in the cargo claim. Since the bill of lading is an important international transport document, this paper examines, by chronicling the progress of a cargo claim as governed by the English law of contract. It finds that other than by contract, there are other modes of recovery available to a consignee or endorsee of a bill of lading to obtain a remedy under the sui generis contract of carriage contained in or evidenced by a bill of lading. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=bill%20of%20lading" title="bill of lading">bill of lading</a>, <a href="https://publications.waset.org/abstracts/search?q=cargo%20interests" title=" cargo interests"> cargo interests</a>, <a href="https://publications.waset.org/abstracts/search?q=carriage%20contract" title=" carriage contract"> carriage contract</a>, <a href="https://publications.waset.org/abstracts/search?q=transfer%20of%20right%20of%20suit" title=" transfer of right of suit"> transfer of right of suit</a> </p> <a href="https://publications.waset.org/abstracts/137752/recovery-of-damages-by-general-cargo-interest-under-bill-of-lading-carriage-contract" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/137752.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">144</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">429</span> 'Pacta Sunt Servanda': Which Form of Contract to Use in the Construction Industry</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Ahmed%20Stifi">Ahmed Stifi</a>, <a href="https://publications.waset.org/abstracts/search?q=Sascha%20Gentes"> Sascha Gentes</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The contract in its simplest definition is an agreement involving parties with a number of documents which may be as little as a marriage contract involving two parties or as big as a contract of construction and operation of a nuclear power plant involving companies and stakeholders with hundreds or even thousands of documents. All parties in the construction industry, not only the contract experts, agree that the success of a project is linked primarily to the form of contract regulating the relationship between stakeholders of the project. Therefore it is essential for the construction industry to study, analyze and improve its contracts forms continuously. However, it should be mentioned that different contract forms are developed to suit the construction evolution in term of its machinery, materials and construction process. There exist some similarities in some clauses and variations in many of these forms depending upon the type of project, the kind of clients and more importantly the laws and regulations governing the transaction in the country where the project is carried out. This paper will discuss the most important forms of construction contracts starting from national level, intended to the contract form in Germany and moving on to the international level introducing FIDIC contracts and its different forms, some newly developed contracts forms namely the integrated form of agreement, the new engineering contract and the project alliance agreement. The result of the study shows that many of the contract’s paragraphs are similar and the main difference comes in the approach of the relationship between the parties. Is it based on co-operation and mutual trust, or in some cases a load of responsibility for a particular party which increases the problems and disputes that affects the success of the project negatively. Thus we can say that the form of the contract, that plays an essential role in the approach of the project management, which is ultimately the key factor for the success of the project. So we advise to use a form of contract, which enhance the mutual trust between the project parties, contribute to support the cooperation between them, distribute responsibility and risks on an equitable basis and build on the principle “win-win". In additional to the conventional role of the contract it should integrate all parties into one team to achieve the target value of the project. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=contract" title="contract">contract</a>, <a href="https://publications.waset.org/abstracts/search?q=FIDIC" title=" FIDIC"> FIDIC</a>, <a href="https://publications.waset.org/abstracts/search?q=integrated%20form%20of%20agreement" title=" integrated form of agreement"> integrated form of agreement</a>, <a href="https://publications.waset.org/abstracts/search?q=new%20engineering%20contract" title=" new engineering contract"> new engineering contract</a>, <a href="https://publications.waset.org/abstracts/search?q=project%20alliance%20agreemen" title=" project alliance agreemen"> project alliance agreemen</a> </p> <a href="https://publications.waset.org/abstracts/27199/pacta-sunt-servanda-which-form-of-contract-to-use-in-the-construction-industry" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/27199.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">373</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">428</span> Moderating Role of Psychological Contract in Relationship between Moral Disengagement and Counterproductive Work Behavior</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Afsheen%20Masood">Afsheen Masood</a>, <a href="https://publications.waset.org/abstracts/search?q=Sumaira%20Rashid"> Sumaira Rashid</a>, <a href="https://publications.waset.org/abstracts/search?q=Nadia%20Ijaz"> Nadia Ijaz</a>, <a href="https://publications.waset.org/abstracts/search?q=Shama%20Mazahir"> Shama Mazahir</a> </p> <p class="card-text"><strong>Abstract:</strong></p> The current study examined the relationship between moral disengagement, psychological contract, organizational citizenship behavior and counterproductive work behavior. It is hypothesized that there is likely to be a significant relationship between moral disengagement, psychological contract, organizational citizenship behavior and counterproductive work behavior. It is hypothesized that moral disengagement is likely to significantly predict counterproductive work behavior. It is hypothesized that psychological contract is likely to moderate the relationship between moral disengagement, and counterproductive work behavior. Cross-sectional survey research design was used for the study. The sample consisted of 500 middle managers, age ranging between 30-45 years working in private and public sector. The measures used were Moral Disengagement Scale, Psychological Contract Scale, and Counterproductive Work Behavior. Series of Correlation analyses, Regression analysis, moderation analysis and t-test was run in order to execute descriptive and inferential analyses. The findings revealed that there was a significant positive relationship between moral disengagement and counterproductive work behaviors. Psychological contract significantly mediated the relationship between moral disengagement and counterproductive work behaviors. There were significant gender differences reported in psychological contract and counterproductive work behaviors. The insightful findings carry significant implication for organizational psychologists and organizational stakeholders. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=psychological%20contract" title="psychological contract">psychological contract</a>, <a href="https://publications.waset.org/abstracts/search?q=moral%20disengagement" title=" moral disengagement"> moral disengagement</a>, <a href="https://publications.waset.org/abstracts/search?q=counterproductive%20work%20behaviors" title=" counterproductive work behaviors"> counterproductive work behaviors</a>, <a href="https://publications.waset.org/abstracts/search?q=mediation%20analysis" title=" mediation analysis"> mediation analysis</a> </p> <a href="https://publications.waset.org/abstracts/71626/moderating-role-of-psychological-contract-in-relationship-between-moral-disengagement-and-counterproductive-work-behavior" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/71626.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">316</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">427</span> Mixed Number Algebra and Its Application</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Md.%20Shah%20Alam">Md. Shah Alam</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Mushfiq Ahmad has defined a Mixed Number, which is the sum of a scalar and a Cartesian vector. He has also defined the elementary group operations of Mixed numbers i.e. the norm of Mixed numbers, the product of two Mixed numbers, the identity element and the inverse. It has been observed that Mixed Number is consistent with Pauli matrix algebra and a handy tool to work with Dirac electron theory. Its use as a mathematical method in Physics has been studied. (1) We have applied Mixed number in Quantum Mechanics: Mixed Number version of Displacement operator, Vector differential operator, and Angular momentum operator has been developed. Mixed Number method has also been applied to Klein-Gordon equation. (2) We have applied Mixed number in Electrodynamics: Mixed Number version of Maxwell’s equation, the Electric and Magnetic field quantities and Lorentz Force has been found. (3) An associative transformation of Mixed Number numbers fulfilling Lorentz invariance requirement is developed. (4) We have applied Mixed number algebra as an extension of Complex number. Mixed numbers and the Quaternions have isomorphic correspondence, but they are different in algebraic details. The multiplication of unit Mixed number and the multiplication of unit Quaternions are different. Since Mixed Number has properties similar to those of Pauli matrix algebra, Mixed Number algebra is a more convenient tool to deal with Dirac equation. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=mixed%20number" title="mixed number">mixed number</a>, <a href="https://publications.waset.org/abstracts/search?q=special%20relativity" title=" special relativity"> special relativity</a>, <a href="https://publications.waset.org/abstracts/search?q=quantum%20mechanics" title=" quantum mechanics"> quantum mechanics</a>, <a href="https://publications.waset.org/abstracts/search?q=electrodynamics" title=" electrodynamics"> electrodynamics</a>, <a href="https://publications.waset.org/abstracts/search?q=pauli%20matrix" title=" pauli matrix"> pauli matrix</a> </p> <a href="https://publications.waset.org/abstracts/39999/mixed-number-algebra-and-its-application" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/39999.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">364</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">426</span> Psychological Contract Breach and Violation Relationships with Stress and Wellbeing</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Fazeelat%20Duran">Fazeelat Duran</a>, <a href="https://publications.waset.org/abstracts/search?q=Darren%20Bishopp"> Darren Bishopp</a>, <a href="https://publications.waset.org/abstracts/search?q=Jessica%20Woodhams"> Jessica Woodhams</a> </p> <p class="card-text"><strong>Abstract:</strong></p> Negative emotions resulting from the breach of perceived obligations by an employer is called the psychological contract violation. Employees perceiving breach and feelings of negative emotions result in adverse outcomes for both the employee and employer. This paper aims to identify the relationships between contract breach, violation, stress and wellbeing and investigate whether fairness and self-efficacy mediate the relationships. A mixed method approach was used to analyze the online-surveys and semi-structured interviews with the police officers. It was identified that the psychological contract violation predicts stress and job-related well-being. Fairness and self-efficacy were identified as significant mediators to understand the underlying mechanisms of association. Whilst, in the interviews social support was identified as a popular mediator. Practical implications for employers are discussed. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=psychological%20contract%20violation%20and%20breach" title="psychological contract violation and breach">psychological contract violation and breach</a>, <a href="https://publications.waset.org/abstracts/search?q=stressors" title=" stressors"> stressors</a>, <a href="https://publications.waset.org/abstracts/search?q=depression" title=" depression"> depression</a>, <a href="https://publications.waset.org/abstracts/search?q=anxiety" title=" anxiety"> anxiety</a> </p> <a href="https://publications.waset.org/abstracts/95975/psychological-contract-breach-and-violation-relationships-with-stress-and-wellbeing" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/95975.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">245</span> </span> </div> </div> <div class="card paper-listing mb-3 mt-3"> <h5 class="card-header" style="font-size:.9rem"><span class="badge badge-info">425</span> A Transformer-Based Question Answering Framework for Software Contract Risk Assessment</h5> <div class="card-body"> <p class="card-text"><strong>Authors:</strong> <a href="https://publications.waset.org/abstracts/search?q=Qisheng%20Hu">Qisheng Hu</a>, <a href="https://publications.waset.org/abstracts/search?q=Jianglei%20Han"> Jianglei Han</a>, <a href="https://publications.waset.org/abstracts/search?q=Yue%20Yang"> Yue Yang</a>, <a href="https://publications.waset.org/abstracts/search?q=My%20Hoa%20Ha"> My Hoa Ha</a> </p> <p class="card-text"><strong>Abstract:</strong></p> When a company is considering purchasing software for commercial use, contract risk assessment is critical to identify risks to mitigate the potential adverse business impact, e.g., security, financial and regulatory risks. Contract risk assessment requires reviewers with specialized knowledge and time to evaluate the legal documents manually. Specifically, validating contracts for a software vendor requires the following steps: manual screening, interpreting legal documents, and extracting risk-prone segments. To automate the process, we proposed a framework to assist legal contract document risk identification, leveraging pre-trained deep learning models and natural language processing techniques. Given a set of pre-defined risk evaluation problems, our framework utilizes the pre-trained transformer-based models for question-answering to identify risk-prone sections in a contract. Furthermore, the question-answering model encodes the concatenated question-contract text and predicts the start and end position for clause extraction. Due to the limited labelled dataset for training, we leveraged transfer learning by fine-tuning the models with the CUAD dataset to enhance the model. On a dataset comprising 287 contract documents and 2000 labelled samples, our best model achieved an F1 score of 0.687. <p class="card-text"><strong>Keywords:</strong> <a href="https://publications.waset.org/abstracts/search?q=contract%20risk%20assessment" title="contract risk assessment">contract risk assessment</a>, <a href="https://publications.waset.org/abstracts/search?q=NLP" title=" NLP"> NLP</a>, <a href="https://publications.waset.org/abstracts/search?q=transfer%20learning" title=" transfer learning"> transfer learning</a>, <a href="https://publications.waset.org/abstracts/search?q=question%20answering" title=" question answering"> question answering</a> </p> <a href="https://publications.waset.org/abstracts/156605/a-transformer-based-question-answering-framework-for-software-contract-risk-assessment" class="btn btn-primary btn-sm">Procedia</a> <a href="https://publications.waset.org/abstracts/156605.pdf" target="_blank" class="btn btn-primary btn-sm">PDF</a> <span class="bg-info text-light px-1 py-1 float-right rounded"> Downloads <span class="badge badge-light">129</span> </span> </div> </div> <ul class="pagination"> <li class="page-item disabled"><span class="page-link">&lsaquo;</span></li> <li class="page-item active"><span class="page-link">1</span></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=2">2</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=3">3</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=4">4</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=5">5</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=6">6</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=7">7</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=8">8</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=9">9</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=10">10</a></li> <li class="page-item disabled"><span class="page-link">...</span></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=15">15</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=16">16</a></li> <li class="page-item"><a class="page-link" href="https://publications.waset.org/abstracts/search?q=contract%20algebra&page=2" rel="next">&rsaquo;</a></li> </ul> </div> </main> <footer> <div id="infolinks" class="pt-3 pb-2"> <div class="container"> <div style="background-color:#f5f5f5;" class="p-3"> <div class="row"> <div class="col-md-2"> <ul class="list-unstyled"> About <li><a href="https://waset.org/page/support">About Us</a></li> <li><a href="https://waset.org/page/support#legal-information">Legal</a></li> <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/WASET-16th-foundational-anniversary.pdf">WASET celebrates its 16th foundational anniversary</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Account <li><a href="https://waset.org/profile">My Account</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Explore <li><a href="https://waset.org/disciplines">Disciplines</a></li> <li><a href="https://waset.org/conferences">Conferences</a></li> <li><a href="https://waset.org/conference-programs">Conference Program</a></li> <li><a href="https://waset.org/committees">Committees</a></li> <li><a href="https://publications.waset.org">Publications</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Research <li><a href="https://publications.waset.org/abstracts">Abstracts</a></li> <li><a href="https://publications.waset.org">Periodicals</a></li> <li><a href="https://publications.waset.org/archive">Archive</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Open Science <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/Open-Science-Philosophy.pdf">Open Science Philosophy</a></li> <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/Open-Science-Award.pdf">Open Science Award</a></li> <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/Open-Society-Open-Science-and-Open-Innovation.pdf">Open Innovation</a></li> <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/Postdoctoral-Fellowship-Award.pdf">Postdoctoral Fellowship Award</a></li> <li><a target="_blank" rel="nofollow" href="https://publications.waset.org/static/files/Scholarly-Research-Review.pdf">Scholarly Research Review</a></li> </ul> </div> <div class="col-md-2"> <ul class="list-unstyled"> Support <li><a href="https://waset.org/page/support">Support</a></li> <li><a href="https://waset.org/profile/messages/create">Contact Us</a></li> <li><a href="https://waset.org/profile/messages/create">Report Abuse</a></li> </ul> </div> </div> </div> </div> </div> <div class="container text-center"> <hr style="margin-top:0;margin-bottom:.3rem;"> <a href="https://creativecommons.org/licenses/by/4.0/" target="_blank" class="text-muted small">Creative Commons Attribution 4.0 International License</a> <div id="copy" class="mt-2">© 2024 World Academy of Science, Engineering and Technology</div> </div> </footer> <a href="javascript:" id="return-to-top"><i class="fas fa-arrow-up"></i></a> <div class="modal" id="modal-template"> <div class="modal-dialog"> <div class="modal-content"> <div class="row m-0 mt-1"> <div class="col-md-12"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> </div> </div> <div class="modal-body"></div> </div> </div> </div> <script src="https://cdn.waset.org/static/plugins/jquery-3.3.1.min.js"></script> <script src="https://cdn.waset.org/static/plugins/bootstrap-4.2.1/js/bootstrap.bundle.min.js"></script> <script src="https://cdn.waset.org/static/js/site.js?v=150220211556"></script> <script> jQuery(document).ready(function() { /*jQuery.get("https://publications.waset.org/xhr/user-menu", function (response) { jQuery('#mainNavMenu').append(response); });*/ jQuery.get({ url: "https://publications.waset.org/xhr/user-menu", cache: false }).then(function(response){ jQuery('#mainNavMenu').append(response); }); }); </script> </body> </html>