Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review by Rim Ben Fekih, Mariam Lahami, Salma Bradai, Mohamed Jmaiel

Subjects: Get full text

(α,ψ)-Meir-Keeler Contraction Mappings in Generalized b-Metric Spaces by Erdal Karapinar, Stefan Czerwik, Hassen Aydi

“…We present a fixed point theorem for generalized (α,ψ)-Meir-Keeler type contractions in the setting of generalized b-metric spaces. …”
Get full text

Fixed Point, Data Dependence, and Well-Posed Problems for Multivalued Nonlinear Contractions by Iram Iqbal, Nawab Hussain, Hamed H. Al-Sulami, Shanza Hassan

“…The aim of the paper is to discuss data dependence, existence of fixed points, strict fixed points, and well posedness of some multivalued generalized contractions in the setting of complete metric spaces. …”
Get full text

A General Fixed Point Theorem for Multivalued Mappings That Are Not Necessarily Contractions and Applications by Abdul Latif, Dinh The Luc

“…We prove a general theorem on fixed points of multivalued mappings that are not necessarily contractions and derive a number of recent contributions on this topic for contraction mappings.…”
Get full text

Employee Performance: Exploring the Nexus of Nonstandard Services, Psychological Contracts, and Knowledge Sharing by Ahmad Munawir, Bambang Dwi Suseno

“…Contribution: Overall, these findings highlight the intertwined roles of psychological contracts, knowledge sharing, and nonstandard services in shaping employee behavior and improving organizational outcomes. …”
Get full text

Germany’s Strategic Contraction Following American Hegemony in the Context of Offensive Realism Theory by Tolga Öztürk

Some Results on Best Proximity Points of Cyclic Contractions in Probabilistic Metric Spaces by Manuel De la Sen, Erdal Karapınar

“…This paper investigates properties of convergence of distances of p-cyclic contractions on the union of the p subsets of an abstract set X defining probabilistic metric spaces and Menger probabilistic metric spaces as well as the characterization of Cauchy sequences which converge to the best proximity points. …”
Get full text

Efforts to settle government project construction work contract disputes through mediation by M. Husni T. A Ingratubun

“…This study aims to identify and analyze the procedures for resolving government project construction contract disputes between service users and service providers through arbitration and to analyze the legal force of arbitration decisions on disputes in construction contracts. …”
Get full text

Administrative Contract as a Legal Form of Public Administration: Updating Doctrinal Approaches by V. R. Bila

Subjects: Get full text

Social contracts and occupational health and safety disclosure: evidence from companies in Indonesia by Abidah Dwi Rahmi Satiti, Djoko Suhardjanto, Wahyu Widarjo, Setianingtyas Honggowati

“…This study presents an analysis of the impact of social contracts on occupational health and safety (OHS) disclosure. …”
Get full text

Common Fixed Points of (α,η) − (θ,ϝ) Rational Contractions with Applications by Mujahid Abbas, Hira Iqbal, Manuel De La Sen

“…We present the notion of set valued (α,η)-(θ,ϝ) rational contraction mappings and then some common fixed point results of such mappings in the setting of metric spaces are established. …”
Get full text

Fixed Point Results Satisfying Rational Type Contraction in G-Metric Spaces by Branislav Z. Popović, Muhammad Shoaib, Muhammad Sarwar

“…A unique fixed point theorem for three self-maps under rational type contractive condition is established. In addition, a unique fixed point result for six continuous self-mappings through rational type expression is also discussed.…”
Get full text

Fixed Points for Contractive Mappings of Integral Type Involving ω-Distance and Applications by Haiyan Gao, Na Liu, Liangshi Zhao

“…In this paper, we use ω-distance to prove the existence, uniqueness, and iterative approximations of fixed points for a few contractive mappings of integral type in complete metric spaces. …”
Get full text

Changes in Gastric Smooth Muscle Cell Contraction during Pregnancy: Effect of Estrogen by Othman A. Al-Shboul, Hanan J. Al-Rshoud, Ahmed N. Al-Dwairi, Mohammad A. Alqudah, Mahmoud A. Alfaqih, Ayman G. Mustafa, Mohammad Jaafar

“…Estrogen inhibited ACh-induced contraction in both periods of pregnancy. Importantly, pretreatment of GSMC with either L-NNA or ODQ abolished estrogen inhibitory action on muscle contraction. …”
Get full text

6‐Nitrodopamine potentiates catecholamine‐induced contractions of human isolated vas deferens by Antonio Tiago Lima, Sami Jabbour, José Britto‐Júnior, Demétrio Martinho Ramos deCarvalho, Adriano Fregonesi, Fernanda V. Mariano, Valéria Barbosa deSouza, Andre Almeida Schenka, Edson Antunes, Gilberto De Nucci

“…Abstract 6‐Nitrodopamine (6‐ND) is the main catecholamine released from human isolated vas deferens and the adrenergic nervous system is known to play a major role in the contractions of the epididymal portion of the vas deferens. …”
Get full text

Examining Ja'farī Jurisprudence: The Incorporation of the Leonine Clause in Partnership and Company Contracts by Heshmatollah Samavati

Subjects: Get full text

Common α-Fuzzy Fixed Point Results for Kannan Type Contractions with Application by Amer Hassan Albargi, Jamshaid Ahmad

“…The purpose of this paper is to utilize complex valued extended b-metric space and obtain common α-fuzzy fixed point theorems under Kannan type contractions. As application, we derive common α-fixed point results for multivalued mappings in the context of complex valued extended b-metric space.…”
Get full text

Fixed Point Theorems for Generalized θ-ϕ-Contractions in G-Metric Spaces by Dingwei Zheng

“…We introduce the notion of generalized θ-ϕ contraction and establish some new fixed point theorems for this contraction in the setting of complete G-metric spaces. …”
Get full text

Generalized Contractive Mappings and Weakly α-Admissible Pairs in G-Metric Spaces by N. Hussain, V. Parvaneh, S. J. Hoseini Ghoncheh

“…The aim of this paper is to present some coincidence and common fixed point results for generalized (ψ, φ)-contractive mappings using partially weakly G-α-admissibility in the setup of G-metric space. …”
Get full text

Destins tracés et contraction des horizons : être chômeuse au Portugal by Pedro Araujo

Get full text