Search Results - Studies of Program Constructs—Type structure General Terms Algorithms

Towards resilient and viable supply chains: a multidimensional model and empirical analysis.

Authors: Padovano, Antonio Ivanov, Dmitry

Source: International Journal of Production Research; Sep2025, Vol. 63 Issue 17, p6252-6290, 39p

Subject Terms: SUPPLY chains, SUPPLY chain management, EMPIRICAL research, DESIGN, STRUCTURAL equation modeling, FIELD research, AGRICULTURAL economics

Serum N-glycans as independent predictors of the incidence of type 2 diabetes: a prospective investigation in the AEGIS cohort.

Authors: Carballo, Iago Lado-Baleato, Óscar O'Flaherty, Róisín et al.

Source: Clinical Chemistry & Laboratory Medicine; Oct2025, Vol. 63 Issue 11, p2330-2340, 11p

Subject Terms: TYPE 2 diabetes, BIOMARKERS, GLYCANS, LONGITUDINAL method, DISEASE risk factors, GLYCOSYLATION, BLOOD sugar, COHORT analysis

Exact flux vacua, symmetries, and the structure of the landscape.

Authors: Grimm, Thomas W. van de Heisteeg, Damian

Source: Journal of High Energy Physics; Jan2025, Vol. 2025 Issue 1, p1-90, 90p

Subject Terms: ALGEBRAIC geometry, MODULI theory, DIFFERENTIAL geometry, HODGE theory, BULK modulus

Improved Flow Regime Identification and Novel Scaling Approach to Construct Type Wells for Multiply-Fractured Horizontal Wells.

Authors: Harkouss, Rami Jha, Himanshu Lee, John

Source: Arabian Journal for Science & Engineering (Springer Science & Business Media B.V. ); Apr2025, Vol. 50 Issue 7, p4771-4781, 11p

Subject Terms: TRANSITION flow, OIL fields, PERMEABILITY, STATISTICS, HORIZONTAL wells, FORECASTING

Batching and scheduling in a continuous-discrete hybrid flowshop: Lagrangian relaxation-based heuristic algorithms.

Authors: Li, Zhaohui Wan, Guohua

Source: International Journal of Production Research; Sep2023, Vol. 61 Issue 17, p5934-5955, 22p, 3 Diagrams, 8 Charts, 4 Graphs

Subject Terms: FLOW shops, HEURISTIC algorithms, INTEGER programming, SCHEDULING, CHEMICAL processes, SUPPLEMENTARY employment

Gradual Typing and Evolutionary Programming Gradual typing

Authors: Aseem Rastogi Avik Chaudhuri Basil Hosmer et al.

Contributors: Aseem Rastogi Avik Chaudhuri Basil Hosmer et al.

Source: http://www.cs.umd.edu/~aseem/grad_ti.pdf.

Subject Terms: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—Optimization, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program analysis, F.3.3 [Logics and Meaning of Programs, Studies of Program Constructs—Type structure General Terms Algorithms, Languages, Performance, Theory Keywords Gradual typing, Type inference, ActionScript

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.6364; http://www.cs.umd.edu/~aseem/grad_ti.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.6364
http://www.cs.umd.edu/~aseem/grad_ti.pdf

Extending type inference to variational programs

Authors: Sheng Chen Martin Erwig Eric Walkingshaw et al.

Contributors: Sheng Chen Martin Erwig Eric Walkingshaw et al.

Source: http://web.engr.oregonstate.edu/~erwig/papers/VLCTypeSystem_TOPLAS13.pdf.

Subject Terms: Categories and Subject Descriptors, D.3.2 [Programming Languages, Language Classifications—applicative (functional) languages, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—type structure General Terms, Languages, Theory Additional Key Words and Phrases, variational lambda calculus, variational type inference, variational types

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.310.8839; http://web.engr.oregonstate.edu/~erwig/papers/VLCTypeSystem_TOPLAS13.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.310.8839
http://web.engr.oregonstate.edu/~erwig/papers/VLCTypeSystem_TOPLAS13.pdf

The application of artificial intelligence in health communication development: A scoping review.

Authors: Weingott, Sam Parkinson, Joy

Source: Health Marketing Quarterly; Jan-Mar2025, Vol. 42 Issue 1, p67-109, 43p

Subject Terms: SMOKING cessation, MEDICAL information storage & retrieval systems, MENTAL health, QUALITATIVE research, CONVERSATION, ARTIFICIAL intelligence, SOCIAL factors, EVALUATION of medical care, SOCIAL theory, QUANTITATIVE research, PSYCHOLOGY, CHRONIC diseases, SYSTEMATIC reviews, MEDLINE, COMMUNICATION, HEALTH behavior, CONCEPTUAL structures, MEDICAL databases, RESEARCH methodology, STORYTELLING, HEALTH promotion, THEORY, ONLINE information services, DATA analysis software, CHATBOTS, PSYCHOLOGY information storage & retrieval systems

Type inference with simple selftypes is np-complete

Authors: Jens Palsberg Trevor Jim The Pennsylvania State University CiteSeerX Archives

Contributors: Jens Palsberg Trevor Jim The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.ucla.edu/~palsberg/paper/njc97.pdf.

Subject Terms: Categories and Subject Descriptors, D.3.2 [Programming Languages, Languages Classifications—object-oriented languages, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—type structure. General Terms, Languages, Theory

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.2679; http://www.cs.ucla.edu/~palsberg/paper/njc97.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.2679
http://www.cs.ucla.edu/~palsberg/paper/njc97.pdf

AOn Subtyping-Relation Completeness, with an Application to Iso-Recursive Types

Authors: Jay Ligatti Jeremy Blackburn The Pennsylvania State University CiteSeerX Archives

Contributors: Jay Ligatti Jeremy Blackburn The Pennsylvania State University CiteSeerX Archives

Source: http://www.cse.usf.edu/~ligatti/papers/SubtypingTechReport.pdf.

Subject Terms: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory— Semantics, D.3.3 [Programming Languages, Language Constructs and Features—Data types and struc- tures, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Type structure General Terms, Languages, Algorithms Additional Key Words and Phrases, Subtyping, Completeness, Preciseness, Recursive types

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.4242; http://www.cse.usf.edu/~ligatti/papers/SubtypingTechReport.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.4242
http://www.cse.usf.edu/~ligatti/papers/SubtypingTechReport.pdf

Educational Ambition, Marital Sorting, and Inequality.

Authors: Almar, Frederik Friedrich, Benjamin Reynoso, Ana et al.

Source: NBER Working Papers; Apr2025, Issue 33655-33728, p1-58, 58p

Human three-dimensional engineered muscle tissue characterization and intramyocellular lipid modeling.

Authors: Cao, Tianxin Finnemore, Eric Hill, Jon et al.

Source: Journal of Tissue Engineering; 10/23/2025, Vol. 16, p1-16, 16p

Subject Terms: SKELETAL muscle physiology, MYOBLASTS, TRANSCRIPTOMES, ARTIFICIAL muscles, LIPIDS, LIPID metabolism, METABOLIC disorders

Unpacking the Role of Big Data Analytics Capability in Sustainable Business Performance: Insights from Digital Sustainability Reporting Readiness in Latvia.

Authors: Novicka, Jekaterina

Source: Sustainability (2071-1050); Apr2025, Vol. 17 Issue 8, p3666, 35p

Individuals' Intention to Engage in Outpatient Cardiac Rehabilitation Programs: Prediction Based on an Enhanced Model.

Authors: Jahandideh, Sepideh Jahandideh, Mina Barzegari, Ebrahim

Source: Journal of Clinical Psychology in Medical Settings; Dec2021, Vol. 28 Issue 4, p798-807, 10p

Subject Terms: CARDIAC rehabilitation, TREATMENT programs, PATIENT participation, INTENTION, RANDOM forest algorithms

Using Relational Biology with Loop Analysis to Study the North Atlantic Biological Carbon Pump in a 'Hybrid' Non-Algorithmic Manner.

Authors: Lane, Patricia A.

Source: Mathematics (2227-7390); Dec2024, Vol. 12 Issue 24, p3972, 29p

Subject Terms: CARBON sequestration in forests, CARBON sequestration, MATHEMATICAL category theory, BIOLOGICAL evolution, MARINE sediments

Abstracts TERMIS EU Freiburg, Germany May 20–23, 2025.

Source: Tissue Engineering Part A: Tissue Engineering; Jun2025, Vol. 31 Issue 11/12, pe699-e791, 93p

Positive Relational Management and Occupational Well-Being: The Mediating Role of Flourishing and Organizational Citizenship Behaviors.

Authors: Peña, Marta Llorente-Alonso, Marta Garcia-Ael, Cristina et al.

Source: European Journal of Investigation in Health, Psychology & Education (EJIHPE); Dec2024, Vol. 14 Issue 12, p3039-3055, 17p

Subject Terms: LIFE satisfaction, EMPLOYEE well-being, WORK environment, INTERPERSONAL relations, ORGANIZATIONAL citizenship behavior, WELL-being

Mixin’ Up the ML Module System

Authors: Andreas Rossberg DEREK DREYER The Pennsylvania State University CiteSeerX Archives

Contributors: Andreas Rossberg DEREK DREYER The Pennsylvania State University CiteSeerX Archives

Source: http://www.mpi-sws.org/~rossberg/papers/Rossberg, Dreyer - Mixin' Up the ML Module System [Draft].pdf.

Subject Terms: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.3 [Programming Languages, Language Constructs and Features—Recursion, Abstract data types, Modules, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Type structure General Terms, Languages, Design, Theory Additional Key Words and Phrases, Type systems, ML modules, mixin modules, recursive modules, hierarchical composability ACM Reference Format

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.414.1216

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.414.1216
http://www.mpi-sws.org/~rossberg/papers/Rossberg, Dreyer - Mixin' Up the ML Module System [Draft].pdf

Cell lineage-resolved embryonic morphological map reveals signaling associated with cell fate and size asymmetry.

Authors: Guan, Guoye Li, Zelin Ma, Yiming et al.

Source: Nature Communications; 4/18/2025, Vol. 16 Issue 1, p1-24, 24p

Subject Terms: NOTCH signaling pathway, CELL morphology, LIFE sciences, CYTOLOGY, GENE expression profiling, NOTCH genes

Mixin’ Up the ML Module System

Authors: Andreas Rossberg DEREK DREYER The Pennsylvania State University CiteSeerX Archives

Contributors: Andreas Rossberg DEREK DREYER The Pennsylvania State University CiteSeerX Archives

Source: http://www.mpi-sws.org/~dreyer/papers/mixml/journal.pdf.

Subject Terms: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.3 [Programming Languages, Language Constructs and Features—Recursion, Abstract data types, Modules, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Type structure General Terms, Languages, Design, Theory Additional Key Words and Phrases, Type systems, ML modules, mixin modules, recursive modules, hierarchical composability ACM Reference Format

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.414.2096

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.414.2096
http://www.mpi-sws.org/~dreyer/papers/mixml/journal.pdf