Results 51 to 60 of about 41,858 (191)
A Process Calculus for Expressing Finite Place/Transition Petri Nets
, 2010 We introduce the process calculus Multi-CCS, which extends conservatively CCS with an operator of strong prefixing able to model atomic sequences of actions as well as multiparty synchronization.
Gorrieri, Roberto, Versari, Cristian
core +2 more sources
Journal of Orthopaedic Research, Volume 43, Issue 12, Page 2260-2270, December 2025.ABSTRACT As dual mobility hips become more popular, there is a clinical need to investigate design features that will impact tribocorrosion of these devices. While previous studies have investigated both corrosion and wear damage, the effect of device size on fretting corrosion response has yet to be evaluated. In this study, we compare two implants of
Peter W. Kurtz +3 more
wiley +1 more source
SECRECY CODING IN THE INTEGRATED NETWORKENHANCED TELEMETRY (iNET) [PDF]
, 2021 This paper considers security in eavesdropping attacks over wireless communication links in aeronautical telemetry systems. Here, we propose a secure coding technique for the integrated Network Enhanced Telemetry (iNET) communications system that can be coupled with modern encryption schemes. We consider a wiretap scenario where there are two telemetry
Willie Harrison, Morteza Shoushtari
openaire +1 more source
Regional innovation networks (iNets) for the East Midlands: prospectus for applicants [PDF]
, 2007 Prospectus for expressions of interest to establish regional innovation Networks (iNets) in priority sectors (healthcare, transport, environment and food and drink).
East Midlands Development Agency
core
Oxygen surface exchange and diffusion in fast ionic conductors [PDF]
, 1986 The rate of oxygen surface exchange on selected bulk oxides exhibiting enhanced oxygen ion conductivity has been derived by measuring 18O penetration profiles using a high sensitivity dynamic SIMS technique.
Burggraaf, A.J. +5 more
core +3 more sources
Advanced Science, Volume 12, Issue 42, November 13, 2025.Ligand topology and non‐coordination atoms are proved to be important for the design of effective water‐soluble actinide masking agents. Abstract Water‐soluble actinide‐masking ligands are fundamentally important for achieving efficient lanthanide/actinide separation and for the development of water‐soluble f‐block complexes for bioimaging and ...
Bin Li +9 more
wiley +1 more source
Fermentative hydrogen production using pretreated microalgal biomass as feedstock
Microbial Cell Factories, 2018 Microalgae are simple chlorophyll containing organisms, they have high photosynthetic efficiency and can synthesize and accumulate large quantities of carbohydrate biomass. They can be cultivated in fresh water, seawater and wastewater.
Jianlong Wang, Yanan Yin
doaj +1 more source
A legacy handbook for innovation [PDF]
, 2011 Legacy Handbook reviewing emda's experience of innovation activity. Identifies key achievements and draws out lessons learned that may be relevant to successor bodies active in this ...
East Midlands Development Agency, EMDA
core
Enhanced Anti‐Wetting Methods of Hydrophobic Membrane for Membrane Distillation
Advanced Science, 2023 Increasing issues of hydrophobic membrane wetting occur in the membrane distillation (MD) process, stimulating the research on enhanced anti‐wetting methods for membrane materials.
Honglong Zhang, Xuan Zhao
doaj +1 more source
Architectures for smart end-user services in the power grid [PDF]
, 2010 -The increase of distributed renewable electricity generators, such as solar cells and wind turbines, requires a new energy management system. These distributed generators introduce bidirectional energy flows in the low-voltage power grid, requiring ...
De Turck, Filip +5 more
core +2 more sources