Results 1  10
of
12,137
E 7 as D = 10 spacetime symmetry  Origin of the twistor transform
, 1992
"... Massless particle dynamics in D = 10 Minkowski space is given an E 7 covariant formulation, including both spacetime and twistor variables. E 7 contains the conformal algebra as a subalgebra. Analogous constructions apply to D = 3; 4 and 6. Submitted to Physics Letters B It is well known that mas ..."
Abstract
 Add to MetaCart
Massless particle dynamics in D = 10 Minkowski space is given an E 7 covariant formulation, including both spacetime and twistor variables. E 7 contains the conformal algebra as a subalgebra. Analogous constructions apply to D = 3; 4 and 6. Submitted to Physics Letters B It is well known
E7 as D = 10 spacetime symmetry — Origin of the twistor transform
, 1992
"... Massless particle dynamics in D = 10 Minkowski space is given an E7covariant formulation, including both spacetime and twistor variables. E7 contains the conformal algebra as a subalgebra. Analogous constructions apply to D = 3, 4 and 6. Submitted to Physics Letters BIt is well known that massless ..."
Abstract
 Add to MetaCart
Massless particle dynamics in D = 10 Minkowski space is given an E7covariant formulation, including both spacetime and twistor variables. E7 contains the conformal algebra as a subalgebra. Analogous constructions apply to D = 3, 4 and 6. Submitted to Physics Letters BIt is well known
Model Checking Programs
, 2003
"... The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers, proof checkers and model checkers. In this pape ..."
Abstract

Cited by 592 (63 self)
 Add to MetaCart
, slicing, abstraction, and runtime analysis techniques to reduce the state space. JPF has been applied to a realtime avionics operating system developed at Honeywell, illustrating an intricate error, and to a model of a spacecraft controller, illustrating the combination of abstraction, runtime analysis
RealTime Obstacle Avoidance for Manipulators and Mobile Robots
 INT. JOUR OF ROBOTIC RESEARCH
, 1986
"... This paper presents a unique realtime obstacle avoidance approach for manipulators and mobile robots based on the artificial potential field concept. Collision avoidance, traditionally considered a high level planning problem, can be effectively distributed between different levels of control, al ..."
Abstract

Cited by 1345 (28 self)
 Add to MetaCart
control. We reformulated the manipulator control problem as direct control of manipulator motion in operational space—the space in which the task is originally described—rather than as control of the task’s corresponding joint space motion obtained only after geometric and kine
A new approach to the maximum flow problem
 JOURNAL OF THE ACM
, 1988
"... All previously known efficient maximumflow algorithms work by finding augmenting paths, either one path at a time (as in the original Ford and Fulkerson algorithm) or all shortestlength augmenting paths at once (using the layered network approach of Dinic). An alternative method based on the pre ..."
Abstract

Cited by 672 (33 self)
 Add to MetaCart
All previously known efficient maximumflow algorithms work by finding augmenting paths, either one path at a time (as in the original Ford and Fulkerson algorithm) or all shortestlength augmenting paths at once (using the layered network approach of Dinic). An alternative method based
The BSD Packet Filter: A New Architecture for Userlevel Packet Capture
, 1992
"... Many versions of Unix provide facilities for userlevel packet capture, making possible the use of general purpose workstations for network monitoring. Because network monitors run as userlevel processes, packets must be copied across the kernel/userspace protection boundary. This copying can be m ..."
Abstract

Cited by 568 (2 self)
 Add to MetaCart
filter evaluator that is up to 20 times faster than the original design. BPF also uses a straightforward buffering strategy that makes its overall performance up to 100 times faster than Sun's NIT running on the same hardware. 1 Introduction Unix has become synonymous with high quality networking
The particel swarm: Explosion, stability, and convergence in a multidimensional complex space
 IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTION
"... The particle swarm is an algorithm for finding optimal regions of complex search spaces through interaction of individuals in a population of particles. Though the algorithm, which is based on a metaphor of social interaction, has been shown to perform well, researchers have not adequately explained ..."
Abstract

Cited by 852 (10 self)
 Add to MetaCart
The particle swarm is an algorithm for finding optimal regions of complex search spaces through interaction of individuals in a population of particles. Though the algorithm, which is based on a metaphor of social interaction, has been shown to perform well, researchers have not adequately
An almost ideal demand system.
 American Economic Review,
, 1980
"... Ever since Richard Stone (1954) first estimated a system of demand equations derived explicitly from consumer theory, there has been a continuing search for alternative specifications and functional forms. Many models have been proposed, but perhaps the most important in current use, apart from the ..."
Abstract

Cited by 636 (0 self)
 Add to MetaCart
the original linear expenditure system, are the Rotterdam model (see In Section I of the paper, we discuss the theoretical specification of the AIDS and justify the claims in the previous paragraph. In Section II, the model is estimated on postwar British data and we use our results to test the homogeneity
The Performance of TCP/IP for Networks with High BandwidthDelay Products and Random Loss.
 IEEE/ACM Trans. Networking,
, 1997
"... AbstractThis paper examines the performance of TCP/IP, the Internet data transport protocol, over widearea networks (WANs) in which data traffic could coexist with realtime traffic such as voice and video. Specifically, we attempt to develop a basic understanding, using analysis and simulation, ..."
Abstract

Cited by 465 (6 self)
 Add to MetaCart
AbstractThis paper examines the performance of TCP/IP, the Internet data transport protocol, over widearea networks (WANs) in which data traffic could coexist with realtime traffic such as voice and video. Specifically, we attempt to develop a basic understanding, using analysis and simulation
The Origin of SpaceTime as W Symmetry Breaking in String Theory
, 1992
"... Physics in the neighbourhood of a spacetime metric singularity is described by a worldsheet topological gauge field theory which can be represented as a twisted N = 2 superconformal WessZumino model with a W1+ ∞ ⊗W1+ ∞ bosonic symmetry. The measurable Whair associated with the singularity is asso ..."
Abstract
 Add to MetaCart
Physics in the neighbourhood of a spacetime metric singularity is described by a worldsheet topological gauge field theory which can be represented as a twisted N = 2 superconformal WessZumino model with a W1+ ∞ ⊗W1+ ∞ bosonic symmetry. The measurable Whair associated with the singularity
Results 1  10
of
12,137