Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Asynchronous concurrent computation  (1)
  • ceramic bed reactor  (1)
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Formal aspects of computing 7 (1995), S. 113-149 
    ISSN: 1433-299X
    Keywords: Linear logic programming ; Asynchronous concurrent computation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We propose a new framework called ACL for concurrent computation based on linear logic. ACL is a kind oflinear logic programming framework, where its operational semantics is described in terms ofproof construction in linear logic. We also give a model-theoretic semantics based onphase semantics, a model of linear logic. Our framework well captures concurrent computation based on asynchronous communication. It will, therefore, provide us with a new insight into other models of asynchronous concurrent computation from alogical point of view. We also expect ACL to become a formal framework for analysis, synthesis and transformation of concurrent programs by the use of techniques for traditional logic programming. ACL's attractive features for concurrent programming paradigms are also discussed.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    ISSN: 1573-0778
    Keywords: ceramic bed reactor ; human fibroblasts ; perfusion ; product inhibition ; t-PA
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Medicine , Process Engineering, Biotechnology, Nutrition Technology
    Notes: Abstract Ceramic pieces composed of 99.5% Al2O3, 3 to 6 mm long, were found to be a good matrix for growth of the human embryonic lung diploid fibroblast, IMR-90 cells. The tissue plasminogen activator (t-PA) was secreted in DME medium containing proteose peptone as a t-PA inducer. In addition, production of t-PA was enhanced by increasing extracellular CaCl2, from 3.6 to 5.4 mM. In order to eliminate negative feed-back control caused by t-PA produced and thus raise productivity, perfusion cultivation was performed using a ceramic-packed bed column, with a recirculating vessel. The recirculating vessel was used to mix fresh medium with spent medium, and to control dissolved oxygen concentrations in the extracellular environment by stirring. In continuous production using the packed bed column with 2 kg of ceramics (Ø=H=150 mm), increasing dilution rate to 0.5 day-1 could reduce product inhibition at 3–4×105cells/ml. Cellular productivity of 560 IU/106cells/day was obtained over 40 days and corresponded to the volumetric productivity of 183 IU/ml/day.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...