A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Filters
Points, lines and diamonds: a two-sorted modal logic for projective planes
1999
Journal of Logic and Computation
Preserved Fulltext
We introduce a modal language for talking about projective planes. This language is two-sorted, containing formulas to be evaluated at points and at lines, respectively. ...
The language has two diamonds whose intended accessibility relations are the two directions of the incidence relation between points and lines. ...
The modal logic of projective planes In this section we introduce projective planes and our two-sorted modal logic MLG 2 for talking about them. ...
doi:10.1093/logcom/9.5.601
fatcat:m2pjf7jyqrfxxjgw2xgqwo3n6q
Page 7583 of Mathematical Reviews Vol. , Issue 2000k
[page]
2000
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
and diamonds: a two-sorted modal logic for projective planes. ...
MGL2 has two sorts of variables, one sort for points and one sort for lines, and two diamonds for treating the two directions (accessibilities) of the incidence relation between points and lines. ...
Sensitivity Optimization for NV-Diamond Magnetometry
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Our analysis of sensitivity optimization establishes a foundation to stimulate development of new techniques for enhancing solid-state sensor performance. ...
Improvements to the spin dephasing time, the readout fidelity, and the host diamond material properties are identified as the most promising avenues and are investigated extensively. ...
Nitrogen was found to be the most common impurity occurring in natural diamonds, which made its presence or absence a logical basis for diamond classification. ...
arXiv:1903.08176v1
fatcat:tzw3xp7pcnevzkr5cad7u2x7kq
Sensitivity optimization for NV-diamond magnetometry
2020
Reviews of Modern Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
We note that for the idealized case of a purely Lorentzian line shape p ¼ 1 and for a purely Gaussian line shape p ¼ 2. ...
Nitrogen was found to be the most common impurity occurring in natural diamonds, which made its presence or absence a logical basis for diamond classification. ...
For example, a product of two FID decays, one with p ¼ 1 and one with p ¼ 2, corresponds to a Voigt profile line shape. ...
doi:10.1103/revmodphys.92.015004
fatcat:rdexbzhpdzddvpa2gwaiziakou
Logical Theories for Fragments of Elementary Geometry
[chapter]
2007
Handbook of Spatial Logics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Besides the geometric aspects of such structures we look at their logical (first-order and modal) theories and discuss logical issues such as: expressiveness and definability, axiomatizations and representation ...
results, completeness and decidability, and interpretations between structures and theories. ...
Philippe Balbiani and Dimiter Vakarelov were supported by the ECO-NET project 08111TL. ...
doi:10.1007/978-1-4020-5587-4_7
fatcat:wx2kmogq2zgidm2ybmf2hvubkq
The modal logic of affine planes is not finitely axiomatisable
2008
Journal of Symbolic Logic (JSL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. ...
To evaluate formulas, we regard an affine plane as a Kripke frame with two sorts (points and lines) and three modal accessibility relations, namely the point-line and line-point incidence relations and ...
In [13] , Venema viewed projective planes in a somewhat more straightforward way, as Kripke frames with two sorts (points and lines), and two modal accessibility relations (incidence between points and ...
doi:10.2178/jsl/1230396757
fatcat:ojbexazqxbd63nt5gysnmzczti
Neoliberal Cities: The Remaking of Postwar Urban America edited by Andrew J. Diamond and Thomas J. Sugrue
2021
Journal of Interdisciplinary History
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Diamond and Thomas J. ...
In a book informed by the insights of social anthropology and gender studies, among other fields, two lines of exposition or emphasis stand out. ...
doi:10.1162/jinh_r_01719
fatcat:gleilor32fggbbdjvz3e7gdqna
Interval Temporal Logics: a Journey
2011
Bulletin of the European Association for Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We discuss a family of modal logics for reasoning about relational structures of intervals over (usually) linear orders, with modal operators associated with the various binary relations between such intervals ...
and (un)decidability of the satisfiability problem for the family of interval logics. ...
Sciavicco), and the Italian PRIN project Innovative and multi-disciplinary approaches for constraint and preference reasoning (D. Della Monica, A. Montanari). ...
dblp:journals/eatcs/MonicaGMS11
fatcat:mlerxzwp6ncqzegftg3djo7dfy
A robust evolutionary framework for multi-objective optimization
2008
Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We argue that such a functionally decomposed and modular implementation of NSGA-II is probably the reason for it's popularity and robustness in solving various types of multi-objective optimization problems ...
NSGA-II follows three independent principles -domination principle, diversity preservation principle and elite preserving principle -which make NSGA-II a flexible and robust EMO procedure in the sense ...
As a result, for a solution in a region of the Pareto-optimal front more or less parallel to the projected plane (such as solution 'a'), the original crowded distance da and projected crowding distance ...
doi:10.1145/1389095.1389223
dblp:conf/gecco/Deb08
fatcat:tm4ornflezayhhn4axspsqwwg4
Toward a Formal Theory of Information Structure
[chapter]
2013
Evolution of Semantic Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
It was also supported in part by DARPA's "Learning by Reading: The Möbius Project" (NBCHD030010 TO #0007), and in part under the IARPA (DTO) AQUAINT program, contract N61339-06-C-0160. ...
Acknowledgements We have profited from discussions with and work by Eduard Hovy, Nishit Rathod, Midhun Ittychariah, and Paul Martin. The opinions expressed here, however, are entirely our own. ...
a two-dimensional plane. ...
doi:10.1007/978-3-642-34997-3_6
fatcat:fnrqslwe35aljebmricxqxle7i
Zonal flows in plasma—a review
2005
Plasma Physics and Controlled Fusion
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The implications of zonal flow phenomena for confinement in, and the phenomena of fusion devices are discussed. ...
Special attention is given to the comparison of experiment with theory and to identifying directions for progress in future research. ...
The energy was no longer conserved between particles and fluctuating fields, and a precious indicator of the quality of numerical integration was lost. ...
doi:10.1088/0741-3335/47/5/r01
fatcat:kkikqpu3grap7dycvgze72wki4
Searching for the right balance between openness and closure: Spatial logics of crisis management and control in the policy response to pandemic disease such as COVID‐19
2022
Journal of Contingencies and Crisis Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
This paper argues that at its very core, the policy response to a pandemic such as COVID-19 is shaped by the search for the right balance between openness and closure, mobility and public safety. ...
spatial logics of control and restriction through which differing degrees and modalities of closure and openness are being articulated in the context of infectious disease. ...
The three spatial logics are used as a basic structure for the present discussion and set as a heuristic framework for future work. ...
doi:10.1111/1468-5973.12392
fatcat:l46bkocql5eixh4kkxhcr4ss7i
Quantifying the multi-level nature of tiling interactions
[chapter]
1998
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
And I apologize for not learning patience more quickly. Nor have I found anything quite so useful as working with, being advised by imaginative folks. ...
inexorably approaches the window, behind which perches a fluttering bird. As inexorable, I suppose, as my clambering, noisy, "whatcha looking at, Simon?", clodhopping entrance. I try, Simon! ...
, and each point is a choice of values for the two parameters. ...
doi:10.1007/bfb0032680
fatcat:siqubxgnfnbwfblw53oluicaie
OBLIGATION, FREE CHOICE, AND THE LOGIC OF WEAKEST PERMISSIONS
2015
The Review of Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We argue for its philosophical plausibility, study its expressive power in neighborhood models, provide a complete Hilbert-style axiom system for it and show that it can be extended and applied to practical ...
AbstractWe introduce a new understanding of deontic modals that we callobligations as weakest permissions. ...
We then provide a sound and complete axiom system for that logic.
Syntax and semantics. We work in a propositional modal logic with three "boxes". ...
doi:10.1017/s1755020315000209
fatcat:74x43d4sqnhzfpzmqsouaawppe
On probability of surf-riding in irregular seas with a split-time formulation
2016
Ocean Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
An approximate metric for the likelihood of surf-riding in irregular waves has been proposed as the distance, in the phase plane, between the instantaneous position of a ship and the stable surfriding ...
Further work includes studying the properties of the surfriding phase plane in irregular waves and statistics of surf-riding occurrences. ...
Ki-Han Kim, and Dr. Thomas Fu, and by ONR Global under Dr. Richard Vogelsong and Dr. Woei-Min Lin. The authors greatly appreciate their support. ...
doi:10.1016/j.oceaneng.2016.04.003
fatcat:jom3bi2zybc2lbupqc6pqcfxhm
« Previous
Showing results 1 — 15 out of 1,820 results