In recent years some papers have addressed the problem of the validity in Intuitionistic Propositional Logic (IPL) using the approach proposed by Claessen and Rosén based on reduction to ...Satisfiability Modulo Theories. This approach depends on an initial preprocessing phase that reduces the input formula in the intuitionistic language to an equivalent sequent in the language of clauses. In this paper we present general clauses, an extension of the clauses used by Claessen and Rosén, that allow us to define a natural relationship between the semantics of the extended clauses and Kripke semantics. We present a decision procedure for general clauses and we show how to encode intuitionistic formulas in the language of general clauses so to decide IPL. The experimental results show that our implementation in general outperforms the state-of-the-art provers for IPL. In principle general clauses can be used as a target language for other non-classical logics with Kripke semantics, so that our decision procedure can be used to decide them.
Distributional semantics embodies the idea that the context in which a word occurs reveals the meaning of that word. In contemporary corpus linguistics, that idea takes shape in various types of ...quantitative context analysis. This monograph explores how count-based token-level semantic vector spaces, as an advanced form of such a quantitative methodology, can be applied to the study of polysemy, lexical variation, and lectometry. What can distributional models reveal about meaning? How can they be used to analyse the semantic relationship between near-synonyms? And how can they contribute to the study of lexical variation as a sociolinguistic variable? The book details the conceptual background of lexical semantic and lexical variation research, explains the mechanism of distributional modelling, and introduces distributional workflows and corpus linguistic tools to answer the questions. Combining a cognitive linguistic interest in meaning with a sociolinguistic interest in variation, it illustrates that distributional methodology with case studies on Dutch and Spanish lexical data, focusing on the value of distributional models for semantic analysis, the interaction of semasiological and onomasiological change, and sociolinguistic issues of lexical standardization and pluricentricity.
It is known, the phenomenon of intensification, first of all, is manifested in direct connection with the thing in existence, the movement of events, the state. For example, the blowing of the wind ...and its transformation into a storm and a flood; heavy rain, i.e. torrent, hail; temperature cooling, heating, heating; such as slow, steady, fast movement of vehicles. It can also be felt in such cases as the intensive development of agriculture and production, the intensive course of teaching a certain subject. In this article the author analizes the relationship of the semantics of intensification to related categories such as: gradation, expressiveness, emotionality, assessment, imagery and emphasis and tries to show their allomorph and isomorph features. Keywords: intensification, gradation, expressiveness, emotionality, assessment, imagery, emphasis, allomorph and isomorph features
Hardware software cooperation is one of the effective methods for the design of mixed criticality system, which realize resource isolation by necessary hardware semantics, and ensure that different ...critical tasks meet time constraints based on efficient thread scheduling. Based on a fine-grained multithreaded processor FlexPRET, this paper designs and implements some temporal instruction extensions, and realizes relevant supports in the processor and compiler respectively, so that the program can describe the timing constraint semantics of the worst-case execution time. Experiments show that the extended instructions can provide users with more accurate timing control.
Raziskovalno vprašanje (RV): Kateri so ključni dejavniki, ki vplivajo na trajnostno ravnanje z neporabljenimi zdravili? Namen: Namen raziskave je bil opraviti sistematičen pregled dosedanjih ...empiričnih raziskav o dejavnikih, ki vplivajo na trajnostno ravnanje z neporabljenimi zdravili v gospodinjstvih. Metoda: Opravili smo pregled empiričnih raziskav. Pregledali smo baze ProQuest, Semantic scholar, Google scholar, Springer Link in Pubmed. Rezultati: Ugotovili smo, da so avtorji raziskav trajnostnega ravnanja z zdravili kot ključne dejavnike, ki vplivajo na namero za ravnanje največkrat izpostavili osebne okoliščine (znanje, ozaveščenost, priročnost recikliranja). Pomembna sta tudi finanční in zdravstveni vidik trajnostnega ravnanja. Namera za ravnanje je najbolj proksimalen napovedni dejavnik za ravnanje. Med preučevanimi znanstvenimi deli smo ugotovili, da avtorji v nobeni empirični raziskavi niso zajeli vseh dejavnikov, ki bi vplivali na trajnostno ravnanje. Prevladujoči metodi raziskav za pridobivanje podatkov sta bili anketiranje preko vprašalnikov ter izvedba intervjujev, za analizo podatkov pa opisna statistika. Organizacija: S predstavitvijo različnih dejavnikov na področju trajnostnega ravnanja so izpostavljeni najpomembnejši izzivi, ki se tičejo izobraževanja, ozaveščanja, nadzora nad trajnostnim ravnanjem z neporabljenimi zdravili. Na podlagi tega imajo deležniki v teh procesih priložnost preučevati trajnostno ravnanje z neporabljenimi zdravili in prepoznati morebitne priložnosti za izboljšanje. Družba: Racionalna raba zdravil je bistvena za zagotovitev varnosti zdravil v skupnosti. Posamezniki potrebujejo informacije ter nova znanja o tem, kako trajnostno ravnati z neporabljenimi zdravili. Zavedanje o negativnih učinkih napačne rabe neporabljenih zdravil se povečuje, vsi porabniki zdravil pa lahko prispevajo k trajnostnemu ravnanju z neporabljenimi zdravili. Originalnost: Raziskava je pokazala pomanjkanje raziskave v Sloveniji, ki bi raziskovala trajnostno ravnanje z neporabljenimi zdravili, posebej v povezavi s sociopsihološkimi modeli. Omejitve/nadaljnje raziskovanje: Pregled literature je bil omejen na pet javno dosegljivih baz podatkov. Glede na prepoznane raziskovalne predloge oziroma zaznane vrzeli bi kvantitativna raziskava dejavnikov za trajnostno ravnanje z zdravili prispevala k novim znanjem na tem področju.
Review of Jiménez Aguirre, Gustavo y Enríquez Hernández, Gabriel M. (coords.) (2022). Una selva tan infinita. Teoría de la novela corta: deslindes y reflexiones, vol. v. Edición de Elsa R. Brondo y ...José Cardona-López. Reseña de Jiménez Aguirre, Gustavo y Enríquez Hernández, Gabriel M. (coords.) (2022). Una selva tan infinita.Teoría de la novela corta: deslindes y reflexiones, vol. v. Edición de Elsa R. Brondo y José Cardona-López.
Scientific papers are an important form for researchers to summarize and display their research results. Information mining and analysis of scientific papers can help to form a comprehensive ...understanding of the subject. Aiming at the ignorance of contextual semantic information in current topic mining and the uncertainty of screening rules in association evolution research, this paper proposes a topic mining evolution model based on the BERT-LDA model. First, the model combines the contextual semantic information learned by the BERT model with the word vectors of the LDA model to mine deep semantic topics. Then construct topic filtering rules to eliminate invalid associations between topics. Finally, the relationship between themes is analyzed through the theme evolution, and the complex relationship between the themes such as fusion, diffusion, emergence, and disappearance is displayed. The experimental results show that, compared with the traditional LDA model, the topic mining evolution model based on BERTLDA can accurately mine topics with deep semantics and effectively analyze the development trend of scientific and technological paper topics.