Bibliografías temáticas / Decision Procedures Hypergeometric Sequences

Índice

  1. Artículos de revistas
  2. Tesis
  3. Capítulos de libros
  4. Actas de conferencias

Literatura académica sobre el tema "Decision Procedures Hypergeometric Sequences"

Autor: Grafiati
Publicado: 11 de enero 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 "Decision Procedures Hypergeometric Sequences".

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 "Decision Procedures Hypergeometric Sequences"

1

Wagner, Kyle, Alex Smith, Abigail Allen, Kristen McMaster, Apryl Poch, and Erica Lembke. "Exploration of New Complexity Metrics for Curriculum-Based Measures of Writing." Assessment for Effective Intervention 44, no. 4 (2018): 256–66. http://dx.doi.org/10.1177/1534508418773448.

Texto completo
Resumen
Researchers and practitioners have questioned whether scoring procedures used with curriculum-based measures of writing (CBM-W) capture growth in complexity of writing. We analyzed data from six independent samples to examine two potential scoring metrics for picture word CBM-W (PW), a sentence-level CBM task. Correct word sequences per response (CWSR) and words written per response (WWR) were compared with the current standard metric of correct word sequences (CWS). Linear regression analyses indicated that CWSR predicted scores on standardized norm-referenced criterion measures in more sampl
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Strough, JoNell, Wändi Bruine de Bruin, and Andrew M. Parker. "Taking the Biggest First: Age Differences in Preferences for Monetary and Hedonic Sequences." Journals of Gerontology: Series B 74, no. 6 (2018): 964–74. http://dx.doi.org/10.1093/geronb/gbx160.

Texto completo
Resumen
Abstract Objectives People face decisions about how to sequence payments and events, including when to schedule bigger events relative to smaller ones. We examine age differences in these sequence preferences. Methods We gave a national adult life-span sample (n = 1,296, mean = 53.06 years, standard deviation = 16.33) four scenarios describing a positive or negative hedonic (enjoyable weekends, painful dental procedures) or monetary (receiving versus paying money) event. We considered associations among age, sequence preferences, three self-reported decision-making processes—emphasizing experi
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Xu, Zhou Bo, Tian Long Gu, Liang Chang, and Feng Ying Li. "A Novel Symbolic OBDD Algorithm for Generating Mechanical Assembly Sequences Using Decomposition Approach." Advanced Materials Research 201-203 (February 2011): 24–29. http://dx.doi.org/10.4028/www.scientific.net/amr.201-203.24.

Texto completo
Resumen
The compact storage and efficient evaluation of feasible assembly sequences is one crucial concern for assembly sequence planning. The implicitly symbolic ordered binary decision diagram (OBDD) representation and manipulation technique has been a promising way. In this paper, Sharafat’s recursive contraction algorithm and cut-set decomposition method are symbolically implemented, and a novel symbolic algorithm for generating mechanical assembly sequences is presented using OBDD formulations of liaison graph and translation function. The algorithm has the following main procedures: choosing any
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Khan, M. Shamim, Alex Chong, and Tom Gedeon. "A Methodology for Developing Adaptive Fuzzy Cognitive Maps for Decision Support." Journal of Advanced Computational Intelligence and Intelligent Informatics 4, no. 6 (2000): 403–7. http://dx.doi.org/10.20965/jaciii.2000.p0403.

Texto completo
Resumen
Differential Hebbian Learning (DHL) was proposed by Kosko as an unsupervised learning scheme for Fuzzy Cognitive Maps (FCMs). DHL can be used with a sequence of state vectors to adapt the causal link strengths of an FCM. However, it does not guarantee learning of the sequence by the FCM and no concrete procedures for the use of DHL has been developed. In this paper a formal methodology is proposed for using DHL in the development of FCMs in a decision support context. The four steps in the methodology are: (1) Creation of a crisp cognitive map; (2) Identification of event sequences for use in
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Orakçı, Erhan, and Ali Özdemir. "Using Social Choice Function for Multi Criteria Decision Making Problems." Alphanumeric Journal 12, no. 1 (2024): 21–38. http://dx.doi.org/10.17093/alphanumeric.1426694.

Texto completo
Resumen
Many social choice preference functions or aggregation techniques, such as Borda, Copeland, Dodgson, Kemeny, are employed to obtain integrated solutions in multi-criteria decision problems. On the other hand, the number of studies comparing these techniques in the context of aggregation procedures in multi-criteria decision problems is limited. Furthermore, the advantages and disadvantages of the techniques have not been adequately discussed. In this context, the applicability of Borda, Copeland Dodgson, and Kemeny techniques in solving multi-criteria decision problems was investigated in this
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Marchand, Pascal, and Claude Navarro. "Dialog Organization and Functional Communication in a Medical Assistance Task by Phone." Perceptual and Motor Skills 81, no. 2 (1995): 451–61. http://dx.doi.org/10.1177/003151259508100218.

Texto completo
Resumen
This study is based on a corpus of 110 dialogs recorded in a medical assistance telephonist's workstation. Given the nature of the task, we have considered five main variables in dialog (topics) as well as their order of occurrence (sequences). These data were analyzed with a lexical analysis program. Results show a great difference between Operator/Specialist dialog and Operator/Nonspecialist dialog. Dialog “script” is very strong in the first case in which the operator merely plays a feedback role (routine procedures). If the caller is a private individual, the situation is often an indefini
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Bibilo, P. N., Yu Yu Lankevich, and V. I. Romanov. "Logical Minimization of Multilevel Representations of Boolean Function Systems." Informacionnye Tehnologii 29, no. 2 (2023): 59–71. http://dx.doi.org/10.17587/it.29.59-71.

Texto completo
Resumen
A decisive influence on complexity and speed of a combinational logic circuit of library CMOS elements is exerted by the preliminary stage of technologically independent optimization of the implemented system of Boolean functions. At present, the main methods of such optimization in the logical synthesis of custom CMOS VLSI blocks are methods for minimizing binary decision diagrams — Binary Decision Diagrams (BDD) or their modifications. Graphical representations of BDD are built on the basis of the Shannon expansions of Boolean functions. A BDD graph corresponds to a set of interrelated Shann
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Pathiraja Rathnayaka Hitige, Nadeesha, Ting Song, Steven J. Craig, et al. "An Ontology-Based Approach for Understanding Appendicectomy Processes and Associated Resources." Healthcare 13, no. 1 (2024): 10. https://doi.org/10.3390/healthcare13010010.

Texto completo
Resumen
Background: Traditional methods for analysing surgical processes often fall short in capturing the intricate interconnectedness between clinical procedures, their execution sequences, and associated resources such as hospital infrastructure, staff, and protocols. Aim: This study addresses this gap by developing an ontology for appendicectomy, a computational model that comprehensively represents appendicectomy processes and their resource dependencies to support informed decision making and optimise appendicectomy healthcare delivery. Methods: The ontology was developed using the NeON methodol
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Petrosyan, Azniv F. "Importance Rearrangement within Education, Economy and Natural Protection Ministries for Armenian Composite Supportive Progress (ACASP)." Business and Management Studies 2, no. 3 (2016): 78. http://dx.doi.org/10.11114/bms.v2i3.1834.

Texto completo
Resumen
Sustainable Development is an innovative concept characterized as Composite Appraising Supportive Progress of Armenia (ACASP). Biodiversity concept is another topic having a vast power on public management and employment. Social, economic and environmental impacts optimize sequences within Education (S3), Economy (E5), Air (N3) & Land (N1) Ministries. Seven (7) phases of Operation Research (OR) studies correspond to nine (9) procedures of composite progressive indicators. Two (2) techniques are applied as decision making of utility function and transportation tasks. North-West Corner Rule
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Reichelt, Florian, Dietmar Traub, and Thomas Maier. "DERIVATION OF A METHOD DNA FOR THE UNIFIED DESCRIPTION OF METHODICAL PROCEDURES IN PRODUCT DEVELOPMENT." Proceedings of the Design Society 3 (June 19, 2023): 1187–96. http://dx.doi.org/10.1017/pds.2023.119.

Texto completo
Resumen
AbstractThe number of publications on methods in product development is increasing constantly. In addition to scientific models, method guidelines exist in practice to support the selection of suitable methods. When looking more closely, it is noticeable that new methods are not new developments of methodical principles, but rather adaptations and summaries of known methods to specific application areas.Although approaches to standardize methods exist, they are usually formulated too abstractly to be useful to project managers as a support for method decision making.In our contribution, we ana
Los estilos APA, Harvard, Vancouver, ISO, etc.

Tesis sobre el tema "Decision Procedures Hypergeometric Sequences"

1

Nosan, Klara. "Zero problems in polynomial models." Electronic Thesis or Diss., Université Paris Cité, 2024. http://www.theses.fr/2024UNIP7008.

Texto completo
Resumen
Les modèles polynomiaux sont omniprésents en informatique, dans l'étude des automates et des langages formels, de l'optimisation, de la théorie des jeux, de la théorie du contrôle et de nombreux autres domaines. Dans cette thèse, nous considérons des modèles décrits par des systèmes d'équations polynomiales et des équations différentielles, où le système évolue à travers un ensemble discret de pas de temps avec des mises à jour polynomiales à chaque pas. Nous explorons trois aspects des « problèmes de zéros » pour les modèles polynomiaux : le test d'identité pour les expressions algébriques do
Los estilos APA, Harvard, Vancouver, ISO, etc.

Capítulos de libros sobre el tema "Decision Procedures Hypergeometric Sequences"

1

Jeż, Artur, Anthony W. Lin, Oliver Markgraf, and Philipp Rümmer. "Decision Procedures for Sequence Theories." In Computer Aided Verification. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-37703-7_2.

Texto completo
Resumen
AbstractSequence theories are an extension of theories of strings with an infinite alphabet of letters, together with a corresponding alphabet theory (e.g. linear integer arithmetic). Sequences are natural abstractions of extendable arrays, which permit a wealth of operations including append, map, split, and concatenation. In spite of the growing amount of tool support for theories of sequences by leading SMT-solvers, little is known about the decidability of sequence theories, which is in stark contrast to the state of the theories of strings. We show that the decidable theory of strings with concatenation and regular constraints can be extended to the world of sequences over an alphabet theory that forms a Boolean algebra, while preserving decidability. In particular, decidability holds when regular constraints are interpreted as parametric automata (which extend both symbolic automata and variable automata), but fails when interpreted as register automata (even over the alphabet theory of equality). When length constraints are added, the problem is Turing-equivalent to word equations with length (and regular) constraints. Similar investigations are conducted in the presence of symbolic transducers, which naturally model sequence functions like map, split, filter, etc. We have developed a new sequence solver, SeCo, based on parametric automata, and show its efficacy on two classes of benchmarks: (i) invariant checking on array-manipulating programs and parameterized systems, and (ii) benchmarks on symbolic register automata.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Cauli, Claudia, Magdalena Ortiz, and Nir Piterman. "Actions over Core-Closed Knowledge Bases." In Automated Reasoning. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_17.

Texto completo
Resumen
AbstractWe present new results on the application of semantic- and knowledge-based reasoning techniques to the analysis of cloud deployments. In particular, to the security of Infrastructure as Code configuration files, encoded as description logic knowledge bases. We introduce an action language to model mutating actions; that is, actions that change the structural configuration of a given deployment by adding, modifying, or deleting resources. We mainly focus on two problems: the problem of determining whether the execution of an action, no matter the parameters passed to it, will not cause the violation of some security requirement (static verification), and the problem of finding sequences of actions that would lead the deployment to a state where (un)desirable properties are (not) satisfied (plan existence and plan synthesis). For all these problems, we provide definitions, complexity results, and decision procedures.
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Hai-Jew, Shalin. "Optimizing Static and Dynamic Visual Expressions of Time-Based Events, Processes, Procedures, and Future Projections for Instructional Design." In Form, Function, and Style in Instructional Design. IGI Global, 2020. http://dx.doi.org/10.4018/978-1-5225-9833-6.ch007.

Texto completo
Resumen
Time-based visuals are used to depict time-based events, processes, procedures, and future projections, among others. These come in 2D, 3D, and 4D types, and they may be static or dynamic, non-interactive, or interactive. A simple process or procedure may be expressed visually as a timeline, a flowchart, a stacked diagram, a node-link game tree, a workflow diagram, dedicated-type sequence diagrams, or some other sequence-based visual. With the proliferation of more complex time-based sequences—with multiple paths, multiple actors, decision junctures, conditionals, and other forms of dimensionality, and with multimodal expressions and interactive digital interfaces, with processes as descriptions, theorized steps, directional procedures, projections, and other types—the visual depictions of processes and procedures have become much more complex and layered. This work describes some efforts to optimize these visual expressions through proper design, development, testing, and revision.
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Decision Procedures Hypergeometric Sequences"

1

Clauss, Gu¨nther F., Sascha Kosleck, and Daniel Testa. "Critical Situations of Vessel Operations in Short Crested Seas: Forecast and Decision Support System." In ASME 2009 28th International Conference on Ocean, Offshore and Arctic Engineering. ASMEDC, 2009. http://dx.doi.org/10.1115/omae2009-79482.

Texto completo
Resumen
The encounter of extreme waves, extreme wave groups or of unfavourable wave sequences is a dangerous thread for ships and floating/fixed marine structures. The impact of extreme waves causes enormous forces whereas the encounter of an unfavourable wave sequence — not necessarily extreme waves — can arouse critical motions or even resonance, often leading to loss of cargo, ship and crew. Thus, besides a well thought-out maritime design, a system detecting critical incoming wave sequences in advance can help avoiding those dangerous situations, increasing the safety of sea transport or offshore
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Antani, Kavit R., Bryan Pearce, Laine Mears, Rahul Renu, Mary E. Kurz, and Joerg Schulte. "Application of System Learning to Precedence Graph Generation for Assembly Line Balancing." In ASME 2014 International Manufacturing Science and Engineering Conference collocated with the JSME 2014 International Conference on Materials and Processing and the 42nd North American Manufacturing Research Conference. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/msec2014-3906.

Texto completo
Resumen
Manufacturing Process Planning is the systematic development of the detailed methods by which products can be manufactured in a cost-efficient manner, while achieving their functional requirements. An assembly line is a flow-oriented production system where the productive units performing the operations, referred to as stations, are aligned in a serial manner. The work pieces visit stations successively as they are moved along the line usually by some kind of transportation system, e.g., a conveyor belt. An important decision problem, called Assembly Line Balancing Problem (ALBP), arises and h
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Al Kalbani, H. "Lessons from a Year-Long Operation of an Atmospheric Pressure Flare Gas Recovery System." In SPE Conference at Oman Petroleum & Energy Show. SPE, 2024. http://dx.doi.org/10.2118/218652-ms.

Texto completo
Resumen
Abstract As the world approaches the 2030 deadline set by the World Bank to eliminate routine flaring, substantial investments are directed towards establishing flare gas recovery, treatment and export infrastructure. This paper delves into the critical components of this imperative task: isolating the flare system and implementing a gas recovery system. The objective is to distill valuable insights and lessons learned from our year-long experience operating such a system, providing a valuable resource for future projects. The lessons learned encompass concept development, design consideration
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Antani, Kavit R., Bryan Pearce, Mary E. Kurz, Laine Mears, Kilian Funk, and Maria E. Mayorga. "Manual Precedence Mapping and Application of a Novel Precedence Relationship Learning Technique to Real-World Automotive Assembly Line Balancing." In ASME 2013 International Manufacturing Science and Engineering Conference collocated with the 41st North American Manufacturing Research Conference. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/msec2013-1235.

Texto completo
Resumen
An assembly line is a flow-oriented production system where the productive units performing the operations, referred to as stations, are aligned in a serial manner. The work pieces visit stations successively as they are moved along the line usually by some kind of transportation system, e.g., a conveyor belt. An important decision problem, called Assembly Line Balancing Problem (ALBP), arises and has to be solved when (re-) configuring an assembly line. It consists of distributing the total workload for manufacturing any unit of the product to be assembled among the work stations along the li
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Schneider, Raymond E., and Steven E. Farkas. "Transition Risk Method and Example." In 12th International Conference on Nuclear Engineering. ASMEDC, 2004. http://dx.doi.org/10.1115/icone12-49519.

Texto completo
Resumen
Paragraph (a)(4) of the Maintenance Rule (re 10CFR§50.65) states that before performing maintenance activities, the licensees shall assess and manage the increase in risk that may result from the maintenance activities. The rule is explicitly applicable to all operating modes. Currently, most plants use a qualitative tool for assessing and controlling the risk of the various plant conditions during an outage. Fewer plants have any means of performing a quantitative or qualitative assessment of the associated risks of transitioning the plant in each configuration from power to “cold shutdown.”
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Yessalina, S. A., R. A. Gulamov, S. E. Mallaev, et al. "Revealing New Exploration Plays in the Deeper Parts of the Ustyurt Region in Uzbekistan." In GOTECH. SPE, 2024. http://dx.doi.org/10.2118/219312-ms.

Texto completo
Resumen
Abstract Objectives/Scope The Berdakh-Sudochi region, the promising frontier exploration area of Uzbekistan have been studied for basin modeling to optimize exploration drilling campaign. The objective of this study was to assess the overall potential of deeper poorly explored Lower Jurassic sequences, based on analyses of field data, regional geological framework and petroleum system. Methods, Procedures, Process An integrated approach has been applied for petroleum system modeling of the Jurassic sediments in the study area. The basin models have been built based on comprehensive review of a
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!

Pasar a la bibliografía