Relevant bibliographies by topics / Sequential ends

Contents

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

Academic literature on the topic 'Sequential ends'

Author: Grafiati
Published: 18 June 2021
Last updated: 9 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 'Sequential ends.'

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 "Sequential ends"

1

Tavares, Paulo, Rudi Lurz, Asita Stiege, Beate Rückert, and Thomas A. Trautner. "Sequential Headful Packaging and Fate of the Cleaved DNA Ends in Bacteriophage SPP1." Journal of Molecular Biology 264, no. 5 (1996): 954–67. http://dx.doi.org/10.1006/jmbi.1996.0689.

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

Holzer, Markus, Bianca Truthe, and Ahmad Firdaus Yosman. "On bonded sequential and parallel insertion systems." RAIRO - Theoretical Informatics and Applications 52, no. 2-3-4 (2018): 127–51. http://dx.doi.org/10.1051/ita/2018010.

Full text
Abstract:
We introduce a new variant of insertion systems, namely bonded insertion systems. In such systems, words are not only formed by usual letters but also by bonds between letters. Words which can be inserted, have “free” bonds at their ends which control at which positions in a word they can be inserted (namely only there, where the bonds “fit”). Two kinds of bonded insertion systems are defined in this paper: so-called bonded sequential insertion systems and bonded parallel insertion systems. In a sequential system, there is only one word inserted at a time. In a parallel system, there is a word inserted at every possible position in parallel in one time step. We investigate the generative capacity of those two kinds and relate the families of generated languages to some families of the Chomsky hierarchy and to families of languages generated by Lindenmayer systems. Additionally, we investigate some closure properties.
APA, Harvard, Vancouver, ISO, and other styles
3

Yan, Chongjun, Jiafu Tang, and Bowen Jiang. "Sequential Appointment Scheduling Considering Walk-In Patients." Mathematical Problems in Engineering 2014 (2014): 1–12. http://dx.doi.org/10.1155/2014/564832.

Full text
Abstract:
This paper develops a sequential appointment algorithm considering walk-in patients. In practice, the scheduler assigns an appointment time for each call-in patient before the call ends, and the appointment time cannot be changed once it is set. Each patient has a certain probability of being a no-show patient on the day of appointment. The objective is to determine the optimal booking number of patients and the optimal scheduling time for each patient to maximize the revenue of all the arriving patients minus the expenses of waiting time and overtime. Based on the assumption that the service time is exponentially distributed, this paper proves that the objective function is convex. A sufficient condition under which the profit function is unimodal is provided. The numerical results indicate that the proposed algorithm outperforms all the commonly used heuristics, lowering the instances of no-shows, and walk-in patients can improve the service efficiency and bring more profits to the clinic. It is also noted that the potential appointment is an effective alternative to mitigate no-show phenomenon.
APA, Harvard, Vancouver, ISO, and other styles
4

Tachibana, Akira, Kazuo Tohiguchi, Takayuki Ueno, Yuichi Setogawa, Ayako Harada, and Toshizumi Tanabe. "Preparation of long sticky ends for universal ligation-independent cloning: Sequential T4 DNA polymerase treatments." Journal of Bioscience and Bioengineering 107, no. 6 (2009): 668–69. http://dx.doi.org/10.1016/j.jbiosc.2009.01.019.

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

Mokros, Petr, Jan Vrbsky, and Jiri Siroky. "Identification of chromosomal fusion sites in Arabidopsis mutants using sequential bicolour BAC-FISH." Genome 49, no. 8 (2006): 1036–42. http://dx.doi.org/10.1139/g06-082.

Full text
Abstract:
Double stranded chromosomal breaks are repaired by homologous recombination or nonhomologous end joining (NHEJ). When broken chromosome ends are fused together by NHEJ, the resulting dicentric chromosomes can be detected as anaphase bridges during the subsequent mitosis. Telomeres in the absence of functional telomerase shorten, became unprotected, and are eventually recognized by the cell repair system as double stranded breaks. As result, chromosomes of Arabidopsis thaliana plants that are deficient in the gene for telomerase reverse transcriptase (TERT) are prone to chromosome fusions. We use Arabidopsis tert–/– mutants as a model system for analyzing terminal chromosome fusions. Here we report a novel and sensitive cytogenetic assay for the identification and characterization of chromosome-terminal fusion events by employing fluorescence in situ hybridization (FISH) with multiple probes and a repeated hybridization approach. A mixture of chromosome-specific subtelomeric probes is applied successively in 3 FISH reactions to the slides containing mitotic anaphase figures with anaphase bridges. Each figure is registered by a CCD camera after each in situ hybridization procedure. By comparing the signals presented on the bridge in successive images the assessment of the particular chromosome arms involved in fusion is possible. This experimental setup enables unambiguous identification of individual chromosome ends employed in fusion events.Key words: Arabidopsis; BAC probes; AtTERT gene; bicolour FISH; anaphase.
APA, Harvard, Vancouver, ISO, and other styles
6

Li, Wenchao. "Sequential Voicing in Old Japanese." International Journal of Linguistics 12, no. 5 (2020): 239. http://dx.doi.org/10.5296/ijl.v12i5.17733.

Full text
Abstract:
This study tackles sequential voicing in Old Japanese with a focus on three matters: (a) the interaction of the eight vowels and aspirated consonants; (b) the association of the written system and sequential voicing; and (c) the interaction between the combinationality of each constituent and sequential voicing. Four hundred and seventy-two compound nouns of Old Japanese were collected from the corpus ‘The Japanese Lexicon: A Rendaku Encyclopedia’ by NINJAL. The findings reveal that (i) /k/ has the largest token number of sequential voicing and /p/ has the second largest token number, followed by /s/ and /t/; (ii) regarding the eight vowels /a/, /e1/, /e2/, /i1/, /i2/, /o1/, /o2/ and /u/, /a/ is most likely to form a [N1-N2] whose initial consonant is /k/, /p/ and /t/. It is not likely for the vowel /a/ to invite a voiced ‘/s/-initial’ N1’; /o1/ and /o2/ are both likely to combine with a voiced consonant /k/; /t/ and are less likely to yield a voiced /s/; /e1/ is more likely to invite a voiced consonant than /e2/, but /e1/ does not invite a voiced /p/; /e2/ does not yield a voiced /s/; and /i1/ is likely to take a voiced consonant than /i2/. /k/ and /t/ are the two consonants that are most likely to be voiced when forming a N-N with N1 ends with /i1/. /i2/ does not invite a voiced /p/, /s/ or /t/; /u/ never results in a voiced /s/; (iii) there is a split in the characters that renders a voiced phoneme or an unvoiced phoneme; and (iv) the semantic relationship of N1 and N2 in [N1-N2] that bears sequential voicing is of six types, of which the most frequent relationship of N1 and N2 is [Modifier - N2]. The [prefix-N2] construction is not subject to sequential voicing.
APA, Harvard, Vancouver, ISO, and other styles
7

Singh, Ishwar, Zoya Zarafshani, Frances Heaney, and Jean-François Lutz. "Orthogonal modification of polymer chain-ends via sequential nitrile oxide–alkyne and azide–alkyne Huisgen cycloadditions." Polym. Chem. 2, no. 2 (2011): 372–75. http://dx.doi.org/10.1039/c0py00236d.

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

Zhang, Jian, Mahjoub Dridi, and Abdellah El Moudni. "A Markov decision model with dead ends for operating room planning considering dynamic patient priority." RAIRO - Operations Research 53, no. 5 (2019): 1819–41. http://dx.doi.org/10.1051/ro/2018110.

Full text
Abstract:
This paper addresses an operating room planning problem with surgical demands from both the elective patients and the non-elective ones. A dynamic waiting list is established to prioritize and manage the patients according to their urgency levels and waiting times. In every decision period, sequential decisions are taken by selecting high-priority patients from the waiting list to be scheduled. With consideration of random arrivals of new patients and uncertain surgery durations, the studied problem is formulated as a novel Markov decision process model with dead ends. The objective is to optimize a combinatorial cost function involving patient waiting times and operating room over-utilizations. Considering that the conventional dynamic programming algorithms have difficulties in coping with large-scale problems, we apply several adapted real-time dynamic programming algorithms to solve the proposed model. In numerical experiments, we firstly apply different algorithms to solve the same instance and compare the computational efficiencies. Then, to evaluate the effects of dead ends on the policy and the computation, we conduct simulations for multiple instances with the same problem scale but different dead ends. Experimental results indicate that incorporating dead ends into the model helps to significantly shorten the patient waiting times and improve the computational efficiency.
APA, Harvard, Vancouver, ISO, and other styles
9

Lenting, Peter J., Olivier D. Christophe, and Cécile V. Denis. "von Willebrand factor biosynthesis, secretion, and clearance: connecting the far ends." Blood 125, no. 13 (2015): 2019–28. http://dx.doi.org/10.1182/blood-2014-06-528406.

Full text
Abstract:
Abstract To understand the placement of a certain protein in a physiological system and the pathogenesis of related disorders, it is not only of interest to determine its function but also important to describe the sequential steps in its life cycle, from synthesis to secretion and ultimately its clearance. von Willebrand factor (VWF) is a particularly intriguing case in this regard because of its important auxiliary roles (both intra- and extracellular) that implicate a wide range of other proteins: its presence is required for the formation and regulated release of endothelial storage organelles, the Weibel-Palade bodies (WPBs), whereas VWF is also a key determinant in the clearance of coagulation factor VIII. Thus, understanding the molecular and cellular basis of the VWF life cycle will help us gain insight into the pathogenesis of von Willebrand disease, design alternative treatment options to prolong the factor VIII half-life, and delineate the role of VWF and coresidents of the WPBs in the prothrombotic and proinflammatory response of endothelial cells. In this review, an update on our current knowledge on VWF biosynthesis, secretion, and clearance is provided and we will discuss how they can be affected by the presence of protein defects.
APA, Harvard, Vancouver, ISO, and other styles
10

Deshpande, Rajashree A., Logan R. Myler, Michael M. Soniat, et al. "DNA-dependent protein kinase promotes DNA end processing by MRN and CtIP." Science Advances 6, no. 2 (2020): eaay0922. http://dx.doi.org/10.1126/sciadv.aay0922.

Full text
Abstract:
The repair of DNA double-strand breaks occurs through nonhomologous end joining or homologous recombination in vertebrate cells—a choice that is thought to be decided by a competition between DNA-dependent protein kinase (DNA-PK) and the Mre11/Rad50/Nbs1 (MRN) complex but is not well understood. Using ensemble biochemistry and single-molecule approaches, here, we show that the MRN complex is dependent on DNA-PK and phosphorylated CtIP to perform efficient processing and resection of DNA ends in physiological conditions, thus eliminating the competition model. Endonucleolytic removal of DNA-PK–bound DNA ends is also observed at double-strand break sites in human cells. The involvement of DNA-PK in MRN-mediated end processing promotes an efficient and sequential transition from nonhomologous end joining to homologous recombination by facilitating DNA-PK removal.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Sequential ends"

1

Imamura, Takuma. "A nonstandard invariant of coarse spaces." Doctoral thesis, Kyoto University, 2021. http://hdl.handle.net/2433/263439.

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

Franco, Guilherme Schvarcz. "S4FE : sequential feature frequency filter - front-end for SLAM." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2016. http://hdl.handle.net/10183/134342.

Full text
Abstract:
Fechamento de loops é um dos principais processos das estratégias de SLAM baseadas em grafos, usadas para estimar o erro de deslocamento acumulado à ser minimizado pela técnica. Neste sentido, boas correspondências de cenas permitem criar uma conexão entre dois nós do grafo que está sendo construído para representar o ambiente. Contudo, falsas correspondências podem levar essas estratégias a um estado irreversível de falsa representação do ambiente. Neste trabalho, um método robusto baseado em features que usa sequências de imagens para reconhecer áreas revisitadas é apresentado. Este método usa a abordagem de Bag-of-Words para reduzir efeitos de iluminação e uma ponderação TF-IDF para ressaltar as principais features que descrevem cada cena. Além disso, um algoritmo baseado na técnica de Mean Shift é usado sobre uma matriz de similaridade para identificar a possível trajetória seguida pelo robô e melhorar a detecção de fechamento de loop. O método apresentado foi testado em um ambiente aberto usando sequências de imagens coletadas com usando uma câmera de mão e um drone modelo Parrot ArDrone 2.0.<br>Loop closure recognition is one of the main processes of graph-based SLAM strategies, used to estimate the accumulated motion error to be minimized by the technique. Good scene correspondences allow to create constraints between two nodes in the graph that is currently being built to represent the environment that the robot is immersed. However, false correspondences can lead these strategies to an irreversible wrong environment representation. In this work, we present a robust feature-based loop closure approach that uses image sequence matching to recognize revisited areas. This approach uses Bag-of- Words to reduce the effects of lightning changes and a TF-IDF weighting to enhance the main features that describe each scene. Besides, an algorithm based on Mean Shift is used over a similarity matrix to identify the possible trajectory followed by the robot and improve the loop closure detection. Our method is tested in a GPS-denied outdoor environment using image sequences collected using a handheld camera and a Parrot ArDrone 2.0.
APA, Harvard, Vancouver, ISO, and other styles
3

Feng, Dawei. "Efficient end-to-end monitoring for fault management in distributed systems." Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01017083.

Full text
Abstract:
In this dissertation, we present our work on fault management in distributed systems, with motivating application roots in monitoring fault and abrupt change of large computing systems like the grid and the cloud. Instead of building a complete a priori knowledge of the software and hardware infrastructures as in conventional detection or diagnosis methods, we propose to use appropriate techniques to perform end-to-end monitoring for such large scale systems, leaving the inaccessible details of involved components in a black box.For the fault monitoring of a distributed system, we first model this probe-based application as a static collaborative prediction (CP) task, and experimentally demonstrate the effectiveness of CP methods by using the max margin matrix factorization method. We further introduce active learning to the CP framework and exhibit its critical advantage in dealing with highly imbalanced data, which is specially useful for identifying the minority fault class.Further we extend the static fault monitoring to the sequential case by proposing the sequential matrix factorization (SMF) method. SMF takes a sequence of partially observed matrices as input, and produces predictions with information both from the current and history time windows. Active learning is also employed to SMF, such that the highly imbalanced data can be coped with properly. In addition to the sequential methods, a smoothing action taken on the estimation sequence has shown to be a practically useful trick for enhancing sequential prediction performance.Since the stationary assumption employed in the static and sequential fault monitoring becomes unrealistic in the presence of abrupt changes, we propose a semi-supervised online change detection (SSOCD) framework to detect intended changes in time series data. In this way, the static model of the system can be recomputed once an abrupt change is detected. In SSOCD, an unsupervised offline method is proposed to analyze a sample data series. The change points thus detected are used to train a supervised online model, which gives online decision about whether there is a change presented in the arriving data sequence. State-of-the-art change detection methods are employed to demonstrate the usefulness of the framework.All presented work is verified on real-world datasets. Specifically, the fault monitoring experiments are conducted on a dataset collected from the Biomed grid infrastructure within the European Grid Initiative, and the abrupt change detection framework is verified on a dataset concerning the performance change of an online site with large amount of traffic.
APA, Harvard, Vancouver, ISO, and other styles
4

Ganesan, Rajesh. "Process monitoring and feedback control using multiresolution analysis and machine learning." [Tampa, Fla] : University of South Florida, 2005. http://purl.fcla.edu/usf/dc/et/SFE0001248.

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

Vigouroux, Clémence. "Regulation of actin assembly and mechanotransduction in cell-matrix adhesion complexes by the protein RIAM The PIP2-talin-RIAM-VASP pathway controls actin polymerization and organisation Talin dissociates from RIAM and associates to vinculin sequentially in response to the actomyosin force Integrin-bound talin head inhibits actin filament barbed-end elongation." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASL015.

Full text
Abstract:
Lors de la migration cellulaire, les complexes d’adhérence contrôlent la production de force et l’adaptation aux propriétés mécaniques de l’environnement. Le but de ce projet était de comprendre les mécanismes moléculaires par lesquels ces complexes contrôlent la force produite par l’assemblage du cytosquelette d’actine et codent une information mécanique en réaction biochimique. La première étude montre que les protéines taline, RIAM et VASP s’assemblent à la surface d’une membrane pour stimuler l’assemblage de l’actine par un nouveau mécanisme. La deuxième partie est basée sur la reconstitution de la machinerie mécano-sensible des complexes d’adhérence avec des protéines pures sur une surface micro-imprimée observée en microscopie. L’étude montre que la protéine étirable taline échange son partenaire RIAM contre la vinculine en réponse à la force du cytosquelette. La taline code donc l’information mécanique en recrutant les partenaires qui correspondent à son degré d’étirement<br>During cell migration, adhesion complexes control the production of force and the adaptation to the mechanical properties of the environment. The aim of this project was to understand the molecular mechanisms by which these complexes control the force produced by actin assembly and encode mechanical information into biochemical reactions. The first study shows that the proteins talin, RIAM and VASP assemble on the surface of a membrane to stimulate actin assembly by a novel. mechanism The second part is based on the reconstitution of the mechanosensitive machinery of the adhesion complexes with pure proteins on a micropatterned surface observed in microscopy. The study reveals that the stretchable protein talin exchanges its partner RIAM for vinculin in response to the force transmitted by the actin cytoskeleton. Talin thus codes mechanical information by recruiting partners that correspond to its degree of stretch
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Sequential ends"

1

Kanke, Viktor. Philosophy for economists and managers. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/967341.

Full text
Abstract:
The tutorial is a sequential course of philosophy. The article considers the questions of philosophy of science and the history of philosophy, ontology, epistemology, ethics and aesthetics. The course is designed taking into account the achievements of analytical philosophy, phenomenology, hermeneutics, postructuralism and other major philosophical issues of the day. Uses the theory of conceptual transduction. Special attention is paid to the relationship of philosophy to Economics and management. The course is carefully calibrated in the didactic relation. Each paragraph ends with the conclusions, and test, by a reference list.&#x0D; For students of higher educational institutions, primarily economists and managers. Of interest to a wide circle of readers.
APA, Harvard, Vancouver, ISO, and other styles
2

Kanke, Viktor. Philosophy for technical specialties. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/967358.

Full text
Abstract:
The textbook is a sequential course in philosophy. The questions of the philosophy of science and the history of philosophy, ontology, epistemology, ethics and aesthetics are presented. The course is based on the achievements of analytical philosophy, phenomenology, hermeneutics, post-structuralism and other major philosophical trends of our time. The theory of conceptual transduction is used. Special attention is paid to the connection of philosophy with the technical sciences. The course is carefully verified in didactic terms. Each paragraph ends with conclusions. The textbook includes questions and tasks, tests, references, and recommendations to students. Meets the requirements of the federal state educational standards of higher education of the latest generation. For students of higher educational institutions, especially future technical specialists. It is of interest to a wide range of readers.
APA, Harvard, Vancouver, ISO, and other styles
3

Ivanishchev, Viktor (Victor). Molecular biology. Publishing Center RIOR, 2020. http://dx.doi.org/10.29039/01857-6.

Full text
Abstract:
The textbook presents the main range of issues in molecular biology — the most rapidly developing area of biological science. The logic of the presentation of the material includes sequential coverage of the structural organization and functions of DNA, RNA, proteins. Important attention is paid to the mechanisms of signal transmission in living systems, the problems of creating and using genetically engineered organisms. Each chapter ends with control questions and assignments for independent work. The textbook includes a set of laboratory and practical works that do not require specialized equipment and materials. The new edition has been supplemented and clarified, reflecting the current state of science. The content of the textbook corresponds to a number of competencies, the development of which is provided for by the Federal State Educational Standard of Higher Education in the preparation of bachelors in the fields of "Pedagogical Education" (profiles "Biology" and "Chemistry"), "Biology". Certain topics can be used in the preparation of masters in the fields of "Biology", "Chemistry", "Natural Science Education". The book is intended for students studying in natural sciences, and will also be useful for teachers of biology and chemistry of high school.
APA, Harvard, Vancouver, ISO, and other styles
4

Doshi, Rush. The Long Game. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780197527917.001.0001.

Full text
Abstract:
For more than a century, no US adversary or coalition of adversaries—not Nazi Germany, Imperial Japan, or even the Soviet Union—has ever reached 60 percent of US GDP. China is the sole exception, and it is fast emerging into a global superpower that could rival, if not eclipse, the United States. What does China want, does it have a grand strategy to achieve it, and what should the United States do about it? The Long Game draws from a rich base of Chinese primary sources, including decades’ worth of party documents, leaked materials, memoirs by party leaders, as well as careful analysis of China's conduct, to provide a history of China’s grand strategy since the end of the Cold War. Taking readers behind the Party’s closed doors, this book uncovers Beijing’s long, methodical game to displace America from the regional and global order through three sequential “strategies of displacement.” The book shows how China’s strategy is profoundly shaped by key events that change its perception of American power—the end of the Cold War, the 2008 Global Financial Crisis, the populist elections of 2016, and the coronavirus pandemic of 2020. Finally, the book offers a comprehensive yet “asymmetric” plan for an effective US response to the China challenge. Ironically, the proposed approach takes a page from Beijing’s own strategic playbook to undermine China’s ambitions and strengthen American order without competing dollar-for-dollar, ship-for-ship, or loan-for-loan.
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Sequential ends"

1

Konagaya, Akihiko, Ryousei Nakazaki, and Mamoru Umemura. "A co-operative programming environment for a back-end type sequential inference machine CHI." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/3-540-18099-0_46.

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

Wittmann-Liebold, Brigitte, Lothar Matschull, Ulrike Pilling, Hans-Arthur Bradaczek, and Horst Graffunder. "Modular Berlin Microsequencer for the Sequential Degradation of Proteins and Peptides from the Amino- and Carboxyl-Terminal End." In Methods in Protein Sequence Analysis. Birkhäuser Basel, 1991. http://dx.doi.org/10.1007/978-3-0348-5678-2_1.

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

Lidström, Christian, and Dilian Gurov. "An Abstract Contract Theory for Programs with Procedures." In Fundamental Approaches to Software Engineering. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_8.

Full text
Abstract:
AbstractWhen developing complex software and systems, contracts provide a means for controlling the complexity by dividing the responsibilities among the components of the system in a hierarchical fashion. In specific application areas, dedicated contract theories formalise the notion of contract and the operations on contracts in a manner that supports best the development of systems in that area. At the other end, contract meta-theories attempt to provide a systematic view on the various contract theories by axiomatising their desired properties. However, there exists a noticeable gap between the most well-known contract meta-theory of Benveniste et al. [5], which focuses on the design of embedded and cyber-physical systems, and the established way of using contracts when developing general software, following Meyer’s design-by-contract methodology [18]. At the core of this gap appears to be the notion of procedure: while it is a central unit of composition in software development, the meta-theory does not suggest an obvious way of treating procedures as components.In this paper, we provide a first step towards a contract theory that takes procedures as the basic building block, and is at the same time an instantiation of the meta-theory. To this end, we propose an abstract contract theory for sequential programming languages with procedures, based on denotational semantics. We show that, on the one hand, the specification of contracts of procedures in Hoare logic, and their procedure-modular verification, can be cast naturally in the framework of our abstract contract theory. On the other hand, we also show our contract theory to fulfil the axioms of the meta-theory. In this way, we give further evidence for the utility of the meta-theory, and prepare the ground for combining our instantiation with other, already existing instantiations.
APA, Harvard, Vancouver, ISO, and other styles
4

Lugo, Marco, Wilburn Whittington, Youssef Hammi, et al. "Using an Internal State Variable (ISV)-Multistage Fatigue (MSF) Sequential Analysis for the Design of a Cast AZ91 Magnesium Alloy Front-End Automotive Component." In Integrated Computational Materials Engineering (ICME) for Metals. John Wiley & Sons, Inc., 2018. http://dx.doi.org/10.1002/9781119018377.ch11.

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

Weiner, Robert G. "Comics Codes and Parameters for Villain Construction in Sequential Art." In The Supervillain Reader. University Press of Mississippi, 2019. http://dx.doi.org/10.14325/mississippi/9781496826466.003.0023.

Full text
Abstract:
There are many types of villains in society and popular culture. There is the villain that is pure evil. There is the villain that is motivated by revenge. There is also at times the hero turned villain. However, one of the most interesting villains is the villain that is a catalyst for political or social change, a necessary evil. This type of villain has a certain brutal honesty of character. They recognize that through their actions, no matter the cost to morality or humanity, that society may become a better place. In many ways they could be a misguided hero. The best example of this is the Kingpin. He is the pinnacle of the villain who understands his role as an agent of change, a villain who believes the ends justify the means, which in a sense makes him good.
APA, Harvard, Vancouver, ISO, and other styles
6

Bensimon, David, Vincent Croquette, Jean-François Allemand, Xavier Michalet, and Terence Strick. "DNA and RNA Polymerases." In Single-Molecule Studies of Nucleic Acids and Their Proteins. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198530923.003.0007.

Full text
Abstract:
This chapter discusses the application of single-molecule approaches in the study of DNA and RNA polymerases. After an introduction to DNA replication and the structure of DNA polymerases, it reviews experiments on DNA polymerization on stretched ssDNA, moving on to DNA polymerization at a stretched DNA fork (mimicking the replication fork). Next it looks at single-molecule sequencing approaches based on DNA polymerization with sequential incorporation of fluorescently labelled nucleotides, comparing with nanopore sequencing. It outlines the use of fluorescent approaches in the study of replication dynamics in vivo in single cells, then discussing transcription by RNA polymerases, the stages of transcription (open-complex, abortive initiation, transcription elongation, termination), and the general structure of RNA polymerases. It describes single-molecule experiments (using manipulation/fluorescent approaches) of the transcription stages and ends with a discussion of experiments studying the dynamics of transcription in vivo at a single locus in a eukaryotic cell with fluorescent labelling.
APA, Harvard, Vancouver, ISO, and other styles
7

Nechval, N. A., and K. N. Nechval. "Efficient Planning." In Mathematical Concepts and Applications in Mechanical Engineering and Mechatronics. IGI Global, 2017. http://dx.doi.org/10.4018/978-1-5225-1639-2.ch016.

Full text
Abstract:
The main aim of this chapter is to present more accurate stochastic fatigue models for solving the fatigue reliability problems, which are attractively simple and easy to apply in practice for situations where it is difficult to quantify the costs associated with inspections and undetected cracks. From an engineering standpoint the fatigue life of a structure consists of two periods: (i) crack initiation period, which starts with the first load cycle and ends when a technically detectable crack is presented, and (ii) crack propagation period, which starts with a technically detectable crack and ends when the remaining cross section can no longer withstand the loads applied and fails statically. Periodic inspections of aircraft, which are common practice in order to maintain their reliability above a desired minimum level, are based on the conditional reliability of the fatigued structure. During the period of crack initiation, when the parameters of the underlying lifetime distributions are not assumed to be known, for efficient in-service inspection planning (with decreasing intervals as alternative to constant intervals often used in practice for convenience in operation), the pivotal quantity averaging (PQA) approach is offered. During the period of crack propagation (when the damage tolerance situation is used), the approach, based on an innovative crack growth equation, to efficient in-service inspection planning (with decreasing intervals between sequential inspections) is proposed to construct more accurate reliability-based inspection strategy in this case. To illustrate the suggested approaches, numerical examples are given.
APA, Harvard, Vancouver, ISO, and other styles
8

McNamara, John M., and Olof Leimar. "Interaction, Negotiation, and Learning." In Game Theory in Biology. Oxford University Press, 2020. http://dx.doi.org/10.1093/oso/9780198815778.003.0008.

Full text
Abstract:
Many social interactions are extended over time, with sequences of decisions by the participating individuals. An interaction can include negotiation between partners as well as learning about each other’s characteristics and qualities. The classical game-theoretical concepts of normal- and extensive-form games and perfect and Stackelberg equilibria are described. A model of the negotiation by parents over investments into their joint offspring is presented and discussed, emphasizing the difference between the game with and without time structure. A version of this model where individuals do not negotiate their investments but instead learn about their respective capacities to invest is presented. For this model a cognitive bias can evolve, such that individuals behave as if they overestimate their true cost of investing. The evolution of social dominance behaviour and social hierarchies is then studied, using actor–critic learning with observations of relative fighting ability and individual recognition. A strong effect of social group size on social dominance is one of the results from the analysis. Pairwise contests are then modelled, both using actor–critic learning and as a sequential assessment game, which is shown to correspond to a neural random walk. The chapter ends with a broad discussion of the successes and challenges of games with time structure. Reasons to incorporate behavioural mechanisms into game theory models, using a large-worlds perspective, are presented.
APA, Harvard, Vancouver, ISO, and other styles
9

Sikorski, Marcin. "Evolution of End User Participation in IT Projects." In Advances in Business Information Systems and Analytics. IGI Global, 2014. http://dx.doi.org/10.4018/978-1-4666-4313-0.ch004.

Full text
Abstract:
This chapter is aimed at presenting a review of evolutionary design paradigms, which determine the end user’s role in IT (Information Technology) projects across recent decades. This review covers different perspectives starting from technology-oriented sequential software development lifecycles, through user-centred approaches, ending finally in contemporary service design approaches supported by e-business and social media. Finally, the chapter discusses the need for “soft skills” required from the designers who wish to apply the service-relevant perspective to their IT projects. Conclusions cover novelty aspects of the designer-user interaction in service-relevant design paradigms and the impact of new design paradigms on human creativity and innovation.
APA, Harvard, Vancouver, ISO, and other styles
10

Dustdar, Schahram, Philipp Leitner, Franco Maria Nardini, Fabrizio Silvestri, and Gabriele Tolomei. "Mining Lifecycle Event Logs for Enhancing Service-Based Applications." In Data Mining. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-2455-9.ch033.

Full text
Abstract:
Service-Oriented Architectures (SOAs), and traditional enterprise systems in general, record a variety of events (e.g., messages being sent and received between service components) to proper log files, i.e., event logs. These files constitute a huge and valuable source of knowledge that may be extracted through data mining techniques. To this end, process mining is increasingly gaining interest across the SOA community. The goal of process mining is to build models without a priori knowledge, i.e., to discover structured process models derived from specific patterns that are present in actual traces of service executions recorded in event logs. However, in this work, the authors focus on detecting frequent sequential patterns, thus considering process mining as a specific instance of the more general sequential pattern mining problem. Furthermore, they apply two sequential pattern mining algorithms to a real event log provided by the Vienna Runtime Environment for Service-oriented Computing, i.e., VRESCo. The obtained results show that the authors are able to find services that are frequently invoked together within the same sequence. Such knowledge could be useful at design-time, when service-based application developers could be provided with service recommendation tools that are able to predict and thus to suggest next services that should be included in the current service composition.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Sequential ends"

1

Abd El-Aziz, Khalid M., and Sayed M. Metwalli. "Optimum Design of Pressure Vessels Using Hybrid HGP and Genetic Algorithm." In ASME 2017 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/pvp2017-65538.

Full text
Abstract:
This paper presents research work about the design and optimization of pressure vessels using Hybrid Heuristic Gradient Projection (HGP), Sequential Quadratic Programming (SQP) and Genetic Algorithms (GA). The design is concerned with the pressure loading conditions, intended internal utility volume, geometrical dimensions and the induced stresses. Cylindrical pressure vessels with hemispherical ends are considered. They are required to hold a definite volume under a specific pressure. The thicknesses of each hemispherical part and the cylindrical part satisfy the recommended ASME code. The design also satisfies allowable stress constraints. The design multi-objectives are to generate the optimum geometry to satisfy required specifications, performance and cost requirements. A developed HGP, SQP and GA algorithms are utilized to perform the optimization. The efficiency of the procedure is indicated and the optimum results in the form of optimum design charts are presented.
APA, Harvard, Vancouver, ISO, and other styles
2

Botros, K. K., C. Edwards, B. Watson, and T. Thrall. "Effects of Pipeline Elevation Changes on Optimum Expelling Procedures for Gas Pipelines." In 2016 11th International Pipeline Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/ipc2016-64012.

Full text
Abstract:
Expeller performance has been evaluated in terms of the capability to create suction pressure at the throat. This formulation has been used to assess the effectiveness of evacuating combustible gases from an isolated, depressurized, pipeline section involving mainline block valves up to two times normal spacing with an intermediate vent stack. Additionally, the effects of elevation changes that promote buoyancy driven flows are accounted for in time as the interface between air and gas travels along the pipeline section during expelling. Two expelling strategies were introduced and assessed. These are simultaneous expelling, in which gas is expelled from the pipeline section from both ends, and sequential expelling, in which an intermediate vent stack is used to expel gas from the upstream and downstream segments. The effects of elevation changes and the location of the intermediate vent stack determine the best strategy for expelling so as to maximize the purge velocity in the section of a pipeline to be purged, while maintaining the mean flow velocity in the pipe above the minimum purge velocity to prevent air-gas stratification. It was found that for a ‘Flat-’ or a ‘Cusp-type’ elevation profile it is advantageous to follow a sequential expelling procedure using one expeller at the intermediate vent stack location. In the case of a ‘Vee-type’ elevation profile, a simultaneous expelling procedure is a better option in terms of expelling time, at the cost of needing to deploy two expellers to different sites quite far apart. Air ingress location depends on the expelling strategy and elevation profile.
APA, Harvard, Vancouver, ISO, and other styles
3

Liu, Hui, Zhan Shi, Jia-Chen Gu, Quan Liu, Si Wei, and Xiaodan Zhu. "End-to-End Transition-Based Online Dialogue Disentanglement." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/535.

Full text
Abstract:
Dialogue disentanglement aims to separate intermingled messages into detached sessions. The existing research focuses on two-step architectures, in which a model first retrieves the relationships between two messages and then divides the message stream into separate clusters. Almost all existing work puts significant efforts on selecting features for message-pair classification and clustering, while ignoring the semantic coherence within each session. In this paper, we introduce the first end-to- end transition-based model for online dialogue disentanglement. Our model captures the sequential information of each session as the online algorithm proceeds on processing a dialogue. The coherence in a session is hence modeled when messages are sequentially added into their best-matching sessions. Meanwhile, the research field still lacks data for studying end-to-end dialogue disentanglement, so we construct a large-scale dataset by extracting coherent dialogues from online movie scripts. We evaluate our model on both the dataset we developed and the publicly available Ubuntu IRC dataset [Kummerfeld et al., 2019]. The results show that our model significantly outperforms the existing algorithms. Further experiments demonstrate that our model better captures the sequential semantics and obtains more coherent disentangled sessions.
APA, Harvard, Vancouver, ISO, and other styles
4

Singh, Abhayendra, Satish Narayanasamy, Daniel Marino, Todd Millstein, and Madanlal Musuvathi. "End-to-end sequential consistency." In 2012 ACM/IEEE 39th International Symposium on Computer Architecture (ISCA). IEEE, 2012. http://dx.doi.org/10.1109/isca.2012.6237045.

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

Battaglia, Fabio, Raphael Mandel, Amir Shooshtari, and Michael M. Ohadi. "A Porous Medium Approach for Single-Phase Flow and Heat Transfer Modeling in Manifold Microchannel Heat Exchangers." In ASME 2020 International Technical Conference and Exhibition on Packaging and Integration of Electronic and Photonic Microsystems. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/ipack2020-2564.

Full text
Abstract:
Abstract Manifold Microchannels have been proven to enhance thermal management in different fields, such as electronic cooling, dry cooling, and high temperature heat exchangers. Manifold-microchannels use a system of manifolds to divide a microgrooved surface into a system of manifolds, thereby reducing pressure drop and increasing heat transfer by utilizing the developing flow regime. Because of this, design of a manifold-microchannel heat exchanger requires the design of the manifold and microchannel. In some situations, a sequential design approach, where one first designs the microchannel and then the manifold — is sufficient to meet the requirements of the problem statements. The more demanding requirements of contemporary applications require manifold microchannel design to evolve and become more complex. In particular, reducing the volume and pitch of the manifold has become necessary. Reducing the volume of the manifold results in a higher flow maldistribution, and the ability to predict how maldistribution affects heat transfer rate is critical. Similarly, reducing the pitch of the manifold increases the effect of axial conduction in the solid, and understanding the effect on heat transfer is important. To those ends, this work shows a porous medium approach for single-phase flow in manifold microchannel, which allows to predict pressure drop, maldistribution, axial conduction, and heat transfer rate with a much smaller computational demand when compared to a full 3D simulation, while guaranteeing very similar results.
APA, Harvard, Vancouver, ISO, and other styles
6

Mao, Rui, Chenghua Lin, and Frank Guerin. "End-to-End Sequential Metaphor Identification Inspired by Linguistic Theories." In Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, 2019. http://dx.doi.org/10.18653/v1/p19-1378.

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

Chen, Wanyu, Pengjie Ren, Fei Cai, Fei Sun, and Maarten de Rijke. "Improving End-to-End Sequential Recommendations with Intent-aware Diversification." In CIKM '20: The 29th ACM International Conference on Information and Knowledge Management. ACM, 2020. http://dx.doi.org/10.1145/3340531.3411897.

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

Chen, Qian, and Wen Wang. "Sequential Matching Model for End-to-end Multi-turn Response Selection." In ICASSP 2019 - 2019 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, 2019. http://dx.doi.org/10.1109/icassp.2019.8682538.

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

Chen, Jianyu, Zhuo Xu, and Masayoshi Tomizuka. "End-to-end Autonomous Driving Perception with Sequential Latent Representation Learning." In 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, 2020. http://dx.doi.org/10.1109/iros45743.2020.9341020.

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

Cao, Yiran, Nihal Potdar, and Anderson R. Avila. "Sequential End-to-End Intent and Slot Label Classification and Localization." In Interspeech 2021. ISCA, 2021. http://dx.doi.org/10.21437/interspeech.2021-1569.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Sequential ends' for particular source types:
Journal articles
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