Search results for " In C"

CiliaCarta: An integrated and validated compendium of ciliary genes

2019

The cilium is an essential organelle at the surface of mammalian cells whose dysfunction causes a wide range of genetic diseases collectively called ciliopathies. The current rate at which new ciliopathy genes are identified suggests that many ciliary components remain undiscovered. We generated and rigorously analyzed genomic, proteomic, transcriptomic and evolutionary data and systematically integrated these using Bayesian statistics into a predictive score for ciliary function. This resulted in 285 candidate ciliary genes. We generated independent experimental evidence of ciliary associations for 24 out of 36 analyzed candidate proteins using multiple cell and animal model systems (mouse…

Protezione internazionale: le questioni relative alla certificazione della data della procura nel ricorso per Cassazione alle Sezioni Unite

2021

Lo scritto esamina la disciplina speciale del procedimento in materia di protezione internazionale davanti la Corte di Cassazione The essay delas with the special legislation in proceeding concerining International protection before the Court of Cassazione

Childhood trauma and substance use underlying psychosis: a systematic review

2020

[EN] Background: Schizophrenia spectrum disorders (SSD) are mental diseases caused by a combination of genetic susceptibility and a number of environmental factors. Among these factors, the role of traumatic events suffered in childhood, as well as that of substance use, have been of particular research interest. Objectives: To conduct a systematic review to clarify whether there is an interaction between childhood trauma and substance use related to the diagnosis or symptoms of SSD. It was also the objective of this review to collate the associations that may exist between the three variables of the study (trauma, substance use and psychosis). Methods: We conducted a systematic search resu…

Basic Properties of Quasivarieties

2015

This chapter supplies basic facts concerning quasivarieties and the equational systems associated with quasivarieties. Many of these facts are of syntactical character. An equational logic is an extension of the familiar Birkhoff’s logic. The narrative structure of the book is strictly linked with the properties of lattices of theories of equational logics. Examining these lattice requires formal tools. They are introduced in this part; some of them are new.

Protoalgebraicity and the Deduction Theorem

2001

This chapter is intended as an introduction to the Deduction Theorem and to applications of this theorem in metalogic.

Quantum Finite State Transducers

2000

We introduce quantum finite state transducers (qfst), and study the class of relations which they compute. It turns out that they share many features with probabilistic finite state transducers, especially regarding undecidability of emptiness (at least for low probability of success). However, like their `little brothers', the quantum finite automata, the power of qfst is incomparable to that of their probabilistic counterpart. This we show by discussing a number of characteristic examples.

Ceļš: Teoloģijas fakultātes teoloģisks un kultūrvēsturisks izdevums; Nr.57

2006

L'effettiva applicazione del principio del contraddittorio nel procedimento amministrativo tributario tra svolte, ripensamenti e attese

2015

The right to a proper hearing in the administrative tax proceedings represents an essential element of the full exercise of the taxpayer’s right of the defense (art. 24 of the Italian Constitution), as well as of the implementation of the principle of good performance and impartiality of tax administration (art. 97 of the Italian Constitution), as recognized by the constitutional Court and the Supreme Court case law, in the light of European and international law. Taxpayer’s right to a proper hearing, as part of the rights of the defense, is a general principle of Community law which applies where the tax authorities are minded to adopt a measure which will adversely affect an individual. L…

Left-star order structure of Rickart *-rings

2015

Janowitz proved in 1983 that the initial segments of a Rickart *-ring with the star order are orthomodular posets. In this paper, the same result is proved for the left-star order , which was introduced by Marovtet al., by finding an orthogonality which corresponds to in a certain way and then applying a result proved by Cīrulis which states that the initial segments of any quasi-orthomodular set are orthomodular.

Investigating Potential Alignments between Modelica Standard Library and SAREF Ontologies

2021

International audience; Simulation tools based on the Modelica language provide comprehensive modelling and simulation approaches for building energy systems. However, the simulation and optimisation of such systems are data-driven processes, lacking a common understanding of information structure within the process. This paper investigates the possible semantic alignments of the Smart Appliances REFerence (SAREF) ontology and its extension for building domain, SAREF4BLDG, with the Modelica Standard Library (MSL). Using the MSL, a residential heating system has been modelled in OpenModelica, an open-source modelling and simulation environment. Then, SAREF and its extension SAREF4BLDG semant…