Filters








20,819 Hits in 4.1 sec

Private Names in Non-Commutative Logic [article]

Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
2016 arXiv   pre-print
This greater control of bookkeeping enables private names to be modelled in processes embedded as predicates in MAV1.  ...  This paper explores the proof theory necessary for recommending an expressive but decidable first-order system, named MAV1, featuring a de Morgan dual pair of nominal quantifiers.  ...  V U if and only if U −→ V in SMAV1. Private Names in Non-Commutative Logic Philip Wadler. Propositions as sessions. J. of Fun. Prog., 24(2-3):384-418, 2014.  ... 
arXiv:1602.06043v1 fatcat:xzmf7rsy4zarjnfkj7tlacecay

De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic

Ross Horne, Alwen Tiu, Bogdan Aman, Gabriel Ciobanu
2019 ACM Transactions on Computational Logic  
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic 22:3 discussion, and highlights further corollaries of cut elimination.  ...  We are particularly interested in special derivations, called proofs. De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic 22:5 Definition 2.2.  ...  We thank the anonymous reviewers, whose thorough reading led to improvements in the presentation of MAV1.  ... 
doi:10.1145/3325821 fatcat:l5vmoxbkhbczpo67akhp2etb2y

Probabilistic Programming Semantics for Name Generation [article]

Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
2020 arXiv   pre-print
We make a formal analogy between random sampling and fresh name generation.  ...  We show that quasi-Borel spaces, a model for probabilistic programming, can soundly interpret Stark's ν-calculus, a calculus for name generation.  ...  Observational equivalence at first-order type (name → bool, bool → bool → name, etc.), on the other hand, is non-trivial in the -calculus, because 's and 's do not commute.  ... 
arXiv:2007.08638v3 fatcat:qacgfrbbyjdqzkve6eg5rsuwgi

Probabilistic programming semantics for name generation

Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
2021 Proceedings of the ACM on Programming Languages (PACMPL)  
We make a formal analogy between random sampling and fresh name generation.  ...  We show that quasi-Borel spaces, a model for probabilistic programming, can soundly interpret the -calculus, a calculus for name generation.  ...  Observational equivalence at first-order type (name → bool, bool → bool → name, etc.), on the other hand, is non-trivial in the -calculus, because 's and 's do not commute.  ... 
doi:10.1145/3434292 fatcat:cc2kxurqrzhs3k7jbqxlyrb24a

Commuting, Life-Satisfaction and Internet Addiction

Bernd Lachmann, Rayna Sariyska, Christopher Kannen, Maria Stavrou, Christian Montag
2017 International Journal of Environmental Research and Public Health  
This association was not present in the non-commuter group.  ...  Third, within the business-commuters as well as in the private-commuter groups, females had significantly higher levels of stress than males.  ...  This time we also wanted to extend this in the realm of being a non-commuter, business-commuters, and private commuter.  ... 
doi:10.3390/ijerph14101176 pmid:28981452 pmcid:PMC5664677 fatcat:fzl4fxmfandl5mj72cpckcx76i

Non-Commutative Topology for Curved Quantum Causality [article]

Ioannis Raptis
2001 arXiv   pre-print
We compare our non-commutative scheme-theoretic curved quantum causal topology with some recent C^*-quantale models for non-abelian generalizations of classical commutative topological spaces or locales  ...  This is modeled after a non-commutative scheme type of theory for the curved finitary spacetime sheaves of the non-abelian incidence Rota algebras that represent 'gravitational quantum causal sets'.  ...  1981, Van Oystaeyen, 2000a,b) , since our incidence Rota algebras may be viewed as such non-commutative PI-rings (Fred Van Oystaeyen in private communication). 164 Equivalently, the questions 'what is  ... 
arXiv:gr-qc/0101082v2 fatcat:sgjamt73u5g7dm7jnb7ndvgt5y

Decision and Search in Non-Abelian Cramer-Shoup Public Key Cryptosystem

Delaram Kahrobaei, Michael Anshel
2009 Groups - Complexity - Cryptology  
In the process we review recent progress in non-abelian cryptography and post some open problems that naturally arise from this path of research.  ...  A method for non-abelian Cramer-Shoup cryptosystem is presented. The role of decision and search is explored, and the platform of solvable / polycyclic group is suggested.  ...  Applications of Non-commutative Group Theory in Cryptography In 1984, Wagner et al.  ... 
doi:10.1515/gcc.2009.217 fatcat:isdna5jto5c5pc7pmnzkdc7sym

A Non-commutative Extension of MELL [chapter]

Alessio Guglielmi, Lutz Straßburger
2002 Lecture Notes in Computer Science  
We extend multiplicative exponential linear logic (MELL) by a non-commutative, self-dual logical operator.  ...  The extended system, called NEL, is defined in the formalism of the calculus of structures, which is a generalisation of the sequent calculus and provides a more refined analysis of proofs.  ...  logic [8] ) by a non-commutative, self-dual logical operator called seq.  ... 
doi:10.1007/3-540-36078-6_16 fatcat:b2fmxdlxovg5pcrcmy3febaoza

Decision and Search in Non-abelian Cramer Shoup Public Key Cryptosystem [article]

Michael Anshel, Delaram Kahrobaei
2013 arXiv   pre-print
In the process we review recent progress in non-abelian cryptography and post some open problems that naturally arise from this path of research.  ...  A method for non-abelian Cramer-Shoup cryptosystem is presented. The role of decision and search is explored, and the platform of solvable/polycyclic group is suggested.  ...  Applications of Non-commutative Group Theory in Cryptography In 1984, Wagner et al.  ... 
arXiv:1309.4519v1 fatcat:avb4yo37lrbwzgzzkjifvuc5bq

Optimizing Content Management System Pipelines Separation and Merging of Concerns [chapter]

Markus Noga, Florian Krüper
2002 Lecture Notes in Computer Science  
In software engineering terms, they separate the concerns of content, application logic and visual styling. Current systems largely maintain this separation of concerns after document deployment.  ...  We exploit commutativity to enable new static evaluations of the composite during document deployment.  ...  The three tools make increasingly complex efforts to cache intermediate results: make uses regular files in the user directory, Odin maintains a private cache where source names and tools configurations  ... 
doi:10.1007/3-540-45821-2_16 fatcat:xs4zxr5ynbgxnkx2jxes6b2kpa

Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE

Louwe B. Kuijer
2017 Electronic Proceedings in Theoretical Computer Science  
Arbitrary Arrow Update Logic with Common Knowledge (AAULC) is a dynamic epistemic logic with (i) an arrow update operator, which represents a particular type of information change and (ii) an arbitrary  ...  In particular, it follows that AAULC does not have a recursive axiomatization.  ...  Or if the attemp fails, then the way in which it fails might provide a hint about how to prove that the validity problems of these logics are RE. ψ grid := ref a ∧ direction ∧ inverse ∧ commute D := {left  ... 
doi:10.4204/eptcs.251.27 fatcat:wkotezylczfljiakoc6b7th3xi

Carsharing – A Web and Mobile Application using MEAN Stack

Tergundi P.V, Shivaratna Kumar Patil, Sumedha Inamdar, Vinayak Shinde, Vishal Bilagi
2017 IJARCCE  
Though non-conventional fuel resources attempt to stem pollution, no proper measure has been devised in a cost effective manner which gives users the same kind of flexibility that a private car gives which  ...  Car sharing aims at solving this problem by targeting all the vacant seats in the private cars [2] .  ... 
doi:10.17148/ijarcce.2017.6644 fatcat:ojwbzzildjhyze4arzvbnzfeia

Data Analytic Solution for Heterogeneous Transportation Management Network System: A Case Study of Kwara State, Nigeria

A. Aroyehun Kayode, Abdullateef O. Alabi, T. Salaudeen Ganiyat
2021 Asian Journal of Research in Computer Science  
The system will serve as open access to heterogeneous communities in Kwara State, Nigeria and make easy booking for passengers, assist communities in management of transportation systems within kwara state  ...  This is the desire of every ministry of Transportation for State in Nigeria although a number of constraints usually make it not attainable.  ...  commuters' name, the system must automatically notify the user with function alert.  ... 
doi:10.9734/ajrcos/2021/v7i130172 fatcat:6llrjykaajfi3m5zulf2xfq2bu

A general framework for the composition of quantum homomorphic encryption & quantum error correction [article]

Yingkai Ouyang, Peter P. Rohde
2022 arXiv   pre-print
Namely, a quantum homomorphic encryption scheme enhanced with quantum error correction can directly inherit its properties from its constituent quantum homomorphic encryption and quantum error correction  ...  Previously these ingredients have been considered in isolation from one another.  ...  Yingkai Ouyang is supported by the Quantum Engineering Programme grant NRF2021-QEP2-01-P06, and also in part by NUS startup grants (R-263-000-E32-133 and R-263-000-E32-731), and the National Research Foundation  ... 
arXiv:2204.10471v1 fatcat:2323r5trlfg4lmcvgcfan36kda

Speculative separation for privatization and reductions

Nick P. Johnson, Hanjun Kim, Prakash Prabhu, Ayal Zaks, David I. August
2012 Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12  
This work presents Privateer, the first fully automatic privatization system to handle dynamic and recursive data structures, even in languages with unrestricted pointers.  ...  Privateer enables automatic parallelization of general-purpose C/C++ applications, yielding a geomean whole-program speedup of 11.4× over best sequential execution on 24 cores, while non-speculative parallelization  ...  In the example, Q, pathcost, and all linked list nodes are accessed privately whereas adj is only read; Privateer allocates them to distinct logical heaps of private objects and read-only objects at compile  ... 
doi:10.1145/2254064.2254107 dblp:conf/pldi/JohnsonKPZA12 fatcat:uvykq5b5pnf6hbtqgd4v7df56e
« Previous Showing results 1 — 15 out of 20,819 results