نتایج جستجو برای: cps
تعداد نتایج: 5286 فیلتر نتایج به سال:
Cardiac regenerative therapies utilizing human induced pluripotent stem cells (hiPSCs) are hampered by ineffective large-scale culture. hiPSCs were cultured in multilayer culture plates (CPs) with active gas ventilation (AGV), resulting in stable proliferation and pluripotency. Seeding of 1 × 106 hiPSCs per layer yielded 7.2 × 108 hiPSCs in 4-layer CPs and 1.7 × 109 hiPSCs in 10-layer CPs with ...
Currently, CyberPhysical Systems (CPS) represents a great challenge for automatic control and smart systems engineering on both theoretical and practical levels. Designing CPS requires approaches involving multi-disciplinary competences. However they are designed to be autonomous, the CPS present a part of uncertainty, which requires interaction with human for engineering, monitoring, controlli...
Call-by-name can be simulated in a call-by-value setting using \thunks" (i.e., parameterless procedures) or continuation-passing-style (CPS). In this paper we uncover a relationship between the two simulations. We prove that the call-by-value CPS transformation Cv, when applied to a term T (t) which simulates call-by-name using thunks, yields a term identical to the call-by-name CPS transformat...
AIM To measure implant stability using periotest values of implants placed in sockets augmented with calcium phospho-silicate putty (CPS Putty) as compared with implant stability in naturally healed sockets. MATERIALS AND METHODS Twenty two sockets were implanted with CPS Putty immediately after extraction. The sockets were re-entered after a healing period at 5 to 6 months (average 5.3 month...
Complex Predicates or CPs are multiword complexes functioning as single verbal units. CPs are particularly pervasive in Hindi and other IndoAryan languages, but an usage account driven by corpus-based identification of these constructs has not been possible since single-language systems based on rules and statistical approaches require reliable tools (POS taggers, parsers, etc.) that are unavai...
Cyber physical system (CPS) is a complex distributed system which contains computing, communications, and control. CPS is the combination of the cyber world and the physical world. The cyber world need huge amount of physical device sensing and commutating in order to collect and transform the information in the real environment. Then, system forecast the possible situation that can happen in t...
A 90-year-old female complaining of severe upper abdominal pain was transferred to our institution. The patient had been prescribed with calcium polystyrene sulfonate (CPS) for the treatment of hyperkalemia following myeloperoxidase-antineutrophil cytoplasmic antibody (MPO-ANCA) associated glomerulonephritis. Physical examination revealed diffuse tenderness over the abdomen, with signs of perit...
We build on Danvy and Nielsen’s first-order program transformation into continuation-passing style (CPS) to present a new correctness proof of the converse transformation, i.e., a one-pass transformation from CPS back to direct style. Previously published proofs were based on CPS transformations that were either higher-order, noncompositional, or operating in two passes, and were correspondingl...
Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today’s computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective met...
The more systems are becoming to be controlled by computing devices. Cyber-Physical Systems (CPS) are expected to be an alternative to the traditional control systems. However, there are several problems to adopt CPS since they cannot adapt to changes in environment and system failures. Autonomic computing concept is widely applied to enable systems to adapt changes at runtime. In this paper we...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید