Results 21 to 30 of about 235,856 (255)

A Formal Executable Semantics of Verilog [PDF]

, 2010
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of the official language standard, and ...
Katelman, Michael, Meredith, Patrick, Meseguer, Jos??, Rosu, Grigore   +3 more
core   +1 more source

Is There a Procedural Logic to Architecture? [PDF]

2013 IEEE Conference on Computer Vision and Pattern Recognition, 2013
Urban models are key to navigation, architecture and entertainment. Apart from visualizing facades, a number of tedious tasks remain largely manual (e.g. compression, generating new facade designs and structurally comparing facades for classification, retrieval and clustering).
Weissenberg, Julien, Riemenschneider, Hayko, Prasad, Mukta, Van Gool, Luc   +3 more
openaire   +2 more sources

Criminal Procedural Code of the Russian Federation: evaluation of effectiveness and measures for its improvement [PDF]

Пенитенциарная наука, 2021
Introduction: the article analyzes provisions of the Criminal Procedural Code of the Russian Federation and its impact on the implementation of key legal institutions designed to ensure respect for the rights and legitimate interests of criminal ...
BORIS YA. GAVRILOV
doaj   +1 more source

Automating relatively complete verification of higher-order functional programs [PDF]

, 2013
We present an automated approach to relatively completely verifying safety (i.e., reachability) property of higher-order functional programs. Our contribution is two-fold.
Kobayashi Naoki, Terauchi Tachio, Unno Hiroshi, 海野 広志   +3 more
core   +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

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

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

An ontology framework for developing platform-independent knowledge-based engineering systems in the aerospace industry [PDF]

, 2014
This paper presents the development of a novel knowledge-based engineering (KBE) framework for implementing platform-independent knowledge-enabled product design systems within the aerospace industry.
Sanya, I. O., Shehab, Essam
core   +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

Validation of the Pediatric Arthritis Ultrasound Scoring System for the Elbow, Wrist, and Finger Joints in Children With Juvenile Idiopathic Arthritis

Arthritis Care &Research, EarlyView.
Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez, Pinar Ozge Avar‐Aydin, Kelly Rogers, Daniel J. Lovell, Jennifer Huggins, Alexei Grom, Hermine I. Brunner, Grant S. Schulert, Sheila T. Angeles‐Han, Mekibib Altaye, Amy Cassedy, Arthur B. Meyers, Tracy V. Ting   +12 more
wiley   +1 more source