Results 241 to 250 of about 2,239,573 (280)
Some of the next articles are maybe not open access.
ACM SIGSOFT Software Engineering Notes, 1985
This brief note discusses the status and goals of the "Euclid-based Verification and Evaluation System" project, currently underway at I. P. Sharp Associates.
Dan Craigen, Mark Saaltink
openaire +1 more source
This brief note discusses the status and goals of the "Euclid-based Verification and Evaluation System" project, currently underway at I. P. Sharp Associates.
Dan Craigen, Mark Saaltink
openaire +1 more source
ACM SIGGRAPH 2001 video review on Electronic theater program, 2001
Interview of a young French Virtual personality. Eve Solal has worked for French fashion Magazines as top model; radio DJ....Full animated with motioncapture (vicon), all the 3D work was done on Maya. Proprietary development for skinning and facial animation. Copyright held by creator.
Marc Miance, null Attitude
openaire +1 more source
Interview of a young French Virtual personality. Eve Solal has worked for French fashion Magazines as top model; radio DJ....Full animated with motioncapture (vicon), all the 3D work was done on Maya. Proprietary development for skinning and facial animation. Copyright held by creator.
Marc Miance, null Attitude
openaire +1 more source
Nature Nanotechnology, 2008
Debates about nanotechnology and religion have become dominated by the concepts of transhumanism and cyberimmortality, but, argues Chris Toumey, there are more interesting topics to discuss.
openaire +2 more sources
Debates about nanotechnology and religion have become dominated by the concepts of transhumanism and cyberimmortality, but, argues Chris Toumey, there are more interesting topics to discuss.
openaire +2 more sources
2012 International Conference on Connected Vehicles and Expo (ICCVE), 2012
We propose load balanced routing strategies that attempt to route EVs in a geographic area to balance potential demand on charging points. Our objective in doing so is to reduce the potential for queuing at charging stations and to balance the energy demand in the electrical grid.
Schlote A +2 more
openaire +2 more sources
We propose load balanced routing strategies that attempt to route EVs in a geographic area to balance potential demand on charging points. Our objective in doing so is to reduce the potential for queuing at charging stations and to balance the energy demand in the electrical grid.
Schlote A +2 more
openaire +2 more sources
JAMA: The Journal of the American Medical Association, 1979
To the Editor.— Like others before me (241:2141, 1979), I, too, commend David H. Spodick, MD, DSc (240:2439, 1978), on his witty essay "Vogue Words—Ectopic Language." I agree in principle, but not in theory, with the comments made by Sanford Pinna, MD (241:2141, 1979), renaming Dr Spodick's ventricular ectopic beat (VEB) a ventricular ectopic event ...
openaire +2 more sources
To the Editor.— Like others before me (241:2141, 1979), I, too, commend David H. Spodick, MD, DSc (240:2439, 1978), on his witty essay "Vogue Words—Ectopic Language." I agree in principle, but not in theory, with the comments made by Sanford Pinna, MD (241:2141, 1979), renaming Dr Spodick's ventricular ectopic beat (VEB) a ventricular ectopic event ...
openaire +2 more sources
IEEE Spectrum, 1995
The rule by the California Air Resources Board (CARB) mandating a 1998 start for the sale of zeroemission vehicles (ZEVs) in the state got more support than criticism at the Nov. 8 public forum held on ZEV costs and benefits in Los Angeles. Jane Hall, an economics professor at California State University, Fullerton, told those present that her research
openaire +1 more source
The rule by the California Air Resources Board (CARB) mandating a 1998 start for the sale of zeroemission vehicles (ZEVs) in the state got more support than criticism at the Nov. 8 public forum held on ZEV costs and benefits in Los Angeles. Jane Hall, an economics professor at California State University, Fullerton, told those present that her research
openaire +1 more source
1993
After a brief introduction, we discuss two applications of EVES. The first application is a proof of Jacobson's Theorem. The second application is a proof of an interpreter for a small programming language; portions of the interpreter proof are described in this paper.
Sentot Kromodimoeljo +4 more
openaire +1 more source
After a brief introduction, we discuss two applications of EVES. The first application is a proof of Jacobson's Theorem. The second application is a proof of an interpreter for a small programming language; portions of the interpreter proof are described in this paper.
Sentot Kromodimoeljo +4 more
openaire +1 more source
1991
In this paper we describe a new formal methods tool called EVES. EVES consists of a set theoretic language, called Verdi, and an automated deduction system, called NEVER. We present an overview of Verdi, NEVER, and the underlying mathematics; and develop a small program, to demonstrate the basic functionality of EVES.
Dan Craigen +4 more
openaire +1 more source
In this paper we describe a new formal methods tool called EVES. EVES consists of a set theoretic language, called Verdi, and an automated deduction system, called NEVER. We present an overview of Verdi, NEVER, and the underlying mathematics; and develop a small program, to demonstrate the basic functionality of EVES.
Dan Craigen +4 more
openaire +1 more source
1992
ORA Canada has recently conducted a study with three primary goals: to assess the Z notation; to determine the feasibility of using Eves as a proof tool for Z; and to adapt the Z “Mathematical Toolkit” for use in Eves. In general, we would recommend the Z notation.
openaire +1 more source
ORA Canada has recently conducted a study with three primary goals: to assess the Z notation; to determine the feasibility of using Eves as a proof tool for Z; and to adapt the Z “Mathematical Toolkit” for use in Eves. In general, we would recommend the Z notation.
openaire +1 more source