Search results for "Logics"
showing 10 items of 124 documents
Quantum algorithms for formula evaluation
2010
We survey the recent sequence of algorithms for evaluating Boolean formulas consisting of NAND gates.
Rapid construction of algebraic axioms from samples
1991
Abstract An axiom is called reliable if it is confirmed in several places in a given sample of algebra. A very effective algorithm for enumerating such axioms is described.
Progress Report The ItalianSocietyofGastroenterology(SIGE)andtheItalianGroupforthestudy of InflammatoryBowelDisease(IG-IBD)ClinicalPracticeGuidelines…
2011
Biological therapiesareanimportantstepinthemanagementofInflammatoryBowelDiseases.Incon- sideration ofhighcostandsafetyissuesthereistheneedtohaveclearrecommendationsfortheiruse. Despite theAmericanGastroenterologicalAssociationandtheEuropeanCrohn’sandColitisOrganisation have publishedexhaustiveInflammatoryBowelDiseaseguidelines,nationalguidelinesmaybeneces- sary asculturalvalues,economicalandlegalissuesmaydifferbetweencountries.Forthesereasonsthe Italian SocietyofGastroenterologyandtheItalianGroupforthestudyofInflammatoryBowelDisease have decidedtoelaboratetheItalianguidelinesontheuseofbiologicsinInflammatoryBowelDisease. The followingitemshavebeenchosen:definitionsofactive,inactive,steroidd…
Visualization2.mov
2019
movie representing the subtraction hologram derived from Eq. 3 in the paper
Visualization2.mov
2019
movie representing the subtraction hologram derived from Eq. 3 in the paper
Oral CorticoSteroid sparing with biologics in severe asthma: A remark of the Severe Asthma Network in Italy (SANI)
2020
According to the data derived from several national and international registries, including SANI (Severe Asthma Network Italy), and considering the strong impact that frequent or regular use of oral corticosteroid has on quality of life (QoL) of severe asthmatics, as well as on the costs for managing corticosteroid-related diseases, oral corticosteroid sparing up to withdrawal should be considered a primary outcome in the management of severe asthma. New biologics have clearly demonstrated that this effect is possible, with concomitant reduction in the rate of exacerbations and in symptom control. Then, there is no reason for using so frequently oral corticosteroid before having explored al…
Efficient Switches with QoS Support for Clusters
2007
Current interconnect standards providing hardware support for quality of service (QoS) consider up to 16 virtual channels (VCs) for this purpose. However, most implementations do not offer so many VCs because they increase the complexity of the switch and the scheduling delays. We have shown that this number of VCs can be significantly reduced, because it is enough to use two VCs for QoS purposes at each switch port. In this paper, we cover the weaknesses of that proposal and, not only we reduce VCs, but we also improve performance due to the flexibility assigning buffer memory.
Note about the concept of ‘Net Multipliers'
2002
International audience; Net multipliers, as introduced by Oosterhaven and Stelder (2002) accept outputs as entries instead of final demand. They are found by multiplying ordinary multipliers by the final demand ratio over the sector's output. This pragmatic solution suffers from ratio instability over time. The alternative net multipliers proposed here are based on the interpretation of the Leontief inverse matrix for the effects generated at each round. The new solution is not sensitive to the size of impacts. Now net multiplier is equal to the corresponding ordinary multiplier minus one, and the ordering of multipliers is unchanged.
Bridging the Gap between Advanced Distributed Teaching and the Use of Learning Management Systems in the University Context
2007
The selection of appropriate learning management system (LMS) is critical for supporting advanced distributed teaching. A survey was targeted for understanding the features that the LMS offer for university teachers and to find if the advanced features of the LMS were utilized, The findings imply that there is a gap between the LMS tools for advanced distributed teaching and their use in the university context. The teachers using LMS were also found to be heterogeneous by their computer skills and LMS uses.
Adaptive algorithms robust to impulsive noise with low computational cost using order statistic
2009
Abstract In this paper a family of adaptive algorithms robust to impulsive noise and with low computational cost are presented. Unlike other approaches, no cost functions or filtering of the gradient are considered in order to update the filter coefficients. Its initial basis is the basic LMS algorithm and its sign-error variant. The proposed algorithms can be considered as some sign-error variants of the LMS algorithm. The algorithms are successfully tested in terms of accuracy and convergence in a standard system identification simulation in which an impulsive noise is present. Simulations show that they improve the performance of LMS variants that are robust to impulsive noise.