Acceder

Bibliografías temáticas / Routines

Índice

Artículos de revistas
Tesis
Libros
Capítulos de libros
Actas de conferencias
Informes

Literatura académica sobre el tema "Routines"

Autor: Grafiati

Publicado: 4 de junio de 2021

Última modificación: 9 de junio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Routines".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Routines"

1

Guha, Mahua. "Routine responses to disruption of routines." International Journal of Learning and Change 8, no. 2 (2015): 136. http://dx.doi.org/10.1504/ijlc.2015.074065.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

McConnell, S. "Why you should use routines...routinely." IEEE Software 15, no. 4 (1998): 96, 94–95. http://dx.doi.org/10.1109/52.687957.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Zhao, Zelin, Chuang Gan, Jiajun Wu, Xiaoxiao Guo, and Joshua B. Tenenbaum. "Augmenting Policy Learning with Routines Discovered from a Single Demonstration." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 12 (May 18, 2021): 11024–32. http://dx.doi.org/10.1609/aaai.v35i12.17316.

Texto completo

Resumen

Humans can abstract prior knowledge from very little data and use it to boost skill learning. In this paper, we propose routine-augmented policy learning (RAPL), which discovers routines composed of primitive actions from a single demonstration and uses discovered routines to augment policy learning. To discover routines from the demonstration, we first abstract routine candidates by identifying grammar over the demonstrated action trajectory. Then, the best routines measured by length and frequency are selected to form a routine library. We propose to learn policy simultaneously at primitive-level and routine-level with discovered routines, leveraging the temporal structure of routines. Our approach enables imitating expert behavior at multiple temporal scales for imitation learning and promotes reinforcement learning exploration. Extensive experiments on Atari games demonstrate that RAPL improves the state-of-the-art imitation learning method SQIL and reinforcement learning method A2C. Further, we show that discovered routines can generalize to unseen levels and difficulties on the CoinRun benchmark.

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Mindell, Jodi, Erin Leichman, and Katie Rotella. "0507 Prevalence and Components of Naptime vs. Bedtime Routines in Young Children." Sleep 45, Supplement_1 (May 25, 2022): A224. http://dx.doi.org/10.1093/sleep/zsac079.504.

Texto completo

Resumen

Abstract Introduction Bedtime routines are a well-established sleep-promoting practice for young children; however, little is known about the prevalence or components of naptime routines. Thus, the aim of this study was to explore the prevalence and activities (e.g., feeding, hygiene components) of home-based naptime routines for infants and toddlers. Methods Mothers of 465 infants and toddlers (4-36mos; M=18.5mos) completed an online questionnaire addressing questions about naptime routines and behaviors, as well as the Brief Infant Sleep Questionnaire–Revised (BISQ-R). The sample included infants (4-11.9m; n=147), younger 1-year-olds (12-17.9m; n=87), older 1-year-olds (18-23.9m; n=75), and 2-year-olds (24-36m; n=156). Results Overall, 95% (n=440) reported that their child naps at home, and 65% (n=301) indicated having a naptime routine lasting approximately half an hour (M=29.0 minutes; SD=31.0). As compared to 54% reporting a consistent naptime routine (³5 times per week), ranging from 50% in 2yos to 62% in younger-1yos, 81% had a consistent bedtime routine. Overall, mothers reported a mean 69.0% (SD=24.4) similarity between naptime and bedtime routine steps. A bath (18% at naptime vs. 90% at bedtime), washing-up (30% vs. 56%), lotion use (23% vs. 80%), breastfeeding/breastmilk (21% vs. 37%), and feeding to sleep (44.% vs. 47%) were less prevalent at naptime than bedtime.Prevalence ranges by age group were: bath 12% (2yos) to 23% (infants) at naptime and 84% (infants) to 93% (2yos) at bedtime; washing-up, 28% (infants) to 34% (older-1yos) at naptime and 54% (younger-1yos) to 58% (infants) at bedtime; lotion application, 19% (2yos) to 29% (younger-1yos) at naptime and 78% (2yos) to 83% (younger-1yos) at bedtime; breastfeeding, 8% (2yos) to 35% (infants) at naptime and 13% (2yos) to 65% (infants) at bedtime; and feeding to sleep, 31% (2yos) to 57% (infants) at naptime and 35% (2yos) to 58% (infants) at bedtime. Conclusion Overall, nearly all infants and toddlers napped, and just over half reported having a naptime routine. Naptime routines were much less prevalent than bedtime routines, but overall contained similar activities. Feeding behaviors across naptime and bedtime routines were more similar than hygiene components (e.g., bath), with slight variation by age. Psychoeducation about a naptime routine’s potential benefit may be warranted. Support (If Any) Johnson & Johnson Consumer Inc., Skillman, NJ, USA

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Stańczyk-Hugiet, Ewa. "Organizational Routines and Innovation: Micro and Macro Antecedents." Journal of Management and Financial Sciences, no. 31 (July 29, 2019): 99–110. http://dx.doi.org/10.33119/jmfs.2018.31.8.

Texto completo

Resumen

This paper explores the ambiguous nature of organizational routines in regard to generating innovation or innovation routine. Considering the dual character of routine, we conceptualize that routines have inherently a potential to drive changes, therefore, organizational routines should be considered as a trigger of innovation. In order to exploit organizational routines as a vehicle for innovation, managers should be aware that micro and macro level factors influence the dynamics ofroutines. Hence, to design proper organizational settings managers should learn about the mechanisms activating learning processes as essential for new knowledge generation as well as for novelty generation through organization built on a routine system.

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Salvato, Carlo, and Claus Rerup. "Routine Regulation: Balancing Conflicting Goals in Organizational Routines." Administrative Science Quarterly 63, no. 1 (April 27, 2017): 170–209. http://dx.doi.org/10.1177/0001839217707738.

Texto completo

Resumen

To examine how organizational routines serve as a source for balancing conflicting organizational goals, we use an inductive study of Alessi, an Italian design company, to trace how organizational members simultaneously achieved the conflicting organizational goals of design and efficiency in the new product development routine. Our analysis identified three types of regulatory actions (splicing, activating, and repressing) that participants took to flexibly enact these conflicting organizational goals through the same routine. We observed that the three regulatory actions facilitated new connections between new product development participants, allowing them to create a dynamic truce and accomplish the two conflicting goals in a new product’s origination, evaluation, and development phases. Routine regulation shifts our focus away from the routine as a stable truce to the truce as process, highlighting the role of actions performed by individuals throughout the organizational hierarchy, and moves the conversation away from eliminating goal conflict to elaborating the ongoing actions that people take to manage conflicting organizational goals. Our findings and theoretical insights produce a deeper conceptualization of routines as generative systems by demonstrating how action taken to enact a routine also has the capacity to regulate conflicting organizational goals.

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Lin, Haifen, Mengya Chen, and Jingqin Su. "How management innovations are successfully implemented? An organizational routines’ perspective." Journal of Organizational Change Management 30, no. 4 (July 3, 2017): 456–86. http://dx.doi.org/10.1108/jocm-07-2016-0124.

Texto completo

Resumen

Purpose The purpose of this paper is to address how management innovations are implemented deeply at the most micro level of organizations, namely, organizational routines, or to investigate the process through which organizational routines evolve in implementing management innovations, with existing routines overturned and new routines created and solidified. Design/methodology/approach This paper adopts an interpretive and exploratory case study on the case of Day-Definite (DD) innovation which has successfully brought Arima World Group Company Limited (HOAU) into a new value-added arena, in terms of timing, security and high service quality. Considering that DD innovation reflects a systematic innovation of the whole organization, this paper focuses on it to explore the complex implementation mechanism of management innovation. Multiple approaches were utilized during data collection to meet criteria for trustworthiness, including semi-structured interviews, archival data and observation; and the data analysis went through a five-step process. Findings The results confirm management innovation as a complex project concerning organizational routines which represent a central and fundamental element of organizations. Also, it finds that organizational routines evolve in innovation implementation through a three-phase process consisting of the existing-routine-domination phase, the new-routine-creation phase and -solidification phases, each exhibiting different innovation activities and characteristics of participants’ cognition and behaviors; recreation of new routines is the key for routine evolution, thus for success of management innovations. Research limitations/implications This research is constrained by several limitations. The set-up framework of organizational routine evolution in innovation implementation needs a further confirmation in more organizations; other elements, such as cognition of managers, resource orchestration, environmental elements or organizational culture, should be considered for the success of innovation implementation; and more attention should be paid to the potential power asymmetries among participants and its potential influence on forming shared schemata and subsequent new routines, besides interactions and role taking. Originality/value The findings offer some valuable insights for further research on management innovation and organizational routines and hold important implications for management practices. This research extends research on management innovation and the Kurt Lewin Change Theory and Change Model to explore innovation implementation at a most micro level; furthers research on organizational routines, especially routine dynamic theory, by holding the two-component view and exploring the process through which organizational routines evolve; and contributes to research on the relationship between organizational routines and innovations by taking an organizational routines’ perspective. It reminds managers of the depth and complication of innovation implementation.

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Tattersall Wallin, Elisa. "Audiobook routines: identifying everyday reading by listening practices amongst young adults." Journal of Documentation 78, no. 7 (December 6, 2021): 266–81. http://dx.doi.org/10.1108/jd-06-2021-0116.

Texto completo

Resumen

Purpose This article explores, identifies and conceptualises everyday audiobook reading practices amongst young adults.Design/methodology/approach Semi-structured interviews were conducted with ten Swedish audiobook users aged 18–19. The material was analysed using qualitative content analysis and focused on their audiobook use during an average weekday, as this was the time that they listened the most. The theoretical framework consists of theories on practice, time and everyday routine.Findings Five timespaces emerged when audiobook practices were most prevalent: morning routines, commuting routines, school routines, after school routines and bedtime routines. Within these timespaces, several practices could be identified and conceptualised. Three mobile practices were commute listening, exercise listening and chore listening while more stationary practices were homework listening, schoolwork listening and leisure listening. An unexpected finding was how audiobooks routinely were used to aid respondents’ wellbeing. This wellbeing listening was used to alleviate stress, loneliness and help listeners relax or fall asleep. Furthermore, respondents switch between Music, Audiobooks and Podcasts, which is conceptualised as MAP-switching.Originality/value There is a scarcity of research on audiobook use, and this paper contributes with new knowledge on audiobook reading practices, how audiobooks fit into everyday routine and provides concepts to aid further research on audiobook practices.

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Rawstrone, Annette. "Routines." Nursery World 2018, no. 14 (July 9, 2018): 22–23. http://dx.doi.org/10.12968/nuwa.2018.14.22.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Segerberg, Krister. "Routines." Synthese 65, no. 2 (November 1985): 185–210. http://dx.doi.org/10.1007/bf00869299.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Tesis sobre el tema "Routines"

1

Dos, Santos Céline Calvarin Suzanne. "Les routines." [S.l.] : [s.n.], 2009. http://castore.univ-nantes.fr/castore/GetOAIRef?idDoc=58491.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Welham, Robert Kenneth. "Optimal annual routines." Thesis, University of Bristol, 2003. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.268968.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Johnson, Michael Patrick 1971. "Evolving visual routines." Thesis, Massachusetts Institute of Technology, 1995. http://hdl.handle.net/1721.1/61533.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Rao, Satyajit 1965. "Visual routines and attention." Thesis, Massachusetts Institute of Technology, 1998. http://hdl.handle.net/1721.1/49988.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Jonsson, Jimmy. "SM-mästare - för att det var kul! : En kvalitativ studie om psykologiska framgångsfaktorer hos motocrossförare." Thesis, Gymnastik- och idrottshögskolan, GIH, Institutionen för idrotts- och hälsovetenskap, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:gih:diva-2664.

Texto completo

Resumen

Syfte och Frågeställning Syftet med studien är att undersöka motocrossförares förberedelse inför tävling och deras uppfattning av en topprestation under tävling. De frågor som jag sökt svar på är: Hur ser förarna på balansen mellan utmaning och skicklighet utifrån sin förmåga? Vilka mål har förarna inför en tävling och vilken feedback får förarna under tävling? samt hur förarna upplever sin topprestation? Metod Studien har en kvalitativ ansats med semistrukturerad intervju som metod (Bryman 2008 s. 206). I studien ligger tonvikten på att uppfatta och tolka förarens förklaringar. Intervjuerna spelades in, transkriberades och analyserades, till största del, utifrån flowteorin. Det gjordes ett medvetet urval av informanter. Deltagarna i studien är två aktiva elitförare i motocross med SM-guld och erfarenhet från internationella tävlingar på meritlistan. Analysen vilar på forskningsanknuten litteratur samt vetenskapliga artiklar inom aktuellt ämnesområde. Resultat Undersökningen visar att de faktorer som gör att förarna upplever sin topprestation är en kombination av flera olika faktorer som överensstämmer med flowteorin; tydliga mål, tydlig feedback, handling av medvetande bildar ett sammanhang, koncentration på uppgiften, känsla av kontroll, förlust av osäkerhet, tidsförskjutning samt en autotelisk upplevelse. Förarna i studien upplever flow på olika sätt. Den ena föraren upplever en känsla av "att vara ett med hojen" och ha fullständig kontroll över den. Den andra föraren uttrycker det som att hon "går in i en bubbla" och minns i stort sett ingenting av prestationen. Slutsats Båda förarna anser det avgörande att komma väl förberedd inför en tävling samt att allt runt omkring ska fungera för en topprestation skall uppnås. Hur förarna förbereder sig och vilka strategier de använder ser dock olika ut, men gemensamt är att de har den autoteliska upplevelsen, glädjen, som drivkraft för sitt idrottande.<br><p>Tränarprogrammet 1995-1998</p>

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Gupta, Bharat. "HOW TO IMPROVE NONCONFORMITY ROUTINES." Thesis, Växjö University, School of Technology and Design, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-890.

Texto completo

Resumen

<p>This report is all about quality improvement work with focusing on nonconformities routines. The purpose is to improve the process of nonconformity routines and to identify the most important issues and causes behind nonconformity routines in order to have good quality of the products and satisfied customer to achieve continuous improvement. This project is conducted at a case study at the case company GMV Sweden AB producing lifts and their components. The problem in the case company is how the case company is handling nonconformity routines which consist currently of two streams one for problems in production which leads to internal nonconformities and another is handling customer complaints. The author visits the case company to collect essential information for this work and performs face-to-face user interviews, Q&A via email. The knowledge gained on different quality tools in author's education on Terotechnology department forms the basis of this research. The author plans to solve the problem by analyzing, mapping the existing processes and using different quality tools. The author analysis is based on theoretical and empirical facts, also different quality tools like process mapping, cause effect diagram, flowchart has been used to identify the problem and relevant suggestions have been proposed to improve their current situation. In the results and conclusions the author has explain the various improvement techniques and suggestions to handle internal nonconformities and customer complaints. The author believes by implementing the suggested improved model company can address their quality issues, which will improve the productivity to a greater extent and enable them to achieve their goal of continuous improvement.</p>

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Tellex, Stefanie 1980. "Grounding language in spatial routines." Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/37399.

Texto completo

Resumen

Thesis (S.M.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2006.<br>Includes bibliographical references (p. 105-108).<br>This thesis describes a spatial language understanding system based on a lexicon of words defined in terms of spatial routines. A spatial routine is a script composed from a set of primitive operations on sensor data, analogous to Ullman's visual routines. By finding a set of primitives that underlie natural spatial language, the meaning of spatial terms can be succinctly expressed in a way that can be used to obey natural language commands. This hypothesis is tested by using spatial routines to build a natural language interface to a real time strategy game, in which a player controls an army of units in a battle. The system understands the meaning of context-dependent natural language commands such as "Run back!" and "Move the marines on top above the fiamethrowers on the bottom." In evaluation, the system successfully interpreted a range of spatial commands not seen during implementation, and exceeded the performance of a baseline system. Beyond real-time strategy games, spatial routines may provide the basis for interpreting spatial language in a broad range of physically situated language understanding systems, such as mobile robots or other computer game genres.<br>by Stefanie Tellex.<br>S.M.

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Gossart, Cedric. "Routines and firm's HSE behaviour." Thesis, University of Sussex, 2004. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.666767.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

De, Oliveira Steven. "Finding constancy in linear routines." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS207/document.

Texto completo

Resumen

La criticité des programmes dépasse constamment de nouvelles frontières car ils sont de plus en plus utilisés dans la prise de décision (voitures autonomes, robots chirurgiens, etc.). Le besoin de développer des programmes sûrs et de vérifier les programmes existants émerge donc naturellement.Pour prouver formellement la correction d'un programme, il faut faire face aux défis de la mise à l'échelle et de la décidabilité. Programmes composés de millions de lignes de code, complexité de l'algorithme, concurrence, et même de simples expressions polynomiales font partis des problèmes que la vérification formelle doit savoir gérer. Pour y arriver, les méthodes formelles travaillent sur des abstractions des états des programmes étudiés afin d'analyser des approximations de leur comportement. L'analyse des boucles est un axe entier de la vérification formelle car elles sont encore aujourd'hui peu comprises. Bien que certaines d'entre elles peuvent facilement être traitées, il existe des exemples apparemment très simples mais dont le comportement n'a encore aujourd'hui pas été résolu (par exemple, on ne sait toujours pas pourquoi la suite de Syracuse, simple boucle linéaire, converge toujours vers 1).L'approche la plus commune pour gérer les boucles est l'utilisation d'invariants de boucle, c'est à dire de relations sur les variables manipulées par une boucle qui sont vraies à chaque fois que la boucle recommence. En général, les invariants utilisent les mêmes expressions que celles utilisées dans la boucle : si elle manipule explicitement la mémoire par exemple, on s'attend à utiliser des invariants portant sur la mémoire. Cependant, il existe des boucles contenant uniquement des affectations linéaires qui n'admettent pas d'invariants linéaires, mais polynomiaux.Les boucles linéaires sont elles plus expressives que ce qu'il paraîtrait ?Cette thèse présente de nouvelles propriétés sur les boucles linéaires et polynomiales. Il est déjà connu que les boucles linéaires sont polynomialement expressives, au sens ou si plusieurs variables évoluent linéairement dans une boucle, alors n'importe quel monôme de ces variables évolue linéairement. La première contribution de cette thèse est la caractérisation d'une sous classe de boucles polynomiales exactement aussi expressives que des boucles linéaires, au sens où il existe une boucle linéaire avec le même comportement. Ensuite, deux nouvelles méthodes de génération d'invariants sont présentées.La première méthode est basée sur l'interprétation abstraite et s'intéresse aux filtres linéaires convergents. Ces filtres jouent un rôle important dans de nombreux systèmes embarqués (dans l'avionique par exemple) et requièrent l'utilisation de flottants, un type de valeurs qui peut mener à des erreurs d'imprécision s'ils sont mal utilisés. Aussi, la présence d'affectations aléatoires dans ces filtres rend leur analyse encore plus complexe.La seconde méthode traite d'une approche différente basée sur la génération d'invariants pour n'importe quel type de boucles linéaires. Elle part d'un nouveau théorème présenté dans cette thèse qui caractérise les invariants comme étant les vecteurs propres de la transformation linéaire traitée. Cette méthode est généralisée pour prendre en compte les conditions, les boucles imbriquées et le non déterminisme dans les affectations.La génération d'invariants n'est pas un but en soi, mais un moyen. Cette thèse s'intéresse au genre de problèmes que peut résoudre les invariants générés par la seconde méthode. Le premier problème traité est problème de l'orbite (Kannan-Lipton Orbit problem), dont il est possible de générer des certificats de non accessibilité en utilisant les vecteurs propres de la transformation considerée. En outre, les vecteurs propres sont mis à l'épreuve en pratique par leur utilisation dans le model-checker CaFE basé sur la verification de propriétés temporelles sur des programmes C<br>The criticality of programs constantly reaches new boundaries as they are relied on to take decisions in place of the user (autonomous cars, robot surgeon, etc.). This raised the need to develop safe programs and to verify the already existing ones.Anyone willing to formally prove the soundness of a program faces the two challenges of scalability and undecidability. Million of lines of code, complexity of the algorithm, concurrency, and even simple polynomial expressions are part of the issues formal verification have to deal with. In order to succeed, formal methods rely on state abstraction to analyze approximations of the behavior of the analyzed program.The analysis of loops is a full axis of formal verification, as this construction is still today not well understood. Though some of them can be easily handled when they perform simple operations, there still exist some seemingly basic loops whose behavior has not been solved yet (the Syracuse sequence for example is suspected to be undecidable).The most common approach for the treatment of loops is the use of loop invariants, i.e. relations on variables that are true at the beginning of the loop and after every step. In general, invariants are expected to use the same set of expressions used in the loop: if a loop manipulates the memory on a structure for example, invariants will naturally use expressions involving memory operations. However, there exist loops containing only linear instructions that admit only polynomial invariants (for example, the sum on integers $sumlimits_{i=0}^n i$ can be computed by a linear loop and is a degree 2 polynomial in n), hence using expressions that are syntacticallyabsent of the loop. Is the previous remark wrong then ?This thesis presents new insights on loops containing linear and polynomial instructions. It is already known that linear loops are polynomially expressive, in the sense that if a variable evolves linearly, then any monomial of this variable evolves linearly. The first contribution of this thesis is the extraction of a class of polynomial loops that is exactly as expressive as linear loops, in the sense that there exist a linear loop with the exact same behavior. Then, two new methods for generating invariants are presented.The first method is based on abstract interpretation and is focused on a specific kind of linear loops called linear filters. Linear filters play a role in many embedded systems (plane sensors for example) and require the use of floating point operations, that may be imprecise and lead to errors if they are badly handled. Also, the presence of non deterministic assignments makes their analysis even more complex.The second method treats of a more generic subject by finding a complete set of linear invariants of linear loops that is easily computable. This technique is based on the linear algebra concept of eigenspace. It is extended to deal with conditions, nested loops and non determinism in assignments.Generating invariants is an interesting topic, but it is not an end in itself, it must serve a purpose. This thesis investigates the expressivity of invariantsgenerated by the second method by generating counter examples for the Kannan-Lipton Orbit problem.It also presents the tool PILAT implementing this technique and compares its efficiency technique with other state-of-the-art invariant synthesizers. The effective usefulness of the invariants generated by PILAT is demonstrated by using the tool in concert with CaFE, a model-checker for C programs based on temporal logics

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Furneaux, Craig. "Variations on a routine : how selection-adaptation-retention dynamics create variety in organisational routines." Thesis, Queensland University of Technology, 2012. https://eprints.qut.edu.au/52838/1/Craig_Furneaux_Thesis.pdf.

Texto completo

Resumen

The question "what causes variety in organisational routines" is of considerable interest to organisational scholars, and one to which this thesis seeks to answer. To this end an evolutionary theory of change is advanced which holds that the dynamics of selection, adaptation and retention explain the creation of variety in organisational routines. A longitudinal, multi-level, multi-case analysis is undertaken in this thesis, using multiple data collection strategies. In each case, different types of variety were identified, according to a typology, together with how selection, adaptation and retention contribute to variety in a positive or negative sense. Methodologically, the thesis makes a contribution to our understanding of variety, as certain types of variety only become evident when examined by specific types of research design. The research also makes a theoretical contribution by explaining how selection, adaptation and retention individually and collectively contribute to variety in organisational routines. Moreover, showing that routines could be stable, diverse, adaptive and dynamic at the same time; is a significant, and novel, theoretical contribution.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Libros sobre el tema "Routines"

1

Ferlinghetti, Lawrence. Routines. New York, N.Y: New Directions, 2001.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Anastassiou, George A., and Iuliana F. Iatan. Intelligent Routines. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-28475-5.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Belfer, Jhoanna. Morning Routines. [Long Beach, CA]: Jhoanna Belfer, 2020.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Baßler, Moritz, ed. Entsagung und Routines. Berlin, Boston: DE GRUYTER, 2013. http://dx.doi.org/10.1515/9783110331660.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Priestley, Mark. Routines of Substitution. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-91671-2.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Anastassiou, George A., and Iuliana F. Iatan. Intelligent Routines II. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-01967-3.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Tinson, Julie, and Pete Nuttall. Rituals and Routines. London: Routledge, 2024. http://dx.doi.org/10.4324/9781003540502.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

McLuckie, Keith, and Angus Barber. Sorting Routines for Microcomputers. London: Macmillan Education UK, 1986. http://dx.doi.org/10.1007/978-1-349-08147-9.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Bouisson, Jean-Claude Reinhardt Jean. VIEILLISSEMENT, RITES ET ROUTINES. Paris: Editions L'Harmattan, 2001.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

C, Witt Joseph, and LaFleur Lynn, eds. Teaching effective classroom routines. Longmont, CO: Sopris West, 1999.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Capítulos de libros sobre el tema "Routines"

1

Anastassiou, George A., and Iuliana F. Iatan. "Sequences and Series of Numbers." In Intelligent Routines, 1–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-28475-5_1.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Anastassiou, George A., and Iuliana F. Iatan. "Power Series." In Intelligent Routines, 41–70. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-28475-5_2.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Anastassiou, George A., and Iuliana F. Iatan. "Differentiation Theory of the Functions." In Intelligent Routines, 71–156. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-28475-5_3.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Anastassiou, George A., and Iuliana F. Iatan. "Fundamentals of Field Theory." In Intelligent Routines, 157–86. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-28475-5_4.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Anastassiou, George A., and Iuliana F. Iatan. "Implicit Functions." In Intelligent Routines, 187–244. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-28475-5_5.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Anastassiou, George A., and Iuliana F. Iatan. "Terminology about Integral Calculus." In Intelligent Routines, 245–316. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-28475-5_6.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Anastassiou, George A., and Iuliana F. Iatan. "Equations and Systems of Linear Ordinary Differential Equations." In Intelligent Routines, 317–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-28475-5_7.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Anastassiou, George A., and Iuliana F. Iatan. "Line and Double Integral Calculus." In Intelligent Routines, 395–474. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-28475-5_8.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Anastassiou, George A., and Iuliana F. Iatan. "Triple and Surface Integral Calculus." In Intelligent Routines, 475–572. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-28475-5_9.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Rach, Ruth, and Brian Hill. "Routines." In Breakthrough German 2, 81–96. London: Macmillan Education UK, 1998. http://dx.doi.org/10.1007/978-1-349-26501-5_6.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Routines"

1

Xu, Michael F., Bengisu Cagiltay, Joseph Michaelis, Sarah Sebo, and Bilge Mutlu. "Robots in Family Routines: Development of and Initial Insights from the Family-Robot Routines Inventory." In 2024 33rd IEEE International Conference on Robot and Human Interactive Communication (ROMAN), 1070–77. IEEE, 2024. http://dx.doi.org/10.1109/ro-man60168.2024.10731432.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

He, Xinning, Michael F. Xu, Bengisu Cagiltay, and Bilge Mutlu. "Developing Robot Prototypes to Explore Robot-Facilitated Family Routines." In 2025 20th ACM/IEEE International Conference on Human-Robot Interaction (HRI), 1342–46. IEEE, 2025. https://doi.org/10.1109/hri61500.2025.10974104.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Moreira, Waldir, Paulo Mendes, and Susana Sargento. "Opportunistic routing based on daily routines." In 2012 IEEE Thirteenth International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM). IEEE, 2012. http://dx.doi.org/10.1109/wowmom.2012.6263749.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Jáuregui, Juan Carlos, Rodrigo López Sansalvador, Alfredo Ramos Aparicio, and Isaías Regalado Contreras. "Software for Optimum Gear Design (DISENG)." In ASME 1992 Design Technical Conferences. American Society of Mechanical Engineers, 1992. http://dx.doi.org/10.1115/detc1992-0288.

Texto completo

Resumen

Abstract In this paper, a specialized software for optimum gear design is presented. This optimum is found through a logical solution search algorithm, rather than general optimization techniques. The logical search is based upon the constraints and needs set by the user, who defines the solution space and the search trajectory. For each problem, the solution will be the less expensive according to specific constraints. Calculation routines were based on AGMA standards, and input data routines were conceived to be as helpful as possible. A complete help routine is included on each part of the software and every input data is foolproof. It also includes a routine for intermediate results analysis that allows the user to verify every iteration.

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Ullman, Shimon. "Visual routines." In OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1986. http://dx.doi.org/10.1364/oam.1986.thc4.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Toreja, Allen J., and Rizwan-Uddin. "Improving the Efficiency of the Nodal Integral Method With the Portable, Extensible Toolkit for Scientific Computation." In 10th International Conference on Nuclear Engineering. ASMEDC, 2002. http://dx.doi.org/10.1115/icone10-22684.

Texto completo

Resumen

An existing implementation of the nodal integral method for the time-dependent convection-diffusion equation is modified to incorporate various PETSc (Portable, Extensible Toolkit for Scientific Computation) solver and preconditioner routines. In the modified implementation, the default iterative Gauss-Seidel solver is replaced with one of the following PETSc iterative linear solver routines: Generalized Minimal Residuals, Stabilized Biconjugate Gradients, or Transpose-Free Quasi-Minimal Residuals. For each solver, a Jacobi or a Successive Over-Relaxation preconditioner is used. Two sample problems, one with a low Peclet number and one with a high Peclet number, are solved using the new implementation. In all the cases tested, the new implementation with the PETSc solver routines outperforms the original Gauss-Seidel implementation. Moreover, the PETSc Stabilized Biconjugate Gradients routine performs the best on the two sample problems leading to CPU times that are less than half the CPU times of the original implementation.

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Silva, C. E. O., G. P. Dimuro, and A. C. R. Costa. "Especificando Rotinas Organizacionais de Sistemas Multiagentes: Detecção de Desvios com Base no Conceito de Expectativa." In Workshop-Escola de Sistemas de Agentes, seus Ambientes e Aplicações, 139–42. Sociedade Brasileira de Computação, 2010. https://doi.org/10.5753/wesaac.2010.33062.

Texto completo

Resumen

This work considers the formal notion of objective expectations, behavioral, centered in objective effects of the actions executed by the agents, at a certain moment, in the context of some organizational routine of a multiagent system. The aim of this work is to develop a methodology for the specification and property verification of organizational routines, based on Petri Nets and on the process representation language CSP, formalizing the concept of deviations in routines of multiagent systems. We also will develop a case study of the modeling of the family behaviors in a domestic environment, for the analysis of the pattern of electric energy consume.

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Massa, Lucas M., Bruno G. Ferreira, and Tiago F. Vieira. "Real-Time Visual Quality Inspection System for Automotive Cable Manufacturing." In Anais Estendidos do Simpósio Brasileiro de Engenharia de Sistemas Computacionais, 21–24. Sociedade Brasileira de Computação - SBC, 2024. https://doi.org/10.5753/sbesc_estendido.2024.243634.

Texto completo

Resumen

In both society and industry, electric cables are used for various purposes. Companies often use different colors and materials to distinguish their properties. Quality control in cable manufacturing involves checking that colors meet specifications and that stripe widths (if present) are within the required range. Manual quality inspection methods are typically inefficient, time-consuming and error-proned, leading to uncaught defects. This paper introduces an automatic real-time visual inspection system that monitors the cable quality during its manufacturing process. The system employs image processing routines and four industrial Flir Blackfly S USB3 cameras to capture and analyze the entire cable perimeter in real-time. It evaluates the colors and thickness of the stripes to ensure they meet the predefined standards. The proposed solution aims to improve inspection accuracy and reduce the number of unnoticed defective cables that passes through the quality control. Experimental results show high precision and recall rates in segmentation, color verification and stripe evaluation tasks. The cable segmentation routine achieved a precision of 99.96%, while the stripe segmentation routine achieved 90.25%. The color verification routines for cables and stripes achieved precisions of 86.30% and 90.00%, respectively. The system stripe evaluation task achieved a precision rate of 79.74%. All image processing routines run in under 30 ms on a mid-tier performance workstation, demonstrating the system’s practical applicability and effectiveness in modern cable manufacturing lines.

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Zhang, Yong, and John M. Sullivan. "Continuous Temporal and Spatial Finite Element Boundary Condition Assignments Using a Neural Network Prediction System." In ASME 2000 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2000. http://dx.doi.org/10.1115/detc2000/cie-14659.

Texto completo

Resumen

Abstract Finite element analyses of multi-dimensional, partial differential equations require accurate and complete boundary condition assignments. However, continuous temporal and spatial values along physical boundaries are rarely available when solving realistic problems based on field data. To mitigate this situation a neural network system was developed and coupled with an interpolation routine. This innovative computational utility was used to provide continuous boundary condition information in time and space along physical boundaries of interest. The neural network was trained to predict the time response at discrete boundary locations based on field measurements at those locations. Once trained the neural network system was capable of providing a continuous time history for those locations. This system was then linked to an interpolation routine which handled the spatial component of the boundary condition specifications. These coupled routines facilitated rapid deployment and testing of various finite element representations. Further, the neural network system captured the transient physics of the situation more accurately than interpolation routines used previously.

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Lambert, D. A. "Automating cognitive routines." In Proceedings of the Sixth International Conference of Information Fusion. IEEE, 2003. http://dx.doi.org/10.1109/icif.2003.177347.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Routines"

1

Danuskhkodi, Vaiyapuri. Development of Geodetic Conversion Routines. Fort Belvoir, VA: Defense Technical Information Center, September 2001. http://dx.doi.org/10.21236/ada396043.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Klimes, L. Complete ray tracing Fortran77 routines. Natural Resources Canada/ESS/Scientific and Technical Publishing Services, 1990. http://dx.doi.org/10.4095/130830.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Donato, J. M., and G. A. Geist. Collective communication routines in PVM. Office of Scientific and Technical Information (OSTI), May 1996. http://dx.doi.org/10.2172/254958.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Alleva, D. VFI: VME/FASTBUS Interface routines. Office of Scientific and Technical Information (OSTI), September 1987. http://dx.doi.org/10.2172/5793542.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Alleva, D. SVI: Super-VIOR interface routines. Office of Scientific and Technical Information (OSTI), October 1987. http://dx.doi.org/10.2172/5876413.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Alleva, D. VTI: VME/CIPRICO Interface routines. Office of Scientific and Technical Information (OSTI), September 1987. http://dx.doi.org/10.2172/5876415.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Booth, Victoria. Small and Great Circle Routines. Fort Belvoir, VA: Defense Technical Information Center, July 1989. http://dx.doi.org/10.21236/ada217652.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

White, J. A. Multiple electron scattering routines for PEREGRINE. Office of Scientific and Technical Information (OSTI), August 1999. http://dx.doi.org/10.2172/14916.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Eisler, G. R., and P. W. Fuerschbach. SOAR: Smartweld optimization and analysis routines. Office of Scientific and Technical Information (OSTI), October 1996. http://dx.doi.org/10.2172/412335.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Alleva, D. VII: VME/IORFI-II interface routines. Office of Scientific and Technical Information (OSTI), July 1988. http://dx.doi.org/10.2172/6821207.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!