Results 81 to 90 of about 403 (203)
Substructurality and residuation in logic and algebra [PDF]
, 2015 A very and natural way of introducing a logic is by using a sequent calculus, or Gentzen system. These systems are determined by specifying a set of axioms and a set of rules. Axioms are then starting points from which we can derive new consequences by
Gil Ferez, Josè, GIL FEREZ, JOSE'
core
Progressively Projected Newton's Method
Computer Graphics Forum, EarlyView.Abstract Newton's Method is widely used to find the solution of complex non‐linear simulation problems. To guarantee a descent direction, it is common practice to clamp the negative eigenvalues of each element Hessian prior to assembly—a strategy known as Projected Newton (PN)—but this perturbation often hinders convergence.
J. A. Fernández‐Fernández +2 more
wiley +1 more source
Cancellative residuated lattices as lattice ordered groups with a modality
, 2007 Our work proposes a new paradigm for the study of various classes of cancellative residuated lattices by viewing these structures as lattice-ordered groups with a suitable modal operator (a conucleus).
Tsinakis C., Montagna F.
core +1 more source
Survey on Visualization of Information Diffusion over Networks
Computer Graphics Forum, EarlyView.Abstract Information Diffusion (ID) describes how a value (e.g., a pathogen, a rumor, a packet) spreads through an underlying “medium” network of elements (e.g., a social or computer network). Understanding the information diffusion process is essential to predicting trends, controlling misinformation, and enhancing decision‐making as well as ...
T. Baumgartl +8 more
wiley +1 more source
Ordered groups with a conucleus
, 2010 Our work proposes a new paradigm for the study of various classes of cancellative residuated lattices by viewing these structures as lattice-ordered groups with a suitable operator (a conucleus).
Tsinakis, Constantine, Montagna, Franco
core +1 more source
Building a Potemkin village in occupied China: Japan's wartime system of linked trade, 1939–43
The Economic History Review, EarlyView.Abstract The paper discusses the novel but little‐known exchange rate system of Japanese‐occupied North China during the Second Sino‐Japanese War, in which exporters were given the right to import in the form of a piece of yellow paper, which could be sold in the secondary market.
Shinji Takagi
wiley +1 more source
Metamathematics of Modal Logic
, 1974 The techniques employed in the semantic analysis of non-classical propositional languages fall roughly into two kinds. The first of these, the algebraic method, uses lattices with operators to interpret languages.
Robert Goldblatt (8508723)
core +1 more source
To Grandmother's House We Go: Informal Childcare and Female Labor Mobility
International Economic Review, EarlyView.ABSTRACT We document how childcare costs and the location of extended family influence the labor supply and mobility of US women. Women return to their home locations immediately before fertility events, suggesting that informal childcare needs may motivate home migration. Women who live near their parents have lower child earnings penalties.
Garrett Anstreicher, Joanna Venator
wiley +1 more source
The statute of governance. A pivotal linkage between principles of governance and corporate practices [PDF]
This paper puts forward an innovative construct called the Statute of Governance, by which a company can foster and enhance its corporate governance. The paper argues that it is not enough to list some principles of governance and a set of related good ...
Rodolfo Apreda
core
Reasoning in quantum theory: sharp and unsharp quantum logics
, 2004 The term ``quantum logic" has entered our languages as a synonym for something that doesn't make sense to our everyday rationality. Or, somewhat more technically but still in the common literature, it signifies some generic sort of ...
Giuntini, R +5 more
core +1 more source