Results 101 to 110 of about 26,844 (296)
Admissibility, compatibility, and deducibility in first-order sequent logics [PDF]
Computer Science Journal of Moldova, 2015 The paper is about the notions of admissibility and compatibility and their significance for deducibility in different sequent logics including first-order classical and intuitionistic ones both without and with equality and, possibly, with modal rules.
Alexander Lyaletski
doaj
, 2016 This chapter is a brief exploration of general issues of courtroom admissibility, including the definition of an expert witness and their role in court.
Mallett, Xanthe
core +1 more source
On structural controllability in complex networks with periodic switching topologies
Asian Journal of Control, EarlyView.Abstract This paper investigates the structural controllability of complex networks with periodic switching topologies. First, several graph transformations that preserve structural controllability are demonstrated. Based on the n‐walk theory, a criterion is derived that determines structural controllability by analyzing only the joint graph within a ...
Jingrui Hou +3 more
wiley +1 more source
Asian Journal of Control, EarlyView.ABSTRACT The synchronization accuracy between the wafer stage and reticle stage in lithography is critical to overlay and critical dimension uniformity. Existing iterative learning control (ILC) methods indirectly optimize synchronization via time‐domain errors, failing to balance low‐frequency tracking accuracy and high‐frequency noise suppression ...
Xin Zhou +4 more
wiley +1 more source
Theoretical Computer Science, 2002 We give a new definition of admissible representations which allows to handle also non countably-based topological spaces in the framework of Type-2 Theory of Effectivity. We prove that admissible representations \(\delta_{X},\delta_{Y}\) of topological spaces \(X,Y\) have the desirable property that every partial function \(f\subseteq X\rightarrow Y\)
openaire +1 more source
Does Stakeholder Pressure Promote Green Innovations and Performance of Agribusiness Companies?
Business Strategy and the Environment, EarlyView.ABSTRACT The sustainability of agribusiness companies is guided by multiple, sometimes paradoxical, interests. Green innovation is strategic for sustainable development; however, literature shows inconsistencies regarding its impact on environmental and economic‐financial performance.
Vanderlei dos Santos +4 more
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Sustainable governance depends on the joint functioning of institutional quality, fiscal discipline, environmental performance, and socioeconomic inclusion. However, many composite indicators rely on subjective weighting schemes and leave the structural role of governance underspecified.
Ömer Faruk Rençber +3 more
wiley +1 more source
La Impugnación de la Competencia en Asuntos Contenciosos ante la Corte Internacional de Justicia
ACDI: Anuario Colombiano de Derecho Internacional, 2008 In this comment the different procedures available to a State whichis unwilling to appear before the International Court of Justice are discussed. Challenges to the Court’s jurisdiction or the admissibility of the application are explained, including the
Juan José Quintana
doaj
Movement of Evidence in the European Union: Challenges for the European Investigation Order
Baltic Journal of Law & Politics, 2016 The issue of international cooperation in criminal matters has interested legal theorists and practitioners for decades. In this area of law there are certain challenges that can only be tackled by using the joint efforts of the States, which is ...
Jurka Raimundas +1 more
doaj +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT This study theorises and empirically tests performative purpose alignment theory (PPAT), which conceptualises corporate purpose as a performative artefact materialised through discursive and multimodal signals. To operationalise this, we introduced the SDG–Purpose Alignment Index (SPAI), a computational construct that quantifies the thematic ...
Augustine Okeke, Ifeanyi Ugbebor
wiley +1 more source