Results 41 to 50 of about 1,076,775 (291)
Budowa ontologii na potrzeby oceny jakości serwisów internetowych
Problemy Zarządzania, 2015 In the paper the conception of integration of websites quality assessment methods was formulated. In this case the authors proposed using ontologies which will be created for those methods. For building ontologies, the Methontology methodology was used.
Paweł Ziemba, Ryszard Budziński
doaj +1 more source
On the Expressive Power of Sub-Propositional Fragments of Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial ...
Davide Bresolin +2 more
doaj +1 more source
Can many-valued logic help to comprehend quantum phenomena? [PDF]
, 2014 Following {\L}ukasiewicz, we argue that future non-certain events should be described with the use of many-valued, not 2-valued logic. The Greenberger-Horne-Zeilinger `paradox' is shown to be an artifact caused by unjustified use of 2-valued logic while ...
Pykacz, Jarosław
core +3 more sources
Molecular Oncology, EarlyView.Tumors contain diverse cellular states whose behavior is shaped by context‐dependent gene coordination. By comparing gene–gene relationships across biological contexts, we identify adaptive transcriptional modules that reorganize into distinct vulnerability axes.
Brian Nelson +9 more
wiley +1 more source
The Descriptive Discourse of Ancient Arabic: The case of Abdul Hamid Al- Kateb [PDF]
دراسات في اللغة العربيّة وآدابها, 2019 This article discusses the descriptive discourse-- the subject and poetic language-- in one of the hunting diaries of Abdul Hamid Al- Kateb. The article is also concerned with the internal scheme of description as well as the specific logic of the ...
Samar Al-Dayyoub
doaj +1 more source
An ontology for software component matching [PDF]
, 2007 Matching is a central activity in the discovery and assembly of reusable software components. We investigate how ontology technologies can be utilised to support software component development.
Pahl, Claus
core +1 more source
LTL over Description Logic Axioms [PDF]
ACM Transactions on Computational Logic, 2008 Most of the research on temporalized Description Logics (DLs) has concentrated on the case where temporal operators can occur within DL concept descriptions. In this setting, reasoning usually becomes quite hard if rigid roles, i.e., roles whose interpretation does not change over time, are available.
F. Baader, S. Ghilardi, C. Lutz
openaire +4 more sources
Digital twins to accelerate target identification and drug development for immune‐mediated disorders
FEBS Open Bio, EarlyView.Digital twins integrate patient‐derived molecular and clinical data into personalised computational models that simulate disease mechanisms. They enable rapid identification and validation of therapeutic targets, prediction of drug responses, and prioritisation of candidate interventions.
Anna Niarakis, Philippe Moingeon
wiley +1 more source
Engineering Support for Handling Controller Conflicts in Energy Storage Systems Applications
Energies, 2017 Energy storage systems will play a major role in the decarbonization of future sustainable electric power systems, allowing a high penetration of distributed renewable energy sources and contributing to the distribution network stability and reliability.
Claudia Zanabria +4 more
doaj +1 more source
A teaching and support tool for building formal models of graphical user-interfaces [PDF]
, 1995 In this paper we propose the design of a tool that will allow the construction of a formal, textual description of a software system even if it has a graphical user-interface as a component.
Reeves, Steve
core +3 more sources