Search Results - "Scheme programming language"

Learning programming for mathematical investigations: an instrumental and community of practice approach.

Authors: Gueudet, Ghislaine Buteau, Chantal Broley, Laura et al.

Source: Research in Mathematics Education. Apr2025, Vol. 27 Issue 1, p66-91. 26p.

Subject Terms: *College students, Scheme programming language, Mathematical programming, Communities of practice, Mathematicians

BEYOND NOTATIONS: HYGIENIC MACRO EXPANSION FOR THEOREM PROVING LANGUAGES.

Authors: ULLRICH, SEBASTIAN DE MOURA, LEONARDO

Source: Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 2, p1-21, 21p

Natural disturbance emulation in boreal forest ecosystem management - theories, strategies, and a comparison with conventional even-aged management.

Authors: Kuuluvainen, Timo Grenfell, Russell

Source: Canadian Journal of Forest Research. Jul2012, Vol. 42 Issue 7, p1185-1203. 19p.

An Information Systems Keyword Classification Scheme.

Authors: Barki, Henri Rivard, Suzanne Talbot, Jean

Source: MIS Quarterly. Jun88, Vol. 12 Issue 2, p299-322. 24p. 7 Charts.

Experiences in Using a Multiparadigm and Multiprogramming Approach to Teach an Information Systems Course on Introduction to Programming.

Authors: Gutiérrez-Cárdenas, Juan¹ jmgutier@ulima.edu.pe

Source: Journal of Information Systems Education. Winter2020, Vol. 31 Issue 1, p72-82. 11p. 8 Charts, 2 Graphs.

Subject Terms: *Information storage & retrieval systems, Scheme programming language, Programming languages, Software development tools, Set functions, Python programming language

Lambda Research Releases TracePro 26.2.

Source: Photonics Components & Subsystems; May2026, Vol. 25 Issue 5, p11-11, 2/3p

Attribute-based authentication on the cloud for thin clients.

Authors: Ibrahim, Maged Hamada Kumari, Saru Das, Ashok Kumar et al.

Source: Journal of Supercomputing; Nov2018, Vol. 74 Issue 11, p5813-5845, 33p

Optimization of Non-Newtonian Flow through a Coat-Hanger Die Using the Adjoint Method.

Authors: Igali, Dastan Clifford, Omonini Perveen, Asma et al.

Source: Designs; Dec2023, Vol. 7 Issue 6, p138, 23p

Automation of drafting execution by schemes definitions and feature recognition.

Authors: Raffaeli, Roberto Cicconi, Paolo Germani, Michele

Source: Computer-Aided Design & Applications. Aug2016, Vol. 13 Issue 4, p459-470. 12p.

Subjects: Automation, Scheme programming language, Pattern recognition systems, Search algorithms, Feature selection, Information retrieval

A social overlay-based forwarding scheme for mobile social networks.

Authors: Kim, Sun-Kyum Lee, JunYeop Yang, Sung-Bong

Source: Wireless Networks (10220038). Oct2016, Vol. 22 Issue 7, p2439-2451. 13p.

Subjects: Online social networks, Scheme programming language, End-to-end delay, Paths & cycles in graph theory, Wireless sensor nodes

An Improved Approximation Scheme for Variable-Sized Bin Packing.

Authors: Jansen, Klaus Kraft, Stefan

Source: Theory of Computing Systems. Aug2016, Vol. 59 Issue 2, p262-322. 61p.

Subjects: Approximation theory, Scheme programming language, Mathematical variables, Bin packing problem, NP-hard problems

Secure Connectivity Probability of Multi-hop Clustered Randomize-and-Forward Networks.

Authors: Wang, Xiaowei Su, Zhou Wang, Guangyi

Source: ETRI Journal; Oct2017, Vol. 39 Issue 5, p729-736, 8p

Generalized Quadrature Spatial Modulation Scheme Using Antenna Grouping.

Authors: Castillo-Soria, Francisco Rubén Cortez-González, Joaquín Ramirez-Gutierrez, Raymundo et al.

Source: ETRI Journal; Oct2017, Vol. 39 Issue 5, p707-717, 11p

Rule Schema Multi-Level for Local Patterns Analysis: Application in Production Field.

Authors: Khiat, Salim Belbachir, Hafida Rahal, Sid

Source: International Arab Journal of Information Technology (IAJIT); Sep2017, Vol. 14 Issue 5, p670-680, 11p

OpenFlow-Based Mobility Management Scheme and Data Structure for the Mobility Service at Software Defined Networking.

Authors: Park, Pill-Won Kim, Seong-Mun Min, Sung-Gi

Source: International Journal of Distributed Sensor Networks. 3/15/2016, p1-9. 9p.

Subjects: OpenFlow (Computer network protocol), Scheme programming language, Data structures, Computer software, Computer networks, Mobility management (Mobile radio)

A Cross Layer Video Transmission Scheme Combining Geographic Routing and Short-Length Luby Transform Codes.

Authors: Duan, Pengrui Liu, Liang Zhang, Zhao

Source: International Journal of Distributed Sensor Networks. 8/13/2015, Vol. 2015, p1-10. 10p.

Subjects: Scheme programming language, Routing (Computer network management), Luby transform codes, Wireless sensor networks, Bit error rate, Encoding

A Heuristic Offsetting Scheme for Catmull-Clark Subdivision Surfaces.

Authors: Wang, Jianzhong Cheng, Fuhua

Source: Computer-Aided Design & Applications. Dec2015, Vol. 12 Issue 6, p765-771. 7p.

Subjects: Heuristic algorithms, Scheme programming language, Subdivision surfaces (Geometry), Rapid prototyping, Geometric surfaces

A cooperative diversity transmission scheme by superposition coding relaying for a wireless system with multiple relays.

Authors: Liu, Yang Man, Yi Song, Mei et al.

Source: Wireless Networks (10220038). Aug2015, Vol. 21 Issue 6, p1801-1817. 17p.

Subjects: Scheme programming language, Coding theory, Relaying (Electric power systems), Wireless sensor networks, Computer simulation

A Novel Semi-Quantum Secret Sharing Scheme of Specific Bits.

Authors: Xie, Chen Li, Lvzhou Qiu, Daowen

Source: International Journal of Theoretical Physics. Oct2015, Vol. 54 Issue 10, p3819-3824. 6p.

Subjects: Quantum theory, Scheme programming language, Qubits, Quantum cryptography, Encoding

Developments in Time-Division Multiplexing of X-ray Transition-Edge Sensors.

Authors: Doriese, W. Morgan, K. Bennett, D. et al.

Source: Journal of Low Temperature Physics. Jul2016, Vol. 184 Issue 1/2, p389-395. 7p.

Subjects: Time division multiple access, Scheme programming language, Superconducting quantum interference devices, Gamma rays, Bolometers