Search results for "formal"

A comparative study of the effect of UV and formalin inactivation on the stability and immunogenicity of a Coxsackievirus B1 vaccine

2019

Type B Coxsackieviruses (CVBs) belong to the enterovirus genus, and they cause both acute and chronic diseases in humans. CVB infections usually lead to flu-like symptoms but can also result in more serious diseases such as myocarditis, aseptic meningitis and life-threatening multi-organ infections in young infants. Thus, CVBs have long been considered as important targets of future vaccines. We have previously observed CVB1 capsid disintegration and virus concentration decrease with 12-day long formalin inactivation protocol. Here a scalable ion exchange chromatography purification method was developed, and purified CVB1 was inactivated with UV-C or formalin. Virus morphology and concentra…

Envejecimiento Activo, exitoso y saludable: Impacto del Cuidado y diferencias por Sexo/Género

2019

A medida que aumenta la cantidad de personas mayores en todo el mundo, cada vez es más importante encontrar formas efectivas de fomentar mejores trayectorias de envejecimiento. El enfoque del envejecimiento activo, saludable o con éxito plantea la creación dinámica de un futuro atractivo y positivo para las personas mayores que enfatiza la responsabilidad individual sobre el bienestar en la vejez. El papel del contexto social puede ser relevante en la configuración de lo que significa envejecer bien y en particular el género, como construcción social, puede tener una gran influencia en la trayectoria vital de hombres y mujeres. Las desigualdades de género que se han desarrollado a lo largo …

Incorporating teacher-student dialogue into digital course material : Usage patterns and first experiences

2020

This work-in-progress research investigates teacher-student communication via Learning Management Systems (LMS) in highly populated courses. An LMS called TIM (The Interactive Material) includes a specific commenting technology that attempts to make teacher-student dialog effortless. The research goal is to explore students’ willingness to use the technology and identify patterns of usage. To these ends, a survey with both Likert and open-ended questions was issued to CS1 and CS2 students. A favorable student evaluation was observed while several critical viewpoints that inform technology development were revealed. We noticed that besides appreciating the possibility of making comments, man…

El iusnaturalismo formal de inspiración calvinista en la filosofía social y política de Denis de Rougemont

2011

El pensador Denis de Rougemont, a partir de su antropología filosófica personalista de inspiración calvinista y de una razón práctica de carácter profundamente dialógico, aporta una lectura iusfilosófica calificable de iusnaturalismo formal o deontológico. Un derecho natural humano de contenido histórico y variable, que, a modo de ética pública consensuada por la sociedad civil en el seno de los Estados democráticos de derecho, sirve de base a un prolífico civismo ciudadano, además de dar legitimación universal a los derechos humanos y representar el elemento axiológico ineludible tanto del contrato político como del conjunto del ordenamiento jurídico. ABSTRACT The philosopher Denis de Roug…

Varieties Generated by Certain Models of Reversible Finite Automata

2006

Reversible finite automata with halting states (RFA) were first considered by Ambainis and Freivalds to facilitate the research of Kondacs-Watrous quantum finite automata. In this paper we consider some of the algebraic properties of RFA, namely the varieties these automata generate. Consequently, we obtain a characterization of the boolean closure of the classes of languages recognized by these models.

El cineasta como "flâneur". trazado y formalización de la imagen documental en Guest (José Luis Guerin, 2010)

2015

Canal foliations of S 3

2012

The goal of the article is to classify foliations of S3 by regular canal surfaces, that is envelopes of one-parameter families of spheres which are immersed surfaces. We will add some extra information when the leaves are “surfaces of revolution” in a conformal sense.

The semantics of complex demonstratives: a defense of character theories

2021

Aquesta tesi defensa una aproximació tradicional a la semàntica de demostratius complexos, ço és, expressions com "aquesta taula" o "aquell home". A la teoria clàssica, els demostratius complexos funcionen com qualsevol altre díctic: tal com ocorre amb paraules com ara "jo", "ella" o "ací", es tracta termes que depenen del context i que estan dotats d'un significat descriptiu anomenat "caràcter" que ajuda a fixar-ne referent en cada situació d’ús però que no juga cap més rol una vegada aquest individu ha estat determinat. El seu contingut o contribució proposicional és, al seu torn, un simple objecte. Aquest model dels demostratius complexos es troba justificat en la mesura que les expressi…

Las teorías del derecho en la formación de los jueces | The Theories of Law in the Education of Judges

2014

Resumen: Los jueces asumen una posición sobre qué cuenta o no como derecho cuando resuelven casos. Parece entonces que deberían recibir una buena formación en teoría del derecho, que precisamente intenta ofrecer una respuesta a esa cuestión. En el trabajo analizo las dificultades relativas a la formación de los jueces en teoría del derecho. En la última parte, sostengo que debe formarse a los jueces en diversas teorías del derecho (plausibles) y que las partes del proceso deberían tener una mayor intervención en relación al derecho aplicable. Abstract: Judges take up a position on what counts as law when they decide a case. It seems, then, that they should get a good education in theory of …

Formālisms kā reālās matemātikas filozofija: 14 argumenti

2015

Referāts Latvijas Universitātes 73.zinātniskajā konferencē 2015.gada 13.februārī.