Search results for "Cone"

RECOGNIZABLE PICTURE LANGUAGES

1992

The purpose of this paper is to propose a new notion of recognizability for picture (two-dimensional) languages extending the characterization of one-dimensional recognizable languages in terms of local languages and alphabetic mappings. We first introduce the family of local picture languages (denoted by LOC) and, in particular, prove the undecidability of the emptiness problem. Then we define the new family of recognizable picture languages (denoted by REC). We study some combinatorial and language theoretic properties of REC such as ambiguity, closure properties or undecidability results. Finally we compare the family REC with the classical families of languages recognized by four-way a…

Material properties of various intraocular lenses in an experimental study.

2002

<i>Introduction:</i> With the recent introduction of small-incision cataract surgery, requirements for intraocular lens (IOL) flexibility, strength and hydrophilicity have rapidly evolved. The IOL surface, however, remains a critical factor influencing uveal biocompatibility. <i>Purpose:</i> To objectively quantify factors of material properties of various IOLs using contact angle measurements, differential scanning calorimetry, dynamic-mechanical measurements and scanning electron microscopy. <i>Material and Methods:</i> In our study, 17 currently available IOLs were investigated using contact angle measurements to assess hydrophilicity and biocompatibil…

Cancellation, pumping and permutation in formal languages

1984

Adeus a Georges Moustaki

2013

Lembro-me de momentos felizes, no nosso apartamento do Rio, na Equitativa, em Santa Teresa: os raios do sol que, das janelas, batiam nas paredes brancas, numa atmosfera ao mesmo tempo fresca e quente; eu desenhando em papéis, paredes, capas de LPs, quadro negro, cada traço representando para mim uma primeira idéia de luto, pois sabia que estes desenhos desapareceriam logo e para sempre.

Edelstein-Suzuki-type resuls for self-mappings in various abstract spaces with application to functional equations

2016

Abstract The fixed point theory provides a sound basis for studying many problems in pure and applied sciences. In this paper, we use the notions of sequential compactness and completeness to prove Eldeisten-Suzuki-type fixed point results for self-mappings in various abstract spaces. We apply our results to get a bounded solution of a functional equation arising in dynamic programming.

Design, synthesis, and biological evaluation of thiophene analogues of chalcones.

2008

Chalcones are characterized by possessing an enone moiety between two aromatic rings. A series of chalcone-like agents, in which the double bond of the enone system is embedded within a thiophene ring, were synthesized and evaluated for antiproliferative activity and inhibition of tubulin assembly and colchicine binding to tubulin. The replacement of the double bond with a thiophene maintains antiproliferative activity and therefore must not significantly alter the relative conformation of the two aryl rings. The synthesized compounds were found to inhibit the growth of several cancer cell lines at nanomolar to low micromolar concentrations. In general, all compounds having significant anti…

Introduzione critica a Gaetano Mosca che cosa è la mafia

2013

L'introduzione critica al classico testo di Gaetano Mosca "Che cosa è la mafia" viene messa a confronto con la discussa interpretazione del odierno fenomeno mafioso data dal giudice Giovanni Falcone con la tesi della non esistenza del terzo livello rintracciabile invece nella ottocentesca analisi di Mosca.

The b1 isoform of protocadherin-gamma (Pcdhgamma) interacts with the microtubule-destabilizing protein SCG10.

2004

Due to their structural characteristics and their diversity, the 22 members of the protocadherin-gamma (Pcdhgamma) family have been suggested to contribute to the establishment of specific connections in the nervous system. Here, we focus on a single isoform, Pcdhgamma-b1. Its expression is found in different brain regions and in developing spinal cord it is restricted to scattered cells, whereas all cells are labeled using an antibody that recognizes all Pcdhgamma isoforms. As a first step to understanding the signaling mechanisms downstream of Pcdhgamma, we identify the microtubule-destabilizing protein SCG10 as a cytoplasmic interactor for Pcdhgamma-b1 and other isoforms of the Pcdhgamma…

WiWeHAR: Multimodal Human Activity Recognition Using Wi-Fi and Wearable Sensing Modalities

2020

Robust and accurate human activity recognition (HAR) systems are essential to many human-centric services within active assisted living and healthcare facilities. Traditional HAR systems mostly leverage a single sensing modality (e.g., either wearable, vision, or radio frequency sensing) combined with machine learning techniques to recognize human activities. Such unimodal HAR systems do not cope well with real-time changes in the environment. To overcome this limitation, new HAR systems that incorporate multiple sensing modalities are needed. Multiple diverse sensors can provide more accurate and complete information resulting in better recognition of the performed activities. This article…

The Cone Structure Theorem

2020

Made available in DSpace on 2022-05-01T11:54:27Z (GMT). No. of bitstreams: 0 Previous issue date: 2021-07-01 We consider the topological classification of finitely determined map germs f: (Rn, 0) → (Rp, 0) with f-1(0) = {0}. Associated with f we have a link diagram, which is well defined up to topological equivalence. We prove that f is topologically A-equivalent to the generalized cone of its link diagram. Centro de Ciências e Tecnologia Universidade Federal Do Cariri, 63048-080, Juazeiro do Norte Universidade Estadual Paulista (Unesp) Instituto de Biociências Letras e Ciências Exatas Campus de São José Do Rio Preto, 15054-000, São José do Rio Preto Departament de Matemàtiques Universitat …