Results 81 to 90 of about 48,609 (342)
Representing Hybrid Automata by Action Language Modulo Theories
, 2017 Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them.
Lee, Joohyung +2 more
core +1 more source
Arthritis Care &Research, Accepted Article.Objective We developed a novel EHR sidecar application to visualize key rheumatoid arthritis (RA) outcomes, including disease activity, physical function, and pain, via a patient‐facing graphical interface designed for use during outpatient visits (“RA PRO dashboard”).
Gabriela Schmajuk +16 more
wiley +1 more source
Adaptive Intelligent Tutoring System for learning Computer Theory [PDF]
, 2017 In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool.
Abu Naser, Samy S. +1 more
core
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Streamability of nested word transductions [PDF]
Logical Methods in Computer Science, 2019 We consider the problem of evaluating in streaming (i.e., in a single left-to-right pass) a nested word transduction with a limited amount of memory. A transduction T is said to be height bounded memory (HBM) if it can be evaluated with a memory that ...
Emmanuel Filiot +3 more
doaj +1 more source
Quotient Complexity of Regular Languages [PDF]
, 2009 The past research on the state complexity of operations on regular languages is examined, and a new approach based on an old method (derivatives of regular expressions) is presented.
A. N. Maslov +35 more
core +3 more sources
Advanced Materials Technologies, EarlyView.This manuscript describes the design and validation of an innovative melt electrowriting printer. With a turntable collector and modular software architecture, it unifies previous advanced MEW printer capabilities and enhances adaptability for a wide range of research applications.
Timo Baroth +3 more
wiley +1 more source
Regular Separability of One Counter Automata [PDF]
Logical Methods in Computer Science, 2019 The regular separability problem asks, for two given languages, if there exists a regular language including one of them but disjoint from the other.
Wojciech Czerwiński, Sławomir Lasota
doaj +1 more source
Advanced Materials Technologies, EarlyView.Modeling the blood–brain tumor barrier is challenging due to complex interactions between brain microvasculature and glioma cells. We present two‐photon polymerized 3D micro‐porous capillary‐like structures that support endothelial alignment, cytoskeletal organization, and pericyte‐endothelial‐glioma tri‐cultures.
Nastaran Barin +9 more
wiley +1 more source
Advanced Photonics Research, EarlyView.This review highlights recent advances in accelerating luminescence in nanostructures through cooperative emission, resonator coupling, and nonlocal light–matter interactions. By unifying concepts such as excitonic superradiance, superfluorescence, and the plasmonic Purcell effect, it reveals physical limits of ultrafast emission and their potential ...
Masaaki Ashida +3 more
wiley +1 more source