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: 9 March 2023

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 (January 18, 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 rule based on the notion of covering ancestors which can be used in combination with a wqo and allows a stack-based implementation without losing any opportunities for specialization. Using our technique, certain nonleftmost unfoldings are allowed as long as local unfolding is performed, i.e., we cover depth-first strategies. To deal with practical programs, we propose assertion-based techniques which allow our approach to treat programs that include (Prolog) built-ins and external predicates in a very extensible manner, for the case of leftmost unfolding. Finally, we report on our implementation of these techniques embedded in a practical partial evaluator, which shows that our techniques, in addition to dealing with practical programs, are also significantly more efficient in time and somewhat more efficient in memory than traditional tree-based implementations.

APA, Harvard, Vancouver, ISO, and other styles

2

Lari-Lavassani, Ali, and Yung-Chen Lu. "The Stability Theorems for Subgroups of and." Canadian Journal of Mathematics 46, no. 5 (October 1, 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

3

Rouabah, Younes, and Zhiwu Li. "The Unfolding: Origins, Techniques, and Applications within Discrete Event Systems." Mathematics 11, no. 1 (December 23, 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 research towards concurrency and interleaving problems. In order to cope with the state-explosion problem, the unfolding approach is used. Based on the findings of concurrency theory, interleaving semantics are replaced with a unique partially ordered occurrence net. In this paper, we aim to provide a comprehensive review on the history of net unfoldings, the methods that are based on these unfoldings, and how they are used in discrete event systems for automatic verification and compact representations purposes.

APA, Harvard, Vancouver, ISO, and other styles

4

Benbouzid, Bilel. "Unfolding Algorithms." Science & Technology Studies 32, no. 4 (December 13, 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 order to try to understand the predictions of the company’s algorithm. Using the same method of calculation on the same data, the seismologist arrived at a different, more cautious interpretation of the algorithm's capacity to predict crime. How were these predictive analyses formed on the two sides of the Atlantic? How do predictive algorithms come to exist differently in these different contexts? How and why is it that predictive machines can foretell a crime that is yet to be committed in a California laboratory, and yet no longer work in another laboratory in Chambéry? In answering these questions, I found that machine learning researchers have a moral vision of their own activity that can be understood by analyzing the values and material consequences involved in the evaluation tests that are used to create the predictions.

APA, Harvard, Vancouver, ISO, and other styles

5

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

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

17

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Yagawa, Keisuke, Koji Yamano, Takaomi Oguro, Masahiro Maeda, Takehiro Sato, Takaki Momose, Shin Kawano, and Toshiya Endo. "Structural basis for unfolding pathway-dependent stability of proteins: Vectorial unfolding versus global unfolding." Protein Science 19, no. 4 (January 21, 2010): 693–702. http://dx.doi.org/10.1002/pro.346.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

MESEGUER, JOSÉ, UGO MONTANARI, and VLADIMIRO SASSONE. "On the semantics of place/transition Petri nets." Mathematical Structures in Computer Science 7, no. 4 (August 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 a category DecOcc of decorated (nondeterministic) occurrence nets and we define adjunctions between PTNets and DecOcc and between DecOcc and Occ, the category of occurrence nets. The role of DecOcc is to provide natural unfoldings for PT nets, i.e., acyclic safe nets where a notion of family is used to relate multiple instances of the same place. The unfolding functor from PTNets to Occ reduces to Winskel's when restricted to safe nets. Moreover, the standard coreflection between Occ and Dom, the category of finitary prime algebraic domains, when composed with the unfolding functor above, determines a chain of adjunctions between PTNets and Dom.

APA, Harvard, Vancouver, ISO, and other styles

21

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 (November 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 region near the homoclinic orbit of the saddle-center bifurcation. In addition, the unfoldings of the action and dissipation functions associated with zero energy orbits (periodic and homoclinic) near the saddle-center bifurcation are determined using the method of matched asymptotic expansions for integrals.

APA, Harvard, Vancouver, ISO, and other styles

22

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

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 (December 2011): 288–94. http://dx.doi.org/10.5951/mathteacmiddscho.17.5.0288.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

FEFERMAN, SOLOMON, and THOMAS STRAHM. "UNFOLDING FINITIST ARITHMETIC." Review of Symbolic Logic 3, no. 4 (August 11, 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 system of finitist arithmetic, $FA$, and for an extension of that by a form $BR$ of the so-called Bar Rule. It is shown that $\user1{{\cal U}}(FA)$ and $\user1{{\cal U}}(FA + BR)$ are proof-theoretically equivalent, respectively, to Primitive Recursive Arithmetic, $PRA$, and to Peano Arithmetic, $PA$.

APA, Harvard, Vancouver, ISO, and other styles

44

Damian, Mirela, Robin Flatland, and Joseph O'Rourke. "Unfolding Manhattan Towers." Computational Geometry 40, no. 2 (July 2008): 102–14. http://dx.doi.org/10.1016/j.comgeo.2007.07.003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Coffman, Adam. "Unfolding CR Singularities." Memoirs of the American Mathematical Society 205, no. 962 (2010): 0. http://dx.doi.org/10.1090/s0065-9266-09-00575-4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Baldwin, Robert L. "Competing unfolding pathways." Nature Structural Biology 4, no. 12 (December 1997): 965–66. http://dx.doi.org/10.1038/nsb1297-965.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Vinson, Valda. "Signaling by Unfolding." Science 339, no. 6119 (January 31, 2013): 490.2–490. http://dx.doi.org/10.1126/science.339.6119.490-b.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Leslie, Mitch. "Unfolding chromatin nets." Journal of Cell Biology 184, no. 2 (January 19, 2009): 187. http://dx.doi.org/10.1083/jcb.1842iti4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Aakko, Maarit. "Unfolding Artisanal Fashion." Fashion Theory 23, no. 4-5 (January 10, 2018): 531–52. http://dx.doi.org/10.1080/1362704x.2017.1421297.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Reese, Cynthia E. "Unfolding Case Studies." Journal of Continuing Education in Nursing 42, no. 8 (August 1, 2011): 344–45. http://dx.doi.org/10.3928/00220124-20110722-04.

Full text

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!