2,296 research outputs found
Decorated Feynman Categories
In [KW14], the new concept of Feynman categories was introduced to simplify
the discussion of operad--like objects. In this present paper, we demonstrate
the usefulness of this approach, by introducing the concept of decorated
Feynman categories. The procedure takes a Feynman category and a
functor to a monoidal category to produce a new Feynman category
. This in one swat explains the existence of
non--sigma operads, non--sigma cyclic operads, and the non--sigma--modular
operads of Markl as well as all the usual candidates simply from the category
, which is a full subcategory of the category of graphs of [BM08].
Moreover, we explain the appearance of terminal objects noted in [Mar15]. We
can then easily extend this for instance to the dihedral case. Furthermore, we
obtain graph complexes and all other known operadic type notions from
decorating and restricting the basic Feynman category of
aggregates of corollas. We additionally show that the construction is
functorial. There are further geometric and number theoretic applications,
which will follow in a separate preprint.Comment: Updated version from 6/8/16 to appear in J. of Noncommutative
Geometr
Teachers\u27 Perceptions On The Efficacy Of Curriculum Mapping As A Tool For Planning And Curriculum Alignment
A review about lycopene-induced nuclear hormone receptor signalling in inflammation and lipid metabolism via still unknown endogenous apo-10ÂŽ-lycopenoids
Lycopene is the red pigment in tomatoes and tomato products and is an important dietary carotenoid found in the human organism. Lycopene-isomers, oxidative lycopene metabolites and apo-lycopenoids are found in the food matrix. Lycopene intake derived from tomato consumption is associated with alteration of lipid metabolism and a lower incidence of cardiovascular diseases (CVD). Lycopene is mainly described as a potent antioxidant but novel studies are shifting towards its metabolites and their capacity to mediate nuclear receptor signalling. Di-/tetra-hydro-derivatives of apo-10ÂŽ-lycopenoic acid and apo-15ÂŽ-lycopenoic acids are potential novel endogenous mammalian lycopene metabolites which may act as ligands for nuclear hormone mediated activation and signalling. In this review, we postulate that complex lycopene metabolism results in various lycopene metabolites which have the ability to mediate transactivation of various nuclear hormone receptors like RARs, RXRs and PPARs. A new mechanistic explanation of how tomato consumption could positively modulate inflammation and lipid metabolism is discussed
Arkansas Landlord Selection of Land-Leasing Contract Type and Terms
Land leasing is a major source of the land input to production agriculture. Responses from a survey of landlords leasing crop land in Arkansas are analyzed to better understand those factors motivating landlords in the type of lease they select and the terms of those leases. Probit models are estimated to determine the relative importance of variables representing credit constraint, agency problem, and risk aversion factors. Regression models then estimate the impact of site, landlord, and tenant characteristics on contract terms Ăâ the percentage of crop and cost sharing arrangements between landlord and tenant. Probit results suggest credit constraint factors influence lease-type selection. Risk aversion, managerial ability, and social capital factors are also supported. Regression models show that land and crop characteristics are significant determinants of contract terms.Land leasing, Probit, Contract, Production agriculture, Land Economics/Use,
CONTRACT CHOICE SELECTION WITH LAND-LEASING AGREEMENTS
This study tests cropland contract hypotheses utilizing a landlord data set. Ordered probit and classical regression models are estimated and presented identifying factors that affect the contract type selection and terms. Results suggest credit constraints are a viable land-leasing hypothesis. Risk aversion, managerial ability, and social capital are also supported.Land Economics/Use,
Evaluation of the ALMA Prototype Antennas
The ALMA North American and European prototype antennas have been evaluated
by a variety of measurement systems to quantify the major performance
specifications. Nearfield holography was used to set the reflector surfaces to
17 microns RMS. Pointing and fast switching performance was determined with an
optical telescope and by millimeter wavelength radiometry, yielding 2 arcsec
absolute and 0.6 arcsec offset pointing accuracies. Path length stability was
measured to be less than or approximately equal to 20 microns over 10 minute
time periods using optical measurement devices. Dynamical performance was
studied with a set of accelerometers, providing data on wind induced tracking
errors and structural deformation. Considering all measurements made during
this evaluation, both prototype antennas meet the major ALMA antenna
performance specifications.Comment: 83 pages, 36 figures, AASTex format, to appear in PASP September 2006
issu
Automated Generation of User Guidance by Combining Computation and Deduction
Herewith, a fairly old concept is published for the first time and named
"Lucas Interpretation". This has been implemented in a prototype, which has
been proved useful in educational practice and has gained academic relevance
with an emerging generation of educational mathematics assistants (EMA) based
on Computer Theorem Proving (CTP).
Automated Theorem Proving (ATP), i.e. deduction, is the most reliable
technology used to check user input. However ATP is inherently weak in
automatically generating solutions for arbitrary problems in applied
mathematics. This weakness is crucial for EMAs: when ATP checks user input as
incorrect and the learner gets stuck then the system should be able to suggest
possible next steps.
The key idea of Lucas Interpretation is to compute the steps of a calculation
following a program written in a novel CTP-based programming language, i.e.
computation provides the next steps. User guidance is generated by combining
deduction and computation: the latter is performed by a specific language
interpreter, which works like a debugger and hands over control to the learner
at breakpoints, i.e. tactics generating the steps of calculation. The
interpreter also builds up logical contexts providing ATP with the data
required for checking user input, thus combining computation and deduction.
The paper describes the concepts underlying Lucas Interpretation so that open
questions can adequately be addressed, and prerequisites for further work are
provided.Comment: In Proceedings THedu'11, arXiv:1202.453
Transcriptomic and lipidomic profiling of eicosanoid/docosanoid signalling in affected and non-affected skin of human atopic dermatitis patients
L
- âŠ