Results 41 to 50 of about 2,784,953 (338)
Cyber Physical Systems (CPS) has been a popular research area in the last decade. The dependability of CPS is still a critical issue, and few surveys have been published in this domain.
Peng Zhou +6 more
doaj +1 more source
POLITICAL CORRECTNESS IN BUSINESS COMMUNICATION [PDF]
In a world increasingly trying to erase past inequalities and discriminations, words must communicate intent as much as ideas. We live in politically correct cultures, where unspoken rules of respectability govern conduct in cross-cultural interactions ...
Anamaria-Mirabela Pop, Monica-Ariana Sim
doaj
Future-based Static Analysis of Message Passing Programs [PDF]
Message passing is widely used in industry to develop programs consisting of several distributed communicating components. Developing functionally correct message passing software is very challenging due to the concurrent nature of message exchanges ...
Blom, Stefan +2 more
core +4 more sources
ΜΕΤΡΟΝ, ΜΕΤΡΙΟΝ, ΜΕΤΡΙΟΤΗΣ. Early Greek Concepts of Measure
Submitted article presents a variety of the concept of measure in the early Greek investigations of nature, development of ethical and political structures, fundamental norms of the arts and crafts, and conclusively, searches for understanding of the ...
Aleksandra Mathiesen
doaj +1 more source
Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control [PDF]
This paper develops a control approach with correctness guarantees for the simultaneous operation of lane keeping and adaptive cruise control. The safety specifications for these driver assistance modules are expressed in terms of set invariance. Control
Xiangru Xu +3 more
semanticscholar +1 more source
Structural and Symbolic Information in the Context of the General Theory of Information
The general theory of information, which includes syntactic, semantic, pragmatic, and many other special theories of information, provides theoretical and practical tools for discerning a very large diversity of different kinds, types, and classes of ...
Mark Burgin, Rainer Feistel
doaj +1 more source
Political Correctness and the Obfuscation of Politics
During the PC spasm last year I was talking regularly with friends on the board of this magazine, with colleagues at Wesleyan planning for cultural studies there, and with a group of left academics from colleges and universities in southern ...
Richard Ohmann
doaj +1 more source
Polynomial-Time Fence Insertion for Structured Programs [PDF]
To enhance performance, common processors feature relaxed memory models that reorder instructions. However, the correctness of concurrent programs is often dependent on the preservation of the program order of certain instructions.
Lesani, Mohsen +2 more
core +1 more source
Split-Correctness in Information Extraction [PDF]
Programs for extracting structured information from text, namely information extractors, often operate separately on document segments obtained from a generic splitting operation such as sentences, paragraphs, k-grams, HTTP requests, and so on.
J. Doleschal +4 more
semanticscholar +1 more source
ABSTRACT Objectives To identify predictors of chronic ITP (cITP) and to develop a model based on several machine learning (ML) methods to estimate the individual risk of chronicity at the timepoint of diagnosis. Methods We analyzed a longitudinal cohort of 944 children enrolled in the Intercontinental Cooperative immune thrombocytopenia (ITP) Study ...
Severin Kasser +6 more
wiley +1 more source

