المؤلفون: Basulto Santos, Jesús, Ortega Irizo, Francisco Javier

المساهمون: Universidad de Sevilla. Departamento de Economía Aplicada I

مصطلحات موضوعية: Inferencia Bayesiana, Distribución a priori no informativa, Modelo no regular, Modelos de búsqueda de empleo

العلاقة: https://www.asepelt.org/ficheros/File/Anales/2004%20-%20Leon/ponencias/Basulto%20y%20Ortega.pdfTest; https://idus.us.es/handle//11441/156906Test

الإتاحة: https://idus.us.es/handle//11441/156906Test

المؤلفون: Basulto Santos, Jesús, Ortega Irizo, Francisco Javier

المساهمون: Universidad de Sevilla. Departamento de Economía Aplicada I

مصطلحات موضوعية: Distribución a priori no informativa, Inferencia Bayesiana, Modelo Half-Normal, Modelo no regular, Modelo de costes con frontera determinista

العلاقة: Anales de economía aplicada. XIX Reunión Asepelt (2005).; http://www.asepelt.org/ficheros/File/Anales/2005%20-%20Badajoz/comunicaciones/estimaci%f3n%20bayesiana%20del%20modelo%20de%20costes.pdfTest; https://idus.us.es/handle//11441/156922Test

الإتاحة: https://idus.us.es/handle//11441/156922Test

المؤلفون: Carvalho, Olívia da Conceição, Ventura, Miriam

مصطلحات موضوعية: Educação inclusiva, Educação pré-escolar, Reflexão, Ensino regular

وصف الملف: application/pdf

العلاقة: Carvalho, O. C., & Ventura, M. (2024). Inclusão na educação pré-escolar e perspetivas de docentes: Da lei à prática [abstract]. In M. F. Almeida (Coord.), [Livro de resumos] 15.º Congresso Nacional de Psicologia da Saúde, Almada, Portugal, 31 janeiro-3 fevereiro 2024, (Suplemento ao n.º 25 da revista "Psicologia, Saúde & Doenças, p. 96). Sociedade Portuguesa de Psicologia da Saúde; Egas Moniz School of Health and Science. Repositório Institucional UPT. https://hdl.handle.net/11328/5359Test; https://hdl.handle.net/11328/5359Test

الإتاحة: https://hdl.handle.net/11328/5359Test

المؤلفون: Moreau, Vincent, Nguyễn, Lê Thành Dũng

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Preuves et Langages (PLUME), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Lê Thành D˜ung (Tito) Nguy ˜ên: Supported by the LABEX MILYON (ANR-10-LABX-0070)of Université de Lyon, within the program “Investissements d’Avenir” (ANR-11-IDEX-0007) operatedby the French National Research Agency (ANR), ANR-10-LABX-0070,MILYON,Community of mathematics and fundamental computer science in Lyon(2010), ANR-11-IDEX-0007,Avenir L.S.E.,PROJET AVENIR LYON SAINT-ETIENNE(2011)

المصدر: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
https://hal.science/hal-04447910Test
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.40:1-40:22, ⟨10.4230/LIPIcs.CSL.2024.40⟩

مصطلحات موضوعية: Simple types, Denotational semantics, Logical relations, Regular languages, [INFO]Computer Science [cs]

جغرافية الموضوع: Naples, Italy

العلاقة: hal-04447910; https://hal.science/hal-04447910Test; https://hal.science/hal-04447910/documentTest; https://hal.science/hal-04447910/file/article.pdfTest

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.40Test
https://hal.science/hal-04447910Test
https://hal.science/hal-04447910/documentTest
https://hal.science/hal-04447910/file/article.pdfTest

المؤلفون: Moreau, Vincent, Nguyễn, Lê Thành Dũng

المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Les assistants à la démonstration au cœur du raisonnement mathématique (PICUBE), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Preuves et Langages (PLUME), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Lê Thành D˜ung (Tito) Nguy ˜ên: Supported by the LABEX MILYON (ANR-10-LABX-0070)of Université de Lyon, within the program “Investissements d’Avenir” (ANR-11-IDEX-0007) operatedby the French National Research Agency (ANR), ANR-10-LABX-0070,MILYON,Community of mathematics and fundamental computer science in Lyon(2010), ANR-11-IDEX-0007,Avenir L.S.E.,PROJET AVENIR LYON SAINT-ETIENNE(2011)

المصدر: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
https://hal.science/hal-04447910Test
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.40:1-40:22, ⟨10.4230/LIPIcs.CSL.2024.40⟩

مصطلحات موضوعية: Simple types, Denotational semantics, Logical relations, Regular languages, [INFO]Computer Science [cs]

جغرافية الموضوع: Naples, Italy

العلاقة: hal-04447910; https://hal.science/hal-04447910Test; https://hal.science/hal-04447910/documentTest; https://hal.science/hal-04447910/file/article.pdfTest

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.40Test
https://hal.science/hal-04447910Test
https://hal.science/hal-04447910/documentTest
https://hal.science/hal-04447910/file/article.pdfTest

المؤلفون: Feier, Cristina, Gogacz, Tomasz, Murlak, Filip

المساهمون: Cristina Feier and Tomasz Gogacz and Filip Murlak

مصطلحات موضوعية: conjunctive two-way regular path queries, fixed-parameter tractable evaluation, semantic treewidth, Datalog encoding, optimization

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 290, 27th International Conference on Database Theory (ICDT 2024); urn:nbn:de:0030-drops-198048; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2024.22Test

الإتاحة: https://doi.org/10.4230/LIPIcs.ICDT.2024.22Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-198048Test

المؤلفون: Ganardi, Moses, Sağlam, Irmak, Zetzsche, Georg

المساهمون: Moses Ganardi and Irmak Sağlam and Georg Zetzsche

مصطلحات موضوعية: Subword, ideal, language, regular, context-free, equivalence, downward closure, compression

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 289, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024); urn:nbn:de:0030-drops-197465; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.36Test

الإتاحة: https://doi.org/10.4230/LIPIcs.STACS.2024.36Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-197465Test

المؤلفون: Arvind, V., Fuhlbrück, Frank, Köbler, Johannes, Verbitsky, Oleg

المساهمون: V. Arvind and Frank Fuhlbrück and Johannes Köbler and Oleg Verbitsky

مصطلحات موضوعية: Graph Isomorphism, spectra of graphs, combinatorial refinement, strongly regular graphs

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 289, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024); urn:nbn:de:0030-drops-197166; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.6Test

الإتاحة: https://doi.org/10.4230/LIPIcs.STACS.2024.6Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-197166Test

المؤلفون: Cotumaccio, Nicola

المساهمون: Nicola Cotumaccio

مصطلحات موضوعية: Generalized Automata, Myhill-Nerode Theorem, Regular Languages, Wheeler Graphs, FM-index, Burrows-Wheeler Transform

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 289, 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024); urn:nbn:de:0030-drops-197369; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2024.26Test

الإتاحة: https://doi.org/10.4230/LIPIcs.STACS.2024.26Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-197369Test

المؤلفون: Place, Thomas, Zeitoun, Marc

المساهمون: Thomas Place and Marc Zeitoun

مصطلحات موضوعية: Classes of regular languages, Generalized unary temporal logic, Generalized two-variable first-order logic, Generic decidable characterizations, Membership, Separation

وصف الملف: application/pdf

العلاقة: Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024); urn:nbn:de:0030-drops-196888; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.45Test

الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.45Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-196888Test