The characterization of monadic logic

1973 ◽  
Vol 38 (3) ◽  
pp. 481-488 ◽  
Author(s):  
Leslie H. Tharp
Keyword(s):  
Finite Sequence ◽  
Higher Order ◽  
Predicate Calculus ◽  
Intrinsic Properties ◽  
Monadic Logic

The first section of this paper is concerned with the intrinsic properties of elementary monadic logic (EM), and characterizations in the spirit of Lindström [2] are given. His proofs do not apply to monadic logic since relations are used, and intrinsic properties of EM turn out to differ in certain ways from those of the elementary logic of relations (i.e., the predicate calculus), which we shall call EL. In the second section we investigate connections between higher-order monadic and polyadic logics.EM is the subsystem of EL which results by the restriction to one-place predicate letters. We omit constants (for simplicity) but take EM to contain identity. Let a type be any finite sequence (possibly empty) of one-place predicate letters. A model M of type has a nonempty universe ∣M∣ and assigns to each predicate letter P of a subset PM of ∣M∣.Let us take a monadic logic L to be any collection of classes of models, called L-classes, satisfying the following:1. All models in a given L-class are of the same type (called the type of the class).2. Isomorphic models lie in the same L-classes.3. If and are L-classes of the same type, then and are L-classes.

Instantaneous Invariants in Three-Dimensional Kinematics

1978 ◽  
Vol 45 (2) ◽  
pp. 409-414 ◽  
Author(s):  
Y. Kirson ◽  
A. T. Yang
Keyword(s):  
Rigid Body ◽  
Rational Design ◽  
Three Dimensional ◽  
Higher Order ◽  
Surface Generation ◽  
Intrinsic Properties ◽  
Canonical Systems ◽  
Spatial Mechanisms ◽  
Arbitrary Line

The paper generalizes the concepts of canonical systems and instantaneous invariants from planar to three-dimensional kinematics. It presents a systematic procedure to determine the instantaneous invariants. An example is included for illustration. The instantaneous invariants are derived on the basis of line coordinates, therefore they are useful for the characterization of higher-order intrinsic properties of a ruled surface—the path trajectory of an arbitrary line embedded in a rigid body in three-dimensional motion. It is hoped that this study may be useful for the rational design of spatial mechanisms for surface generation.

scholarly journals A closed-loop optogenetic screen for neurons controlling feeding in Drosophila

2021 ◽  
Author(s):  
Celia K S Lau ◽  
Meghan Jelen ◽  
Michael D Gordon
Keyword(s):  
Drosophila Melanogaster ◽  
Expression Pattern ◽  
Sensory Neurons ◽  
Closed Loop ◽  
Higher Order ◽  
Taste Detection ◽  
Proof Of Principle ◽  
Feeding Circuits

Abstract Feeding is an essential part of animal life that is greatly impacted by the sense of taste. Although the characterization of taste-detection at the periphery has been extensive, higher order taste and feeding circuits are still being elucidated. Here, we use an automated closed-loop optogenetic activation screen to detect novel taste and feeding neurons in Drosophila melanogaster. Out of 122 Janelia FlyLight Project GAL4 lines preselected based on expression pattern, we identify six lines that acutely promote feeding and 35 lines that inhibit it. As proof of principle, we follow up on R70C07-GAL4, which labels neurons that strongly inhibit feeding. Using split-GAL4 lines to isolate subsets of the R70C07-GAL4 population, we find both appetitive and aversive neurons. Furthermore, we show that R70C07-GAL4 labels putative second-order taste interneurons that contact both sweet and bitter sensory neurons. These results serve as a resource for further functional dissection of fly feeding circuits.

Near‐Field Characterization of Higher‐Order Topological Photonic States at Optical Frequencies

2021 ◽  
pp. 2004376
Author(s):  
Anton Vakulenko ◽  
Svetlana Kiriushechkina ◽  
Mingsong Wang ◽  
Mengyao Li ◽  
Dmitry Zhirihin ◽  
...  
Keyword(s):  
Near Field ◽  
Higher Order ◽  
Photonic States

In Situ Characterization of the Mechanical Behavior of Gecko's Spatulae by Atomic Force Microscopy

2013 ◽  
Vol 22 ◽  
pp. 85-93
Author(s):  
Shuang Yi Liu ◽  
Min Min Tang ◽  
Ai Kah Soh ◽  
Liang Hong
Keyword(s):  
Mechanical Behavior ◽  
Hierarchical Level ◽  
Intrinsic Properties ◽  
In Situ Characterization ◽  
Force Microscopy ◽  
Atomic Force ◽  
Theoretical Predictions ◽  
Multi Mode

In-situ characterization of the mechanical behavior of geckos spatula has been carried out in detail using multi-mode AFM system. Combining successful application of a novel AFM mode, i.e. Harmonix microscopy, the more detail elastic properties of spatula is brought to light. The results obtained show the variation of the mechanical properties on the hierarchical level of a seta, even for the different locations, pad and stalk of the spatula. A model, which has been validated using the existing experimental data and phenomena as well as theoretical predictions for geckos adhesion, crawling and self-cleaning of spatulae, is proposed in this paper. Through contrast of adhesive and craw ability of the gecko on the surfaces with different surface roughness, and measurement of the surface adhesive behaviors of Teflon, the most effective adhesion of the gecko is more dependent on the intrinsic properties of the surface which is adhered.

scholarly journals Extended lubrication theory: improved estimates of flow in channels with variable geometry

2017 ◽  
Vol 473 (2206) ◽  
pp. 20170234 ◽  
Author(s):  
Behrouz Tavakol ◽  
Guillaume Froehlicher ◽  
Douglas P. Holmes ◽  
Howard A. Stone
Keyword(s):  
Stokes Equations ◽  
Perturbation Expansion ◽  
Accurate Estimate ◽  
Higher Order ◽  
Lubrication Theory ◽  
Channel Height ◽  
Fluid Films ◽  
Flow Characterization ◽  
Systematic Perturbation

Lubrication theory is broadly applicable to the flow characterization of thin fluid films and the motion of particles near surfaces. We offer an extension to lubrication theory by starting with Stokes equations and considering higher-order terms in a systematic perturbation expansion to describe the fluid flow in a channel with features of a modest aspect ratio. Experimental results qualitatively confirm the higher-order analytical solutions, while numerical results are in very good agreement with the higher-order analytical results. We show that the extended lubrication theory is a robust tool for an accurate estimate of pressure drop in channels with shape changes on the order of the channel height, accounting for both smooth and sharp changes in geometry.

Sign in / Sign up

Export Citation Format

Share Document