3,577 research outputs found
Solving geoinformatics parametric polynomial systems using the improved Dixon resultant
Improvements in computational and observational technologies in geoinformatics, e.g., the use of laser scanners that produce huge point cloud data sets, or the proliferation of global navigation satellite systems (GNSS) and unmanned aircraft vehicles (UAVs), have brought with them the challenges of handling and processing this “big data”. These call for improvement or development of better processing algorithms. One way to do that is integration of symbolically presolved sub-algorithms to speed up computations. Using examples of interest from real geoinformatic problems, we will discuss the Dixon-EDF resultant as an improved resultant method for the symbolic solution of parametric polynomial systems. We will briefly describe the method itself, then discuss geoinformatics problems arising in minimum distance mapping (MDM), parameter transformations, and pose estimation essential for resection. Dixon-EDF is then compared to older notions of “Dixon resultant”, and to several respected implementations of Gröbner bases algorithms on several systems. The improved algorithm, Dixon-EDF, is found to be greatly superior, usually by orders of magnitude, in both CPU usage and RAM usage. It can solve geoinformatics problems on which the other methods fail, making symbolic solution of parametric systems feasible for many problems
Digital Morphogenesis via Schelling Segregation
Schelling's model of segregation looks to explain the way in which particles or agents of two types may come to arrange themselves spatially into configurations consisting of large homogeneous clusters, i.e. connected regions consisting of only one type. As one of the earliest agent based models studied by economists and perhaps the most famous model of self-organising behaviour, it also has direct links to areas at the interface between computer science and statistical mechanics, such as the Ising model and the study of contagion and cascading phenomena in networks. While the model has been extensively studied it has largely resisted rigorous analysis, prior results from the literature generally pertaining to variants of the model which are tweaked so as to be amenable to standard techniques from statistical mechanics or stochastic evolutionary game theory. In BK, Brandt, Immorlica, Kamath and Kleinberg provided the first rigorous analysis of the unperturbed model, for a specific set of input parameters. Here we provide a rigorous analysis of the model's behaviour much more generally and establish some surprising forms of threshold behaviour, notably the existence of situations where an increased level of intolerance for neighbouring agents of opposite type leads almost certainly to decreased segregation
Projection methods in conic optimization
There exist efficient algorithms to project a point onto the intersection of
a convex cone and an affine subspace. Those conic projections are in turn the
work-horse of a range of algorithms in conic optimization, having a variety of
applications in science, finance and engineering. This chapter reviews some of
these algorithms, emphasizing the so-called regularization algorithms for
linear conic optimization, and applications in polynomial optimization. This is
a presentation of the material of several recent research articles; we aim here
at clarifying the ideas, presenting them in a general framework, and pointing
out important techniques
Perceptions Held by Obese Children and their Parents: Implications for Weight Control Intervention
The study was designed to identify some of the psychosocial barriers to compliance in a hospital-based weight control intervention program for adolescents. Forty obese adolescents, 10 to 16 years of age, and their parents were surveyed prior to participa tion in a behavioral change weight control program at a major teaching hospital. Significant correlations were obtained between weight loss outcome and six factors. In obese adolescents, weight loss was significantly associated with their beliefs regarding: (1) personal control over weight, (2) barriers or difficulty of losing weight, (3) medical problems as a cause of their obesity, (4) family problems as a cause of their obesity, and (5) perceived willingness of family members to diet. It is suggested that greater weight loss in children who perceived more barriers/difficulty and less family willing ness to diet may reflect the importance of having realistic expectations related to be havioral compliance. In addition, a positive parental attitude or expectation that the child was less likely to be overweight in the future was associated with greater weight loss compliance. Other parental health beliefs, however, did not generally predict the child's weight loss response to the intervention. The findings lend support to the sig nificance of the adolescent's beliefs regarding weight and family support in explaining weight loss response to a behavioral change intervention program.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/66720/2/10.1177_109019818801500204.pd
Morphologic adjustments of actively evolving highly curved neck cutoffs
Neck cutoffs and their resultant oxbow lakes are important and prominent features of riverine landscapes. Detailed field-based research focusing on the morphologic evolution of neck cutoffs is currently insufficient to fully characterize cutoff evolution. High-resolution bathymetric data were collected over 3 years for the purpose of determining channel morphology and morphologic change on three actively evolving neck cutoffs. Results indicate the following general trends in morphologic adjustment: (1) a longitudinal bar in the upstream meander limb that develops near the entrance to the abandoned bend; (2) a deep scour hole in the downstream meander limb immediately downstream of the cutoff channel; (3) erosion of the bank opposite the cutoff in the downstream meander limb; (4) a cutoff bar in the downstream meander limb at the junction corner of the cutoff channel and the downstream meander limb; and (5) perching of the exit of the abandoned bend above the cutoff channel due to channel bed incision. The results presented herein were used to develop a conceptual model that depicts the morphologic evolution of highly curving neck cutoffs. The findings of this research are combined with recent analyses of the three-dimensional flow structure through neck cutoffs to provide a mechanistic explanation for the morphodynamics of neck cutoffs. (c) 2019 John Wiley & Sons, Ltd
Rich Situated Attitudes
We outline a novel theory of natural language meaning, Rich
Situated Semantics [RSS], on which the content of sentential utterances
is semantically rich and informationally situated. In virtue of its situatedness,
an utterance’s rich situated content varies with the informational
situation of the cognitive agent interpreting the utterance. In virtue of its
richness, this content contains information beyond the utterance’s lexically
encoded information. The agent-dependence of rich situated content
solves a number of problems in semantics and the philosophy of language
(cf. [14, 20, 25]). In particular, since RSS varies the granularity of utterance
contents with the interpreting agent’s informational situation, it
solves the problem of finding suitably fine- or coarse-grained objects for
the content of propositional attitudes. In virtue of this variation, a layman
will reason with more propositions than an expert
Toxoplasma and coxiella infection and psychiatric morbidity: A retrospective cohort analysis
BACKGROUND: It has been suggested that infection with Toxoplasma gondii is associated with slow reaction and poor concentration, whilst infection with Coxiella burnetii may lead to persistent symptoms of fatigue. METHODS: 425 farmers completed the Revised Clinical Interview Schedule (CIS-R) by computer between March and July 1999 to assess psychiatric morbidity. Samples of venous blood had been previously collected and seroprevalence of T. gondii and C. burnetii was assessed. RESULTS: 45% of the cohort were seropositive for T. gondii and 31% were positive for C. burnetii. Infection with either agent was not associated with symptoms reflecting clinically relevant levels of concentration difficulties, fatigue, depression, depressive ideas or overall psychiatric morbidity. CONCLUSIONS: We do not provide any evidence that infection with Toxoplasma gondii or Coxiella burnetii is associated with neuropsychiatric morbidity, in particular with symptoms of poor concentration or fatigue. However, this is a relatively healthy cohort with few individuals reporting neuropsychiatric morbidity and therefore the statistical power to test the study hypotheses is limited
Melting of a 2D Quantum Electron Solid in High Magnetic Field
The melting temperature () of a solid is generally determined by the
pressure applied to it, or indirectly by its density () through the equation
of state. This remains true even for helium solids\cite{wilk:67}, where quantum
effects often lead to unusual properties\cite{ekim:04}. In this letter we
present experimental evidence to show that for a two dimensional (2D) solid
formed by electrons in a semiconductor sample under a strong perpendicular
magnetic field\cite{shay:97} (), the is not controlled by , but
effectively by the \textit{quantum correlation} between the electrons through
the Landau level filling factor =. Such melting behavior, different
from that of all other known solids (including a classical 2D electron solid at
zero magnetic field\cite{grim:79}), attests to the quantum nature of the
magnetic field induced electron solid. Moreover, we found the to increase
with the strength of the sample-dependent disorder that pins the electron
solid.Comment: Some typos corrected and 2 references added. Final version with minor
editoriol revisions published in Nature Physic
Exploitation of Other Social Amoebae by Dictyostelium caveatum
Dictyostelium amoebae faced with starvation trigger a developmental program during which many cells aggregate and form fruiting bodies that consist of a ball of spores held aloft by a thin stalk. This developmental strategy is open to several forms of exploitation, including the remarkable case of Dictyostelium caveatum, which, even when it constitutes 1/10(3) of the cells in an aggregate, can inhibit the development of the host and eventually devour it. We show that it accomplishes this feat by inhibiting a region of cells, called the tip, which organizes the development of the aggregate into a fruiting body. We use live-cell microscopy to define the D. caveatum developmental cycle and to show that D. caveatum amoebae have the capacity to ingest amoebae of other Dictyostelid species, but do not attack each other. The block in development induced by D. caveatum does not affect the expression of specific markers of prespore cell or prestalk cell differentiation, but does stop the coordinated cell movement leading to tip formation. The inhibition mechanism involves the constitutive secretion of a small molecule by D. caveatum and is reversible. Four Dictyostelid species were inhibited in their development, while D. caveatum is not inhibited by its own compound(s). D. caveatum has evolved a predation strategy to exploit other members of its genus, including mechanisms of developmental inhibition and specific phagocytosis
- …