Results 31 to 40 of about 641,939 (299)
Correct Code Containing Containers [PDF]
For critical software development, containers such as lists, vectors, sets or maps are an attractive alternative to ad-hoc data structures based on pointers. As standards like DO-178C put formal verification and testing on an equal footing, it is important to give users the ability to apply both to the verification of code using containers.
Dross, Claire +2 more
openaire +2 more sources
The impact of seeds provenance and nursery production method on Austrian pine (Pinus nigra Arn.) seedlings quality [PDF]
The influence of seed provenances and seedling production methodson quality of one and two years old seedlings of Austrian pine wereinvestigated. Seeds from three provenances of Austrian pine (Goč, Studenica and Šargan) were used for seedlings production,
Vladan Ivetić, Mirko Škorić
doaj
Larvae of Hermetia illucens are a valuable source of protein for animal feed that can be produced by exposing animal and agro-industrial wastes to naturally occurring flies. The objective of this study was to improve techniques for obtaining H.
Florence Sankara +8 more
doaj +1 more source
The XPRIZE Foundation designs and operates multi-million-dollar, global competitions to incentivize the development of technological breakthroughs that accelerate humanity toward a better future.
Max Cappellari +3 more
doaj +1 more source
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
GPU-Enabled Serverless Workflows for Efficient Multimedia Processing
Serverless computing has introduced scalable event-driven processing in Cloud infrastructures. However, it is not trivial for multimedia processing to benefit from the elastic capabilities featured by serverless applications.
Sebastián Risco, Germán Moltó
doaj +1 more source
ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie +4 more
wiley +1 more source
The Negative Effects of High Rates of Biochar on Violas Can Be Counteracted with Fertilizer
Increasing costs and environmental issues regarding excessive use of peat moss is impacting the horticultural industry. Biochar is a valuable substrate additive that has the potential to reduce the use of peatmoss in greenhouse production.
Abishkar Regmi +4 more
doaj +1 more source
ABSTRACT Background An international Delphi panel of experts developed consensus statements to delineate the circumstances where the risks of dexamethasone as an antiemetic do and do not outweigh its benefits. Procedure Experts in supportive care of pediatric patients were invited to participate.
Negar Shavandi +20 more
wiley +1 more source
Tools and Services for High Performance Computing
The accounting platform is a web-service based system for collection and analysis of accounting data from different infrastructure resources like High Performance Computing (HPC), Cloud and storage systems. The platform has two major components - backend
Dimitrov Dimitar, Atanassov Emanouil
doaj +1 more source

