Journal articles on the topic 'Usage constraint inference'

Modern causal analysis involves two major tasks, discovery and identification. The first aims to learn a causal structure compatible with the available data, the second leverages that structure to estimate causal effects. Rather than performing the two tasks in tandem, as is usually done in the literature, we propose a symbiotic approach in which the two are performed simultaneously for mutual benefit; information gained through identification helps causal discovery and vice versa. This approach enables the usage of Verma constraints, which remain dormant in constraint-based methods of discovery, and permit us to learn more complete structures, hence identify a larger set of causal effects than previously achievable with standard methods.

Embedded Convolutional Neural Networks (ConvNets) are driving the evolution of ubiquitous systems that can sense and understand the environment autonomously. Due to their high complexity, aggressive compression is needed to meet the specifications of portable end-nodes. A variety of algorithmic optimizations are available today, from custom quantization and filter pruning to modular topology scaling, which enable fine-tuning of the hyperparameters and the right balance between quality, performance and resource usage. Nonetheless, the implementation of systems capable of sustaining continuous inference over a long period is still a primary source of concern since the limited thermal design power of general-purpose embedded CPUs prevents execution at maximum speed. Neglecting this aspect may result in substantial mismatches and the violation of the design constraints. The objective of this work was to assess topology scaling as a design knob to control the performance and the thermal stability of inference engines for image classification. To this aim, we built a characterization framework to inspect both the functional (accuracy) and non-functional (latency and temperature) metrics of two ConvNet models, MobileNet and MnasNet, ported onto a commercial low-power CPU, the ARM Cortex-A15. Our investigation reveals that different latency constraints can be met even under continuous inference, yet with a severe accuracy penalty forced by thermal constraints. Moreover, we empirically demonstrate that thermal behavior does not benefit from topology scaling as the on-chip temperature still reaches critical values affecting reliability and user satisfaction.

Transferring data from a sensor or monitoring device in electronic health, vehicular informatics, or Internet of Things (IoT) networks has had the enduring challenge of improving data accuracy with relative efficiency. Previous works have proposed the use of an inference system at the sensor device to minimize the data transfer frequency as well as the size of data to save network usage and battery resources. This has been implemented using various algorithms in sampling and inference, with a tradeoff between accuracy and efficiency. This paper proposes to enhance the accuracy without compromising efficiency by introducing new algorithms in sampling through a hybrid inference method. The experimental results show that accuracy can be significantly improved, whilst the efficiency is not diminished. These algorithms will contribute to saving operation and maintenance costs in data sampling, where resources of computational and battery are constrained and limited, such as in wireless personal area networks emerged with IoT networks.

The Semantic Web and Internet of Things visions are converging toward the so-called Semantic Web of Things (SWoT). It aims to enable smart semantic-enabled applications and services in ubiquitous contexts. Due to architectural and performance issues, it is currently impractical to use existing Semantic Web reasoners. They are resource consuming and are basically optimized for standard inference tasks on large ontologies. On the contrary, SWoT use cases generally require quick decision support through semantic matchmaking in resource-constrained environments. This paper presents Mini-ME, a novel mobile inference engine designed from the ground up for the SWoT. It supports Semantic Web technologies and implements both standard (subsumption, satisfiability, classification) and non-standard (abduction, contraction, covering) inference services for moderately expressive knowledge bases. In addition to an architectural and functional description, usage scenarios are presented and an experimental performance evaluation is provided both on a PC testbed (against other popular Semantic Web reasoners) and on a smartphone.

We identify structural vector autoregressions using narrative sign restrictions. Narrative sign restrictions constrain the structural shocks and/or the historical decomposition around key historical events, ensuring that they agree with the established narrative account of these episodes. Using models of the oil market and monetary policy, we show that narrative sign restrictions tend to be highly informative. Even a single narrative sign restriction may dramatically sharpen and even change the inference of SVARs originally identified via traditional sign restrictions. Our approach combines the appeal of narrative methods with the popularized usage of traditional sign restrictions. (JEL C32, E52, Q35, Q43)

This article investigates the emergence and early use of possessive havegot in English. Two hypotheses about its emergence are tested on historical data (c.1460–1760). One hypothesis is based on communicative functionality, suggesting that got was inserted as a ‘pattern preserver’ to compensate for the increased reduction of have. The other hypothesis invokes the conventionalization of an invited inference, thus a (non-functional) semantic shift which does not immediately serve to support a communicative function. The diachronic evidence is found to support only the latter hypothesis.In the second part the early stage of the variation of have and havegot is investigated (c.1720–50). The results show a strong register difference, but also a division of labour between the variants that can be explained by the syntactic and semantic properties of havegot as having emerged out of a present perfect of get. Thus, the variation is organized in a functionally motivated way.It is concluded that in the development of possessive havegot functional constraints apply to the variation early on, but do not play an evident role in the emergence of the new variant. This suggests that functional motivations are a directing force but not necessarily a driving force in language change.

Over the last two decades, with the increase in both numbers of participating jurisdictions and media attention, international large-scale assessments (ILSAs) have come to play a more salient role in global education policies than they once did. This has led to calls for greater transparency with regard to instrument development and closer scrutiny of the use of instruments in education policy. We begin with a brief review of the history of ILSAs and describe the requirements and constraints that shape ILSA design, implementation, and analysis. We then evaluate the rationales of employing ILSA results for different purposes, ranging from those we argue are most appropriate (comparative description) to least appropriate (causal inference). We cite examples of ILSA usage from different countries, with particular attention to the widespread misinterpretations and misuses of country rankings based on average scores on an assessment (e.g., literacy or numeracy). Looking forward, we offer suggestions on how to enhance the constructive roles that ILSAs play in informing education policy.

Constrained investigation on the utilization of complementary alternative medicine (CAM) among patients with diabetes mellitus (DM), especially in essential - care settings. This investigation looks to comprehend the commonness, types, consumptions, dispositions, convictions, and impression of CAM use among patients with DM visiting outpatient diabetic facility. use of CAM has increment lately. We assessed the augmentation CAM utilization by patients with diabetes mellitus; in spite of constrained proof bases. The point of this study was to decide the CAM use among individuals with analyzed diabetes mellitus at diabetic facility at Azadi Teaching Hospital. Prospective descriptive cross sectional study; up close and personal meeting poll and self-directed unknown study techniques to get results from 417 patients who were going to Azadi teaching hospital at Kirkuk city/Iraq. The information was analyzed by usage cross-tabulation analysis (X2 test). P value of 0.05 or less is medically significant. Therefor; about Of 417 members were overviewed, around two third of them utilized some type of CAM treatments were the most widely recognized modalities. The consequences of a strategic relapse examination demonstrated that the parallel use design was most clear in the gatherings matured more than 40. Likewise, numerous sociodemographic and wellbeing related qualities are identified with the examples of the parallel utilization of CAM.At end, utilization of CAM especially biologically base CAM treatments is normal and is bound to be utilized by those with diabetes mellitus. it is as yet lacking the proof to reach complete inference about the adequacy of individual herbs and enhancements for diabetes; be that as it may, they are seem, by all accounts, to be commonly sheltered. The accessible information recommend that few enhancements might be warrant further examination

Abstract. This paper presents a novel approach for cyber-physical network control. "Cyber-physical" refers to the inclusion of different parameters and information sources, ranging from physical sensors (e.g. energy, temperature, light) to conventional network information (bandwidth, delay, jitter, etc.) to logical data providers (inference systems, user profiles, spectrum usage databases). For a consistent processing, collected data is represented in a uniform way, analyzed, and provided to dedicated network management functions and network services, both internally and, through an according API, to third party services. Specifically, in this work, we outline the design of sophisticated energy management functionalities for a hybrid wireless mesh network (WLAN for both backhaul traffic and access, GSM for access only), disposing of autonomous energy supply, in this case solar power. Energy consumption is optimized under the presumption of fluctuating power availability and considerable storage constraints, thus influencing, among others, handover and routing decisions. Moreover, advanced situation-aware auto-configuration and self-adaptation mechanisms are introduced for an autonomous operation of the network. The overall objective is to deploy a robust wireless access and backbone infrastructure with minimal operational cost and effective, cyber-physical control mechanisms, especially dedicated for rural or developing regions.

Workpiece location is critical to efficiently plan actions downstream in manufacturing processes. In labor-intensive heavy industries, like construction and shipbuilding, multiple stakeholders interact, stack and move workpieces in the absence of any system to log such actions. While track-by-detection approaches rely on sensing technologies such as Radio Frequency Identification (RFID) and Global Positioning System (GPS), cluttered environments and stacks of workpieces pose several limitations to their adaptation. These challenges limit the usage of such technology to presenting the last known position of a workpiece with no further guidance on a search strategy. In this work we show that a multi-hypothesis tracking approach that models human reasoning can provide a search strategy based on available observations of a workpiece. We show that inventory tracking problems under uncertainty can be approached like probabilistic inference approaches in localization to detect, estimate and update the belief of the workpiece locations. We present a practical Internet-of-Things (IoT) framework for information collection over which we build our reasoning. We also present the ability of our system to accommodate additional constraints to prune search locations. Finally, in our experiments we show that our approach can provide a significant reduction against the conventional search for missing workpieces, of up to 80% in workpieces to visit and 60% in distance traveled. In our experiments we highlight the critical nature of identifying stacking events and inferring locations using reasoning to aid searches even when direct observation of a workpiece is not available.

I Guess Korean Has Some More Mirative Markers: -Napo- and -Nmoyang- The aim of this paper is to shed light on the semantics of some newly discovered Korean evidential markers -napo- and -n moyang- and to discuss their underlying cognitive mechanism by investigating their functional similarities and differences. 1. PHENOMENA IN FOCUS. The markers, to begin with, are inferential evidential markers; as shown in (2)-(3), they indicate that the speaker infers that the event referred to occurs based on her own observation: (1) cip-ey koyangi-ka iss-e [an utterance without the markers] house-Loc cat-Nom be-Ending “There is a cat in the house.” (2) [After finding a cat’s footprints around the door,] a. cip-ey koyangi-ka iss-napo-a Lit. See whether there is a cat house-Nom cat-Nom be-napo-Ending in the house. b. cip-ey koyangi-ka iss-nu-n moyang-i-a Lit. It is a shape (=situation) that house-Nom cat-Nom be-Pres-n moyang-cop-Ending there is a cat in the house. “(I can infer that) It seems that there is a cat in the house.” (3) [Seeing that the addressee’s pants is wet,] a. pakk-ey pi-ka o-napo -a Lit. See whether it rains outside outside-Loc rain-Nom come-napo-Ending b. pakk-ey pi-ka o-nu-n moyang-i-a Lit. It is a shape (=situation) that outside-Loc rain-Nom come-Pres-n moyang-cop-Ending it rains outside.” “(I can infer that) It seems that it rains outside.” The evidential markers, however, are intriguing in that they can function as a mirative evidential (DeLancey 1997): (2) and (3) sometimes indicate unexpected information, even when the speaker has direct visual access to the information. For instance, (2a-b) should be used in a context where the speaker does not have a cat in her house, whereas the cat in (1) can be specific; (3a-b) can be used in a context where the interlocutors have not known that it was raining and where the speaker who discovered it first let the addressee know. Notice that the marker’s unique semantics is also employed as a politeness strategy to hedge the speaker’s assertiveness for politeness: In (4), even though she knows that the event referred to is a fact, the speaker pretends not to know it in front of her senior: (4) [A student explaining what happened the previous night to her advisor, who was too drunk to remember anything,] ecey sensayingnim-kkeyse manhi chwiha-si-ess-*(napo-/-te-n moyang-i)e-yo. yesterday teacher-Nom [Hon] much be.drunk-Hon-Past-napo-/retro-n moyang-cop)Ending-Hon “(I can infer that) It seems that you were drunk too much.” 2. BACKGROUNDS. Most Korean linguists apparently regard the category of evidentiality as a redundant category due to its functional overlapping with mood, since there are more than a few cases where each of evidentiality and epistemic modality induces inferences about the other and since Korean has an elaborate mood system that can cover some of the territory of evidentiality (hinted by Y.-K. Ko 2007; inter alia), on the one hand. On the other hand, there are a number of linguists, (Kwon 2009, J.-M. Song, 2002, K.-S. Chung 2005, inter alia) who assume that the category of evidentiality definitely exists in Korean and focus on some of the evidential markers case by case. This paper will not treat this controversy any further, but it seems clear that the category of evidentiality is conceptually salient, and cross-linguistically pervasive. Meanwhile, it is surprising that most of studies on evidentials in Korean only concentrate on an individual item and that there has not been a comprehensive work outlining the overall picture of the overall system of evidentiality in Korean (cf. K.-S. Chung 2005). My long-term goal is to figure out the overall system of evidentiality in Korean and to characterize the semantic/pragmatic properties of the markers thoroughly. This paper focuses on the two inferential evidential markers -napo and –nmoyang among them. These markers have not been thoroughly discussed in previous literature. To explore their semantic and pragmatic properties would be of particular interest, since their extended properties are inherited from their original constructions (to be discussed in section 3) where elaborate pragmatic inferences are involved. 3. ANALYSES. This paper argues that the semantics of the markers converges from two different origins (-na ‘whether’ and po- ‘see’ > -napo-; -n relativizer and -moyang- ‘shape’> -nmoyang-), because the speaker employs different intersubjective pragmatic tactics that converge into a single function: to draw the addressee’s attention to what the speaker inferred. The original constructions can be shown as follows: (7)a. Chelswu-ka (o-na po-a /b. o-n moyang-i-a) Chelswu-Nom come-whether see-Decl come-Relativizer shape-Cop-Decl. “See whether Chelswu is coming.” The pragmatics underlying the original structure of the -napo construction is that he speaker urges the addressee to confirm what the speaker conjectures, on the one hand. On the other hand, -nmoyang is originally used in contexts where the speaker intends to describe a situation from a certain epistemic distance, which implies that the speaker has some level of knowledge of the focal event. The difference in their original constructions results in subtle functional difference of their grammaticalized forms. SUBJECT CONSTRAINTS. Other than by showing their functions, there is another supporting evidence that the markers are evidentials: they show an intriguing asymmetry in subject usages in utterances that employ either of the markers, as Aikhenvald and Dixon (2003: 16) noted that “[E]videntiality systems often interact with the grammatical person of the subject or experience.” If the markers show limitations on first person subject usages, then their evidential function requires that the speaker’s inference be based on her objectified observation, which yields asymmetry between usages involving first person subjects and those with non-first person subjects: (8) a. ku (?nay)-ka hakkyo-ey ka-ess-napo-a He(?I)-Nom school-Loc go-Past-napo-Decl b. ku (?nay)-ka hakkyo-ey ka-nmoyang-i-a He(?I)-Nom school-Loc go-nmoyang-Cop-Decl “(I can infer that) It seems that he (I?) went to school” The markers presuppose that the event referred to in the utterance is based on the speaker’s inference. It is also implicated that the speaker is not certain about the information. But, people are normally aware of their own conscious, volitional actions such as going to school. In this context, if the speaker mentioned what she had done with either of the inferential markers, it would be contradictory: Since the mode of access that the indirect evidential encodes is not direct, the inferential evidential conflicts with the direct access that a first person subject usually has with respect to her own past actions. This is a typical characteristic of evidentials. MIRATIVITY. The inferential evidential markers -napo and -nmoyang are also licensed in context where the speaker intends to express the unexpectedness of the focal event. As Delancey (1997, 1999) noted, there is a kind of evidential that encodes/implicates the ‘unprepared mind’ of the speaker, which is a mirative evidential, and this paper argues that the two inferential markers are extended to be used as such function: (9) cip-ey koyangi-ka iss-e house-Loc cat-Nom be-Decl “There is a cat in the house.” [an unidentified cat or a pet cat] (10)a. cip-ey koyangi-ka iss-napo-a house-Loc cat-Nom be-napo-Decl b. cip-ey koyangi-ka iss-nu-nmoyang-a house-Loc cat-Nom be-Imperf-nmoyang-Decl “(Oh) Wow, there is a cat in the house.” [an unidentified cat] We can see that in (10), the cat should not be a pet cat that is already identifiable to the speaker, whereas (9) could refer to either a specific or a non-specific cat. In sum, considering the given examples above that are not prototypical examples that show inferential semantics, we can learn that markers -napo and -nmoyang can encode mirativity as well as inferential evidential semantics. POLITENESS TACTIC. The markers can be used in a politeness strategy neutralizing the speaker’s assertiveness: (11) [When a bartender politely tells a drunken customer, who is demanding more drinks, to stop drinking and to go home] a. cip-ey ka-si-e-yacyo. manhi chwiha-si-ess-#(napo-)e-yo. home-Loc go-Hon-Decl-Hon.end much be.drunk-Hon-Past-napo-Decl-Hon b. cip-ey ka-si-e-yacyo. manhi chwiha-si-#(nmoyang-i)e-yo. home-Loc go-Hon-Decl-Hon.end much be.drunk-Hon-nmoyang-Cop-Decl-Hon “You should get yourself going home. (It seems that) You’re very drunk.” [Koreterm #3643] The utterances would have been rude, without the markers -napo and -nmoyang. The utterances involve the speaker’s pragmatic tactic of flouting: although the bartender has perceived the customer’s obvious drunken state, he pretends not to have directly perceived what is referred to and also pretends to indirectly infer it from some other evidence. It is noted that again, this usage of the marker is not prototypical inferential marking: The speaker has observed it, she has certainty about the information, and thus, its inferential marking function is not needed, logically speaking. Part of the pragmatic tactics involved is related to the markers’ inferential function and the other part of it is related to the markers’ mirative function. That is, in case of (11), the speaker should not assert directly that her customer is drunk, since otherwise, the utterance will threaten her customer’s face. Thus, the speaker employs either of the inferential markers in order to distance herself from the focal event, i.e., in order to pretend not to know what she observed, as if she had not perceived the scene directly. Also, the speaker employs it as if she had just recognized that her customer is drunk. The shorter the period of time during which the customer has been “obviously” drunk, the less face threat is involved in telling the customer about it. 4. DISCUSSION. So far, it has been shown that inferential evidential markers -napo- and -nmoyang- are distributed in a similar way and that even their extended functions, such as implicating mirativity and giving a rise to politeness reading, are similar to each other. SUBTLE FUNCTIONAL DIFFERENCE. Nevertheless, the markers carry subtly different degrees of the speaker’s attitude towards novelty of the information that is talked about. For instance, -napo can encode the speaker’s urgency towards the focal event, whereas -nmoyang encodes the speaker’s controlled and calm emotional state towards the focal event: (12) [While sleeping, hearing that someone has come in, the speaker is scared and says to her husband] a. totwuk-i tul-ess-napo-a thief-Nom come.in-Past-napo-Decl b.?? totwuk-i tul-unmoyang-i-a thief-Nom come.in-nmoyang-Cop-Decl “(I can infer that) It seems that a thief broke into our place.” In brief, in order for -nmoyang to be licensed, the speaker will keep a relatively farther cognitive distance toward the focal event, as if the speaker had observed the event very objectively as a third party. In contrast, -napo is likely to encode the speaker’s urgent attitude toward the target event. DISTANCING STRATEGY. In a number of cases, it is not easy to choose exactly one of these functions as the relevant one in context. This might implicate that the three functions in context are compatible with each other and thus, entangled conceptually. Here is an example show the entangled functions of the markers: (13) [The speaker is scheduled to meet her friend, but she feels sick. She feels sorry about not being able to keep the promise and tries to apologize to her friend, saying,] nay-ka aphu-{n-kapo/nmoyang-i}-a I-Nom be.sick-{Conn-napo/nmoyang-Cop}-Decl “(I can infer that) It seems that I’m sick.” Literally, the speaker expresses a guess about her own internal state. Notice that first person subject is used with either of the markers. This is possible, first, because she does not want to take responsibility for the consequence of her illness—canceling the appointment. If no evidential marker is used, the transfer of the information is direct and the fact that the speaker is sick will be directly vouched for by the speaker, which might yield an assertive reading. In (13), the speaker is less assertive and thus, avoids direct responsibility. Second, the markers allow the speaker to express the unexpectedness of the information. And obviously an unexpected problem is a better excuse for inability to keep a promise. In brief, (13) includes all the functions mentioned above: The speaker employs an inferential evidential construction in a context where it is not only a prototypical inferential statement, but also a mirative statement, which is further used as a politeness strategy. The cognitive mechanisms underlying the multiple usages of the markers stem from the speaker’s effort to distance herself from the event in question, exploiting the indirective semantics of the markers. 5. CONCLUSION. This paper argues that the markers -napo and -nmoyang are to be regarded as evidentials, by looking into their basic properties and extended properties. Specifically, they are inferential markers, which encode the speaker’s inference based on observed entities, properties, or relations. It was also shown that the markers can encode a mirative function that marks unexpectedness or unpreparedness to the speaker’s mind. Moreover, the markers are intentionally employed in a politeness strategy. This strategic indirectness derives from their inferential and mirative characteristics. Based on these observations, this paper provides a unified account for the semantic functions of these two markers, following DeLancey’s assumption that inferentials, evidentials, and miratives are semantically related, and argues that the relationship is based on pragmatic tactics of exploiting inferential and mirative senses for indirectness and politeness. It is also discussed that even though the two markers are distributed very similarly, they are subtly different in that -napo encodes immediacy, whereas -nmoyang encodes the speaker’s non-immediacy and even the speaker’s controlled and calm state of mind toward an event. Based on the similarities and differences between the two markers’ (extended) functions, this paper argued that the cognitive mechanism underlying the two markers’ functions is a distancing strategy for interactive meaning negotiation. SELECTED REFERENCES Aikhenvald, Alexandra Y. and R.M.W. Dixon (eds.). 2003. Studies in Evidentiality. Oxford: Oxford University Press. Chung, Kyung-Sook. 2005. Spaces in Tense: The Interactionof Tense, Aspect, Evidentiality and Speech Act in Korean. Ph. D. Dissertation. Simon Fraser University. DeLancey, Scott. 1997. Mirativity: The Grammatical Marking of Unexpected Information. Linguistic Typology 1. 33-52. DeLancey, Scott. 1999. The Mirative and Evidentiality. Journal of Pragmatics 33, 369-382. Ko, Yeong-Keun. 2007. Hankwukeuy Sicey, Sepep, Tongcaksang [Tense, Mood, and Aspect in Korean]. Kyeonggi-do, Korea: Taehaksa. Kwon, Iksoo. 2009. The Korean Evidential Marker -te- Revisited: Its Semantic Constraints and Distancing Effects in Mental Spaces Theory. Paper presented at Fillmore Fest 2009: Frames and Constructions, University of California, Berkeley, July 31-August 2, 2009. Song, Jae-Mog. 2002. A Typoloical Analysis of the Korean Evidential Marker ‘-Te-.’ Enehak [The Linguisitic Society of Korea] 32, 147-164.

Graph neural networks have been shown to achieve excellent performance for several crucial tasks in particle physics, such as charged particle tracking, jet tagging, and clustering. An important domain for the application of these networks is the FGPA-based first layer of real-time data filtering at the CERN Large Hadron Collider, which has strict latency and resource constraints. We discuss how to design distance-weighted graph networks that can be executed with a latency of less than one μs on an FPGA. To do so, we consider a representative task associated to particle reconstruction and identification in a next-generation calorimeter operating at a particle collider. We use a graph network architecture developed for such purposes, and apply additional simplifications to match the computing constraints of Level-1 trigger systems, including weight quantization. Using the hls4ml library, we convert the compressed models into firmware to be implemented on an FPGA. Performance of the synthesized models is presented both in terms of inference accuracy and resource usage.

In this paper, Health-related quality of life has not been adequately measured in bladder cancer. A recently developed reliable and disease-specific quality of life instrument (Bladder Cancer Index, BCI) was used to measure. Progressive type II censoring schemes have potential usefulness in practice where budget constraints in place or there is a necessity for the speedy test. To test the process capability, the lifetime performance index [Formula: see text] is widely recommended for evaluating the performance of the product’s lifetime and evaluating the lifetime performance index [Formula: see text] for the three-parameter Weighted-Lomax distribution (WLx) under progressive type-II censoring sample for a lower specification limit ([Formula: see text]). The statistical inference concerning [Formula: see text] is conducted via obtaining the maximum likelihood of [Formula: see text] on the base of progressive type-II censoring. The asymptotic normal distribution of the MLE of [Formula: see text] and the confidence interval is proposed. Moreover, the hypothesis testing of [Formula: see text] for evaluating the lifetime performance of WLx data is conducted. Also, assuming the conjugate prior distribution and squared error loss function, this study constructs a Bayes estimator of [Formula: see text]. The Bayes estimator of [Formula: see text]is then utilized to develop a credible interval in the condition of known [Formula: see text]. Moreover, we propose a Bayesian test to assess the lifetime performance of products. We also propose a Bayesian test to assess the lifetime performance of products. Finally, two examples are given, one of them is considering a real life data of the remission times of bladder cancer patients in endurance lifetime test and the other is a simulated example to illustrate the usage of the proposed procedure.

Introduction: Electronic Health Records (EHRs) benefit record keeping, information collation, error prevention, and charge capture. They provide a large database of clinical information that can be used for research. Sorting vast amounts of data manually is inefficient, hence, an effectual, validated method is required to uncover information from large sets of data and generate knowledge. The U.S., and especially West Virginia, has a tremendous burden of cardiovascular disease (CVD). Undiagnosed Familial Hypercholesterolemia (FH) is an important factor for CVD in the U.S. FH results in elevated levels of LDL from childhood and early atherosclerotic disease. We are interested in better screening processes for FH. One method is to detect adults with coronary artery disease (CAD) and determine if their lipid levels are indicative of FH. Relatives and children can then be screened for FH and treated. Efficient identification of a CAD phenotype from EHRs is an important initial step in this screening process. Hypothesis: We hypothesized that a CAD phenotype detection algorithm that uses discrete data elements from EHRs can be validated as a precursor to detection of FH. Methods: We developed an algorithm to detect a CAD phenotype, which searched through discrete data elements, such as diagnoses lists (ICD-10) and procedure (CPT) codes. Direct inspection of EHR discrete data avoided the need for artificial intelligence, such as natural language processing. The algorithm was applied to a cohort of 1,000 patients with varying characteristics. We then determined which patients had CAD by systematically going through EHRs. Following this, we revised the algorithm by refining the constraints under which it operated. We ran the algorithm again on the same 1,000 patients, and determined the accuracy of the modified algorithm. Results: Manual validation of the 1,000 patients resulted in 413 with CAD and 587 without. The original algorithm distinguished 488 CAD positive patients and 512 CAD negative patients. This was 89% accurate, 96% sensitive, and 85% specific. After revising the algorithm and applying it to the same cohort, it determined that there were 474 CAD patients and 526 without CAD. This was 93% accurate, 99% sensitive, and 89% specific. Conclusion: EHR usage has created a large pool of minable clinical data. However, without an efficient method to obtain inferences from it, the information cannot be effectually utilized. We have created an algorithm that detects CAD on a large scale with high accuracy. It has proven to be useful among a varied patient population. Since the constraints that are used, such as ICD codes and CPT codes, are universal, it can be utilized across many hospital systems; although, local validation is prudent. Using this algorithm can select a population with a propensity for FH, thereby allowing us to screen and manage patients with undiagnosed FH or other familial dyslipidemias.