Results 11 to 20 of about 69,786 (317)
Automatically Generating CSP Models for Communicating Haskell Processes [PDF]
, 2009 Tools such as FDR can check whether a CSP model of an implementation is a refinement of a given CSP specification. We present a technique for generating such CSP models of Haskell implementations that use the Communicating Haskell Processes library.
Brown, Neil C.C.
core +1 more source
On ADS-B Sensor Placement for Secure Wide-Area Multilateration
Proceedings, 2020 As automatic dependent surveillance–broadcast (ADS-B) becomes more prevalent, the placement of on-ground sensors is vital for Air Traffic Control (ATC) to control the airspace.
Ala’ Darabseh +3 more
doaj +1 more source
Additive Sparsification of CSPs
ACM Transactions on Algorithms, 2023 Multiplicative cut sparsifiers, introduced by Benczúr and Karger [STOC’96], have proved extremely influential and found various applications. Precise characterisations were established for sparsifiability of graphs with other 2-variable predicates on Boolean domains by Filtser and Krauthgamer [SIDMA’17] and non-Boolean domains by Butti and Živný [SIDMA’
Eden Pelleg, Stanislav Zivný
openaire +5 more sources
On Quadratic Threshold CSPs [PDF]
Discrete Mathematics & Theoretical Computer Science, 2010 Discrete Algorithms A predicate P: {-1, 1}k →{0, 1} can be associated with a constraint satisfaction problem Max CSP(P). P is called ''approximation resistant'' if Max CSP(P) cannot be approximated better than the approximation obtained by choosing a random assignment, and ''approximable'' otherwise.
Per Austrin +2 more
openaire +4 more sources
Yoruba Studies Review, 2022 Western missionaries, ethnographic and anthropological scholars arrived in Africa, quizzed the pre-colonial African, and adjudged her, pre-critical and pre-logical, since the latter could not disclose or express thoughts according to the dictates or ...
Emmanuel Ofuasia (csp)
doaj +3 more sources
, 1996 Security protocols are designed to meet particular security properties. In order to analyse such protocols formally, it is necessary to provide a formal definition of the property that they are intended to provide. This paper is concerned with the property of anonymity.
Steve A. Schneider, Abraham Sidiropoulos
openaire +1 more source
Episode 18: Dr. Kimberly Craig: Vice Provost of CSP Global [PDF]
, 2023 As we celebrate the start of CSP\u27s 131st academic year, Vice Provost of CSP Global, Dr. Kimberly Craig shares what fall enrollment looks like, how CSP is countering trends within higher education, and what exciting new programs and academic offerings ...
Schultz, Billy, Craig, Kimberly
core
Episode 15: Mark Koschmann: Integrating Faith & Learning at CSP [PDF]
, 2023 Rev. Dr. Mark Koschmann serves as CSP\u27s Associate Vice President of Faith & Ministry, a role in which he leads the Department of Theology & Ministry and CSP Ministry, teaches theology classes, and heads up the Solus Christus Fellows program. He shares
Koschmann, Mark, Schultz, Billy
core
Modeling Robustness in CSPs as Weighted CSPs
, 2013 Many real life problems come from uncertain and dynamic environments, where the initial constraints and/or domains may undergo changes. Thus, a solution found for the problem may become invalid later. Hence, searching for robust solutions for Constraint Satisfaction Problems (CSPs) becomes an important goal.
Laura Climent +3 more
openaire +2 more sources
Episode 19: Rev. Bill Otte: Growing up at CSP [PDF]
, 2023 CSP celebrates its 130th birthday on September 13, so it\u27s the perfect time to take a look back at some of the university\u27s history. Rev. Bill Otte, H.S. \u2764, J.C. \u2766 grew up on CSP\u27s campus as his father, Dr.
Otte, Bill, Schultz, Billy
core