To see the other types of publications on this topic, follow the link: Lustre programs.

Journal articles on the topic 'Lustre programs'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 48 journal articles for your research on the topic 'Lustre programs.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Binh, Nguyen Thanh, Trinh Cong Duy, and Ioannis Parissis. "LusRegTes: A Regression Testing Tool for Lustre Programs." International Journal of Electrical and Computer Engineering (IJECE) 7, no. 5 (2017): 2635. http://dx.doi.org/10.11591/ijece.v7i5.pp2635-2644.

Full text
Abstract:
Lustre is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport...). In such applications, the testing activity for detecting errors of the system plays a crucial role. During the development and maintenance processes, Lustre programs are often evolving, so regression testing should be performed to detect bugs. In this paper, we present a tool for automatic regression testing of Lustre programs. We have defined an approach to generate test cases in regression testing of Lustre programs. In this approach, a Lustre program is repre
APA, Harvard, Vancouver, ISO, and other styles
2

Nguyen, Thanh Binh, Cong Duy Trinh, and Parissis Ioannis. "LusRegTes: A Regression Testing Tool for Lustre Programs." International Journal of Electrical and Computer Engineering (IJECE) 7, no. 5 (2017): 2635–44. https://doi.org/10.11591/ijece.v7i5.pp2635-2644.

Full text
Abstract:
Lustre is a synchronous data-flow declarative language widely used for safety-critical applications (avionics, energy, transport...). In such applications, the testing activity for detecting errors of the system plays a crucial role. During the development and maintenance processes, Lustre programs are often evolving, so regression testing should be performed to detect bugs. In this paper, we present a tool for automatic regression testing of Lustre programs. We have defined an approach to generate test cases in regression testing of Lustre programs. In this approach, a Lustre program is repre
APA, Harvard, Vancouver, ISO, and other styles
3

du Bousquet, Lydie, and Michel Delaunay. "Towards Mutation Analysis for Lustre Programs." Electronic Notes in Theoretical Computer Science 203, no. 4 (2008): 35–48. http://dx.doi.org/10.1016/j.entcs.2008.05.009.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lakehal, Abdesselam, and Ioannis Parissis. "Structural coverage criteria for LUSTRE/SCADE programs." Software Testing, Verification and Reliability 19, no. 2 (2009): 133–54. http://dx.doi.org/10.1002/stvr.394.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Bourke, Timothy, Paul Jeanmaire, Basile Pesin, and Marc Pouzet. "Verified Lustre Normalization with Node Subsampling." ACM Transactions on Embedded Computing Systems 20, no. 5s (2021): 1–25. http://dx.doi.org/10.1145/3477041.

Full text
Abstract:
Dataflow languages allow the specification of reactive systems by mutually recursive stream equations, functions, and boolean activation conditions called clocks. Lustre and Scade are dataflow languages for programming embedded systems. Dataflow programs are compiled by a succession of passes. This article focuses on the normalization pass which rewrites programs into the simpler form required for code generation. Vélus is a compiler from a normalized form of Lustre to CompCert’s Clight language. Its specification in the Coq interactive theorem prover includes an end-to-end correctness proof t
APA, Harvard, Vancouver, ISO, and other styles
6

Franzén, Anders. "Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs." Electronic Notes in Theoretical Computer Science 144, no. 1 (2006): 19–33. http://dx.doi.org/10.1016/j.entcs.2005.07.017.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Duy, Trinh Cong, Nguyen Thanh Binh, and Ioannis Parissis. "Automatic Generation of Test Cases in Regression Testing for Lustre/SCADE Programs." Journal of Software Engineering and Applications 06, no. 10 (2013): 27–35. http://dx.doi.org/10.4236/jsea.2013.610a004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Lin, Shaokai, Yatin A. Manerkar, Marten Lohstroh, et al. "Towards Building Verifiable CPS using Lingua Franca." ACM Transactions on Embedded Computing Systems 22, no. 5s (2023): 1–24. http://dx.doi.org/10.1145/3609134.

Full text
Abstract:
Formal verification of cyber-physical systems (CPS) is challenging because it has to consider real-time and concurrency aspects that are often absent in ordinary software. Moreover, the software in CPS is often complex and low-level, making it hard to assure that a formal model of the system used for verification is a faithful representation of the actual implementation, which can undermine the value of a verification result. To address this problem, we propose a methodology for building verifiable CPS based on the principle that a formal model of the software can be derived automatically from
APA, Harvard, Vancouver, ISO, and other styles
9

Pompougnac, Hugo, Ulysse Beaugnon, Albert Cohen, and Dumitru Potop Butucaru. "Weaving Synchronous Reactions into the Fabric of SSA-form Compilers." ACM Transactions on Architecture and Code Optimization 19, no. 2 (2022): 1–25. http://dx.doi.org/10.1145/3506706.

Full text
Abstract:
We investigate the programming of reactive systems combining closed-loop control with performance-intensive components such as Machine Learning (ML). Reactive control systems are often safety-critical and associated with real-time execution requirements, a domain of predilection for synchronous programming languages. Extending the high levels of assurance found in reactive control systems to computationally intensive code remains an open issue. We tackle it by unifying concepts and algorithms from synchronous languages with abstractions commonly found in general-purpose and ML compilers. This
APA, Harvard, Vancouver, ISO, and other styles
10

Arehart-Treichel, Joan. "Programs Try to Restore Luster To Psychodynamic Psychotherapy." Psychiatric News 39, no. 12 (2004): 35–44. http://dx.doi.org/10.1176/pn.39.12.0390035.

Full text
APA, Harvard, Vancouver, ISO, and other styles
11

González Consuegra, Renata Virginia. "Enfermería UN: a UN lustro del centenario." Avances en Enfermería 33, no. 3 (2016): 420–33. http://dx.doi.org/10.15446/av.enferm.v33n3.54019.

Full text
Abstract:
<p>El 22 de septiembre de 1867, mediante la Ley 66, fue oficialmente fundada la Universidad Nacional de los Estados Unidos de Colombia. Ésta constaba de seis facultades: Derecho, Medicina, Ciencias Naturales, Ingeniería, Artes y Oficios, Literatura y Filosofía. Entre 1903 y 1940 se crearon más de 20 carreras, entre ellas Arquitectura, Enfermería, Farmacia, Ingeniería Química, Medicina Veterinaria, Odontología y Química (1). Los orígenes del Programa de Enfermería en la Universidad Nacional se remontan a 1897, cuando el Consejo Directivo propone realizar un curso para enfermeras manifesta
APA, Harvard, Vancouver, ISO, and other styles
12

Giżycki, Marcin. "Utracony wymiar." Kwartalnik Filmowy, no. 86 (June 30, 2014): 209–12. http://dx.doi.org/10.36744/kf.2425.

Full text
Abstract:
Lustra, wbrew powszechnemu mniemaniu, nie zawsze wiernie odwzorowują rzeczywistość. Mogą nas zwodzić, o czym wiedzą iluzjoniści i bywalcy gabinetów śmiechu. Zwodnicze lustra są częstym motywem w kinie, jak pokazał to Bergman w Twarzy (The Magician) czy Orson Welles w Damie z Szanghaju (The Lady from Shanghai). Pierwszym filmem, w którym wykorzystano krzywe lustra w celu przedstawienia „świata z gumy”, było Szaleństwo doktora Tube’a (La Folie du Docteur Tube) Abla Gance’a z 1915 r. Film opowiada o naukowcu, który eksperymentuje w swoim laboratorium z jakimiś substancjami. Wreszcie uzyskuje biał
APA, Harvard, Vancouver, ISO, and other styles
13

Sotnikov, B., T. Sologubova, and E. Kondrateva. "Exploration of psychoemotional state of medical students of Kyrgyz-Russian Slavic University." Bulletin of Science and Practice 4, no. 7 (2018): 497–502. https://doi.org/10.5281/zenodo.1312485.

Full text
Abstract:
The dependence between progress in studies students of the school of medicine and their psychoemotional state was investigated in this exploration. The psychoemotional trends in medical student’s population were explored too. There is not found it is not any dependence between progress in studies students of the school of medicine and their psychoemotional state as it was established. Also, we found a negative influence of studying at the faculty of medicine in the psycho-emotional state of students.
APA, Harvard, Vancouver, ISO, and other styles
14

Gwóźdź, Andrzej. "„Po prostu włącz”. Strumieniowanie jako praktyka technokulturowa." Kwartalnik Filmowy, no. 124 (December 28, 2023): 6–26. http://dx.doi.org/10.36744/kf.1815.

Full text
Abstract:
Autor proponuje refleksję nad streamingiem jako jedną z dominujących technokultur mediów pierwszych dekad XXI w. Odróżniając pojęcie strumienia (flow) telewizji od strumieniowania (streaming) w sieci, rozważa live streaming („widzenie na odległość” korzystające z pobierania danych z serwera w czasie rzeczywistym) w opozycji do formuły live tradycyjnej, linearnej telewizji (uwikłanej w temporalność programu). Odnośnie do korzystania z filmowych platform sieciowych (zwłaszcza Video on Demand), wskazuje na proces remediatyzacji filmów w przestrzeni Internetu. Przywołuje filmy z cyklu Netfliksa Cz
APA, Harvard, Vancouver, ISO, and other styles
15

Fortunato, Ivan. "Meio-ambiente ou (meio-ambiente): o desafio da educação frente ao paradoxo ambiental." ETD - Educação Temática Digital 16, no. 3 (2014): 386. http://dx.doi.org/10.20396/etd.v16i3.1304.

Full text
Abstract:
Este artigo é um ensaio sobre Educação Ambiental. Foi produzido após um lustro de estudos e reflexões interdisciplinares, desenvolvidos em programas de pós-graduação. O objetivo principal deste trabalho é elucidar questões fundamentais a respeito do estado planetário referido como crise ambiental, tratando especificamente do papel da educação no enfrentamento desta crise. Aqui, apresentamos a ideia de que a percepção e a compreensão sobre o meio-ambiente encontram-se, paradoxalmente, segregadas em duas grandes vertentes distintas e contraditórias, que nomeamos aqui como “meio-ambiente sem parê
APA, Harvard, Vancouver, ISO, and other styles
16

Leonard, Clarisa. "Nuevas derechas anti-género:." Perspectivas Revista de Ciencias Sociales 7, no. 13 (2022): 509–27. http://dx.doi.org/10.35305/prcs.v7i13.611.

Full text
Abstract:
En el actual contexto neoliberal de radicalización política mundial, el artículo propone una exploración del crecimiento de las nuevas derechas a través del caso del “Frente Joven” (FJ), una asociación civil originada en Argentina y actualmente de alcance regional. Nacido hace más de una década al calor de los debates legislativos sobre el matrimonio igualitario y sobre la reforma del Código Civil y Comercial, el FJ fue creciendo en el último lustro y ganando protagonismo entre los sectores “Provida” que participaron de las comisiones legislativas y del debate público sobre la sanción de la IV
APA, Harvard, Vancouver, ISO, and other styles
17

Restrepo Botero, Darío I. "Bolivia: De la crisis económica al ciclo rebelde, 2000-2005." Anuario Colombiano de Historia Social y de la Cultura 43, no. 1 (2016): 295–322. http://dx.doi.org/10.15446/achsc.v43n1.55072.

Full text
Abstract:
<p>El año de 1998 se recuerda por una crisis económica mundial que golpeó muy fuerte a Bolivia y socavó las bases económicas de la estabilidad política sobre la que se apoyó el neoliberalismo desde el año de 1986. El gobierno pretendió hacer pagar la crisis a los sectores populares, lo que desencadenó “el ciclo rebelde”, que derrotó primero en el 2000 la privatización trasnacional del agua, cercó las grandes ciudades varias veces en defensa de los sembrados de coca durante el primer lustro del siglo y reapropió para el Estado el servicio de gas en el año 2003. Al fragor de las luchas se
APA, Harvard, Vancouver, ISO, and other styles
18

Bedoya Herrera, Oscar Mauricio, Marcelo López Trujillo, and Carlos Eduardo Marulanda Echeverry. "Modelo predictivo para la identificación de factores socioculturales asociados al tiempo de búsqueda del primer empleo en egresados universitarios." Revista Virtual Universidad Católica del Norte, no. 58 (October 2019): 3–18. http://dx.doi.org/10.35575/rvucn.n58a6.

Full text
Abstract:
Algunos programas de educación superior en Colombia desconocen si las variables socioculturales de sus recién egresados son influyentes en el tiempo que tardan en conseguir su primer empleo. Este artículo muestra los resultados del uso de técnicas automáticas de extracción de datos, para el análisis predictivo del tiempo que un graduado tarda en conseguir su primer empleo, orientadas a egresados de Ingeniería de Sistemas de la Universidad de Caldas, en el último lustro. Para su desarrollo se emplearon rutinas de análisis de datos, utilizando el algoritmo de longitud de descripción mínima, esta
APA, Harvard, Vancouver, ISO, and other styles
19

Soni, Ayushi, and Stuti Sharma. "DUS Trait Evaluation in Urdbean Genotypes: Implications for Breeding through Morphological Markers." Journal of Scientific Research and Reports 31, no. 2 (2025): 144–60. https://doi.org/10.9734/jsrr/2025/v31i22832.

Full text
Abstract:
Urdbean (Vigna mungo L. Hepper) is most prevalent types out of pluses crops. In this research, comprehensive evaluation of 96 Urdbean (Vigna mungo L. Hepper) genotypes, which included two check varieties, to assess genetic variation across 21 distinct morphological traits. The present investigation was conducted in Randomized complete block design at JNKVV, Jabalpur (Madhya Pradesh). The observations were taken at various stages of the plant's development. Determine the important morphological traits using PPV&FRA descriptors. These characteristics encompass a broad spectrum, including hyp
APA, Harvard, Vancouver, ISO, and other styles
20

Casola, Natalia Laura. "Rojo carmín. La Federación Democrática Internacional de Mujeres y la Unión de Mujeres de la Argentina entre 1975 y 1991." HISPANIA NOVA. Primera Revista de Historia Contemporánea on-line en castellano. Segunda Época, no. 1 (February 22, 2024): 79–99. http://dx.doi.org/10.20318/hn.2024.8185.

Full text
Abstract:
La actuación de las mujeres del Partido Comunista argentino (PCA) tanto en la Federación Democrática Internacional de Mujeres (FDIM) como en la Unión de Mujeres de la Argentina (UMA) no ha sido suficientemente explorada. En este trabajo nos proponemos realizar una reconstrucción de estas militancias en diferentes escalas de actuación entre 1975 y 1991. En primer lugar, buscamos recuperar el carácter transnacional del proyecto comunista poniendo el foco en las zonas de articulación y entrelazamiento de las militancias; en la materialización de un programa de aspiración mundial y su aplicación a
APA, Harvard, Vancouver, ISO, and other styles
21

Ochoa Ochoa, Ramiro Bolívar. "Inserción de la mujer en el periodismo deportivo ecuatoriano." Killkana Social 5, no. 2 (2021): 17–28. http://dx.doi.org/10.26871/killkanasocial.v5i2.868.

Full text
Abstract:
El presente proyecto es una investigación relacionada a la inserción de la mujer en el periodismo deportivo ecuatoriano. Trata además de la lucha de las mujeres para romper paradigmas, eliminar tabúes e incluso diferentes tipos de discriminación de los varones y su crecimiento profesional, especialmente en el último lustro haciendo referencia al periodismo nacional. Su objetivo es conocer el incremento porcentual de las damas en los programas deportivos y su protagonismo, en cuanto a las diferentes actividades que cumplen, tanto en los medios tradicionales como alternativos. La metodología que
APA, Harvard, Vancouver, ISO, and other styles
22

Díez Martínez, Daniel. "Hacia Arts & Architecture La revolución editorial de John Entenza (1938-1945)." Cuaderno de Notas, no. 19 (July 31, 2018): 1. http://dx.doi.org/10.20868/cn.2018.3813.

Full text
Abstract:
Resumen En enero de 1945 Arts & Architecture puso en marcha el programa CaseStudy House, un experimento ideado por John Entenza que les reservaríaa él y a su revista un lugar importante en la historia de la arquitectura moderna del siglo XX. Desde que asumió la dirección de Arts & Architectureen 1940, Entenza supo rodearse de creadores y artistas como Alvin Lustig,Ray y Charles Eames, Herbert Matter o Julius Shulman, que contribuyerona elevar el estándar gráfico de su publicación y le confirieron una identidadinnovadora que respaldaba visualmente el discurso intelectual vanguardista de
APA, Harvard, Vancouver, ISO, and other styles
23

Uribe Ardila, Alfredo. "Enfermedades huérfanas en Colombia: una panorámica a través de los errores innatos del metabolismo." Revista Med 26, no. 2 (2019): 5–6. http://dx.doi.org/10.18359/rmed.4432.

Full text
Abstract:
Cuando se habla de enfermedades huérfanas en Colombia, generalmente las ideas giran en torno a las leyes que fueron promulgadas durante 2010 y 2011, Ley 1392 de 2010 (1) y Ley 1438 de 2011 (2), después de la fuerte presión de grupos científicos, médicos y sociedades de pacientes. Fundamentalmente se hace referencia a aquellas enfermedades crónicas y debilitantes, de naturaleza grave hasta el punto de que amenazan la vida y cuya prevalencia bordea 1 de cada 5000 personas.
 Pero en la más profunda reflexión, esta definición solo fue una formalidad, para darles un estatus legal a unas enferm
APA, Harvard, Vancouver, ISO, and other styles
24

Sallam, Ahmed M., Aymen A. Gad-Allah, and Essam M. Albetar. "Genetic variation in the ovine KAP22-1 gene and its effect on wool traits in Egyptian sheep." Archives Animal Breeding 65, no. 3 (2022): 293–300. http://dx.doi.org/10.5194/aab-65-293-2022.

Full text
Abstract:
Abstract. The objective of this study was to investigate the genetic polymorphisms in the keratin-associated protein (KAP22-1) gene in Barki (n=206), Rahmani (n=28) and Ossimi (n=28) as the three major sheep breeds in Egypt. Subsequently, the detected variants were correlated with important wool traits. The traits included greasy fleece weight (GFW, g), staple length (SL, cm), prickle factor (PF, %), medullated fiber (MF, %), fiber diameter (FD, µm), crimp percentage (CR, %) and the standard deviation of FD (SDfd, µm), as well as the subjectively assessed traits of kemp score (KS), handle grad
APA, Harvard, Vancouver, ISO, and other styles
25

Bishara, Isaac, Xuan Liu, Jason l. Griffiths, et al. "Abstract 5133: End-stage breast cancer metastases manifest as two subtypes with distinct dissemination patterns, proliferation/EMT signatures, and immune microenvironments." Cancer Research 85, no. 8_Supplement_1 (2025): 5133. https://doi.org/10.1158/1538-7445.am2025-5133.

Full text
Abstract:
End stage breast cancer often presents with oligometastatic tumors and lacks effective treatment options. Previous studies leveraged post-mortem tissue procurement (also called rapid autopsy) programs to collect tumors shortly after death for profiling by bulk whole exome sequencing (WES). This has revealed substantial heterogeneity in the genomes of metastatic estrogen receptor-positive (ER+) and triple-negative breast cancers. In order to understand the heterogeneity of both the genotypes, transcriptional phenotypes, and evolution of these tumors, we collected multi-site metastatic tumors fr
APA, Harvard, Vancouver, ISO, and other styles
26

García-Valdecasas Bernal, Juan. "AUDITIO: el renovado journal de la Asociación Española de Audiología." Auditio 5, no. 2 (2021): 35–36. http://dx.doi.org/10.51445/sja.auditio.vol5.2021.0064.

Full text
Abstract:
¡AUDITIO se renueva! Llega el Día Mundial de la audición y no podíamos haber elegido mejor momento para dar la bienvenida a la nueva AUDITIO. Tras muchos meses de trabajo, AEDA ha conseguido renovar de manera única su revista científica. Un equipo, liderado el Dr. Raul Sánchez, flamante Editor Jefe de la revista, empezó a trabajar con el objetivo de renovar, modernizar y adaptar la revista a las necesidades del siglo XXI. Puede que les sorprenda pero AUDITIO es una revista pionera en audiología pues fue diseñada, por la Fundación Canaria Dr. Barajas en 2001, como una revista electrónica de acc
APA, Harvard, Vancouver, ISO, and other styles
27

Anfang, Günther. "Alter Wein in neuen Schläuchen." merz | medien + erziehung 55, no. 5 (2011): 82–83. http://dx.doi.org/10.21240/merz/2011.5.26.

Full text
Abstract:
Sieht man sich die aktuelle Landschaft der Kinderlernsoftware an, so kann man feststellen, dass sich nicht viel Neues tut. Alte Programme werden in neuen Formaten wiederaufgelegt und Bewährtes zum wiederholten Mal vermarktet. So gibt es für die Vierjährigen den PC-Klassiker Oskar der Ballonfahrer, der zum ersten Mal als PC-Spiel vor über zehn Jahren erschienen ist, nun auf Nintendo DS in der Ausgabe Tierische Abenteuer. Das Spiel ist immer noch hervorragend und macht Kindern sicher viel Spaß, auch wenn das kleine Display des Nintendo DS den Vierjährigen sicher ein bisschen Fingerfertigkeit abv
APA, Harvard, Vancouver, ISO, and other styles
28

Wütscher, Swenja. "Für Kinder, die stark sein müssen." merz | medien + erziehung 57, no. 3 (2013): 69–73. http://dx.doi.org/10.21240/merz/2013.3.16.

Full text
Abstract:
„Da geht es um ein Nashorn, das lebendig wird. Ein Junge malt es an die Wand und es wird lebendig, aber eigentlich sehnt sich dieser Junge nach seinem Vater. Und sobald dieser Vater auftaucht, kann der Junge das Nashorn auch wieder gehen lassen. Das Nashorn wird auf ein Schiff verfrachtet und dort ausgesetzt, wo es hingehört. Es geht vordergründig in der Geschichte nicht um Action, sondern darum, wie sehr sich dieser Junge nach seinem Vater sehnt. Aber der Junge muss sich trotzdem mit diesem Nashorn auseinandersetzen, das in seinem Wohnzimmer steht, weil er es blöderweise an die Wand gemalt ha
APA, Harvard, Vancouver, ISO, and other styles
29

Lohfink, Nicole, and Markus Achatz. "Filmfestival inmitten gesellschaftlicher Krisen - Berlinale 2023." merz | medien + erziehung 67, no. 2 (2023): 79–84. http://dx.doi.org/10.21240/merz/2023.2.17.

Full text
Abstract:
Nach zwei coronabedingt veränderten Jahren wollten die Internationalen Filmfestspiele in Berlin wieder durchstarten und mit dem Motto ‚Let’s get together‘ zu alter bzw. neuer Form finden. Filmteams reisten aus aller Welt an und waren bei den Premieren anwesend. Besonders politisch wollte die Leitung unter Mariëtte Rissenbeek und Carlo Chatrian deutliche Zeichen setzen und insbesondere die Kunst – und den Film als Mittel der Kunst – in ihrer gesellschaftlich wichtigen Rolle hervorheben. Politische Krisen spiegelten sich sowohl in der Eröffnung als auch im Programm der Sektionen wider: beginnend
APA, Harvard, Vancouver, ISO, and other styles
30

Grimm, Lena, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, and Marc Pouzet. "From Lustre to Graphical Models and SCCharts." ACM Transactions on Embedded Computing Systems, July 29, 2022. http://dx.doi.org/10.1145/3544973.

Full text
Abstract:
We introduce a systematic approach for automatically creating a visual diagram, akin to the graphical SCADE model, from a Lustre program. This not only saves tedious manual drawing effort but also enables modeling software to automatically provide the developer with different meaningful views for the same program. We also extend the SCCharts language with data-flow constructs that adhere to the Lustre semantics, which permits a translation from Lustre to graphical SCCharts. This allows using the SCCharts code generation, simulation and visualization tooling also for Lustre programs, in additio
APA, Harvard, Vancouver, ISO, and other styles
31

Tipu, Abdul Jabbar Saeed, Pádraig Ó. Conbhuí, and Enda Howley. "Artificial neural networks based predictions towards the auto-tuning and optimization of parallel IO bandwidth in HPC system." Cluster Computing, December 9, 2022. http://dx.doi.org/10.1007/s10586-022-03814-w.

Full text
Abstract:
AbstractSuper-computing or HPC clusters are built to provide services to execute computationally complex applications. Generally, these HPC applications involve large scale IO (input/output) processing over the networked parallel file system disks. They are commonly developed on top of the C/C++ based MPI standard library. The HPC clusters MPI–IO performance significantly depends on the particular parameter value configurations, not generally considered when writing the algorithms or programs. Therefore, this leads to poor IO and overall program performance degradation. The IO is mostly left t
APA, Harvard, Vancouver, ISO, and other styles
32

Pignuoli Ocampo, Sergio. "El programa sociológico de Niklas Luhmann y su contexto." Revista Mexicana de Sociología 77, no. 2 (2015). https://doi.org/10.22201/iis.01882503p.2015.2.48247.

Full text
Abstract:
Este trabajo reconstruye los fundamentos del proyecto disciplinario que el prestigioso sociólogo alemán Niklas Luhmann delineó hacia 1984 mediante la publicación de Soziale Systeme (“Sistemas sociales”). Esta reconstrucción sitúa históricamente dicho proyecto en los contextos histórico, institucional y disciplinario del primer lustro de los años ochenta y enfoca el nuevo lugar que le adjudicó a la comunicación en aquel proyecto. Se sugiere que Luhmann forjó los fundamentos operativos de su giro comunicativo en la tensión entre tradicióny disciplina.
APA, Harvard, Vancouver, ISO, and other styles
33

RODRÍGUEZ GARAVITO, CÉSAR A. "Globalización, reforma judicial y Estado de derecho en Colombia y América Latina: el regreso de los programas de derecho y desarrollo." IUSTA 1, no. 24 (2016). http://dx.doi.org/10.15332/s1900-0448.2006.0024.09.

Full text
Abstract:
<p>Desde la década de 1990 América Latina presenció importantes transformaciones del sistema judicial, acompañados del fortalecimiento del Estado de derecho, temas que desde hace más de un lustro son materia de análisis por parte de investigadores sociales, sin embargo, muchas de estas investigaciones desconocen los antecedentes históricos y políticos de estas reformas. Desde un análisis geográfico que permite establecer un marco comparativo regional y retomando los antecedentes históricos que desde la década de 1960 se presentaron alrededor del los sistemas jurídicos, el texto presenta
APA, Harvard, Vancouver, ISO, and other styles
34

Meghna 'Chili' Pramoda, Siona 'Dolly' Pramoda, and Zacha M. Ortiz Correa. "Luster Regained : A Novel Cyber Incident Risk Prediction Model Using Machine Learning." International Journal of Scientific Research in Computer Science, Engineering and Information Technology, June 20, 2022, 01–19. http://dx.doi.org/10.32628/cseit2283125.

Full text
Abstract:
Physical isolation during the COVID-19 pandemic prompted a 45% increase in digital use [5,15], leading to an increase in cyber incidents. This project seeks to understand the risk impact of prolonged internet use and evaluate opportunities for cyber education to lower such risk. In preparation for subsequent work, the project will learn about patterns in distress and the recovery of affected individuals. A 20-question English-language survey (Appendix A) was completed by 6th through 12th graders (n=1,869) across 4 countries. Analysis of the survey [1, 8, 10, 11, 13] indicated that the number o
APA, Harvard, Vancouver, ISO, and other styles
35

Juan Sordo. "Científicos sociales doctorados en el noreste de México. Desarrollo y reconocimiento recientes." Revista Educación Superior y Sociedad (ESS) 34, no. 1 (2022). http://dx.doi.org/10.54674/ess.v34i1.536.

Full text
Abstract:
Este trabajo analiza cómo doctorados locales creados recientemente han contribuido a la investigación en Ciencias Sociales en una región subnacional mexicana, desde un enfoque sociológico que considera que la ciencia en espacios periféricos muestra una dependencia estructural del exterior y de las políticas nacionales. Para ello, se compara el número de ingresos al Sistema Nacional de Investigadores de egresados de doctorados locales, nacionales y extranjeros entre 1990 y 2019. También se identifican las instituciones de educación superior y los programas doctorales locales con mayor contribuc
APA, Harvard, Vancouver, ISO, and other styles
36

Chávez-Flores, Ian Yetlanezi. "Una historia de la política migratoria guatemalteca de 1980 a los primeros años del siglo XXI." La Colmena, September 22, 2020, 75. http://dx.doi.org/10.36677/lacolmena.v0i107.13767.

Full text
Abstract:
Se realiza una sistematización histórica de los diversos planes, programas y acciones que ha implementado el gobierno guatemalteco para respetar los derechos humanos y, a su vez, hacer de la migración y el retorno a su país procesos voluntarios y seguros. Se analizan tres periodos diferentes: la década de los ochenta, la década de los noventa y el tercer lustro del siglo XXI. Se hace énfasis en la participación de diversos actores gubernamentales, organismos internacionales, naciones centroamericanas y asociaciones civiles en el resarcimiento de los daños causados por la guerra civil, el estab
APA, Harvard, Vancouver, ISO, and other styles
37

Gonzalez Fraga, Juan David, Gustavo Gaona Vargas, Diego Juarez Bolanos, and Ernesto Ponce Rodriguez. "Diseño e Implementación de la Licenciatura en Educación Multigrado en México: Aportes a la Formación Inicial Docente." Revista Brasileira de Educação do Campo, 2023, 1–23. http://dx.doi.org/10.20873/uft.rbec.e15233.

Full text
Abstract:
Más del 40% de las escuelas primarias en México son multigrado, es decir, donde existen más grupos que docentes. La literatura y evaluaciones elaboradas en el último lustro en el país son coincidentes en señalan que uno de los principales que enfrenta el multigrado, es la formación inicial de los actores que laboran en este tipo de escuelas. De ahí que, al reconocerse la necesidad de crear un programa de formación inicial específico para trabajar en escuelas multigrado, a finales del año 2019, la Universidad Pedagógica Nacional conformó un equipo de académicos e investigadores de diversas inst
APA, Harvard, Vancouver, ISO, and other styles
38

Jiménez-Morales, Manel. "The viewers’ judgement about television reality narratives." Comunicar 13, no. 25 (2005). http://dx.doi.org/10.3916/c25-2005-049.

Full text
Abstract:
This congress communication tries to develop a brief contents study about some of the paradigmatic reality programs with a qualitative analysis of their receipt. Hereby, it wants to study which are the main thematic topics that appear in this kind of programs across the representation of their contesters and which is the public opinion in the moment to pronounce sentence. Because under the decisions of the viewers’ telephone votes there is not only the luck of the competitors, but also the luck of our television and our own society point of view Sobre los concursantes de los programas de teler
APA, Harvard, Vancouver, ISO, and other styles
39

Thurman, Deborah. "Diversity Aesthetics: Figuring the Fate of DEI in Contemporary Black Office Fiction." American Literature, July 4, 2025. https://doi.org/10.1215/00029831-11934280.

Full text
Abstract:
Abstract For scholars and activists on the left, institutional diversity, equity, and inclusion (DEI) systems are often sites of ambivalence and disillusionment, yet recent right-wing campaigns to eliminate these programs necessitate new ways of evaluating their cultural significance. Has DEI changed American culture, and if so, how? The 2020s have already witnessed a wave of fictional narratives by Black writers addressing this question. This article focuses on an archive of texts I label DEI fictions, narratives that develop in contact with institutional diversity systems and represent those
APA, Harvard, Vancouver, ISO, and other styles
40

Altamirano Vaca, Jacqueline, Gabriela Fajardo Suárez, and Cristina Velásquez Flores. "Diseño, desarrollo e implementación de carreras en línea, caso Universidad Central del Ecuador." LATAM Revista Latinoamericana de Ciencias Sociales y Humanidades 4, no. 2 (2023). http://dx.doi.org/10.56712/latam.v4i2.674.

Full text
Abstract:
La modalidad de aprendizaje en línea es una propuesta instaurada en instituciones de educación superior en varios países de Latinoamérica y del mundo. En el caso de Ecuador, ha tomado más fuerza en el último lustro. Ante ello, las instituciones educativas de nivel superior deben tener claras las particularidades metodológicas y pedagógicas que se requieren cuando la educación se desarrolla de forma virtual, a diferencia de la modalidad presencial. Por ejemplo, se deben tomar en cuenta aspectos procedimentales y contextuales que varían la metodología de enseñanza y de aprendizaje, el rol que ti
APA, Harvard, Vancouver, ISO, and other styles
41

Gallardo-Salazar, José Luis, Marín Pompa-García, Carlos Arturo Aguirre-Salado, Pablito Marcelo López-Serrano, and Arnulfo Meléndez-Soto. "Drones: tecnología con futuro promisorio en la gestión forestal." Revista Mexicana de Ciencias Forestales 11, no. 61 (2020). http://dx.doi.org/10.29298/rmcf.v11i61.794.

Full text
Abstract:
La variabilidad climática plantea importantes retos que actualmente enfrentan los ecosistemas forestales. Para mejorar el entendimiento de sus procesos vitales es necesario contar con tecnologías de vanguardia, una de los cuales son los vehículos aéreos no tripulados (VANT) que desempeñan un papel fundamental. Si bien, los VANT se han usado para diferentes tareas y servicios; existe un vacío de información sobre el estado del arte de los enfoques, usos y tendencias en la gestión forestal. Este estudio es una aportación al conocimiento, en términos de volumen de investigación a través del tiemp
APA, Harvard, Vancouver, ISO, and other styles
42

Callixte, NZARIKURIKIZA, and Xavier NGABONZIMA Francois. "Association between Psychosocial Needs, Negative Lust Behaviour with Sexual Risk Behaviours among Young Girls Living in Kigali, Rwanda." September 2, 2021. https://doi.org/10.5281/zenodo.5386603.

Full text
Abstract:
Young girls living in shanty town experience life that may subject them to psychosocial needs (PNs), negative lust behavior (NLB), associated with sexual risk behaviors (SRBs). We aimed to understand how these variables not only independently affect girls who do not purposely use condom or abstain, but also how they shape antisocial behaviors that lead to unintended pregnancy (UP). Participants were 875 girls’ members of Young Girls Association (YGA) living in set barracks. We assessed the pitfall symptoms of NLB and SRB (who do not use condom, use condom, abstained) among 19500 sexually
APA, Harvard, Vancouver, ISO, and other styles
43

Hinner, Kajetan. "Statistics of Major IRC Networks." M/C Journal 3, no. 4 (2000). http://dx.doi.org/10.5204/mcj.1867.

Full text
Abstract:
Internet Relay Chat (IRC) is a text-based computer-mediated communication (CMC) service in which people can meet and chat in real time. Most chat occurs in channels named for a specific topic, such as #usa or #linux. A user can take part in several channels when connected to an IRC network. For a long time the only major IRC network available was EFnet, founded in 1990. Over the 1990s three other major IRC networks developed, Undernet (1993), DALnet (1994) and IRCnet (which split from EFnet in June 1996). Several causes led to the separate development of IRC networks: fast growth of user numbe
APA, Harvard, Vancouver, ISO, and other styles
44

Behm Rosas, Hugo. "Los determinantes de la mortalidad y las diferencias socioeconómicas de la mortalidad en la infancia." Población y Salud en Mesoamérica, July 1, 2014. http://dx.doi.org/10.15517/psm.v12i1.15141.

Full text
Abstract:
PRESENTACIÓN: El texto que se reproduce a continuación, escrito por el Dr. Hugo Behm Rosas, nacido en el año 1913, a inicios de los años noventa, sintetiza lo que fue un largo y prolífico trabajo de análisis de la mortalidad infantil en América Latina. Así lo atestiguan los estudios que publicó desde los inicios de los años sesenta del siglo pasado hasta el primer lustro de este siglo. El texto: Las diferencias socioeconómicas de la mortalidad en la infancia es un capítulo del libro Las desigualdades sociales ante la muerte en América Latina publicado en el año 1992 por el Centro Latinoamerica
APA, Harvard, Vancouver, ISO, and other styles
45

Lutz, Klaus. "Das Handy im Halfter." merz | medien + erziehung, October 1, 2021. https://doi.org/10.21240/merz/2023.swipe.21.

Full text
Abstract:
Die treuen Leser*innen meiner Glossen wissen es längst: Ich bin ein Fan von Western! Denn: Ich bin großer Pferdefan und in allen Western sind immer auch Pferde zu sehen. Leider ist das Genre aus der Mode gekommen und nur in großen zeitlichen Abständen schaffen es noch „moderne“ Western auf die Leinwand - und wenn ich Pech habe, geht der Pistolero zu Fuß oder die Heldin muss mit einem uralten Esel Vorlieb nehmen. Im TV-Programm sieht es etwas besser aus: Da stolpere ich beim nächtlichen Zappen - wenn die beste Ehefrau von allen schon ins Bett gegangen ist, denn sie mag weder Western noch Pferde
APA, Harvard, Vancouver, ISO, and other styles
46

Bellanta, Melissa. "Voting for Pleasure, Or a View from a Victorian Theatre Gallery." M/C Journal 10, no. 6 (2008). http://dx.doi.org/10.5204/mcj.2715.

Full text
Abstract:

 
 
 Imagine this historical scene, if you will. It is 1892, and you are up in the gallery at Her Majesty’s Theatre in Sydney, taking in an English burlesque. The people around you have just found out that Alice Leamar will not be performing her famed turn in Ta-ra-ra-boom-de-ay tonight, a high-kicking Can-Canesque number, very much the dance du jour. Your fellow audience members are none too pleased about this – they are shouting, and stamping the heels of their boots so loudly the whole theatre resounds with the noise. Most people in the expensive seats below look up in the d
APA, Harvard, Vancouver, ISO, and other styles
47

Bellanta, Melissa. "Voting for Pleasure, Or a View from a Victorian Theatre Gallery." M/C Journal 11, no. 1 (2008). http://dx.doi.org/10.5204/mcj.22.

Full text
Abstract:
Imagine this historical scene, if you will. It is 1892, and you are up in the gallery at Her Majesty’s Theatre in Sydney, taking in an English burlesque. The people around you have just found out that Alice Leamar will not be performing her famed turn in Ta-ra-ra-boom-de-ay tonight, a high-kicking Can-Canesque number, very much the dance du jour. Your fellow audience members are none too pleased about this – they are shouting, and stamping the heels of their boots so loudly the whole theatre resounds with the noise. Most people in the expensive seats below look up in the direction of the galle
APA, Harvard, Vancouver, ISO, and other styles
48

Mules, Warwick. "That Obstinate Yet Elastic Natural Barrier." M/C Journal 4, no. 5 (2001). http://dx.doi.org/10.5204/mcj.1936.

Full text
Abstract:
Introduction It used to be the case that for the mass of workers, work was something that was done in order to get by. A working class was simply the sum total of all those workers and their dependents whose wages paid for the necessities of life, providing the bare minimum for family reproduction, to secure a place and a lineage within the social order. However, work has now become something else. Work has become the privileged sign of a new kind of class, whose existence is guaranteed not so much by work, but by the very fact of holding a job. Society no longer divides itself between a rulin
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!