A review of the histologic features of pulmonary metastasis and clinical implications of liposarcoma (LS) is given for 24 cases (8 each) of the 3 types of LS: myxoid LS (ML), pleomorphic LS (PL), and dedifferentiated LS (DDL). Most patients were men. Metastatic ML and PL were distributed almost equally among the lung lobes, whereas DDL was more common in the left lower lobe. The metastatic MLs ...

A service composition task for service broker is to discovery and compose provider’s services to satisfy user’s request. Many researchers model the context utilizing ontology-based or attribute-based method to assist service composition. We propose a new context model by combining the context logic with the dynamic description logic (DDL), where user’ context, provider’s context and broker’s co...

Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Logics (DDL) and Package-based Description Logics (P-DL) offer two alternative logical formalisms that support such mappings. We prove that (a) variants of DDL that allow negated roles or cardinality restrictions in bridg...

Expectation Driven Learning of Phonology Gaja Jarosz Abstract This paper develops a novel approach to learning phonological hidden structure relying on underexplored expectation driven learning strategies rooted in the machine learning literature. A novel probabilistic grammatical representation that enables estimation of expectation driven learning updates, and two learning algorithms utilizin...

Both children and adults are able to extract several intended word-referent mappings from a series of scenes containing multiple words and objects. Known as cross-situational learning, this ability is thought to be an important means of acquiring language. Proposed models of this ability range from hypothesis-testing accounts to associative accounts, but most formal models assume learners store...

The literature on error-driven learning in Harmonic Grammar (HG) has adopted the Perceptron reweighing rule. Yet, this rule is not suited to HG, as it fails at ensuring non-negative weights. A variant is thus considered which truncates the updates at zero, keeping the weights non-negative. Convergence guarantees and error bounds for the original Perceptron are shown to extend to its truncated v...

Recent counterexamples show that Harmonic Grammar (HG) error-driven learning (with the classical Perceptron reweighing rule) is not robust to noise and does not tolerate the stochastic implementation (Magri 2014, MS). This article guarantees that no analogous counterexamples are possible for proper Optimality Theory (OT) error-driven learners. In fact, a simple extension of the OT convergence a...

ADML is an architectural description language based on Dynamic Description Logic for defining and simulating the behavior of system architecture. ADML is being developed as a new formal language and/or conceptual model for representing the architectures of concurrent and distributed systems, both hardware and software. ADML embraces dynamic change as a fundamental consideration, supports a broa...

This paper presents an extension of Conflict Driven Clauses Learning (CDCL). It relies on an extended notion of implication graph containing additional arcs, called inverse arcs. These are obtained by taking into account the satisfied clauses of the formula, which are usually ignored by conflict analysis. This extension captures more conveniently the whole propagation process, and opens new per...