Academic literature on the topic 'Application Domani Extension'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Application Domani Extension.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Application Domani Extension"
1
STURM, ARNON, DOV DORI, and ONN SHEHORY. "THE APPLICATION-BASED DOMAIN ANALYSIS APPROACH AND ITS OBJECT-PROCESS METHODOLOGY IMPLEMENTATION." International Journal of Software Engineering and Knowledge Engineering 18, no. 08 (December 2008): 1115–42. http://dx.doi.org/10.1142/s0218194008004045.
Full textAbstract:
Domain engineering can simplify the development of software systems in specific domains. During domain analysis, the first step of domain engineering, the domain is modeled at an abstract level, providing guidelines for modeling applications within that domain. Drawbacks of existing domain analysis approaches include poor guidelines for domain-specific application modeling, insufficient validations capability, and limited usability. In this paper we apply the Application-based Domain Modeling (ADOM) to the Object-Process Methodology (OPM). This application requires the extension of OPM with a classification mechanism. Showing that the ADOM-OPM approach overcomes limitations of existing approaches, we further verify experimentally that the level of correctness of an ADOM extended OPM model is higher than that achieved without the extension. Finally, we ensure that the proposed extension does not degrade the generic vanilla form of OPM.
2
Alvez, Carlos, Ernesto Miranda, Graciela Etchart, and Silvia Ruiz. "Efficient Iris Recognition Management in Object-Related Databases." Journal of Computer Science and Technology 18, no. 02 (October 4, 2018): e12. http://dx.doi.org/10.24215/16666038.18.e12.
Full textAbstract:
Biometric applications have grown significantly in recent years, particularly iris-based systems. In the present work, an extension of an Object Relational Database Management System for the integral management of a biometric system based on the human iris was presented. Although at present, there are many database extensions for different domains, in no case for biometric applications. The proposed extension includes both the extension of the type system and the definition of domain indexes for performance improvement. The aim of this work is to provide a tool that facilitates the development of biometric applications based on the iris feature. Its development is based on a reference architecture that includes both the management of images of the iris trait, its associated metadata and the necessary methods for both manipulation and queries. An implementation of the extension is performed for PostgreSQL DBMS, and SP-GiST framework is used in the implementation of a domain index. Experiments were carried out to evaluate the performance of the proposed index, which shows improvements in query execution times.
3
Karsten, Frank, Marco Slikker, and Geert-Jan van Houtum. "DOMAIN EXTENSIONS OF THE ERLANG LOSS FUNCTION: THEIR SCALABILITY AND ITS APPLICATIONS TO COOPERATIVE GAMES." Probability in the Engineering and Informational Sciences 28, no. 4 (September 5, 2014): 473–88. http://dx.doi.org/10.1017/s0269964814000102.
Full textAbstract:
We prove that several extensions of the classic Erlang loss function to non-integral numbers of servers are scalable: the blocking probability as described by the extension decreases when the offered load and the number of servers s are increased with the same relative amount, even when scaling up from integral s to non-integral s. We use this to prove that when several Erlang loss systems pool their resources for efficiency, various corresponding cooperative games have a non-empty core.
4
BOGURAEV, BRANIMIR, and CHRISTOPHER KENNEDY. "Applications of term identification technology: domain description and content characterisation." Natural Language Engineering 5, no. 1 (March 1999): 17–44. http://dx.doi.org/10.1017/s1351324999002090.
Full textAbstract:
The identification and extraction of technical terms is one of the better understood and most robust Natural Language Processing (NLP) technologies within the current state of the art of language engineering. In generic information management contexts, terms have been used primarily for procedures seeking to identify a set of phrases that is useful for tasks such as text indexing, computational lexicology, and machine-assisted translation: such tasks make important use of the assumption that terminology is representative of a given domain. This paper discusses an extension of basic terminology identification technology for the application to two higher level semantic tasks: domain description, the specification of the technical domain of a document, and content characterisation, the construction of a compact, coherent and useful representation of the topical content of a text. With these extensions, terminology identification becomes the foundation of an operational environment for document processing and content abstraction.
5
Harper, Malcolm. "ℤ[] is Euclidean." Canadian Journal of Mathematics 56, no. 1 (February 1, 2004): 55–70. http://dx.doi.org/10.4153/cjm-2004-003-9.
Full textAbstract:
AbstractWe provide the first unconditional proof that the ring ℤ[] is a Euclidean domain. The proof is generalized to other real quadratic fields and to cyclotomic extensions of ℚ. It is proved that if K is a real quadratic field (modulo the existence of two special primes of K) or if K is a cyclotomic extension of ℚ then:the ring of integers of K is a Euclidean domain if and only if it is a principal ideal domain.The proof is a modification of the proof of a theorem of Clark and Murty giving a similar result when K is a totally real extension of degree at least three. The main changes are a new Motzkintype lemma and the addition of the large sieve to the argument. These changes allow application of a powerful theorem due to Bombieri, Friedlander and Iwaniec in order to obtain the result in the real quadratic case. The modification also allows the completion of the classification of cyclotomic extensions in terms of the Euclidean property.
6
van den Brink, L., J. Stoter, and S. Zlatanova. "MODELING AN APPLICATION DOMAIN EXTENSION OF CITYGML IN UML." ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences XXXVIII-4/C26 (June 7, 2012): 11–14. http://dx.doi.org/10.5194/isprsarchives-xxxviii-4-c26-11-2012.
Full text
7
Thong, Nguyen Tho, Florentin Smarandache, Nguyen Dinh Hoa, Le Hoang Son, Luong Thi Hong Lan, Cu Nguyen Giap, Dao The Son, and Hoang Viet Long. "A Novel Dynamic Multi-Criteria Decision Making Method Based on Generalized Dynamic Interval-Valued Neutrosophic Set." Symmetry 12, no. 4 (April 14, 2020): 618. http://dx.doi.org/10.3390/sym12040618.
Full textAbstract:
Dynamic multi-criteria decision-making (DMCDM) models have many meaningful applications in real life in which solving indeterminacy of information in DMCDMs strengthens the potential application of DMCDM. This study introduces an extension of dynamic internal-valued neutrosophic sets namely generalized dynamic internal-valued neutrosophic sets. Based on this extension, we develop some operators and a TOPSIS method to deal with the change of both criteria, alternatives, and decision-makers by time. In addition, this study also applies the proposal model to a real application that facilitates ranking students according to attitude-skill-knowledge evaluation model. This application not only illustrates the correctness of the proposed model but also introduces its high potential appliance in the education domain.
8
Barroso, Marlo M., José Karam-Filho, and Gilson A. Giraldi. "Domain Extensions of Binomial Numbers Applying Successive Sums Transformations on Sequences Indexed by Integers." TEMA (São Carlos) 21, no. 1 (March 27, 2020): 133. http://dx.doi.org/10.5540/tema.2020.021.01.133.
Full textAbstract:
The classic definition of binomial numbers involves factorials, making unfeasible their extension for negative integers. The methodology applied in this paper allows to establish several new binomial numbers extensions for the integer domain, reproduces to integer arguments those extensions that are proposed in other works, and also verifies the results of the usual binomial numbers. To do this, the impossibility to compute factorials with negative integer arguments is eliminated by the replacement of the classic binomial definition to a new one, based on operations recently proposed and, until now, referred to as transformations by the successive sum applied on sequences indexed by integers. By particularizing these operations for the sequences formed and indexed by integers, it is possible to redefine the usual binomial numbers to any integer arguments, with the advantage that the values are more easily computed by using successive additions instead of multiplications, divisions or possibly more elaborate combinations of these operators, which could demand more than one or two sentences to their application.
9
Ospina Agudelo, Brian, Walter Zamboni, and Eric Monmasson. "Application domain extension of incremental capacity-based battery SoH indicators." Energy 234 (November 2021): 121224. http://dx.doi.org/10.1016/j.energy.2021.121224.
Full text
10
van den Brink, Linda, Jantien Stoter, and Sisi Zlatanova. "UML-Based Approach to Developing a CityGML Application Domain Extension." Transactions in GIS 17, no. 6 (May 22, 2013): 920–42. http://dx.doi.org/10.1111/tgis.12026.
Full textDissertations / Theses on the topic "Application Domani Extension"
1
NOARDO, FRANCESCA. "Spatial ontologies for architectural heritage." Doctoral thesis, Politecnico di Torino, 2016. http://hdl.handle.net/11583/2644378.
Full textAbstract:
Informatics and artificial intelligence have generated new requirements for digital archiving, information, and documentation. Semantic interoperability has become fundamental for the management and sharing of information. The constraints to data interpretation enable both database interoperability, for data and schemas sharing and reuse, and information retrieval in large datasets. Another challenging issue is the exploitation of automated reasoning possibilities. The solution is the use of domain ontologies as a reference for data modelling in information systems. The architectural heritage (AH) domain is considered in this thesis. The documentation in this field, particularly complex and multifaceted, is well-known to be critical for the preservation, knowledge, and promotion of the monuments. For these reasons, digital inventories, also exploiting standards and new semantic technologies, are developed by international organisations (Getty Institute, ONU, European Union). Geometric and geographic information is essential part of a monument. It is composed by a number of aspects (spatial, topological, and mereological relations; accuracy; multi-scale representation; time; etc.). Currently, geomatics permits the obtaining of very accurate and dense 3D models (possibly enriched with textures) and derived products, in both raster and vector format. Many standards were published for the geographic field or in the cultural heritage domain. However, the first ones are limited in the foreseen representation scales (the maximum is achieved by OGC CityGML), and the semantic values do not consider the full semantic richness of AH. The second ones (especially the core ontology CIDOC – CRM, the Conceptual Reference Model of the Documentation Commettee of the International Council of Museums) were employed to document museums’ objects. Even if it was recently extended to standing buildings and a spatial extension was included, the integration of complex 3D models has not yet been achieved. In this thesis, the aspects (especially spatial issues) to consider in the documentation of monuments are analysed. In the light of them, the OGC CityGML is extended for the management of AH complexity. An approach ‘from the landscape to the detail’ is used, for considering the monument in a wider system, which is essential for analysis and reasoning about such complex objects. An implementation test is conducted on a case study, preferring open source applications.
2
Albers, Patrick. "IXTET: extension de la représentation pour la prise en compte des effets dépendant du contexte et des axiomes du domaine." Toulouse 3, 1997. http://www.theses.fr/1997TOU30098.
Full textAbstract:
La planification est un element indispensable pour doter un robot autonome de capacites decisionnelles. Ce qui nous interesse dans cette these est le niveau predictif plutot que le niveau reactif d'un systeme decisionnel, et en particulier la planification de taches. Le travail propose a pour objectif d'etendre la representation temporelle pour prendre en compte les actions avec effets dependant du contexte. Toute action peut avoir des effets supplementaires selon le contexte dans lequel elle s'execute. Il s'agit de caracteriser les contextes par un ensemble de preconditions et par des effets supplementaires. Le but initial est d'accroitre l'expressivite des actions ; mais cette extension a egalement permis d'ameliorer les performances du planificateur. La deuxieme partie de cette these s'interesse a l'integration des axiomes du domaine dans le processus de planification. Ces axiomes permettent d'exprimer des incoherences du monde que le systeme doit prendre en compte lors de l'elaboration d'une solution. L'utilisation des axiomes augmente l'expressivite en specifiant des lois generales, qui sont la plupart du temps difficile voire impossible a exprimer dans les actions. Ces travaux reposent sur la representation temporelle du systeme ixtet, dans lequel ont ete integrees les extensions proposees. Le travail a egalement porte sur le developpement et le test d'une application industrielle en planification. Il s'agit de la gestion de la production des avions des usines dassault aviation. L'analyse de ce probleme ainsi que les solutions proposees pour sa resolution sont egalement presentees.
3
Wood, Nicholas Linder. "Extension of Similarity Functions and their Application toChemical Informatics Problems." The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu1542299336598615.
Full text
4
Pascal, Christophe. "Etude mecanique et modelisation de la fracturation en extension, application au domaine de la mer du nord." Paris 6, 1998. http://www.theses.fr/1998PA066274.
Full textAbstract:
Ce travail vise a determiner le jeu des failles majeures du champ petrolier de fry (elf norge) situe au sein du viking graben (mer du nord) et soumises au regime extensif jurassique superieur. La demarche adoptee est la suivante : 1) caracteriser l'evolution des champs de paleocontraintes regionales par des travaux de terrain ; 2) predire les jeux des failles du champ de fry lors de l'extension jurassique a l'aide de modeles geomecaniques. Le premier volet de la these presente les travaux de terrain effectues en ecosse du ne et dans les iles shetland et l'analyse de la fracturation des carottes de forage du champ de fry. L'analyse des paleocontraintes permet de determiner quatre phases tectoniques : 1) extension nw-se a ne-sw du devonien moyen a superieur ; 2) compression e-w au carbonifere superieur ; 3) extension localement nne-ssw au jurassique superieur et 4) compression nne-ssw a l'eocene. L'analyse des plans stries des carottes de forage de fry donne une extension wnw-ese au jurassique superieur. Le deuxieme volet de la these porte sur la determination des jeux de failles de fry par deux methodes. La premiere methode a ete developpee par nos soins. Cette methode simplifiee permet le calcul de la contrainte tangentielle appliquee a un plan de faille donne. Elle comporte l'avantage de la souplesse d'emploi et ne requiert que quatre parametres. Nous avons utilise, en deuxieme lieu, la methode des elements distincts 3-d. Son utilisation requiert l'introduction d'un nombre plus eleve de parametres. On affecte aux failles les parametres mecaniques de mohr-coulomb et au materiau rocheux des proprietes elastiques. L'application de contraintes aux limites du modele permet de simuler les jeux des failles du champ soumises a un etat de contraintes regional. Pour les deux modeles nous avons effectue les essais en fonction du rapport de forme du tenseur de contraintes applique. Les principaux resultats de notre etude sont les suivants : 1) pour la methode sortan le resultat optimal est obtenu pour un rapport de forme de eleve, en accord avec le processus de rifting lineaire qui a affecte fry au jurassique superieur ; 2) nous montrons que les methodes simplifiees de wallace-bott sont validees ; 3) des phenomenes impredictibles par les methodes de wallace-bott (rotations de blocs) sont mis en evidence par la med.
5
Höpker, Martin Verfasser], Michael [Akademischer Betreuer] [Böhm, Alfred [Gutachter] Schmidt, and Ralph E. [Gutachter] Showalter. "Extension Operators for Sobolev Spaces on Periodic Domains, Their Applications, and Homogenization of a Phase Field Model for Phase Transitions in Porous Media / Martin Höpker. Betreuer: Michael Böhm. Gutachter: Alfred Schmidt ; Ralph E. Showalter." Bremen : Staats- und Universitätsbibliothek Bremen, 2016. http://d-nb.info/1111020914/34.
Full text
6
Santos, Tânia Filipa Sobrinho dos. "IMRT national audit – application of IAEA methodology and extension to new technologies." Doctoral thesis, 2021. http://hdl.handle.net/10316/95278.
Full textAbstract:
Tese no âmbito do Doutoramento em Engenharia Física, Metrologia e Qualidade, apresentada ao Departamento de Física da Faculdade de Ciências e Tecnologia da Universidade de Coimbra.Over the last decade, Intensity Modulated Radiation Therapy (IMRT), including Volumetric Arc Modulated Therapy (VMAT), has become a widespread treatment technique, given the associated clinical benefits. However, the inherent complexity leads to an increased potential for harmful errors to occur. For its safe and optimal use, a comprehensive quality assurance program must thus be implemented and a regular participation in external audits is recommended. The International Atomic Energy Agency (IAEA), which has a vast experience in providing dosimetry services, has recently developed a national audit program to review the physics aspects of IMRT treatments. The established methodology includes the dosimetric verification of a head and neck IMRT plan through radiochromic film and ionization chamber measurements. It also comprises a set of tests designed for conventional linear accelerators to evaluate basic beam data as well as the machine performance. This audit can be adopted at the country level with the IAEA support. In this context, the main objectives of this thesis were: 1) to carry out the IMRT audit in Portugal; 2) to contribute to extend the audit methodology, including its adaptation to Helical Tomotherapy (HT), adoption of plan quality and complexity metrics for plan assessment, and providing a practical guide for radiochromic film dosimetry. The IMRT audit was conducted in Portugal in 2018 in collaboration with the IAEA and had 100% participation of the radiotherapy centres performing IMRT treatments. In the audit pilot centre, Instituto Português de Oncologia de Coimbra Francisco Gentil (IPOCFG), IMRT treatments are performed in a tomotherapy unit, which motivated the extension of the methodology to HT. The proposed adaptations included the definition of procedures to check the machine beam output, the treatment planning system (TPS) beam model and some small field dosimetry indicators. Analysis of the quality and complexity of the audit plans, created by each participating institution using the local technologies/techniques, allows for an independent comparison of the followed approaches and sharing of experiences. The plans dosimetric quality was evaluated by using an in-house developed software tool, called SPIDERplan. To evaluate and compare the complexity of the audit IMRT/VMAT plans, multiple metrics were considered and a novel global plan complexity score was proposed. Additionally, the assessment of plan complexity was extended to HT, for which no indices had been proposed so far in the literature, through the definition and adaptation of multiple metrics. Film dosimetry may be challenging, requiring the knowledge and implementation of complex procedures. A literature review on the practical aspects to take into account when setting up a film dosimetry system in clinical practice was done. It can serve as a guide for new users and audit teams that intend to conduct the IMRT audit at a national level. A comprehensive film dosimetry protocol for high dose verification of stereotactic treatments was also established, which can be considered in future extensions of the audit methodology to hypofractionated regimens.
RESUMO: Ao longo última década, a radioterapia de intensidade modulada (do inglês intensity modulated radiation therapy – IMRT), incluindo a arcoterapia volumétrica modulada (do inglês volumetric modulated arc therapy – VMAT), tornou-se uma técnica de tratamento amplamente usada. No entanto, a sua maior complexidade leva a que possam ocorrer mais erros relativamente às técnicas mais convencionais. As instituições devem por isso, implementar um programa de garantia de qualidade completo e participar regularmente em auditorias externas. A Agência Internacional de Energia Atómica (IAEA), que tem um longo historial de experiência na disponibilização de auditorias dosimétricas, desenvolveu recentemente um programa de auditoria para tratamentos de IMRT. A metodologia adotada inclui a verificação de dose de um tratamento de IMRT de cabeça e pescoço usando filmes radiocrómicos e câmara de ionização. Contempla igualmente um conjunto de testes, especialmente definidos para aceleradores lineares convencionais, que visam a verificação da dosimetria básica e do desempenho da máquina de tratamento. Este programa pode ser adotado pelos diferentes Estados Membros, com o suporte da IAEA. Neste contexto, esta tese teve como objetivos: 1) realizar a auditoria de IMRT em Portugal; 2) contribuir para a extensão da metodologia da auditoria, através da sua adaptação à Tomoterapia (HT), da inclusão de métricas de avaliação de qualidade e complexidade dos planos de tratamento e da proposta de um guião para a implementação de uma metodologia de dosimetria em filme. A auditoria de IMRT foi conduzida em Portugal em 2018, em colaboração com a IAEA e contou com a participação de todos os centros de radioterapia que utilizavam, à data, IMRT na prática clínica. No centro piloto, Instituto Português de Oncologia de Coimbra Francisco Gentil (IPOCFG), estes tratamentos são executados na unidade de Tomoterapia, o que motivou a extensão da metodologia a este tipo de equipamento. A sua adaptação à HT incluiu a definição de procedimentos para verificar a calibração do feixe de tratamento, o modelo do feixe e indicadores de dosimetria básica de campos pequenos. A análise da qualidade e complexidade dos planos de tratamento resultantes da auditoria permitiu uma avaliação independente das práticas locais e motivou a partilha de conhecimento. A qualidade dosimétrica dos planos foi avaliada usando uma ferramenta desenvolvida no IPOCFG – SPIDERplan. Para analisar e comparar a complexidade dos planos de IMRT/VMAT, foram consideradas várias métricas e proposto um score global. A avaliação da complexidade foi ainda estendida à HT, para a qual não existiam indicadores reportados na literatura, através da definição e adaptação de vários índices. O uso de dosimetria em filme requer o conhecimento e execução de procedimentos muito detalhados. Assim, foi feita uma revisão bibliográfica dos aspetos a considerar na implementação de um sistema de dosimetria em filme. Esta revisão pode servir como guia a novos utilizadores ou equipas de auditores. Foi igualmente estabelecido um protocolo de dosimetria em filme para verificação de planos de radioterapia estereotáxica, que poderá ser considerado em extensões futuras da auditoria.
7
Rodrigues, Lourenço Ascensão Marques Pinto de Rezende. "Shelf-life extension of squid and shrimp skewers through the application of edible solutions." Master's thesis, 2020. http://hdl.handle.net/10400.14/32891.
Full textAbstract:
Seafood are highly nutritious and indispensable to a healthy diet. Growing interests in healthy lifestyles result in increasing demands for innovation of seafood products leading to more accessible and less time-consuming confection products. However, seafood is also very perishable, and product degradation is a major cause for the large quantities of product waste, which is a matter of great concert for both the industry and the consumers. This degradation is, in part, consequence of the growth of specific spoilage organisms in the product. With the objective of increasing shelf-life of a seafood product (squid and shrimp “espetada”), this work focused on the development of natural treatments to inhibit the bacterial proliferation and spoilage throughout 5 days of product storage under refrigeration conditions. To achieve that, an initial microbiological characterization of the product was performed, and the antimicrobial activity of several natural compounds was evaluated against 100 microorganisms previously isolated from the fish samples. Identification of isolates resulted in the detection of several Enterobacteriaceae (Serratia spp., Klebsiella spp., Hafnia spp., Rahnella spp., etc.), Pseudomonas spp. and Lactic Acid Bacteria (Lactococcus spp., Leuconostoc spp. and Weissella spp.). Escherichia coli or Listeria monocytogenes were not found in each batch analyzed. Three selected natural compounds, Citrox®, Thyme essential oil and vinegar solutions, were applied through different techniques and their effects in bacteriological growth was analyzed in comparison with untreated samples from the same batch immediately after reception and after 2 and 5 days of refrigerated storage. Citrox® at 1% v/v (immersion) and 3% v/v (pulverization) as well as Thyme essential oil at 0.2% v/v (immersion) were not effective in retarding the growth of total viable organisms, Lactic Acid Bacteria, Pseudomonas spp. and Enterobacteriaceae. On the contrary, bacterial inhibition was observed for both immersion and pulverization of vinegar, with significant higher effect (P < 0.05) only after immersion for 5 minutes with reductions around 2 log cycles at the end of 5 days of storage. Although more experimental tests are required, this preliminary study demonstrated that natural compounds such as vinegar solutions could be used to prevent the bacterial growth and to prolong the shelf-life of such perishable squid and shrimp “espetadas”.Produtos de pescado são alimentos altamente nutritivos e indispensáveis para uma dieta saudável. Com o crescimento do interesse por hábitos de vida saudáveis, a procura por produtos de pescado inovadores levou à criação de produtos acessíveis e de fácil confeção. No entanto, os produtos de pescado são alimentos facilmente degradáveis, resultando no desperdício de produto de grande relevância para a indústria e consumidores. A degradação de produtos de pescado é, em parte, resultado da proliferação de microrganismos deteriorantes. Com o objetivo de estender o período de vida de um produto de pescado (uma “espetada” de lula e camarão), este trabalho focou-se no desenvolvimento de tratamentos à base de produtos naturais, de forma a inibir a proliferação bacteriana e o degradação ao longo de cinco dias de armazenamento do produto. Inicialmente, a caracterização microbiológica do produto foi realizada e a atividade antimicrobiana de vários compostos foi testada contra 100 isolados recolhidos da amostra. A identificação genómica dos isolados resultou na deteção de várias Enterobacteriaceae (Serratia spp., Klebsiella spp., Hafnia spp., Rahnella spp., etc.), Pseudomonas spp. e Bactérias do Ácido Lático (Lactococcus spp., Leuconostoc spp. e Weissella spp.). Escherichia coli ou Listeria monocytogenes não foram encontrados em nenhum dos lotes analisados. Três compostos, Citrox®, óleo essencial de tomilho e vinagre de vinho tinto, foram aplicados ao produto através de diferentes técnicas, tendo sido analisado o seu efeito no crescimento bacteriano e comparado com amostras controlo imediatamente após a aplicação do tratamento, assim como após dois e cinco dias de refrigeração. A aplicação de Citrox® a 1% v/v (por imersão) e a 3% v/v (por pulverização) e óleo essencial de tomilho a 0,2% v/v (por imersão), não foram eficazes em retardar o crescimento de microrganismos viáveis, bactérias do ácido lático, Pseudomonas spp. e Enterobacteriaceae Contrariamente, foi observada inibição bacteriana em amostras imersas e pulverizadas com vinagre 50% v/v, sendo a eficácia do tratamento significativamente maior (P < 0.05) apenas após imersão durante 5 minutos. Com exceção das bactérias do ácido lático, neste tratamento foram observadas reduções de 2 ciclos logarítmicos para todos os outros grupos de microrganismos ao fim de 2 dias de armazenamento. Embora mais testes sejam necessários, este estudo preliminar demonstrou que a aplicação de tratamentos de vinagre pode ser usada para prevenir/inibir o crescimento bacteriano e estender o tempo de vida do produto em questão.
8
Hoogers, Bram Gerard Niek. "Environmental sustainability adoption: an application and extension of the theory of planned behaviour to the adoption of environmentally sustainable products." Master's thesis, 2015. http://hdl.handle.net/10362/15544.
Full textAbstract:
Double degreeEnvironmentally sustainable businesses and products are necessary to deal with increasing environmental problems. In order to market this category, the drivers for adoption need to be investigated. Current research has not yet focused on the consumer perspective for sustainability adoption. This study fills this gap with the application of the Theory of Planned Behaviour onto the context of environmental sustainability. A web-based self-administered survey amongst 257 respondents is used to test a total of eight hypotheses on intention to adopt and adoption. Environmental concern, previous purchase behaviour, willingness to pay more and perceived convenience are found to be the main drivers for sustainability adoption. Results further indicate that environmental knowledge, social pressure and herd behaviour are not found to be significant contributors to intention to adopt environmental sustainability. Scientific contributions and managerial implications are discussed, followed by the limitations and recommendations for future research.
Books on the topic "Application Domani Extension"
1
Bettinger, Torsten, and Allegra Waddell, eds. Domain Name Law And Practice. Oxford University Press, 2015. http://dx.doi.org/10.1093/oso/9780199663163.001.0001.
Full textAbstract:
An established authority in the field, this work provides comprehensive analysis of the law and practice relating to internet domain names at an international level, combined with a detailed survey of the 36 most important domain name jurisdictions worldwide, including the US, UK, Germany, France, Italy, Netherlands, Japan, China, Singapore, Russia, Canada, and Australia, and new chapters on Israel, Mexico, South Korea, Brazil, Colombia, Portugal, and South Africa. The survey includes extensive country-by-country analysis of how domain names relate to existing trade mark law, and upon the developing case law in the field, as well as the alternative dispute resolution procedures. In its second edition, this work analyses, in depth, key developments in the field including ICANN's new gTLD program. The program, introducing more than 700 new top-level domains, will have far-reaching consequences for brand name industries worldwide and for usage of the internet. The complicated application process is considered in detail as well as filing and review procedures, the delegation process, the role and function of the Trademark Clearing House and the Sunrise and Trademark Claims Services, dispute resolution, and new rights protection mechanisms. Other developments covered include new registration processes such as the use of privacy and proxy services, as well as the expansion of the scope of internationalized domain names, including the addition of a number of generic top-level domains such as “.tel” and “.travel”. Also considered are developments relating to the Uniform Domain Name Dispute Resolution Policy (UDRP) in terms of the nature of cases seen under the Policy and the number of cases filed, as well as the recent paperless e-UDRP initiative. The Uniform Rapid Suspension System, working alongside the UDRP in the new gTLD space, is also discussed in a new chapter on this process. Giving detailed information about the registration of domain names at national, regional and international levels, analysis of the dispute resolution processes at each of those levels, and strategic guidance on how to manage domain names as part of an overall brand strategy, this leading work in international domain name law is essential reading for practitioners in the field.
2
Peacocke, Christopher. The Primacy of Metaphysics. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198835578.001.0001.
Full textAbstract:
Is the metaphysics of a domain prior in the order of philosophical explanation to a theory of intentional contents and meanings about that domain? Or is the opposite true? This book argues from the nature of meaning and intentional content to the conclusion that content and meaning are never prior to the metaphysics. For every domain, either a metaphysics-first view or a no-priority view is correct. Metaphysics-first views are developed for several specific domains. For extensive magnitudes, a new realistic metaphysics is developed, and this metaphysics is used to explain features of the perception of magnitudes, and to elucidate analogue computation and analogue representation. A metaphysics-first treatment of time is developed and used to develop new accounts of temporal representation, and to address some puzzles about time and present-tense content. A metaphysics-first treatment of subject and the first person develops a new account of the ownership of mental events by subjects, and argues for a greater role of agency in the first person than in earlier accounts. A noncausal metaphysics-first view is developed for the natural numbers and the real numbers. The account gives an explanatory priority to the application of numbers to properties and to ratios of magnitudes. The final chapter of the book argues the materials earlier in the book permit a new account of the limits of intelligibility. Spurious concepts, such as absolute space, are ones for which there is no account of the relation that would have to hold for a thinker to latch onto it.
3
Crespo Miguel, Mario. Automatic corpus-based translation of a spanish framenet medical glossary. 2020th ed. Editorial Universidad de Sevilla, 2020. http://dx.doi.org/10.12795/9788447230051.
Full textAbstract:
Computational linguistics is the scientific study of language from a computational perspective. It aims is to provide computational models of natural language processing (NLP) and incorporate them into practical applications such as speech synthesis, speech recognition, automatic translation and many others where automatic processing of language is required. The use of good linguistic resources is crucial for the development of computational linguistics systems. Real world applications need resources which systematize the way linguistic information is structured in a certain language. There is a continuous effort to increase the number of linguistic resources available for the linguistic and NLP Community. Most of the existing linguistic resources have been created for English, mainly because most modern approaches to computational lexical semantics emerged in the United States. This situation is changing over time and some of these projects have been subsequently extended to other languages; however, in all cases, much time and effort need to be invested in creating such resources. Because of this, one of the main purposes of this work is to investigate the possibility of extending these resources to other languages such as Spanish. In this work, we introduce some of the most important resources devoted to lexical semantics, such as WordNet or FrameNet, and those focusing on Spanish such as 3LB-LEX or Adesse. Of these, this project focuses on FrameNet. The project aims to document the range of semantic and syntactic combinatory possibilities of words in English. Words are grouped according to the different frames or situations evoked by their meaning. If we focus on a particular topic domain like medicine and we try to describe it in terms of FrameNet, we probably would obtain frames representing it like CURE, formed by words like cure.v, heal.v or palliative.a or MEDICAL CONDITIONS with lexical units such as arthritis.n, asphyxia.n or asthma.n. The purpose of this work is to develop an automatic means of selecting frames from a particular domain and to translate them into Spanish. As we have stated, we will focus on medicine. The selection of the medical frames will be corpus-based, that is, we will extract all the frames that are statistically significant from a representative corpus. We will discuss why using a corpus-based approach is a reliable and unbiased way of dealing with this task. We will present an automatic method for the selection of FrameNet frames and, in order to make sure that the results obtained are coherent, we will contrast them with a previous manual selection or benchmark. Outcomes will be analysed by using the F-score, a measure widely used in this type of applications. We obtained a 0.87 F-score according to our benchmark, which demonstrates the applicability of this type of automatic approaches. The second part of the book is devoted to the translation of this selection into Spanish. The translation will be made using EuroWordNet, a extension of the Princeton WordNet for some European languages. We will explore different ways to link the different units of our medical FrameNet selection to a certain WordNet synset or set of words that have similar meanings. Matching the frame units to a specific synset in EuroWordNet allows us both to translate them into Spanish and to add new terms provided by WordNet into FrameNet. The results show how translation can be done quite accurately (95.6%). We hope this work can add new insight into the field of natural language processing.
Book chapters on the topic "Application Domani Extension"
1
Kajtaz, Mladenko. "Extension of Substructuring Technique in the Nonlinear Domain." In Nonlinear Approaches in Engineering Applications, 425–47. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-69480-1_15.
Full text
2
Kytmanov, Alexander M. "Holomorphic Extension of Functions into a Fixed Domain." In The Bochner-Martinelli Integral and Its Applications, 233–70. Basel: Birkhäuser Basel, 1995. http://dx.doi.org/10.1007/978-3-0348-9094-6_6.
Full text
3
Amano, K., M. Asaduzzaman, T. Ooura, and S. Saitoh. "Representations of Analytic Functions on Typical Domains in Terms of Local Values and Truncation Error Estimates." In Analytic Extension Formulas and their Applications, 15–25. Boston, MA: Springer US, 2001. http://dx.doi.org/10.1007/978-1-4757-3298-6_2.
Full text
4
Lee, Dongman, Hyewon Shin, Soon J. Hyun, Younghee Lee, Myoungchurl Kim, and Hee Yong Youn. "Extensions to DNS for Supporting Internationalized Domain Names." In Information Networking: Wireless Communications Technologies and Network Applications, 791–801. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45801-8_74.
Full text
5
Vodop’yanov, S. K. "Equivalent normalizations of Sobolev and Nikol’skiǐ spaces in domains. boundary values and extension." In Function Spaces and Applications, 397–409. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/bfb0078890.
Full text
6
Boisseau, Guillaume, and Robin Piedeleu. "Graphical Piecewise-Linear Algebra." In Lecture Notes in Computer Science, 101–19. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99253-8_6.
Full textAbstract:
AbstractGraphical (Linear) Algebra is a family of diagrammatic languages allowing to reason about different kinds of subsets of vector spaces compositionally. It has been used to model various application domains, from signal-flow graphs to Petri nets and electrical circuits. In this paper, we introduce to the family its most expressive member to date: Graphical Piecewise-Linear Algebra, a new language to specify piecewise-linear subsets of vector spaces.Like the previous members of the family, it comes with a complete axiomatisation, which means it can be used to reason about the corresponding semantic domain purely equationally, forgetting the set-theoretic interpretation. We show completeness using a single axiom on top of Graphical Polyhedral Algebra, and show that this extension is the smallest that can capture a variety of relevant constructs.Finally, we showcase its use by modelling the behaviour of stateless electronic circuits of ideal elements, a domain that had remained outside the remit of previous diagrammatic languages.
7
Heinzer, William, David Lantz, and Sylvia Wiegand. "Projective Lines Over One-Dimensional Semilocal Domains and Spectra of Birational Extensions." In Algebraic Geometry and its Applications, 309–25. New York, NY: Springer New York, 1994. http://dx.doi.org/10.1007/978-1-4612-2628-4_19.
Full text
8
Thonhofer, Elvira, and José Carmona. "Simulation of Platoon Dynamics, Optimisation and Traffic Effects." In Energy-Efficient and Semi-automated Truck Platooning, 89–103. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-88682-0_7.
Full textAbstract:
AbstractThis chapter outlines the methodologies required to realise a comprehensive scenario-based approach for effective and efficient development and validation of complex, cooperative control functions in connected and automated driving. These methods are exemplified for platooning and are devised in the scope of Connecting Austria, the Austrian flagship project on automated driving and goods transport. The development and validation approach have first been implemented vertically in depths for the intersection use cases of Connecting Austria. The scenario-based approach includes The systematic identification, collection and collocation of the relevant and representative traffic scenarios. The modelling and simulation of the according traffic and vehicle control strategies. The effectiveness assessment of the traffic and vehicle control strategies with the help of suitable key performance indicators. The controlled iterative adaption to new situations and boundary conditions by steady extension of the operational design domain within an adaptive, learning framework. The demonstration use case “intersection” is the most complex with respect to possible C-ITS, traffic and vehicle control actions. That way generality should be guaranteed, enabling a quick, horizontal extension to further use cases and scenarios, aiming to cover all relevant situations for platooning vehicles within their operational design domain. The application of all methods introduced here will be demonstrated in Chap. 10.1007/978-3-030-88682-0_9.
9
Thonhofer, Elvira, and José Carmona. "Simulation of Platoon Dynamics, Optimisation and Traffic Effects." In Energy-Efficient and Semi-automated Truck Platooning, 89–103. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-88682-0_7.
Full textAbstract:
AbstractThis chapter outlines the methodologies required to realise a comprehensive scenario-based approach for effective and efficient development and validation of complex, cooperative control functions in connected and automated driving. These methods are exemplified for platooning and are devised in the scope of Connecting Austria, the Austrian flagship project on automated driving and goods transport. The development and validation approach have first been implemented vertically in depths for the intersection use cases of Connecting Austria. The scenario-based approach includes The systematic identification, collection and collocation of the relevant and representative traffic scenarios. The modelling and simulation of the according traffic and vehicle control strategies. The effectiveness assessment of the traffic and vehicle control strategies with the help of suitable key performance indicators. The controlled iterative adaption to new situations and boundary conditions by steady extension of the operational design domain within an adaptive, learning framework. The demonstration use case “intersection” is the most complex with respect to possible C-ITS, traffic and vehicle control actions. That way generality should be guaranteed, enabling a quick, horizontal extension to further use cases and scenarios, aiming to cover all relevant situations for platooning vehicles within their operational design domain. The application of all methods introduced here will be demonstrated in Chap. 10.1007/978-3-030-88682-0_9.
10
Margaria, Tiziana, Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Stephen Ryan, and Alexander Schieweck. "The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS." In Lecture Notes in Computer Science, 393–413. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-89159-6_25.
Full textAbstract:
AbstractWith the heterogeneity of the industry 4.0 world, and more generally of the Cyberphysical Systems realm, the quest towards a platform approach to solve the interoperability problem is front and centre to any system and system-of-systems project. Traditional approaches cover individual aspects, like data exchange formats and published interfaces. They may adhere to some standard, however they hardly cover the production of the integration layer, which is implemented as bespoke glue code that is hard to produce and even harder to maintain. Therefore, the traditional integration approach often leads to poor code quality, further increasing the time and cost and reducing the agility, and a high reliance on the individual development skills. We are instead tackling the interoperability challenge by building a model driven/low-code Digital Thread platform that 1) systematizes the integration methodology, 2) provides methods and techniques for the individual integrations based on a layered Domain Specific Languages (DSL) approach, 3) through the DSLs it covers the integration space domain by domain, technology by technology, and is thus highly generalizable and reusable, 4) showcases a first collection of examples from the domains of robotics, IoT, data analytics, AI/ML and web applications, 5) brings cohesiveness to the aforementioned heterogeneous platform, and 6) is easier to understand and maintain, even by not specialized programmers. We showcase the power, versatility and the potential of the Digital Thread platform on four interoperability case studies: the generic extension to REST services, to robotics through the UR family of robots, to the integration of various external databases (for data integration) and to the provision of data analytics capabilities in R.
Conference papers on the topic "Application Domani Extension"
1
Nouvel, Romain, Jean-Marie Bahu, Robert Kaden, Jerome Kaempf, Piergiorgio Cipriano, Moritz Lauster, Karl-Heinz Haefele, Esteban Munoz, Olivier Tournaire, and Egbert Casper. "Development of the CityGML Application Domain Extension Energy for Urban Energy Simulation." In 2015 Building Simulation Conference. IBPSA, 2015. http://dx.doi.org/10.26868/25222708.2015.2863.
Full text
2
Scherer, Sebastian, Robin Schön, Katja Ludwig, and Rainer Lienhart. "Unsupervised Domain Extension for Nighttime Semantic Segmentation in Urban Scenes." In 2nd International Conference on Deep Learning Theory and Applications. SCITEPRESS - Science and Technology Publications, 2021. http://dx.doi.org/10.5220/0010551500380047.
Full text
3
Scherer, Sebastian, Robin Schön, Katja Ludwig, and Rainer Lienhart. "Unsupervised Domain Extension for Nighttime Semantic Segmentation in Urban Scenes." In 2nd International Conference on Deep Learning Theory and Applications. SCITEPRESS - Science and Technology Publications, 2021. http://dx.doi.org/10.5220/0010551500002996.
Full text
4
Phan, H. T., and D. B. Hoang. "Extension of BGP to support multi-domain FICC-Diffserv architecture." In 20th International Conference on Advanced Information Networking and Applications - Volume 1 (AINA'06). IEEE, 2006. http://dx.doi.org/10.1109/aina.2006.177.
Full text
5
Liu, Anan, Shu Xiang, Wenhui Li, Weizhi Nie, and Yuting Su. "Cross-Domain 3D Model Retrieval via Visual Domain Adaption." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/115.
Full textAbstract:
Recent advances in 3D capturing devices and 3D modeling software have led to extensive and diverse 3D datasets, which usually have different distributions. Cross-domain 3D model retrieval is becoming an important but challenging task. However, existing works mainly focus on 3D model retrieval in a closed dataset, which seriously constrain their implementation for real applications. To address this problem, we propose a novel crossdomain 3D model retrieval method by visual domain adaptation. This method can inherit the advantage of deep learning to learn multi-view visual features in the data-driven manner for 3D model representation. Moreover, it can reduce the domain divergence by exploiting both domainshared and domain-specific features of different domains. Consequently, it can augment the discrimination of visual descriptors for cross-domain similarity measure. Extensive experiments on two popular datasets, under three designed cross-domain scenarios, demonstrate the superiority and effectiveness of the proposed method by comparing against the state-of-the-art methods. Especially, the proposed method can significantly outperform the most recent method for cross-domain 3D model retrieval and the champion of Shrec’16 Large-Scale 3D Shape Retrieval from ShapeNet Core55.
6
Smartt, C., C. Christopoulos, D. W. P. Thomas, and S. Greedy. "Extension of the Usable Bandwidth of Time-Domain Models through the Application of Frequency Scaling." In 9th IET International Conference on Computation in Electromagnetics (CEM 2014). Institution of Engineering and Technology, 2014. http://dx.doi.org/10.1049/cp.2014.0213.
Full text
7
Cohen, Joseph, and Jun Ni. "A Semi-Supervised Multiclass Anomaly Detection Approach for Partially Labeled In-Process Measurement Data." In ASME 2021 16th International Manufacturing Science and Engineering Conference. American Society of Mechanical Engineers, 2021. http://dx.doi.org/10.1115/msec2021-63465.
Full textAbstract:
Abstract Machine learning and other data-driven methods have developed at a prolific rate for industrial applications due to the advent of industrial big data. However, industrial datasets may not be especially well-suited to supervised learning approaches that require extensive domain knowledge in the complete and accurate labeling of datasets. To address these challenges, a semi-supervised learning approach is proposed that makes use of partially labeled subsets. The proposed methodology is applied to high-dimensional in-process measurement data, utilizing a convolutional autoencoder for unsupervised feature extraction. A multiclass extension for semi-supervised anomaly diagnosis is proposed that utilizes principal component analysis as the basis for anomaly scoring, and the proposed approach intersects the results of targeted one-against-all phases on partially labeled sets to classify faults. Experiments in a case study on semiconductor manufacturing measurement data are performed to explore the relationship between latent features extracted and anomaly detection performance. The application of the proposed algorithm achieves a true positive detection rate of over 90% with false positive rate under 9% for both local and global anomaly types, with these results accomplished while reducing over 99% of the original input data dimensions. In addition, the approach also allows for positive samples to be identified that were previously undetected by human experts. These results are promising for the application of the proposed semi-supervised methodology in real industrial settings.
8
Zhao, Yanwei, Feng Zhang, Nan Su, Huijun Tang, and Jian Chen. "A Similarity Measure Based on Extension Distance and Its Application in CBR." In ASME 2008 International Mechanical Engineering Congress and Exposition. ASMEDC, 2008. http://dx.doi.org/10.1115/imece2008-68235.
Full textAbstract:
Case-based reasoning (CBR) is an effective method that integrates reasoning methodology and represents related knowledge in a domain. The success of a CBR system largely depends on case retrieval, and the similarity and determination of weight for each case features have a significant influence on the efficiency and accuracy of case retrieval. The aim of the research is to improve the efficiency and accuracy of case retrieval. Analyzing the deficiency of similarity measures based on the classical distance, different similarity measures are proposed for different kinds of attribute values based on the extension distance, especially the similarity model between numerical and set considered the customer’s preference. The standard deviation related with the similarity is introduced to distribute the dynamic attribute’s weights which also considered the customer’s interest, but not the traditional methods that the weight is a constant if determined. The presented methods will enable the system to retrieve the more similar case correctly so that reducing case adaptation. In this study, an electric drill is used as a case to verify the usefulness and effectiveness of the similarity measurements and weight assignments. It is demonstrated that this method is more beneficial to case retrieval compared with other methods.
9
Strobach, Christoph, Klemens Lindhorst, Matthias Haupt, and Peter Horst. "EXTENSION AND APPLICATION OF A NONLINEAR REDUCED ORDER MODEL TO GUST LOAD PREDICTION IN TIME DOMAIN." In VII European Congress on Computational Methods in Applied Sciences and Engineering. Athens: Institute of Structural Analysis and Antiseismic Research School of Civil Engineering National Technical University of Athens (NTUA) Greece, 2016. http://dx.doi.org/10.7712/100016.2434.11968.
Full text
10
Win Naung, Shine, Mohammad Rahmati, and Hamed Farokhi. "Aeromechanical Analysis of Wind Turbines Using Non-Linear Harmonic Method." In ASME 2019 38th International Conference on Ocean, Offshore and Arctic Engineering. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/omae2019-96256.
Full textAbstract:
Abstract In this paper, aeromechanical analysis of wind turbines is presented. The distinctive feature of this paper is the use of frequency based non-linear harmonic method which is an efficient computational method to study unsteady periodic flow and aeroleasticity of turbomachinery applications, and extensive validation of the non-linear harmonic method against conventional time domain solution methods. This paper is an extension of the authors’ previous work which analysed the aerodynamics of the MEXICO (Model Rotor Experiments In Controlled Conditions) Experiment wind turbine. Aeromechanical analysis of the MEXICO-Experiment wind turbine as well as 1.5 MW wind turbine are conducted in this study. Both conventional time domain solution method and non-linear harmonic method are used, and compared to each other for validation and verification of the non-liner harmonic method. Using the same numerical set-up for each method demonstrates the differences and capabilities of each solution method, and their computational expenses. Finally, this paper concludes with how the aeromechanical analysis of large wind turbines can be performed effectively and efficiently using the non-linear harmonic method.
Reports on the topic "Application Domani Extension"
1
Lutz, Carsten. Interval-based Temporal Reasoning with General TBoxes. Aachen University of Technology, 2000. http://dx.doi.org/10.25368/2022.109.
Full textAbstract:
Aus der Motivation: Description Logics (DLs) are a family of formalisms well-suited for the representation of and reasoning about knowledge. Whereas most Description Logics represent only static aspects of the application domain, recent research resulted in the exploration of various Description Logics that allow to, additionally, represent temporal information, see [4] for an overview. The approaches to integrate time differ in at least two important aspects: First, the basic temporal entity may be a time point or a time interval. Second, the temporal structure may be part of the semantics (yielding a multi-dimensional semantics) or it may be integrated as a so-called concrete domain. Examples for multi-dimensional point-based logics can be find in, e.g., [21;29], while multi-dimensional interval-based logics are used in, e.g., [23;2]. The concrete domain approach needs some more explanation. Concrete domains have been proposed by Baader and Hanschke as an extension of Description Logics that allows reasoning about 'concrete qualities' of the entities of the application domain such as sizes, length, or weights of real-worlds objects [5]. Description Logics with concrete domains do usually not use a fixed concrete domain; instead the concrete domain can be thought of as a parameter to the logic. As was first described in [16], if a 'temporal' concrete domain is employed, then concrete domains may be point-based, interval-based, or both.
2
Lutz, Carsten. Adding Numbers to the SHIQ Description Logic - First Results. Aachen University of Technology, 2001. http://dx.doi.org/10.25368/2022.117.
Full textAbstract:
Recently, the Description Logic (DL) SHIQ has found a large number of applications. This success is due to the fact that SHIQ combines a rich expressivity with efficient reasoning, as is demonstrated by its implementation in DL systems such as FaCT and RACER. One weakness of SHIQ, however, limits its usability in several application areas: numerical knowledge such as knowledge about the age, weight, or temperature of real-world entities cannot be adequately represented. In this paper, we propose an extension of SHIQ that aims at closing this gap. The new Description Logic Q-SHIQ, which augments SHIQ by additional, 'concrete domain' style concept constructors, allows to refer to rational numbers in concept descriptions, and also to define concepts based on the comparison of numbers via predicates such as < or =. We argue that this kind of expressivity is needed in many application areas such as reasoning about the semantic web. We prove reasoning with Q-SHIQ to be EXPTIME-complete (thus not harder than reasoning with SHIQ) by devising an automata-based decision procedure.
3
Lutz, Carsten, and Maja Miličić. Description Logics with Concrete Domains and Functional Dependencies. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.143.
Full textAbstract:
Description Logics (DLs) with concrete domains are a useful tool in many applications. To further enhance the expressive power of such DLs, it has been proposed to add database-style key constraints. Up to now, however, only uniqueness constraints have been considered in this context, thus neglecting the second fundamental family of key constraints: functional dependencies. In this paper, we consider the basic DL with concrete domains ALC(D), extend it with functional dependencies, and analyze the impact of this extension on the decidability and complexity of reasoning. Though intuitively the expressivity of functional dependencies seems weaker than that of uniqueness constraints, we are able to show that the former have a similarly severe impact on the computational properties: reasoning is undecidable in the general case, and NExpTime-complete in some slightly restricted variants of our logic.
4
Funkenstein, Bruria, and Cunming Duan. GH-IGF Axis in Sparus aurata: Possible Applications to Genetic Selection. United States Department of Agriculture, November 2000. http://dx.doi.org/10.32747/2000.7580665.bard.
Full textAbstract:
Many factors affect growth rate in fish: environmental, nutritional, genetics and endogenous (physiological) factors. Endogenous control of growth is very complex and many hormone systems are involved. Nevertheless, it is well accepted that growth hormone (GH) plays a major role in stimulating somatic growth. Although it is now clear that most, if not all, components of the GH-IGF axis exist in fish, we are still far from understanding how fish grow. In our project we used as the experimental system a marine fish, the gilthead sea bream (Sparus aurata), which inhabits lagoons along the Mediterranean and Atlantic coasts of Europe, and represents one of the most important fish species used in the mariculture industry in the Mediterranean region, including Israel. Production of Sparus is rapidly growing, however, in order for this production to stay competitive, the farming of this fish species has to intensify and become more efficient. One drawback, still, in Sparus extensive culture is that it grows relatively slow. In addition, it is now clear that growth and reproduction are physiological interrelated processes that affect each other. In particular sexual maturation (puberty) is known to be closely related to growth rate in fish as it is in mammals, indicating interactions between the somatotropic and gonadotropic axes. The goal of our project was to try to identify the rate-limiting components(s) in Sparus aurata GH-IGF system which might explain its slow growth by studying the ontogeny of growth-related genes: GH, GH receptor, IGF-I, IGF-II, IGF receptor, IGF-binding proteins (IGFBPs) and Pit-1 during early stages of development of Sparus aurata larvae from slow and fast growing lines. Our project was a continuation of a previous BARD project and could be divided into five major parts: i) obtaining additional tools to those obtained in the previous project that are necessary to carry out the developmental study; ii) the developmental expression of growth-related genes and their cellular localization; iii) tissue-specific expression and effect of GH on expression of growth-related genes; iv) possible relationship between GH gene structure, growth rate and genetic selection; v) the possible role of the IGF system in gonadal development. The major findings of our research can be summarized as follows: 1) The cDNAs (complete or partial) coding for Sparus IGFBP-2, GH receptor and Pit-1 were cloned. Sequence comparison reveals that the primary structure of IGFBP-2 protein is 43-49% identical to that of zebrafish and other vertebrates. Intensive efforts resulted in cloning a fragment of 138 nucleotides, coding for 46 amino acids in the proximal end of the intracellular domain of GH receptor. This is the first fish GH receptor cDNA that had been cloned to date. The cloned fragment will enable us to complete the GH - receptor cloning. 2) IGF-I, IGF-II, IGFBP-2, and IGF receptor transcripts were detected by RT-PCR method throughout development in unfertilized eggs, embryos, and larvae suggesting that these mRNAs are products of both the maternal and the embryonic genomes. Preliminary RT-PCR analysis suggest that GH receptor transcript is present in post-hatching larvae already on day 1. 3) IGF-1R transcripts were detected in all tissues tested by RT-PCR with highest levels in gill cartilage, skin, kidney, heart, pyloric caeca, and brain. Northern blot analysis detected IGF receptor only in gonads, brain and gill cartilage but not in muscle; GH increased slightly brain and gill cartilage IGF-1R mRNA levels. 4) IGFBP-2 transcript were detected only in liver and gonads, when analyzed by Northern blots; RT-PCR analysis revealed expression in all tissues studied, with the highest levels found in liver, skin, gonad and pyloric caeca. 5) Expression of IGF-I, IGF-II, IGF-1R and IGFBP-2 was analyzed during gonadal development. High levels of IGF-I and IGFBP-2 expression were found in bisexual young gonads, which decreased during gonadal development. Regardless of maturational stage, IGF-II levels were higher than those of IGF-L 6) The GH gene was cloned and its structure was characterized. It contains minisatellites of tandem repeats in the first and third introns that result in high level of genetic polymorphism. 7) Analysis of the presence of IGF-I and two types of IGF receptor by immunohistochemistry revealed tissue- and stage-specific expression during larval development. Immunohistochemistry also showed that IGF-I and its receptors are present in both testicular and ovarian cells. Although at this stage we are not able to pinpoint which is the rate-limiting step causing the slow growth of Sparus aurata, our project (together with the previous BARD) yielded a great number of experimental tools both DNA probes and antibodies that will enable further studies on the factors regulating growth in Sparus aurata. Our expression studies and cellular localization shed new light on the tissue and developmental expression of growth-related genes in fish.