163,533 Hits in 5.6 sec

FaCT: A Flexible, Constant-Time Programming Language

Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan
2017 2017 IEEE Cybersecurity Development (SecDev)  
We propose to solve this problem with a domainspecific language that permits programmers to intuitively express crypto routines and reason about secret values, and a compiler that generates efficient,  ...  timing-channel free assembly code.  ...  FACT: FLEXIBLE AND CONSTANT-TIME We propose to solve the hazards outlined in the previous section by designing a new, flexible and constant-time (FaCT) programming language.  ... 
doi:10.1109/secdev.2017.24 dblp:conf/secdev/CauligiSBJHJS17 fatcat:ndarhthoa5gxhn2p73httj2afa

An Algorithm that Infers Theories from Facts

Ehud Y. Shapiro
1981 International Joint Conference on Artificial Intelligence  
A framework for inductive inference in logic is presented: a Model Inference Problem is defined, and it is shown that problems of machine learning and program synthesis from examples can be formulated  ...  The algorithm can be shown to identify in the limit [3] any model in a family of complexity classes of models, is most powerful of its kind, and is flexible enough to have been successfully implemented  ...  It can infer axiomatizations of concrete models from a small number of facts in a practical amount of time. /. Introduction.  ... 
dblp:conf/ijcai/Shapiro81a fatcat:6dc4ene7trfnjbc4xeanxpw6em

Teaching Fact and Value

John T. Goldthwait
1958 Journal of Higher Education  
But the plan now provides greater flexibility.  ...  It does not assume any particular theory of truth or of language, nor any doctrine of the metaphysics of fact or value.  ... 
doi:10.1080/00221546.1958.11776368 fatcat:crnr2secezfxvcoqyxbnduhe64

Facts and ideas from anywhere

William Clifford Roberts
2018 Baylor University Medical Center Proceedings  
Her compiler evolved into one of the first programming languages, COBOL; it paved the way for the distinction between hardware and software.  ...  He quickly figured out a solution: circulate air over coils that were chilled by compressed ammonia. It maintained the humidity at a constant 55%.  ... 
doi:10.1080/08998280.2017.1401850 pmid:29686586 pmcid:PMC5903519 fatcat:ulkxqxugc5fxfj7bubv7eowt6m

FACTS Based Static VAR Compensation using Thyristor Switched Capacitor

Manan Gupta
2018 International Journal for Research in Applied Science and Engineering Technology  
In order to calculate the power factor, the time lag between the voltage and current waveforms is measured by respective zero crossing detectors.  ...  Thus, in order to improve the power factor a capacitor bank is used in the circuit which is triggered by the SCR's.  ...  Electrical utilities generally cost higher to those industries which have a constant low power factor.  ... 
doi:10.22214/ijraset.2018.5039 fatcat:5szktp37kzbpdd3q3n2yab7aba

Coupled temporal scoping of relational facts

Partha Pratim Talukdar, Derry Wijaya, Tom Mitchell
2012 Proceedings of the fifth ACM international conference on Web search and data mining - WSDM '12  
Firstly, while most previous research has focused on micro-reading approaches for temporal scoping, we pose it in a macroreading fashion, as a change detection in a time series of facts' features computed  ...  In this paper, we propose a joint inference framework for this task, which leverages fact-specific temporal constraints, and weak supervision in the form of a few labeled examples.  ...  We hope that CoTS' linear constraint specification is flexible enough to support a majority of such extensions.  ... 
doi:10.1145/2124295.2124307 dblp:conf/wsdm/TalukdarWM12 fatcat:yx6cpogvbfg2bhjyw5tjtwvfcy

Approximating the safely reusable set of learned facts

Domagoj Babić, Alan J. Hu
2009 International Journal on Software Tools for Technology Transfer (STTT)  
In this paper, we formalize the notion of shared structure among verification conditions, and propose a novel and efficient approach to exploit this sharing by safely reusing facts learned while checking  ...  Although a tremendous amount of work has been done on exploiting structure at various levels of granularity, the finegrained shared structure among multiple verification conditions has been largely ignored  ...  This is trivial to accomplish by a linear time constant propagation post-processing even if the decision procedure does not make such guarantees.  ... 
doi:10.1007/s10009-009-0117-2 fatcat:od2zbd3oo5fc7irdskvmbr4rua

FACT -- Operation of the First G-APD Cherenkov Telescope [article]

T. Bretz, A. Biland, J. Buß, V. Commichau, L. Djambazov, D. Dorner, S. Einecke, D. Eisenacher, J. Freiwald, O. Grimm, H. von Gunten, C. Haller, C. Hempfling, D. Hildebrand (+20 others)
2014 arXiv   pre-print
The recorded data, which can exceed 1 TB in a moonless night, is compressed in real-time with a proprietary loss-less algorithm.  ...  Since properties as the gain of G-APDs depend on temperature and the applied voltage, a real-time feedback system has been developed and implemented.  ...  To keep a list of incomplete events, a double-linked list (std::list) is used keeping a constant access time for adding and removing entries.  ... 
arXiv:1407.1988v1 fatcat:janlkp765nbddpl2op6jb5r4yu

ATC using FACTS Devices in Deregulated Power Systems

Prakash Burade, Rajendra Sadafale, Anand Satpute
2017 IRA-International Journal of Technology & Engineering (ISSN 2455-4480)  
A Repeated Power Flow with FACTS devices including ATC is used to evaluate the feasible ATC value within real and reactive power generation limits, line thermal limits, voltage limits and FACTS operation  ...  Introduction of FACTS devices in a right combination of location and parameters could enhance ATC and Ant Colony optimization can be efficiently used for this kind of nonlinear integer optimization.  ...  The Program has been developed in Object Oriented Programming (OOP) advanced Java language and the has been tested on latest Core 2 duo processor. Fig. 1 : 1 Equivalent .  ... 
doi:10.21013/jte.icsesd201721 fatcat:wrz6o2f355arvmo7ruikeja4ta

Getting Down to Facts: School Finance and Governance in California

Susanna Loeb, Anthony Bryk, Eric Hanushek
2008 Education Finance and Policy  
At the same time, surveys of superintendents and principals reveal that constant changes in state-level policy hinders planning and frustrates school and district staff.  ...  APPENDIX: GETTING DOWN TO FACTS REPORTS Getting Down to Facts researchers took a two-pronged approach to uncovering the most valuable information for California policy makers.  ... 
doi:10.1162/edfp.2008.3.1.1 fatcat:krvvnt2djnhhtcw6nfczs4ugre

Arithmetic fact mastery in young children: A longitudinal investigation

Nancy C Jordan, Laurie B Hanich, David Kaplan
2003 Journal of Experimental Child Psychology  
When predictor variables such as IQ were held constant, the poor fact mastery and good fact mastery groups performed at about the same level and progressed at a comparable rate on math story problems and  ...  Deficits in fact mastery are highly persistent and appear to be independent of reading and language abilities.  ...  Acknowledgments This study was supported by a grant from the National Institute of Child Health and Human Development (HD36672).  ... 
doi:10.1016/s0022-0965(03)00032-8 pmid:12799164 pmcid:PMC2791329 fatcat:sruzlvhsqfeb5ncchmcgkg7jyy

Fact-Checking Reasoning System for Fake Review Detection Using Answer Set Programming

Nour Jnoub, Admir Brankovic, Wolfgang Klas
2021 Algorithms  
This paper proposes a hybrid rule-based fact-checking framework based on Answer Set Programming (ASP) and natural language processing.  ...  The evaluation of the proposed approach showed promising results and high flexibility.  ...  ASP programs are based on the AnsProlog (also called A-Prolog [31] ) programming language and use the predefined rules and facts, instead of a classical algorithmic approach, to find a solution to a given  ... 
doi:10.3390/a14070190 fatcat:achhdttu5vhv3psyamz5uilkyq

"A veritable bucket of facts" origins of the data base management system

Thomas Haigh
2006 SIGMOD record  
This work has been partially supported by the European Commission under the contract IST-FP6-004559 (project SODIUM: Service Oriented Development in a Unified fraMework).  ...  An interesting issue emerged during the talk was the high flexibility of XQuery, the standard XML query language to be used as a fullfledged web programming language as well.  ...  function of m alone, and c a constant.  ... 
doi:10.1145/1147376.1147382 fatcat:pk5odqlhqnctdepmcrfsriputi

Facts and Ideas from Anywhere

William Clifford Roberts
2010 Baylor University Medical Center Proceedings  
program.  ...  His last obsession was programming tricks for the Hewlett-Packard Model 65 handheld computer that was his constant companion. the Pill Nancy Gibbs (2) recently reviewed the story of "the pill."  ... 
doi:10.1080/08998280.2010.11928645 pmid:21240325 pmcid:PMC2900993 fatcat:rej4uacpjbhilb2qy5s6nnc7ty

Source-Level Linkage: Adding Semantic Information to C++ Fact-bases

Daqing Hou, H. Hoover
2006 Conference on Software Maintenance, Proceedings of the  
As a further validation, we design a Structural Constraint Language, SCL, to express and machine-check a wide range of constraints on the Abstract Semantics Graph (ASG) produced by the linker. 0.1.  ...  Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patterns, to program exploration  ...  ACKNOWLEDGMENTS Bell Canada provided us with a free research license for the Datrix toolset. Kenny Wong introduced us to the Datrix project.  ... 
doi:10.1109/icsm.2006.61 dblp:conf/icsm/HouH06 fatcat:d6dpkzll55eyxl5punn5hq57eq
« Previous Showing results 1 — 15 out of 163,533 results