Log in

Relevant bibliographies by topics / Unfolding / Journal articles

To see the other types of publications on this topic, follow the link: Unfolding.

Journal articles on the topic 'Unfolding'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Unfolding.'

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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

PUEBLA, GERMÁN, ELVIRA ALBERT, and MANUEL HERMENEGILDO. "Efficient local unfolding with ancestor stacks." Theory and Practice of Logic Programming 11, no. 1 (2010): 1–32. http://dx.doi.org/10.1017/s1471068409990263.

Full text

Abstract:

AbstractThe most successful unfolding rules used nowadays in the partial evaluation of logic programs are based on well quasi orders (wqo) applied over (covering) ancestors, i.e., a subsequence of the atoms selected during a derivation. Ancestor (sub)sequences are used to increase the specialization power of unfolding while still guaranteeing termination and also to reduce the number of atoms for which the wqo has to be checked. Unfortunately, maintaining the structure of the ancestor relation during unfolding introduces significant overhead. We propose an efficient, practical local unfolding

APA, Harvard, Vancouver, ISO, and other styles

2

Würdemann, Nick, Thomas Chatain, Stefan Haar, and Lukas Panneke. "Taking Complete Finite Prefixes To High Level, Symbolically*." Fundamenta Informaticae 192, no. 3-4 (2024): 313–61. http://dx.doi.org/10.3233/fi-242196.

Full text

Abstract:

Unfoldings are a well known partial-order semantics of P/T Petri nets that can be applied to various model checking or verification problems. For high-level Petri nets, the so-called symbolic unfolding generalizes this notion. A complete finite prefix of a P/T Petri net’s unfolding contains all information to verify, e.g., reachability of markings. We unite these two concepts and define complete finite prefixes of the symbolic unfolding of high-level Petri nets. For a class of safe high-level Petri nets, we generalize the well-known algorithm by Esparza et al. for constructing small such prefi

APA, Harvard, Vancouver, ISO, and other styles

3

Seelig, Joachim, and Anna Seelig. "Protein Unfolding—Thermodynamic Perspectives and Unfolding Models." International Journal of Molecular Sciences 24, no. 6 (2023): 5457. http://dx.doi.org/10.3390/ijms24065457.

Full text

Abstract:

We review the key steps leading to an improved analysis of thermal protein unfolding. Thermal unfolding is a dynamic cooperative process with many short-lived intermediates. Protein unfolding has been measured by various spectroscopic techniques that reveal structural changes, and by differential scanning calorimetry (DSC) that provides the heat capacity change Cp(T). The corresponding temperature profiles of enthalpy ΔH(T), entropy ΔS(T), and free energy ΔG(T) have thus far been evaluated using a chemical equilibrium two-state model. Taking a different approach, we demonstrated that the tempe

APA, Harvard, Vancouver, ISO, and other styles

4

Lari-Lavassani, Ali, and Yung-Chen Lu. "The Stability Theorems for Subgroups of and." Canadian Journal of Mathematics 46, no. 5 (1994): 995–1006. http://dx.doi.org/10.4153/cjm-1994-057-3.

Full text

Abstract:

AbstractIn singularity theory, J. Damon gave elegant versions of the unfolding and determinacy theorems for geometric subgroups of . and . In this work, we propose a unified treatment of the smooth stability of germs and the structural stability of versai unfoldings for a large class of such subgroups.

APA, Harvard, Vancouver, ISO, and other styles

5

Rouabah, Younes, and Zhiwu Li. "The Unfolding: Origins, Techniques, and Applications within Discrete Event Systems." Mathematics 11, no. 1 (2022): 47. http://dx.doi.org/10.3390/math11010047.

Full text

Abstract:

This article aims to provide a perspective on the foundations and developments of the net unfolding techniques and their applications to discrete event systems. The numerous methods applied to concurrency presented in the literature can be roughly divided into two classes: those that assume concurrency can be represented by means of a non-deterministic form, and those that represent concurrency by means of causal relations. This study serves as an ideal starting point for researchers interested in true concurrency semantics by offering a concise literature review of one of the major streams of

APA, Harvard, Vancouver, ISO, and other styles

6

Benbouzid, Bilel. "Unfolding Algorithms." Science & Technology Studies 32, no. 4 (2019): 119–36. http://dx.doi.org/10.23987/sts.66156.

Full text

Abstract:

Predictive policing is a research field whose principal aim is to develop machines for predicting crimes, drawing on machine learning algorithms and the growing availability of a diversity of data. This paper deals with the case of the algorithm of PredPol, the best-known startup in predictive policing. The mathematicians behind it took their inspiration from an algorithm created by a French seismologist, a professor in earth sciences at the University of Savoie. As the source code of the PredPol platform is kept inaccessible as a trade secret, the author contacted the seismologist directly in

APA, Harvard, Vancouver, ISO, and other styles

7

Hunt, Philip. "Unfolding crisis." Nursing Standard 10, no. 23 (1996): 19. http://dx.doi.org/10.7748/ns.10.23.19.s33.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Cantinho, Beatriz, and Túlio Rosa. "Unfolding Images." Performance Research 26, no. 4 (2021): 32–36. http://dx.doi.org/10.1080/13528165.2021.2005946.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Pàmies, Pep. "Rapid unfolding." Nature Materials 12, no. 12 (2013): 1080. http://dx.doi.org/10.1038/nmat3834.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Wares, Arsalan, and Iwan Elstak. "Geometry unfolding." International Journal of Mathematical Education in Science and Technology 45, no. 4 (2013): 589–95. http://dx.doi.org/10.1080/0020739x.2013.851802.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Flannery, Maura C. "Unfolding Proteins." American Biology Teacher 74, no. 4 (2012): 278–81. http://dx.doi.org/10.1525/abt.2012.74.4.13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Matzke, M. "Unfolding procedures." Radiation Protection Dosimetry 107, no. 1-3 (2003): 155–74. http://dx.doi.org/10.1093/oxfordjournals.rpd.a006384.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Murphy, Jay. "Unfolding Complexity." Afterimage 38, no. 6 (2011): 38–39. http://dx.doi.org/10.1525/aft.2011.38.6.38.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Golden, Jeffrey A., and Brian N. Harding. "Unfolding polymicrogyria." Nature Reviews Neurology 6, no. 9 (2010): 471–72. http://dx.doi.org/10.1038/nrneurol.2010.118.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Moskowitz, Clara. "Life Unfolding." Scientific American 310, no. 4 (2014): 86. http://dx.doi.org/10.1038/scientificamerican0414-86d.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Solnica-Krezel, L. "Unfolding gastrulation." Development 131, no. 23 (2004): 5767–69. http://dx.doi.org/10.1242/dev.01518.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Ronan, L. K. "Unfolding humility." Neurology 83, no. 15 (2014): 1366–68. http://dx.doi.org/10.1212/wnl.0000000000000899.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Pinto, Megan. "The Unfolding." Ploughshares 45, no. 4 (2020): 109. http://dx.doi.org/10.1353/plo.2020.0047.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Neff, Ellen P. "Unfolding neurodegeneration." Lab Animal 48, no. 11 (2019): 331. http://dx.doi.org/10.1038/s41684-019-0434-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Moore, Andrew. "Unfolding evolution." BioEssays 31, no. 7 (2009): 692–93. http://dx.doi.org/10.1002/bies.200900076.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Jamna, Lal Menaria Lunawat. "Unfolding Bitcoin." Journal of Scientific and Engineering Research 9, no. 2 (2022): 79–81. https://doi.org/10.5281/zenodo.10510918.

Full text

Abstract:

<strong>Abstract </strong>In the wake of increasing disturbance in different parts of the world there has been an increase in the adoption of virtual currencies and ensuing volatility in its prices. The paper discusses one such virtual currency, bitcoin. The paper highlights the advantages and issues with the usage of bitcoin. Due to the scant literature available on bitcoin, the paper presents various avenues of future research in this area.

APA, Harvard, Vancouver, ISO, and other styles

22

Yagawa, Keisuke, Koji Yamano, Takaomi Oguro, et al. "Structural basis for unfolding pathway-dependent stability of proteins: Vectorial unfolding versus global unfolding." Protein Science 19, no. 4 (2010): 693–702. http://dx.doi.org/10.1002/pro.346.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

MESEGUER, JOSÉ, UGO MONTANARI, and VLADIMIRO SASSONE. "On the semantics of place/transition Petri nets." Mathematical Structures in Computer Science 7, no. 4 (1997): 359–97. http://dx.doi.org/10.1017/s0960129597002314.

Full text

Abstract:

Place/transition (PT) Petri nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the ‘token game’ is too intensional, even in its more abstract interpretations in terms of nonsequential processes and monoidal categories; on the other hand, Winskel's basic unfolding construction, which provides a coreflection between nets and finitary prime algebraic domains, works only for safe nets. In this paper we extend Winskel's result to PT nets. We start with a rather general category PTNets of PT nets, we introduce

APA, Harvard, Vancouver, ISO, and other styles

24

DIMINNIE, DAVID C., and RICHARD HABERMAN. "ACTION AND PERIOD OF HOMOCLINIC AND PERIODIC ORBITS FOR THE UNFOLDING OF A SADDLE-CENTER BIFURCATION." International Journal of Bifurcation and Chaos 13, no. 11 (2003): 3519–30. http://dx.doi.org/10.1142/s0218127403008569.

Full text

Abstract:

At a saddle-center bifurcation for Hamiltonian systems, the homoclinic orbit is cusp shaped at the nonlinear nonhyperbolic saddle point. Near but before the bifurcation, orbits are periodic corresponding to the unfolding of the homoclinic orbit, while after the bifurcation a double homoclinic orbit is formed with a local and global branch. The saddle-center bifurcation is dynamically unfolded due to a slowly varying potential. Near the unfolding of the homoclinic orbit, the period and action are analyzed. Asymptotic expansions for the action, period and dissipation are obtained in an overlap r

APA, Harvard, Vancouver, ISO, and other styles

25

De Tommasi, D., N. Millardi, G. Puglisi, and G. Saccomandi. "An energetic model for macromolecules unfolding in stretching experiments." Journal of The Royal Society Interface 10, no. 88 (2013): 20130651. http://dx.doi.org/10.1098/rsif.2013.0651.

Full text

Abstract:

We propose a simple approach, based on the minimization of the total (entropic plus unfolding) energy of a two-state system, to describe the unfolding of multi-domain macromolecules (proteins, silks, polysaccharides, nanopolymers). The model is fully analytical and enlightens the role of the different energetic components regulating the unfolding evolution. As an explicit example, we compare the analytical results with a titin atomic force microscopy stretch-induced unfolding experiment showing the ability of the model to quantitatively reproduce the experimental behaviour. In the thermodynami

APA, Harvard, Vancouver, ISO, and other styles

26

Buchstaber, Victor Matveevich. "Kolmogorov widths, Grassmann manifolds and unfoldings of time series." Sbornik: Mathematics 216, no. 3 (2025): 314–32. https://doi.org/10.4213/sm10240e.

Full text

Abstract:

Problems in Kolmogorov's theory of widths and the theory of unfoldings of time series are considered. These theories are related by means of the theory of extremal problems on the Grassmann manifolds $G(n,q)$ of $q$-dimensional linear subspaces of $\mathbb R^n$. The necessary information on the manifolds $G(n,q)$ is provided. Using an unfolding of a time series, the concept of the $q$-width of this series is introduced, and the $q$-width of a time series is calculated in the case of the functional of component analysis of the nodes of the unfolding. Using the Schubert basis of a $q$-dimensiona

APA, Harvard, Vancouver, ISO, and other styles

27

Chen, Yunfeng, Lining Ju, Jizhong Lou, and Cheng Zhu. "Force-Induced Cooperative Unfolding of Two Distinctive Domains in a Single Gpibalpha Molecule." Blood 126, no. 23 (2015): 3449. http://dx.doi.org/10.1182/blood.v126.23.3449.3449.

Full text

Abstract:

Abstract GPIbα, a major member of the GPIb-IX-V complex, initiates a mechano-signaling pathway that leads to platelet intracellular calcium flux when binding to VWF at the A1 domain1. Exactly how this signal is transduced across the membrane is unknown. A recent work identifying the unfolding of a jextamembrane mechanosensitive domain (MSD) (Fig.1 A,C) suggested that this unfolding might play a role in the signal transduction of GPIbα2. Using molecular dynamics (MD) simulations to pull the GPIbα leucine-rich repeat domain (LRRD) from the VWF A1 domain, we observed unfolding of the LRRD (Fig.1

APA, Harvard, Vancouver, ISO, and other styles

28

Currier, Sarah Cox. "Unfolding a Problem." Teaching Children Mathematics 21, no. 8 (2015): 476–82. http://dx.doi.org/10.5951/teacchilmath.21.8.0476.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Abel, Jonathan E., and Joseph Jonghyun Jeon. "Unfolding Digital Asias." Verge: Studies in Global Asias 7, no. 2 (2021): vi—xxii. http://dx.doi.org/10.1353/vrg.2021.0011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Abbott, Steve, Hermann Bondi, and Miranda Weston-Smith. "The Universe Unfolding." Mathematical Gazette 82, no. 495 (1998): 540. http://dx.doi.org/10.2307/3619935.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Wyberg, Terry, Stephanie R. Whitney, Kathleen A. Cramer, Debra S. Monson, and Seth Leavitt. "Unfolding Fraction Multiplication." Mathematics Teaching in the Middle School 17, no. 5 (2011): 288–94. http://dx.doi.org/10.5951/mathteacmiddscho.17.5.0288.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Jermy, Andrew. "Unfolding antiviral defences." Nature Reviews Microbiology 7, no. 3 (2009): 177. http://dx.doi.org/10.1038/nrmicro2098.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Pastrana, Erika. "Unfolding to force." Nature Methods 11, no. 1 (2013): 6. http://dx.doi.org/10.1038/nmeth.2796.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Kim, Dae-Hyeong, and Youngsik Lee. "Injection and unfolding." Nature Nanotechnology 10, no. 7 (2015): 570–71. http://dx.doi.org/10.1038/nnano.2015.129.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Kauzmann, Walter. "Thermodynamics of unfolding." Nature 325, no. 6107 (1987): 763–64. http://dx.doi.org/10.1038/325763a0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Lalazar, Gadi, Victoria Doviner, and Eldad Ben-Chetrit. "Unfolding the Diagnosis." New England Journal of Medicine 370, no. 14 (2014): 1344–48. http://dx.doi.org/10.1056/nejmcps1300859.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Cockerill, Steve K. "Unfolding systemic ideas." Executive Development 8, no. 4 (1995): 4–8. http://dx.doi.org/10.1108/09533239510089490.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Zhuo, Y. "Unfolding Literature's Veil." NOVEL A Forum on Fiction 46, no. 1 (2013): 158–61. http://dx.doi.org/10.1215/00295132-2019200.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Aguilar, Andrea. "Unfolding osmotic demyelination." Nature Reviews Nephrology 13, no. 4 (2017): 192. http://dx.doi.org/10.1038/nrneph.2017.15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Kuhl, Ellen. "Unfolding the brain." Nature Physics 12, no. 6 (2016): 533–34. http://dx.doi.org/10.1038/nphys3641.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Creighton, T. E. "Unfolding protein folding." Nature 352, no. 6330 (1991): 17–18. http://dx.doi.org/10.1038/352017a0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Dias, C. L., and M. Grant. "Unfolding designable structures." European Physical Journal B 50, no. 1-2 (2006): 265–69. http://dx.doi.org/10.1140/epjb/e2006-00036-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Somhegyi, Zoltán. "Unfolding the Baroque." Journal of Aesthetics and Phenomenology 6, no. 1 (2018): 89–93. http://dx.doi.org/10.1080/20539320.2018.1557448.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Treviño-Palacios, Carlos Gerardo. "Unfolding wrapped phase." Optical Engineering 54, no. 11 (2015): 110503. http://dx.doi.org/10.1117/1.oe.54.11.110503.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Hoyas, Sergio, Ricardo Vinuesa, Martin Oberlack, Pedro Fernández de Córdoba, Jose María Isidro, and María Jezabel Pérez-Quiles. "Unfolding wall turbulence." Results in Engineering 24 (December 2024): 103181. http://dx.doi.org/10.1016/j.rineng.2024.103181.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Lemer, A., and G. Riccardi. "Unfolding cylindrical sonar." Journal of the Acoustical Society of America 98, no. 3 (1995): 1256. http://dx.doi.org/10.1121/1.413535.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

MEJDAHL, JANE, and RENE LUNDGAARD KRISTENSEN. "Unfolding the Unspoken." Ethnographic Praxis in Industry Conference Proceedings 2010, no. 1 (2010): 328. http://dx.doi.org/10.1111/j.1559-8918.2010.00050.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

HEYLIN, MICHAEL. "The unfolding story." Chemical & Engineering News 63, no. 6 (1985): 3. http://dx.doi.org/10.1021/cen-v063n006.p003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Capaldi, Andrew P., and Sheena E. Radford. "An unfolding story." Trends in Biochemical Sciences 26, no. 12 (2001): 753. http://dx.doi.org/10.1016/s0968-0004(01)02025-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

FEFERMAN, SOLOMON, and THOMAS STRAHM. "UNFOLDING FINITIST ARITHMETIC." Review of Symbolic Logic 3, no. 4 (2010): 665–89. http://dx.doi.org/10.1017/s1755020310000183.

Full text

Abstract:

The concept of the (full) unfolding $\user1{{\cal U}}(S)$ of a schematic system $S$ is used to answer the following question: Which operations and predicates, and which principles concerning them, ought to be accepted if one has accepted $S$? The program to determine $\user1{{\cal U}}(S)$ for various systems $S$ of foundational significance was previously carried out for a system of nonfinitist arithmetic, $NFA$; it was shown that $\user1{{\cal U}}(NFA)$ is proof-theoretically equivalent to predicative analysis. In the present paper we work out the unfolding notions for a basic schematic syste

APA, Harvard, Vancouver, ISO, and other styles

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!