Results 11 to 20 of about 31,819 (298)
A calculus for Esterel: if can, can. if no can, no can. [PDF]
The language Esterel has found success in many safety-critical applications, such as fly-by-wire systems and nuclear power plant control software. Its imperative style is natural to programmers building such systems and its precise semantics makes it work well for reasoning about programs. Existing semantics of Esterel generally fall into two
Spencer P. Florence +3 more
openaire +1 more source
Modern non-thermal method of processing plant raw materials used to increase its storability
Along with thermal methods of processing plant raw materials, non-thermal processing methods have been actively developed in recent decades, which make it possible to preserve the qualitative characteristics of the initial raw materials to the maximum ...
N. E. Posokina, A. I. Zakharova
doaj +1 more source
Can they hack it? Yes they can [PDF]
A smartphone app for patients to collect and compute home blood pressure readings clinched first prize at the inaugural BMJ hack day last ...
openaire +3 more sources
With the rapid speed of globalization and technological breakthroughs, current social issues have become more complex than in past decades. As many issues such as pandemics, terrorism, and interracial conflict are realistically unpredictable, the idea of
Andree Hartanto +2 more
doaj +1 more source
Hot extrusion process can improve the mechanical properties of materials. However, due to the presence of SiC particles, SiCp/Al composites are prone to fracture damage in the extrusion process.
Mingyuan Zhang +4 more
doaj +1 more source
Objective To evaluate the quality of platelet concentrates (PCs) prepared by traditional and modified buffy coat centrifugal canning methods, and to explore the effect of modified buffy coat centrifugal canning method on improving the quality of PCs ...
Manhua LUO +3 more
doaj +1 more source
IntroductionIt is estimated that five out of six farms in the world are operating less than two hectares of land, called smallholder farmers, and they are producing over one third of the global food.
Subhasis Mandal +8 more
doaj +1 more source
Canning Process Lemuru Fish (Sardinella longiceps) in CV. Pasific Harvest, Banyuwangi, East java.
Fish is a perishable food source, there the one processing need to be done with fast and right. Fish processing principle is basically aimed for protecting fish from decay and harm with extend to durable power.
Arini Arini, Sri Subekti
doaj +1 more source
Canned foods have a long history of success and are likely to remain popular for the foreseeable future owing to their convenience, long shelf life and economy. Interest in fish consumption has increased in recent years due to the wide range of its health
Rita Pinheiro, Manuela Vaz Velho
doaj +1 more source

