Search results for "Mathematical logic"
showing 10 items of 394 documents
The transition state and cognate concepts
2019
Abstract This review aims firstly to clarify the meanings of key terms and concepts associated with the idea of the transition state, as developed by theoreticians and applied by experimentalist, and secondly to provide an update to the meaning and significance of the transition state in an era when computational simulation, in which complexity is being increasingly incorporated, is commonly employed as a means by which to bridge the realms of theory and experiment. The relationship between the transition state and the potential-energy surface for an elementary reaction is explored, with discussion of the following terms: saddle point, minimum-energy reaction path, reaction coordinate, acti…
Towards Open Domain Chatbots—A GRU Architecture for Data Driven Conversations
2018
Understanding of textual content, such as topic and intent recognition, is a critical part of chatbots, allowing the chatbot to provide relevant responses. Although successful in several narrow domains, the potential diversity of content in broader and more open domains renders traditional pattern recognition techniques inaccurate. In this paper, we propose a novel deep learning architecture for content recognition that consists of multiple levels of gated recurrent units (GRUs). The architecture is designed to capture complex sentence structure at multiple levels of abstraction, seeking content recognition for very wide domains, through a distributed scalable representation of content. To …
Additively manufactured textiles and parametric modelling by generative algorithms in orthopaedic applications
2020
Purpose The purpose of this paper is to implement a new process aimed at the design and production of orthopaedic devices fully manufacturable by additive manufacturing (AM). In this context, the use of generative algorithms for parametric modelling of additively manufactured textiles (AMTs) also has been investigated, and new modelling solutions have been proposed. Design/methodology/approach A new method for the design of customised elbow orthoses has been implemented. In particular, to better customise the elbow orthosis, a generative algorithm for parametric modelling and creation of a flexible structure, typical of an AMT, has been developed. Findings To test the developed modelling a…
miRToolsGallery: a tag-based and rankable microRNA bioinformatics resources database portal
2017
Abstract Hundreds of bioinformatics tools have been developed for MicroRNA (miRNA) investigations including those used for identification, target prediction, structure and expression profile analysis. However, finding the correct tool for a specific application requires the tedious and laborious process of locating, downloading, testing and validating the appropriate tool from a group of nearly a thousand. In order to facilitate this process, we developed a novel database portal named miRToolsGallery. We constructed the portal by manually curating > 950 miRNA analysis tools and resources. In the portal, a query to locate the appropriate tool is expedited by being searchable, filterable and …
Towards Self-explanatory Ontology Visualization with Contextual Verbalization
2016
Ontologies are one of the core foundations of the Semantic Web. To participate in Semantic Web projects, domain experts need to be able to understand the ontologies involved. Visual notations can provide an overview of the ontology and help users to understand the connections among entities. However, the users first need to learn the visual notation before they can interpret it correctly. Controlled natural language representation would be readable right away and might be preferred in case of complex axioms, however, the structure of the ontology would remain less apparent. We propose to combine ontology visualizations with contextual ontology verbalizations of selected ontology (diagram) e…
FRET-based dynamic structural biology: Challenges, perspectives and an appeal for open-science practices.
2021
International audience; Single-molecule FRET (smFRET) has become a mainstream technique for studying biomolecular structural dynamics. The rapid and wide adoption of smFRET experiments by an ever- increasing number of groups has generated significant progress in sample preparation, measurement procedures, data analysis, algorithms and documentation. Several labs that employ smFRET approaches have joined forces to inform the smFRET community about streamlining how to perform experiments and analyze results for obtaining quantitative information on biomolecular structure and dynamics. The recent efforts include blind tests to assess the accuracy and the precision of smFRET experiments among d…
Defining sensory descriptors: towards writing rules based on terminology
2007
International audience; Descriptive analysis relies upon the use of sensory descriptors. They are words generally associated to a definition aimed at helping their understanding. However, the writing rules for such definitions remain implicit. The present work is a collaborative attempt from sensory analysts and linguists to get further insight into how definitions are elaborated.Definition formulations were analyzed according to linguistic criteria, syntactic (type and number of nouns, verbs and adjectives) as well as semantic ones (relations of synonymy, metaphor or analogy between the descriptors and their definitions). Such a linguistic analysis was performed on one hundred descriptor d…
What is an indirect speech act?
2019
Abstract The notion of an indirect speech act is at the very heart of cognitive pragmatics, yet, after nearly 50 years of orthodox (Searlean) speech act theory, it remains largely unclear how this notion can be explicated in a proper way. In recent years, two debates about indirect speech acts have stood out. First, a debate about the Searlean idea that indirect speech acts constitute a simultaneous realization of a secondary and a primary act. Second, a debate about the reasons for the use of indirect speech acts, in particular about whether this reason is to be seen in strategic advantages and/or observation of politeness demands. In these debates, the original pragmatic conception of sen…
Why Digital Games Can Be Advantageous in Vocabulary Learning
2021
Vocabulary learning is an integral part of language learning; however, it is difficult. Although there are many techniques proposed for vocabulary learning and teaching, researchers still strive to find effective methods. Recently, digital games have shown potentials in enhancing vocabulary acquisition. A majority of studies in digital game-based vocabulary learning (DGBVL) literature investigate the effectiveness of DGBVL tasks. In other words, there are enough answers to what questions in DGBVL literature whereas why questions are rarely answered. Finding such answers help us learn more about the structure of the DGBVL tasks and their effects on vocabulary learning. Hence, to achieve this…
Structure of Arabic Scale of Death Anxiety With Chinese College Students: A Bifactor Approach
2018
The Arabic Scale of Death Anxiety (ASDA), as one of the most widely used measures of death anxiety (DA), has increasingly been applied in many studies. However, the structures derived from different studies are highly inconsistent. In this study, both traditional and novel (bifactor) modeling approaches were used, to investigate the most optimal structure of the ASDA in a sample of 984 Chinese college students. After a series of comparisons, the results showed that the bifactor model, with a dominant general DA factor and three distinct sub-dimensions, was the most optimal measurement structure, and measurement invariance of this bifactor model between sexes was also confirmed. Based on the…