57 resultados para Programació lògica


Relevância:

20.00% 20.00%

Publicador:

Resumo:

La programació, en televisió, consisteix a situar els diferents espais en uns horaris d’emissió determinats segons diversos patrons que depenen, entre d’altres, dels objectius empresarials de les diferents cadenes. Els espais esmentats es poden catalogar en gèneres, que evolucionen constantment per adequar-se a les preferències de l’audiència. En aquest article, es presenta una anàlisi de la programació per gèneres de les principals cadenes de televisió en l’àmbit de Catalunya, en el període 1998-2003, segons la classificació utilitzada per Taylor Nelson Sofres (TNS). Es comenten les similituds i les diferències observades en les diferents cadenes, tenint-ne en compte la titularitat i l’àmbit de cobertura.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L'objectiu d'aquest projecte és desenvolupar live CDs per tal de facilitar als alumnes de les assignatures obligatòries del Departament de Química Física que inclouen pràctiques amb ordinadors el treball fora de les aules, com a complement del realitzar durant les sessions de pràctiques.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabajo analiza las relaciones entre las ideas fundamentales de la filosofía nietzscheana y la lógica cultural del capitalismo tardío. En la primera parte se realiza una breve exposición de la doctrina nietzscheana; en la segunda se estudia hasta qué punto dicha doctrina coincide con los presupuestos filosóficos del capitalismo tardío; y en la tercera se reflexiona acerca del tipo de conexión (de anticipación o de reciclaje) que se da entre ambas.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Concurrent aims to be a different type of task distribution system compared to what MPI like system do. It adds a simple but powerful application abstraction layer to distribute the logic of an entire application onto a swarm of clusters holding similarities with volunteer computing systems. Traditional task distributed systems will just perform simple tasks onto the distributed system and wait for results. Concurrent goes one step further by letting the tasks and the application decide what to do. The programming paradigm is then totally async without any waits for results and based on notifications once a computation has been performed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This work presents, from the perspective of a freelancer professional, a case study of a practical and real implementation of an Open Source ERP software suite to a very small company, including the development of a custom software module to adapt the suite to the particular needs of the company.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Aquest projecte tracta la implementació d’una aplicació capaç de simular el comportament d’uns individus que segueixen el seu propi algorisme en un entorn que planteja certes dificultat per a la supervivència: hi ha obstacles i fonts que proveeixen energia que els individus necessiten per existir. S’han desenvolupat les eines necessàries perquè l’usuari pugui visualitzar, recollir dades i interactuar amb l’entorn d’una forma còmoda i intuïtiva. Sobre aquesta base, s’ha implementat un videojoc que planteja reptes a l’usuari que es poden resoldre a través de l’edició dels algorismes d’un o més individus, és a dir, a través de la programació. D’aquesta manera s’introdueix a l’usuari en els principis de l’algorismia d’una forma lúdica i molt visual.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Peer-reviewed

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L’exercici proposa la creació del Parc de Malafede a l’espai lliure que separa els barris de Bernocchi i Malafede, dos barris de la perifèria de Roma en creixement però amb manca d’equipaments i serveis.El parc inclou diferents serveis relacionats amb els equipament existents als barris, així com un nou equipament cultural-esportiu de 4.000 m2 que inclou biblioteca, sala d’actes i gimnàs, i que esdevindrà el punt central del projecte.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L'exercici proposa la creació del Parc de Malafede a l'espai lliure que separa els barris de Bernocchi i Malafede, dos barris de la perifèria de Roma en creixement però amb manca d'equipaments i serveis. El parc inclou diferents serveis relacionats amb els equipament existents als barris, així com un nou equipament cultural-esportiu de 4.000 m2 que inclou biblioteca, sala d'actes i gimnàs, i que esdevindrà el punt central del projecte

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Tot seguit presentem un entorn per analitzar senyals de tot tipus amb LDB (Local Discriminant Bases) i MLDB (Modified Local Discriminant Bases). Aquest entorn utilitza funcions desenvolupades en el marc d’una tesi en fase de desenvolupament. Per entendre part d’aquestes funcions es requereix un nivell de coneixement avançat de processament de senyals. S’han extret dels treballs realitzats per Naoki Saito [3], que s’han agafat com a punt de partida per la realització de l’algorisme de la tesi doctoral no finalitzada de Jose Antonio Soria. Aquesta interfície desenvolupada accepta la incorporació de nous paquets i funcions. Hem deixat un menú preparat per integrar Sinus IV packet transform i Cosine IV packet transform, tot i que també podem incorporar-n’hi altres. L’aplicació consta de dues interfícies, un Assistent i una interfície principal. També hem creat una finestra per importar i exportar les variables desitjades a diferents entorns. Per fer aquesta aplicació s’han programat tots els elements de les finestres, en lloc d’utilitzar el GUIDE (Graphical User Interface Development Enviroment) de MATLAB, per tal que sigui compatible entre les diferents versions d’aquest programa. En total hem fet 73 funcions en la interfície principal (d’aquestes, 10 pertanyen a la finestra d’importar i exportar) i 23 en la de l’Assistent. En aquest treball només explicarem 6 funcions i les 3 de creació d’aquestes interfícies per no fer-lo excessivament extens. Les funcions que explicarem són les més importants, ja sigui perquè s’utilitzen sovint, perquè, segons la complexitat McCabe, són les més complicades o perquè són necessàries pel processament del senyal. Passem cada entrada de dades per part de l’usuari per funcions que ens detectaran errors en aquesta entrada, com eliminació de zeros o de caràcters que no siguin números, com comprovar que són enters o que estan dins dels límits màxims i mínims que li pertoquen.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L’objectiu principal del present suplement és proporcionar un seguit de recursos lúdics al professorat —en aquesta ocasió jocs de lògica, ateses les limitacions d’espai— que afavoreixin l’aprenentatge de les matemàtiques als infants d’una manera divertida, motivadora i d’acord amb les seves necessitats