Results 21 to 30 of about 1,092,525 (253)

Complete synthesis of identity templates for quantum and reversible logic MCT circuits using SAT-solvers and proposal of suboptimality witness notion [PDF]

International Journal of Electronics and Telecommunications
In this study, we introduce a procedural generation technique for Identity Templates applicable to quantum and reversible logic circuits. These templates are recognized for their significant role in enhancing the efficiency of quantum and reversible ...
Adam Jagielski
doaj   +1 more source

THE LEGAL NATURE OF THE PERIOD FOR APPLYING TO THE COURT FOR ADMINISTRATIVE PROCEEDINGS

Правовое государство: теория и практика, 2022
In cases of administrative proceedings in courts of general jurisdiction and in arbitration courts, a general period of three months is established for an application to the court to challenge unlawful acts of authorities.
YUDIN Andrey Vladimirovich
doaj   +1 more source

Procedural Budgeting: A Normative Approach to the Role of the Public Budgeting in Construction the Future Reality [PDF]

حکمرانی و توسعه, 2021
Budgeting can be treated as the heart of public policy-making process, because it involves choosing the ends and tools for achieving them, dividing the financial and economic resources of the community between the public and private sectors, and ...
Miryaghob Seyed rezaei, Ali Asghar pourezzat   +1 more
doaj   +1 more source

Procedural problems in the consideration of climate protection cases [PDF]

E3S Web of Conferences, 2023
The number of disputes initiated by organisations, public associations and citizens trying to fight for climate justice and carbon neutrality is growing every year in the world.
Strugovets Liliya
doaj   +1 more source

APPEAL RATE, REVERSAL RATE AND JUDICIAL EFFICIENCY

Revista Eletrônica do Curso de Direito da UFSM, 2019
The present paper explores how a study of the appealability rate and the reversal rate of a given court can reveal the procedural dynamics in any jurisdiction and point out solutions to improve the performance of the public adjudicative service.
Ivo Teixeira Gico Junior, Henrique Haruki Cavalcante Arake   +1 more
doaj   +1 more source

Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic

International Conference on Computer Aided Verification, 2020
There has been a large body of work on local reasoning for proving the absence of bugs, but none for proving their presence. We present a new formal framework for local reasoning about the presence of bugs, building on two complementary foundations: 1 ...
A. Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, P. O'Hearn, Jules Villard   +5 more
semanticscholar   +1 more source

Neutrosophic TOPSIS-OWA framework for evaluating data protection strategies in judicial systems [PDF]

Journal of Fuzzy Extension and Applications
This study presents a novel neutrosophic multi-criteria decision-making approach, combining the Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) and Ordered Weighted Averaging (OWA) methods, to assess data protection strategies ...
Luis Ramiro Ayala Ayala, Eduardo Luciano Hernández Ramos, Sebastián Alejandro Contento Correa   +2 more
doaj   +1 more source

Enhancing Judicial Impartiality in Ecuador: A Fuzzy Cognitive Map Approach Using Neutrosophic Logic and Fuzzification [PDF]

Neutrosophic Sets and Systems
Fuzzy Cognitive Map (FCM) approach, with neutrosophic logic and fuzzification applied to assign weights to the relationships between key concepts. Through expert consensus, eight critical factors were identified: Judicial Independence, Transparency ...
Robert Alcides Falconi Herrera
doaj   +1 more source

Relevance, Admissibility and Probative Value in a Rational System of Evidence: A South African Perspective

Potchefstroom Electronic Law Journal, 2022
In the South African legal system of fact finding and proof the relevance of an evidentiary fact is not governed by the rules of the law of evidence but by a set of extra-legal principles based on the logic of inferential reasoning and probability ...
Adrian Bellengere, Constantine Theophilopoulos   +1 more
doaj   +1 more source

Optimization of the Composition of Participants in Criminal Pre-Trial Proceedings

Сибирское юридическое обозрение
Alongside establishing the procedure for criminal proceedings, a primary objective of criminal procedure legislation is to precisely define the legal status and procedural powers of participants in criminal procedure relations.
O. S. Morozova
doaj   +1 more source