In computer programming there are different language levels ranging from a list of numbers representing electrical signals to very high level languages with commands similar to English. One of these high level language categories is called Declarative Programming, wherein rules to attain a goal are specified to the computer instead of a list of commands. I have spent this semester prototyping m...

I review the QCD sum rules calculations of the form factors governing the semileptonic decays of charmed and beauty mesons. In particular, I discuss the predicted dependence of the various form factors on q and how it can be obtained for the form factors of vector and axial currents. In some cases the q dependence, computed by QCD sum rules, is different from the outcome of lattice QCD. A Tau-C...

The pilot is the main person in charge of taxiing safety while moving on airport surface. visual separation and speed adjustment are directly related to efficiency surface operation. According actual procedures control rules China, this paper proposes a novel microscopic simulation model based pilots’ separation. This also built by refining aircraft at intersections. observation range, judgment...

Coordinated collective behaviors often emerge from simple rules governing the interactions of individuals in groups. We model mechanisms of coordination among ants during cooperative transport, a challenging task that requires a consensus on travel direction. Our goal is to determine whether groups following simple behavioral rules can reach a consensus using minimal information. Using determin...

This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is part...

This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is part...

I The Traditional Theory of the Just War The traditional theory of the just war comprises two sets of principles, one governing the resort to war (jus ad bellum) and the other governing the conduct of war (jus in bello). One of the central pillars of the traditional theory is that the two set of principles are, in Michael Walzer's words, " logically independent. It is perfectly possible for a j...

I represent the Business Rules Group (BRG) on the governing board of the Business Rules Team, the consortium that has submitted "Business Semantics of Business Vocabulary and Business Rules” (SBVR) in response to the OMG's RFP for "Business Semantics of Business Rules". So, it should be no surprise that my main focus on rules is at the business end rules that guide what people do in businesses ...

Neurons express new gene transcripts and proteins upon receiving synaptic inputs, and these events are essential for achieving proper neuronal wiring, adequate synaptic plasticity, and updatable memory. However, the biological impact of new gene expression on input-specific synaptic potentiation remains largely elusive, in part because the cell biological and biochemical mechanisms for synaptic...