128,552 research outputs found
Solving NP-SPEC Domains Using ASP
No full textNP-SPEC is a language for specifying problems in NP in a declarative way. Despite the fact that the semantics of the language was given by referring to Datalog with circumscription, which is very close to ASP, so far the only existing implementations are by means of ECLiPSe Prolog and via Boolean satisfiability solvers. In this paper, we present translations from NP-SPEC into various forms of ASP, and provide an experimental evaluation of existing implementations and the proposed translations to ASP using various ASP solvers. We also argue that it might be useful to incorporate certain language constructs of NP-SPEC into mainstream ASP
Effectively Solving NP-SPEC Encodings by Translation to ASP
No full textNP-SPEC is a language for specifying problems in NP in a declarative way. Despite the fact that the semantics of the language was given by referring to Datalog with circumscription, which is very close to ASP, so far the only existing implementations are by means of ECLiPSe Prolog and via Boolean satisfiability solvers. In this paper, we present translations from NP-SPEC into ASP, and provide an experimental evaluation of existing implementations and the proposed translations to ASP using various ASP solvers. The results show that translating to ASP clearly has an edge over the existing translation into SAT, which involves an intrinsic grounding process. We also argue that it might be useful to incorporate certain language constructs of NPSPEC into mainstream ASP
sj-docx-1-asp-10.1177_00037028231181593 - Supplemental material for Filter Fluorometer Calibration Without the Fluorometer
No full textSupplemental material, sj-docx-1-asp-10.1177_00037028231181593 for Filter Fluorometer Calibration Without the Fluorometer by Caitlyn M. English, Zechariah B. Kitzhaber, Kazi Ragib I. Sanim, Nikolaos Vitzilaios, Michael E. Hodgson, Tammi L. Richardson and Michael L. Myrick in Applied Spectroscopy</p
A indústria de prestação de serviços logísticos e o modelo de negócio ASP: perspectivas e tendências no mercado brasileiro
No full textTese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia de ProduçãoA literatura internacional identifica que a capacitação em soluções de tecnologia de informação é considerada um dos principais requisitos para um prestador de serviços logísticos (PSL) se manter competitivo. Nesse sentido, este trabalho identifica o modelo de negócios ASP - Application Service Provider como mecanismo alternativo que possibilita a melhoria do aporte de tecnologia de informação de forma rápida e com baixo investimento. Entretanto, por se tratar de uma inovação, ele enfrenta as dificuldades de inserção como qualquer outra inovação no mercado. Para compreender e explicar a evolução do modelo de negócios ASP no segmento da logística, o presente trabalho se apoiou na teoria de difusão das inovações. Tendo essa perspectiva de análise como pano de fundo e com base em uma pesquisa exploratória, desenvolvida a partir de um arcabouço de referencia, esta tese identificou que o uso do modelo ASP para o fornecimento de aplicativos voltados para os processos logísticos no Brasil, ainda se encontra numa fase introdutória, com uma oferta limitada de serviços, assim como um número reduzido de empresas fornecedoras. Entretanto, existem boas perspectivas de crescimento, pois existe uma tendência de aumento do uso dos serviços de empresas ASP para o fornecimento de aplicativos voltados para a logística para os próximos 2 anos. Em relação aos fatores que afetam a adoção, evidenciou-se, através da pesquisa amostral, que as características percebidas da inovação associadas à vantagem relativa, o tamanho, a estrutura organizacional, as pressões competitivas e a interconectividade e participação na rede afetam esse processo. Por sua vez, através do estudo de caso realizado identificou-se algumas ações desenvolvidas por uma empresa fornecedora, que favorecem o processo de adoção desse modelo no mercado, uma vez que impactam positivamente e convergem com as demandas e características estabelecidas do lado dos adotantes. Quanto aos fatores direcionadores e inibidores à adoção desse modelo, a pesquisa permitiu gerar algumas constatações. Os fatores direcionadores à adoção do modelo podem ser associados aos benefícios e ganhos gerados pelo seu uso e ao grau de satisfação em relação aos serviços prestados pela empresa ASP. Os fatores inibidores associam-se a problemas no fornecimento dos serviços e a desconfiança do mercado em relação à segurança do modelo, e ao conhecimento limitado do mercado em relação ao assunto
sj-jpg-2-asp-10.1177_00037028231181593 - Supplemental material for Filter Fluorometer Calibration Without the Fluorometer
No full textSupplemental material, sj-jpg-2-asp-10.1177_00037028231181593 for Filter Fluorometer Calibration Without the Fluorometer by Caitlyn M. English, Zechariah B. Kitzhaber, Kazi Ragib I. Sanim, Nikolaos Vitzilaios, Michael E. Hodgson, Tammi L. Richardson and Michael L. Myrick in Applied Spectroscopy</p
Przemyśl / Geripp: Offic. M. Jakupec u. Asp. L. Baumgarten ; Terrain: Vorstand J. Pauliny
No full textPRZEMYŚL / GERIPP: OFFIC. M. JAKUPEC U. ASP. L. BAUMGARTEN ; TERRAIN: VORSTAND J. PAULINY
General-Karte von Mittel-Europa (-)
Przemyśl / Geripp: Offic. M. Jakupec u. Asp. L. Baumgarten ; Terrain: Vorstand J. Pauliny (40°50°) ( -
Weighted conditional E L knowledge bases with integer weights: An ASP approach
No full textWeighted knowledge bases for description logics with typicality have been recently considered under a “concept-wise” multipreference semantics (in both the two-valued and fuzzy case), as the basis of a logical semantics of Multilayer Perceptrons. In this paper we consider weighted conditional E L knowledge bases in the two-valued case, and exploit ASP and asprin for encoding concept-wise multipreference entailment for weighted KBs with integer weights
Pro-domain removal in ASP-2 and the cleavage of the amyloid precursor are influenced by pH.
No full textBACKGROUND: One of the signatures of Alzheimer's disease is the accumulation of aggregated amyloid protein, Abeta, in the brain. Abeta arises from cleavage of the Amyloid Precursor protein by beta and gamma secretases, which present attractive candidates for therapeutic targeting. Two beta-secretase candidates, ASP-1 and ASP-2, were identified as aspartic proteases, both of which cleave the amyloid precursor at the beta-site. These are produced as immature transmembrane proteins containing a pro-segment.
RESULTS: ASP-2 expressed in HEK293-cells cleaved the Swedish mutant amyloid precursor at different beta-sites at different pHs in vitro. Recent reports show that furin cleaves the pro-peptide of ASP-2, whereas ASP-1 undergoes auto-catalysis. We show that purified recombinant ASP-2 cleaves its own pro-peptide at ph 5 but not pH 8.5 as seen by mass spectrometry, electrophoresis and N-terminal sequencing.
CONCLUSION: We suggest that ASP-2 processing as well as activity are influenced by pH, and hence the cellular localisation of the protein may have profound effects on the production of Abeta. These factors should be taken into consideration in the design of potential inhibitors for these enzymes
sj-pdf-3-asp-10.1177_00037028211060853 – Supplemental Material for Raman Spectroscopic Detection and Quantification of Macro- and Microhematuria in Human Urine
No full textSupplemental Material, sj-pdf-3-asp-10.1177_00037028211060853 for Raman Spectroscopic Detection and Quantification of Macro- and Microhematuria in Human Urine by William Carswell, John L. Robertson and Ryan S. Senger in Applied Spectroscopy</p
sj-xlsx-2-asp-10.1177_00037028211060853 – Supplemental Material for Raman Spectroscopic Detection and Quantification of Macro- and Microhematuria in Human Urine
No full textSupplemental Material, sj-xlsx-2-asp-10.1177_00037028211060853 for Raman Spectroscopic Detection and Quantification of Macro- and Microhematuria in Human Urine by William Carswell, John L. Robertson and Ryan S. Senger in Applied Spectroscopy</p
- …
