Relevant bibliographies by topics / LEM Program

Contents

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

Academic literature on the topic 'LEM Program'

Author: Grafiati
Published: 4 June 2021
Last updated: 10 February 2022

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 'LEM 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 "LEM Program"

1

Rahmadianto, F., E. E. Susanto, and G. A. Pohan. "Analisa Peningkatan Produksi Lem Dengan Metode Taguchi." JURNAL FLYWHEEL 11, no. 2 (2020): 27–30. http://dx.doi.org/10.47549/flywheel.v11i2.2849.

Full text
Abstract:
Dalam hal ini, kami melakukan studi lapangan yang ada di lingkungan kelurahan Madyopuro. Kami melakukan pembuatan alat untuk pencampuran bahan bakar dan karet untuk pembuatan lem. Lem ini digunakan untuk perekat ban dalam vulkanisir ban. Dimana dalam ekonomi yang sekarang ini, daya beli masyarakat untuk membeli ban baru sangat tidak memungkinkan. Dengan adanya ban bekas yang divulkanisir menjadi ban baru sangat menolong dalam hal ekonomi. Dan usaha yang dilakukan masyarakat/pekerja, dapat mmbantu untuk meningkatkan perekonomian masyarakat yang terlibat langsung dalam pembuatan ban vulkanisir i
APA, Harvard, Vancouver, ISO, and other styles
2

Rahmadianto, F., E. E. Susanto, and G. A. Pohan. "Analisa Peningkatan Produksi Lem Dengan Metode Taguchi." JURNAL FLYWHEEL 11, no. 2 (2020): 27–30. http://dx.doi.org/10.36040/flywheel.v11i2.2849.

Full text
Abstract:
Dalam hal ini, kami melakukan studi lapangan yang ada di lingkungan kelurahan Madyopuro. Kami melakukan pembuatan alat untuk pencampuran bahan bakar dan karet untuk pembuatan lem. Lem ini digunakan untuk perekat ban dalam vulkanisir ban. Dimana dalam ekonomi yang sekarang ini, daya beli masyarakat untuk membeli ban baru sangat tidak memungkinkan. Dengan adanya ban bekas yang divulkanisir menjadi ban baru sangat menolong dalam hal ekonomi. Dan usaha yang dilakukan masyarakat/pekerja, dapat mmbantu untuk meningkatkan perekonomian masyarakat yang terlibat langsung dalam pembuatan ban vulkanisir i
APA, Harvard, Vancouver, ISO, and other styles
3

Floris, Enrica. "A note on the $G$-Sarkisov program." L’Enseignement Mathématique 66, no. 1 (2020): 83–92. http://dx.doi.org/10.4171/lem/66-1/2-5.

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

Rusdin, Dahya Agussalim, Sarjoni, and Julian Witjaksono. "The Performance Analysis of The Community Economic Institutions (LEM) in Increasing Farmers’ Income of Cocoa Farming System." E3S Web of Conferences 232 (2021): 02029. http://dx.doi.org/10.1051/e3sconf/202123202029.

Full text
Abstract:
Cocoa is a predominant crop estate commodity produced in Southeast Sulawesi. The main constrain increasing cocoa productivity regarding the non-technical factor is developing cocoa community. The government has launched Cocoa Community Institution (LEM) to overcome lack of community development in a cocoa farming system. This study aims to identify institutions related to the community development based on cocoa commodity and to analyze the performance of LEM. This study was conducted in two Sub-Districts (Lambuya and Besulutu) of Konawe district in Southeast Sulawesi province. Participatory m
APA, Harvard, Vancouver, ISO, and other styles
5

Zhang, Rui, Tianzeng Ren, Md Ashrafuzzaman Khan, Yusheng Teng, and Jianlong Zheng. "Back-Calculation of Soil Modulus from PFWD Based on a Viscoelastic Model." Advances in Civil Engineering 2019 (November 6, 2019): 1–13. http://dx.doi.org/10.1155/2019/1316341.

Full text
Abstract:
To improve the accuracy of back-calculation of soil modulus using the portable falling weight deflectometer (PFWD), a viscoelastic method (VEM) overcoming the limitations of the conventional linear elastic method (LEM) was proposed. A quasi-static dynamic analysis technique of Laplace transformation and a modified Gauss–Newton optimization algorithm were adopted in the proposed method. The back-calculation program was compiled with MATLAB. The effectiveness of the proposed method was verified with the in situ plate load test (PLT) conducted on a highway embankment. In situ test results showed
APA, Harvard, Vancouver, ISO, and other styles
6

Fadli, Mahabbatul Layna, and Alit Suwandewi. "Faktor Yang Berhubungan Dengan Kecenderungan Penggunaan Psikotropika Zat Adiktif (Lem Fox) Pada Remaja." DINAMIKA KESEHATAN JURNAL KEBIDANAN DAN KEPERAWATAN 10, no. 2 (2019): 687–99. http://dx.doi.org/10.33859/dksm.v10i2.505.

Full text
Abstract:
Latar Belakang: Korban penyalahgunaan napza di Indonesia cenderung makin meningkat, Hasil survei penyalahgunaan napza oleh Badan Narkotika Nasional kepada 3.376.115 pada tahun 2017 sebanyak 1.991.909 orang (59%) adalah kelompok pekerja, sebanyak 810.267 orang (24%) adalah kelompok pelajar dan sebanyak 573.939 adalah kelompok populasi umum. Zat adiktif yang dewasa ini penggunaannya menjadi trend adalah lem fox.Tujuan: Untuk mengetahui faktor yang berhubungan dengan kecenderungan penggunaan psikotropika zat adiktif (lem fox) pada remaja di Rumah Singgah Kota Banjarmasin.Metode: Penelitian survey
APA, Harvard, Vancouver, ISO, and other styles
7

Druzhinina, Polina O., and Aelita V. Shaburova. "ECONOMIC EFFICIENCY OF USING AN OPTICAL-ELECTRONIC INSTRUMENT FOR TESTING A SET OF TRIAL EYE GLASSES." Interexpo GEO-Siberia 6, no. 1 (2020): 131–37. http://dx.doi.org/10.33764/2618-981x-2020-6-1-131-137.

Full text
Abstract:
The article discusses the economic efficiency of using an optoelectronic device for verifying a set of test eyeglass lenses in a metrological laboratory, and calculates the payback from introducing the device for MedtechStandard LLC. A characteristic is given to an optical-electronic device, namely, a lensmeter standard multi-functional LEM-1. The calculation of the number of jobs planned for verification of sets of trial eyeglass lenses is carried out. Also, for the company MedtechStandard LLC, the positive effects from the use of an optical-electronic device of the standard multifunctional l
APA, Harvard, Vancouver, ISO, and other styles
8

van den Oord, Edwin J. C. G., and Jeroen K. Vermunt. "Testing for Linkage Disequilibrium, Maternal Effects, and Imprinting with (In)complete Case-Parent Triads, by Use of the Computer Program LEM." American Journal of Human Genetics 66, no. 1 (2000): 335–38. http://dx.doi.org/10.1086/302708.

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

Kosem, Iztok, Polona Gantar, and Simon Krek. "Avtomatizacija leksikografskih postopkov." Slovenščina 2.0: empirical, applied and interdisciplinary research 1, no. 2 (2013): 139–64. http://dx.doi.org/10.4312/slo2.0.2013.2.139-164.

Full text
Abstract:
V razpravi opisujemo poskus uvajanja postopkov avtomatizacije v proces izdelave slovarjev, ki smo ga uporabili v končni fazi izdelave leksikalne baze za slovenščino (LBS). Gre za avtomatizacijo dela leksikografskega procesa, pri katerem računalnik na podlagi vnaprej določenih parametrov izbere, izloči ter neposredno v program za izdelavo slovarja ali slovarske baze prenese vrsto leksikalnogramatičnih podatkov o konkretni lemi, ki jih leksikograf nato uporabi za pomensko analizo in končno izdelavo slovarskega gesla. Optimalnost avtomatsko izluščenih podatkov smo določali s sprotnim prilagajanje
APA, Harvard, Vancouver, ISO, and other styles
10

Hanafi, Ikfal, and Thamrin Thamrin. "Rancang Bangun Alat Perekat Kantong Kertas Berbasis Mikrokontroler ATMEGA2560." Voteteknika (Vocational Teknik Elektronika dan Informatika) 9, no. 2 (2021): 128. http://dx.doi.org/10.24036/voteteknika.v9i2.112070.

Full text
Abstract:
Tujuan penelitian yaitu merancang hardware dan software alat perekat kantong kertas, mengkoordinir kerja alat menggunakan motor DC, mengatur gerak motor servo, mengatur sistem utama dan mengendalikan hardware melalui Arduino Mega, merancang dan membangun perangkat lunak. Rancang bangun alat perekat kantong kertas berbasis miktrokontroler ATMEGA2560 menggunakan sensor infrared, limit switch, motor servo, driver motor, motor DC, LCD 16x2, keypad dan Arduino Mega. Arduino Mega pada alat ini berfungsi sebagai pusat kendali program. Keypad adalah tombol pemilih menu proses landscape dan protrait ya
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "LEM Program"

1

Schwan, Ivan Carlos. "PROGRAMA LEM: TOCAR E CANTAR : UM LUGAR DE FORMAÇÃO E ATUAÇÃO ACADÊMICO PROFISSIONAL." Universidade Federal de Santa Maria, 2009. http://repositorio.ufsm.br/handle/1/6877.

Full text
Abstract:
This work is linked to the line of research Education and Arts in the Post Graduation Program in Education, in the Federal University of Santa Maria and the group FAPEM: Training, Action and Research in Music Education. The objective of the present research was to investigate the impact of the Program LEM: Playing and Singing "for the training and teacher development, from the perspective of student teachers in music/workshop organizers. According to this objective, it is intended to know the aims of undergraduate students to participate as workshop participants of the workshops of the program
APA, Harvard, Vancouver, ISO, and other styles
2

Correa, Aruna Noal. "PROGRAMA LEM:TOCAR E CANTAR : UM ESTUDO ACERCA DE SUA INSERÇÃO NO PROCESSO MÚSICO-FORMATIVO DE UNIDOCENTES DA PEDAGOGIA/UFSM." Universidade Federal de Santa Maria, 2008. http://repositorio.ufsm.br/handle/1/6818.

Full text
Abstract:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>This dissertation is linked to the research line Education the Arts from the PPGE/UFSM and the group of studies and research in Training, Action and Research in Musical Education - FAPEM. Aimed to investigate the "Program LEM: Playing and Singing", in the form of music workshops, seeking to emphasize its contributions in the formation of musical training and teaching-musical by students and former students of Pedagogy/UFSM, which are called up workshopers . Specifically, it is sought to know their ideas about the workshops for the
APA, Harvard, Vancouver, ISO, and other styles
3

Meyer, Karyn [UNESP]. "Os gêneros textuais na alfabetização: uma análise da proposta apresentada no material "Ler e Escrever" da Secretaria Estadual de Educação do Estado de São Paulo." Universidade Estadual Paulista (UNESP), 2016. http://hdl.handle.net/11449/138095.

Full text
Abstract:
Submitted by Karyn Meyer null (karyn.pdg@gmail.com) on 2016-04-14T22:50:35Z No. of bitstreams: 1 DissertacaoFinalKarynMeyer.pdf: 1872579 bytes, checksum: 9d6fe26f006008075587094f282f883d (MD5)<br>Rejected by Felipe Augusto Arakaki (arakaki@reitoria.unesp.br), reason: Solicitamos que realize uma nova submissão seguindo as orientações abaixo: O arquivo submetido está sem a ficha catalográfica. A versão submetida por você é considerada a versão final da dissertação/tese, portanto não poderá ocorrer qualquer alteração em seu conteúdo após a aprovação. Corrija esta informação e realize uma
APA, Harvard, Vancouver, ISO, and other styles
4

Carnevalli, Daniela Bicalho Alvarez. "Efeito da Lei Federal 11.947/09 na qualidade nutricional dos cardápios propostos pelo Programa de Alimentação Escolar do estado de São Paulo." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/6/6138/tde-01082017-143518/.

Full text
Abstract:
Em 2009, foi promulgada a Lei nº 11.947 do Programa Nacional de Alimentação Escolar (PNAE), que estipula o mínimo de 30 por cento de compra de gêneros alimentícios seja proveniente da agricultura familiar (AF), fazendo necessário conhecer seu efeito sobre a qualidade da alimentação escolar. O objetivo do estudo foi avaliar o efeito da implementação da Lei Federal 11.947/09 sob a qualidade nutricional dos cardápios propostos pelo PNAE do estado de São Paulo. O estudo teve o objetivo de avaliar o efeito da implentação da Lei Federal 11.947/09 na qualidade nutricional dos cardápios propostos pel
APA, Harvard, Vancouver, ISO, and other styles
5

Bouhoula, Adel. "Preuves automatiques par récurrence dans les théories conditionnelles." Nancy 1, 1994. http://www.theses.fr/1994NAN10022.

Full text
Abstract:
Aujourd'hui, l'informatique intervient dans des systèmes de plus en plus critiques pour la sécurité; citons, par exemple, l'aéronautique, les transports, la surveillance des centrales nucléaires ou les appareils de contrôle des anesthésistes. Pour plus de sureté dans le fonctionnement des systèmes informatiques, il devient nécessaire de prouver leur correction par raisonnements logiques automatisés. Dans ce cadre plusieurs démonstrateurs ont été conçus, parmi lesquels nous pouvons citer l'un des plus célèbres: celui de Boyer et Moore qui a permis d'effectuer des taches mathématiques de plus ha
APA, Harvard, Vancouver, ISO, and other styles
6

Sicotte, Roxanne. "Rôle modérateur de la forme de maltraitance subie par l’enfant sur l’efficacité d’un programme d’entrainement aux habiletés parentales." Mémoire, Université de Sherbrooke, 2017. http://hdl.handle.net/11143/11218.

Full text
Abstract:
La présente étude vise à vérifier si la forme de maltraitance subie par l’enfant modère les effets d’un programme d’entrainement aux habiletés parentales (PEHP) sur la probabilité de fermeture du dossier de l’enfant et la probabilité que l’enfant fasse l’objet d’un nouveau signalement fondé aux services de protection de la jeunesse (PJ). L’étude porte sur 736 enfants ayant eu un dossier actif aux services de PJ de Montréal entre 2007 et 2015. Le groupe expérimental est composé de tous les enfants dont le parent a participé au PEHP Incredible Years (n=368). Un groupe contrôle a été apparié au g
APA, Harvard, Vancouver, ISO, and other styles
7

Moreno, Islas Lizzeth. "Los Costos del Programa Especial de Cambio Climático en México: Un Análisis de Equilibrio General." Thesis, Universidad de las Américas Puebla, 2010. http://catarina.udlap.mx/u_dl_a/tales/documentos/lec/moreno_i_l/.

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

Chadwick, Sharlene, and chadwick@comcen com au. "An examination of the efficacy of Peer Support Australia’s anti-bullying module for primary schools’." Deakin University. School of Education, 2008. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20090923.194004.

Full text
Abstract:
Abstract This pilot study examined the efficacy of Peer Support Australia’s anti-bullying module for primary schools’. A quantitative questionnaire was used to survey 77 students from two primary schools (mean age 10.1 years) in the greater Sydney, Australia area. One school implemented the anti-bullying intervention module, Speaking Up, (intervention school) the other school did not (non-intervention school). Students completed a survey containing questions relating to bullying behaviours in their school. This questionnaire was developed from Peer Relations Assessment Questionnaire Students
APA, Harvard, Vancouver, ISO, and other styles
9

Castellanos, de Varona Maria Elena. "Cross-cultural training program." Theological Research Exchange Network (TREN), access this title online, 2001. http://dx.doi.org/10.2986/tren.108-0017.

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

Golubev, Martin. "Program pro výpočet rozložení optické intenzity." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2015. http://www.nusl.cz/ntk/nusl-219957.

Full text
Abstract:
This diploma thesis deals with system for visible light communication (VLC). There are described basic optical elements like a electroluminescence diode and photodiode. In next chapter is described design of transmitter, optical channel and receiver. Attention is also devoted to modulation suitable for optical communication. The last chapter is devoted to program in Matlab language, which's name is Program for calculation of optical intensity distribution. That program was created in this diploma theses.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "LEM Program"

1

Shen, Mingrui. Rural Revitalization Through State-led Programs. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-15-1660-3.

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

Lee Adams' supercharged C++ graphics. Windcrest, 1992.

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

Salomonson, Terry G. G. The Lum and Abner program: A radio broadcast log of the comedy drama program. T.G.G. Salomonson, 1997.

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

Adams, Lee. Lee Adams' visualization graphics in C. Windcrest, 1991.

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

Pereira, Elizabeth Dias Kanthack. Proteção jurídica do software no Brasil: Lei 7,232-84, Lei 7,646-87, Lei 9,609-98. Juruá Editora, 2001.

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

H, Cuper Prudence, ed. Fostering global citizenship through faculty-led international programs. Information Age Pub., 2012.

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

Bittar, Carlos Alberto. A lei do software e seu regulamento. Forense, 1988.

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

Led by love: Worship resources for year B. United Church Press, 1996.

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

Tymms, Peter. Module 2 summary: LEA focus. Basic Skills Agency, 2002.

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

Lum and Abner: Rural America and the golden age of radio. University Press of Kentucky, 2007.

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

Book chapters on the topic "LEM Program"

1

Kiely, Richard, and Pauline Rea-Dickins. "Teacher-led Evaluations." In Program Evaluation in Language Education. Palgrave Macmillan UK, 2005. http://dx.doi.org/10.1057/9780230511224_17.

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

Kiely, Richard, and Pauline Rea-Dickins. "Management-led Evaluation Projects." In Program Evaluation in Language Education. Palgrave Macmillan UK, 2005. http://dx.doi.org/10.1057/9780230511224_18.

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

Abdulla, Parosh Aziz, Mohamed Faouzi Atig, Adwait Godbole, S. Krishna, and Viktor Vafeiadis. "The Decidability of Verification under PS 2.0." In Programming Languages and Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_1.

Full text
Abstract:
AbstractWe consider the reachability problem for finite-state multi-threaded programs under thepromising semantics() of Lee et al., which captures most common program transformations. Since reachability is already known to be undecidable in the fragment of with only release-acquire accesses (-), we consider the fragment with only relaxed accesses and promises (). We show that reachability under is undecidable in general and that it becomes decidable, albeit non-primitive recursive, if we bound the number of promises.Given these results, we consider a bounded version of the reachability problem. To this end, we bound both the number of promises and of “view-switches”, i.e., the number of times the processes may switch their local views of the global memory. We provide a code-to-code translation from an input program under (with relaxed and release-acquire memory accesses along with promises) to a program under SC, thereby reducing the bounded reachability problem under to the bounded context-switching problem under SC. We have implemented a tool and tested it on a set of benchmarks, demonstrating that typical bugs in programs can be found with a small bound.
APA, Harvard, Vancouver, ISO, and other styles
4

Huang, Zhiqin, Xiuyun Zheng, and Fengling Liu. "LED Package Based on MATLAB Program." In Communications in Computer and Information Science. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34038-3_90.

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

Schmidt-Schauß, Manfred, Temur Kutsia, Jordi Levy, and Mateu Villaret. "Nominal Unification of Higher Order Expressions with Recursive Let." In Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-63139-4_19.

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

Cantú-Hernández, Raúl René, Manuel Emiliano Quiroga Garza, David Leonardo Flores-Marín, Irma Elisa Erana-Rojas, and Mildred Vanessa López Cabrera. "Development of a Well-Being Mentorship Program for Clinical Clerkships." In Building a Patient-Centered Interprofessional Education Program. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-7998-3066-5.ch012.

Full text
Abstract:
Clinical clerkships allow students to transition from exclusively academic to real professional settings. This stressful transition can lead to burnout. Recent awareness has led to the creation of mentorship programs focused on improving students' well-being. A mentorship program was developed for students in the clinical clerkships to monitor and foster habits for well-being based on a six-pillar model: mental, social, emotional, academic, nutritional, and physical health. The purpose of the chapter is to present the model and preliminary results of a study that assessed the program's effects through the mentor's perception. A qualitative approach with semi-structured interviews was used. Results indicate impact on mental (85%) and emotional health (85%), as evidenced by the identification of multiple red-flag cases. The implementation of programs must effectively foster students' self-assessment and allows them to develop better coping mechanisms.
APA, Harvard, Vancouver, ISO, and other styles
7

"Inference and Logic in Pragmatic Outcome Evaluation: Don’t Let the Perfect Become the Enemy of the Good." In Program Evaluation. Cambridge University Press, 2020. http://dx.doi.org/10.1017/9781108870016.007.

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

Gotsch, Abigail, and Meredith Harrison. "Graduate Medical Education Program Mergers: Key Aspects and Considerations." In Contemporary Topics in Graduate Medical Education - Volume 2 [Working Title]. IntechOpen, 2021. http://dx.doi.org/10.5772/intechopen.94878.

Full text
Abstract:
The recent restructuring of the healthcare reimbursement system has led to financial pressure on all aspects of healthcare delivery. Naturally, this financial pressure will also trickle down to graduate medical education, resulting in mergers of residency programs. Historical examples of residency mergers will be presented and discussed in this chapter. Guidelines for merging residencies will be suggested for those programs undertaking this difficult process. These guidelines will address aspects of organization and leadership, educational philosophies and environment, program goals, culture, interpersonal relationships, communication, day-to-day operations, and finances. Special considerations for program mergers will also be discussed, including cultural differences, medical students, and surgical programs. The chapter concludes with a discussion on the relevancy of this information and important key concepts.
APA, Harvard, Vancouver, ISO, and other styles
9

Ashcroft, E. A., A. A. Faustini, R. Jaggannathan, and W. W. Wadge. "Eduction." In Multidimensional Programming. Oxford University Press, 1995. http://dx.doi.org/10.1093/oso/9780195075977.003.0008.

Full text
Abstract:
We know what a Lucid program means mathematically (see Chapter 3), yet that in itself does not suggest a particular model of computation for deriving the same meaning operationally. The purpose of this chapter is to consider the various ways that Lucid programs can be evaluated and to describe in detail the most appropriate model of computation, namely, eduction. Previously, we have seen that Lucid programs can be viewed globally in geometrical terms or locally in elemental terms. Both these views are equally valid as mental devices to enable the programmer to conceive and understand Lucid programs. And each view suggests its own family of computing models—extensional models that embody the global geometrical view and intensional models that embody the local elemental view. Before we compare these two approaches to evaluating Lucid programs, it is worth relating the operational semantics given by a model of computation to the mathematical semantics. Since Lucid is purely declarative, the correct meaning of a Lucid program is that which is given mathematically. This is done without appealing to any operational notions [8]. Thus, the mathematical semantics of a Lucid program has primacy over the many operational semantics that can be given to the Lucid program using different models of computations. Consequently, the correctness of a model of computation is determined by its ability to operationally give semantics to Lucid programs that coincide with their mathematical semantics. Let us consider an extensional model of computation called reduction [37]. It is the standard model for evaluating declarative programs, and more specifically, functional programs. In reduction, programs are considered to be expressions, and a program is evaluated by repeatedly transforming, or reducing, the expression into a possibly simpler expression. The original expression must include any data that the program is to work on, so that at every stage we are manipulating both program and data, and the two become intimately entwined. The process stops when no further transformation can be applied. At each stage, several transformations may be possible, but it doesn’t matter which we apply. If we get an answer, we always get the same answer, but it is possible to make choices so that we do not arrive at the answer.
APA, Harvard, Vancouver, ISO, and other styles
10

Paull, C. K., and R. Matsumoto. "Leg 164 overview." In Proceedings of the Ocean Drilling Program. Ocean Drilling Program, 2000. http://dx.doi.org/10.2973/odp.proc.sr.164.204.2000.

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

Conference papers on the topic "LEM Program"

1

Eichmeir, Philipp, Karin Nachbagauer, and Wolfgang Steiner. "The Adjoint Gradient Method for Time-Optimal Control of a Moon Landing: Ascent, Descent, and Abort." In ASME 2020 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/detc2020-22034.

Full text
Abstract:
Abstract This article illustrates a novel approach for the determination of time-optimal controls for dynamic systems under observance of end conditions. Such problems arise in robotics, e.g. if the control of a robot has to be designed such that the time for a rest-to-rest maneuver becomes a minimum. So far, such problems have been considered as two-point boundary value problems, which are hard to solve and require an initial guess close to the optimal solution. The aim of this contribution is the development of an iterative, gradient based solution strategy for solving such problems. As an e
APA, Harvard, Vancouver, ISO, and other styles
2

"Program schedule." In 2014 Lester Eastman Conference on High Performance Devices (LEC). IEEE, 2014. http://dx.doi.org/10.1109/lec.2014.6951553.

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

"Technical program." In 2016 Lester Eastman Conference on High Performance Devices (LEC). IEEE, 2016. http://dx.doi.org/10.1109/lec.2016.7578915.

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

"Program." In LEOS 2009 -22nd Annuall Meeting of the IEEE Lasers and Electro-Optics Society (LEO). IEEE, 2009. http://dx.doi.org/10.1109/leos.2009.5343057.

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

Ellis, Kevin, and Sumit Gulwani. "Learning to Learn Programs from Examples: Going Beyond Program Structure." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/227.

Full text
Abstract:
Programming-by-example technologies let end users construct and run new programs by providing examples of the intended program behavior. But, the few provided examples seldom uniquely determine the intended program. Previous approaches to picking a program used a bias toward shorter or more naturally structured programs. Our work here gives a machine learning approach for learning to learn programs that departs from previous work by relying upon features that are independent of the program structure, instead relying upon a learned bias over program behaviors, and more generally over program ex
APA, Harvard, Vancouver, ISO, and other styles
6

Mameli, Maddalena. "Le Corbusier and the American Modulor." In LC2015 - Le Corbusier, 50 years later. Universitat Politècnica València, 2015. http://dx.doi.org/10.4995/lc2015.2015.984.

Full text
Abstract:
Abstract: The definition of the Modulor as a set of measurements obtained through “universal” rules for composition of the new architecture has a long and complex development, stemming from a combination of studies in architecture, geometry and mathematics, but also from approximation and intuition. The process began in Paris in 1920, was completed in 1946 in New York and its results were published in an autobiographical vein in 1950 in the book entitled Le Modulor completed in 1955 by the book Le Modulor II. In his trip to New York in 1946 as French delegate for the project of the United Nati
APA, Harvard, Vancouver, ISO, and other styles
7

Radford, T. S., and S. S. Radford. "The Ocean Drilling Program: Leg 207." In SPE Latin American and Caribbean Petroleum Engineering Conference. Society of Petroleum Engineers, 2003. http://dx.doi.org/10.2118/81173-ms.

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

Cassatella, G., A. Santamato, S. Filoni, P. Fiore, and A. M. Lanzolla. "Rehabilitation program for exoskeletal leg prosthesis." In 2011 IEEE International Symposium on Medical Measurements and Applications (MeMeA). IEEE, 2011. http://dx.doi.org/10.1109/memea.2011.5966771.

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

Bernhoft, Sherry. "EPRI Long Term Operations Program R&D to Support Aging Management." In Exploiter les centrales nucléaires dans la durée. EDP Sciences, 2014. http://dx.doi.org/10.1051/jtsfen/2014exp05.

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

Falempin, Francois, and Laurent Serre. "LEA Flight Test Program - Status in 2004." In 40th AIAA/ASME/SAE/ASEE Joint Propulsion Conference and Exhibit. American Institute of Aeronautics and Astronautics, 2004. http://dx.doi.org/10.2514/6.2004-3344.

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

Reports on the topic "LEM Program"

1

Hollis, Kendall J. Plasma Spraying for LEU Program, B&W Visit. Office of Scientific and Technical Information (OSTI), 2012. http://dx.doi.org/10.2172/1052374.

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

Research Institute (IFPRI), International Food Policy. R and D agricole en Afrique dans le nouveau millénaire Des progrès pour les uns, des défis pour d’autres. International Food Policy Research Institute, 2011. http://dx.doi.org/10.2499/9780896295445.

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

Peterson, Dorothy, and Brian Taboada. Environmental Assessment of the Long Endurance Multi-Intelligence Vehicle (LEMV) Program. Defense Technical Information Center, 2012. http://dx.doi.org/10.21236/ada610335.

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

Austrian, Karen, and Dennitah Ghati. Conception d'un programme centré sur les filles : Boîte à outils pour l'elaboration, le renforcement et l'expansion de programmes destinés aux adolescentes. Population Council, 2011. http://dx.doi.org/10.31899/pgy12.1052.

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

Naldrett, A. J. Le Programme international de corrélation géologique: le passé, le présent et l'avenir. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1995. http://dx.doi.org/10.4095/203595.

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

AIR FORCE LIFE CYCLE MGMT CENTER ARMAMENT DIR. B61 Mod 12 Life Extension Program Tailkit Assembly (B61 Mod 12 LEP TKA). Defense Technical Information Center, 2013. http://dx.doi.org/10.21236/ada614733.

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

Mistretta, John. B61 Mod 12 Life Extension Program Tailkit Assembly (B61 Mod 12 LEP TKA). Defense Technical Information Center, 2015. http://dx.doi.org/10.21236/ad1018991.

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

Ben‐Zeev, Dror, Rachel Brian, Geneva Jonathan, et al. Comparing a Smartphone Program with a Peer‐Led Program to Help People with Serious Mental Illness Manage Their Symptoms. Patient‐Centered Outcomes Research Institute (PCORI), 2019. http://dx.doi.org/10.25302/4.2019.cer.140311403ic.

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

Hernández, Ana, Magaly Lavadenz, and JESSEA YOUNG. Mapping Writing Development in Young Bilingual Learners. CEEL, 2012. http://dx.doi.org/10.15365/ceel.article.2012.2.

Full text
Abstract:
A growing interest in Two-Way Bilingual Immersion (TWBI) programs has led to increased attention to bilingualism, biliteracy, and biculturalism. This article describes the writing development in Spanish and English for 49 kindergarten students in a 50/50 Two-Way Bilingual Immersion program. Over the course of an academic year, the authors collected writing samples to analyze evidence of cross-linguistic resource sharing using a grounded theoretical approach to compare and contrast writing samples to determine patterns of cross-linguistic resource sharing in English and Spanish. The authors ide
APA, Harvard, Vancouver, ISO, and other styles
10

Gromala, D. S., R. C. Moody, and M. M. Sprinkel. Performance of a Press-Lam bridge : a 5-year load-testing and monitoring program. U.S. Department of Agriculture, Forest Service, Forest Products Laboratory, 1985. http://dx.doi.org/10.2737/fpl-rn-251.

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