Results 21 to 30 of about 3,352 (169)
IET Intelligent Transport Systems, Volume 16, Issue 8, Page 1042-1057, August 2022., 2022 Abstract Reliable decision‐making in a safety‐critical system depends on the consistency of the state of the system process. Based on the decision‐makeing properties of safety‐critical systems, the definition of the critical component, Boolean evolution system, and cognate variables are presented here.
Ke‐Ming Wang +4 more
wiley +1 more source
Cell Proliferation, Volume 55, Issue 8, August 2022., 2022 Heart disease is the leading cause of death worldwide. No cure for severe heart failure has been established other than heart transplantation, and the number of donors is insufficient. Therefore, hPSC‐derived CM (hPSC‐CM) transplantation is expected to replace heart transplantation.
Yuika Morita +3 more
wiley +1 more source
Advanced Materials Technologies, Volume 7, Issue 7, July 2022., 2022 An easy to fabricate heart‐on‐chip device with an open‐top monolithic design and 3D printed carbon electrodes developed for stimulation of human pluripotent stem cell (hPSC)‐derived cardiac microtissues. The subjacent microfluidic channel connected to the cardiac microtissues via a porous membrane allows to locally administer a drug and to culture hPSC‐
Aisen Vivas +7 more
wiley +1 more source
Current Protocols, Volume 2, Issue 7, July 2022., 2022 Abstract Sarcomeres are the structural units of the contractile apparatus in cardiac and skeletal muscle cells. Changes in sarcomere characteristics are indicative of changes in the sarcomeric proteins and function during development and disease.
Jeroen M. Stein +9 more
wiley +1 more source
A tool for rapid development of WS-BPEL applications [PDF]
, 2010 We present BliteC, a software tool we have developed for supporting a rapid and easy development of WS-BPEL applications. BliteC translates service orchestrations written in Blite, a formal language inspired to but simpler than WS-BPEL, into executable ...
R. Pugliese +11 more
core +1 more source
IET Communications, Volume 16, Issue 10, Page 1253-1263, 23 June 2022., 2022 Abstract For a long time, the accurate prediction of passenger flow can provide early warning information for various industries such as the public service industry, tourism industry, and industrial business, thus opportunely arranging passengers and providing homologous services to relieve the overloading of places and the accidents caused by ...
Jiaxuan Wang, Rui Wang, Xin Zeng
wiley +1 more source
IET Communications, Volume 16, Issue 10, Page 1182-1199, 23 June 2022., 2022 Abstract In the process of the continuous development of the Internet of Things, cloud computing has been applied in many fields, how to guarantee the quality of service, such as low latency, high bandwidth, high reliability etc., has become a challenging problem.
Zheng Liu +3 more
wiley +1 more source
Using formal methods to develop WS-BPEL applications [PDF]
, 2012 In recent years, WS-BPEL has become a de facto standard language for orchestration of Web Services. However, there are still some well-known difficulties that make programming in WS-BPEL a tricky task.
R. Pugliese +8 more
core +1 more source
Application of Data Resource Allocation in Economic Management Information System
Computational Intelligence and Neuroscience, Volume 2022, Issue 1, 2022., 2022 With the development of the digital economy and the sharp increase in economic information, a large amount of data needs to be processed. Therefore, the demand for an economic management information system is also increasing, but how to realize the allocation of data resources in the system has become an urgent problem to be solved. This study conducts
Yi Guan, Qian Chen, Zhilin Li, Jun Ye
wiley +1 more source
A WSDL-Based Type System for WS-BPEL [PDF]
, 2006 We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages for web services: WSDL and WS-BPEL.
R. Pugliese +8 more
core +1 more source