Results 81 to 90 of about 9,214,925 (306)
Experiences using Z animation tools. [PDF]
In this paper we describe our experience of using three different animation systems. We searched for and decided to use these tools in the context of a project which involved developing formal versions (in Z) of informal requirements documents, and then ...
Reeve, Greg, Reeves, Steve
core +1 more source
Dietary Protein Intake and Peritoneal Protein Losses in Peritoneal Dialysis Patients
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
Object-oriented Tools for Distributed Computing [PDF]
Distributed computing systems are proliferating, owing to the availability of powerful, affordable microcomputers and inexpensive communication networks.
Adler, Richard M.
core +1 more source
Revealing the structure of land plant photosystem II: the journey from negative‐stain EM to cryo‐EM
Advances in cryo‐EM have revealed the detailed structure of Photosystem II, a key protein complex driving photosynthesis. This review traces the journey from early low‐resolution images to high‐resolution models, highlighting how these discoveries deepen our understanding of light harvesting and energy conversion in plants.
Roman Kouřil
wiley +1 more source
Investigation of Tool Cooling and Heat Transfer Using Computational Fluid Dynamics Simulations
Thermal errors remain one of the biggest challenges for the precision of cutting machine tools. Aside from optimizations in the machine tool design and behaviour, optimal cutting process parameters and targeted usage of cutting fluid or alternative ...
Christian Naumann +7 more
doaj +1 more source
Organoids in pediatric cancer research
Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Z Unification Tools in Generic Formaliser [PDF]
We describe some prototype tools for performing unification (i.e. deriving the least common refinement) of simple Z specifications. The techniques used are those described in http://alethea.ukc.ac.uk/Dept/Computing/Research/NDS/consistency/cccfpsiZ.html ...
Boiten, Eerke Albert
core +2 more sources
Reciprocal control of viral infection and phosphoinositide dynamics
Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley +1 more source
Support tools for ERP selection [PDF]
The first step in ERP implementation is a selection process. In general ERP selection is a two-stairs process. The first task is supply narrowing and after that it fallows the ERP comparison.
Herdon, Miklós, Rózsa, Tünde
core
Statistical Tools of ISM turbulence
MHD Turbulence is a critical component of the current paradigms of star formation, particle transport, magnetic reconnection and evolution of the ISM, to name just a few.
Burkhart, Blakesley, Lazarian, Alex
core +1 more source

