Search results for "T1"

showing 7 items of 587 documents

Modal Consequence Relations Extending S4.3: An Application of Projective Unification

2016

We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exhibiting so-called (admissible) passive rules that extend the given logic, and semantically, by providing suitable strongly adequate classes of algebras. This is achieved by applying an earlier result stating that a modal logic $L$ extending $\mathbf{S4}$ has projective unification if and only if $L$ contains $\mathbf{S4.3}$ . In particular, we show that these consequence relations enjoy the strong finite model property, and are finitely based. In this way, we extend the known results by Bull and Fine, from logics, to consequence relations. We also show that the lattice of consequence relation…

projective unificationPure mathematicsUnificationLogicFinite model property02 engineering and technology68T15Lattice (discrete subgroup)01 natural sciencesadmissible rulesComputer Science::Logic in Computer Science0202 electrical engineering electronic engineering information engineeringCountable setFinitaryHeyting algebra08C150101 mathematics03B45MathematicsDiscrete mathematics010102 general mathematicsquasivarietiesModal logicstructural completenessconsequence relations03B35Distributive property06E25$\mathbf{S4.3}$S4.3020201 artificial intelligence & image processingNotre Dame Journal of Formal Logic
researchProduct

Skolen som reformasjonsprosjekt i Norge på 1500–tallet

2019

Artikkelen undersøker latinskolens utvikling i Norge de første 70 årene etter innføringen av reformasjonen. Brudd og kontinuitet med middelalderskolen drøftes. Skiftet av styringsstruktur fra kirken til kongen og embetsverket fremheves som det største bruddet. Til tross for at latinskolen var den viktigste presteutdanningsinstitusjonen på 1500–tallet, ble den ikke en ren kirkeskole. Jeg argumenterer mot oppfatninger om at skolen forandret seg lite, og at reformasjonen virket negativt inn på den. Tvert om viser jeg at latinskolene ble utbygd og fikk stor betydning for implementeringen av selve trosskiftet. Jeg argumenterer også for at skolene i Norge kunne være tjent med sentralstyringen.

reformasjonenlatinskolelcsh:Doctrinal TheologyVDP::Humaniora: 000::Teologi og religionsvitenskap: 150lcsh:Practical Theologyreformationlatin schoolGeneral Medicinekirkeordinansenlcsh:BT10-1480presteutdanninglcsh:BV1-5099Teologisk Tidsskrift
researchProduct

La pluralità dello spazio pubblico: una analisi ricognitiva nel centro storico di Palermo

2011

La letteratura inerente allo sviluppo urbano moderno e postmoderno, da Michel Foucault a Henri Lefebvre, ha aperto un dibattito in merito alla concezione classica di apertura/accessibilità dello spazio pubblico, evidenziando aspetti quali la esclusione spaziale, la sorveglianza e il controllo sociale, la questione del “diritto alla città”. Si assiste ad una progressiva riduzione o sostituzione dello spazio pubblico – privatizzato, fortificato, commercializzato – di cui risentono in primis i soggetti più deboli e marginali. Talvolta emergono nuove forme di produzione sociale dello spazio, ad esempio tramite riappropriazione informale di “luoghi di scarto”. Il lavoro di ricerca ha focalizzato…

spazio pubblicolcsh:NA9000-9428pluralitàspazio pubblico centro storico diritto alla cittàlcsh:HT101-395lcsh:Human ecology. Anthropogeographylcsh:GF1-900Settore ICAR/21 - UrbanisticaPalermolcsh:Aesthetics of cities. City planning and beautifyinglcsh:Urban groups. The city. Urban sociology
researchProduct

STAT1 and Its Crucial Role in the Control of Viral Infections

2022

The signal transducer and activator of transcription (STAT) 1 protein plays a key role in the immune response against viruses and other pathogens by transducing, in the nucleus, the signal from type I, type II and type III IFNs. STAT1 activates the transcription of hundreds of genes, some of which have been well characterized for their antiviral properties. STAT1 gene deletion in mice and complete STAT1 deficiency in humans both cause rapid death from severe infections. STAT1 plays a key role in the immunoglobulin class-switch recombination through the upregulation of T-bet; it also plays a key role in the production of T-bet+ memory B cells that contribute to tissue-resident humoral memory…

virusesVirus ReplicationAntiviral Agentsimmune responseCatalysisInorganic ChemistryMiceSTAT1AnimalsHumansPhysical and Theoretical ChemistryMolecular BiologySpectroscopyAntiviral AgentAnimalSARS-CoV-2Virus Diseases.Organic ChemistryCOVID-19General MedicineComputer Science ApplicationsSTAT1 Transcription FactorVirus DiseasesInterferonviral infectionHumanInternational Journal of Molecular Sciences
researchProduct

La carga mental de los profesionales de Enfermería en relación con su turno laboral

2019

Resumen: La carga mental es el conjunto de requerimientos mentales, cognitivos o intelectuales a los que se ven sometidos los trabajadores a lo largo de su jornada laboral. El presente estudio pretende conocer la prevalencia de los niveles de carga mental en profesionales de Enfermería de varias unidades de hospitalización de un hospital, así como su relación con el turno de trabajo y otros factores sociodemográficos y laborales. Para ello se ha realizado un estudio cuantitativo de carácter descriptivo, prospectivo y transversal. Los resultados nos indican que un 55% de los enfermeros tienen un nivel de carga mental medio y más del 40%, un nivel alto. Abstract: The mental load is the set of…

workenfermeronurseRT1-120carga de trabajoNursingtrabajoworkloadENE. Revista de Enfermería
researchProduct

The use of social media for knowledge acquisition and dissemination in B2B companies: an empirical study of Finnish technology industries

2019

Scholars and practitioners of knowledge management have paid increasing attention to the adoption of social media in business-to-business (B2B) setting for knowledge sharing; however, both the theoretical and empirical research in this domain are quite fragmented. The aim of this research is to deepen the understanding about the B2B companies’ awareness of the potentials of social media in improving their absorptive capacity and, consequently, if and how such companies deploy knowledge strategies based on social media adoption. We carried out an empirical survey of Finnish technology companies operating purely in B2B markets. Results highlight that social media adoption is still in a prelim…

yritysmarkkinointiKnowledge managementsocial mediaabsorptive capacitysosiaalinen mediaFinnish B2B companiesLibrary and Information SciencesManagement Information Systemsempirical studyEmpirical researchAbsorptive capacityManagement of Technology and Innovation0502 economics and businessSocial mediaBusiness and International Managementta512ta113HD2321_IndustryT1business.industry05 social sciencesKnowledge acquisitionknowledge strategyKnowledge sharingManagement information systems050211 marketingbusiness050203 business & management
researchProduct

Evolución de la oferta exportable en Santander, Colombia 2000-2012: Un análisis a través del índice Herfindahl Hirschmann

2016

Este documento tuvo como objetivo analizar la evolución de la oferta exportadora de Santander entre el año 2000 y 2012, revisando los patrones de concentración o diversificación. Para ello utilizó como metodología el cálculo del índice de Herfindahl-Hirschmann. Los hallazgos encontrados establecen que la oferta exportable se ha concentrado por lo que las políticas diseñadas para promover la diversificación de producto no han tenido los efectos esperados y es necesario el diseño de nuevos lineamientos para tal fin.

Índice de Herfindahl-HirschmannComercio exteriorDiversificación exportadoraWelfare economicsConcentración exportadoraInternacionalizaciónlcsh:Technology (General)Economicslcsh:T1-995lcsh:H1-99Diversification (marketing strategy)lcsh:Social sciences (General)Crecimiento económico I+D Revista de Investigaciones
researchProduct