Статті в журналах з теми "Trace"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Trace.

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Trace".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Bousquet, Magalie. "Trace/traces." Empan 125, no. 1 (March 10, 2022): 116–17. http://dx.doi.org/10.3917/empa.125.0116.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
2

Hassan, Muhammad, Adithi D. Chakravarthy, Mahadevan Subramaniam, Parvathi Chundi, Mohammad Ali Sadiq, Muhammad Sohail Halim, Rubbia Afridi, et al. "Correction of perceived visual distortions using a software application and correlation to age-related macular degeneration." Therapeutic Advances in Ophthalmology 12 (January 2020): 251584142091778. http://dx.doi.org/10.1177/2515841420917783.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Purpose: To investigate the use of software-generated corrections in neutralizing perceived distortions in age-related macular degeneration. Methods: A tablet-based application was utilized to elicit distortions. Five subjects (seven eyes: neovascular age-related macular degeneration and three eyes: non-neovascular age-related macular degeneration) traced the reference lines, and their distortion traces were recorded. To counter distortion, a software-generated trace was re-traced by subjects to produce a corrected trace. Final traces were superimposed on optical coherence tomography images and following distances calculated: (a) dDT: distance between distortion trace and reference line; (b) dGT: distance between software-generated trace and corrected trace; (c) dCT: distance between corrected trace and reference line. Mean percent improvement in distortion was reported. Mean effectiveness of correction was also reported by utilizing t test to compare dDT and dCT. The number of distortion traces with underlying lesions on optical coherence tomography was also analyzed. Results: Mean age of the subjects was 76.6 (±9.5) years. Each patient traced six reference lines and each was considered a separate case. Out of 30 cases, 17 (56.6%) elicited distortion. Mean percent improvement in distortion was 71.3 ± 23% ( p < 0.05). Twelve cases (70.6%) had an underlying lesion (eight cases: disrupted photoreceptor layer and four cases: normal photoreceptor layer). Mean percent improvement in cases with normal photoreceptor layer (90.8 ± 5.45%) was higher than with abnormal photoreceptor layer (58.5 ± 7.17%) ( p < 0.05). Five cases with distortion had no associated underlying lesion. Mean percent improvement in these subjects was significantly higher than those with photoreceptor layer disruption. Conclusion: Software-generated corrections can potentially correct for perceived distortions in patients with age-related macular degeneration, especially in cases with preserved photoreceptor layer.
3

Wertheimer, Albert I. "Welcome track and trace." Journal of Pharmaceutical Health Services Research 7, no. 4 (November 11, 2016): 207–8. http://dx.doi.org/10.1111/jphs.12158.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
4

Guerra, Maria Filomena, and Thomas Calligaro. "Gold traces to trace gold." Journal of Archaeological Science 31, no. 9 (September 2004): 1199–208. http://dx.doi.org/10.1016/j.jas.2002.05.001.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
5

LANGEVINE, LUDOVIC, and MIREILLE DUCASSÉ. "Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs." Theory and Practice of Logic Programming 8, no. 5-6 (November 2008): 581–609. http://dx.doi.org/10.1017/s147106840800344x.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
AbstractTracers provide users with useful information about program executions. In this article, we propose a “tracer driver”. From a single tracer, it provides a powerful front-end enabling multiple dynamic analysis tools to be easily implemented, while limiting the overhead of the trace generation. The relevant execution events are specified by flexible event patterns and a large variety of trace data can be given either systematically or “on demand”. The proposed tracer driver has been designed in the context of constraint logic programming (CLP); experiments have been made within GNU-Prolog. Execution views provided by existing tools have been easily emulated with a negligible overhead. Experimental measures show that the flexibility and power of the described architecture lead to good performance. The tracer driver overhead is inversely proportional to the average time between two traced events. Whereas the principles of the tracer driver are independent of the traced programming language, it is best suited for high-level languages, such as CLP, where each traced execution event encompasses numerous low-level execution steps. Furthermore, CLP is especially hard to debug. The current environments do not provide all the useful dynamic analysis tools. They can significantly benefit from our tracer driver which enables dynamic analyses to be integrated at a very low cost.
6

Zhou, Yang, and Cyrille Artho. "TC4JPF." ACM SIGSOFT Software Engineering Notes 46, no. 3 (July 14, 2021): 42–46. http://dx.doi.org/10.1145/3468744.3468757.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Java Path nder (JPF) is a very versatile program analysis tool, but understanding the error traces it generates is challenging. Visualizing traces can facilitate their understanding. Earlier attempts to visualize traces have resulted in specialized tools that do not interoperate with other frameworks. We present TC4JPF, which builds on Eclipse Trace Compass and enables Trace Compass to visualize JPF traces. With TC4JPF, we leverage the scalability and capabilities of Trace Compass and provide the rst solution that visualizes JPF traces in a general-purpose trace visualization tool.
7

Vasiliev, Vasily, Tatyana Ermakova, Yuri Druzhinin, Ilya Afanasiev, and Vladimir Akatiev. "On Some Aspects of Detecting Traces of Human Skin on Porous Surfaces." NBI Technologies, no. 4 (December 2021): 41–48. http://dx.doi.org/10.15688/nbit.jvolsu.2021.4.6.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
During the study of fingerprint examination objects, the forensic expert selects methods and means with which he identifies and examines traces. Since most of the known forensics have an influence on the tracer substance, which in turn is multicomponent, the expert should clearly represent the mechanism of the ongoing processes in the tracer zone. In forensic work, methods and methods are widely described that allow you to work with the most common objects. Most of this information is organized in the form of practical recommendations. However, in the field of fingerprinting and research, theoretical questions regarding the detection of hand marks using chemical methods are still not clearly described. The article provides theoretical information regarding the laws of the mechanism of trace formation on porous (paper) objects, the mechanism of the chemical reaction of the interaction of ninhydrin and its structural analogues with the disturbed substance of the trace. It was concluded that when choosing methods for detecting latent traces of hands on porous objects, it is necessary to take into account not only the mechanisms of trace formation on porous (paper) objects, but also the mechanisms of the chemical reaction of the interaction of ninhydrin and its structural analogues with the trail disturbed substance.
8

Ivantsov, Andrey, Aleksey Nagovitsyn, and Maria Zakrevskaya. "Traces of Locomotion of Ediacaran Macroorganisms." Geosciences 9, no. 9 (September 11, 2019): 395. http://dx.doi.org/10.3390/geosciences9090395.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
We describe traces of macroorganisms in association with the body imprints of trace-producers from Ediacaran (Vendian) deposits of the southeastern White Sea region. They are interpreted as traces of locomotion and are not directly related to a food gathering. The complex remains belong to three species: Kimberella quadrata, Dickinsonia cf. menneri, and Tribrachidium heraldicum. They were found in three different burials. The traces have the form of narrow ridges or wide bands (grooves and linear depressions on natural imprints). In elongated Kimberella and Dickinsonia, the traces are stretched parallel to the longitudinal axis of the body and extend from its posterior end. In the case of the isometric Tribrachidium, the trace is directed away from the margin of the shield. A short length of the traces indicates that they were left by the organisms that were covered with the sediment just before their death. The traces overlaid the microbial mat with no clear signs of deformation under or around the traces. A trace substance, apparently, differed from the material of the bearing layers (i.e., a fine-grained sandstone or siltstone) and was not preserved on the imprints. This suggests that the traces were made with organic material, probably mucus, which was secreted by animals in a stressful situation. The mucus traced the movements of the organism before death. The discovered traces of locomotion are direct evidence of the ability of some Ediacaran macroorganisms to move independently.
9

Thompson, Cheryl A. "Track-and-trace technology slowly progresses." American Journal of Health-System Pharmacy 64, no. 23 (December 1, 2007): 2416–20. http://dx.doi.org/10.2146/news07070101.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
10

Dhib, Ridha. "Je suis tracé, donc je trace." Chimères 93, no. 3 (2017): 146. http://dx.doi.org/10.3917/chime.093.0146.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
11

Yang, Lei, Qian Chen, Jun Tian, and Dapeng Wu. "Robust track-and-trace video watermarking." Security and Communication Networks 5, no. 4 (March 30, 2011): 353–63. http://dx.doi.org/10.1002/sec.319.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
12

Nesterov, A. V., and K. K. Seitenov. "General Scientific Category of a Trace: Forensic Aspect." Theory and Practice of Forensic Science 15, no. 4 (December 27, 2020): 98–105. http://dx.doi.org/10.30764/1819-2785-2020-4-98-105.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The purpose of the research is to analyze the general scientific category of a trace as the fundamental one to formulate the modern legal category of a forensically relevant trace. The article provides a brief review of the views of scientists who have studied the properties of the general scientific category of a trace. The general scientific category of a trace is presented as a characteristic describing and explaining a trace’s properties. The author emphasizes the necessity to distinguish real and existing traces-signs from traces-ideas. The so-called ideal traces are analyzed. The article provides the classification of such traces. The classification recognizes the traces of memory as the traces of memorization, traces of storage and traces of recollection, and mental traces. It is suggested to pay attention to electronic data traces, virtual data traces, and digital data traces.
13

Hasiotis, S. T., and M. C. Bourke. "Continental trace fossils and museum exhibits: displaying organism behaviour frozen in time." Geological Curator 8, no. 5 (June 2006): 211–26. http://dx.doi.org/10.55468/gc366.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
This paper introduces continental trace fossils, and suggests ways in which modern and ancient traces can be used in museum exhibits. Burrows, tracks, trails, nests, borings, excrement and root patterns represent organism-substratum interactions of terrestrial and aquatic plants, invertebrates and vertebrates, and are preserved in the geologic record as continental trace fossils. Trace fossils are important because they are analogous to behaviour frozen in time and preserve information about organisms not recorded by body fossils. They can be used also as fossil evidence of organisms in the geologic record; an organism can make tens to millions of traces in a lifetime. Trace fossils represent hidden biodiversity; they preserve in situ evidence of food-web relations between fossorial, terrestrial and aquatic communities, and are useful for interpreting palaeoenvironmental, palaeohydrologic and palaeoclimatic settings. Public education on the importance of continental trace fossils to palaeontology and the study of Earth history can be accomplished with side-by-side displays of casts of modern traces and trace fossils, which represent homologs or analogues to modern behaviours. Such displays allow the public to see how scientists study and interpret the significance of trace fossils as behaviour. This kind of exhibit demonstrates also that modern organisms and their behaviours have an evolutionary history through deep geologic time as recorded by the record of body and trace fossils. Several examples of modern traces and ancient trace fossils presented here illustrate ways to produce museum exhibits to educate the public on continental trace fossils.
14

Wang, Yuchen, and Zhongyuan Ji. "Design and Implementation of Trace Inspection System Based upon Hyperspectral Imaging Technology." Computational Intelligence and Neuroscience 2022 (July 15, 2022): 1–13. http://dx.doi.org/10.1155/2022/9524190.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Trace inspection is a key technology for collecting crime scenes in the criminal investigation department. A lot of information can be obtained by restoring and analyzing the remaining traces on the scene. However, with the development of digital technology, digital trace inspection has become more and more popular. So, the main research of this article is the design and realization of the trace inspection system based on hyperspectral imaging technology. This article proposes nondestructive testing technology in hyperspectral imaging technology. Combining basic principles of spectroscopy and the image of residual traces such as car tires, shoe soles, and blood stains, it can identify the key traces. Then, based on the image denoising and least squares support vector machine method, this study improves the accuracy and restoration of the image. Therefore, this study designs a test for the trace inspection system for testing hyperspectral imaging technology. The test items include the performance of the trace inspection system, the noise reduction of the trace inspection system, and the ability of the trace inspection system to inspect blood stains. The final collected data are improved to get the trace inspection system based on hyperspectral imaging technology proposed in this study. Compared with the traditional trace inspection system, the experimental results show that the trace inspection system based on hyperspectral imaging technology can improve the accuracy by 5%–28%, compared with the traditional trace inspection system. The image restoration degree of the hyperspectral imaging technology trace inspection system can be improved by 1%–19%, compared with the traditional trace inspection system.
15

Martinson, Douglas G., and John R. Hopper. "Nonlinear seismic trace interpolation." GEOPHYSICS 57, no. 1 (January 1992): 136–45. http://dx.doi.org/10.1190/1.1443177.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The nonlinear correlation technique has been used to guide a seismic trace interpolant to fill gaps in seismic surveys, replace noisy traces, and produce evenly spaced arrays. Given an initial alignment (NMO correction for prestack data and manually inserted correlation lines for post‐stack data), the correlation aligns corresponding features between adjacent seismic traces and quantifies the traveltime difference between the traces on a point‐for‐point basis. This information is used to construct synthetic (interpolated) traces, at any arbitrary distance between the correlated traces, which preserve dip and amplitude changes of the individual reflectors, assuming that such dip and amplitude changes occur linearly (or some other specified functional form) between the correlated traces. The technique is applied to a 48-channel, NMO corrected, CDP gather and to a stacked seismic section to demonstrate its use, sensitivities, and limitations in processing and geologic interpretation studies. Traces synthesized in the CDP gather filling an artificial gap 0.85 km wide reproduce the true traces from the gap with good fidelity (correlation coefficients between the synthetic and real traces average ≳0.85). In another example, ∼85 percent of the variance of the original 48-channel CDP gather is recovered through interpolation by using only 16 channels. A stacked section, with true trace spacing of 25 m, was decimated to 100 m trace spacing, then interpolated to restore the original 25 m spacing. The interpolated traces reproduce the real traces with correlations of ⩾0.95, thus recovering ⩾90 percent of the variance of the original section.
16

BONCHI, F., M. BONSANGUE, G. CALTAIS, J. RUTTEN, and A. SILVA. "A coalgebraic view on decorated traces." Mathematical Structures in Computer Science 26, no. 7 (December 3, 2014): 1234–68. http://dx.doi.org/10.1017/s0960129514000449.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
In the concurrency theory, various semantic equivalences on transition systems are based on traces decorated with some additional observations, generally referred to as decorated traces. Using the generalized powerset construction, recently introduced by a subset of the authors (Silva et al.2010 FSTTCS. LIPIcs8 272–283), we give a coalgebraic presentation of decorated trace semantics. The latter include ready, failure, (complete) trace, possible futures, ready trace and failure trace semantics for labelled transition systems, and ready, (maximal) failure and (maximal) trace semantics for generative probabilistic systems. This yields a uniform notion of minimal representatives for the various decorated trace equivalences, in terms of final Moore automata. As a consequence, proofs of decorated trace equivalence can be given by coinduction, using different types of (Moore-) bisimulation (up-to context).
17

O'NEIL, GRETCHEN R., LYDIA S. TACKETT, and MICHAEL B. MEYER. "THE ROLE OF SURFICIAL BIOTURBATION IN THE LATEST EDIACARAN: A QUANTITATIVE ANALYSIS OF TRACE FOSSIL INTENSITY IN THE TERMINAL EDIACARAN–LOWER CAMBRIAN OF CALIFORNIA." PALAIOS 37, no. 12 (December 29, 2022): 703–17. http://dx.doi.org/10.2110/palo.2021.050.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
ABSTRACT Bioturbating activities have played a vital role in shaping the marine ecosystem throughout metazoan history, influencing the abundance and preservation potential of body fossil-producing taxa and driving major environmental and geochemical changes. The earliest trace making behaviors arose during the late Ediacaran Period (∼ 560–541 Ma), disrupting the substrate previously occupied by dominantly sessile organisms. Simple dwelling and grazing behaviors exploited the organic-rich matgrounds, expanding into the underutilized microbial mat ecosystem. In the western United States, trace assemblages from Ediacaran–Cambrian boundary-spanning deposits document a thriving trace-maker ecosystem. One boundary-spanning deposit in this region, the lower member of the Wood Canyon Formation, crops out along the California-Nevada boundary and contains both trace and body fossil assemblages. The Chicago Pass section of the lower Wood Canyon Formation contains a suite of dominantly simple Ediacaran traces, which become commonplace in the upper part of the stratigraphic section, documenting the onset of prevalent trace-making behaviors in this region. While traces have been previously described from this locality, the addition of the complex trace Lamonte trevallis and quantification of trace fossil density of simple Ediacaran traces provides a more comprehensive ichnological view of the Chicago Pass section. Although Chicago Pass does not yield abundant tubicolous body fossils, as are found elsewhere in the region, the low diversity ichnoassemblages document both burgeoning surficial trace making groups and mat-targeted mining in the latest Ediacaran. The behaviors present at Chicago Pass are similar to those of the Dengying Formation in South China, and highlight the need for petrographic-based trace fossil studies. Additionally, studies of Nama Group trace fossils of the same age from Namibia report higher diversity and complexity in trace-making activities than what has been observed at Chicago Pass, but with similar, low Ediacara biota body fossil diversity. If Ediacara biota diversity is anticorrelated with trace-making behaviors, Chicago Pass represents a low-complexity end-member of the same phenomenon observed in Namibia. The effect of surface sediment disruption on the sessile Ediacaran communities may have been decoupled from complexity of the traces, more so influenced by the presence of general trace-making behaviors in aggregate, including simple traces.
18

AL-DOBAISSI, Israa A. R., and Rasha K. H. AL-MASOUDI. "A REVIEW IN NODAL ANATOMY FOR PLANTS." MINAR International Journal of Applied Sciences and Technology 04, no. 03 (September 1, 2022): 2–10. http://dx.doi.org/10.47832/2717-8234.12.1.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Nodal anatomy reveals the number, behavior and fait of bundles in each node and internode. Firstly, three main types of nodes represented by the one trace- one gap, the three trace- three-gaps, and the multi-traces- multi gaps in plants were proposed. Then the fourth types of nodes, represented by two- multi traces - one gap , was added to nodal types, while the fifth type (split –lateral) has been proposed, where a single trace associated with numerous leaves by splitting as found in different families from Angiosperms.Branches traces are distinct from leaf ones, and it represented of one or several bundles formed in axillary of leaves, commonly branch trace and middle leaf trace formed with the same gab,One of the important facts of studying nodal anatomy is the relationship between nodal structure and leaf base referring to stipules and sheathing base as well as the phyllotaxy. In monocot plants leaves characterized by sheathing bases, So the leaves nodes appeared with numerous leaf traces separated from different stem bundles, in Dicots plant different nodal types recognized.the studies of nodal anatomy are considered as an important features in taxonomical studies and phylogenetic studies on Dicots plant, most the studies revealed the di-traces and tri-traces nodes considered as primitive type while the uni-trace or multi-traces node are the advanced and it was proposed either by reduction or amplification.
19

Murakami, Takao, Hiromi Arai, Koki Hamada, Takuma Hatano, Makoto Iguchi, Hiroaki Kikuchi, Atsushi Kuromasa, et al. "Designing a Location Trace Anonymization Contest." Proceedings on Privacy Enhancing Technologies 2023, no. 1 (January 2023): 225–43. http://dx.doi.org/10.56553/popets-2023-0014.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
For a better understanding of anonymization methods for location traces, we have designed and held a location trace anonymization contest that deals with a long trace (400 events per user) and fine-grained locations (1024 regions). In our contest, each team anonymizes her original traces, and then the other teams perform privacy attacks against the anonymized traces. In other words, both defense and attack compete together, which is close to what happens in real life. Prior to our contest, we show that re-identification alone is insufficient as a privacy risk and that trace inference should be added as an additional risk. Specifically, we show an example of anonymization that is perfectly secure against re-identification and is not secure against trace inference. Based on this, our contest evaluates both the re-identification risk and trace inference risk and analyzes their relationship. Through our contest, we show several findings in a situation where both defense and attack compete together. In particular, we show that an anonymization method secure against trace inference is also secure against re-identification under the presence of appropriate pseudonymization. We also report defense and attack algorithms that won first place, and analyze the utility of anonymized traces submitted by teams in various applications such as POI recommendation and geo-data analysis.
20

Murray, Royce. "Trace of a Trace of a Trace (ANALYSIS)." Analytical Chemistry 63, no. 19 (October 1991): 921a. http://dx.doi.org/10.1021/ac00019a600.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
21

FARRAR, LYNDSEY, ERIN GRAVES, ELIZABETH PETSIOS, ROGER W. PORTELL, TOBIAS B. GRUN, MICHAL KOWALEWSKI, and CARRIE L. TYLER. "CHARACTERIZATION OF TRACES OF PREDATION AND PARASITISM ON FOSSIL ECHINOIDS." PALAIOS 35, no. 5 (May 18, 2020): 215–27. http://dx.doi.org/10.2110/palo.2019.088.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
ABSTRACT Interactions with predators and parasites can result in traces found on Recent and fossil echinoids. However, identifying specific trace makers, particularly on fossil echinoids, remains contentious. To document the range of trace morphologies present on echinoids and improve our ability to identify and quantify biotic interactions affecting echinoids, we characterized traces found on fossil echinoids using museum collections and field sampling spanning the Jurassic to Recent worldwide. Using light microscopy, 8,564 individual echinoid specimens were examined including 130 species, and 516 traces of potential biotic interactions identified. Morphological characteristics were recorded for each trace, including the shape of the trace outline, maximum diameter and cross-section profile. Based on shared morphological characteristics, it was possible to classify all traces into eight categories: circular, subcircular, elongated, irregular, rectangular, figure-eight, notched, and linear. Cross-section characteristics provided additional insights into the identity of potential trace makers. To further evaluate the proposed biotic origins of these traces, trace diversity was examined through time and compared with anticipated ecological trends associated with the diversification of echinoids, and their predators and parasites. Trace diversity increased over time, starting in the late Eocene, coincident with the proliferation of echinoid-drilling gastropods, an indication that biotic interactions intensified through evolutionary time, as predicted by several macroevolutionary hypotheses previously tested using mollusks. The morphological descriptions provided here enhance our understanding of biotic traces on fossil echinoids, and the potential to identify temporal trends in the intensity and diversity of biotic interactions that have affected echinoids throughout their evolutionary history.
22

Besnaci, Mohamed, Tahar Bensebaa, Nathalie Guin, and Pierre-Antoine Champin. "Knowledge Acquisition for Importing Existing Traces to a Trace Base Management System." Journal of Information & Knowledge Management 17, no. 04 (December 2018): 1850041. http://dx.doi.org/10.1142/s0219649218500417.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Trace Base Management System (TBMS) offers processing and querying functionalities for traces that may be of interest to users of tracked systems. Our goal is to ensure the importing of various external traces into kernel for Trace-Based System (kTBS), which is a TBMS developed in the LIRIS laboratory. To overcome the problem of traces heterogeneity, we propose to define a generic collector. To this end, a user with enough knowledge of the tracked system is prompted to define its kTBS trace model and correspondences between the elements of this model and the elements of the trace to import. The system generalises the mappings previously elicited by the user through interaction to create mapping rules. After this phase, the collector will generate modelled traces from the existing ones and the already defined mapping rules.
23

Kopel, David B., and Paul H. Blackman. "Research Note: Firearms Tracing Data from the Bureau of Alcohol, Tobacco and Firearms: An Occasionally Useful Law Enforcement Tool but a Poor Research Tool." Criminal Justice Policy Review 11, no. 1 (March 2000): 44–62. http://dx.doi.org/10.1177/0887403400011001004.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The Bureau of Alcohol, Tobacco and Firearms (BATF) sometimes traces the history of firearms used in crime. Typically, the trace reveals the gun's history from its manufacture to its sale by a licensed retail firearms dealer. BATF traces occasionally have been a useful tool for investigating individual crimes. In recent years, however, some persons have attempted to use BATF trace data to study gun violence and evaluate firearms policies. There are severe limitations on the utility of the BATF data for criminological analysis. These limits include the relatively small number of crime guns that BATF traces, BATF's rules about what guns it will not even attempt to trace, and the limited information supplied by gun traces. The authors suggest that BATF trace figures are not a sound foundation for criminological research.
24

DEVINE, L. K., and N. J. MINTER. "NEOICHNOLOGY OF AMPHIBIOUS ARTHROPODS: EFFECTS OF SUBAQUEOUS AND SUBAERIAL SUBSTRATE CONDITIONS ON TRACE MORPHOLOGY." PALAIOS 37, no. 10 (October 20, 2022): 585–605. http://dx.doi.org/10.2110/palo.2021.062.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract Neoichnology, the study of the traces of extant organisms, provides a vital tool for better understanding trace fossils. We conducted neoichnological experiments to test hypotheses regarding producers and the effects of substrate conditions on trace fossils produced by aquatic to amphibious arthropods. Our experiments comprised two protocols: subaerial and subaqueous substrates; and we utilized five arthropods: fully aquatic ostracods (Ostracoda indet.), to amphibious horseshoe crabs (Limulus polyphemus), shore crabs (Carcinus maenas), and scarlet hermit crabs (Paguristes cadenati), and the largely terrestrial sea slaters (Ligia oceanica). The different arthropods were observed performing locomotory, resting/stationary, and feeding behaviors, which all resulted in different traces influenced by the substrate conditions and their preference for living in and out of water. In general, trace depth increased with arthropod mass and, for each individual arthropod except the scarlet hermit crab, trace depth was also greater in subaerial compared to subaqueous substrates. In the majority of cases, comparisons with selected trace fossils supported previous hypotheses as to their producers. The traces of horseshoe crabs, shore crabs, sea slaters, and ostracods resembled the ichnotaxa Kouphichnium, Laterigradus, Pterichnus, and Mermia, respectively. Other experimental work has shown hermit crabs produce traces similar to Coenobichnus and our results further increase the range of trace morphologies that can be attributed to hermit crabs. The results of this research have bearing on debates in ichnology where the interpretation of producers and substrate conditions at the time of trace formation are critical, such as the trace fossil evidence for the colonization of land.
25

Guichardet, Alain. "La trace de Dixmier et autres traces." L’Enseignement Mathématique 61, no. 3 (2015): 461–81. http://dx.doi.org/10.4171/lem/61-3/4-8.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
26

Loeb, Josh. "Changes to livestock track‐and‐trace systems." Veterinary Record 190, no. 4 (February 2022): 143. http://dx.doi.org/10.1002/vetr.1493.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
27

Bai, Kai, Hua Bing Wang, and Min Li. "The Research and Design of the RFID Track and Trace System Based on Web Services." Applied Mechanics and Materials 513-517 (February 2014): 1123–26. http://dx.doi.org/10.4028/www.scientific.net/amm.513-517.1123.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
This paper analyzes the problems of the modern logistics: track and trace of products, and provides an effective solution that combines with RFID and web services to develop a B/S platform of track and trace of logistics . RFID middleware is adopted in the system implementation process. The paper has done a lot of research in some key technologies in the design ,the manufacturer, the third part of logistics and the retailers are the three key roles, they can both use this system to track and trace products in the Internet.
28

Shibata, Masateru, and David J. Varricchio. "Horseshoe crab trace fossils from the Upper Cretaceous Two Medicine Formation of Montana, USA, and a brief review of the xiphosurid ichnological record." Journal of Paleontology 94, no. 5 (May 15, 2020): 887–905. http://dx.doi.org/10.1017/jpa.2020.16.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
AbstractA locality in the Upper Cretaceous Two Medicine Formation of Montana preserves abundant and variable horseshoe crab tracks and trails of the ichnotaxon Kouphichnium isp. These specimens span six morphologies differing in track form and trail configuration. These differences likely reflect variations in track-maker locomotion and behavior, substrate consistency, epichnial versus hypichnial preservation, and undertrack versus true tracks. Several tracks preserve the first clear appendage impressions for an extinct horseshoe crab. This discovery adds new information to the fossil horseshoe crab diversity in the Cretaceous Period. Trackway dimensions, such as the external width across the pusher legs or of the prosomal drag mark, provide information on the track-maker size. Most trackways correspond with crabs 9–14 cm wide; the abundance but limited size range of the traces suggests the large assemblage corresponds to a mating aggregation. The trace fossil record of xiphosurids indicates that throughout their history, horseshoe crabs inhabited both marine and nonmarine settings. They were definitively present in freshwater habitats from the lower Carboniferous through at least the Paleogene. Horseshoe crab trace abundance is highest from the upper Carboniferous through the Jurassic and likely reflects two factors: true upper Carboniferous taxonomic diversity and a preponderance of suitable sites for trackway preservation in the Late Triassic and Jurassic. Cretaceous traces are uncommon, and this Two Medicine locality is the first occurrence of horseshoe crab traces in the Late Cretaceous worldwide. Overall, track abundance and diversity would seem to correspond well with the reported horseshoe crab body fossil record.
29

GUIDO, DANIELE, and TOMMASO ISOLA. "ON THE DOMAIN OF SINGULAR TRACES." International Journal of Mathematics 13, no. 06 (August 2002): 667–74. http://dx.doi.org/10.1142/s0129167x02001447.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The question whether an operator belongs to the domain of some singular trace is addressed, together with the dual question whether an operator does not belong to the domain of some singular trace. We show that the answers are positive in general, namely for any (compact, infinite rank) positive operator A we exhibit two singular traces, the first being zero and the second being infinite on A. However, if we assume that the singular traces are genrated by a "regular" operator, the answers change, namely such traces alway vanish on trace-class, non singularly traceable operators and are always infinite on non trace-class, non singularly traceable operators. These results are achieved on a general semifinite factor and make use of a new characterization of singular traceability (cf. [7]).
30

Koskela, Pekka, Khanh Ngoc Nguyen, and Zhuang Wang. "Trace Operators on Regular Trees." Analysis and Geometry in Metric Spaces 8, no. 1 (January 1, 2020): 396–409. http://dx.doi.org/10.1515/agms-2020-0117.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract We consider different notions of boundary traces for functions in Sobolev spaces defined on regular trees and show that the almost everywhere existence of these traces is independent of the chosen definition of a trace.
31

Yang, Zeyu, Hongzhi Wu, Tania Archbold, Xindi Yin, and Wenyi Fan. "PSI-5 Intestinal responses and the determination of true total tract trace mineral digestibility and the endogenous losses in weanling pigs by the regression analysis technique." Journal of Animal Science 97, Supplement_3 (December 2019): 287–88. http://dx.doi.org/10.1093/jas/skz258.582.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract There is limited knowledge regarding trace mineral bioavailability in trace mineral supplements and common feed ingredients and trace mineral endogenous losses in pigs. The objectives of this study were to investigate intestinal responses and to determine true total tract trace mineral digestibility and the endogenous losses of trace minerals associated with corn and SBM based diets in weanling pigs by the regression analysis. Twenty-four crossbred barrows, with an average initial BW of 14 kg, were randomly assigned to 4 weanling pig diets with inclusion of titanium dioxide (0.30%) and a commercial trace mineral-vitamin premix at 0.125, 0.250, 0.375 and 0.500%, respectively, to result in 4 graded dietary levels of Cu, Zn, Fe, Mn and Se. The pigs were fed close to ad libitum for 11 d according to a randomized complete block design. The dietary inclusion did not affect (P &gt; 0.05) growth performances, ileal and fecal DM digestibility, D-mannitol gut permeability and jejunal alkaline phosphatase kinetics. With the regression analysis, true total tract Cu, Zn, Fe, Mn and Se digestibility values (±SE; n = 23 or 24; P &lt; 0.05) in the trace mineral-vitamin premix were determined to be 137.3±27.9, 40.5±15.4, 66.2±24.6, 94.3±21.6 and 96.6±2.8% vs. the corresponding values in the four weanling pig diets for Cu at 137.4±3.2, Zn at 40.4±3.1, Fe at 66.2±3.0, Mn at 94.2±3.8and Se at 96.2±0.8%, respectively. The total tract endogenous Cu, Zn, Fe, Mn and Se outputs (±SE)associated with the weanling pig diets were also determined (23.4±0.6, 9.2±2.7, 37.2±3.5, 19.4±1.0 and 0.07±0.003 mg/kg DMI diets; n = 23 or 24;P &lt; 0.05). Our results have shown that the intestinal physiological functions and performances were not significantly affected in the weanling pigs fed on the diets with reduced gradient levels of a trace mineral-vitamin premix. Total tract true digestible trace mineral supply should be considered in swine diet formulation.
32

Chastenet, Jérémy, Jessica Sutter, Karin Sandstrom, Francesco Belfiore, Oleg V. Egorov, Kirsten L. Larson, Adam K. Leroy, et al. "PHANGS–JWST First Results: Variations in PAH Fraction as a Function of ISM Phase and Metallicity." Astrophysical Journal Letters 944, no. 2 (February 1, 2023): L11. http://dx.doi.org/10.3847/2041-8213/acadd7.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Abstract We present maps tracing the fraction of dust in the form of polycyclic aromatic hydrocarbons (PAHs) in IC 5332, NGC 628, NGC 1365, and NGC 7496 from JWST/MIRI observations. We trace the PAH fraction by combining the F770W (7.7 μm) and F1130W (11.3 μm) filters to track ionized and neutral PAH emission, respectively, and comparing the PAH emission to F2100W, which traces small, hot dust grains. We find the average R PAH = (F770W + F1130W)/F2100W values of 3.3, 4.7, 5.1, and 3.6 in IC 5332, NGC 628, NGC 1365, and NGC 7496, respectively. We find that H ii regions traced by MUSE Hα show a systematically low PAH fraction. The PAH fraction remains relatively constant across other galactic environments, with slight variations. We use CO+Hi +Hα to trace the interstellar gas phase and find that the PAH fraction decreases above a value of I H α / Σ H I + H 2 ∼ 10 37.5 erg s − 1 kpc − 2 ( M ⊙ pc − 2 ) − 1 in all four galaxies. Radial profiles also show a decreasing PAH fraction with increasing radius, correlated with lower metallicity, in line with previous results showing a strong metallicity dependence to the PAH fraction. Our results suggest that the process of PAH destruction in ionized gas operates similarly across the four targets.
33

Conte, Sonia, Rossella Arletti, Francesca Mermati, and Bernard Gratuze. "Unravelling the Iron Age glass trade in southern Italy: the first trace-element analyses." European Journal of Mineralogy 28, no. 2 (May 25, 2016): 409–33. http://dx.doi.org/10.1127/ejm/2016/0028-2516.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
34

MESYAN, ZACHARY, and LIA VAŠ. "TRACES ON SEMIGROUP RINGS AND LEAVITT PATH ALGEBRAS." Glasgow Mathematical Journal 58, no. 1 (July 21, 2015): 97–118. http://dx.doi.org/10.1017/s0017089515000087.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
AbstractThe trace on matrix rings, along with the augmentation map and Kaplansky trace on group rings, are some of the many examples of linear functions on algebras that vanish on all commutators. We generalize and unify these examples by studying traces on (contracted) semigroup rings over commutative rings. We show that every such ring admits a minimal trace (i.e., one that vanishes only on sums of commutators), classify all minimal traces on these rings, and give applications to various classes of semigroup rings and quotients thereof. We then study traces on Leavitt path algebras (which are quotients of contracted semigroup rings), where we describe all linear traces in terms of central maps on graph inverse semigroups and, under mild assumptions, those Leavitt path algebras that admit faithful traces.
35

Paliulionienė, Laima, and Albertas Čaplinskas. "Issues on legal knowledge bases traceability." Lietuvos matematikos rinkinys 47 (December 20, 2007): 173–78. http://dx.doi.org/10.15388/lmr.2007.24077.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Requirements traceability is used in many disciplines including system and software engineering. Usually traces are used to describe and follow the life of a requirement, in both a forward and backward directions. Traceability problems are faced in legal knowledge bases, too. However, in this case legal statements should be traced instead of requirements. Traces required to trace legal statements are specific in many aspects, therefore requirements tracing methods cannot be applied directly. The paper discusses the problems of traceability in legal knowledge bases and investigates the applicability of traceability matrices to solve these problems.
36

Cristancho, Sayra, and Emily Field. "Qualitative investigation of trace-based communication: how are traces conceptualised in healthcare teamwork?" BMJ Open 10, no. 11 (November 2020): e038406. http://dx.doi.org/10.1136/bmjopen-2020-038406.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
ObjectivesThis interview-based qualitative study aims to explore how healthcare providers conceptualise trace-based communication and considers its implications for how teams work. In the biological literature, trace-based communication refers to the non-verbal communication that is achieved by leaving ‘traces’ in the environment and other members sensing them and using them to drive their own behaviour. Trace-based communication is a key component of swam intelligence and has been described as a critical process that enables superorganisms to coordinate work and collectively adapt. This paper brings awareness to its existence in the context of healthcare teamwork.DesignInterview-based study using Constructivist Grounded Theory methodology.SettingThis study was conducted in multiple team contexts at one of Canada’s largest acute-care teaching hospitals.Participants25 clinicians from across professions and disciplines. Specialties included surgery, anesthesiology, psychiatry, internal medicine, geriatrics, neonatology, paramedics, nursing, intensive care, neurology and emergency medicine.InterventionNot relevant due to the qualitative nature of the study.Primary and secondary outcomeNot relevant due to the qualitative nature of the study.ResultsThe dataset was analysed using the sensitising concept of ‘traces’ from Swarm Intelligence. This study brought to light novel and unique elements of trace-based communication in the context of healthcare teamwork including focused intentionality, successful versus failed traces and the contextually bounded nature of the responses to traces. While participants initially felt ambivalent about the idea of using traces in their daily teamwork, they provided a variety of examples. Through these examples, participants revealed the multifaceted nature of the purposes of trace-based communication, including promoting efficiency, preventing mistakes and saving face.ConclusionsThis study demonstrated that clinicians pervasively use trace-based communication despite differences in opinion as to its implications for teamwork and safety. Other disciplines have taken up traces to promote collective adaptation. This should serve as inspiration to at least start exploring this phenomenon in healthcare.
37

Shariff, S.S.R, and Mohzal, N.A. "Simulating the Track and Trace of Halal Chicken Meat Produce." global journal al thaqafah SI (November 30, 2019): 73–81. http://dx.doi.org/10.7187/gjatsi112019-7.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Track and trace in halal are globally used all over the world, and consumer still doubted about the halal status of the product in the market. The study focused on the halal critical points (HCP) in producing halal chicken meat to consumers. The objective of the study is to evaluate the existing track and trace system for halal fresh meat, to identify and adapt HCPs into the track and trace system and to measure the performance of the proposed system. There are four main stages considered in the study which are farm, slaughterhouse, producing plants and transportation. The data has been collected from a poultry company in Selangor, Malaysia. The method used throughout the study is literature search, in-depth interview, documentary analysis and simulation analysis. The results of the study state that there are 20 proposed HCPs from the literature search which based on four stages and the simulation model shows positivity in the output by using the proposed track and trace system for halal chicken produce. This study has also suggested a few recommendations for future study.
38

Izumi, Kentaro, and Kazuko Yoshizawa. "Star-shaped trace fossil and Phymatoderma from Neogene deep-sea deposits in central Japan: probable echiuran feeding and fecal traces." Journal of Paleontology 90, no. 6 (October 11, 2016): 1169–80. http://dx.doi.org/10.1017/jpa.2016.95.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
AbstractA co-occurrence of the ichnogenus Phymatoderma and a star-shaped horizontal trace fossil was discovered from Neogene deep-marine deposits (Misaki Formation, central Japan), and is described herein for the first time. Phymatoderma consists of a straight to slightly curved tunnel that shows first- or second-order branches. The tunnels are 5.30–27.25 mm in diameter and are filled with ellipsoidal pellets. The relatively well-preserved star-shaped trace fossil is a large horizontal structure (~18 cm×19 cm) that consists of at least 10 spokes with diameters ranging from 11.49–20.96 mm. As compared to modern analogous surface-feeding traces produced by abyssal echiuran worms and their burrow morphology, it is highly likely that the star-shaped trace fossil and Phymatoderma found from the Misaki Formation are feeding and fecal traces of ancient deep-sea echiurans, respectively. Difference in preservation potential between surface and subsurface traces may result in rare occurrence of star-shaped trace fossils as compared to Phymatoderma. Microscopic observation of the pelletal infill of Phymatoderma also reveals that the trace-maker fed on organic debris and microorganisms such as diatoms and radiolaria.
39

Leigh, Brooke. "Trace and catharsis: Embodied drawing." Drawing: Research, Theory, Practice 7, no. 1 (April 1, 2022): 79–98. http://dx.doi.org/10.1386/drtp_00080_1.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
For the past decade, my artistic research practice has explored the performative aspect of drawing. Recently, I have come to realize how the performative process can function as an experience of catharsis. By examining a selection of works from my practice, Cassils, Louise Bourgeois, Ana Mendieta and Tracey Emin, that exemplify the act of mark making through processes of encountering intense states of the body, ‘Trace and catharsis: Embodied drawing’ explores the concept of drawing as the residue of performance. I will investigate catharsis as a performative gesture in itself ‐ the release of internalized distress through acts of externalization and exertion. This gesture ‐ immediate, impulsive and compulsive in nature ‐ draws a direct relationship to Aristotle’s notions of catharsis and the bodily manifestations of anxiety that Sigmund Freud describes. Through Amelia Jones’s and Catherine de Zegher’s ideas of mark making, I will examine how traces produced by this gesture can be performative in its materiality and evocation of the artist’s body.
40

Ibadah, Nisrine, Khalid Minaoui, Mohammed Rziza, Mohammed Oumsis, and César Benavente-Peces. "Smart Collection of Real-Time Vehicular Mobility Traces." Future Internet 10, no. 8 (August 9, 2018): 78. http://dx.doi.org/10.3390/fi10080078.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Mobility trace techniques makes possible drawing the behaviors of real-life movement which shape wireless networks mobility whereabouts. In our investigation, several trace mobility models have been collected after the devices’ deployment. The main issue of this classical procedure is that it produces uncompleted records due to several unpredictable problems occurring during the deployment phase. In this paper, we propose a new procedure aimed at collecting traces while deployment phase failures are avoided, which improves the reliability of data. The introduced procedure makes possible the complete generation of traces with a minimum amount of damage without the need to recover mobile devices or lose them, as it is the case in previous mobility traces techniques. Based on detecting and correcting all accidental issues in real time, the proposed trace scanning offers a set of relevant information about the vehicle status which was collected during seven months. Furthermore, the proposed procedure could be applied to generate vehicular traces. Likewise, it is suitable to record/generate human and animal traces. The research outcomes demonstrate the effectiveness and robustness of the smart collection algorithm based on the proposed trace mobility model.
41

Crâşmăreanu, Mircea. "Particular trace decompositions and applications of trace decomposition to almost projective invariants." Mathematica Bohemica 126, no. 3 (2001): 631–37. http://dx.doi.org/10.21136/mb.2001.134205.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
42

LIEB, ELLIOTT H., and GERT K. PEDERSEN. "CONVEX MULTIVARIABLE TRACE FUNCTIONS." Reviews in Mathematical Physics 14, no. 07n08 (July 2002): 631–48. http://dx.doi.org/10.1142/s0129055x02001260.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
For any densely defined, lower semi-continuous trace τ on a C*-algebra A with mutually commuting C*-subalgebras A1, A2, … An, and a convex function f of n variables, we give a short proof of the fact that the function (x1, x2, …, xn)→ τ (f (x1, x2, …, xn)) is convex on the space [Formula: see text]. If furthermore the function f is log-convex or root-convex, so is the corresponding trace function. We also introduce a generalization of log-convexity and root-convexity called ℓ-convexity, show how it applies to traces, and give some examples. In particular we show that the Kadison–Fuglede determinant is concave and that the trace of an operator mean is always dominated by the corresponding mean of the trace values.
43

Wang, Yibo, Shuqian Dong, and Yi Luo. "Model-based interferometric interpolation method." GEOPHYSICS 75, no. 6 (November 2010): WB211—WB217. http://dx.doi.org/10.1190/1.3505816.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
We have proposed a two-stage model-based interferometric interpolation method for filling in gaps in marine seismic data. The first stage is creating virtual traces and the second stage is utilizing modified virtual traces for interpolation. There are three steps for creating a virtual trace. First, set the virtual trace’s source and receiver coordinates and retrieve two common-receiver gathers (CRG) from existing data. At least one CRG should be obtained, otherwise, our method cannot be performed. Second, if only one CRG is obtained, then a synthetic CRG should be generated using known velocity model (e.g., water-layer model). Third, the virtual trace is created by summing correlated trace pairs over all identical source positions in two CRGs. When all virtual traces are created, a least-squares matching filter or a nonstationary prediction error filter (PEF) should be used together with virtual traces to do the interpolation. If the trace gap is small or the subsurface geology is simple, the local matching filter is preferred for the improvement of signal-to-noise ratio, otherwise, we need to estimate a PEF from virtual traces and then use this PEF for interpolation. A simple velocity model and Sigsbee2b velocity model are used to validate the effectiveness of our method. Results show that the trace gaps can be kinematically interpolated, but there are still artifacts that are due to the approximations made in our theory.
44

Abate, Carmine, Roberto Blanco, Ştefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hritţcu, Marco Patrignani, Éric Tanter, and Jérémy Thibault. "An Extended Account of Trace-relating Compiler Correctness and Secure Compilation." ACM Transactions on Programming Languages and Systems 43, no. 4 (December 31, 2021): 1–48. http://dx.doi.org/10.1145/3460860.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
Compiler correctness, in its simplest form, is defined as the inclusion of the set of traces of the compiled program in the set of traces of the original program. This is equivalent to the preservation of all trace properties. Here, traces collect, for instance, the externally observable events of each execution. However, this definition requires the set of traces of the source and target languages to be the same, which is not the case when the languages are far apart or when observations are fine-grained. To overcome this issue, we study a generalized compiler correctness definition, which uses source and target traces drawn from potentially different sets and connected by an arbitrary relation. We set out to understand what guarantees this generalized compiler correctness definition gives us when instantiated with a non-trivial relation on traces. When this trace relation is not equality, it is no longer possible to preserve the trace properties of the source program unchanged. Instead, we provide a generic characterization of the target trace property ensured by correctly compiling a program that satisfies a given source property, and dually, of the source trace property one is required to show to obtain a certain target property for the compiled code. We show that this view on compiler correctness can naturally account for undefined behavior, resource exhaustion, different source and target values, side channels, and various abstraction mismatches. Finally, we show that the same generalization also applies to many definitions of secure compilation, which characterize the protection of a compiled program linked against adversarial code.
45

Li, Tianyi, Lu Chen, Christian S. Jensen, and Torben Bach Pedersen. "TRACE." Proceedings of the VLDB Endowment 14, no. 7 (March 2021): 1175–87. http://dx.doi.org/10.14778/3450980.3450987.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
The deployment of vehicle location services generates increasingly massive vehicle trajectory data, which incurs high storage and transmission costs. A range of studies target offline compression to reduce the storage cost. However, to enable online services such as real-time traffic monitoring, it is attractive to also reduce transmission costs by being able to compress streaming trajectories in real-time. Hence, we propose a framework called TRACE that enables compression, transmission, and querying of network-constrained streaming trajectories in a fully online fashion. We propose a compact two-stage representation of streaming trajectories: a speed-based representation removes redundant information, and a multiple-references based referential representation exploits subtrajectory similarities. In addition, the online referential representation is extended with reference selection, deletion and rewriting functions that further improve the compression performance. An efficient data transmission scheme is provided for achieving low transmission overhead. Finally, indexing and filtering techniques support efficient real-time range queries over compressed trajectories. Extensive experiments with real-life and synthetic datasets evaluate the different parts of TRACE, offering evidence that it is able to outperform the existing representative methods in terms of both compression ratio and transmission cost.
46

Smith, Harrell. "TRACE." Journal of Trading 2, no. 1 (December 31, 2006): 49–66. http://dx.doi.org/10.3905/jot.2007.669801.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
47

Jurgenson, Luba. "Trace." Témoigner. Entre histoire et mémoire, no. 117 (March 1, 2014): 152–53. http://dx.doi.org/10.4000/temoigner.1216.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
48

Spinellis, Diomidis. "Trace." ACM SIGOPS Operating Systems Review 28, no. 4 (October 1994): 56–63. http://dx.doi.org/10.1145/191525.191540.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
49

Hulak, Fabienne. "Trace de pas, pas de trace." Ligeia N°13-14, no. 1 (1993): 89. http://dx.doi.org/10.3917/lige.013.0089.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
50

Frey, R. W., and R. Gold Ring. "Marine event beds and recolonization surfaces as revealed by trace fossil analysis." Geological Magazine 129, no. 3 (May 1992): 325–35. http://dx.doi.org/10.1017/s0016756800019269.

Повний текст джерела
Стилі APA, Harvard, Vancouver, ISO та ін.
Анотація:
AbstractTurbidites and tempestites exhibit characteristic distributions of trace fossils. To gain maximum advantage of the sedimentological and palaeoecological significance of these traces, an attempt should be made to relate each trace to the associated colonization surface. This approach allows traces initiated at the normal top of an event bed to be distinguished from traces that subsequently passed into the bed from a higher colonization level or were initiated on the eroded surface of the bed.

До бібліографії