Results 31 to 40 of about 2,142,973 (310)
Symmetry, 2020 In this paper, we initiate the notion of Ćirić type rational graphic Υ , Λ -contraction pair mappings and provide some new related common fixed point results on partial b-metric spaces endowed with a directed graph G.
Eskandar Ameer +3 more
semanticscholar +1 more source
Troponin T3 regulates nuclear localization of the calcium channel Cavβ1a subunit in skeletal muscle [PDF]
, 2015 The voltage-gated calcium channel (Cav) β1a subunit (Cavβ1a) plays an important role in excitation-contraction coupling (ECC), a process in the myoplasm that leads to muscle-force generation. Recently, we discovered that the Cavβ1a subunit travels to the
Delbono, Osvaldo +7 more
core +2 more sources
Hybrid contract checking via symbolic simplification [PDF]
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation, 2012 Program errors are hard to detect or prove absent. Allowing programmers to write formal and precise specifications, especially in the form of contracts, is a popular approach to program verification and error discovery. We formalize and implement a hybrid (static and dynamic) contract checker for a subset of OCaml.
openaire +2 more sources
Hybrid contracts in introductory linguistics
Proceedings of the Linguistic Society of America, 2021 Wanting to shift the focus in the introductory linguistics classes in an access institution from teaching to learning, I created a tripartite (hybrid) contract that consists of three distinct tasks: labor-based tasks (collaborative forums and breakout activities); content-based tasks (assignments and final project on changing understandings about ...
openaire +2 more sources
Instructive discussion of an effective block algorithm for baryon-baryon correlators [PDF]
, 2016 We describe an approach for the efficient calculation of a large number of four-point correlation functions for various baryon-baryon (BB) channels, which are the primary quantities for studying the nuclear and hyperonic nuclear forces from lattice ...
Nemura Hidekatsu, 根村 英克
core +3 more sources
Hybrid Contract in Islamic Financial Services
Al-Iqtishad: Jurnal Ilmu Ekonomi Syariah, 2022 The hybrid contract is needed to accommodate modern transactions unavailable in the classical Islamic period. The current financial service products use hybrid contracts, such as in debt transfer, import and export letters of credit, and credit cards.
Hasanudin Hasanudin +3 more
openaire +1 more source
Contract design for storage in hybrid electricity markets
Joule, 2023 Challenges to the term financing of standalone storage in energy-only electricity markets relate to the difficulty of obtaining long-tenor contracts given multiple volatile revenue streams. Government and central agency-initiated contracting and procurement of storage has garnered interest as a means of catalysing adoption and learning curve effects ...
Billimoria, F, Simshauser, P
openaire +2 more sources
Coincidence theorems for nonlinear hybrid contractions [PDF]
International Journal of Mathematics and Mathematical Sciences, 1995 In this paper, we give some common fixed point theorems for single‐valued mappings and multi‐valued mappings satisfying a rational inequality. Our theorems generalize some results of B. Fisher, M. L. Diviccaro et al. and V. Popa.
Cho, Y. J., Fisher, B., Genga, G. S.
openaire +4 more sources
Transgenic Overexpression of LARGE Induces alpha-Dystroglycan Hyperglycosylation in Skeletal and Cardiac Muscle [PDF]
, 2010 Background: LARGE is one of seven putative or demonstrated glycosyltransferase enzymes defective in a common group of muscular dystrophies with reduced glycosylation of alpha-dystroglycan.
Brockington, M +7 more
core +4 more sources
Inertial hybrid algorithm for variational inequality problems in Hilbert spaces
Journal of Inequalities and Applications, 2020 For a variational inequality problem, the inertial projection and contraction method have been studied. It has a weak convergence result. In this paper, we propose a strong convergence iterative method for finding a solution of a variational inequality ...
Ming Tian, Bing-Nan Jiang
doaj +1 more source