Relevant bibliographies by topics / PETRA (Program)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'PETRA (Program)'

Author: Grafiati
Published: 4 June 2021
Last updated: 28 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'PETRA (Program).'

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.

Journal articles on the topic "PETRA (Program)"

1

Yapari, Devina Paulina, and Steffi Thanissa Halim. "Analisis Pengaruh Citra Merek Baru terhadap Keputusan Mahasiswa Memilih Program Studi Bahasa Mandarin Universitas Kristen Petra." Century: Journal of Chinese Language, Literature and Culture 10, no. 2 (2022): 87–101. http://dx.doi.org/10.9744/century.10.2.87-101.

Full text
Abstract:
Program Studi Bahasa Mandarin Universitas Kristen Petra pada tahun 2019 baru saja melakukan kebijakan rebranding berupa pengubahan nama program studi yang semula Sastra Tionghoa menjadi Bahasa Mandarin. Perubahan ini ditanggapi positif oleh masyarakat dengan bukti adanya peningkatan jumlah mahasiswa secara signifikan dalam 2 tahun setelah kebijakan tersebut dibuat. Pada penelitian ini, peneliti ingin meneliti bagaimana citra merek baru mempengaruhi keputusan mahasiswa memilih Program Studi Bahasa Mandarin Universitas Kristen Petra. Skripsi ini menggunakan metode kualitatif, mewawancarai delapa
APA, Harvard, Vancouver, ISO, and other styles
2

Cahyadi, Silvia. "PERAN EFIKASI DIRI DALAM MOTIVASI BELAJAR BAHASA MANDARIN MAHASISWA PROGRAM STUDI BAHASA MANDARIN UNIVERSITAS KRISTEN PETRA." Century: Journal of Chinese Language, Literature and Culture 10, no. 2 (2022): 38–51. http://dx.doi.org/10.9744/century.10.2.38-51.

Full text
Abstract:
Penelitian ini dilakukan untuk mengetahui efikasi diri mahasiswa Program Studi Bahasa Mandarin Universitas Kristen Petra dalam belajar bahasa Mandarin dan mengetahui peran efikasi diri dalam meningkatkan motivasi mahasiswa Program Studi Bahasa Mandarin Universitas Kristen Petra dalam belajar bahasa Mandarin. Penelitian ini menggunakan pendekatan kualitatif dan melalui penjabaran secara deskriptif. Sumber data adalah mahasiswa Program Studi Bahasa Mandarin Angkatan 2021 Universitas Kristen Petra, dengan jumlah mahasiswa 10 orang. Dari analisis hasil wawancara, ditemukan bahwa pengalaman sebuah
APA, Harvard, Vancouver, ISO, and other styles
3

Mochtar, Jenny, and Gan Shu San. "Challenges in Quality Assurance: A Ten-Year Journey." SHS Web of Conferences 76 (2020): 01016. http://dx.doi.org/10.1051/shsconf/20207601016.

Full text
Abstract:
Academic quality is defined as the equivalent to academic standards related to student learning outcomes, which consist of specific levels of knowledge, skills, and abilities achieved by students participating in a program. The achievement of academic standards is accommodated by implementing both internal and external quality assurance practices. Internal quality assurance refers to policies and practices used by the higher education institutions to monitor and improve the quality of their education, while external quality assurance refers to policies and practices set up by external parties
APA, Harvard, Vancouver, ISO, and other styles
4

Keil, J., G. K. Sahoo, M. Schaumann, and R. Wanzenberg. "PETRA III Operational Performance and Availability in 2023." Journal of Physics: Conference Series 3010, no. 1 (2025): 012030. https://doi.org/10.1088/1742-6596/3010/1/012030.

Full text
Abstract:
Abstract At DESY the Synchrotron Light Source PETRA III offers scientists outstanding opportunities for experiments with hard X-rays of exceptionally high brilliance since 2009. Parallel to operation with high availability, a comprehensive study program supports hardware and software developments for the forthcoming PETRA IV upgrade. Key aspects in 2023 were the development of commissioning tools and the installation of a prototype PETRA IV 500 MHz Higher Order Mode (HOM) damped cavity. In view of the campus wide infrastructure provisions expected in the next years in parallel to the ongoing b
APA, Harvard, Vancouver, ISO, and other styles
5

Anggraini, Ayudiah. "Program Literasi Berbasis Permainan Siaga Petra untuk Menumbuhkan Sikap Empati Siswa." Jurnal Didaktika Pendidikan Dasar 7, no. 2 (2023): 549–64. http://dx.doi.org/10.26811/didaktika.v7i2.795.

Full text
Abstract:
Penelitian ini bertujuan menumbuhkan sikap empati siswa kelas 1b Sekolah Dasar Negeri 2 Rejang Lebong melalui program literasi berbasis permainan Siaga Petra. Metode penelitian yang digunakan adalah Penelitian Tindakan Kelas yang dilaksanakan dalam 3 siklus. Subjekpenelitian adalah siswa kelas 1b Sekolah Dasar Negeri 2 Rejang Lebong, sejumlah 29 orang terdiri dari 15 laki-laki dan 14 perempuan.Instrumen penelitian ini adalah jurnal pengamatan sikap empati. Data jurnal pengamatan sikap empati dianalisis secara deskriptif daribanyaknya kemunculan indikator. Hasil penelitian pada siklus1 terdapat
APA, Harvard, Vancouver, ISO, and other styles
6

COROBAN, Costel, and Cristina-Iulia MARINESCU GÎLĂ. "A COMPARATIVE ANALYSIS OF EUROPEAN EDUCATIONAL PROGRAMS IN THE LATE 80S AND EARLY 90S: COMETT, ERASMUS, PETRA, LINGUA, TEMPUS, AND EUROTECNET." Annals of the „Ovidius” University of Constanta – Political Science Series 2024, no. 13 (2024): 69–88. https://doi.org/10.61801/auoc-sp.2024.03.

Full text
Abstract:
This study delves into the impact of key European educational programs launched between the late 1980s and early 1990s, namely COMETT, Erasmus, PETRA, Lingua, TEMPUS, and Eurotecnet. These initiatives represented a concerted effort to foster deeper cooperation within the European Community, focusing on enhancing educational and vocational training opportunities. The COMETT program was instrumental in connecting academia with the labor market and advancing technology training but did not adequately support vulnerable groups such as women, ethnic minorities, and the unemployed. ERASMUS and PETRA
APA, Harvard, Vancouver, ISO, and other styles
7

Alhawatmeh, Hossam, Saed Rawashdeh, Sawsan Abuhammad, Mahmoud T. Alwidyan, and Raya Albataineh. "The speed and accuracy of prehospital triage for simulated disaster patients: Comparing prehospital emergency triage rapid algorithm (PETRA) and simple triage and rapid treatment (START)." Electronic Journal of General Medicine 21, no. 5 (2024): em608. http://dx.doi.org/10.29333/ejgm/15208.

Full text
Abstract:
<b>Objectives:</b> The prehospital emergency triage rapid algorithm (PETRA) method was designed to overcome the deficiencies of the earlier described simple triage and rapid treatment (START) method. This study has compared the START and PETRA triage methods regarding the appropriateness of triaging victims following a simulated mass casualty incident in terms of accuracy and time efficiency. The two triage systems were compared.<br /> <b>Methods:</b> This was a prospective study using a convenience sample of randomly distributed paramedic students between Septemb
APA, Harvard, Vancouver, ISO, and other styles
8

Arifin, Zukhruf, Rifaldi Maulyansyah, Hasna Fillari Sofia, Kharisma Nisa Pertiwi, and Lestari Arum Putri. "Implementation of PT Pertamina Patra Niaga Fuel Terminal Rewulu Corporate Social Responsibility Program through the Traditional Tempe Processing Program (PETRA) By KWM Berlian Progo." Prospect: Jurnal Pemberdayaan Masyarakat 2, no. 2 (2023): 104–13. http://dx.doi.org/10.55381/jpm.v2i2.141.

Full text
Abstract:
The community empowerment program for the Berlian Progo Independent Women's Group (KWM) is an initiative of PT Pertamina Patra Niaga Fuel Terminal Rewulu's Corporate Social Responsibility (CSR) in 2019. The presence of the Traditional Tempe Processing (PETRA) program is aimed at increasing the productivity of the people of Babakan Hamlet, Poncosari Village , Srandakan District, Bantul Regency, which previously experienced a vacuum due to the freezing of the Covid-19 outbreak. However, the presence of CSR PT Pertamina Patra Niaga Fuel Terminal Rewulu has succeeded in providing enthusiasm and su
APA, Harvard, Vancouver, ISO, and other styles
9

Nelssy Salut, Karolina, Ananda Dizyah Apriyati Here, Yane Kristiana Hina, Ofilda Isantri Neolaka, Marni Fandira Atonis, and Egidius Dewa. "Pelatihan Membaca Bagi Peserta Didik SD Kristen Petra Alak Dalam Program Kampus Mengajar Angkatan 3." BERBAKTI : Jurnal Pengabdian Kepada Masyarakat 1, no. 1 (2023): 12–23. http://dx.doi.org/10.30822/berbakti.v1i1.2204.

Full text
Abstract:
This paper focuses on the reading training program for students of SD Kristen Petra Alak conducted by participants of the Kampus Mengajar Angkatan 3. The purpose of this training is to improve students' reading skills through reading. This training is expected to provide positive benefits for students in developing their reading skills. The method used in this reading training is to use creative and interactive methods such as storytelling, singing, and role-playing. Learners are also given reading materials that are suitable for their grade level, namely, grade 2 to grade 4. Of the 25 learner
APA, Harvard, Vancouver, ISO, and other styles
10

Tanuwijaya, Michelle Junita. "ALIH KODE DALAM INTERAKSI SOSIAL MAHASISWA ANGKATAN 2017 PROGRAM STUDI BAHASA MANDARIN UNIVERSITAS KRISTEN PETRA." Century: Journal of Chinese Language, Literature and Culture 9, no. 1 (2021): 34–42. http://dx.doi.org/10.9744/century.9.1.34-42.

Full text
Abstract:
Alih kode sering kali terjadi pada berbagai interaksi sosial masyarakat baik dalam situasi formal maupun informal. Penelitian ini bertujuan untuk menganalisis alih kode yang terjadi pada mahasiswa angkatan 2017 Program Studi Bahasa Mandarin Universitas Kristen Petra dalam situasi formal, pada dasarnya untuk mengidentifikasi jenis alih kode dan faktor yang menyebabkan terjadinya alih kode tersebut. Penelitian ini menggunakan metode kualitatif dengan rekaman suara, observasi langsung, dan wawancara. Hasil dari penelitian ini menunjukkan bahwa ketika berinteraksi sosial dalam situasi formal, maha
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "PETRA (Program)"

1

BARROSO, GIOVANNI CORDEIRO. "A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1987. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192@1.

Full text
Abstract:
A modelagem de sistemas que apresentam subsistemas idênticos, por intermédio de Redes de Petri, conduz à geração de grafos de grandes dimensões com diversos componentes indênticos. As extensões às Redes de Petri que permitem diferenciar estes diversos subsistemas, por intermédio da distinção das fichas nelas contidas, receberam o nome de Redes de Petri Coloridas. Neste trabalho, são apresentados algumas propostas existentes na literatura sobre Redes de Petri Coloridas, bem como é desenvolvido um programa de análise baseado em uma dessas propostas - a de kurt Jensen. O programa analisa as propr
APA, Harvard, Vancouver, ISO, and other styles
2

Visée, Michaël. "Modeling and engineering software systems using Petri networks." Thesis, Massachusetts Institute of Technology, 2007. http://hdl.handle.net/1721.1/42377.

Full text
Abstract:
Thesis (S.M.)--Massachusetts Institute of Technology, System Design and Management Program, 2007.<br>Includes bibliographical references (p. 38).<br>A model of software applications for business process management based on colored Petri Networks is proposed and the corresponding application development process is exposed. A language is proposed to specify the enabling rules of the transitions. An algorithm to solve the binding problem is proposed and detailed. These elements allow the developers to isolate themselves from the very complex details of business process orchestration, transaction
APA, Harvard, Vancouver, ISO, and other styles
3

Loch, Fredrik. "Proving liveness properties of concurrent programs using petri-nets." Thesis, Umeå universitet, Institutionen för datavetenskap, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-92803.

Full text
Abstract:
With the increased scale of distributed computations the complexity of liveness proofs have increased. In this paper we endeavor to simplify the process of verifying a concurrent system using well know modeling techniques. The choice of modeling tool as well as the proof is based on future scalability and automation. We translate the formal proof to a petri-net representation and use this to verify basic algorithms. We show that the formal proof of liveness stated by Owiki and Lamport can be adapted to petri-nets. We also show a modification to petri-nets for increased granularity in loop mode
APA, Harvard, Vancouver, ISO, and other styles
4

Settenvini, Matteo. "Algorithmic Analysis of Name-Bounded Programs : From Java programs to Petri Nets via π-calculus". Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3112.

Full text
Abstract:
Context. Name-bounded analysis is a type of static analysis that allows us to take a concurrent program, abstract away from it, and check for some interesting properties, such as deadlock-freedom, or watching the propagation of variables across different components or layers of the system. Objectives. In this study we investigate the difficulties of giving a representation of computer programs in a name-bounded variation of π-calculus. Methods. A preliminary literature review is conducted to assess the presence (or lack thereof) of other successful translations from real-world programming lang
APA, Harvard, Vancouver, ISO, and other styles
5

Bradfield, Julian Charles. "Verifying temporal properties of systems with applications to petri nets." Thesis, University of Edinburgh, 1991. http://hdl.handle.net/1842/6565.

Full text
Abstract:
This thesis provides a powerful general-purpose proof technique for the verification of systems, whether finite or infinite. It extends the idea of finite local model-checking, which was introduced by Stirling and Walker: rather than traversing the entire state space of a model, as is done for model-checking in the sense of Emerson, Clarke et al. (checking whether a (finite) model satisfies a formula), local model-checking asks whether a particular state satisfies a formula, and only explores the nearby states far enough to answer that question. The technique used was a tableau method, constru
APA, Harvard, Vancouver, ISO, and other styles
6

de, Carvalho Gomes Pedro. "Automatic Extraction of Program Models for Formal Software Verification." Doctoral thesis, KTH, Teoretisk datalogi, TCS, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-176286.

Full text
Abstract:
In this thesis we present a study of the generation of abstract program models from programs in real-world programming languages that are employed in the formal verification of software. The thesis is divided into three parts, which cover distinct types of software systems, programming languages, verification scenarios, program models and properties.The first part presents an algorithm for the extraction of control flow graphs from sequential Java bytecode programs. The graphs are tailored for a compositional technique for the verification of temporal control flow safety properties. We prove t
APA, Harvard, Vancouver, ISO, and other styles
7

Pong, Lih, and 龐立. "Formal data flow diagrams (FDFD): a petri-netbased requirements specification language." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1985. http://hub.hku.hk/bib/B31207406.

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

Mendes, Filho Edilson. "Uma Avaliação do Programa de Apoio ao Arranjo Produtivo Local da Pedra Cariri – Ceará." reponame:Repositório Institucional da UFC, 2009. http://www.repositorio.ufc.br/handle/riufc/6078.

Full text
Abstract:
MENDES FILHO, Edilson. Avaliação do programa de apoio ao arranjo produtivo local da Pedra Cariri-Ceará. 2009. 91f. Dissertação (mestrado profissional em economia do setor público) - Programa de Pós Graduação em Economia, CAEN, Universidade Federal do Ceará, Fortaleza-Ce, 2009.<br>Submitted by Mônica Correia Aquino (monicacorreiaaquino@gmail.com) on 2013-10-08T22:17:27Z No. of bitstreams: 1 2009_dissert_emendesfilho.pdf: 4626919 bytes, checksum: 9eba85bd2278430ed66b7ef4e6d12197 (MD5)<br>Approved for entry into archive by Mônica Correia Aquino(monicacorreiaaquino@gmail.com) on 2013-10-08T22:1
APA, Harvard, Vancouver, ISO, and other styles
9

Moura, Rafael Cabral de. "Simula cão de Reservat órios de Petr óleo no Ambiente OpenFOAM." Universidade Federal de Pernambuco, 2012. https://repositorio.ufpe.br/handle/123456789/11653.

Full text
Abstract:
Submitted by Eduarda Figueiredo (eduarda.ffigueiredo@ufpe.br) on 2015-03-10T14:20:51Z No. of bitstreams: 2 Dissertacao_Rafael_Cabral_de_Moura.pdf: 9614096 bytes, checksum: 00e44a6b599533e527f22e1e016e3a85 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)<br>Made available in DSpace on 2015-03-10T14:20:51Z (GMT). No. of bitstreams: 2 Dissertacao_Rafael_Cabral_de_Moura.pdf: 9614096 bytes, checksum: 00e44a6b599533e527f22e1e016e3a85 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-02<br>Neste trabalho foi impl
APA, Harvard, Vancouver, ISO, and other styles
10

Rousseau, Pierre. "Découpe de programmes concurrents en vue de leur vérification." Paris, CNAM, 2006. http://www.theses.fr/2006CNAM0544.

Full text
Abstract:
Analyser des programmes concurrents en utilisant un modèle formel à partir duquel on génère l'ensemble des états accessibles par le modèle nécessite de faire face à l'explosion combinatoire du nombre de ces états. Quasar est un outil de vérification de programmes concurrents combattant ce problème à plusieurs niveaux. Tout d'abord, le programme est réduit pour ne conserver que les éléments relatifs à la propriété étudiée, puis le programme est traduit en un modèle formel (réseau de Petri) qui est ensuite analysé par une technique d'exploration exhaustive. Cette thèse présente tout d'abord un é
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "PETRA (Program)"

1

European Commission. Directorate-General XXII, Education, Training, and Youth., ed. Leonardo da Vinci: Analysis of the results of studies on vocational training in Europe : findings of the Comett, Eurotecnet, FORCE, Lingua, and PETRA programmes. Office for Official Publications of the European Communities, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lundstrom, Stephen F. Design of testbed and emulation tools. Computer Systems Laboratory, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Dahr, Michael. Petri net semantics of logic programs and deductive databases. Kovac, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Goltz, Ursula. On representing CCS programs by finite petri nets. Gesellschaft fur Mathematik und Datenverarbeitung, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Taubner, Dirk. Finite representations of CCS and TCSP programs by automata and Petri nets. Springer-Verlag, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Huck, Volker. Petri-Netze im Flughafenverkehr: Möglichkeiten, Grenzen, Perspektiven. Deutsche Forschungsanstalt für Luft- und Raumfahrt, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Taubner, Dirk. Finite representations of CCS and TCSP programs by automata and Petri nets. Springer-Verlag, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Taubner, Dirk A. Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51525-9.

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

Fernando, Carvalho Luiz, Santos Irandhir, Tavares Braulio, Arruda Lilian, Madeira Carla, and Nóbrega Alexandre 1961-, eds. Romance d'a Pedra do Reino e o príncipe do sangue do vai-e-volta: Da obra de Ariano Suassuna. Editora Globo, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Colom, José-Manuel. Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Springer Berlin Heidelberg, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "PETRA (Program)"

1

Jensen, Kurt. "Distributed Program Execution." In Coloured Petri Nets. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60794-3_13.

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

Herrtwich, Ralf Guido, and Günter Hommel. "Petri-Netze." In Nebenläufige Programme. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-57931-8_9.

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

Best, Eike, and Raymond Devillers. "Program Verification Using Traps." In Petri Net Primer. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-48278-6_7.

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

Blondin, Michael, Christoph Haase, and Philip Offtermatt. "Directed Reachability for Infinite-State Systems." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72013-1_1.

Full text
Abstract:
AbstractNumerous tasks in program analysis and synthesis reduce to deciding reachability in possibly infinite graphs such as those induced by Petri nets. However, the Petri net reachability problem has recently been shown to require non-elementary time, which raises questions about the practical applicability of Petri nets as target models. In this paper, we introduce a novel approach for efficiently semi-deciding the reachability problem for Petri nets in practice. Our key insight is that computationally lightweight over-approximations of Petri nets can be used as distance oracles in classica
APA, Harvard, Vancouver, ISO, and other styles
5

Jensen, Kurt. "Nuclear Waste Management Programme." In Coloured Petri Nets. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-60794-3_19.

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

Esparza, Javier, and Jörg Desel. "Negotiation Programs." In Application and Theory of Petri Nets and Concurrency. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-19488-2_8.

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

Fribourg, Laurent, and Hans Olsén. "Reductions of petri nets and unfolding of propositional logic programs." In Logic Program Synthesis and Transformation. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-62718-9_11.

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

Frisco, Pierluigi. "P Systems, Petri Nets, and Program Machines." In Membrane Computing. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11603047_15.

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

de Carvalho, Francisco Heron, Rafael Dueire Lins, and Ricardo Massa Ferreira Lima. "Translating Haskell# Programs into Petri Nets." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36569-9_43.

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

Goltz, Ursula, and Wolfgang Reisig. "Csp-programs as nets with individual tokens." In Advances in Petri Nets 1984. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-15204-0_11.

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

Conference papers on the topic "PETRA (Program)"

1

Santos, Lauriane Nunes dos. "UMA REVISITAÇÃO TEÓRICA DA FAMÍLIA EM HEGEL: ANÁLISE DA DICOTOMIA PÚBLICO-PRIVADO CENTRADA NA NOÇÃO DE FAMÍLIA E A OUTRIDADE DA(S) MULHERES." In Seminário Discente do Programa de Pós-graduação em Sociologia da Universidade Federal do Ceará. Even3, 2024. https://doi.org/10.29327/1496659.1-1.

Full text
Abstract:
Este artigo pretende apresentar uma reflexão sobre a obra de Hegel que versa sobre a família, especificamente no que concerne às relações familiares, pautadas numa base monogâmica, heterocentrada e legítima, considerando o casamento como pedra angular. A partir de tal revisitação, apontando as características citadas no decorrer da obra, tendo como amparo a filosofia feminista sobre a dicotomia público-privado e a construção da mulher enquanto outro, serão analisadas as naturalizações existentes na família hegeliana e as relações entre os “sexos” e o impacto real desses construtos na realidade
APA, Harvard, Vancouver, ISO, and other styles
2

AMORIM, ENIO FERNANDES, FRANCISCO DAS CHAGAS DA COSTA FILHO, MARIA DEL PILAR DURANTE INGUZA, and DAVID CAVALCANTE DA SILVA. "UTILIZAÇÃO DE RESÍDUOS DO BENEFICIAMENTO DA SCHEELITA EM COMPOSIÇÕES ASFÁLTICAS." In Anais da 49ª Reunião Anual de Pavimentação - RAPv. Even3, 2024. http://dx.doi.org/10.29327/1430212.49-22.

Full text
Abstract:
Os setores da mineração e da construção civil são responsáveis por uma parcela significativa do crescimento econômico do país. Porém, assim como todas as atividades humanas, os referidos setores são fontes de grandes impactos ambientais. Em se tratando dos impactos oriundos da mineração citam-se como exemplos, no âmbito econômico, a geração de empregos, o desenvolvimento do local de produção e a injeção de produtos no mercado; e na vertente ambiental, os decorrentes da extração excessiva de matéria-prima e da disposição incorreta dos resíduos produzidos pelo beneficiamento, assim como a diminu
APA, Harvard, Vancouver, ISO, and other styles
3

Kioskli, Kitty, and Eva Danassi. "Design, method and apparatus of a computerized cognitive gamified training program targeting to maintain and improve cognitive health in older adults." In PETRA '21: The 14th PErvasive Technologies Related to Assistive Environments Conference. ACM, 2021. http://dx.doi.org/10.1145/3453892.3461640.

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

Lima, Ricardo Massa Ferreira, and Rafael Dueire Lins. "Translating HCL Programs into Petri Nets." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 2000. http://dx.doi.org/10.5753/sbes.2000.25926.

Full text
Abstract:
Haskell# is a parallel extension to lazy functional language Haskell. The sequential part of programs is declared using standard Haskell. This reduces code development costs and increases its reliability by reusing existing and previously tested (or formally verified) Haskell modules. The structure of a process network (of possibly heterogeneous processors) is defined by Haskell# Coordination Language (HCL), also used for task-to-processor allocation. ln this work, we present an environment for analyzing formal properties of the communication structure of Haskell# programs. This environment co
APA, Harvard, Vancouver, ISO, and other styles
5

Gordeev, Dmitrii Stanislavovich. "Visualization and debugging on internal representation graph of Cloud-Sisal programs." In 31th International Conference on Computer Graphics and Vision. Keldysh Institute of Applied Mathematics, 2021. http://dx.doi.org/10.20948/graphicon-2021-1-54-62.

Full text
Abstract:
This paper describes the solution of the tasks of visualizing the graphs of the internal representation of Cloud Sisal programs, visualizing the process of computing and debugging Cloud Sisal programs. The formal definitions of the graph with ports and the graph model with ports and attributes are shown. A model of the visualization of the graph model with ports and attributes is described using static images in the SVG format. A model of displaying changes in the graph model with ports and attributes using animations supported by the SVG vector graphics format is described. The connection of
APA, Harvard, Vancouver, ISO, and other styles
6

Fogg, Anthony N. "Petro‐seismic classification using neural networks: UK onshore." In SEG Technical Program Expanded Abstracts 2000. Society of Exploration Geophysicists, 2000. http://dx.doi.org/10.1190/1.1815670.

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

Cintra, Marcelo H., and Wilson V. Ruggiero. "A Tool for Modeling and Simulation of Computer Architectures Using Petri Nets." In Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho. Sociedade Brasileira de Computação, 1995. http://dx.doi.org/10.5753/sbac-pad.1995.19889.

Full text
Abstract:
The developments in the field of computer architecture, especially parallel systems, lead to the design of even more complex architectures, making it difficult to take decisions that would increase the performance of the system. In order to analyze objectively the advantages of different architectural choices, it is important to have modeling and analysis techniques and tools that can efficiently acquire data about the system's performance. Petri nets have been used successfully as a modeling tool for computer architectures. However, the analysis of the complex nets needed to model real syster
APA, Harvard, Vancouver, ISO, and other styles
8

Liao, Weizhi, and Wenjing Li. "Automatic Concurrent Program Generation from Petri Nets." In 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science (DCABES). IEEE, 2013. http://dx.doi.org/10.1109/dcabes.2013.14.

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

Pletosu, Victor. "Professor Petre V. Ștefănucă - notorious personality of romanian folklore from interwar Bessarabia." In Ethnology Symposium "Ethnic traditions and processes", Edition II. Institute of Cultural Heritage, Republic of Moldova, 2021. http://dx.doi.org/10.52603/9789975333788.03.

Full text
Abstract:
In this article, the author explains the special role of the ethnologist Petre V. Ștefănucă in creating national folkloric archive. Petre V. Ștefănucă is an illustrious personality of the cultural life in Bessarabia from the first half of the XX century, who asserted himself through his program to substantiate a historiography of the traditional culture in Romanian. Preservation and promotion of the intangible cultural heritage has its roots in the interwar period, by the prodigious activity of the Romanian Social Institute in Basarabia, led by Professor Petre Ștefănucă – disciple of Romanian
APA, Harvard, Vancouver, ISO, and other styles
10

Stephen, Karl D., and Colin MacBeth. "Inverting for the petro‐elastic model via seismic history matching." In SEG Technical Program Expanded Abstracts 2006. Society of Exploration Geophysicists, 2006. http://dx.doi.org/10.1190/1.2369847.

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

Reports on the topic "PETRA (Program)"

1

Guidotti, Andrea. Democracy in Thailand: Navigating Populism and Authoritarianism. European Center for Populism Studies (ECPS), 2023. http://dx.doi.org/10.55271/rp0047.

Full text
Abstract:
This report provides an overview of the seventh event in ECPS’s monthly Mapping Global Populism panel series, titled "Democracy in Thailand: Navigating Populism and Authoritarianism," held online on November 30, 2023. Moderated by Dr. Michael Montesano, Associate Senior Fellow at the Thailand Studies Programme, Yusof Ishak Institute – ISEAS, the panel featured speakers Dr. Petra Alderman, Post-Doctoral Research Fellow at the University of Birmingham and Research Fellow of CEDAR, Itsakul Unahakate, PhD candidate at the University of Sydney and Lecturer at Thammasat University, and Pattanun Arun
APA, Harvard, Vancouver, ISO, and other styles
2

Schmerl, Bradley, Jonathan Aldrich, David Garlan, Rick Kazman, and Hong Yan. DiscoTect: A System for Discovering the Architectures of Running Programs using Colored Petri Nets. Defense Technical Information Center, 2006. http://dx.doi.org/10.21236/ada456147.

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

Güemes, Cecilia. Visiones de futuro de los gobiernos progresistas de America Latina. Fundación Carolina, 2024. http://dx.doi.org/10.33960/ac_10.2024.

Full text
Abstract:
La idea de progreso, como la de utopía, sirvió durante más de un siglo como eje de movilización política y social de proyectos de cambio, y de representación de una realidad alternativa. Su expulsión del debate ha dejado huérfanos y desorientados a quienes aspiran a promover transformaciones colectivas. Frente a ello, y más allá de las denuncias, hace falta un relato que transforme la indignación en fuerza social, que genere afectos colectivos de esperanza, que tenga un programa y un impulso capaz de dinamizar el cambio, imaginando una realidad mejor. Construir esperanzas supone hacerse cargo
APA, Harvard, Vancouver, ISO, and other styles
4

Montes Prado, Millerlandy, and Arturo Carabali Muñoz. Métodos Geostadísticos aplicados en el control de poblaciones del picudo Conotrachelus psidii Marshall (Coleoptera: Curculionidae). Corporación Colombiana de Investigación Agropecuaria - AGROSAVIA, 2016. http://dx.doi.org/10.21930/agrosavia.poster.2016.30.

Full text
Abstract:
La geoestadística es una herramienta útil para la caracterización y modelización de los patrones de distribución espacial (Moral 2004). El picudo Conotrachelus psidii es un insecto plaga de importancia económica en el cultivo de la guayaba en Colombia, el conocimiento de los patrones de distribución espacial del picudo a partir de métodos geoestadísticos permitirán optimizar un programa de manejo y reducir la aplicación de insecticidas, generando un menor impacto ambiental. Cultivos tecnificados realizan aplicaciones tipo calendario para su control. Desde el reporte de ingreso de C. psidii al
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'PETRA (Program)' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography