1,820 Hits in 7.0 sec

Points, lines and diamonds: a two-sorted modal logic for projective planes

Y Venema
1999 Journal of Logic and Computation  
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  
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]

John F. Barry, Jennifer M. Schloss, Erik Bauch, Matthew J. Turner, Connor A. Hart, Linh M. Pham, Ronald L. Walsworth
2019 arXiv   pre-print
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

John F. Barry, Jennifer M. Schloss, Erik Bauch, Matthew J. Turner, Connor A. Hart, Linh M. Pham, Ronald L. Walsworth
2020 Reviews of Modern Physics  
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]

Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov
2007 Handbook of Spatial Logics  
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

Ian Hodkinson, Altaf Hussain
2008 Journal of Symbolic Logic (JSL)  
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

Larry Bennett
2021 Journal of Interdisciplinary History  
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

Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
2011 Bulletin of the European Association for Theoretical Computer Science  
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

Kalyanmoy Deb
2008 Proceedings of the 10th annual conference on Genetic and evolutionary computation - GECCO '08  
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]

Jerry R. Hobbs, Rutu Mulkar-Mehta
2013 Evolution of Semantic Systems  
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

P H Diamond, S-I Itoh, K Itoh, T S Hahm
2005 Plasma Physics and Controlled Fusion  
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

Francisco Klauser, Dennis Pauschinger
2022 Journal of Contingencies and Crisis Management  
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]

Nicholas Mitchell, Larry Carter, Jeanne Ferrante, Karin Högstedt
1998 Lecture Notes in Computer Science  
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


2015 The Review of Symbolic Logic  
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

Vadim Belenky, Kenneth Weems, Kostas Spyrou
2016 Ocean Engineering  
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