نتایج جستجو برای: raymond
تعداد نتایج: 3095 فیلتر نتایج به سال:
Given a set of s points and a set of n lines in three-dimensional Euclidean space such that each line is incident to n points but no n lines are coplanar, then we have s = Ω(n). This is the first nontrivial answer to a question recently posed by Jean Bourgain.
Given a set of s points and a set of n lines in three-dimensional Euclidean space such that each line is incident to n points but no n lines are coplanar, then we have s = Ω(n). This is the first nontrivial answer to a question recently posed by Jean Bourgain.
Marissa R. Martinez, Adam Cuker, Angela M. Mills, Amanda Crichlow, Richard T. Lightfoot, Irina N. Chernysh, Chandrasekaran Nagaswami, John W. Weisel, and Harry Ischiropoulos Departments of Pediatrics and Pharmacology, Children’s Hospital of Philadelphia and the Raymond and Ruth Perelman School of Medicine at the University of Pennsylvania, Philadelphia, Pennsylvania; Department of Medicine, the...
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalization of classical refinement, for the formal description of application developments too demanding for refinement. This work initiates the study of the structuring of retrenchment-based developments in B by decomposition. A given coarse-grained retrenchment relation between specifications is decomposed ...
This article presents work related to event driven B that has been undertaken by ClearSy, in close collaboration with J.R. Abrial and Louis Mussat (DCSSI). The main objective has been to verify suitability of B for system modelling. Most of these activities have been funded by MATISSE project (IST-1999-11435).
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید