Search results for "model."
showing 10 items of 23664 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…
Motherhood‐induced gene expression in the mouse medial amygdala: Changes induced by pregnancy and lactation but not by pup stimuli
2021
During lactation, adult female mice display aggressive responses toward male intrud-ers, triggered by male- derived chemosensory signals. This aggressive behavior is not shown by pup- sensitized virgin females sharing pup care with dams. The genetic mechanisms underlying the switch from attraction to aggression are unknown. In this work, we investigate the differential gene expression in lactating females ex-pressing maternal aggression compared to pup- sensitized virgin females in the me-dial amygdala (Me), a key neural structure integrating chemosensory and hormonal information. The results showed 197 genes upregulated in dams, including genes encoding hormones such as prolactin, growth h…
Efecto terapéutico del compuesto BO-110 en un modelo animal de leiomioma
2023
Los miomas son los tumores benignos más frecuentes en las mujeres en edad reproductiva y pueden asociar numerosos síntomas como dolor, sangrado y problemas reproductivos. Sin embargo, actualmente no existe una terapia totalmente satisfactoria por lo que es de suma importancia la evaluación de nuevos tratamientos. En la búsqueda de opciones terapéuticas alternativas, hemos seleccionado el ácido poliinosina-policitidílico (pIC) conjugado con polietilenimina (PEI) [pICPEI], cuyo nombre comercial es BO-100. El compuesto pIC es un ARN sintético de doble cadena sin toxicidad asociada, que induce de manera selectiva la autofagia y apoptosis en un gran espectro de células tumorales. Presen…
PROPAGATING INTERFACES IN A TWO-LAYER BISTABLE NEURAL NETWORK
2006
The dynamics of propagating interfaces in a bistable neural network is investigated. We consider the network composed of two coupled 1D lattices and assume that they interact in a local spatial point (pin contact). The network unit is modeled by the FitzHugh–Nagumo-like system in a bistable oscillator mode. The interfaces describe the transition of the network units from the rest (unexcited) state to the excited state where each unit exhibits periodic sequences of excitation pulses or action potentials. We show how the localized inter-layer interaction provides an "excitatory" or "inhibitory" action to the oscillatory activity. In particular, we describe the interface propagation failure a…
Pinning of a kink in a nonlinear diffusive medium with a geometrical bifurcation: Theory and experiments
2004
International audience; We study the dynamics of a kink propagating in a Nagumo chain presenting a geometrical bifurcation. In the case of weak couplings, we define analytically and numerically the coupling conditions leading to the pinning of the kink at the bifurcation site. Moreover, real experiments using a nonlinear electrical lattice confirm the theoretical and numerical predictions.
Does predictability matter? Effects of cue predictability on neurocognitive mechanisms underlying prospective memory
2015
Prospective memory (PM) represents the ability to successfully realize intentions when the appropriate moment or cue occurs. In this study, we used event-related potentials (ERPs) to explore the impact of cue predictability on the cognitive and neural mechanisms supporting PM. Participants performed an ongoing task and, simultaneously, had to remember to execute a pre-specified action when they encountered the PM cues. The occurrence of the PM cues was predictable (being signalled by a warning cue) for some participants and was completely unpredictable for others. In the predictable cue condition, the behavioural and ERP correlates of strategic monitoring were observed mainly in the ongoing…
ES un ASV tirdzniecības attiecību un nākotnes scenāriju analīze
2021
Šī pētījuma mērķis ir uzsvērt ES un ASV tirdzniecības dinamiku un paredzēt tās gaidāmos scenārijus. Metodoloģija ietver teorētisko un empīrisko analīzi. Pārbaudot tirdzniecības ietekmējošos faktorus, tiek sadalītas OLS regresijas no tirdzniecības smaguma modeļa, lai pārbaudītu šādus piecus mainīgos: TTIP sarunu process, IKP uz vienu iedzīvotāju, kopējā zemes platība, FDI un kopīgā valoda. Kopējais novērojums ir 308, aptverot ES-28 un ASV laikposmā no 2009. līdz 2019. gadam. Regresijas rezultāti liecina, ka, izņemot FDI, pārējie četri pārējie mainīgie nav korelēti ar tirdzniecības plūsmu. ES un ASV tirdzniecības prognozes ir noteiktas divos virzienos. Viens no tiem sagaida tirdzniecības plūs…
Transport of Arabidopsis GPI-anchored proteins along the early secretory pathway: Role of GPI-anchor remodelling and p24 proteins
2019
Las proteínas con anclaje GPI son una familia de proteínas que están ancladas a la cara exterior de la membrana plasmática mediante un ancla GPI y se ha visto que juegan un papel clave en plantas. Sin embargo, la maquinaria molecular implicada en el transporte de estas proteínas a la membrana plasmática en plantas es aún desconocida. Las proteínas p24 tienen un papel importante en el control de calidad de proteínas (posiblemente incluyendo las proteínas con anclaje GPI) transportadas entre el Retículo Endoplasmático y el aparato de Golgi. Esta tesis doctoral tiene como objetivo el estudio de la posible implicación de las proteínas p24 en la salida del Retículo Endoplasmático y en la localiz…
Proton shape fluctuation and its relation to DIS
2018
We review the recent progress in extracting the proton fluctuating substructure by studying exclusive processes at HERA, and the applications of these developments in the interpretation of the LHC heavy ion data. The possibilities to extract the proton geometry directly from the LHC high-multiplicity proton-nucleus and proton-proton collision data is also discussed. peerReviewed
Scheduling under the network of temporo-spatial proximity relationships
2017
We discuss and introduce to the schedulingeld a novel, qualitative optimization model - scheduling under the network of temporo-spatial proximity relationships.We introduce a half perimeter proximity measure as an objective of scheduling.We present and evaluate an incremental Sequence Pair neighborhood evaluation algorithm, applicable to both scheduling and rectangle packing problems in VLSI industry. In this paper, we discuss and introduce to the scheduling field a novel optimization objective - half perimeter proximity measure in scheduling under the network of temporo-spatial proximity relationships. The presented approach enables to qualitatively express various reasons of scheduling ce…