Results 111 to 120 of about 559,747 (351)

Cyclic Proofs, Hypersequents, and Transitive Closure Logic [PDF]

, 2022
Anupam Das, Marianna Girlando
openalex   +1 more source

Assessing inconsistencies in the FITradeoff method: a comparison of two preference modeling paradigms

International Transactions in Operational Research, EarlyView.
Abstract Many decision‐making processes are susceptible to errors and inconsistencies introduced by decision‐makers (DMs). The development of decision support systems (DSS) has brought about a way to guide DMs through complex decision scenarios. However, due to the complexity of the process, inconsistencies may still arise.
Evanielle Barbosa Ferreira, Lucia Reis Peixoto Roselli, Adiel Teixeira de Almeida   +2 more
wiley   +1 more source

On the Power of Deterministic Transitive Closures

Information and Computation, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gradel, E., Mccolm, G.L.
openaire   +2 more sources

Local Networks and New Business Formation

Journal of Economics &Management Strategy, EarlyView.
ABSTRACT New business formation is a key driver of regional transformation and development. While we know that a region's attractiveness for new businesses depends on its resources, infrastructure, and human capital, we know little about the role of local business networks in promoting or impeding the birth of new firms.
Lena Füner, Marius Berger, Johannes Bersch, Hanna Hottenrott   +3 more
wiley   +1 more source

A Specialised Computing Device for Multiplying Square Binary Matrices Based on Multiport Parallel-Pipelined Memory

Tikrit Journal of Engineering Sciences
This article considers matrix multiplication in the problem of finding the transitive closure of a binary relation with the transitivity property, as well as in the construction of the reachability and counter-reachability matrices in general graphs. An
Mohammed H. Najajra, Aleksei V. Bolgak, Eduard I. Vatutin, Ismail F. Amer   +3 more
doaj   +1 more source

Has the Euro Paid Off? A Study of the Trade‐Induced Welfare Effects of the EMU

Journal of Money, Credit and Banking, EarlyView.
Abstract This paper aims to provide policy‐relevant insights into the effect of the euro on trade. It uses a new data set of bilateral international and intranational manufacturing trade flows for 69 countries over the period 1986−2016. A general equilibrium gravity model is estimated to quantify the welfare effect of the euro and its impact on ...
Silviano Esteve‐Pérez, Salvador Gil‐Pareja, Rafael Llorca‐Vivero, Jordi Paniagua   +3 more
wiley   +1 more source

TC: Optimizing compiler

SoftwareX
In scientific codes, particularly those used in simulations, the majority of execution time is consumed by the processing of program loops. However, the ordering of statement instances constituting a loop nest, which arises from its naive, typically hand-
Piotr Skotnicki
doaj   +1 more source

Temporal floorplanning using the three-dimensional transitive closure subGraph [PDF]

, 2007
Ping-Hung Yuh, Chia-Lin Yang, Yao‐Wen Chang   +2 more
openalex   +1 more source

Determining bismuth content in GaAsBi alloys by energy‐dispersive X‐ray spectroscopy: A case study with multiple sets of k*‐factors for analytical transmission electron microscopy

Journal of Microscopy, EarlyView.
Abstract Measuring the bismuth (Bi) content of ternary gallium arsenide bismuthide (GaAsBi) alloys is important because it sensitively influences their bandgap, and Bi is known to segregate vertically to the surface and sometimes also laterally during growth, so elemental distribution maps need to be quantified.
T. Walther
wiley   +1 more source

Reaching Classicality through Transitive Closure

Logic and Logical Philosophy
Recently, Da Ré, Szmuc, Chemla and Égré (2024) showed that all logics based on Boolean Normal monotonic three-valued schemes coincide with classical logic when defined using a strict-tolerant standard (st). Conversely, they proved that under a tolerant-strict standard (ts), the resulting logics are all empty.
Quentin Blomet, Bruno Da Ré
openaire   +2 more sources