Relevant bibliographies by topics / Lotofa

Contents

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

Academic literature on the topic 'Lotofa'

Author: Grafiati
Published: 2 June 2025
Last updated: 31 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 'Lotofa.'

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 "Lotofa"

1

Peker, Hüseyin, Osman Çamlıbel, Ümit Ayata, and Göksel Ulay. "Sentetik Bazlı Mobilya Verniği Uygulanmış Lotofa, Zebrano, Sapelli, Ekaba ve Gürgen Odunlarında Renk Parametrelerinin Karşılaştırılması." Journal of Green Technology and Environment 3, no. 1 (2025): 7–17. https://doi.org/10.5281/zenodo.15477224.

Full text
Abstract:
Bu &ccedil;alışmada, lotofa (<em>Sterculia Rhinopetala</em>), zebrano (<em>Microberlinia brazzavillensis</em>), sapelli (<em>Entandrophragma cylindricum</em>), ekaba / ekop (<em>Tetraberlinia bifoliolata</em> Haum.) ve adi g&uuml;rgen (<em>Carpinus betulus</em> L.) odunlarına ait deney &ouml;rneklerinin y&uuml;zeylerine sentetik bazlı mobilya verniği uygulanmış olunup, meydana gelen renk parametrelerindeki değişimler karşılaştırılmıştır. B&uuml;t&uuml;n ağa&ccedil; t&uuml;rlerine vernik uygulanması ile kontrol &ouml;rneklerine kıyasla <em>L</em>* ve <em>h</em><sup>o</sup> değerlerinde azalışla
APA, Harvard, Vancouver, ISO, and other styles
2

Simo-Tagne, Merlin, Romain Rémond, Yann Rogaume, André Zoulalian, and Patrick Perré. "Characterization of sorption behavior and mass transfer properties of four central africa tropical woods: Ayous, Sapele, Frake, Lotofa." Maderas. Ciencia y tecnología, ahead (2016): 0. http://dx.doi.org/10.4067/s0718-221x2016005000020.

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

Simo-Tagne, Merlin, Lyes Bennamoun, Angélique Léonard, and Yann Rogaume. "Determination and modeling of the isotherms of adsorption/desorption and thermodynamic properties of obeche and lotofa using nelson’s sorption model." Heat and Mass Transfer 55, no. 8 (2019): 2185–97. http://dx.doi.org/10.1007/s00231-019-02577-2.

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

Henny Henny, Ike Nurjannah, and Eka Putri. "Pengabdian Kepada Masyarakat Pemberdayaan Masyarakat Pesisir Pantai Pembuatan Bedak Lotong." Natural: Jurnal Pelaksanaan Pengabdian Bergerak bersama Masyarakat. 1, no. 1 (2023): 01–08. http://dx.doi.org/10.61132/natural.v1i1.295.

Full text
Abstract:
Lotong powder is a powder made from roasted rice with spices that has been used for generations in the Bugis-Makassar culture. Lotong powder was previously only used by noble daughters, especially descendants of Arung Paria and Bugis brides who were getting married. However, the production of Lotong Powder has begun to disappear and is only produced on a family scale, carried out on a subsystem basis in spare time and managed traditionally. The partnership program for the community focuses on promoting Bedak Lotong as a Bugis-Makassar ethno-spa. The activities carried out include outreach in t
APA, Harvard, Vancouver, ISO, and other styles
5

Sumiati, Sumiati, Andi Muhammad Irfan Taufan Asfar, Andi Muhammad Iqbal Akbar Asfar, Aisyah Nursyam, Andi Fauziah, and Nurhasanah Nurhasanah. "Diseminasi pemanfaatan limbah menir beras sebagai produk Etno-Spa Bedda Lotong Khas Suku Bugis-Makassar." Unri Conference Series: Community Engagement 3 (November 18, 2021): 34–39. http://dx.doi.org/10.31258/unricsce.3.34-39.

Full text
Abstract:
Bedda Lotong is a powder made from roasted rice with spices that has been used for generations in the Bugis-Makassarese culture. Bedda Lotong used to be only used by the daughters of nobles, especially the descendants of Arung Paria and Bugis brides who were about to get married. However, the production of Bedda Lotong has begun to disappear and is only produced on a family scale which is carried out in a subsystem during spare time and is managed traditionally. The partnership program for the community focuses on promoting Bedda Lotong as a Bugis-Makassar ethno-spa. The activities carried out
APA, Harvard, Vancouver, ISO, and other styles
6

Sumiati, Andi Muhammad Irfan Taufan Asfar, Andi Muhamad Iqbal Akbar Asfar, Andi Fauziah, and Nurhasanah. "DIFERENSIASI PRODUK BEDDA LOTONG DI DESA BIRU SEBAGAI ETNO-SPA ALA SUKU BUGIS-MAKASSAR." J-ABDI: Jurnal Pengabdian kepada Masyarakat 1, no. 5 (2021): 835–44. http://dx.doi.org/10.53625/jabdi.v1i5.390.

Full text
Abstract:
Bedda Lotong is a powder made from roasted rice with spices that has been used for generations in the Bugis-Makassarese culture. Bedda Lotong used to be only used by the daughters of nobles, especially the descendants of Arung Paria and Bugis brides who were about to get married. However, the production of Bedda Lotong has begun to disappear and is only produced on a family scale which is carried out in a subsystem during spare time and is managed traditionally. The partnership program for the community focuses on promoting Bedda Lotong as a Bugis-Makassar ethno-spa. The activities carried out
APA, Harvard, Vancouver, ISO, and other styles
7

Ramadani, Dewi, Rika Hari Lestari, Juanda Juanda, and Mirnawati Mirnawati. "Analisis Masker Wajah Berbahan Dasar Susu Sapi Kombinasi Bedak “Lotong” terhadap Aktivitas Antioksidan, Nilai TBA dan Kadar pH." Jurnal Peternakan Lokal 5, no. 1 (2023): 47–53. http://dx.doi.org/10.46918/peternakan.v5i1.1730.

Full text
Abstract:
Susu sapi dapat dimanfaatkan sebagai bahan dasar produk kecantikan seperti sabun, lulur maupun masker wajah karena memiliki kandungan sifat antibakteri dan antioksidan yang baik untuk kesehatan kulit. Produk khas suku Bugis Sulawesi Selatan yang komposisinya berasal dari bahan alamiah yakni bedak “lotong” (baca : bedak hitam) dibuat secara tradisional berbahan dasar alamiah terdiri dari ketan hitam (Oryza sativa L. glutinosa), temulawak (Curcuma xanthorrhiza Roxb), dan asam jawa (Tamarindus indica). Tujuan penelitian adalah menganalisis apakah masker wajah berbahan dasar susu sapi kombinasi be
APA, Harvard, Vancouver, ISO, and other styles
8

Ali, Fahmi, Hendra Stevani, and Dwi Rachmawaty. "FORMULASI DAN STABILITAS SEDIAAN BODY SCRUB BEDDA LOTONG DENGAN VARIASI KONSENTRASI TRIETANOLAMIN." Media Farmasi 15, no. 1 (2019): 71. http://dx.doi.org/10.32382/mf.v15i1.852.

Full text
Abstract:
ABSTRAKBedda lotong merupakan produk alami dari suku bugis dengan bahan dasar beras putih, temulawak dan jeruk nipis yang terbukti secara preklinik berkhasiat sebagai antioksidan, namun dalam penggunaannya masih secara empiris sehingga tidak efisien dan tidak tahan lama. Penelitian ini bertujuan untuk menformulasikan sediaan body scrub bedda lotong dan untuk mengetahui stabilitas dan mutu fisik sediaan tersebut. body scrub bedda lotong diformulasikan dengan variasi konsentrasi trietanolamin 2%, 3%, dan 4%, pengujian mutu fisik dilakukan sebelum dan sesudah pengujian stabilitas dipercepat yang
APA, Harvard, Vancouver, ISO, and other styles
9

Meilin Lusia Kurniawan, Juliana Kadang, and Maftukin Waluyo. "Membangun Strategi Kemitraan Dalam Meningkatkan Pendapatan Usaha Aura Bedda Lotong." Journal of Management and Creative Business 1, no. 2 (2023): 103–11. http://dx.doi.org/10.30640/jmcbus.v1i2.833.

Full text
Abstract:
Lulur berbahan dasar alami saat ini menjadi perhatian bagi pecinta kosmetik karna diangap lebih aman untuk digunakan. Salah satu lulur berbahan dasar alami yang saat ini banyak diminati adalah lulur tradisional khas bugis yaitu bedda lotong. Bedda lotong merupakan lulur tradisional yang dulunya hanya digunakan oleh wanita bangsawan. Namun seiring dengan perkembangan zaman lulur ini sudah dapat digunakan semua orang dari berbagai kalangan. Salah satu usaha yang menawarkan produk lulur bedda lotong di Kota Palu adalah Aura bedda lotong. Usaha ini memiliki peluang yang besar pada pasar dan memili
APA, Harvard, Vancouver, ISO, and other styles
10

Cici Saodah, Juliana Kadang, and Maftukin Waluyo. "Peran Sumber Daya Manusia (SDM) Dalam Strategi Bauran Pemasaran Aura Bedda Lotong." Journal of Management and Creative Business 1, no. 2 (2023): 122–30. http://dx.doi.org/10.30640/jmcbus.v1i2.835.

Full text
Abstract:
Penelitian ini berjudul peran sumber daya manusia (SDM) dalam strategi bauran pemasaran Aura Bedda Lotong. Aura Bedda Lotong adalah salah satu usaha yang bergerak dibidang perawatan kulit. Dimana saat ini mempunyai kulit yang sehat dan bersih menjadi impian semua orang. Salah satu perawatan kulit yang dapat dilakukan yaitu dengan menggunakan lulur dan masker. Aura Bedda Lotong merupakan produk lulur dan masker yang berbahan dasar alami yang mempunyai banyak manfaat untuk perawatan kulit. Tujuan penelitian ini yaitu untuk mengetahui peran sumber daya manusia (SDM) terhadap strategi bauran pemas
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Lotofa"

1

Robertsson, Annika, Cecilia Johansson, and Katja Nilsson. "Lotta och Gittan." Thesis, Halmstad University, School of Teacher Education (LUT), 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-1397.

Full text
Abstract:
<p>Studera hur flickan konstrueras i de</p><p>båda barnböckerna för att sedan se hur</p><p>dessa speglar sig i 1970-talet respektive</p><p>2000-talets samhälles syn på barn. Studiens valda teori är genusvetenskap.</p><p>I analysen använder vi</p><p>Nikolajevas och Edströms metoder</p><p>om barnbokens struktur, dessa är</p><p>studiens analysverktyg. Med dessa</p><p>metoder tittar vi på flickans</p><p>konstruktion i de båda barnböckerna.</p><p>Flickans konstruktion i barnböckerna</p><p>återspeglas i hur samhällets syn är på</p><p>barn då boken är skriven.</p><p>Dessutom är det tydligt att flicka
APA, Harvard, Vancouver, ISO, and other styles
2

Gallouzi, M. Souheil. "Trace analysis of LOTOS behaviours." Thesis, University of Ottawa (Canada), 1989. http://hdl.handle.net/10393/5831.

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

Ashkar, Pierre. "Symbolic execution of LOTOS specifications." Thesis, University of Ottawa (Canada), 1994. http://hdl.handle.net/10393/6679.

Full text
Abstract:
LOTOS (Language Of Temporal Ordering Specification) is a Formal description Technique (FDT) based on the temporal ordering of observational behaviour. It was developed by ISO (International Organization for Standardization) for the specification of OSI (Open System Interconnection) services and protocols. This thesis presents a method of translating a LOTOS specification written in any given style into either of two simpler forms, known as the Monolithic Style Specification and the Parameterized Tree. A method of applying LOTOS expansion theorems to derive an intermediary form, known as the Be
APA, Harvard, Vancouver, ISO, and other styles
4

Amyot, Daniel. "Formalization of timethreads using LOTOS." Thesis, University of Ottawa (Canada), 1994. http://hdl.handle.net/10393/6832.

Full text
Abstract:
Timethreads are a new notation for visual description of the different causality paths of a system. They illustrate causality sequences of activities through systems. A design process based on the use of timethreads has already been defined. The Formal Description Technique LOTOS (Language Of Temporal Ordering Specification) is a specification language based on the temporal ordering of observational behaviour. This thesis aims at the integration of formal methods in the design of real-time and distributed systems by presenting a LOTOS interpretation of timethreads. With the help of a timethrea
APA, Harvard, Vancouver, ISO, and other styles
5

Ghribi, Brahim. "A model checker for LOTOS." Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7536.

Full text
Abstract:
LOTOS (Language Of Temporal Ordering Specification) is a Formal Description Technique (FDT) based on the temporal ordering of observational behaviour. It was developed by ISO (International Organization for Standardization) for the specification of OSI (Open Systems Interconnections) services and protocols. CTL (Computation Tree Logic) is a branching-time temporal logic, which can be used to express properties of the system being designed. Efficient algorithms were reported in the literature which make it possible to check whether a given behaviour tree enjoys a property expressed in CTL. Such
APA, Harvard, Vancouver, ISO, and other styles
6

Haj-Hussein, Mazen. "Guided search technique for LOTOS." Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/10085.

Full text
Abstract:
The dynamic behaviour of a LOTOS specification can be described as a tree, called behaviour tree, where the nodes represent the states of the behaviour, and the branches represent the possible next actions. Unfortunately, the behaviour tree for a realistic size LOTOS specification can be very large and often has no finite representation. This is the major limitation for the existing LOTOS verification techniques. The main goal of this thesis is to provide a new behaviour tree exploration technique, called Goal-Oriented Execution, that can be used to check properties of LOTOS specifications by
APA, Harvard, Vancouver, ISO, and other styles
7

Stragliotto, Eleonora <1992&gt. "ORIGINE E SVILUPPO DEL PENSIERO SOCIALISTA NELLA RUSSIA TARDO IMPERIALE - Dalla "lotta sociale" alla "lotta politica"." Master's Degree Thesis, Università Ca' Foscari Venezia, 2017. http://hdl.handle.net/10579/10239.

Full text
Abstract:
L’elaborato di tesi si propone di analizzare approfonditamente il passaggio dalla "lotta sociale" alla "lotta politica" del movimento populista russo, ovvero le sue diverse fasi. L’analisi viene condotta attraverso i riferimenti della fonte di P.A. Kropotkin 'Memorie di un rivoluzionario'. L’elaborato viene suddiviso in due parti, la prima contiene una presentazione del quadro istituzionale e sociale caratteristico dell’autocrazia nella Russia tardo imperiale, lo zar riformatore Alessandro II, l’epoca della reazione, il popolo oppresso, l’iniziativa guidata dall’intelligencija russa e dai gio
APA, Harvard, Vancouver, ISO, and other styles
8

Lima, Humberto Maia. "Ferramentas para linguagem de especificação LOTOS." [s.n.], 1992. http://repositorio.unicamp.br/jspui/handle/REPOSIP/259633.

Full text
Abstract:
Orientador: Mauricio Ferreira Magalhães<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica<br>Made available in DSpace on 2018-07-19T03:46:57Z (GMT). No. of bitstreams: 1 Lima_HumbertoMaia_M.pdf: 6282762 bytes, checksum: 38c8a0eb30331b118dd48a4a19ad9b52 (MD5) Previous issue date: 1992<br>Resumo: Este trabalho propõe a implementação de um ambiente de auxílio ao desenvolvimento de especificações de sistema que utilizam LOTOS como linguagem. Tal ambiente é formado de um conjunto integrado de ferramentas composto de um editor de texto, um analisador s
APA, Harvard, Vancouver, ISO, and other styles
9

Garavel, Hubert. "Compilation et vérification de programmes LOTOS." Grenoble 1, 1989. http://tel.archives-ouvertes.fr/tel-00004339.

Full text
Abstract:
LOTOS (Language Of Temporal Ordering Specification) est un langage de description de systèmes parallèles communicants, normalisé par l'ISO et le CCITT afin de permettre la définition formelle des protocoles et des services de télécommunications. Le langage utilise des types abstraits algébriques pour spécifier les données et un calcul de processus proche de CSP et CCS pour exprimer le contrôle. Cette thèse propose une technique de compilation permettant de traduire un sous-ensemble significatif de LOTOS vers un modele reseau de Petri interprete (pouvant servir a produire du code executable) pu
APA, Harvard, Vancouver, ISO, and other styles
10

Garavel, Hubert Voiron Jacques. "Compilation et vérification de programme LOTOS." S.l. : Université Grenoble 1, 2008. http://tel.archives-ouvertes.fr/tel-00004339.

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

Books on the topic "Lotofa"

1

Kukhta, Vasylʹ. Lotosy i lotoky: Ese. KP "Uz͡hhorodsʹka misʹka drukarni͡a", 2008.

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

Oskolkova, Polina. I͡A︡ iskru lotosa noshu v sebe. MRIP "I͡U︡piter", 1994.

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

Khaĭnrikh, Peti︠a︡. Lotos. Smol Steishŭns Pres, 2014.

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

Żukrowski, Wojciech. Lotna. Wydawn. Artystyczne i Filmowe, 1989.

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

Wajda, Andrzej. Lotna. Polart, 1994.

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

Hubert, Catherine. Lotta. Pastre, 2003.

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

Wisniewski-Snerg, Adam. Wedlug lotra. Wydawnictwo slowo/obraz terytoria, 2005.

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

Mascali, Antonella. Lotta civile. Chiarelettere, 2009.

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

Acevska, Vesna. Budnost. Lotos. Dijalog, 2012.

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

Balsley, Tilda. Lotsa matzah. Kar-Ben Pub., 2013.

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

Book chapters on the topic "Lotofa"

1

Lai, Richard, and Ajin Jirachiefpattana. "Lotos." In Communication Protocol Specification and Verification. Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5549-0_4.

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

Hogrefe, Dieter. "Lotos." In Estelle, LOTOS und SDL. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/978-3-642-74238-5_4.

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

Schmid, Paul. "Procyon lotor." In Säugetiere der Schweiz / Mammifères de la Suisse / Mammiferi della Svizzera. Birkhäuser Basel, 1995. http://dx.doi.org/10.1007/978-3-0348-7753-4_70.

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

Dewdney, A. K. "Procyon lotor." In Hungry Hollow. Springer New York, 1998. http://dx.doi.org/10.1007/978-1-4612-2220-0_1.

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

Miguel, C., L. Vidaller, and A. Fernández. "Extended LOTOS." In The OSI95 Transport Service with Multimedia Support. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-642-85165-0_19.

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

Olsson, Ulf. "Lotass, Lotta." In Kindlers Literatur Lexikon (KLL). J.B. Metzler, 2020. http://dx.doi.org/10.1007/978-3-476-05728-0_15373-1.

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

Rutherford, Adam. "Whole Lotta Love." In Bin ich etwas Besonderes? Springer Berlin Heidelberg, 2020. http://dx.doi.org/10.1007/978-3-662-61566-9_14.

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

van der Vloedt, Thony. "The LOTOS Toolbox." In Algebraic Methodology and Software Technology (AMAST’93). Springer London, 1994. http://dx.doi.org/10.1007/978-1-4471-3227-1_46.

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

Breier, Albert. "Rose und Lotos." In Die Zeit des Sehens und der Raum des Hörens. J.B. Metzler, 2002. http://dx.doi.org/10.1007/978-3-476-02777-1_28.

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

Berning, Sue Claire. "Bamboo and Lotos." In Resilienz. Springer Fachmedien Wiesbaden, 2017. http://dx.doi.org/10.1007/978-3-658-19222-8_12.

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

Conference papers on the topic "Lotofa"

1

Scheffel, Roberto Milton, and Murilo Silva de Camargo. "Validação de Especificações Formais de Sistemas Dependentes de Tempo Através de Simulação." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1997. http://dx.doi.org/10.5753/sbes.1997.24050.

Full text
Abstract:
Este artigo apresenta uma abordagem baseada em simulação para a validação de sistemas dependentes de tempo, especificados numa extensão temporal da linguagem LOTOS denominada RT-LOTOS (Real-Time LOTOS). A primeira parte do artigo apresenta as principais características de RT-LOTOS, com uma discussão de sua sintaxe e semântica. A seguir, é apresentada uma metodologia de validação de especificações RT-LOTOS, baseada em simulação. Para tal, o presente artigo apresenta uma ferramenta que suporta a simulação interativa e automática das especificações, apresentando suas funcionalidades. Para uma mel
APA, Harvard, Vancouver, ISO, and other styles
2

Martins, Ricardo Ferreira, Murilo Silva de Camargo, and Jean-Marie Farines. "Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1996. http://dx.doi.org/10.5753/sbes.1996.24447.

Full text
Abstract:
In this paper, we present a methodology and tools for verifying specifications of real-time systems, written in RT-LOTOS, a timed extension of the LOTOS specification language. From the model in RT-LOTOS, it is generated the related Timed Automata, over which the verification can be done, by using formulas written in the TCTL Real-Time Temporal Logic. The translator of RT-LOTOS specifications into Timed Automata that was built is described in this work. His integration with existing tools that allow the verification is also shown. Finally, case-studies allow to analyze the use of this method a
APA, Harvard, Vancouver, ISO, and other styles
3

Ferraz, Carlos A. G., Paulo R. F. Cunha, and Silvio R. L. Meira. "Simulação de Especificações LOTOS Usando Linguagens Funcionais." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1989. http://dx.doi.org/10.5753/sbes.1989.25248.

Full text
Abstract:
O objetivo deste trabalho é mostrar como podemos usar a técnica de prototipação rápida para tornar executáveis especificações descritas em LOTOS. Para tanto, usamos linguagens de programação funcionais para escrever os protótipos e simular as expressões LOTOS. A simulação é mostrada através de exemplos, onde são explicados os procedimentos de tradução das especificações para os protótipos funcionais.
APA, Harvard, Vancouver, ISO, and other styles
4

Hamilton, John, and John Morse. "Protecting Workers Performing Machine Maintenance: Comparing Modalities." In ASME 2024 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2024. https://doi.org/10.1115/imece2024-144163.

Full text
Abstract:
Abstract Machine maintenance brings humans into exposure to hazards in unique ways. Modalities to reduce risk vary globally. In the United States the government attempts to protect workers performing maintenance via regulations imposed on employers. The relevant regulation for general industry is titled “The control of hazardous energy (lockout/tagout)”, also known as Lockout/Tagout or LOTO. LOTO relies on training of and compliance by the employees, and enforcement of the LOTO program by the employers. The cost of compliance in time spent can be high and therefore LOTO is sometimes not compli
APA, Harvard, Vancouver, ISO, and other styles
5

Fraga, Luciano de S., Leizer de L. Pinto, and Kleber V. Cardoso. "Efficient Task Orchestration Including Mixed Reality Applications in a Combined Cloud-Edge Infrastructure." In Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Sociedade Brasileira de Computação, 2025. https://doi.org/10.5753/sbrc.2025.5905.

Full text
Abstract:
Mixed Reality (MR) is establishing itself as one of the most prominent immersive applications, enabled by advanced computing and communication infrastructures that must deliver high throughput, low latency, and high reliability simultaneously. To meet the stringent requirements of MR applications, while balancing competition with less demanding workloads and varying operational costs, cloud and edge computing resources must be efficiently orchestrated. Despite extensive research on task offloading, key aspects such as accurately modeling MR demand and incorporating adequate infrastructure cost
APA, Harvard, Vancouver, ISO, and other styles
6

Medeiros, Eílson Barbosa, Mauricio Ferreira Magalhães, and Wanderley Lopes de Souza. "Geração Automática de Especificações de Implementação a partir de Especificações Abstratas." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1992. http://dx.doi.org/10.5753/sbes.1992.25183.

Full text
Abstract:
Neste ártigo é descrita uma metodologia, para o projeto de sistemas, baseada em duas linguagens de especificação: LOTOS e STER. Essas linguagens possuem diferentes níveis de abstração e, de acordo com as suas características, são empregadas em diferentes fases de uma trajetória de projeto. Uma tradução automática de especificações LOTOS em especificações STER é proposta e a execução de especificações STER é descrita. O objetivo principal deste trabalho é demonstrar como diferentes linguagens podem ser combinadas, a fim de dar suporte ao projeto de sistemas, sem exigir novas características par
APA, Harvard, Vancouver, ISO, and other styles
7

Moura, Maria Teresa Silva de, and Paulo Roberto Freire Cunha. "Representação Gráfica para LOTOS." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1989. http://dx.doi.org/10.5753/sbes.1989.25253.

Full text
Abstract:
Este trabalho apresenta uma representação gráfica para LOTOS (Language of Temporal Ordering Specification), uma técnica de descrição formal para a especificação de sistemas distribuídos. A principal característica desta representação gráfica é sua simplicidade, onde os principais aspectos da especificação são facilmente visualizados, facilitando o desenvolvimento e aumentando a clareza, uma característica importante quando se trata de especificações formais.
APA, Harvard, Vancouver, ISO, and other styles
8

Jauregi Miguel, Amaia. "Lotura hertsien gene adierazpenaren alterazioa eritasun zeliakoan." In I. Ikergazte. Nazioarteko ikerketa euskaraz. UEU arg, 2015. http://dx.doi.org/10.26876/ikergazte.i.103.

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

Khawi, H. A., and A. M. Asmary. "Digital Lockout/Tagout Tracking and Control System." In SPE International Health, Safety, Environment and Sustainability Conference and Exhibition. SPE, 2024. http://dx.doi.org/10.2118/220455-ms.

Full text
Abstract:
Abstract The effectiveness of the Lockout/Tagout (LOTO) system is vital to achieving optimum workplace safety in the oil and gas industry. As a traditional method, LOTO can be considered as much a tool as the training provided to the industrial workforce for awareness of the system. It is necessary but not adequate alone to ensure a foolproof LOTO system. This paper examines the conversion of the LOTO system into a computerized configuration, which will consequently shoot it another notch with an additional layer of safeguarding protection toward a better overall safety measurement. The tracki
APA, Harvard, Vancouver, ISO, and other styles
10

COZMA, Dumitru. "Integrability of Lotka-Volterra differential equation via integrating factors." In Ştiință și educație: noi abordări și perspective. "Ion Creanga" State Pedagogical University, 2023. http://dx.doi.org/10.46727/c.v3.24-25-03-2023.p299-305.

Full text
Abstract:
We consider the Lotka-Volterra differential equation:y(a_2*x +b_2*y+c_2)*dx=x*(a_1*x +b_1*y+c_1)*d_y in which the coefficients a_1, b_1, c_1, a_2, b_2, c_2 and variables x, y are assumed to be real. This equation introduced by Lotka and Volterra appears in ecology where it models two species in competition. It has been widely used in chemistry, applied mathematics and in a large variety of physical topics such as laser physics, plasma physics, neural networks, hydrodynamics etc. In this paper, depending on the coefficients of the equation, we study its integrability by using different methods
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Lotofa"

1

Canto, Patricia, ed. Fundazioen eta garapen jasangarrirako helburuak bultzatzeko betetzen duten rolaren benchmarkinga. Universidad de Deusto, 2022. http://dx.doi.org/10.18543/hzdx3632.

Full text
Abstract:
Erakunde guztiak dira aliatu garrantzitsuak 2030 Agendaren inplementazioan eta GJH guztien betetzean (EU, 2021; UNGC, 2021). EBk eta NBEk uste dute fundazio pribatuak lagungarri izan daitezkeela helburu horiek lortzeko, finantzaketaren eta GJHen inguruan eragileak mobilizatzeko duten ahalmenez baliatuz, hain zuzen. GJHei egindako ekarpenean eginkizun bat aitortzen bazaie ere, ez dira oso ugariak fundazioen jardunbideetan sakontzen duten lanak. Benchmarking honek horixe nahi du: fundazioek 2030 Agendarekin eta GJHekin lotuta egiten dituzten jardunen ezagutzan sakontzea, jardunbide horiek inspir
APA, Harvard, Vancouver, ISO, and other styles
2

Khalid Omar. Evaluation of BOC'S Lotox Process for the Oxidation of Elemental Mercury in Flue Gas from a Coal-Fired Boiler. Office of Scientific and Technical Information (OSTI), 2008. http://dx.doi.org/10.2172/993830.

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

Gonzalez, Logan, Christopher Baker, Stacey Doherty, and Robyn Barbato. Ecological modeling of microbial community composition under variable temperatures. Engineer Research and Development Center (U.S.), 2024. http://dx.doi.org/10.21079/11681/48184.

Full text
Abstract:
Soil microorganisms interact with one another within soil pores and respond to external conditions such as temperature. Data on microbial community composition and potential function are commonly generated in studies of soils. However, these data do not provide direct insight into the drivers of community composition and can be difficult to interpret outside the context of ecological theory. In this study, we explore the effect of abiotic environmental variation on microbial species diversity. Using a modified version of the Lotka-Volterra Competition Model with temperature-dependent growth ra
APA, Harvard, Vancouver, ISO, and other styles
4

Johnsdotter, Sara, and Lotta Wendel. Omskärelse av flickor/könsstympning. Centrum för sexologi och sexualitetsstudier, Malmö universitet, 2025. https://doi.org/10.24834/isbn.9789178776177.

Full text
Abstract:
Denna kunskapskatalog är ett resultat i ett forskningsprojekt som finansierats av forskningsrådet Forte 2020-2023: Samhällets åtgärder vid misstänkt könsstympning i Sverige: en proportionalitetsanalys av myndigheters handläggning av misstänkta fall, genomfört av professor Sara Johnsdotter och lektor Lotta Wendel vid Malmö universitet. Katalogen är ett komplement till befintliga riktlinjer och handledningar som erbjuds av Socialstyrelsen, Jämställdhetsmyndigheten och andra myndigheter som erbjuder vägledning och stöd för professionella i olika samhällssektorer när dessa ska hantera ett ärende s
APA, Harvard, Vancouver, ISO, and other styles
5

Heinz, Kevin, Itamar Glazer, Moshe Coll, Amanda Chau, and Andrew Chow. Use of multiple biological control agents for control of western flower thrips. United States Department of Agriculture, 2004. http://dx.doi.org/10.32747/2004.7613875.bard.

Full text
Abstract:
The western flower thrips (WFT), Frankliniella occidentalis (Pergande), is a serious widespread pest of vegetable and ornamental crops worldwide. Chemical control for Frankliniella occidentalis (Pergande) (Thysanoptera: Thripidae) on floriculture or vegetable crops can be difficult because this pest has developed resistance to many insecticides and also tends to hide within flowers, buds, and apical meristems. Predatory bugs, predatory mites, and entomopathogenic nematodes are commercially available in both the US and Israel for control of WFT. Predatory bugs, such as Orius species, can suppre
APA, Harvard, Vancouver, ISO, and other styles
6

Whitaker, Stephen. Rocky intertidal community monitoring at Channel Islands National Park: 2018–19 annual report. National Park Service, 2023. http://dx.doi.org/10.36967/2299674.

Full text
Abstract:
Channel Islands National Park includes the five northern islands off the coast of southern California (San Miguel, Santa Rosa, Santa Cruz, Anacapa, and Santa Barbara Islands) and the surrounding waters out one nautical mile. There are approximately 176 miles of coastline around the islands, about 80% of which is composed of rock. The diversity and undisturbed nature of the tidepools of this rocky coastline were recognized as special features of the islands in the enabling legislation. To conserve these communities unimpaired for future generations, the National Park Service has been monitoring
APA, Harvard, Vancouver, ISO, and other styles
7

De wasbeer Procyon lotor in Vlaanderen. Instituut voor Natuur- en Bosonderzoek, 2024. http://dx.doi.org/10.21436/inbor.112941474.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Lotofa' 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