1,538 research outputs found
Ck-Log, A Calculus for Knowledge Processing in Logic
No full textThis paper introduces the principal concepts in the organization and operation of the logic based knowledge processing system, called CK-LOG (A Calculus for Knowledge in Logics). CK-LOG uses the frame based system MDS (the Meta Description System) for knowledge representation and for modeling world states. It uses an inference engine based on Natural Deduction for stating and solving problems. As a knowledge processing system CK-LOG has several capabilities, which are new to the technology of knowledge representation systems: CK-LOG has special facilities to represent and reason about actions and their time dependencies. Actions that occur in a world state may create or destroy objects in the world or modify their properties, or prevent or support other actions. The effects of actions are described in CK-LOG using modal operators like CREATE, DESTROY, PREVENT, SUPPORT, KEEP, etc. These operator expressions are also used to represent and reason about possible worlds that the actions might lead to. Most significantly, CK-LOG is a logic-based knowledge processing system, just as PROLOG is logic based programming system. CK-LOG uses a three valued logical system with truth values T (true),? (Unknown) and F (false) to build partial models of world states, and the two valued logic's system of T and F in its theorem proving System. The use of the three valued logical system in its models of world states enables CK-LOG to do problem solving in the context of incomplete information about world states. The theorem proving system of CK-LOG uses a variant of the calculus of sequents first proposed by Kanger (which itself is a variant of Gentzen's system). The two variations in CK-LOG are, (i). the use of a new algorithm called the mating algorithm for testing proof terminations, and (ii) the use of specialized inference rules for reasoning about modal expressions using the possible world semantics.. The mating algorithm gives the theorem proving system of CK-LOG several new capabilities: to identify information that is pertinent to a given problem and retrieve it from its knowledge base, to update its models of possible worlds during the problem solving process based on the findings of the theorem proving system, to use these models of world states to test proof terminations, and to generate hypotheses during the problem solving process that are based on unknown information. These various features of CK-LOG are described here. The paper concludes with a discussion of the logic of frames as used in CK-LOG and establishes a condition called locality condition as a sufficient condition for creating knowledge representations with requisite completeness.Technical report DCS-TR-15
Next-Generation Sequencing: Application in Liver Cancer—Past, Present and Future?
No full textHepatocellular Carcinoma (HCC) is the third most deadly malignancy worldwide characterized by phenotypic and molecular heterogeneity. In the past two decades, advances in genomic analyses have formed a comprehensive understanding of different underlying pathobiological layers resulting in hepatocarcinogenesis. More recently, improvements of sophisticated next-generation sequencing (NGS) technologies have enabled complete and cost-efficient analyses of cancer genomes at a single nucleotide resolution and advanced into valuable tools in translational medicine. Although the use of NGS in human liver cancer is still in its infancy, great promise rests in the systematic integration of different molecular analyses obtained by these methodologies, i.e., genomics, transcriptomics and epigenomics. This strategy is likely to be helpful in identifying relevant and recurrent pathophysiological hallmarks thereby elucidating our limited understanding of liver cancer. Beside tumor heterogeneity, progress in translational oncology is challenged by the amount of biological information and considerable “noise” in the data obtained from different NGS platforms. Nevertheless, the following review aims to provide an overview of the current status of next-generation approaches in liver cancer, and outline the prospects of these technologies in diagnosis, patient classification, and prediction of outcome. Further, the potential of NGS to identify novel applications for concept clinical trials and to accelerate the development of new cancer therapies will be summarized
Highly parallel and energy-efficient exhaustive minimum distance search engine using hybrid digital/analog circuit techniques
No full textA minimum distance search engine (MDSE) is presented as a hardware. accelerator for various exhaustive pattern-matching systems. This chip executes highly parallel computations of L-1-norms between an input query and stored multiple reference records, and searches for the minimum distance among them in a highly parallel fashion. Our architectural-level estimation shows that this MDSE can reduce energy dissipation by orders of magnitude as the number of records increases, compared with the conventional systems. We have designed a prototype 4-bit 8-word MDSE composed of merged memory logic (MML) and digital/analog-mixed winner-take-all circuit (DAM-WTAC) by using hybrid digital/analog circuit techniques. It was fabricated with a 0.6-mum single-poly triple-metal CMOS technology. Experimental results show that our chip works properly at 3 V/10 MM and has approximately four times larger throughput as well as four times higher energy efficiency, compared with the existing 8-bit microcontrollers.The author would like to thank MICROS, IDEC and Samsung Electronics
Company for their support. They would also like to thank the
reviewers for their valuable comments and Dr. K. Kim, Samsung Electronics
Company, for useful discussion
Recommended from our members
AMS :: ATX September 2012 Blog Archive
No full textTextContents: Sept. 4 -– Grad Research: Carrie Andersen Writes on Louis C.K.’s Conservative Vision -– Sept. 5 -– Announcement: Dr. George Lipsitz Talk This Thursday -– Sept. 10 -– Announcement: Congratulation to Dr. Stephen Marshall -– Sept. 13 -– Andrew Gansky Introduces PhotoLab at the Harry Ransom Center -– Sept. 18 -– Announcement: AMS Graduate Student Conference, Spring 2013 -– Sept. 20 -– Faculty Research: De. Randy Lewis discusses new book, ‘Navajo Talking Picture’ / by Carrie Andersen -– Sept. 24 -– Alumni Voices: Dr. Marr Hedstrom, Assistant Prof. of Religious Studies and American Studies at UVA -– Sept. 26 -– Announcement: AMS Film Series Begins This Thursday! -– Sept. 27 -– Announcement: Food for Black Thought Symposium This Weekend!AMS :: ATX is a blog dedicated to representing the many activities and interests of the department of American Studies at The University of Texas at Austin. Together with the department’s Twitter feed, this blog exists to serve the AMS and Austin communities by acting as a hub for up-to-date information on events and opportunities at UT and beyond.Links: Sept. 27 -- http://www.utexas.edu/cola/centers/cwgs/events/23753 -- Sept. 24 -- http://people.virginia.edu/~msh6q/msh/home.htm -- Sept. 4 -- Audio -- https://soundcloud.com/zachdionne/louis-ck-rental-carAmerican Studie
Gate-tunable kinetic inductance in proximitized nanowires
No full textWe report the detection of a gate-tunable kinetic inductance in a hybrid
InAs/Al nanowire. For this purpose, we have embedded the nanowire into a
quarter-wave coplanar waveguide resonator and measured the resonance frequency
of the circuit. We find that the resonance frequency can be changed via the
gate voltage that controls the electron density of the proximitized
semiconductor and thus the nanowire inductance. Applying Mattis-Bardeen theory,
we extract the gate dependence of the normal state conductivity of the
nanowire, as well as its superconducting gap. Our measurements complement
existing characterization methods for hybrid nanowires and provide a new and
useful tool for gate-controlled superconducting electronics
Cardiac troponin T and CK-MB mass release after visually successful percutaneous transluminal coronary angioplasty in stable angina pectoris
No full textUdgivelsesdato: 1994-JanThe incidence of cardiac troponin T (Tn-T) and creatine kinase (CK) isoenzyme MB mass release was studied in 23 patients with stable angina pectoris undergoing visually successful percutaneous transluminal coronary angioplasty (PTCA). Serial blood samples were drawn for measurement of serum Tn-T, CK-MB mass, total CK activity, CK-MB activity, and lactate dehydrogenase isoenzyme (LD-1). ST segment monitoring was carried out during PTCA and for the following 24 hours. None of the patients showed electrocardiographic (ECG) evidence of myocardial infarction. However, Tn-T was elevated in three patients (0.23 to 1.32 micrograms/L), and in these three and an additional three patients CK-MB mass was also elevated (7.0 to 27.5 micrograms/L). Total CK activity and LD-1 were only elevated in one of these six patients. None had elevated CK-MB activity. ST segment depression on ECG recording was not predictive of Tn-T or CK-MB mass release. Patients with elevated Tn-T or CK-MB mass did not differ with respect to demographic data, stenosis characteristics, or in the PTCA procedure. We conclude that CK-MB mass uncovers clinically and ambulatory electrocardiographically inapparent severe myocardial ischemia/minor myocardial damage (microembolization) in 26% (6 of 23) of patients after visually successful PTCA; 13% (3 of 23) had elevated Tn-T, indicating minor myocardial damage. The application of these markers in the future could be of considerable value for determining the efficacy of coronary angioplasty and atherectomy, as well as for drug therapy in connection with such procedures
Variability study of Si nanowire FETs with different junction gradients
No full textRandom dopant fluctuation effects of gate-all-around Si nanowire field-effect transistors (FETs) are investigated in terms of different diameters and junction gradients. The nanowire FETs with smaller diameters or shorter junction gradients increase relative variations of the drain currents and the mismatch of the drain currents between source-drain and drain-source bias change in the saturation regime. Smaller diameters decreased current drivability critically compared to standard deviations of the drain currents, thus inducing greater relative variations of the drain currents. Shorter junction gradients form high potential barriers in the source-side lightly-doped extension regions at on-state, which determines the magnitude of the drain currents and fluctuates the drain currents greatly under thermionic-emission mechanism. On the other hand, longer junction gradients affect lateral field to fluctuate the drain currents greatly. These physical phenomena coincide with correlations of the variations between drain currents and electrical parameters such as threshold voltages and parasitic resistances. The nanowire FETs with relatively-larger diameters and longer junction gradients without degrading short channel characteristics are suggested to minimize the relative variations and the mismatch of the drain currents. (C) 2016 Author(s). All article content, except where otherwise noted, is licensed under a Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).1163Ysciescopu
Phenazine-1-carboxylic acid (PCA) produced by Paraburkholderia phenazinium CK-PC1 aids postgermination growth of Xyris complanata seedlings with germination induced by Penicillium rolfsii Y-1
No full textSymbiosis of Penicillium rolfsii Y-1 is essential for the seed germination of Hawaii yellow-eyed grass (Xyris complanata). However, the local soil where the plants grow naturally often suppresses the radicle growth of the seedlings. This radicle growth was drastically restored by coinoculation of Paraburkholderia phenazinium isolate CK-PC1, which is a rhizobacterium of X. complanata. It was found that the isolate CK-PC1 produced phenazine-1-carboxylic acid (PCA, 1) as a major metabolite. The biological effects of PCA (1) were investigated using the seeds of X. complanata and Mung bean (Vigna radiata) and it was uncovered that the symbiosis of the isolate CK-PC1was essential for the postgermination growth of X. complanata and the metabolite PCA (1) might partially contribute to promote the growth of the plants
Inside the Matrix: CTI Frameworks as Partial Abstractions of Complex Threats
No full textThe Cyber Threat Intelligence (CTI) field has evolved rapidly and most of its reporting is now fairly stan-dardized. Where the Cyber Kill Chain was its sole reference framework 5 years ago, today ATT&CK is the de facto standard for reporting adversary tactics, techniques and procedures (TTPs). CTI frameworks are effectively abstraction layers of malicious behavior and thus effective CTI dissemination hinges on their ability to accurately represent this behavior. We argue that this is an area with significant opportunity for improvement. The aforementioned models are attacker- and intrusion-centric, while much of the CTI reporting currently is artifact- and malware-centric. In other words, most analysis is performed using artifacts of adversary tools, while in-the-wild evidence of adversary techniques and procedures is limited or lacking. Applying an intrusion model to artifact-based analysis leads to information loss, affecting and potentially misleading CTI-based decision-making. Intelligence analysis naturally builds on imperfect information, but CTI frameworks should be oriented more towards this key premise. In this conceptual work we compare the intrusion-centric ATT&CK with Malware Behavior Catalog (MBC), which is malware-centric. We compare how their application affects reporting of analysis outcomes. For this we reverse a piece of APT malware, replicating how many CTI reports are produced. We find that compared to ATT&CK, the abstraction offered by MBC enhances the information density of our reporting. While currently in most industry malware reports ATT&CK is applied, our analysis shows that on these occasions using MBC, potentially in tandem with ATT&CK, improves reporting. With the daily amount of new malware samples only increasing, accurate behavior labeling is key to the success of CTI sharing and dissemination.Accepted author manuscriptCyber Securit
Are language production problems apparent in adults who no longer meet diagnostic criteria for attention-deficit/hyperactivity disorder?
No full textIn this study, we examined sentence production in a sample of adults (N = 21) who had had attention-deficit/hyperactivity disorder (ADHD) as children, but as adults no longer met DSM-IV diagnostic criteria (APA, 2000). This “remitted” group was assessed on a sentence production task. On each trial, participants saw two objects and a verb. Their task was to construct a sentence using the objects as arguments of the verb. Results showed more ungrammatical and disfluent utterances with one particular type of verb (i.e., participle). In a second set of analyses, we compared the remitted group to both control participants and a “persistent” group, who had ADHD as children and as adults. Results showed that remitters were more likely to produce ungrammatical utterances and to make repair disfluencies compared to controls, and they patterned more similarly to ADHD participants. Conclusions focus on language output in remitted ADHD, and the role of executive functions in language production
- …
