Search Results - "Damiani, Maurizio"
-
1
Total wrist arthrodesis with and without arthrodesis of the carpoMetacarpal joint (WAWWAM): study protocol
Published in BMC musculoskeletal disorders (08-09-2021)“…Abstract Background It is controversial whether or not the carpometacarpal joint (CMCJ) should be included in total wrist arthrodesis (TWA). Complications…”
Get full text
Journal Article -
2
Partially unate Boolean functions: Properties of their sum-of-products representations
Published in Discrete Applied Mathematics (30-10-2023)“…Quine showed in Quine (1953) that unate Boolean functions have properties not shared by general functions. Among such properties are the uniqueness of their…”
Get full text
Journal Article -
3
Calcific tendinosis of rotator cuff with intraosseous extension
Published in Journal of medical imaging and radiation oncology (01-04-2020)“…Summary Calcific tendinosis is characterized by macroscopic deposits of hydroxyapatite within the tendon. Commonest location is rotator cuff of shoulder…”
Get full text
Journal Article -
4
Impact of age and donor sites on bioactivities of tendon cells in autologous tenocyte implantation (OrthoATI™) for treatment of chronic tendinopathy
Published in Journal of ISAKOS (01-08-2024)“…Autologous tenocyte implantation (OrthoATI™) therapy has demonstrated efficacy in treating patients with tendinopathy at various anatomical sites. This study…”
Get full text
Journal Article -
5
Reverse Shoulder Arthroplasty for the treatment of Proximal humeral fractures in the Elderly (ReShAPE trial) : study protocol for a multicentre combined randomised controlled and observational trial
Published in Current controlled trials in cardiovascular medicine (28-02-2017)“…Proximal humeral fractures are common in older patients. The majority are minimally displaced and are associated with good outcomes after nonoperative…”
Get full text
Journal Article -
6
Coronoid and radial head reconstruction in chronic posttraumatic elbow subluxation
Published in Instructional course lectures (2009)“…Chronic elbow subluxation is uncommon but challenging to treat. Although many treatment methods have been described, few clinical outcome studies have been…”
Get more information
Journal Article -
7
The expanding role of imaging in the diagnosis and management of sports injuries
Published in Australian family physician (01-01-2020)“…BackgroundMedical imaging has an increasing role in the early diagnosis and management of sports injuries. Post-injury management decisions are becoming more…”
Get full text
Journal Article -
8
The state reduction of nondeterministic finite-state machines
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-11-1997)“…Nondeterministic finite-state machines (NFSM's) are a powerful tool for specifying the desired behavior of a sequential system along with its degrees of…”
Get full text
Journal Article -
9
Enabling testability of fault-tolerant circuits by means of IDDQ-Checkable voters
Published in IEEE transactions on very large scale integration (VLSI) systems (01-08-2000)Get full text
Journal Article -
10
Enabling testability of fault-tolerant circuits by means of I sub(DDQ)-checkable voters
Published in IEEE transactions on very large scale integration (VLSI) systems (01-08-2000)“…The reliability of a fault-tolerant circuit may be drastically impaired by the presence of maskable faults that never affect its functionality. Design for…”
Get full text
Journal Article -
11
The disjunctive decomposition of logic functions
Published in 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD) (1997)“…We present an algorithm for extracting a disjunctive decomposition from the BDD representation of F. The output of the algorithm is a multiple-level netlist…”
Get full text
Conference Proceeding Journal Article -
12
Synthesis and optimization of synchronous logic circuits
Published 01-01-1994“…The design automation of complex digital circuits offers important benefits. It allows the designer to reduce design time and errors, to explore more…”
Get full text
Dissertation -
13
Don't care set specifications in combinational and synchronous logic circuits
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-03-1993)“…A unified framework for the specification and computation of don't care conditions for combinational and synchronous multiple-level digital circuits is…”
Get full text
Journal Article -
14
Novel design for testability schemes for CMOS ICs
Published in IEEE journal of solid-state circuits (01-10-1990)“…The authors present ideas for addressing the problem of detecting non-stuck-at faults in CMOS circuits that cannot be revealed by means of conventional methods…”
Get full text
Journal Article -
15
Analysis and design of linear finite state machines for signature analysis testing
Published in IEEE transactions on computers (01-09-1991)“…The authors present a theoretical investigation of the aliasing error probability (AEP) in signature analysis testing by means of linear finite state machines…”
Get full text
Journal Article -
16
The disjunctive decomposition of logic functions
Published in Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design (13-11-1997)“…We present an algorithm for extracting a disjunctive decomposition from the BDD representation of a logic function F. The output of the algorithm is a…”
Get full text
Conference Proceeding -
17
Scheduling and control generation with environmental constraints based on automata representations
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-02-1996)“…We introduce a framework for synthesis of behavioral models in which design information is represented using an automaton model. This model offers the…”
Get full text
Journal Article -
18
Optimization of combinational logic circuits based on compatible gates
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-11-1995)“…This paper presents a set of new techniques for the optimization of multiple-level combinational Boolean networks. We describe first a technique based upon the…”
Get full text
Journal Article -
19
An analytical model for the aliasing probability in signature analysis testing
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-11-1989)“…The Markov chain model of linear feedback shift-registers (LFSRs) for signature analysis testing is analytically solved to obtain the exact expression of the…”
Get full text
Journal Article -
20
Aliasing in signature analysis testing with multiple input shift registers
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01-12-1990)“…An investigation of the properties of multiple input shift registers for signature analysis is presented. The assumption of independent errors at the register…”
Get full text
Journal Article