Relevant bibliographies by topics / Fragments of standards

Contents

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

Academic literature on the topic 'Fragments of standards'

Author: Grafiati
Published: 28 May 2022
Last updated: 31 July 2025

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Fragments of standards.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Fragments of standards"

1

Zhao, Minrui, Hongni Gao, Qi Han, Jiaang Ge, Wei Wang, and Jue Qu. "Development of a Driving Cycle for Fuzhou Using K-Means and AMPSO." Journal of Advanced Transportation 2021 (February 24, 2021): 1–15. http://dx.doi.org/10.1155/2021/5430137.

Full text
Abstract:
The driving cycle is a speed-to-time curve, a fundamental technique in the automotive industry, and also a basis to set standards for fuel consumption and emissions of vehicles. A driving cycle is developed based on firsthand driving data collected from fieldwork. First, bad data in the original dataset are preprocessed, the time-series standard smoothing algorithm is used to smoothen the data, and Lagrange’s interpolation is used to realize data interpolation. Next, the rules for kinematic fragment extraction are set to divide the data into kinematic fragments. Last, an evaluation system of k
APA, Harvard, Vancouver, ISO, and other styles
2

Nardulli, A. M., and D. J. Shapiro. "Binding of the estrogen receptor DNA-binding domain to the estrogen response element induces DNA bending." Molecular and Cellular Biology 12, no. 5 (1992): 2037–42. http://dx.doi.org/10.1128/mcb.12.5.2037-2042.1992.

Full text
Abstract:
We have used circular permutation analysis to determine whether binding of purified Xenopus laevis estrogen receptor DNA-binding domain (DBD) to a DNA fragment containing an estrogen response element (ERE) causes the DNA to bend. Gel mobility shift assays showed that DBD-DNA complexes formed with fragments containing more centrally located EREs migrated more slowly than complexes formed with fragments containing EREs near the ends of the DNA. DNA bending standards were used to determine that the degree of bending induced by binding of the DBD to an ERE was approximately 34 degrees. A 1.55-fold
APA, Harvard, Vancouver, ISO, and other styles
3

Nardulli, A. M., and D. J. Shapiro. "Binding of the estrogen receptor DNA-binding domain to the estrogen response element induces DNA bending." Molecular and Cellular Biology 12, no. 5 (1992): 2037–42. http://dx.doi.org/10.1128/mcb.12.5.2037.

Full text
Abstract:
We have used circular permutation analysis to determine whether binding of purified Xenopus laevis estrogen receptor DNA-binding domain (DBD) to a DNA fragment containing an estrogen response element (ERE) causes the DNA to bend. Gel mobility shift assays showed that DBD-DNA complexes formed with fragments containing more centrally located EREs migrated more slowly than complexes formed with fragments containing EREs near the ends of the DNA. DNA bending standards were used to determine that the degree of bending induced by binding of the DBD to an ERE was approximately 34 degrees. A 1.55-fold
APA, Harvard, Vancouver, ISO, and other styles
4

Shoukry, Mira, Andrea Lopez-Ruiz, Dharmendra Patel, and Alexander Shusko. "Retained lens fragment causing anterior uveitis four years after successful phacoemulsification." Journal of Cataract & Refractive Surgery Online Case Reports 13 (January 2025): e00146. https://doi.org/10.1097/j.jcro.0000000000000146.

Full text
Abstract:
Introduction: Existing literature has detailed occurrences of retained cataract lens fragments identified days to weeks after cataract surgery. However, lens fragments in the anterior chamber remaining asymptomatic for several years are extremely rare, thus remaining a diagnostic challenge. A complex case of a retained lens fragment causing anterior uveitis 4 years after phacoemulsification is presented. Patient and Clinical Findings: A 76-year-old woman presented with a chief concern of right eye pain, photosensitivity, and blurred vision after head trauma. Diagnosis, Intervention, and Outcom
APA, Harvard, Vancouver, ISO, and other styles
5

Andryukhin, Michail I., Sergey A. Golovanov, Anastasia M. Polikarpova, et al. "Staghorn stones’ composition analysis features." Pediatrician (St. Petersburg) 8, no. 5 (2017): 61–66. http://dx.doi.org/10.17816/ped8561-66.

Full text
Abstract:
The lack of standards in the analysis of the chemical composition of the staghorn stones leads to a decrease in the effectiveness of metaphylaxis, and especially in those cases where the volume of the stone is much larger than the volume of the stone fragment being studied. The aim of this study was to develop standards in order to determine the composition of the staghorn calculi. In the Institute of urology from 2015 to 2016, we identified patients with urolithiasis, staghorn-stone nephrolithiasis who were eventually hospitalized. All patients underwent percutaneous nephrolithotripsy, and fr
APA, Harvard, Vancouver, ISO, and other styles
6

Miller, Spencer, Carlo Caruso, and Crawford Drury. "Validating the Precision and Accuracy of Coral Fragment Photogrammetry." Remote Sensing 16, no. 22 (2024): 4274. http://dx.doi.org/10.3390/rs16224274.

Full text
Abstract:
Photogrammetry is a common tool for evaluating ecosystem-scale questions on coral reefs due to the ability to measure complex structures in situ. This technique is also increasingly being used at smaller scales to collect growth and morphometric data about individual coral fragments in manipulative experiments. However, there are substantial uncertainties in data quality and interpretation and limited reporting of the parameters useful for standardization across studies. There is a need to characterize the capabilities of photogrammetry as applied to coral fragments, to establish validation me
APA, Harvard, Vancouver, ISO, and other styles
7

Bhure, Ujwal, Christoph Agten, Dirk Lehnick, et al. "Value of SPECT/CT in the assessment of necrotic bone fragments in patients with delayed bone healing or non-union after traumatic fractures." British Journal of Radiology 93, no. 1114 (2020): 20200300. http://dx.doi.org/10.1259/bjr.20200300.

Full text
Abstract:
Objective: To evaluate the value of single-photon emission computed tomography / computed tomography (SPECT/CT) compared with planar bone scintigraphy (BS) in the assessment of necrotic bone fragments in patients with delayed bone healing or non-union after traumatic fractures. Methods: Retrospective evaluation of patients with traumatic fractures and suspected delayed healing or non-union and/or persistent pain or suspected infection who had undergone planar late phase BS and SPECT/CT between 2011 and 2018. On the BS and SPECT/CT images, a necrotic fragment was considered if there was an area
APA, Harvard, Vancouver, ISO, and other styles
8

Bhure, Ujwal, Christoph Agten, Dirk Lehnick, et al. "Value of SPECT/CT in the assessment of necrotic bone fragments in patients with delayed bone healing or non-union after traumatic fractures." British journal of radiology 93, no. 1114 (2020): 1, 7. https://doi.org/10.5281/zenodo.4626969.

Full text
Abstract:
OBJECTIVE To evaluate the value of single-photon emission computed tomography / computed tomography (SPECT/CT) compared with planar bone scintigraphy (BS) in the assessment of necrotic bone fragments in patients with delayed bone healing or non-union after traumatic fractures. METHODS Retrospective evaluation of patients with traumatic fractures and suspected delayed healing or non-union and/or persistent pain or suspected infection who had undergone planar late phase BS and SPECT/CT between 2011 and 2018. On the BS and SPECT/CT images, a necrotic fragment was considered if there was an area o
APA, Harvard, Vancouver, ISO, and other styles
9

Garcés-Garcés, José, Marta Redrado, Ángela Sastre-Santos, María Concepción Gimeno, and Fernando Fernández-Lázaro. "Synthesis of Dipyridylaminoperylenediimide–Metal Complexes and Their Cytotoxicity Studies." Pharmaceutics 14, no. 12 (2022): 2616. http://dx.doi.org/10.3390/pharmaceutics14122616.

Full text
Abstract:
A new family of perylenediimide (PDI) silver and copper complexes has been successfully synthesized by reacting ortho- and bay-substituted (dipyrid-2′,2″-ylamino)perylenediimide ligands with metal phosphine fragments. The coordination of the metal center did not reveal a significant effect on the photophysical properties, which are mainly due to the PDI ligands, and in some cases quenching of the luminescence was observed. The antiproliferative effect of the free perylenediimide ligands and the metalloPDI complexes against the cervix cancer cell line HeLa was determined by MTT assay. The free
APA, Harvard, Vancouver, ISO, and other styles
10

Gerner-Smidt, P., L. M. Graves, Susan Hunter, and B. Swaminathan. "Computerized Analysis of Restriction Fragment Length Polymorphism Patterns: Comparative Evaluation of Two Commercial Software Packages." Journal of Clinical Microbiology 36, no. 5 (1998): 1318–23. http://dx.doi.org/10.1128/jcm.36.5.1318-1323.1998.

Full text
Abstract:
Two computerized restriction fragment length polymorphism pattern analysis systems, the BioImage system and the GelCompar system (Molecular Analyst Fingerprinting Plus in the United States), were compared. The two systems use different approaches to compare patterns from different gels. In GelCompar, a standard reference pattern in one gel is used to normalize subsequent gels containing lanes with the same reference pattern. In BioImage, the molecular sizes of the fragments are calculated from size standards present in each gel. The molecular size estimates obtained with the two systems for 12
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Fragments of standards"

1

Авраменко, Віктор Васильович, Виктор Васильевич Авраменко, Viktor Vasylovych Avramenko, and К. Salnik. "Recognition of fragments of standard images at low light level and the presence of additive impulsive noise." Thesis, Sumy State University, 2017. http://essuir.sumdu.edu.ua/handle/123456789/55739.

Full text
Abstract:
On the basis of integral disproportion function of the first-order the algorithm recognizing fragments of standards is created. It works in low light image that is analyzed and the presence of additive impulse noise. This algorithm permits to fin an appropriate pixel in one of several standards for each pixel of the image.
APA, Harvard, Vancouver, ISO, and other styles
2

Gonzalez, Maya. "Diversité des plantes ligneuses de fragments forestiers dans les côteaux de Gascogne : importance des facteurs locaux et du contexte paysager." Toulouse 3, 2006. http://www.theses.fr/2006TOU30103.

Full text
Abstract:
Les fragments forestiers en zone agricole constituent un refuge pour la biodiversité. Les organismes inféodés à ces habitats subissent les effets conjoints de l’exploitation forestière et de ceux liés à la fragmentation (effet de taille, d’isolement et de lisière). Les communautés des plantes ligneuses, véritables clés de voûte de ces écosystèmes, par leur structure mais également par leur diversité conditionnent en grande partie la présence et la diversité d’autres organismes forestiers. Les enjeux et les objectifs de cette thèse sont par conséquent (i) de quantifier et de qualifier la divers
APA, Harvard, Vancouver, ISO, and other styles
3

Touati, Ramdane. "Normalisation polynomique d'une langue fortement dialectisée et fragmentée : l'aménagement lexical du berbère." Thesis, Aix-Marseille, 2018. http://www.theses.fr/2018AIXM0576.

Full text
Abstract:
L’objectif de cette recherche est d’étudier, dans une approche critique et interventionniste, l’aménagement lexical du berbère. L’étude critique des actions glottopolitiques, de la fragmentation dialectologique ainsi que la réflexion sur la revitalisation et la normalisation linguistique ont brossé l’essentiel de la berbérophonie. Cette thèse est organisée en trois parties. La première partie présente une étude critique des actions glottopolitiques concernant le berbère et la sociolinguistique étudiant ces questions. La deuxième partie explore la diversité linguistique et la configuration dial
APA, Harvard, Vancouver, ISO, and other styles
4

Tyler, John. "A Pragmatic Standard of Legal Validity." Thesis, 2012. http://hdl.handle.net/1969.1/ETD-TAMU-2012-05-10885.

Full text
Abstract:
American jurisprudence currently applies two incompatible validity standards to determine which laws are enforceable. The natural law tradition evaluates validity by an uncertain standard of divine law, and its methodology relies on contradictory views of human reason. Legal positivism, on the other hand, relies on a methodology that commits the analytic fallacy, separates law from its application, and produces an incomplete model of law. These incompatible standards have created a schism in American jurisprudence that impairs the delivery of justice. This dissertation therefore formulates a
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Fragments of standards"

1

Malickaya, Viktoriya, Tat'yana Morozova, and Vladimir Shirobokov. International Financial Reporting Standards. INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1870563.

Full text
Abstract:
The textbook contains a structured presentation of International Financial Reporting Standards (IFRS): IFRS (IAS) 1 "Presentation of Financial Statements", IFRS (IAS) 7 "Statement of Cash Flows", IFRS (IAS) 34 "Interim Financial Statements", IFRS (IAS) 10 "Events after the reporting period", IFRS (IAS) 23 "Borrowing Costs", IFRS (IAS) 33 "Earnings per share".
 The publication contains fragments of information disclosure in financial statements in accordance with IFRS for more than 20 Russian companies. The choice of financial statements of companies is solely a subjective judgment of the
APA, Harvard, Vancouver, ISO, and other styles
2

Morozova, Tat'yana, and Viktoriya Malickaya. International Financial Reporting Standards: tangible and intangible assets. Application practice. INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1836225.

Full text
Abstract:
The textbook contains a structured presentation of the Conceptual Framework for the presentation of financial statements, IFRS (IAS) 16 "Fixed Assets", IFRS (IAS) 2 "Inventories", IFRS (IAS) 40 "Investment Property", IFRS (IAS) 38 "Intangible Assets", IFRS (IFRS) 5 "Non-current Assets held for Sale and Discontinued operations".
 Fragments of information disclosure in financial statements in accordance with IFRS of more than 50 Russian and foreign companies are given. The choice of financial statements of companies is solely a subjective judgment of the textbook authors, is aimed at explai
APA, Harvard, Vancouver, ISO, and other styles
3

Sdvizhkov, Oleg, and Nikolay Macnev. Physics: a workshop in Excel. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1014621.

Full text
Abstract:
In the workshop, the program codes of user-defined VBA Excel functions are presented; it is shown how these functions are used to solve typical problems of elementary physics on a computer. The textbook includes problems in kinematics, dynamics, statics, molecular kinetic theory, thermal phenomena and electrodynamics. 
 Each chapter includes: brief information on physics; code for one or more user functions and their description; step-by-step solutions to typical problems using user functions, illustrated with drawings of dialog boxes, fragments of worksheets, etc., made using screenshots
APA, Harvard, Vancouver, ISO, and other styles
4

Benett, Yves. A fragmented view?: Professional accountability and the maintenance of standards in vocational curricula. Further Education Unit, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Wodak, Daniel. Expressivism and Varieties of Normativity. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198805076.003.0011.

Full text
Abstract:
Expressivists aim to explain the meaning of a fragment of language—typically, claims about what we morally ought to do—in terms of the non-cognitive attitudes they express. Critics evaluate expressivism on those terms. This is a mistake. We don’t use that fragment of language in isolation. We make claims about what we morally, legally, rationally, and prudentially ought to do: we relativize “ought” and other deontic modals to different standards, or varieties of normativity. This chapter argues that the standard-relativity of “ought” poses a dilemma for expressivists. If they claim that “ought
APA, Harvard, Vancouver, ISO, and other styles
6

Seifrid, Mark A. The Second Letter to the Corinthians. Wm. B. Eerdmans Publishing Co., 2014. http://dx.doi.org/10.5040/bci-000x.

Full text
Abstract:
The question that Paul set before the ancient church in Corinth -- Do you not recognize that Jesus Christ is in and among you? (2 Cor 13:5) -- remains a critical question for the church today. This commentary by Mark Seifrid seeks to hear Paul’s message afresh and communicate it to our time. Seifrid offers a unified reading of 2 Corinthians, which has often been regarded as a composite of excerpts and fragments. He argues that Paul’s message is directed at the “practical atheism” of the Corinthian church -- the hidden heresy that assumes God’s saving work in the world may be measured by outwar
APA, Harvard, Vancouver, ISO, and other styles
7

Barnard, Philip, Elizabeth Hewitt, and Mark L. Kamrath, eds. Collected Writings of Charles Brockden Brown. The Rowman & Littlefield Publishing Group, Inc., 2013. https://doi.org/10.5040/9781611489064.

Full text
Abstract:
Charles Brockden Brown (1771–1810) is a key writer of the revolutionary era and U.S. early republic, known for his landmark novels and other writings in a variety of genres. The Collected Writings ofCharles Brockden Brown presents all of Brown’s non-novelistic writings—letters, political pamphlets, fiction, periodical writings, historical writings, and poetry—in a seven-volume scholarly edition. The edition’s volumes are edited to the highest scholarly standards and will bear the seal of the Modern Language Association Committee on Scholarly Editions (MLA-CSE). Letters and Early Epistolary Wri
APA, Harvard, Vancouver, ISO, and other styles
8

Martin, S. Rebecca, and Stephanie M. Langin-Hooper, eds. The Tiny and the Fragmented. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190614812.001.0001.

Full text
Abstract:
Miniature and fragmentary objects are both remarkably fascinating and easily dismissed. Tiny scale entices users with visions of Lilliputian worlds. The ambiguity of fragments intrigues us, offering vivid reminders of the transitory nature of reality. Yet, the standard scholarly approach to such objects has been to see them as secondary, incomplete things, designed primarily to refer to a complete and often life-sized whole. This volume offers a series of fresh perspectives on the familiar concepts of the tiny and the fragmented, in chapters ranging in focus from Neolithic Europe to Pre-Columb
APA, Harvard, Vancouver, ISO, and other styles
9

Kaufman, Douglas, David Moss, and Terry A. Osborn, eds. Beyond the Boundaries. Greenwood Publishing Group, Inc., 2003. http://dx.doi.org/10.5040/9798400618215.

Full text
Abstract:
Many contemporary secondary education standards call for teachers to reach across traditional disciplinary lines and create curricula and instructional techniques that are interdisciplinary in nature (as examples, for mathematics see Principles and Standards for School Mathematics; for science see National Science Education Standards; for foreign language see Standards for Foreign Language Learning; Preparing fro the 21st Century). Yet, due to the highly entrenched and fragmented administrative structure of teacher education fields, including tertiary preparation and state certification, most
APA, Harvard, Vancouver, ISO, and other styles
10

Weller, Marc, ed. Universal Minority Rights. Oxford University Press, 2007. http://dx.doi.org/10.1093/law/9780199208517.001.0001.

Full text
Abstract:
Abstract The development of international standards for the protection of minorities has been slow and fragmented. In the absence of a comprehensive and universal binding set of rules, the development of minority protection has been left to regional agreements and judicial interpretation of wider human rights treaties. This book brings together a full set of all regional and international jurisprudence from courts and treaty bodies concerned with issues of minority rights. The commentary is arranged around ten thematic areas of investigation, including religious rights, education, cultural rig
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Fragments of standards"

1

Baader, F., R. Molitor, and S. Tobies. "Tractable and Decidable Fragments of Conceptual Graphs." In Conceptual Structures: Standards and Practices. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48659-3_31.

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

Harris, Eirik Lang. "Chapter 3 Morality vs. Impartial Standards in the Shenzi Fragments." In Dao Companions to Chinese Philosophy. Springer International Publishing, 2024. http://dx.doi.org/10.1007/978-3-031-53630-4_4.

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

Lassner, D. "Cloning of Short DNA Fragments and In Vitro Transcription to Generate RNA Standards." In Quantitation of mRNA by Polymerase Chain Reaction. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-79712-5_3.

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

Golpayegani, Delaram, Harshvardhan J. Pandit, and Dave Lewis. "Comparison and Analysis of 3 Key AI Documents: EU’s Proposed AI Act, Assessment List for Trustworthy AI (ALTAI), and ISO/IEC 42001 AI Management System." In Communications in Computer and Information Science. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-26438-2_15.

Full text
Abstract:
AbstractConforming to multiple and sometimes conflicting guidelines, standards, and legislations regarding development, deployment, and governance of AI is a serious challenge for organisations. While the AI standards and regulations are both in early stages of development, it is prudent to avoid a highly-fragmented landscape and market confusion by finding out the gaps and resolving the potential conflicts. This paper provides an initial comparison of ISO/IEC 42001 AI management system standard with the EU trustworthy AI assessment list (ALTAI) and the proposed AI Act using an upper-level ont
APA, Harvard, Vancouver, ISO, and other styles
5

Trimarchi, Andrea. "The Impact of Fragmented Labour Standards in Air Transport." In International Aviation Labour Law. Routledge, 2022. http://dx.doi.org/10.4324/9781003288107-5.

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

Arrant, Estara J. "A Further Analysis of the ‘Byzantine (Italian- Levantine) Triad’ of Features in Common Torah Codices." In Semitic Languages and Cultures. Open Book Publishers, 2022. http://dx.doi.org/10.11647/obp.0330.05.

Full text
Abstract:
This study analyses the distinctive features of a group of eleven Torah fragments from the Taylor-Schechter collection of Cairo Genizah manuscripts, which appear to come from related regions and use the signs dagesh and shewa in three related ways to reinforce a standard of pronunciation of the biblical text. The three uses of these signs have, individually, been associated with Palestino-Tiberian vocalisation, or labelled as ‘Extended Tiberian’. I contribute a fresh analysis by contextualising the signs with each other, showing how they work together to preserve a standard form of pronunciati
APA, Harvard, Vancouver, ISO, and other styles
7

Verrecchia, Eric P., and Luca Trombino. "Basic Components." In A Visual Atlas for Soil Micromorphologists. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-67806-7_3.

Full text
Abstract:
AbstractMineral and organic constituents belong to the basic components observed in soil thin sections. They can appear, for instance, as large rock fragments, or single minerals as sand grains; they can constitute large areas of micromass formed by clay minerals or display parts of plant roots or leaf fragments, i.e. organic material. These constituents comprise the body of the soil itself, and in soil micromorphology, they belong to the groundmass, as well as the material constituting the pedofeatures (see “10.1007/978-3-030-67806-7_1#Sec9”). Two types of basic components are recognized by S
APA, Harvard, Vancouver, ISO, and other styles
8

Dupuy, B. Myhre, and Bjørnar Olaisen. "Corresponding Repeats in STRs and the Internal Standard in Fragment Analysis." In 16th Congress of the International Society for Forensic Haemogenetics (Internationale Gesellschaft für forensische Hämogenetik e.V.), Santiago de Compostela, 12–16 September 1995. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/978-3-642-80029-0_32.

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

Pagel, Jens, and Florian Zuleger. "Strong-Separation Logic." In Programming Languages and Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_24.

Full text
Abstract:
AbstractMost automated verifiers for separation logic are based on the symbolic-heap fragment, which disallows both the magic-wand operator and the application of classical Boolean operators to spatial formulas. This is not surprising, as support for the magic wand quickly leads to undecidability, especially when combined with inductive predicates for reasoning about data structures. To circumvent these undecidability results, we propose assigning a more restrictive semantics to the separating conjunction. We argue that the resulting logic, strong-separation logic, can be used for symbolic exe
APA, Harvard, Vancouver, ISO, and other styles
10

Poças, Diogo, Diana Costa, Andreia Mordido, and Vasco T. Vasconcelos. "System $$F^\mu _\omega $$ with Context-free Session Types." In Programming Languages and Systems. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30044-8_15.

Full text
Abstract:
AbstractWe study increasingly expressive type systems, from $$F^\mu $$ F μ —an extension of the polymorphic lambda calculus with equirecursive types—to $$F^{\mu ;}_\omega $$ F ω μ ; —the higher-order polymorphic lambda calculus with equirecursive types and context-free session types. Type equivalence is given by a standard bisimulation defined over a novel labelled transition system for types. Our system subsumes the contractive fragment of $$F^\mu _\omega $$ F ω μ as studied in the literature. Decidability results for type equivalence of the various type languages are obtained from the transl
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Fragments of standards"

1

Baader, Franz, and Renata Wassermann. "Contractions Based on Optimal Repairs." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/9.

Full text
Abstract:
Removing unwanted consequences from a knowledge base has been investigated in belief change under the name contraction and is called repair in ontology engineering. Simple repair and contraction approaches based on removing statements from the knowledge base (respectively called belief base contractions and classical repairs) have the disadvantage that they are syntax-dependent and may remove more consequences than necessary. Belief set contractions do not have these problems, but may result in belief sets that have no finite representation if one works with logics that are not fragments of pr
APA, Harvard, Vancouver, ISO, and other styles
2

Blekkenhorst, F., E. Nagel Soepenberg, M. Roelofsen, and J. P. Schoen. "A New Cyclic Corrosion Test for Automotive Steel Products, Based upon Micro Climate Measurements in Running Vehicles." In CORROSION 1988. NACE International, 1988. https://doi.org/10.5006/c1988-88354.

Full text
Abstract:
Abstract A number of bare and precoated steels are used in the automotive industry. The selection of these products as to corrosion resistance should depend upon the vehicle environments in which they are exposed. Although a lot of fragmented knowledge is present in the area of automotive corrosion control there is a gap between usual performance testing (e.g. salt spray tests, etc.) and the final corrosion behaviour to be expected in the vehicle. To fill up this gap a research program was carried out to achieve a new standard corrosion test from actual measurements of the corrosive conditions
APA, Harvard, Vancouver, ISO, and other styles
3

Soltis, Jared, and Jose Palacios. "Rotor Blade Shed Ice Length Prediction." In Vertical Flight Society 72nd Annual Forum & Technology Display. The Vertical Flight Society, 2016. http://dx.doi.org/10.4050/f-0072-2016-11527.

Full text
Abstract:
Shed ice from rotor blades is a potential ballistic concern for rotorcraft. Ice projectiles could damage the tail rotor or fuselage, and shed ice could also be ingested by the engine. Substantial research has already been conducted in the areas of ice adhesion strength, shedding, projectile trajectories, and impact damage. Work on predicting the shed ice size as it slides off a rotating blade will be discussed in this paper. An Euler-Bernoulli beam model was developed to predict the ice length of shed ice as it is removed from the rotor under the effect of centrifugal forces. The model was val
APA, Harvard, Vancouver, ISO, and other styles
4

Maljković, J. B., B. P. Marinković, and J. Kopyra. "Dissociative electron attachment to isoflurane molecule in the gas phase." In International Meeting on Data for Atomic and Molecular Processes in Plasmas: Advances in Standards and Modelling. Institute of Physics Belgrade, 2024. https://doi.org/10.69646/aob241124.

Full text
Abstract:
Common halogenated anesthetic gases include halothane, isoflurane, sevoflurane, and desflurane. These gases can have varying global warming potential (GWP) and environmental effects (Langbein et al 1999). Halogenated aneastetics also contribute to greenhouse gas emissions, although their impact varies based on their global warming potential GWP. We studied DEA to gas phase target by means of a crossed electron-molecular beam technique (Kopyra et al 2017). Dissociative electron attachment processes were investigated utilizing the crossed beam apparatus. In this technique the incident electron b
APA, Harvard, Vancouver, ISO, and other styles
5

Pearson, Mackenzie, Paul Norris, and Ryan Anderson. "Combining near-complete characterization with quantitation for lipid analysis in matrix using electron activated dissociation." In 2022 AOCS Annual Meeting & Expo. American Oil Chemists' Society (AOCS), 2022. http://dx.doi.org/10.21748/atpd4997.

Full text
Abstract:
EAD has become a valuable tool for comprehensively characterizing glycerophospholipids and neutral lipids—from lipid class to double bond configuration—on the ZenoTOF 7600 system. However, lipid mediators remain to be fully characterized using EAD analysis. This dissociation tool utilizes electron capture and excitation to provide richer molecular structure information compared to conventional CID. Limited information is often provided by CID, conversely the EAD cell produces diagnostic fragmentation that can be used to quantify, identify, and characterize lipid mediators. Lipid mediators
APA, Harvard, Vancouver, ISO, and other styles
6

Yunitsyna, Anna, and Ernest Shtepani. "Energy Efficiency in the Urban Scale: Case Study – Prague, Czech Republic." In 24th ISUF 2017 - City and Territory in the Globalization Age. Universitat Politècnica València, 2017. http://dx.doi.org/10.4995/isuf2017.2017.5212.

Full text
Abstract:
Cities are a complex mass of morphological properties of many city fragments, which play a major role in energy consumption. Urban form, urban patterns, or city fragments can also be seen as defined by algorithms or form generators. Cities are designed taking into account infrastructure, city standards and land use regulations. Energy efficiency of the urban form may be understood as the balance between gains and losses of energy, which may depend on a set of parameters mostly defined by the geometrical shape of the buildings and the distance between them. The study starts from the development
APA, Harvard, Vancouver, ISO, and other styles
7

Tohm, Calvin, Bret Lingwall, and Rudrajit Mitra. "Development of a Methodology for Predicting the Strength of Intact Bentonitic Shale and Gypsiferous Siltstone Using Fragments and Micro-Indentation Modulus Testing." In 58th U.S. Rock Mechanics/Geomechanics Symposium. ARMA, 2024. http://dx.doi.org/10.56952/arma-2024-0437.

Full text
Abstract:
ABSTRACT: In many geologic and geotechnical investigations, obtaining sufficient intact rock core samples for uniaxial compression or point load testing can be difficult in weak sedimentary rock that spans into the realm of an Intermediate Geo-Material (IGM). These IGM materials have sufficient strength for infrastructure construction, but are difficult to core, sample, and test with sufficient volume to meet conventional ASTM or other test standards. Samples that are obtained, have often been fractured in the rock coring process. Thus, it is needful to develop alternative laboratory test meth
APA, Harvard, Vancouver, ISO, and other styles
8

Cowardin, Heather, Corbin Cruz, James Murray, et al. "Updates on the Debrisat Hypervelocity Experiment and Characterization of Fragments in Support of Environmental Models." In 2022 16th Hypervelocity Impact Symposium. American Society of Mechanical Engineers, 2022. http://dx.doi.org/10.1115/hvis2022-8.

Full text
Abstract:
To develop, maintain, and update orbital debris environmental and break-up models, such as the NASA orbital debris engineering model (ordem) and the NASA standard satellite breakup model (ssbm), the NASA orbital debris program office (odpo) relies on the most recent validated datasets from various measurement sources, both laboratory and environmental. One key project that will provide insight for break-up events using modern-day spacecraft mate-rials and construction techniques is the debrisat laboratory hypervelocity-impact test. Based on the mass of the target, the projectile, and the impac
APA, Harvard, Vancouver, ISO, and other styles
9

Creignou, Nadia, Adrian Haret, Odile Papini, and Stefan Woltran. "Belief Update in the Horn Fragment." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/246.

Full text
Abstract:
In line with recent work on belief change in fragments of propositional logic, we study belief update in the Horn fragment. We start from the standard KM postulates used to axiomatize belief update operators; these postulates lend themselves to semantic characterizations in terms of partial (resp. total) preorders on possible worlds. Since the Horn fragment is not closed under disjunction, the standard postulates have to be adapted for the Horn fragment. Moreover, a restriction on the preorders (i.e., Horn compliance) and additional postulates are needed to obtain sensible characterizations fo
APA, Harvard, Vancouver, ISO, and other styles
10

Wałęga, Przemysław A., Bernardo Cuenca Grau, Mark Kaminski, and Egor V. Kostylev. "DatalogMTL over the Integer Timeline." In 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/79.

Full text
Abstract:
We study DatalogMTL—an extension of Datalog with metric temporal operators—under integer semantics, where the temporal domain of both interpretations and temporal operators consists of integer time points only. This is in contrast to the standard semantics, which is defined over the rational timeline. DatalogMTL under integer semantics is an interesting KR language: on the one hand, one can often assume the integer timeline in applications; on the other hand, it captures prominent temporal extensions of Datalog such as Datalog1S. We show that the choice of integer semantics leads to more favou
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Fragments of standards"

1

Liu, Hongkai, Carsten Lutz, Maja Miličić, and Frank Wolter. Description Logic Actions with general TBoxes: a Pragmatic Approach. Aachen University of Technology, 2006. http://dx.doi.org/10.25368/2022.156.

Full text
Abstract:
Action formalisms based on description logics (DLs) have recently been introduced as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent Calculus. However, existing DL action formalisms fail to include general TBoxes, which are the standard tool for formalising ontologies in modern description logics. We define a DL action formalism that admits general TBoxes, propose an approach to addressing the ramification problem that is introduced in this way, and perform a detailed investigation of the decidability and computational complexity of reasoni
APA, Harvard, Vancouver, ISO, and other styles
2

Suntisrivaraporn, Boontawee. Module Extraction and Incremental Classification: A Pragmatic Approach for EL ⁺ Ontologies. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.161.

Full text
Abstract:
The description logic EL⁺ has recently proved practically useful in the life science domain with presence of several large-scale biomedical ontologies such as Snomed ct. To deal with ontologies of this scale, standard reasoning of classification is essential but not sufficient. The ability to extract relevant fragments from a large ontology and to incrementally classify it has become more crucial to support ontology design, maintenance and reuse. In this paper, we propose a pragmatic approach to module extraction and incremental classification for EL⁺ ontologies and report on empirical evaluat
APA, Harvard, Vancouver, ISO, and other styles
3

Hagel, Stefan. Understanding early auloi: Instruments from Paestum, Pydna and elsewhere. Verlag der Österreichischen Akademie der Wissenschaften, 2021. http://dx.doi.org/10.1553/oeai_ambh_3.

Full text
Abstract:
Starting from data on the ‘Paestum’ or ‘Poseidonia’ aulos established by Paul andBarbara Reichlin-Moser and Stelios Psaroudakēs, the ‘Pydna’ aulos, and comparable finds ofearly, mainly six-hole one-hole-shift, doublepipe fragments, possible musical interpretations ofthis important instrument type of the early Classical Period are considered. Probable pitchesand intervals are assessed by means of well-tested software and confirmed experimentally;the required double reeds of a much longer type than known from later periods are shownto be substantiated by iconographic and literary testimony. The
APA, Harvard, Vancouver, ISO, and other styles
4

Wendt-Lucas, Nicola, Sigrid Jessen, and Maja Brynteson. National Digital Inclusion Initiatives in the Nordic and Baltic Countries. Nordregio, 2024. http://dx.doi.org/10.6027/r2024:31403-2503.

Full text
Abstract:
This study assesses digital inclusion policies in the Nordic and Baltic regions, focusing on how digital inclusion is defined and monitored. Covering policies published after December 2021 and considering earlier ones that are still in effect, it found 33 strategies, with 19 new ones. Despite the increased focus, a unified definition of digital inclusion across these regions is absent. The study notes similarities in understanding digital inclusion, yet distinct national challenges highlight the need for context-specific approaches. Monitoring digital inclusion remains fragmented, lacking stan
APA, Harvard, Vancouver, ISO, and other styles
5

Pachón, Mónica, Roberto Junguito, and Mauricio Cárdenas. Political Institutions and Policy Outcomes in Colombia: The Effects of the 1991 Constitution. Inter-American Development Bank, 2006. http://dx.doi.org/10.18235/0011279.

Full text
Abstract:
The 1991 Colombian Constitution strengthened the checks and balances of the political system by enhancing the role of Congress and the Constitutional Court, while somewhat limiting the powers of the President (who nonetheless remains extremely powerful even by Latin American standards). As a consequence of the larger number of relevant players, and the removal of barriers that restricted political participation, the political system has gained in terms of representation. However, political transaction costs have increased, making cooperation harder to achieve. The authors show that this has be
APA, Harvard, Vancouver, ISO, and other styles
6

Krelina, Michal. Military and Security Dimensions of Quantum Technologies. Stockholm International Peace Research Institute, 2025. https://doi.org/10.55163/zvtl1529.

Full text
Abstract:
Quantum technologies are advancing rapidly from experimental research into strategic defence and security applications, fundamentally altering how information is sensed, shared and secured. Ground- and satellite-based quantum key distribution networks are already being deployed by China and the European Union, promising virtually unbreakable communication. Quantum sensing systems, capable of precise navigation without a global navigation satellite system as well as subterranean and underwater detection, are nearing operational use. In computing, there are expectations that within one to three
APA, Harvard, Vancouver, ISO, and other styles
7

Jordan, Ramon L., Abed Gera, Hei-Ti Hsu, Andre Franck, and Gad Loebenstein. Detection and Diagnosis of Virus Diseases of Pelargonium. United States Department of Agriculture, 1994. http://dx.doi.org/10.32747/1994.7568793.bard.

Full text
Abstract:
Pelargonium (Geranium) is the number one pot plant in many areas of the United States and Europe. Israel and the U.S. send to Europe rooted cuttings, foundation stocks and finished plants to supply a certain share of the market. Geraniums are propagated mainly vegetatively from cuttings. Consequently, viral diseases have been and remain a major threat to the production and quality of the crop. Among the viruses isolated from naturally infected geraniums, 11 are not specific to Pelargonium and occur in other crops while 6 other viruses seem to be limited to geranium. However, several of these v
APA, Harvard, Vancouver, ISO, and other styles
8

Bercovier, Herve, and Ronald P. Hedrick. Diagnostic, eco-epidemiology and control of KHV, a new viral pathogen of koi and common carp. United States Department of Agriculture, 2007. http://dx.doi.org/10.32747/2007.7695593.bard.

Full text
Abstract:
Original objectives and revisions-The proposed research included these original objectives: field validation of diagnostic tests (PCR), the development and evaluation of new sensitive tools (LC-PCR/TaqManPCR, antibody detection by ELISA) including their use to study the ecology and the epidemiology of KHV (virus distribution in the environment and native cyprinids) and the carrier status of fish exposed experimentally or naturally to KHV (sites of virus replication and potential persistence or latency). In the course of the study we completed the genome sequence of KHV and developed a DNA arra
APA, Harvard, Vancouver, ISO, and other styles
9

Strengthening recovery actions for Southern Resident killer whales. Raincoast Conservation Foundation, 2025. https://doi.org/10.70766/32.7300.

Full text
Abstract:
An ad hoc science panel was convened in Vancouver, Canada from March 4-6, 2025, to address the conservation and recovery of the endangered Southern Resident killer whale (SRKW) population – which, as of the July 2024 census, numbered only 73 individuals. The panel assembled 31 international experts from universities, government agencies, and NGOs across Canada, the United States, and the European Union to assess the efficacy and limitations of existing threat-reduction strategies, and propose new or revised measures. Their expertise covered a range of disciplines, including killer whale biolog
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Fragments of standards' for particular source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography