Results 51 to 60 of about 86,251 (282)

On the Rigorous Correspondence Between Operator Fractional Powers and Fractional Derivatives via the Sonine Kernel

Fractal and Fractional
Traditional operational calculus, while intuitive and effective in addressing problems in physical fractal spaces, often lacks the rigorous mathematical foundation needed for fractional operations, sometimes resulting in inconsistent outcomes. To address
Zelin Liu, Xiaobin Yu, Yajun Yin
doaj   +1 more source

First Passage Analysis in a Queue with State Dependent Vacations

Axioms, 2022
This paper deals with a single-server queue where the server goes on maintenance when the queue is exhausted. Initially, the maintenance time is fixed by deterministic or random number T.
Jewgeni H. Dshalalow, Ryan T. White
doaj   +1 more source

Results of the Childhood Cancer and Leukaemia Group's United Kingdom Relapsed Wilms Tumour Trial

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background The United Kingdom relapsed Wilms tumour (UKW‐R) trial aimed to improve the historically low survival rates after relapse of Wilms tumour (WT) through a prospective national risk‐stratified protocol. The trial also evaluated efficacy and toxicity of high‐dose melphalan.
Sucheta J. Vaidya, Veronica Moroz, Juliet Hale, Vesna Pavasovic, Rachel Hobson, Patricia Sartori, Daniel Saunders, Mark Powis, Gordan M. Vujanic, Stephen Baker, Kathy Pritchard‐Jones   +10 more
wiley   +1 more source

Programming and Reasoning with Guarded Recursion for Coinductive Types

, 2015
We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs.
Birkedal, Lars, Bizjak, Aleš, Clouston, Ranald, Grathwohl, Hans Bugge   +3 more
core   +1 more source

Lazy Evaluation and Delimited Control [PDF]

, 2010
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics.
Amr Sabry, Andrew Lumsdaine, Barendregt Henk P., Curry Haskell Brookes, Daniel, Felleisen Matthias, Gibbons Jeremy, Ronald Garcia   +7 more
core   +1 more source

Weighted Fractional Calculus: A General Class of Operators

Fractal and Fractional, 2022
We conduct a formal study of a particular class of fractional operators, namely weighted fractional calculus, and its extension to the more general class known as weighted fractional calculus with respect to functions.
Arran Fernandez, Hafiz Muhammad Fahad
doaj   +1 more source

Exploring Preferences for a Digital Single‐Session Intervention for Adolescent Siblings of Youth With Cancer

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Adolescent siblings of children with cancer are at elevated risk for psychosocial problems. Unfortunately, various barriers such as limited family time and resources, conflicting schedules, and psychosocial staffing constraints at cancer centers hinder sibling access to support.
Christina M. Amaro, Sarah Silver, Prishi Patel, Meredith K. Reffner Collins, Kimberly S. Canter, Stephanie Fooks‐Parker, Michael Amylon, Shawna V. Hudson, Jessica L. Schleider, Melissa A. Alderfer, Katie A. Devine   +10 more
wiley   +1 more source

Operational Calculus for the 1st-Level General Fractional Derivatives and Its Applications

Mathematics
The 1st-level General Fractional Derivatives (GFDs) combine in one definition the GFDs of the Riemann–Liouville type and the regularized GFDs (or the GFDs of the Caputo type) that have been recently introduced and actively studied in the fractional ...
Maryam Alkandari, Yuri Luchko
doaj   +1 more source

Model Checking Processes Specified In Join-Calculus Algebra

Computer Science, 2014
This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic.
Sławomir Piotr Maludziński, Grzegorz Dobrowolski   +1 more
doaj   +1 more source

An Operational Standpoint in Electrical Engineering [PDF]

Electronics, 2013
In electrical engineering education exists a major difficulty for first level students, namely the Laplace transform. The question is: does this ubiquitous tool is needed in an electrical engineering course? Our answer is: Obviously, not.
Frédéric Rotella, Irène Zambettakis
doaj   +1 more source