Search results for " Symbol"

showing 10 items of 217 documents

Dyskryminacja ze względu na bezwyznaniowość w pracy. Rozważania na kanwie orzeczeń sądowych zapadłych w sprawie dotyczącej G.J

2021

Kazus G. J. dotyczy dyskryminacji nauczycielki, która dwukrotnie zdjęła ze ściany pokoju nauczycielskiego krzyż. Swoje zachowanie tłumaczyła negatywnymi skojarzeniami z tym symbolem religijnym. Została ukarana dyscyplinarnie przez dyrekcję szkoły, co uznała za dyskryminację jej osoby ze względu na jej bezwyznaniowość. Złożyła do sądu pozew o odszkodowanie z tytułu molestowania w miejscu pracy i uzyskała korzystne dla siebie rozstrzygniecie. Po prawomocnym zakończeniu sprawy wniesiona została skarga nadzwyczajna do Sądu Najwyższego z wnioskiem o uchylenie wyroku całości i orzeczenie przez Sąd Najwyższy co do istoty sprawy. W powyższej sprawie przedmiotem rozstrzygnięcia nie była kwestia eksp…

Dyskryminacja pracowniczawolność sumieniaEmployee discriminationthe freedom of consciencereligii i światopoglądusymbole religijne w przestrzeni publicznejreligion on beliefthe religious symbols in public spaceStudia Prawnoustrojowe
researchProduct

Plants in Sicilian holy simbology

2019

The Sicilian religious festivals present a rich and varied plant symbolism. In addition to the widespread practice of decorating processional statues with flowers, fruits, ears of wheat, green beans depending on the season and the phases of the agricultural cycles, the use of carrying processionally simple branches of laurel or more complex plant artifacts is widely observed. These uses are particularly present in the ceremonies of the Holy Week, in the spring festivals dedicated to Saint Joseph (March 19) and to the Holy Cross (May 3), in the summer ones dedicated to the patron saints. These are phenomena that clearly testify the continuity of ritual structures and symbols and which presen…

Economics and Econometricsfeast ritual symbolism laurel wheatMaterials ChemistryMedia TechnologylanguageForestryAncient historySicilianlanguage.human_languageBocconea
researchProduct

G. Herglotz’ Behandlung von Beschleunigungswellen in seiner Vorlesung «Mechanik der Kontinua» angewandt auf die Stosswellen von Christoffel

1981

Following a lecture delivered by Herglotz in 1925/26 we briefly treat acceleration waves in hyperelastic materials. Our main result is a divergence equation for the squared Euclidean norm of the so-called ‘wave vector’. We then apply Herglotz’ method (devised for acceleration waves) to the propagation of such first order discontinuities in elastic bodies as were treated by Christoffel in [1].

Euclidean distancePhysicsChristoffel symbolsHyperelastic materialMathematical analysisAcceleration (differential geometry)Wave vectorClassification of discontinuitiesDivergence (statistics)First order
researchProduct

Rituales funerarios y de duelo colectivos y privados, religiosos o laicos

2014

My Docthoral Thesis carried out with religious subjects from different creeds and with non religious individuals found that participation in collective funerary rites and in private rituals –religious or secular - allow the mourners to say good bye and accept the death of their deceased loved ones (Paez et al., 2007)..Funerals and bereavement rituals allow the symbolic expression of feelings and thoughts, assist the mourners to cope with loss, and promote their recovery from bereavement (Pargament, 1997; Yoffe, 2012c.).

Expression (architecture)Feelingmedia_common.quotation_subjectGeneral Materials ScienceThe SymbolicSociologyReligious studiesmedia_commonAvances en Psicología
researchProduct

RationalizeRoots: Software Package for the Rationalization of Square Roots

2019

The computation of Feynman integrals often involves square roots. One way to obtain a solution in terms of multiple polylogarithms is to rationalize these square roots by a suitable variable change. We present a program that can be used to find such transformations. After an introduction to the theoretical background, we explain in detail how to use the program in practice.

FOS: Computer and information sciencesComputer Science - Symbolic ComputationHigh Energy Physics - TheoryHigh energy particleFeynman integralComputationGeneral Physics and AstronomyFOS: Physical sciencesengineering.materialSymbolic Computation (cs.SC)Rationalization (economics)01 natural sciences010305 fluids & plasmasHigh Energy Physics - Phenomenology (hep-ph)Square root0103 physical sciencesComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONAlgebraic number010306 general physicsMathematical PhysicsVariable (mathematics)MapleMathematical Physics (math-ph)AlgebraHigh Energy Physics - PhenomenologyHigh Energy Physics - Theory (hep-th)Hardware and ArchitectureengineeringComputer Science - Mathematical SoftwareMathematical Software (cs.MS)
researchProduct

A novel approach to integration by parts reduction

2015

Integration by parts reduction is a standard component of most modern multi-loop calculations in quantum field theory. We present a novel strategy constructed to overcome the limitations of currently available reduction programs based on Laporta's algorithm. The key idea is to construct algebraic identities from numerical samples obtained from reductions over finite fields. We expect the method to be highly amenable to parallelization, show a low memory footprint during the reduction step, and allow for significantly better run-times.

FOS: Computer and information sciencesComputer Science - Symbolic ComputationHigh Energy Physics - TheoryPhysicsNuclear and High Energy Physics010308 nuclear & particles physicsFOS: Physical sciencesConstruct (python library)Symbolic Computation (cs.SC)01 natural scienceslcsh:QC1-999Computational scienceReduction (complexity)High Energy Physics - PhenomenologyHigh Energy Physics - Phenomenology (hep-ph)Finite fieldHigh Energy Physics - Theory (hep-th)Component (UML)0103 physical sciencesKey (cryptography)Memory footprintIntegration by partsAlgebraic number010306 general physicslcsh:PhysicsPhysics Letters B
researchProduct

Conceptual Spaces for Cognitive Architectures: A lingua franca for different levels of representation

2017

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [Laird (2012)]) adopt a classical symbolic approach, some (e.g. LEABRA [O'Reilly and Munakata (2000)]) are based on a purely connectionist model, while others (e.g. CLARION [Sun (2006)] adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are also available [Kurup and Chandrasekaran (2007)]. In this p…

FOS: Computer and information sciencesConceptual SpaceCognitive Architectures; Cognitive modeling; Conceptual Spaces; Knowledge representation; Experimental and Cognitive Psychology; Cognitive Neuroscience; Artificial IntelligenceComputer Science - Artificial IntelligenceComputer scienceCognitive NeuroscienceExperimental and Cognitive Psychology02 engineering and technology050105 experimental psychologyCognitive modelingCognitive ArchitecturesConnectionismArtificial IntelligenceConceptual Spaces0202 electrical engineering electronic engineering information engineering0501 psychology and cognitive sciencesSoarCognitive ArchitectureRepresentation (mathematics)Settore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniCognitive scienceKnowledge level05 social sciencesCommon groundCognitionCLARIONDiagrammatic reasoningArtificial Intelligence (cs.AI)Knowledge representation020201 artificial intelligence & image processingThe SymbolicBiologically Inspired Cognitive Architectures
researchProduct

On the Structure of Bispecial Sturmian Words

2013

A balanced word is one in which any two factors of the same length contain the same number of each letter of the alphabet up to one. Finite binary balanced words are called Sturmian words. A Sturmian word is bispecial if it can be extended to the left and to the right with both letters remaining a Sturmian word. There is a deep relation between bispecial Sturmian words and Christoffel words, that are the digital approximations of Euclidean segments in the plane. In 1997, J. Berstel and A. de Luca proved that \emph{palindromic} bispecial Sturmian words are precisely the maximal internal factors of \emph{primitive} Christoffel words. We extend this result by showing that bispecial Sturmian wo…

FOS: Computer and information sciencesGeneral Computer ScienceSpecial factorDiscrete Mathematics (cs.DM)Computer Networks and CommunicationsApproximations of πFormal Languages and Automata Theory (cs.FL)Computer Science - Formal Languages and Automata TheoryEnumerative formula68R15Characterization (mathematics)Minimal forbidden wordTheoretical Computer ScienceCombinatoricsComputer Science::Discrete MathematicsEuclidean geometryPhysics::Atomic PhysicsMathematicsChristoffel symbolsApplied MathematicsPalindromeSturmian wordSturmian wordComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Combinatorics on wordsComputational Theory and MathematicsWord (group theory)Computer Science::Formal Languages and Automata TheoryChristoffel wordComputer Science - Discrete Mathematics
researchProduct

Symbolic integration of hyperexponential 1-forms

2019

Let $H$ be a hyperexponential function in $n$ variables $x=(x_1,\dots,x_n)$ with coefficients in a field $\mathbb{K}$, $[\mathbb{K}:\mathbb{Q}] <\infty$, and $\omega$ a rational differential $1$-form. Assume that $H\omega$ is closed and $H$ transcendental. We prove using Schanuel conjecture that there exist a univariate function $f$ and multivariate rational functions $F,R$ such that $\int H\omega= f(F(x))+H(x)R(x)$. We present an algorithm to compute this decomposition. This allows us to present an algorithm to construct a basis of the cohomology of differential $1$-forms with coefficients in $H\mathbb{K}[x,1/(SD)]$ for a given $H$, $D$ being the denominator of $dH/H$ and $S\in\mathbb{K}[x…

FOS: Computer and information sciencesMathematics - Differential GeometryComputer Science - Symbolic ComputationPure mathematicsMathematics::Commutative Algebra010102 general mathematics68W30Field (mathematics)010103 numerical & computational mathematicsFunction (mathematics)[MATH] Mathematics [math]Symbolic Computation (cs.SC)16. Peace & justiceFunctional decomposition01 natural sciencesDifferential Geometry (math.DG)FOS: MathematicsComputer Science::Symbolic Computation0101 mathematics[MATH]Mathematics [math]Symbolic integrationMathematics
researchProduct

Determinantal sets, singularities and application to optimal control in medical imagery

2016

International audience; Control theory has recently been involved in the field of nuclear magnetic resonance imagery. The goal is to control the magnetic field optimally in order to improve the contrast between two biological matters on the pictures. Geometric optimal control leads us here to analyze mero-morphic vector fields depending upon physical parameters , and having their singularities defined by a deter-minantal variety. The involved matrix has polynomial entries with respect to both the state variables and the parameters. Taking into account the physical constraints of the problem, one needs to classify, with respect to the parameters, the number of real singularities lying in som…

FOS: Computer and information sciences[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]Computer Science - Symbolic Computation0209 industrial biotechnologyPolynomialRank (linear algebra)010102 general mathematicsBoundary (topology)Field (mathematics)02 engineering and technologySymbolic Computation (cs.SC)Optimal control01 natural sciencesPolynomial system solvingReal geometryPolynomial matrix[ INFO.INFO-SC ] Computer Science [cs]/Symbolic Computation [cs.SC]Set (abstract data type)Matrix (mathematics)020901 industrial engineering & automationApplications0101 mathematicsAlgorithmMathematics
researchProduct