A component model for hard real‐time systems: CCM with ARINC‐653
The size and complexity of software in safety‐critical systems is increasing at a rapid pace.
One technology that can be used to mitigate this complexity is component‐based software …
One technology that can be used to mitigate this complexity is component‐based software …
Efficient autoscaling in the cloud using predictive models for workload forecasting
Large-scale component-based enterprise applications that leverage Cloud resources expect
Quality of Service(QoS) guarantees in accordance with service level agreements between …
Quality of Service(QoS) guarantees in accordance with service level agreements between …
Bio-Inspired Mn(I) Complexes for the Hydrogenation of CO2 to Formate and Formamide
Developing new, efficient catalysts that contain Earth-abundant metals and simple, robust
ligands for CO 2 hydrogenation is important to create cost-effective processes of CO 2 …
ligands for CO 2 hydrogenation is important to create cost-effective processes of CO 2 …
Molecular self-assembly of arene-Ru based interlocked catenane metalla-cages
Two interlocked trigonal prismatic metalla-cages are formed quantitatively through the self-assembly
of π-electron rich arene-Ru acceptors with a new tridentate donor. Interestingly, non…
of π-electron rich arene-Ru acceptors with a new tridentate donor. Interestingly, non…
Transfer Hydrogenation of Carbonyl Groups, Imines and N‐Heterocycles Catalyzed by Simple, Bipyridine‐Based MnI Complexes
A Dubey, SMW Rahaman, RR Fayzullin… - …, 2019 - Wiley Online Library
Utilization of hydroxy‐substituted bipyridine ligands in transition metal catalysis mimicking [Fe]‐hydrogenase
has been shown to be a promising approach in developing new catalysts …
has been shown to be a promising approach in developing new catalysts …
Anticancer Potency and Multidrug‐Resistant Studies of Self‐Assembled Arene–Ruthenium Metallarectangles
A suite of three tetraruthenium metallacycles have been obtained from [2+2] self‐assemblies
between N,N′‐Di‐(4‐pyridyl)‐1,4,5,8‐naphthalenetetracarbo–xydiimide (4) and one of the …
between N,N′‐Di‐(4‐pyridyl)‐1,4,5,8‐naphthalenetetracarbo–xydiimide (4) and one of the …
Impact of COVID-19 on public transit accessibility and ridership
COVID-19 has radically transformed urban travel behavior throughout the world. Agencies
have had to provide adequate service while navigating a rapidly changing environment with …
have had to provide adequate service while navigating a rapidly changing environment with …
VeriSolid: Correct-by-design smart contracts for Ethereum
The adoption of blockchain based distributed ledgers is growing fast due to their ability to
provide reliability, integrity, and auditability without trusted entities. One of the key capabilities …
provide reliability, integrity, and auditability without trusted entities. One of the key capabilities …
Providing privacy, safety, and security in IoT-based transactive energy systems using distributed ledgers
Power grids are undergoing major changes due to rapid growth in renewable energy resources
and improvements in battery technology. While these changes enhance sustainability …
and improvements in battery technology. While these changes enhance sustainability …
Enhanced green upconversion emission in NaYF4: Er3+/Yb3+/Li+ phosphors for optical thermometry
The NaYF 4 phosphors codoped with Er 3+ -Yb 3+ have been synthesized by hydrothermal
method using oleic acid as a chelating agent. The crystal structure and surface morphology …
method using oleic acid as a chelating agent. The crystal structure and surface morphology …