نتایج جستجو برای: made systems
تعداد نتایج: 1589348 فیلتر نتایج به سال:
A well-known fact in the theory of secret sharing schemes is that shares must be of length at least as the secret itself. However, the proof of this lower bound uses the notion of information theoretic secrecy. A natural (and very practical) question is whether one can do better for secret sharing if the notion of secrecy is computational, namely, against resource bounded adversaries. In this n...
application of agent based model in simulation of stakeholder’s behavior is slightly a new method for modeling of complicated systems that include autonomous agents interacting with each other. recent numerical achievements have made the applications of agent based models possible in various fields. these applications range from modeling of human progress and destruction of past civilizations t...
during last two decades, polysaccharides such as alginate (alg) alone and in combination with other biopolymers are widely used in vaccine and drug delivery systems. the aim of the present work was to investigate the potential utility of microparticles made of alginate (alg) as new vehicles for improving nasal vaccine delivery. for this purpose, diphtheria toxoid (dt) was chosen as a model anti...
recently, as the result of the development in modern imaging, computerized three dimensional data processing and advanced engineering techniques, an prosthesis that match the skeletal anatomy can be accurately designed from computer aided design (cad) technique and the physical model of prosthesis or skull replica can be produced through rapid prototyping (rp), rapid tooling (rt), and computer ...
minerai fibres in boards for sound-insulation of ceiling (Dan.). Ugeskr. Laeger, 145, 43-47 American Conference of Governmental Industria1 Hygienists (1986) Threshold Limit Values and Biological Exposure Indices/or 1986-1987, Cincinnati, OH, pp. 19,34 Andersen, A. & Langmark, F. (1986) Incidence of cancer in the mineral-wool producing industry in Norway. Scand. J. Work Environ. Health, 12 (Supp...
This paper develops some methods and techniques for the practical use of compositionality to prove the correctness of modular systems, with reference to the metric temporal logic TRIO. It advocates a “lightweight” approach to compositionality, driven by the specifics of the system under development, where methodology is as important as technical solutions.
Transient silencing made permanent A ll cancers have genes that are permanently silenced by DNA methylation. Yeshayahu Schlesinger, Howard Cedar (The Hebrew University, Israel), and colleagues, and Martin Widschwendter (UCL, London, UK), Peter Laird (USC, Los Angeles, CA), and colleagues inspect these irreversibly silenced genes. In normal tissues, they fi nd, these genes carry transient repres...
Dynamic complexity is concerned with updating the output of a problem when the input is slightly changed. We study the dynamic complexity of model checking a fixed monadic secondorder formula over evolving subgraphs of a fixed maximal graph having bounded tree-width; here the subgraph evolves by losing or gaining edges (from the maximal graph). We show that this problem is in DynFO (with LOGSPA...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید