Results 51 to 60 of about 147,066 (311)

Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
A functional hardware description language enables students to gain a working understanding of computer systems, and to see how the levels of abstraction fit together.
John T. O'Donnell
doaj   +1 more source

RELEASE: A High-level Paradigm for Reliable Large-scale Server Software [PDF]

, 2012
Erlang is a functional language with a much-emulated model for building reliable distributed systems. This paper outlines the RELEASE project, and describes the progress in the first six months.
Wiger, Ulf, Francesco Cesarini, Lundin, Kenneth, Olivier Boudeville, Sagonas, Konstantinos,, Simon Thompson, Papaspyrou, Nikolaos, Nikolaos Papaspyrou, Trinder, Phil, Kenneth Lundin, Cesarini, Francesco, Boudeville, Olivier, Phil Trinder, Konstantinos Sagonas, Ulf Wiger, Sagonas, Konstantinos, Chechina, Natalia, Thompson, Simon, Natalia Chechina   +18 more
core   +1 more source

Supporting Survivor‐Centered Care Through Digital Health Integration

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Survivors of childhood cancer face barriers to receiving guideline‐based, long‐term follow‐up care. Two digital tools, Passport for Care (PFC) and Cancer SurvivorLink (SurvivorLink), address complementary gaps by enabling tailored survivorship care plan (SCP) generation, updating, storage, and sharing.
Jordan G. Marchak, Rebecca Williamson‐Lewis, Michael O'Connor, Michael Palgon, Yu‐Ra Kim, Michael Schuckenbrock, Paula Edwards, Abraham Mendoza, Anthony Adams, Brian Arriaga‐Solis, Justin Parker, Harry Tinoco‐Giraldo, Jason King, C. Michael Fordis, Karen E. Effinger, Maria Monica Gramatges   +15 more
wiley   +1 more source

A New Application of Functional Zonal Image Reconstruction in Programming for Parkinson's Disease Treated Using Subthalamic Nucleus–Deep Brain Stimulation

Frontiers in Neurology, 2022
Objective:Programming plays an important role in the outcome of deep brain stimulation (DBS) for Parkinson's disease (PD). This study introduced a new application for functional zonal image reconstruction in programming.MethodsFollow-up outcomes were ...
Jiaming Mei, Bowen Chang, Chi Xiong, Manli Jiang, Chaoshi Niu   +4 more
doaj   +1 more source

The Functional Side of Logic Programming

, 1995
In this paper we study the relationships between logic programming and functional programming, trying to answer the following basic question: to what extent is logic programming just functional programming in disguise?
MARCHIORI, MASSIMO, Massimo Marchiori
core   +1 more source

Therapeutic Apheresis for Intravenous Methylprednisolone‐Refractory Neuromyelitis Optica Spectrum Disorder: Clinical and Radiological Outcomes in a Single‐Center Case Series

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Neuromyelitis optica spectrum disorder (NMOSD) is a relapsing autoimmune disease of the central nervous system. High‐dose intravenous methylprednisolone (IVMP) is the standard first‐line therapy for acute attacks, although some patients remain refractory.
Wataru Horiguchi, Daisuke Katagiri, Takeyuki Watadani, Shunichi Matsuda, Hiroshi Kaneko, Noritoshi Arai   +5 more
wiley   +1 more source

The Resource constrained shortest path problem implemented in a lazy functional language [PDF]

, 1996
The resource constrained shortest path problem is an NP-hard problem for which many ingenious algorithms have been developed. These algorithms are usually implemented in FORTRAN or another imperative programming language.
Hartel, Pieter H., Hartel, P.H., Glaser, H.W., Glaser, Hugh   +3 more
core   +1 more source

Dietary Protein Intake and Peritoneal Protein Losses in Peritoneal Dialysis Patients

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Peritoneal dialysis (PD) patients lose protein in their waste dialysate, potentially increasing their risk for malnutrition. We wished to determine whether there was any association between losses and dietary protein intake (DPI). Methods DPI was assessed from 24‐h dietary recall using Nutrics software.
Haalah Shaaker, Andrew Davenport
wiley   +1 more source

Erythropoietin mediates re-programming of endotoxin-tolerant macrophages through PI3K/AKT signaling and protects mice against secondary infection

Frontiers in Immunology, 2022
Initial lipopolysaccharide (LPS) exposure leads to a hypo-responsive state by macrophages to a secondary stimulation of LPS, known as endotoxin tolerance.
Xue Zhang, Dan He, Jialin Jia, Feihong Liang, Jie Mei, Wenhua Li, Tingting Liu, Zhiyu Wang, Yu Liu, Fengxue Zhang, Zhiren Zhang, Bangwei Luo   +11 more
doaj   +1 more source

Practical implementation of a dependently typed functional programming language [PDF]

, 2005
Types express a program's meaning, and checking types ensures that a program has the intended meaning. In a dependently typed programming language types are predicated on values, leading to the possibility of expressing invariants of a program's ...
Brady, Edwin С., Brady, Edwin ?
core