443,283 Hits in 4.4 sec

First-Order Logic for Flow-Limited Authorization [article]

Andrew K. Hirsch, Pedro H. Azevedo de Amorim, Ethan Cecchetti, Ross Tate, Owen Arden
2020 arXiv   pre-print
We present the Flow-Limited Authorization First-Order Logic (FLAFOL), a logic for reasoning about authorization decisions in the presence of information-flow policies.  ...  In particular, FLAFOL is the first logic to provide a non-interference guarantee while supporting all connectives of first-order logic.  ...  Acknowledgments We would first like to thank our anonymous reviewers for their insightful comments and helpful suggestions. Andrew Myers and Jed Liu provided early feedback on the design of FLAFOL.  ... 
arXiv:2001.10630v1 fatcat:x7luvxymojg3dpe6mpler36hjm

Page 1830 of Mathematical Reviews Vol. 52, Issue 5 [page]

1976 Mathematical Reviews  
They consider cascade connection of first- and second-order sections and for this configuration obtain bounds for the amplitude of limit cycles at the output of each section when INFORMATION AND COMMUNICATION  ...  Maria, Gamal A.; Fahmy, Moustafa M. 13005 Limit cycle oscillations in a cascade of first- and second-order digital sections. IEEE Trans. Circuits and Systems CAS-22 (1975), 131-134.  ... 

Page 18 of Journal of Systems Management Vol. 29, Issue 3 [page]

1978 Journal of Systems Management  
OI will at times recommend increasing the authority limits of employees in order to break up bottlenecks in the work flow.  ...  We looked first for logically related tasks, but we might also combine apples and oranges if it meant a further reduction in staff. We were lucky in this case.  ... 

A Guided Tour of Literature Review

Yun Wang, Dingyu Liu, Huamin Qu, Qiong Luo, Xiaojuan Ma
2016 Proceedings of the 9th International Symposium on Visual Information Communication and Interaction - VINCI '16  
The logic flow of a slideshow can be organized based on the paper's presentation or citations. We demonstrate the effectiveness of our system through several case studies and user studies.  ...  For example, when readers are reading the related work section that cites a fair number of references in limited page space, they often need to flip back and forth between the text and the references and  ...  ACKNOWLEDGMENTS The authors would like to thank the anonymous reviewers for their valuable comments.  ... 
doi:10.1145/2968220.2968242 dblp:conf/vinci/WangLQLM16 fatcat:czaa2aokfzgobd2p2dj6nxvh5i

Page 3187 of Mathematical Reviews Vol. , Issue 98E [page]

1998 Mathematical Reviews  
The first-order calculi are already enough to explicate issues in sub- typing, subclassing, and recursion.  ...  For the FIFO protocol, a theorem gives the conditions leading to limit trajectories which involve no waiting in the queue. A condition for measuring the efficiency of the system is also given.  ... 

Page 2312 of Mathematical Reviews Vol. , Issue 2003d [page]

2003 Mathematical Reviews  
The author is concerned with first-order extensions of neighbor- hood (Scott-Montague) semantics, arguing that this semantics is superior to relational (Kripke) semantics for the study of epistemic logic  ...  The present paper gener- alizes the papers of Finger and Gabbay [op. cit.] for more general flows of time, e.g. over trees or over some other partially ordered sets.  ... 

Challenges in Automatic Optimization of Arithmetic Circuits

Ajay K. Verma, Philip Brisk, Paolo Ienne
2009 2009 19th IEEE Symposium on Computer Arithmetic  
This paper reviews recent results in arithmetic logic synthesis that the authors have published in recent years.  ...  Despite the impressive progress of logic synthesis in the past decade, finding the best architecture for a given circuit still remains an open and largely unsolved problem, especially for arithmetic circuits  ...  In the works that first presented this step [9, 8] , a library of algebraic identities swaps the order of arithmetic operations (primarily adders) with logic operations.  ... 
doi:10.1109/arith.2009.39 dblp:conf/arith/VermaBI09 fatcat:4sisytdg5vddhjekcurcb4pdfq

Page 190 of Journal of Research and Practice in Information Technology Vol. 20, Issue 4 [page]

1988 Journal of Research and Practice in Information Technology  
The first half of the book is a very readable and well-ordered presenta- tion of the logic and mathematics underlying Cambridge LCF.  ...  It begins with a natural deduction system for first order predicate calculus, then develops this into the backward proof oriented logic system called ‘PPX’, The Australian Computer Journal, Vol. 20, No  ... 

BOOK REVIEW: CARNIELLI, Walter & MALINOWSKI, Jacek (eds.). Contradictions, from Consistency to Inconsistency (Trends in Logic 47, Springer International Publishing, 2018, VI+322 pages)

2019 Manuscrito  
In this review I briefly analyse the main elements of each chapter of the book centred in the general areas of logic, epistemology, philosophy and history of science.  ...  Most of them are developed around a fine-grained investigation on the principle of non-contradiction and the concept of consistency, inquired mainly into the broad area of paraconsistent logics.  ...  Carnielli, Mariano and Matulovic advance an algebraic method based on the polynomial representation of first-order sentences in order to introduce algebraic semantics for first-order logic, departing from  ... 
doi:10.1590/0100-6045.2019.v42n1.rt fatcat:fq4htyfyc5bhtdsjqhiqfxzvqe

Retrieve Logic Flow in Discourse Analysis of Academic Paper: A Case Study of Law, Law, What Is Law

2017 Journal of Literature and Art Studies  
and intends to focus on two research goals: (1) to identify logic flow among clause complexes; (2) to figure out meanings and intentions of those logic expressions.  ...   The present study shall be mainly concerned with logic flow and its expressions in academic paper. It examines Law, Law, What Law?  ...  Devices of logic flow reflect negotiation and cooperation with readers.  ... 
doi:10.17265/2159-5836/2017.05.009 fatcat:emdoetrdxrcnrjhkevclofzhgq

Changeover from decision tree approach to fuzzy logic approach within highway management

Jana Kuklová, Ondřej Přibyl
2017 Neural Network World  
This paper deals with the changeover from the decision tree (bivalent logic) approach to the fuzzy logic approach to highway traffic control, particularly to variable speed limit displays.  ...  Several fuzzy logic algorithms were developed and tested by a microsimulation model.  ...  VMS 60 and VMS 80 stand for the speed limit recommended at the first level, while VMS 100+ means that the final speed limit will be determined at the second level based on actual traffic flow intensity  ... 
doi:10.14311/nnw.2017.27.008 fatcat:t2hgwynedngknmxwidytiwmnzu

Design of wavelength-routed optical networks for packet switched traffic

S. Banerjee, Jay Yoo, Chien Chen
1997 Journal of Lightwave Technology  
In the logical topology each node is equipped with a limited number of optical transceivers, hence logical connections cannot be set up between every pair of nodes.  ...  An analytical model for obtaining the maximum and average logical connection loads for a given logical network and traffic demand matrix is also formulated, and it has been confirmed via simulation.  ...  In the first phase of the algorithm, the limitation on the number of wavelengths per link is not considered.  ... 
doi:10.1109/50.622888 fatcat:tkmglwctfzd6lgrchlh2o6pqby

Test set generation almost for free using a run-time FPGA reconfiguration technique

Alexandra Kourfali, Dirk Stroobandt
2015 2015 16th Latin-American Test Symposium (LATS)  
Experimental results demonstrate the practicality of the new technique as, compared to conventional tools, we obtain speedups of up to 3 orders of magnitude, 8X area reduction, and no increase in critical  ...  ACKNOWLEDGEMENTS The first author is sponsored by IWT, Agency for Innovation through Science and Technology in Flanders.  ...  In order to overcome these limitations, circuit designers have turned to FPGAs for the emulation of their complete systems.  ... 
doi:10.1109/latw.2015.7102404 dblp:conf/latw/KourfaliS15 fatcat:p3iaydzctvgrhpjam2gsbj6wxu

Page 1263 of Mathematical Reviews Vol. , Issue 95c [page]

1995 Mathematical Reviews  
A temporal logic language is called (first-order) expressively complete if, for every first-order condition on a node of a tree, there exists an equivalent temporal formula which expresses the same condition  ...  At the same time, many temporal logic languages can be regarded as subsets of a first-order logic, i.e., the semantics of a temporal logic formula is given as a first-order condition on points of the underlying  ... 

Page 356 of Chemical Engineering Vol. 58, Issue 9 [page]

1951 Chemical Engineering  
Professor Hawkins, in his 2nd Edi cally presented in the following order Fundamental concepts; First Law Three States; Ideal Gas; Equation of State; Gas Heat Capacity; Computing non-flow process; Second  ...  basis and it might be worthwhile for the other authors, as well as Dr.  ... 
« Previous Showing results 1 — 15 out of 443,283 results