Background: We consider cells as biological systems that process information by means of molecular codes. Many studies analyze cellular information processing exclusively in syntactic terms (e.g., by measuring Shannon entropy of sets of macromolecules), and abstract completely from semantic aspects that are related to the meaning of molecular information. Methods: This mini-review focusses on semantic aspects of molecular information, particularly on codes that organize the semantic dimension of molecular information. First, a general conceptual framework for describing molecular information is proposed. Second, some examples of molecular codes are presented. Third, a mathematical approach that makes the identification of molecular codes in reaction networks possible, is developed. Results...
Computer vision imposes unique requirements on the representation and manipulation of image data and knowledge. At a vision system's lowest level are sensors that represent an image with purely numeric image arrays, while at the highest level are semantic world models that provide the final interpretation of the scene. In between are thousands of intermediate descriptions, many of which must be repeatedly accessed and processed during interpretation. In this article, the authors describe a representation and management system for use at the intermediate (symbolic) level of vision. Based on database management methodology, the intermediate symbolic representation (ISR) mediates access to intermediate-level vision data and forms an active interface to the higher-level inference processes that construct an image's interpretation. The system supports important types of data and operations and can be adapted to ...
Abstract Simon Saunders and David Wallace have proposed an attractive semantics for interpreting linguistic communities embedded in an Everettian multiverse. It provides a charitable interpretation of our ordinary talk about the future, and allows us to retain a principle of bivalence for propositions and to retain the law of excluded middle in the logic of propositions about the future. But difficulties arise when it comes to providing an appropriate account of the metaphysics of macroscopic objects and events. I evaluate various metaphysical frameworks which might be combined with the Saunders-Wallace semantics. I conclude that the most appropriate metaphysics to underwrite the semantics renders Everettian quantum mechanics a theory of non-overlapping worlds.
Abstract The Read Thesaurus (Version 3 of the Read Codes) is a controlled medical vocabulary produced during the Clinical Terms Projects with the involvement of over 2,000 health care...Full Text Available
Episodic memory can be regarded as part of a more general system, unique to humans, for mental time travel, and the construction of future episodes. This allows more detailed planning than is afforded by the more general mechanisms of instinct, learning, and semantic memory. To be useful, episodic memory need not provide a complete or even a faithful record of past events, and may even be part of a process whereby we construct fictional accounts. The properties of language are aptly designed for the communication and sharing of episodes, and for the telling of stories; these properties include symbolic representation of the elements of real-world events, time markers, and combinatorial rules. Language and mental time travel probably co-evolved during the Pleistocene, when brain size increased dramatically. PMID:18641975
PurposeThe purpose was to determine whether semantic set size, a measure of the number of semantic neighbors, influenced word learning, and whether the influence...Full Text Available
Abstract Silicates are one of the most important classes of compounds on this planet, and more than 1000 silicates have been identified in the mineral kingdom. Additionally, several hundreds of artificial silicates have been synthesized. The substitution of oxygen by nitrogen leads to the structurally diverse and manifold class of nitridosilicates. Silicon nitride, one of the most important non-oxidic ceramic materials, is the binary parent compound of nitridosilicates, and it symbolizes the inherent material properties of these refractory compounds. However, prior to the last decades, a broad systematic investigation of nitridosilicates had not been accomplished. In the meantime, these and related compounds have reached a remarkable level of industrial application. This review illustrates...
We describe dimensionally constrained symbolic regression which has been developed for mass measurement in certain classes of events in high-energy physics (HEP). With symbolic regression, we can derive equations that are well known in HEP. However, in problems with large number of variables, we find that by constraining the terms allowed in the symbolic regression, convergence behavior is improved. Dimensionally constrained symbolic regression (DCSR) finds solutions with much better fitness than is normally possible with symbolic regression. In some cases, novel solutions are found.
Processing of symbolic sequences represented by mapping of symbolic data into numerical signals is commonly used in various applications. It is a particularly popular approach in genomic and proteomic sequence analysis. Numerous mappings of symbolic sequences have been proposed for various applications. It is unclear however whether the processing of symbolic data provides an artifact of the numerical mapping or is an inherent property of the symbolic data. This issue has been long ignored in the engineering and scientific literature. It is possible that many of the results obtained in symbolic signal processing could be a byproduct of the mapping and might not shed any light on the underlying properties embedded in the data. Moreover, in many applications, conflicting conclusions may arise due to the choice of the mapping used for numerical representation of ...
Motivation: DNA sequences can be represented by sequences of four symbols, but it is often useful to convert the symbols into real or complex numbers for further analysis. Several mapping...Full Text Available
Abstract Over the last 7 years, the AIMTech Research Group in the University of Leeds has used cultural-historical activity theory (CHAT) to inform a range of research activities in the fields of information behavior and information systems. In this article, we identify certain openings and theoretical challenges in the field of information behavior, which sparked our initial interest in CHAT: context, technology, and the link between practice and policy. We demonstrate the relevance of CHAT in studying information behavior and addressing the identified openings and argue that by providing a framework and hierarchy of activity-action-operation and semantic tools, CHAT is able to overcome many of the uncertainties concerning information behavior research. In particular, CHAT provides resear...
We survey a new area of parameter-free similarity distance measures useful in data-mining, pattern recognition, learning and automatic semantics extraction. Given a family of distances on a set of objects, a distance is universal up to a certain precision for that family if it minorizes every distance in the family between every two objects in the set, up to the stated precision (we do not require the universal distance to be an element of the family). We consider similarity distances for two types of objects: literal objects that as such contain all of their meaning, like genomes or books, and names for objects. meaning, like genomes or books, and names for objects. The latter may have literal embodyments like the first type, but may also be abstract like ``red'' or ``christianity.'' For the first type we consider a family of computable distance measures corresponding to parameters expressing similarity according to particular features between ...
Bedwyr is a generalization of logic programming that allows model checking directly on syntactic expressions possibly containing bindings. This system, written in OCaml, is a direct implementation of two recent advances in the theory of proof search. The first is centered on the fact that both finite success and finite failure can be captured in the sequent calculus by incorporating inference rules for {\\em definitions} that allow {\\em fixed points} to be explored. As a result, proof search in such a sequent calculus can capture simple model checking problems as well as may and must behavior in operational semantics. The second is that higher-order abstract syntax is directly supported using term-level $\\lambda$-binders and the quantifier known as $\
In order to alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of \\emph{demand} information -- i.e. knowing in advance which computations are needed and, to which extent, in a particular context. This work studies \\emph{demand analysis} -- which is closely related to \\emph{backwards strictness analysis} -- in a semantic framework of \\emph{partial predicates}, which in turn are constructive realizations of ideals in a domain. This will allow us to give a concise, unified presentation of demand analysis, to relate it to other analyses based on abstract interpretation or strictness logics, some hints for the implementation, and, more important, to prove the soundness of our analysis based on \\emph{demand equations}. There are also some innovative results. One of them is that a set constraint-based analysis has been derived in a stepwise manner using ideas taken ...
There are various interesting semantics' (extensions) designed for argumentation frameworks. They enable to assign a meaning, e.g., to odd-length cycles. Our main motivation is to transfer semantics' proposed by Baroni, Giacomin and Guida for argumetation frameworks with odd-length cycles to logic programs with odd-length cycles through default negation. The developed construction is even stronger. For a given logic program an argumentation framework is defined. The construction enables to transfer each semantics of the resulting argumentation framework to a semantics of the given logic program. Weak points of the construction are discussed and some future continuations of this approach are outlined.
In this paper we dealt with the comparison and linking between lexical resources with domain knowledge provided by ontologies. It is one of the issues for the combination of the Semantic Web Ontologies and Text Mining. We investigated the relations between the linguistics oriented and domain-specific semantics, by associating the GO biological process concepts to the FrameNet semantic frames. The result shows the gaps between the linguistics-oriented and domain-specific semantics on the classification of events and the grouping of target words. The result provides valuable information for the improvement of domain ontologies supporting for text mining systems. And also, it will result in benefits to language understanding technology.
Half-Heusler phases XYZ (Pearson symbol cF12) are chemically versatile and rich in physical properties. The half-Heusler phase in the Fe-Zn-Sb ternary system was reported in the year 2000. In this work, two new ternary phases are identified in the vicinity of the equiatomic composition FeZnSb in the same system: Fe1-xZnSb (tetragonal, space group P4/nmm, Pearson symbol tP6-?, Z=2: a=4.1113(6) A, c=6.0127(12) A for x=0.08 (1), and a=4.1274(6) A, c=6.0068(12) A for x=0.12 (2)); and Fe7.87Zn6.72Sb8 (Fe0.98Zn0.84Sb) (3) (cubic, space group Fm-3m, Pearson symbol cF96-?, Z=4, a=11.690(13) A). 1 and 2 crystallize in the PbFCl-type structure, and 3 adopts a unique 2x2x2 supercell of a normal half-Heusler structure. The structures of both the tetragonal and cubic phases can be described as assemblies of half-Heusler structure related subunits. Electrical resistivity measurement on the pure sample of 2 shows it has metallic-like ...
This is the 1st revision of the INIS/ETDE Joint Thesaurus. It contains 20 953 valid descriptors and 8 600 forbidden terms. It was last updated in December 2003. The Joint Thesaurus contains the controlled terminology for indexing all information within the subject scope of both INIS (International Nuclear Information System) and ETDE (Energy Technology Data Exchange) information systems. The terminology is intended for use in subject description for input or retrieval of information in those systems. The thesaurus is a terminological control device used in translating from the natural language of documents, indexers or users into a more constrained system language It is also a controlled and dynamic vocabulary of semantically and generically related terms which covers a specific domain of knowledge. The domain of knowledge covered by this Thesaurus includes physics (in particular, plasma physics, atomic and molecular physics, and especially nuclear and high-energy ...
One of the central questions of molecular biology is the discovery of the semantics of DNA. This discovery relies in a critical way on a variety of expensive computations. In order to solve these computations, both parallel computers and special-purpose hardware play a major role.
This is the second revision of the ETDE/INIS Joint Thesaurus, including all updates up to September 2006. It contains 21 147 valid descriptors and 9 114 forbidden terms. The Joint Thesaurus contains the controlled terminology for indexing all information within the subject scopes of the International Nuclear Information System (INIS) and the Energy Technology Data Exchange (ETDE). The terminology is intended for use in subject descriptions for input or retrieval of information in these systems. The thesaurus is a terminological control device used in translating from the natural language of documents, indexers or users into a more constrained system language It is also a controlled and dynamic vocabulary of semantically and generically related terms which covers a specific domain of knowledge. The basic terminology in this thesaurus goes back to the 1969 edition of the EURATOM Thesaurus. The structure subsequently given to that terminology was the result of a ...
The Internet is becoming the preferred method for disseminating scientific data from a variety of disciplines. This can result in information overload on the part of the scientists, who are unable to query all of the relevant sources, even if they knew where to find them, what they contained, how to interact with them, and how to interpret the results. A related issue is keeping up with current trends in information technology often taxes the end-user's expertise and time. Thus instead of benefiting from this information rich environment, scientists become experts on a small number of sources and technologies, use them almost exclusively, and develop a resistance to innovations that can enhance their productivity. Enabling information based scientific advances, in domains such as functional genomics, requires fully utilizing all available information and the latest technologies. In order to address this problem we are developing a end-user centric, domain-sensitive ...
Philosophical semantics requires an ontology that includes negative as well as positive states of affairs as truth-makers and truth-breakers. Theories that try to do without negative states of affairs while interpreting propositional truth as positive correspondence with existent states of affairs are inherently inadequate and incomplete. A semantics and ontology of negative states of affairs can also do justice to positive states of affairs, since the iterated negative state of affairs that a negative state of affairs exists describes a positive state of affairs, but the iterated positive state of affairs that a positive state of affairs exists never describes a negative state of affairs. Negative states of affairs are not only essential to semantics, but to a complete description of the ...
Difficulty in recalling the names of people is very common in the early stages of Alzheimer's disease and in mild cognitive impairment (MCI). However, it is not known whether the difficulty in naming people in MCI reflects problems associated with lexical access or with semantic access. The aims of the present study were to investigate semantic and phonological access to proper names by use of a Tip-of-the-tongue (TOT) task in individuals with multidomain amnestic MCI, individuals with amnestic MCI, and healthy controls, as well as to study the relationships between TOT production and performance in a free recall verbal memory test. In the individuals with multidomain amnestic MCI, the main process affected was phonological access; failures in phonological access were related to deficits i...
Computers understand very little of the meaning of human language. This profoundly limits our ability to give instructions to computers, the ability of computers to explain their actions to us, and the ability of computers to analyse and process text. Vector space models (VSMs) of semantics are beginning to address these limits. This paper surveys the use of VSMs for semantic processing of text. We organize the literature on VSMs according to the structure of the matrix in a VSM. There are currently three broad classes of VSMs, based on term-document, word-context, and pair-pattern matrices, yielding three classes of applications. We survey a broad range of applications in these three categories and we take a detailed look at a specific open source project in each category. Our goal in this survey is to show the breadth of applications of VSMs for semantics, to provide a new perspective on VSMs for those who are already ...
During the last years, large-scale simulations of realistic physical environments which support the interaction of multiple participants over the Internet have become increasingly available and economically significant, most notably in the computer gaming industry. Such systems, commonly called networked virtual environments (NVEs), are usually based on a client-server architecture where for performance reasons and bandwidth restrictions, the simulation is partially deferred to the clients. This inevitable architectural choice renders the simulation vulnerable to attacks against the semantic integrity of the simulation: malicious clients may attempt to compromise the physical and logical laws governing the simulation, or to alter the causality of events a posteriori. In this paper, we initiate the systematic study of semantic integrity in NVEs from a security point of view. We argue that naive policies to enforce semantic ...
This paper reports the findings of a study that explores the perspectives of 25 young Cypriots regarding the symbolic values of smoking with respect to their everyday lived experiences. This study was motivated by recognising the high levels of smoking prevalence among adolescents in Cyprus and the absence of published research 'recording' their own versions of reality about smoking. Data for the study were generated from one-to-one qualitative interviews which encouraged the participants to articulate the symbolic value of smoking in their day-to-day experiences. The analysis focuses first, on the content of the embedded symbolic values of smoking (e.g. the quality of being 'cool') and second on the role of these values (e.g. used in projecting an image) in their everyday lives. A central...
Reporters are invited to a tour and ceremony for the Lockheed Martin C-130J, the military's next generation of front-line cargo aircraft and troop carrier, ...
In this paper we present a complete solution to the problem of multifractal analysis of multiple ergodic averages in the case of symbolic dynamics for functions of two variables depending on the first coordinate.
We prove that Formula Not Shown surface diffeomorphisms have symbolic extensions, i.e. topological extensions which are subshifts over a finite alphabet. Following the strategy of Downarowicz and Maass (Invent. Math. 176:617?636, 2009) we bound the local entropy of ergodic measures in terms of Lyapunov exponents. This is done by reparametrizing Bowen balls by contracting maps in a approach combining hyperbolic theory and Yomdin?s theory.
One of the requirements for a federated information system is interoperability, the ability of one computer system to access and use the resources of another system. This feature is particularly...Full Text Available
Despite allowing for the unprecedented visualization of brain functional activity, modern neurobiological techniques have not yet been able to provide satisfactory answers to important questions about...Full Text Available
BackgroundThe Gene Ontology (GO) is a well known controlled vocabulary describing the biological process, molecular function and cellular...Full Text Available
The effect of feedback and materials on perceptual learning was examined in normal hearing listeners exposed to cochlear implant simulations. Generalization was most robust when feedback paired...Full Text Available
The problems in computer vision range from edge detection and segmentation at the lowest level to the problem of cognition at the highest level. This correspondence describes the organization and operation of a semantic network array processor (SNAP) as applicable to high level computer vision problems. The architecture consists of an array of identical cells each containing a content addressable memory, microprogram control, and a communication unit. The applications discussed in this paper are the two general techniques, discrete relaxation and dynamic programming. While the discrete relaxation is discussed with reference to scene labeling and edge interpretation, the dynamic programming is tuned for stereo.
The Inner Model Hypothesis (IMH) and the Strong Inner Model Hypothesis (SIMH) were introduced by the first author in ``Internal consistency and the inner model hypothesis'', Bulletin of Symbolic Logic, December 2006. In this article we establish some upper and lower bounds for their consistency strength.
The official name of this gene is "solute carrier family 25 (mitochondrial carrier; adenine nucleotide translocator), member 4." SLC25A4 is the gene's official symbol. The...
Information circulars are published from time to time under the symbol INFCIRC/... for the purpose of bringing matters of general interest to the attention of all Members of the Agency. The present revision contains INFCIRCs published up to mid-August 1994. A complete numerical list of information circulars is reproduced with their titles in the Annex.
Alton Ochsner was a giant of American surgery. His career encompassed patient care, teaching, and research as symbolized on the original seal of the Ochsner Clinic. His ideas were innovative and groundbreaking...Full Text Available
... ie on all paths from the root to a terminal node we ... (A) A stochastic Petri net ... Tandem Queueing Network [HMKS99] 63 26 19 173 2.297e4 7.148e ...
Convexity/concavity properties of symbol error rates (SER) of the maximum likelihood detector operating in the AWGN channel (non-fading and fading) are studied. Generic conditions are identified under which the SER is a convex/concave function of the SNR. Universal bounds for the SER 1st and 2nd derivatives are obtained, which hold for arbitrary constellations and are tight for some of them. Applications of the results are discussed, which include optimum power allocation in spatial multiplexing systems, optimum power/time sharing to decrease or increase (jamming problem) error rate, and implication for fading channels.
One of the requirements for a federated information system is interoperability, the ability of one computer system to access and use the resources of another system. This feature is particularly important in biomedical research systems, which need to coordinate a variety of disparate types of data. In order to meet this need, the National Cancer Institute Center for Bioinformatics (NCICB) has created the cancer Common Ontologic Representation Environment (caCORE), an interoperability infrastructure based on Model Driven Architecture. The caCORE infrastructure provides a mechanism to create interoperable biomedical information systems. Systems built using the caCORE paradigm address both aspects of interoperability: the ability to access data (syntactic interoperability) and understand the data once retrieved (semantic interoperability). This infrastructure consists of an integrated set of three major components: a controlled terminology service (Enterprise ...
This paper describes the National Research Council (NRC) Word Sense Disambiguation (WSD) system, as applied to the English Lexical Sample (ELS) task in Senseval-3. The NRC system approaches WSD as a classical supervised machine learning problem, using familiar tools such as the Weka machine learning software and Brill's rule-based part-of-speech tagger. Head words are represented as feature vectors with several hundred features. Approximately half of the features are syntactic and the other half are semantic. The main novelty in the system is the method for generating the semantic features, based on word \\hbox{co-occurrence} probabilities. The probabilities are estimated using the Waterloo MultiText System with a corpus of about one terabyte of unlabeled text, collected by a web crawler.
This article presents an unsupervised algorithm for semantic annotation of morphological descriptions of whole organisms. The algorithm is able to annotate plain text descriptions with high accuracy at the clause level by exploiting the corpus itself. In other words, the algorithm does not need lexicons, syntactic parsers, training examples, or annotation templates. The evaluation on two real-life description collections in botany and paleontology shows that the algorithm has the following desirable features: (a) reduces/eliminates manual labor required to compile dictionaries and prepare source documents; (b) improves annotation coverage: the algorithm annotates what appears in documents and is not limited by predefined and often incomplete templates; (c) learns clean and reusable concept...
An extension of data mining, text mining involves the extraction of information and knowledge from unstructured text. This constantly evolving field is increasingly used by major corporations, such as Google, Yahoo, and Microsoft. Featuring contributions from leading researchers in the field, this book provides a detailed overview of text mining theory, applications, and visualization. The theory section discusses text mining, information retrieval, latent semantic analysis, pagerank, latent Dirichlet allocation, and probabilistic relational models. In the section on text mining applications,
Identity is a part of self-consciousness, which is also expressed as ''being in the world'' which one in turn shows to others as the Self. The assessment of the Self in a population of patients with Alzheimer's disease, according to a multidimensional definition (physical, social, spiritual), showed that the social self was impaired, and the severity of impairment of the self was correlated to apathy and lack of semantic autobiographical memory. It also appears that ipseity is selectively affected by the disease.
... Author: Radev, Dragomir R. Subjects: natural language processing DeweyClass: 764 Resource type: document Natural Language Processing Research Group Research Group based in the Department of Computer Science, University of Sheffield. Conducts research into natural language analysis topics including data mining/information extraction, dialogue, and semantics. Author: Department of Computer Science, University of Sheffield Subjects: natural language processing DeweyClass: 764 Resource ...
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such models with respect to computational ones, is to explicitly represent the dependency of ciphertexts on random coins as labels. In order to make these label-based models useful, it seems natural to try to extend the underlying decision procedures and the implementation of existing tools. In this paper we put forth a more practical alternative based on the following soundness theorem. We prove that for a large class of security properties (that includes rather standard formulations for secrecy and authenticity properties), security of protocols in the simpler model implies security in the label-based model. Combined with the soundness result of (\\textbf{?}) our theorem enables the translation of security results in unlabeled symbolic models to computational security.
A computational environment, as a set of MapleV R.3 routines for doing symbolic calculations in Quantum Field Theory, is presented. The Q F T package`s routines extend the standard MapleV computational domain by introducing representations for anti commutative and noncommutative objects, tensors, spinors and gauge fields, as well as related objects and procedures (Dirac matrices, differential operators, functional differentiation w.r.t indexed fields, sum rule for repeated indices, etc.). Furthermore, the Q F T routines permit the user-definition of algebra rules for the commutation/ anti commutation of operators, to be taken into account during the calculations. (author) 2 refs.
'If you wish to foresee the future of mathematics our proper course is to study the history and present condition of the science.' Henri Poincare 'It is India that gave us the ingenious method of expressing all numbers by ten symbols, each symbol receiving a value of position, as well as an absolute value. We shall appreciate the grandeur of the achievement when we remember that it escaped the genius of Archimedes and Apollonius.' P.S. Laplace 'The Greeks were the first mathematicians who are still 'real' to us today. Oriental mathematics may be an interesting curiosity, but Greek mathematics is the real thing. The Greek first spoke of a language which modern mathematicians can understand.' G.H. Hardy This article deals with a short history of mathematics and mathematical scientists during...
Conference abstract book contains seven sections: Plenary-4 abstracts; Chemical-9 abstracts; Radiation-7 abstracts; Ultra Low Doses and Medicine-6 abstracts; Biomedical-11 abstracts; Risk Assessment-5 abstracts and Poster Sessions-25 abstracts. Each abstract was provided by the author/presenter participating in the conference.
This book includes the latest developments and covers pump performance, selection and operations, materials, seals and packings, effective fluid characteristics, filtration, piping systems, economics, valves, instrumentation, automatic controls, power transmission equipment, pump and pipeline heating, and more. An extensive data section contains formulas, charts, symbols, nomographs, and standard specification documents.
In this paper we first establish global pointwise time-space estimates for a class of oscillatory integrals. Then, we use them to establish $L^p-L^q$ estimates for a class of higher order wave-type equations of the form $\\partial_{tt}u+P(D_{x})u=0$, where the symbol $P(\\xi)$ is a real non-degenerate elliptic polynomial of ${\\bf R}^n$.
We consider the numerical discretization of the time-domain Maxwell's equations with an energy-conserving discontinuous Galerkin finite element formulation. This particular formulation allows for higher order approximations of the electric and magnetic field. Special emphasis is placed on an efficient implementation which is achieved by taking advantage of recurrence properties and the tensor-product structure of the chosen shape functions. These recurrences have been derived symbolically with computer algebra methods reminiscent of the holonomic systems approach.
Communicating and collaborating online are becoming common requirements in education. The specialized notations and symbols necessary for some content areas where mathematical expressions are part of the conversation require that users select appropriate communication tools. The purpose of this article is to describe tools that can be used for online, asynchronous or synchronous communication involving mathematical expressions.
We give a closed formula for volumes of generic hyperbolic tetrahedra in terms of edge lengths. The cue of our formula is by the volume conjecture for the Turaev-Viro invariant of closed 3-manifolds, which is defined from the quantum 6j-symbols. This formula contains the dilogarithm functions, and we specify the adequate branch to get the actual value of the volumes.
Combining the approaches given by Baldwin [Baldwin D et al. Symbolic computation of exact solutions expressible in hyperbolic and elliptic functions for nonlinear PDEs. J Symbol Comput 2004;37:669-705], Peng [Peng YZ. A polynomial expansion method and new general solitary wave solutions to KS equation. Comm Theor Phys 2003;39:641-2] and by Schuermann [Schuermann HW, Serov VS. Weierstrass' solutions to certain nonlinear wave and evolution equations. Proc progress electromagnetics research symposium, 28-31 March 2004, Pisa. p. 651-4; Schuermann HW. Traveling-wave solutions to the cubic-quintic nonlinear Schroedinger equation. Phys Rev E 1996;54:4312-20] leads to a method for finding exact travelling wave solutions of nonlinear wave and evolution equations (NLWEE). The first idea is to generalize ansaetze given by Baldwin and Peng to find elliptic solutions of NLWEEs. Secondly, conditions used by Schuermann to find physical (real and bounded) ...
In this paper, we consider a $n_t\\times n_r$ multiple-input multiple-output (MIMO) channel subjected to block fading. Reliability (in terms of achieved diversity order) and rate (in number of symbols transmitted per channel use) are of interest in such channels. We propose a new precoding scheme which achieves both full diversity ($n_tn_r$th order diversity) as well as full rate ($n_t$ symbols per channel use) using partial channel state information at the transmitter (CSIT), applicable in MIMO systems including $n_r
We study quantized beamforming in wireless amplify-and-forward relay-interference networks with any number of transmitters, relays, and receivers. We design the quantizer of the channel state information to minimize the probability that at least one receiver incorrectly decodes its desired symbol(s). Correspondingly, we introduce a generalized diversity measure that encapsulates the conventional one as the first-order diversity. Additionally, it incorporates the second-order diversity, which is concerned with the transmitter power dependent logarithmic terms that appear in the error rate expression. First, we show that, regardless of the quantizer and the amount of feedback that is used, the relay-interference network suffers a second-order diversity loss compared to interference-free networks. Then, two different quantization schemes are studied: First, using a global quantizer, we show that a simple relay selection scheme can achieve maximal diversity. Then, ...
In terms of Berezins's theory of symbols of operators, the integral formulation is suggested for the free differential algebra which gives rise to consistent equations of motion of interacting massless fields of all spins 0#<=#s<#infinity# in the frameworks of gravity. In the first nontrivial order of the expansion in powers of curvatures, Frobenius consistency conditions for higher-spin equations of motion are shown to reduce to the simple geometrical fast that there are two ways for splitting any quadrangle in two triangles. To clarify our construction, we illustrate how it works in the simplest case of pure gravity. (orig.).
A fermionic - based on Grassmann--Berezin calculus of anticommuting variables - topological quantum field theory (TQFT) is considered, mainly in three dimensions. It is defined for piecewise-linear manifolds and, for a given triangulation, deals only with a finite number of variables. Despite its simple nature, it can distiguish between lens spaces L(7,1) and L(7,2). And despite its origin from a kind of Reidemeister torsion, it does this without using nontrivial representations of the fundamental group. Also, symbolic calculations are presented giving strong evidence of existence of similar theory in four dimensions.
One of the requirements for a federated information system is interoperability, the ability of one computer system to access and use the resources of another system. This feature is particularly important in biomedical research systems, which need to coordinate a variety of disparate types of data. In order to meet this need, the National Cancer Institute Center for Bioinformatics (NCICB) has created the cancer Common Ontologic Representation Environment (caCORE), an interoperability infrastructure based on Model Driven Architecture. The caCORE infrastructure provides a mechanism to create interoperable biomedical information systems. Systems built using the caCORE paradigm address both aspects of interoperability: the ability to access data (syntactic interoperability) and understand the ...
We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect.?1, we make this explicit via two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect.?2, we introduce the standard distinction between internal and external fictional discourse. In Sects.?3?5, we discuss the approaches of (traditional) Meinongia...
This paper describes the Knowledge Encapsulation Framework (KEF), a suite of tools to enable knowledge inputs (relevant, domain-specific facts) to modeling and simulation projects, as well as other domains that require effective collaborative workspaces for knowledge-based task. This framework can be used to capture evidence (e.g., trusted material such as journal articles and government reports), discover new evidence (covering both trusted and social media), enable discussions surrounding domain-specific topics and provide automatically generated semantic annotations for improved corpus investigation. The current KEF implementation is presented within a wiki environment, providing a simple but powerful collaborative space for team members to review, annotate, discuss and align evidence with their modeling frameworks. The novelty in this approach lies in the combination of automatically tagged and user-vetted resources, which increases user trust in the ...
This article analyses the process of preparing the proposal for a new Finnish National Waste Plan (NWP 2007-2016). The focus of this study is on the use of the alternative concepts of waste prevention or material efficiency and on the shift in discourse from the former to the latter concept. The strengths and weaknesses of these competing concepts were analysed using criteria such as synergy, semantic aspects, legal context and applicability to monitoring. The discourse presented by different stakeholder groups was analysed. The implications of choosing either of the concepts were illustrated. The author concludes that waste prevention can be promoted just as well, or even better from the perspective of improving material efficiency. The concept must be complemented by policy instruments w...
The languages of the world exhibit a range of formal phenomena (e.g. accenting, syntactic reordering and morphological marking) that are commonly linked to the information-structural notion of focus. Crucially, there does not seem to be a one-to-one mapping between particular formal features (focus marking devices) and focus, neither from a cross-linguistic perspective, nor within individual languages. This raises the question of what is actually being expressed if we say that a constituent is focused in a particular language, and whether, or to what extent, the same semantic or pragmatic content is formally expressed by focus-marking across languages. This special issue addresses the question of focus and its grammatical realization from a number of theoretical and empirical perspectives....
Extracting mining subsidence land from remote sensing (RS) images is one of important research contents for environment monitoring in mining area. The accuracy of traditional extracting models based on spectral features is low. In order to extract subsidence land from RS images with high accuracy, some domain knowledge should be imported and new models should be proposed. This paper, in terms of the disadvantage of traditional extracting models, imports domain knowledge from practice and experience, converts semantic knowledge into digital information, and proposes a new model for the specific task. By selecting the Luan mining area as a study area, this new model is tested based on GIS and related knowledge. The result shows that the proposed method is more precise than traditional methods and can satisfy the demands of land subsidence monitoring in mining area. 10 refs., 4 figs., 1 tab.
Frame Analysis has come to play an increasingly stronger role in the study of social movements in Sociology and Political Science. While significant steps have been made in providing a theory of frames and framing, a systematic characterization of the frame concept is still largely lacking and there are no rec-ognized criteria and methods that can be used to identify and marshal frame evi-dence reliably and in a time and cost effective manner. Consequently, current Frame Analysis work is still too reliant on manual annotation and subjective inter-pretation. The goal of this paper is to present an approach to the representation, acquisition and analysis of frame evidence which leverages Content Analysis, In-formation Extraction and Semantic Search methods to provide a systematic treat-ment of a Frame Analysis and automate frame annotation.
How do people understand questions about cause and prevent? Some theories propose that people affirm that A causes B if A's occurrence makes a difference to B's occurrence in one way or another. Other theories propose that A causes B if some quantity or symbol gets passed in some way from A to B. The aim of our studies is to compare these theories' ability to explain judgements of causation and prevention. We describe six experiments that compare judgements for causal paths that involve a mechanism, i.e. a continuous process of transmission or exchange from cause to effect, against paths that involve no mechanism yet a change in the cause nevertheless brings about a change in the effect. Our results show that people prefer to attribute cause when a mechanism links cause to effect. In contr...
This report summarizes the work done at the University of Massachusetts in the area of Image Understanding of static scene domains. The goal of this research project was to demonstrate a practical knowledge-based approach to computer vision that utilized multiple levels of parallel processing. Some problems dealt with included extracting lines, grouping together regions and lines from the same surface, computing pose from geometry, and matching corresponding features in different views. Special attention was also given to the extraction of curved lines and curved surfaces. The static scene domains consisted of both ROAD and HOUSE scenes, each containing approximately fourteen (14) different objects per scene.
Partial words are sequences over a finite alphabet that may contain wildcard symbols, called holes, which match or are compatible with all letters; partial words without holes are said to be full words (or simply words). Given an infinite partial word w, the number of distinct full words over the alphabet that are compatible with factors of w of length n, called subwords of w, refers to a measure of complexity of infinite partial words so-called subword complexity. This measure is of particular interest because we can construct partial words with subword complexities not achievable by full words. In this paper, we consider the notion of recurrence over infinite partial words, that is, we study whether all of the finite subwords of a given infinite partial word appear infinitely often, and we establish connections between subword complexity and recurrence in this more general framework.
In this article we explore ways in which pro-market discourses have been interpreted in policy initiatives in Argentina since the 1970s. Our argument is that even though pro-market discourses have guided reforms in many aspects of public policies in Argentina, the arena of education has overall been resistant to taking them up. The first part of the article analyses the origins of a strong discursive and symbolic link between notions of 'public education' and 'National State-centred education' in Argentina and then examines the development of private education in that country. The second section analyses economic change in Argentina and describes the influence that pro-market ideologies had on policies of the military dictatorship of the 1970s. Third, we present reforms implemented during ...
Physicians are exercising their responsibility as healers in their efforts to prevent nuclear war. Death for Hiroshima survivors was experienced in four stages: the immediate impact of destruction, the acute impact of radiation, delayed radiation effects, and later identification as an atomic bomb survivor. Each phase had its physical and psychological impacts and negates Hiroshima as a model for rational behavior despite those who claim survival is possible for those who are prepared. The psychic effects of modern nuclear, chemical, and germ warfare need to be challenged with a symbolization of life and immortality. Studies of psychological reactions to the terror children felt during practice air-raid drills indicate that the fears can be surpressed and re-emerge in adult life as a linking of death with collective annihilation. Other themes which emerge are feelings of impermanence, craziness, identification with the bomb, and a double existence. Psychic numbing ...
Francesco Colonnas Hypnerotomachia Poliphili (The Strife of Love in a Dream) of 1499 is a bizarre architectural-erotic fantasy whose imagery has often perplexed commentators. One particular banquet scene has defied scrutiny. This paper decodes the meal as a typical Renaissance banquet, as harmonious and balanced as any painting or edifice, yet offering an image of divine feeding. The flavors, ingredients and meal structure all reflect current culinary aesthetics as well as Neo-Platonic love theory, occult symbolism and humoral medicine. The banquet scene features foods and cooking methods which were popular in late 15th century Italy and yet includes exotic ingredients such as precious jewels and perfumes which were meant to denote divine feeding. For example, a confection served as a star...
We present a unified self-consistent review of the approach to spherical harmonics developed in the second half of the 19th century by Maxwell and by Thomson and Tait. We remark how this spherical coordinate-free approach straightforwardly leads to physically very important results of the theory of solid and surface harmonics which become rather tedious to work out when using spherical coordinates and associated Legendre functions. These results include, among others, the addition theorem, spherical wave expansions, the construction of the standard set of normalized spherical harmonics, Y_lm - together with their rotational properties-, and recursion relations. We provide new proofs for Maxwell's theorem, the addition theorem and Hobson's theorem, respectively, using in the latter some elementary notions of the symbolic techniques proper of the theory of invariants. Also, we give an approach based on compact vector methods to express the elements of the rotation ...
This report provides a brief summary of the milestone for Quarter 1 of 2006 of the NATional CARBon Sequestration Database and Geographic Information System (NATCARB) This milestone assigns consistent symbology to the ''National CO{sub 2} Facilities'' GIS layer on the NATCARB website. As a default, CO{sub 2} sources provided by the Regional Carbon Sequestration Partnerships and the National Group are now all one symbol type. In addition for sinks such as oil and gas fields where data is drawn from multiple partnerships, the symbology is given a single color. All these modifications are accomplished as the layer is passed through the national portal (www.natcarb.org). This documentation is sent to National Energy Technology Laboratory (NETL) as a Topical Report and will be included in the next Annual Report.
A new subcarrier combining technique is proposed for MC -CDMA receiver in mobile Rayleigh fading channel. It exploits the structure formed by repeating spreading sequences of users on different subcarriers to simultaneously suppress multiple access interference (MAI) and provide implicit channel tracking without any knowledge of the channel amplitudes or training sequences. This is achieved by adaptively weighting each subcarrier in each symbol period by employing a simple gradient descent algorithm to meet the constant modulus (CM) criterion with judicious selection of step-size. Improved BER and user capacity performance are shown with similar complexity in order of O(N) compared with conventional maximum ratio combining and equal gain combining techniques even under high channel Doppler rates.
This book contains the abstracts of all the presentations made either in oral or poster form, at the VII International Symposium on Photosynthetic Prokaryotes.
Those who for a long time have been performed studies with relation by affinity with radioactivity, have in mind that several basic concept to nuclear sciences are of public or general knowledge assuming that in the market there exist a wide stock of diffusion material. Nevertheless, for the attained results in this work, we have seen that there exist great disinformation about to radioactivity its peaceful uses and particularly with a logotype which indicate the presence of radioactive material. The study was carried out in the considering that a probabilistic sampling in the Mexico city will permit to estimate the proportion of the population who knows the International symbol which we are talking about and will give a representative opinion on radioactivity and will indicate the information means with a better acceptation. First of all we proceeded to the elaboration of a questionnaire which were presented to the required number of persons in order to get ...
The task of similarity search in multimedia databases is usually accomplished by range or k nearest neighbor queries. However, the expressing power of these "single-example" queries fails when the user's delicate query intent is not available as a single example. Recently, the well-known skyline operator was reused in metric similarity search as a "multi-example" query type. When applied on a multi-dimensional database (i.e., on a multi-attribute table), the traditional skyline operator selects all database objects that are not dominated by other objects. The metric skyline query adopts the skyline operator such that the multiple attributes are represented by distances (similarities) to multiple query examples. Hence, we can view the metric skyline as a set of representative database objects which are as similar to all the examples as possible and, simultaneously, are semantically distinct. In this paper we propose a technique of processing the metric skyline query ...
We describe a clustering method for labeled link network (semantic graph) that can be used to group important nodes (highly connected nodes) with their relevant link's labels by using PARAFAC tensor decomposition. In this kind of network, the adjacency matrix can not be used to fully describe all information about the network structure. We have to expand the matrix into 3-way adjacency tensor, so that not only the information about to which nodes a node connects to but by which link's labels is also included. And by applying PARAFAC decomposition on this tensor, we get two lists, nodes and link's labels with scores attached to each node and labels, for each decomposition group. So clustering process to get the important nodes along with their relevant labels can be done simply by sorting the lists in decreasing order. To test the method, we construct labeled link network by using blog's dataset, where the blogs are the nodes and labeled links are the shared words ...
This paper describes the FACT system for knowledge discovery from text. It discovers associations - patterns of co-occurrence - amongst keywords labeling the items in a collection of textual documents. In addition, FACT is able to use background knowledge about the keywords labeling the documents in its discovery process. FACT takes a query-centered view of knowledge discovery, in which a discovery request is viewed as a query over the implicit set of possible results supported by a collection of documents, and where background knowledge is used to specify constraints on the desired results of this query process. Execution of a knowledge-discovery query is structured so that these back-ground-knowledge constraints can be exploited in the search for possible results. Finally, rather than requiring a user to specify an explicit query expression in the knowledge-discovery query language, FACT presents the user with a simple-to-use graphical interface to the query language, with the ...
We examined fat phobia, defined as a pathological fear of fatness, by constructing the Fat Phobia Scale, determining its reliability and validity, examining correlates of fat phobia, and using a treatment approach designed to decrease fat phobia. Study 1 describes the development of the Fat Phobia Scale, a 50-item, modified 5-point semantic differential scale. Subjects (974 females and 117 males) completed the scale; factor analysis yielded six factors. Respondents who are average weight, female, younger, have more than a high school education, or are nonmedical professionals are more likely to have fat phobic attitudes. Study 2 examines fat phobic attitudes of women (N = 40) who had negative feelings about their bodies. Subjects completed the Fat Phobia Scale before and after a treatment approach designed to reduce their feelings of responsibility for fatness. Total scores on the Fat Phobia Scale and scores on all six factors decreased significantly, indicating a ...
Pinta is a system for segmentation and visualization of anatomical structures obtained from serial sections reconstructed from magnetic resonance imaging. The system approaches the segmentation problem by assigning each volumetric region to an anatomical structure. This is accomplished by satisfying constraints at the pixel level, slice level, and volumetric level. Each slice is represented by an attributed graph, where nodes correspond to regions and links correspond to the relations between regions. These regions are obtained by grouping pixels based on similarity and proximity. The slice level attributed graphs are then coerced to form a volumetric attributed graph, where volumetric consistency can be verified. The main novelty of our approach is in the use of the volumetric graph to ensure consistency from symbolic representations obtained from individual slices. In this fashion, the system allows errors to be made at the slice level, yet removes them when the ...
Inter-symbol interference (ISI) channels with data dependent Gauss Markov noise have been used to model read channels in magnetic recording and other data storage systems. The Viterbi algorithm can be adapted for performing maximum likelihood sequence detection in such channels. However, the problem of finding an analytical upper bound on the bit error rate of the Viterbi detector in this case has not been fully investigated. Current techniques rely on an exhaustive enumeration of short error events and determine the BER using a union bound. In this work, we consider a subset of the class of ISI channels with data dependent Gauss-Markov noise. We derive an upper bound on the pairwise error probability (PEP) between the transmitted bit sequence and the decoded bit sequence that can be expressed as a product of functions depending on current and previous states in the (incorrect) decoded sequence and the (correct) transmitted sequence. In general, the PEP is ...
A model-base expert system is presented for the processing of alarm messages in power networks' control centers. This alarm processor, called GESTAL, generates concise diagnoses identifying the causes(s) of network disturbances and describing the operation of the protection and alarm systems which operate to isolate faulty components. Essentially, the alarm processor is an agenda driven expert system which is composed of a model of the power network's alarm and protection systems as well as several sets of rules. Based on the nextwork model, graph structures are constructed which represent relationships between alarms as they are received. These graph structures are then analysed in order to diagnose the disturbances(s). The alarm processor has been developed using the ART 3.0 programming language in a Symbolics Lisp-machine environment. Background material on expert systems, electric power networks, and alarm processing software is included, as ...
Recently, Guo and Xia introduced low complexity decoders called Partial Interference Cancellation (PIC) and PIC with Successive Interference Cancellation (PIC-SIC), which include the Zero Forcing (ZF) and ZF-SIC receivers as special cases, for point-to-point MIMO channels. In this paper, we show that PIC and PIC-SIC decoders are capable of achieving the full cooperative diversity available in wireless relay networks. We give sufficient conditions for a Distributed Space-Time Block Code (DSTBC) to achieve full diversity with PIC and PIC-SIC decoders and construct a new class of DSTBCs with low complexity full-diversity PIC-SIC decoding. We also show that almost all known full-diversity PIC/PIC-SIC decodable codes constructed for point-to-point MIMO channels can be used as full-diversity PIC/PIC-SIC decodable DSTBCs in relay networks. The proposed DSTBCs with low complexity, full-diversity PIC/PIC-SIC decoding achieve higher rates (in complex symbols per channel use) ...
We report the isolation of cDNA clones for the mouse {alpha}7 neuronal nicotinic acetylcholine receptor subunit (gene symbol Acra7), the only nicotinic receptor subunit known to bind a-bungarotoxin in mammalian brain. This gene may have relevance to nicotine sensitivity and to some electrophysiologic findings in schizophrenia. The mouse {alpha}7 subunit gene encodes a protein of 502 amino acids with substantial identity to the rat (99.6%), human (92.8%), and chicken (87.5%) amino acid sequences. The {alpha}7 gene was mapped to mouse chromosome 7 near the p locus with the following gene order from proximal to distal: Myod1-3.5 {+-}1.7 cM-Gas2-0.9 cM {+-} 0.9 cM-D7Mit70-1.8 {+-} 1.2 cM- Acra7-4.4 {+-}1.0 cM-Hras1-ps11/Igf1r/Snrp2a. The human gene was confirmed to map to the homologous region of human chromosome 15q13-q14. 26 refs., 3 figs.
Separate abstracts were prepared for 60 papers in this volume of conference proceedings. None other papers in the proceedings were previously abstracted for EDB. Also included in the proceedings but not indexed separately are six workshop summaries and a session introduction. (LEW)
The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...
The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...
Biomass Abstracts - Cumulative Indexes is an annual publication prepared by the Information Technology Group of the Institute for Industrial Research and Standards. This book indexes compiled biomass publications by corporate author, author and subject. (DT)
Abstract: HARVEST was designed as a strategic research and planning tool, allowing assessment of the spatial pattern consequences of broad timber management ...
... Title : Refining the Magnetic Forming Capability. ... Abstract : The purpose of this project was to refine the in-house magnetic forming capability. ...
... Abstract : The purpose of this study was to evaluate the tooling cost estimating equation of the DAPCA III model and determine if more accurate ...