نتایج جستجو برای: a new
تعداد نتایج: 13723395 فیلتر نتایج به سال:
nanotechnology is a general term which is related with field of all advanced science term that generally predicates with all modern technologies which consider nanoscales. improvement in the quality of products by adding some nanoparticles and study of their behavior in the presence of these nanoparticles have been obtained in many researches. on the other hand numerous demands for sowing ...
We have obtained mosaic images of NGC 3109 in the V and I bands on 74 nights, spanning approximately one year. From these data, we have conducted an extensive search for Cepheid variables over the entire field of the galaxy, resulting in the discovery of 113 variables with periods ranging from 3.4 to 31.4 days. In this sample, 76 Cepheids, including many long-period variables, were not known be...
We present a new approach to revising extended programs, based on the coherence theory initially advocated by Gardenfors for belief revision. We deene the skeptical and credulous coherence semantics and show that both semantics can be characterized in terms of the xpoint semantics of a revised program using a simple program revision technique. Semantical properties and advantages of the propose...
It naturally makes researchers bristle when a new guy comes along and makes grand pronouncements that everyone else has missed the big idea. Stephan Wolfram encountered some of that with his 1192 page tome, “A New Kind of Science” where he argued that cellular automata do much better at simulating complex phenomena than more sophisticated models. It helps things not a bit when the new guy struc...
The effects of confinement on the dynamics of binary encounters between spherical particles in shear flow are studied for a system bounded by a single planar wall or two parallel planar walls under creeping flow conditions. We show that wall proximity gives rise to a new class of binary trajectories resulting in cross-streamline migration of the particles. In contrast, in unbounded space spheri...
Model checking has been successfully applied to system verification. However, there are no standard and universal tools to date being applied for system modification. This paper introduces a formal approach called the Linear Temporal Logic (LTL) model update for system modification. In contrast to previous error repairing methods, which were usually simple program debugging and specialized tech...
Innovating in the field of new media genres requires methods for producing designs that can succeed in being disseminated and used outside of design research labs. This article uses the author’s experiences with the development of university courses in communication design to address the research question: How can we design courses to give students the competencies they need to work as designer...
In this paper we study the production of pairs of neutral and charged black holes by domain walls, finding classical solutions and calculating their classical actions. We find that neutral black holes whose creation is mediated by Euclidean instantons must be produced mutually at rest with respect to one another, but for charged black holes a new type of instanton is possible in which after for...
The Java-MaC framework is a run-time verification system for Java programs that can be used to dynamically test and enforce safety policies. This paper presents a formal model of the Java-MaC safety properties in terms of an operational semantics for Middleweight Java, a realistic subset of full Java. This model is intended to be used as a framework for studying the correctness of Java-MaC prog...
If a heavy (r) neutrino exists with a mass between a few MeV and a few hundred MeV, neutrino beams will exhibit the phenomena of decay into well defined final states such as e-e+" e' evv, 7re. We demonstrate the feasibility of the decay signals and their high sensitivity to neutrino mixing parameters as small as 10 -3 in low energy neutrino experiments. We suggest a new type of neutrino decay e...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید