Results 241 to 250 of about 2,040,340 (300)
Some of the next articles are maybe not open access.
ACM SIGLOG News, 2022
For the Automata Theory Column, we have an article by B. Srivathsan on the reachability problem in timed automata. Ever since timed automata were introduced by Alur and Dill, they have been widely used in the verification of real-time systems. Their appeal comes from a simple definition that couples expressiveness with computational tractability.
openaire +2 more sources
For the Automata Theory Column, we have an article by B. Srivathsan on the reachability problem in timed automata. Ever since timed automata were introduced by Alur and Dill, they have been widely used in the verification of real-time systems. Their appeal comes from a simple definition that couples expressiveness with computational tractability.
openaire +2 more sources
ACM SIGLOG News, 2022
Descriptive complexity theory initiated by celebrated Fagin's theorem aims to characterize complexity classes by the kind of logic necessary to express problems in the class. For many complexity classes such a characterization has been found; this includes the class NP that, according to Fagin's theorem, can be characterized by the monadic second order
openaire +3 more sources
Descriptive complexity theory initiated by celebrated Fagin's theorem aims to characterize complexity classes by the kind of logic necessary to express problems in the class. For many complexity classes such a characterization has been found; this includes the class NP that, according to Fagin's theorem, can be characterized by the monadic second order
openaire +3 more sources
Column Overload in PLOT Columns
LCGC North America, 2022Injecting too much sample onto a chromatographic system will eventually overload the column. Analytical chemists are concerned about column overloading because it reduces column efficiency, and, as a result, the resolution is sacrificed. Surprisingly, there is little data in the literature about the overloading of the porous layer open tubular (PLOT ...
Katarina Oden, Jaap de Zeeuw
openaire +1 more source
Effect of Column Pressure on Column Efficiency
Nature, 1964IN a recent communication given by Amos and Hurrell1, the authors stated that it was difficult to obtain high efficiencies or adequate resolving power, when packed 0.25-in. external diameter (4 mm internal diameter) analytical chromatographic columns were used in association with thermal conductivity detectors.
I A, FOWLIS, R J, MAGGS, T E, YOUNG
openaire +2 more sources
Clinics in Podiatric Medicine and Surgery, 2020
Lower extremity biomechanics is the cornerstone of podiatric medicine and surgery. The foot and ankle act as the interface between the ground and proximal segments, mediating internal and external moments Although the medial longitudinal arch has been widely researched, the details of the lateral longitudinal arch are less extensively delineated.
Beth, Jarrett +2 more
openaire +2 more sources
Lower extremity biomechanics is the cornerstone of podiatric medicine and surgery. The foot and ankle act as the interface between the ground and proximal segments, mediating internal and external moments Although the medial longitudinal arch has been widely researched, the details of the lateral longitudinal arch are less extensively delineated.
Beth, Jarrett +2 more
openaire +2 more sources
ACM SIGLOG News, 2023
Many verification problems can be formulated as a language inclusion problem where the task is to decide whether the language of the system model (given by the runs of the system) is contained in the language induced by a logical specification. The corresponding verification problem for non-functional properties is the quantitative inclusion problem ...
openaire +1 more source
Many verification problems can be formulated as a language inclusion problem where the task is to decide whether the language of the system model (given by the runs of the system) is contained in the language induced by a logical specification. The corresponding verification problem for non-functional properties is the quantitative inclusion problem ...
openaire +1 more source
2013
The stability phenomenon of a structure is defined by its state of equilibrium. The equilibrium of a designed structure is stable if small imperfections or defects will cause correspondingly small deviations from the idealized operating condition.
openaire +1 more source
The stability phenomenon of a structure is defined by its state of equilibrium. The equilibrium of a designed structure is stable if small imperfections or defects will cause correspondingly small deviations from the idealized operating condition.
openaire +1 more source